工程设计程序的探讨

文章用系统工程的观点对工程设计的设计程序进行了探讨。从讨论现行的各种设计程序出发,分析了设计程序的多维性质,归纳出时间维、系统维和逻辑维等三种不同类型的设计程序,并研究了它们的内在联系和层次关系。提出了一种三维设计程序模式。以三维设计程序作为框架,经过简化,得出一个通用的设计工作先后次序及段落划分的模式。这个模式可以作为编排各种不同类型设计程序的基础。     

型号应用软件的图形后处理技术

以卫星型号应用中的程序为例,介绍了在Ｓｕｎ工作站上如何通过对Ｆｏｒｔｒａｎ及Ｃ语言、库程序Ｘｌｉｂ、工具包ＸＶｉｅｗ进行混合编程,对Ｆｏｒｔｒａｎ程序的运行过程进行图形化的方法。     

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

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

可编程序处理器只读存贮器EPROM的应用

以大规模集成电路只读存贮器为基础所组成的可编程序处理器,具有电路结构简单、设计标准化、功能灵活、应用广泛等特点。某些传统的数字逻辑系统的功能,可通过存放在只读存贮器中的指令串来模拟。本文介绍可编程序处理器在可编程序遥测系统、地面测试系统、国产2K位只读存贮器写入器中的应用。     

一个基于网络的程序自动评测系统

基于网络的分布式程序自动评测体系结构提供了一种高效、准确、适应性强的机制来实现一个评测系统.该体系结构通过被动激活方式利用木马技术,保证了系统在通讯和评测过程中的安全性,并在评测中实现了评测程序对系统资源的零占用,这使得样本程序在开发和评测时处于一致的运行环境中.该体系结构通过规则库和过滤程序的使用,提高了其灵活性和适应性,使得它可以适用于更多类型的样本程序.在此基础上,实现了一套完整的应用系统.经过多次实际应用,证明其具有高效、安全和配置灵活的特点.      

基于程序建模的网络程序漏洞检测技术

研究和分析了网络程序漏洞检测方法,针对C/S结构下网络程序存在的二进制漏洞提出了一种基于程序建模的漏洞检测方法。该方法针对网络程序架构进行分析,通过抽取不同类型网络程序中的关键性系统函数,进行程序建模和检测系统执行模块开发。采用选择符号执行技术进行检测,通过函数挂钩的方式定制挂钩函数语义和函数执行触发的操作,引入符号化数据和引导符号执行过程。研究过程中基于该技术实现了一套网络程序漏洞检测系统,系统能够识别目标网络程序采用的I/O模型,根据目标网络程序的不同类型调取相应的系统执行模块,利用选择符号执行技术进行自动化漏洞检测过程。实验结果表明,相比于已有的检测工具,该系统在网络程序的漏洞检测方面针对性更强,程序代码的覆盖率更高,同时具有很好的可扩展性。      

基于演绎与知识协调结合的程序自动综合

本文提出一个结构式的规范推导——定理证明演绎系统和一个程序设计知识库,它们用于支持程序自动综合。讨论了程序自动综合中的演绎与知识的协调和自学习问题。用PROLOG程序自动综合实例——由同一规范推导出三个reverse程序——展示了我们的方法。     

GEANT程序在空间粒子探测器优化设计中的应用

在众多的蒙特卡罗模拟程序中,介绍了其中的一种程序——GEANT程序．首先对蒙特卡罗方法的产生和基本思想作了解释,对GEANT程序的主要模块和基本结构以及粒子在程序中的传输过程作了描述．在程序中,GEANT程序应用了先进的ZEBRA存储管理器,使各个模块之间的联系更为方便．在空间粒子探测中,利用GEANT程序,可以计算空间粒子在探测器中的能量损失,在不同材料中的射程以及产生的次级粒子的数量,最后利用GEANT程序可以模拟出各种粒子在不同材料中的LET值,本文还进一步表明了蒙特卡罗方法对空间粒子探测的重要意义．     

万工显光栅数显微机测量系统软件设计

介绍了万工显光栅数显微机测量系统的组成及工作原理,详细地阐述了测量软件中数据采集程序、测量元素评价程序和测试报告程序的设计方法和思路。     

基于虚拟目标的导弹越肩发射初制导轨迹优化

