关于Ada的面向对象扩充

使用面向对象风范作出的软件产品能很容易地体现软件工程软件质量保证的诸原则。倡导基于Ada的面向对象的程序设计是一个正确的方向。因为Ada不是一个面向对象的编程语言,使用Ada不可能自然而又有效地进行面向对象的程序设计。因此,必须对Ada进行面向对象的扩充。本文讨论进行相应扩充所涉及到的一些问题。     

Ada动态测试中遗传算法的参数编码方法

介绍了将遗传算法应用在Ada程序结构测试中,被测单元参数按照遗传算法的运算规则进行编码的原则与方法.首先,介绍了包括枚举类型和变长数组的基本数据类型的参数编码方法.由于Ada语言允许使用动态数据结构类型的参数,如何在一个较高自动化的动态测试工具中实现对动态数据结构的自动测试,成为首要关注的问题.因此文中着重介绍了Ada程序的动态数据结构在遗传算法中的编码方法.     

逻辑式与函数式两种程序设计风格的结合

本文比较了逻辑式和函数式两种程序设计语言本质上的异同;介绍了KLND语言中这两种程序设计风格的结合并给出了其实现的策略。     

汉语自动分词知识

汉语分词是汉语言计算机处理的一项不可缺少的工作。使用自动分词知识可以进一步提高自动切分精度,满足高标准的需求。本文在[1][2][3]的研究基础上,介绍了一些行之有效的自动分词知识。根据对4(?)092个汉字的语言材料统计结果表明(统计材料分社会科学和自然科学两部分),这些自动分词知识可以处理90％左右的多义切分字段。     

一种IC测试系统的可靠性分析与改进设计

美国ＧＲ系列ＩＣ测试系统采用磁带机作为系统程序的输入设备,由于磁带机故障率较高,因此使用中经常发生程序输入失败的现象,严重影响了该测试系统的可靠性,本文在对ＧＲ１７３２Ｍ型测试系统的组成结构进入深入分析的基础上,应用在线仿真器对主处理器进行实时仿真,跟踪了引导程序的执行流程和系统磁带的输入过程,提出了用ＰＣ微机代替磁带机,通过ＲＳ－２３２串行接口传送所有软件,本文详细阐述了改进设计方法,改进成功后     

基于高级petri网的并发系统设计

本文提出了用于并发系统的一种快速原型化设计方法学。此方法学是基于mprt网模型。mprt网是经典petri网的扩充,它支持规格说明模型的构造、性能评估,以及到程序结构的自动变换。mprt网中表示的并发进程及进程间同步可以方便地翻译成Ada程序结构。本文用例子群细说明了转换过程。     

一种面向最终用户的图形建模语言规范

图形语言形式化描述体系由于需要一定的理论背景而不适于最终用户,为了满足最终用户对领域建模语言进行规范描述的需求,提出了一种可以描述图形语言二维语法结构的语言(EUVDL,End-User Visual Definition Language),分别从设计范型、抽象语法和具体语法3个方面考虑了最终用户的支持,并且给出支持最终用户使用的具体设计策略、设计了基于EUVDL的图形建模语言环境开发平台.通过和其他图形语言描述方法的比较以及实例演示,可以看出利用EUVDL描述图形建模语言具有语法结构简单、描述能力较强、支持描述重用的特点,适于最终用户使用.      

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

内容全球化管理系统的设计与实现

针对企业多语言内容信息管理的需求,提出了用于检测客户端内容信息变化的数据 库内容变化监测算法与文件内容变化监测算法,并结合XML,CORBA(Common Object Request Broker Architecture) 及工作流技术,设计并实现 了能够有效集成现有的企业多语言内容的管理系统.结合多语言内容信息的特点,完成了系 统整体框架、系统主要模块的工作流程及内容变化检测算法的设计;通过系统的实现, 验证 了该算法是有效的及系统设计是可行的.      

直方图均衡法和直方图展平二次排队法的计算机处理

本文介绍图象处理增强技术中的直方图均衡和直方图展平。提出了实现直方图展平计算机处理的二次排队法的详细数学模型。编写了直方图均衡法和直方图展平二次排队法的ALGOL语言程序,对飞机遥感照片进行了计算机处理。经过处理,照片的对比度得到了明显的增强。     

地球同步卫星发射轨道的设计

本文讨论了地球同步卫星发射轨道设计的一般问题。分析了发射轨道的形式、轨道选择与入轨条件的关系,以及俯仰角程序的选择,最后讨论了与发射轨道设计有关的一些问题,提出了运载火箭总体参数和轨道综合优化的概念。本文所提供的发射轨道设计方法适用于运载火箭方案设计使用。     

基于编译优化和反汇编的程序相似性检测方法

