城市规划空间数据建库方法研究与实践

城市规划涉及的基本问题是城市建设和城市基础设施资源在空间上的合理分布利用,结合湛江市规划空间建库的实践历程,阐述了空间数据的组织形式和城市基础GIS数据的获取方法,介绍了基础空间数据库建设的基本步骤、策略和要领。     

集成电路建库技术研究

随着集成电路设计规模的不断增加,现在IC设计师大都脱离原来的低层次原理图设计方法而采用高层次设计,无论是逻辑设计还是物理(版图)设计都需要库的支持,性能优越的库对保证设计成功起到关键性的作用,因此库的开发工作显得日益重要。简要介绍了集成电路建库的流程。     

UNIFY系统库结构剖析与移植

通过对ＵＮＩＦＹ系统结构库ｕｎｉｆｙ．ｄｂ的分析，了解系统结构，从而更好更活地使用ＵＮＩＦＹ数据库系统，方便地解决ＵＮＩＦＹ数据库的移植等用户感兴趣的问题。     

集成电路测试程序优化技术分析

介绍了在ETS770测试系统上对集成电路测试程序进行优化的方法。通过具体数据说明应用不同的测试方法所用时间大不相同。利用适当的测试方法和测试技术可大大减少测试程序的运行时间,降低测试成本。     

利用PHP+MySQL实现通用信息系统的建库建表功能

分析与探讨了利用PHP+MySQL实现通用信息系统的建库和建表功能.输入或选定数据库名称、数据表名称、字段个数及各字段的名称、类型、宽度、是否允许空值、是否主键等信息,即可建立符合要求的数据库和数据表,或在已有数据库中创建指定的数据表,并及时反馈执行结果.若输入或选择的某项数据不正确,则给出相应的出错提示.     

微机数学库的移植建立

着重讨论把中、小型计算机系统中的数学方法库移植至微机应用系统中。特点是基于原有的数学库，参照移植对象机的机器参数，对依赖机器参数值进行修改，使之匹配，这也是移植工作的关键所在。本项工作对推广微机在科学计算领域中的应用，而不需重新专门研制微机数学库，有着一定的应用价值。     

基于约束的参数化设计与建库工具研究

本文提出了基于约束参数化设计与建库工具的研究思想及实现方法，较为详细地讨论了图形的几何约束信息、结构约束信息，并且研究了图形结构约束与尺寸约束的自动识别、驱动求解等关键技术，采用了双向十辽链表存储尺寸链稀疏矩阵并解决了其双向遍布问题，实现了复杂图形的安全参数化尺寸驱动以及多视图的联动、并对约束检测及约束个性提出了合理有效方法。该方法为产品修改、仿型设计用变量化动态仿真设计提供的有效手段，特别是为系     

基于ArcGIS的三维模型建库技术研究

提出两种基于ArcGIS的三维模型建库技术。该技术充分利用了ArcGIS可提供海量地理数据的交互式可视化,数据间的无缝过渡等特点,能快速融合,更新,可编辑数据库,大大推动了对真三维可视化GIS技术的需求。     

模拟PGIS平台的标准地址数据库的建库方案研究

本文对警用地理信息系统(PGIS)平台、警用地理信息数据库以及标准地址数据库进行了介绍,并结合我校实例对标准地址数据库的建库方案进行了研究,设计了我校的地址编码,最后对我校标准地址数据库建库的具体步骤进行了详细的阐述。     

运用变异测试的并行程序测试用例最小化算法

在并行程序测试中,测试输入和线程交互时序是影响并行错误检测的两个关键因素。以缩减并行错误检测的输入空间为目标,给出一种基于变异测试的测试用例最小化算法。首先对并行程序进行研究,选取与并行错误密切相关的9个变异算子,并以此为基础为待测程序生成多种变异体;采用JPF作为线程调度工具来执行测试用例,根据变异评分与平均时间成本对测试用例进行排序,在优化后的测试用例集中选取检测能力不重复的测试用例,从而得到面向并行错误检测的最小测试用例集。实验结果证明,该方法能有效减小测试用例集的规模,并大幅缩短运行时间,从而提高了并行程序的测试效率。     