摘要： 对具有攻角约束的空空导弹越肩发射轨迹优化问题做出研究.针对空空导弹越肩发射初制导段拐弯问题,设计了基于虚拟目标的程序指令. 基于最优控制的思想,利用高斯伪谱法求解最优程序指令,并根据所得指令的特点提出了三段式指令计算方法.在此基础上,比较了不同空域、速度以及虚拟目标位置条件对程序指令的影响.同时基于预测控制的思想,对程序指令进行在线修正,提高了导引指令的鲁棒性.三通道仿真结果表明,指令可以使导弹快速转弯并在转弯完成时指向虚拟目标.     

CP/M2.2系统调用介绍

本文着重介绍了CP/M2.2系统调用中的各个子程序的功能、用途、入口参数、出口参数以及调用格式,并给出了具体运用这些子程序的程序例。这些程序例用Intel8080汇编语言写成,并全都进行了说明,而且给出了上机运行结果。     

高空模拟试验应急管理的Petri网建模及应用

针对我国高空模拟试验的应急管理,构建了一个应急管理工作流策略,并对这个策略进行了Petri网建模.这个模型主要包括应急停车程序和紧急停车程序.应急停车程序以保证被试发动机与试验设备的安全、同时兼顾快速停车为目标,所以主要由一些串行处理环节组成;而紧急停车程序则以快速停车为目标,所以以并行处理环节为主.模型的分析表明:模型具有可达性、合理性、自由选择性、良构性和S可覆盖性.根据这个模型,对某发动机在高空模拟试验时的应急管理进行了演练,获得了完成各个变迁需要的响应时间.分析这些时间数据,找到了在紧急停车程序的应急管理操作中影响整体应急响应时间的关键环节.同时发现,在应急停车程序中,可以根据应急事件的分级在保证发动机和试验设备的安全与应急响应时间之间找到一个折中,最大化应急管理的效果.应急程序的修改和应急培训有效地减少了关键环节的应急响应时间.     

直升机滑油换热器的结构优化设计

在直升机肋管式滑油换热器的初步热力性能设计计算基础上,应用数值优化原理,对滑油换热器结构的优化设计进行了研究,建立了结构优化程序.该程序以滑油换热器的重量为目标函数,采用正弦法去约束并结合单纯形加速法寻优.实例计算表明,将滑油换热器的热力性能计算程序同结构优化程序结合起来,可以建立自动匹配的换热器设计及优化程序系统.应用该软件,输入设计要求,就可获得既满足性能要求,且重量最轻的肋管式滑油换热器.该软件可推广应用于各种类型肋管式换热器.     

递推科威耳数值积分方法——人造卫星轨道计算

本文讨论了轨道和弹道方程的数值积分科威耳(Cowell)方法。此法优点是:向前积分一步只要计算一次右端函数,如果飞行器只受保守力的作用,可以进一步减少计算量,与龙格——库塔法相比要快4—7倍。文章中运用生成函数法推导了科威耳方法中的各类系数,推导简单,并且给出一套递推公式。同时也算出了高达8阶的科威耳方法的系数值。利用递推公式编制了通用科威耳数值积分程序,根据问题的精度要求,可任意选取积分阶数、开头程序的步长和科威耳数值积分程序的步长。文中最后运用这个程序进行了大量计算,并对结果进行了分析。     

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

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

圆分度误差全组合测量计算程序

一、前言本程序是一个圆分度误差全组合测量计算程序。圆分度误差全组合测量法是测量圆分度器件的分度误差的一种方法。它具有不需圆分度标准器件而可获得较高测量精度的优点。但由于此法数据计算复杂、量大,在某种程度上又限制了它的应用。一般来说,     

符号执行和测试数据辅助生成的实验系统

本文提出了一个以符号执行方法辅助生成测试数据的实验系统。对于一个给定的源程序,它在对该程序进行静态分析的基础上,自动选择一组逻辑路径使其满足语句覆盖准则、或分支覆盖准则、或逻辑路径覆盖准则。然后,逐条地符号执行这组逻辑路径。对每条路径,它都产生一组以程序输入变量表示的路径限制条件。本系统还产生定义在输入变量上的输出变量(及中间变量)的符号表达式,用户可据此分析路径的计算过程、输入变量与输出变量的关系等。因此,它为验证程序断言、静态分析程序、分析动态测试结果提供了有价值的信息。     

对话神七航天员刘伯明：飞天是我的动力

记者：出舱程序的环节是不是很多，两人如何配合？ 刘伯明：程序比较复杂，要求比较高。一是对出舱服的操作要求比较高，还有飞行员之间的配合要求也比较高。     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.