C程序设计自动化逆过程的实现

本文阐述Ｃ程序设计自动化逆过程的实现，即阐述从Ｃ程序设计自动生成用图形语言－ＰＡＤ图表示的设计思想，关键技术，系统特点以及对ＰＡＤ图式的扩充与细化技术。     

面向工程设计领域的基于知识的分析计算程序生成系统

本文介绍了面向工程（产品）设计领域的基于知识的分析计算程序生成系统ＫＥＣＰＧ。提出了公式逻辑相依性概念，并讨论了它的性质以及如何依据这种概念来自动生成公式计算程序设计规格说明。     

一种基于可扩展对象的程序设计方法

在对可视化程序设计实现机制研究的基础上，结合面向对象程序设计提出了一种可扩展对象程序设计方法。以窗体对象研究为出发点，叙述了采用复杂对象模块以及存储管理器实现子复杂对象生成的方法，对大型系统的开发具有一定的现实指导意义。     

载人航天器自动化测试系统设计与应用

针对现有航天器测试不具备流程化、自动化程控的问题,提出了一种载人航天器自动化测试系统。该系统以测试项目模块化思想为依托,提供了测试子项目设计平台,自动生成测试程序、测试细则文档,自动执行测试程序并实现无人值守,在出现异常时根据程序设计自主跳转或等待人工决策,实时记录测试过程信息,测试结束后自动生成测试报表并评估当前测试是否有效通过。对系统方案、接口方式、部署及管理模式进行了分析,通过型号测试进行了试验验证,该系统实现了测试各阶段流程化、自动化程控,提高了测试效率。     

dBASEⅢ程序自动发生器的设计与实现

本文主要介绍一种快速生成dBASE-Ⅲ数据录入维护程序模块的设计原理和实现方法,以及作者用这种方法研制的软件工具LZTL。LZTL是dBASE数据录入维护程序自动生成器,使用它可以在10～25分钟内生成一个数据库文件(dbf)的数据录入维护程序。功能包括数据记录的增、删、改、插、显示数据,显示目录,排序,索引,拷贝,索引查询修改等。同时还自动生成与数据库文件结构相适应的屏幕格式文件。程序运行时具有良好的人机交互性,全部汉字提示,并可按需要打印程序设计报告。本文介绍的dBASE程序自动生成原理适用于快速生成其他类型dBASE功能模块。采用这种方法,程序设计员可根据具体工作环境和自己的程序设计风格设计制作满意的dBASE程序自动发生器。     

软件工程环境用户接口的形式描述与自动生成

本文讨论集成软件工程环境中统一用户接口的特点及其重要性,定义用户接口的一种抽象模型——回潮自动机,给出用户接口的形式描述方法.最后介绍在Unix程序设计环境中实现的一个实用的用户接口自动生成系统.     

最小生成树算法的PAR方法形式化推导

采用PAR方法通过功能归约变换，形式化推导出可读性好、效率高的递推的最小生成树算法，简化了算法程序设计和正确性证明的过程，有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。     

基于XML／Macro的文档自动生成系统的研究与实现

提出了支持作战仿真系统的一种新的基于XML／Macro的文档自动生成系统的体系结构。开发了文档自动生成系统，实现了复合文档的自动生成。     

编译程序的范式结构及用属性文法进行编译程序设计(上)

本文将介绍编译程序自动生成的方法,该方法在NCI(华北计算技术研究所)用来发展编译程序自动生成系统(CSG).本文还详细地讨论属性文法以及如何使用属性文法进行编译程序设计.     

菜单式界面的设计和自动生成

本文介绍了菜单式界面软件的一种设计方法，并运用此方法开发了一菜单式界面自动生成系统，实现了菜单式界面的自动生成，有效地提高了菜单软件的开发效率。     

网络课程中基于Web的在线测试系统的研究与实现*