C编译器自动测试工具的剖析与移植

软件测试自动化是为了提高测试效率,缩短软件开发周期,降低测试成本。Ctcgen对比验证测试模式使测试更加全面且容易实现测试过程自动化,用随机的思想和算法,代替“穷举”方法解决证明正确性的问题。     

血液分组化验中每组最佳人数算法及计算机程序

在许多概率论应用方面书籍作者都曾提到血液化验分组化验方法「１」，指出在对人群疾病检查中，有不少项目是对血液进行多种化验，当疾病感染率比较低时，用分组化验法能节约不少项目是对血液进行多种化验，当疾病感染率比较低时，用分组化验法能节约不少化验次数，从而提高工作效率和经济效益，但并没有给出化验中每组最佳人数即最佳Ｋ值计算方法，我们对此问题进行严格数学分析，总结出利用计算机解决此问题的方法，文中给出最佳Ｋ     

集成电路交流参数测试方法研究

介绍了交流参数的测试原理及在ＤＩＣ－８０３２测试系统上交流参数的测试技术和实现方法。它以具体电路为例,对采用不同的测试方法得出的测试结果进行对照比较。     

基于VXI总线测试系统的可视化编程

介绍了如何利用HP VEE可视化编程语言，实现复杂的VXI总线测试软件设计的思路、结构及组成，并结合HP VEE与高级语言的特点，具体设计了集成化的VXI惯性仪器测试应用软件。     

一个自动构造类测试驱动程序的框架

在类测试时,需要驱动程序来运行可执行的类测试用例并收集测试结果,因此驱动程序的开发工作量将直接影响类测试的效率。本文给出了一种类测试驱动程序的构造框架。利用面向对象技术的设计思想,设计了一个驱动基类,通过继承驱动基类,并覆盖驱动基类中的虚函数而生成一个被测类的驱动类。同时在主控程序中注册被测试类的驱动类,从而得到被测试类的驱动程序。最后通过一个实例,说明该驱动构造框架的可行性。     

基于程序切片的测试用例生成系统研究与实现

介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量。     

基于程序约束的细粒度JVM测试程序约简方法

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷。然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本。测试程序约简技术旨在保障测试程序缺陷检测能力的同时,尽可能的删减测试程序中与缺陷检测无关的代码。现有研究工作基于Delta调试在C程序和XML输入上可以取得较好的约简效果,但是在JVM测试场景中,具有复杂语法和语义依赖关系的Java测试程序约减仍存在粒度较粗、约简效果较差的问题,导致约简后的程序理解成本依然很高。因此,针对具有复杂程序依赖关系的Java测试程序,本文提出一种基于程序约束的细粒度测试程序约简方法JavaPruner。首先在语句块级别设计细粒度的代码度量方法,随后在Delta调试技术上引入语句块之间的依赖约束关系来对测试程序进行约简。以Java字节码测试程序为实验对象,通过从现有的针对JVM测试的测试程序生成工具中筛选出具有复杂依赖关系的50个测试程序作为基准数据集,并在这些数据集上验证JavaPruner的有效性。实验结果表明,JavaPruner可以有效删减Java字节码测试程序中的冗余代码。与现有方法相比,在所有基准数据集上约减能力平均可提升37.7%。同时,JavaPruner可以在保障程序有效性及缺陷检测能力的同时将Java字节码测试程序最大约简至其原有大小的1.09% ,有效降低了测试程序的分析和理解成本。     

大中型应用软件的移植方法

随着计算机硬件和操作系统软件的迅猛发展,早期的应用程序在功能、速度和使用方便性上显得越来越落后,但由于工作还继续需要使用这些软件,因此应用软件从低级向高级的移植工作也变得越来越重要.本文介绍了软件移植的一般方法,并对大中型软件移植过程中应考虑的主要问题和解决方法进行了介绍.