测试集自动生成方法中的可执行化研究

自动生成的测试集是可执行的才具有实用意义。讨论了在测试集自动生成系统TUGEN中实现的参数化可执行化算法。分析了该算法的效果,不足及其原因;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题,并在此基础上进一步提出并实现了“可执行参数”的算法,克服了前一算法的不足,提高了TUGEN的实用性和执行效率,在进行了讨论分析后,以实例进行了对比和说明,并对今后的研究方向进行了展望。     

标准件库自动生成系统的开发

本文叙述了标准件库自动生成系统开发的理论与方法。提出和采用了程序与数据分离的思想、数据驱动的思想、参数化设计的方法，建立了一个标准件库自动生成系统，并在此系统上开发一两个标准件库、Ｆｕｔａｂａ注塑模标准模架库和国标紧固件库。     

基于IFC标准的简支梁钢筋模型参数化自动生成

基于 BIM 技术的钢筋模型可以用于工程量直接计算、指导施工、碰撞检查和钢筋 自动加工等。虽然部分软件如 Revit 和 Tekla 可以输出钢筋工业基础类(IFC)模型,但是需要根 据结构设计软件的配筋结果重新建模,且核心算法没有公开,国内后续理论研究和软件开发均 无法参考;另外,现阶段研究主要集中于通过二次开发的方式实现不同软件之间的钢筋信息共 享,该方法不具有通用性。本文对钢筋模型几何信息在 IFC 标准中表达方式进行解析,并研究 利用结构设计结果参数自动生成基于 IFC 标准的钢筋模型,重点进行几何信息的生成算法研究。 最后通过程序生成带有纵筋和箍筋的简支梁 IFC 模型,验证了算法的可行性。     

基于零件库的装配图自动生成

介绍了参数化设计技术与装配图的生成方法,重点讨论了基于零件库的装配图自动生成方法的实现,并对实现时所涉及的关键技术,如参数化技术、零件库的设计及管理进行了介绍;最后给出了装配生成的具体实例。     

混凝土三维钢筋埋置组合式有限单元模型及其网格自动生成

为克服三维钢筋混凝土有限单元模型中网格划分存在的缺陷，提出了埋置组合式有限单元模型。该模型在形成混凝土三维单元时可不考虑钢筋的方位，只要给出钢筋起点与终点的坐标，即可自动形成钢筋在组合单元中的信息，实际应用表明，该模型方便可行，单元划分效率较高。     

自动验证参数化Leader Election协议

讨论了一类Leader Election(LE)协议，该类协议通常运行在允许进程随时加入或崩溃的动态环境中，给出了LE协议的参数化版本，即考虑分布式系统中的进程数目任意多的情况。并提出了一种自动验证参数化LE协议的方法，用线性算数约束来模拟可能无限的全局状态集合，利用符号模型检测工具DMC[DP99]，文章实现了对参数化LE协议safety性质的自动验证。     

基于L系统的树木模型参数化生成方法研究

在构建虚拟场景时,树木是不可缺少的景物.传统的树木分形生成算法计算复杂、耗时长,不适于在构建实时动态的场景中使用.文中提出了一种在L系统分形算法基础上的树木模型参数化生成方法.该算法将树木模型先进行参数化处理,然后将分形计算产生的树木模型数据按层次储存起来,并根据视点与树模型的距离确定所需树木模型数据的层次,从而充分发挥了应用分形技术生成的树模型真实感强的优点,消除了分形计算耗时长的缺陷,保证了树木生成的真实性和实时性.对分形生成过程中遇到的随机数生成周期性及相似性问题给也给出了解决方法.     

基于参数化零部件的自动装配设计

介绍在参数化零部件库的基础上实施装配设计的参数化。在设计者对装配尺寸或零部件的参数作出个性后,可自动进行装配图调整,达到零部件参数化和装配设计参数化的统一,实现自动设计。     

参数化自动生成变电所主结线图形

采用数据库和面和对象语言开发基于中文Ｗｉｎｄｏｗｓ３．１平台的“变电倒闸操作专家系统”中参数化自动化生成变电所主结线图形，使专家系统具有良好的通用性和可维护性。     