设计了一个基于Web的在线测试系统,并成功应用于网络课程的教学活动中.同时,设计了一个高效率自动组卷算法.介绍了该系统的功能、结构、关键技术和自动组卷算法.该系统在其他的相关领域也有较重要的参考价值.     

网络攻击图的自动生成*

网络攻击图是分析网络安全性的一个重要手段,对网络安全策略的制定具有重要指导意义。网络攻击图的自动生成是近年来国内外研究的一个热点。通过对大量网络弱点的分析,结合网络的特性,建立了网络安全性分析模型,设计并实现了一个网络攻击图自动生成原型系统。     

基于自适应遗传算法的路径测试数据生成

针对简单遗传算法容易产生早熟收敛的问题,提出一种自适应遗传算法,用以自动生成测试数据。通过把程序插装法与该遗传算法相结合,实现了路径测试数据的自动生成。将三角形分类程序作为实例对其进行性能测试,实验结果表明,基于自适应遗传算法的测试数据自动生成系统能自动改变选择概率和交叉概率,提高了自动生成测试数据的效率。     

从短信文本到手机动画的粒子特效的自动生成

粒子特效自动生成是手机3D动画自动生成系统的一个重要组成部分.但系统不具备粒子特效自动生成这一功能,本文对此进行设计,并实现粒子特效的自动生成功能.介绍了手机动画系统的本体库的现状,研究了粒子特效的定性规划,设计了粒子特效系统规则推理方案,并指出定量实现的难点.最后通过实验较好的验证了粒子特效自动生成功能.     

在线考试系统的设计与实现

在线考试系统以其良好的交互性和自动组卷功能将教师从烦琐的出题工作中解脱出来。本文简要介绍了在线考试系统的基本功能、设计思想,详细阐述了系统的设计方案和实现方案,并对系统的可扩展性作了探讨。     

试卷生成系统的设计与实现

分析试卷生成系统的功能需求之后,利用Delphi开发了一个试卷生成系统。系统能够实现人工组卷和自动组卷,生成的试卷以及试卷答案可以直接送入目前广泛使用的字处理软件Word中。     

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

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

基于动态评价函数的试卷自动生成系统的设计与实现

介绍了一种适合各类课程的试卷自动生成系统的设计.主要介绍试题控制指标的确定、系统结构、系统功能和在开发过程中所应用的关键技术,还具体给出题型、知识点、时间及难度的4个动态评价函数和基于这些评价函数的自动组卷算法以及实验测试数据.     

基于遗传算法的类对象测试数据自动生成研究

在测试数据自动化生成方法中，对类对象测试数据的生成目前在实际中还没有完善的解决方法。针对这个不足，研究了基于遗传算法的类对象测试数据自动生成技术。在扩展海明距离法的基础上，提出了一种在遗传算法中生成类对象测试数据的适应度函数改进方法,并在理论上证明了该方法在缩短执行时间上的可行性。最后将方法实验于实际系统，实验结果显示在生成类对象测试数据的效率和准确性上都有明显的提高。     

Information extraction for deep web using repetitive subject pattern

In this paper, we propose an information extraction (IE) system for extracting data records from semi-structured documents on the Deep Web using a promising proposed technique, called Repetitive Subject Pattern. This technique was based on the hypothesis that data records in the web page must have a subject item, and the repetitive pattern of the subject items can be used to identify the boundary of data records. The system consists of four automatic tasks: (1) parsing a sample page to a DOM tree, (2) recognizing a subject string in the DOM tree, (3) using the subject string for identifying the pattern of data records and generating a wrapper, and (4) using the generated wrapper for extracting data records. This approach enables the very flexible wrapper generator; when the automatic process generated the wrong wrapper, user can also provide a new sample subject string for generating better wrapper. As the result, the system can be both semi-supervised and unsupervised system. The experimentation shows that the proposed technique provides the outstanding results in generating the very high quality wrappers, with both recall and precision close to 100 % when tested on a number of datasets.