提出了基于编译优化和反汇编的程序相似性检测方法,能够检测出标识符重命名、增加冗余语句、等价的控制结构替换等12种学生常用的抄袭手段.基于该方法,设计和实现了一个程序相似性检测系统BuaaSim,采用编译优化和反汇编技术将源程序转化为汇编指令集合,删除和替换汇编指令中对程序本质特征影响不大的易变元素,使用一个与指令顺序无关的决策函数计算程序相似度;还给出一个简单有效的聚类算法,从程序集合中聚类出相似的程序子集.通过与著名的JPlag系统针对两份典型的抄袭样本集进行评测对比,表明本文方法的检测效果具有明显的优势.      

GKS图形核心系统的设计与实现

本文介绍了国际图形标准GKS的特点,并讨论在设计与实现该标准过程中所涉及的主要问题:如按软件工程原则正确设计与实现GKS图形核心系统;保证所实现系统的可移植性;在GKS原有的正文输出图元中扩充其汉字输出功能等等。 本文所述的GKS系统已得到应用程序的验证。     

通信卫星成本和重量估算的模化方法——一种帮助系统工程师权衡空间通信系统(成本—重量)/性能的计算机模化程序

通信卫星系统设计的初期,设计师不仅应当满足用户提出的各种要求,而且必需协调不同要求所产生的种种矛盾。因此,要经常进行性能要求(如信道数量)和限制条件(如运载能力、投资总额)之间的权衡,以便确定系统的初步轮廓,作为深入分析和设计的基础。加拿大宇航有限公司(CAL)提出了一种估算通信卫星成本和重量的新的模化计算机程序(简称为CAL模化程序),帮助系统工程师进行设计权衡。     

模型驱动的嵌入式系统设计

随着嵌入式系统设计周期越来越短,功能越来越复杂,越来越多领域的设计人员参与设计,市场需求导向致使需求变更越来越多,以传统文档形式的需求来驱动开发已根本不能满足时间和成本方面的要求。本文提出了采用可执行模型、动态需求规格和接口控制文档共同作用的驱动嵌入式系统设计方法,它能够较好地满足目前系统设计的要求。在文中,我们首先介绍了当前嵌入式系统设计中存在的一些问题,然后介绍了模型驱动设计的方法、语言和优点,并对动态需求规格和接口控制文档的执行给出了建议,最后得出模型驱动的嵌入式系统设计是一种行之有效途径的结论。     

平面并联机器人的轨迹控制与在线监控

提出了三自由度平面并联机器人的运动学控制方法,通过逆向运动学求解实现对机器人的轨迹规划;提出完成并联机器人在线监控的2个步骤:首先利用解析法实现并联机器人的正向运动学分析,再综合运用二分法和插值法进行正解的在线计算.还研究和完成了基于PC的模块化机器人控制系统设计,该设计主要包括使用C+ +语言完成并联机器人运动学控制算法编程和设计基于PMD(Performance Motion Devices)的模块控制器.该控制系统在三自由度模块化平面并联机器人上进行了演示,并将在MATLAB下实现的数值法与C+ +语言编写的解析法进行了比较,其结果验证了运动学算法和运动控制器的性能.      

基于多种并发机制的卫星电子设备地面测试软件设计方法

在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.     

基于骨架图匹配的汉字变形技术

不同时代的汉字变化较大,自动产生它们之间的变形动画是一个具有挑战性的任务.为此尝试使用一个新方法解决该问题.首 先将源汉字和目标汉字分割成对应的部件,然后根据部件的骨架和特征点将其分解为笔画并建立图模型,用笔画路径的相似度进行图模型的匹配来产生对应关系.最后根据匹配的结果为源汉字和目标汉字的轮廓建立同构三角形,并计算插值产生动画.实验当中将新方法的汉字匹配的效果与现有方法进行对比,并展示了所产生的变形动画,结果表明本文所提出的方法可以产生不同时代的汉字间的对应关系,并能生成平滑的变形动画.      

计算机辅助的压电振子滤波器综合法设计与分析

本文除了讨论用计算机辅助综合法设计晶体和陶瓷滤波器的程序设计方法外,并提出了桥形滤波器的网络分析电路模型和网络特性的计算机分析程序,这个电路模型和程序适用于所有的桥形晶体和陶瓷滤波器。     

多语互译机译系统统一算法基础——差异函数

在基于语义语言理论的多语互译机器翻译系统中,为使用同一算法和程序方便地实现多种自然语言之间的互译,引入了"差异函数".该函数可将某语言功能在各种自然语言表示上的差异隐去,使翻译过程与具体的语言表示无关,从而使系统可以用统一的程序来处理那些功能相同、但在不同语言上处理方法不同的语言内容.以基数表示功能的处理差异为例,讨论了差异函数的作用及其在多种语言上的应用.