Polycube参数化自动构造

提出了Polycube参数化的自动构造技术.该算法首先对网格进行特征分解,然后用立方体组成的一些基本形体逼近分解得到的各部分网格区域,确定基本Polycube的顶点和边在区域上的对应顶点和路径,将各区域进一步分解为面片,从而在构造Polycube的同时完成对曲面的分片,最后再分片参数化并进行面片间的平滑,高效地实现了Polycube的自动参数化.该方法在很大程度上减少了Polycube构造过程中的人工干涉,使其能够在纹理映射等方面得到应用.     

软件测试实例的自动生成系统

本文介绍了把知识工程，人工智能，测试标准族的概念和技术应用于软件测试的实践。叙述了测试模型的构成，系统的设计思想，测试知识的分类和表示等。本文还对测试实例生成过程作了详尽的讨论。     

并发系统的模型和自动验证

时序逻辑可以很好地应用于描述和验证并发系统的动态特性。AMC(Model Checker for Asynchronous concurrent systems)代替传统的从公理出发的形式推导,将并发系统描述转换为系统状态模型,然后应用模型实现对系统时序特性的自动验证。AMC能处理一般形式的合理性问题,并能对大的并发系统进行层次结构模型验证。     

面向参数化系统验证的自动抽象方法

针对参数化系统验证面临的状态空间爆炸问题,提出自动抽象方法化简参数化系统状态空间.首先进行Y-抽象建立单进程有限状态机模型,然后通过对多个Y-抽象模型的合成运算得到异步合成的参数化系统,最后根据定义的谓词对参数化系统进行X-抽象得到二维抽象模型.运用该方法,对基于Synapse N+1,Illinois,MESI,MOESI,Berkeley,Firefly和Dragon的7个参数化协议和注入错误的MESI协议进行自动化抽象建模,并验证了相关性质,有效地提升了验证参数化系统的能力、缩短了验证时间;应用文中方法验证FT-1000CPU的一致性协议的结果表明,该方法在降低验证复杂度方面具有明显优势.     

参数化CAD中参数有效范围的算法研究

确定一类二维参数化CAD模型中参数的有效范围,可减少在参数化CAD系统中重建几何实体失败的情况,为此提出了相应的代数算法。所有简单多边形中距离约束参数的有效值取值范围均可以通过此算法求出,但是求解效率不高。通过多次计算验证得出无论在有效取值范围内的任一赋值均可使重建后的几何实体的拓扑形状不变,提高参数化CAD软件的设计效率和人机交互的智能化水平,并分析出该算法的复杂度为O(n)2。     

RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法,给出了该算法的正确性证明的理论框架;并利用提出的Verilog程序切片算法对Verilog RTL级设计进行化简,实现模拟矢量自动生成状态化简目的,实验结果表明：该算法对状态化简效果非常明显,可以有效地解决状态空间爆炸问题。     

基于模型的Web页面自动生成系统PAGS

如何提高页面开发效率进而提高Web应用开发的效率成为Web应用开发者们关心的一个问题。现有的页面辅助开发工具大多由页面编辑工具改进而来,采用手动布局和数据绑定的方式定制页面,虽然方便了单个页面的开发,但工程的整体效率并未得到实质性的提高。PAGS是一种基于模型的页面自动生成系统,它通过对Web页面及页面组件的分类建立模型,结合数据字典技术和代码自动生成技术,实现了页面的自动生成、自动布局、自动绑定数据,同时也支持以图形化的方式对页面进行局部调整和修改。工程实践表明,PAGS能够较好地支持各类大型Web应用系统的页面开发需求,有效提高Web页面的开发效率。     

基于标号变迁系统的测试集自动生成

首先,依据ISO89646的定义,阐述了协议一致性测试的基本概念,然后,介绍标号变迁系统（LTS）的形式化理论的定义和基本性质,利用LTS,给出测试例、测试集以及测试生成的形式化定义,第3,表述了实现关系在测试生成中的地位和作用,定义了输入输出系统,并在输入输出系统以及△变换的基础上引入实现关系ioco,根据实现关系ioco给出了一个测试集自动生成算法,该算法能很好地适用于递归的LTS。