一个C程序切片系统的设计与实现

针对Ｃ语言的特点，文中引入了Ｃ程序的一些重要概念，诸如数据依赖、控制依赖和程序依赖等。在分析Ｃ程序的程序依赖性的基础上，介绍了作者设计并实现的一个Ｃ程序切片系统，其中包括系统的概要设计思想，系统中使用的数据结构以及切片生成算法。Ｃ程序切片系统不仅可用于产生Ｃ程序的切片，而且可用于观察Ｃ程序的框架结构和有关变量的多种数据字典。所有这些结果，为Ｃ程序的测试、排错与维护提供许多有用的信息，对Ｃ程序的并行性检测、波动分析和复杂性度量提供有力的支持。     

基于计算机的远程控制系统

本文着重介绍了计算机与PLC（可编程控制器）远程控制系统的设计参数设置与通讯口程序的编制。通过计算机的高级语言实现了远程人机对话与监控,该系统具备手动与全自动控制方式,操作方便直观,安全可靠。     

基于层次分析法的飞行模拟训练评价体系设计

为科学完善地描述飞行模拟训练中的应急处置程序,提升飞行员专业驾驶技术水平,本文提出飞行模拟训练评价体系,并通过层次分析法构造3阶判断矩阵,检测矩阵一致性指标为0.037,具有可接受性;并采用关联度进行数据分析量化计算,为飞行训练考核标准奠定理论基础。     

面向卓越计划的CDIO高级项目设计——机场指挥程序设计

结合CDIO教育理念和卓越工程师培养计划目标,设计CDIO高级项目——机场指挥程序设计。本文提出了项目的具体目标,从构思、设计、实施和运行四方面设计了项目模块的内容,构建了项目考核方法。结果表明,学生综合素质和教师能力得到显著提高。     

一种融合神经网络与熵权法的多用户飞行程序评价体系

飞行程序人员主要依据国际民航组织（International Civil Aviation Organization, ICAO）第8168号规章从飞行安全考虑,兼顾部分经济性指标进行程序设计。目前,飞行程序设计鲜有考虑所涉及的不同用户的需求。同时,对飞行程序的评价主要依据专家经验打分,缺少对客观因素的分析。本文面向飞行程序涉及的4个用户,提出了一种融合神经网络与熵权法的飞行程序评价体系。首先,分析了飞行员、民航管制员、军航管制员、机场和城市规划部门4个飞行程序用户对飞行程序的需求,从而基于多用户需求建立了飞行程序的三级评价体系。再次,通过利用基于神经网络计算的主观权重以及基于熵权法的客观权重,利用博弈论框架得到了一种综合性主客观权重的评价体系。最后,基于中国西部某军民航合用机场的离场程序,对评估体系进行了实例验证,并对程序中的改进方向提出了建议。综合多用户需求的飞行程序将在空域资源受限条件下进一步提升空中飞行效率,降低延误。     

UHDL语言及其编译器的设计与实现

本文介绍了一种通用硬件描述语言——UHDL及其编译器的设计与实现。该语言具有多层次硬件描述能力,良好的程序设计风格和丰富的数据类型,能够支持从系统级到门级的模拟过程。该语言编译器已在MICRO—VAXⅡ上用C语言实现。为了较好说明UHDL语言及其编译器的性能,本文各部分均给出了相应的示例。     

美国空军标准语言JOVIAL的分析与评价

JOVIAL语言是美国空军唯一的标准语言。本文根据作者从事军用计算机语言研究的经验,从可靠性、可读性、效率、可维护性、可移植性、可用性、简明性、抽象性以及实现等角度对JOVIAL进行了分析、评价,并将JOVIAL与Pascal、Ada等语言进行了适当的比较,最后指出了作为军用语言的JOVIAL还缺少的语言设施。     

一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

基才ISO18000—6C协议的超高频RFID读写器设计

论文提出了一种基于ISO18000-6C标准的超高频RFID读写器设计，分析了ISO18000-6C标准的技术特点和各项指标，分析了读写器射频电路，给出了硬件电路及软件的设计方案，并完成了系统测试。     

级间杆系的有限元分析和满应力设计

本文对多级导弹的级间杆系进行了力学模型简化,用有限元素法进行应力分析,用“满应力法”进行重新设计,采用FORTRAN语言编制计算程序,该方法可使结构分析和结构综合的品量、效率得到明显提高。     

空间拓宽思想在终端区飞行程序中的应用初探

为建设安全高效的机场体系,优化飞行程序保护区,缓解终端区流量瓶颈问题,通过分析对比三种飞行程序保护区设计标准及准则,采取按照最低保护区标准集成各种程序。提出飞行程序保护区设计的空间拓宽思想,采用单向穿越高度组织基础上的双层规划思想及其计算方法,构造一个多目标双层规划描述单向穿越高度交通组织优化问题。本文为飞行程序设计提出了新的飞行程序设计优化思想。     

具有参数编程功能的陶瓷刀片磨削加工数控系统

提出了一种适用于陶瓷刀片加工的新的插补算法，介绍了基于此算法的陶瓷刀片磨削加工数控系统。此插补算法大大简化了系统设计，提高了刀片的加工精度。用该系统精心设计的５个加工指令，即可完成所有标准刀片和大部分非标准刀片的加工编程。利用系统的参数编程功能，操作者只需选择刀片形状并输入刀片参数，系统可自动生成零件加工程序，完成刀片的加工。     

巡航导弹中制导阶段航迹规划算法

巡航导弹作为一种精确打击武器在现代战争中发挥着越来越大的作用。文中总结了飞行器航迹规划算法和地面防空威胁的建模方法,并结合巡航导弹自身特点提出了新的航迹规划算法。该算法在动态规划思想的基础上通过动态调整各个惩罚因素之间的比例关系,解决了巡航导弹在威胁条件下优先规避威胁区域和充分利用局部地形信息寻找地形掩护飞行的要求,生成了满足巡航导弹中制导阶段的要求航迹规划结果。经过实验仿真证明,该算法具有收敛速度快和计算量较小的优点。     

持久性在面向对象语言中的扩充

持久性是传统程序设计语言所缺乏的,它是程序设计语言中值得重视的一个要素,面向对象语言是当前表达能力和建模能力最强的一种语言,持久性与面向对象语言的结合将能够提供一个计算建模和数据建模、数据处理和数据管理的一体化语言环境。本文介绍了持久性程序设计的发展及其相关的概念,包括持久性与数据类型的正交性;讨论了持久性与面向对象语言结合中的有关问题,如对象标识及对象指针持久性等问题;同时给出了一个在面向对象语言基础上扩充持久性的实现描述,重点在其组织结构、内外存映射及其工作过程。     

基于宏突变的遗传程序设计改进探讨

本文针对基本遗传程序设计收敛速度缓慢的现象，提出基于宏突变的遗传程序设计。其主要目的是从突变这一方面对遗传程序设计进行改进。提出了通过增加突变机会，设计一些新的突变算子两种策略来进行探讨提高遗传程序设计的收敛性能的合理、可行途径。通过实例验证，说明所提出的改进方法是有效可行的，对提高遗传程序设计的收敛性能有显著的作用。     

面向再制造设计方案的去主观混合多属性决策方法

面向再制造设计(Design for remanufacturing,DfRem)是将再制造特征考虑到产品设计过程,因设计者缺乏明确定义的再制造知识,面向再制造方案决策受设计者主观偏好、经验等主观因素的影响,导致不合理决策设计方案。为了客观地得到面向再制造最优设计方案,提出一种去主观的混合多属性决策方法克服设计过程主观因素的影响。首先,通过物元理论表征设计特征与需求信息,结合设计准则得到初步设计方案,接着建立考虑技术、经济和环境因素的评价指标体系,采用熵权法和模糊集通过多属性决策得到最优设计方案。最后,以面向再制造的电机拆解机设计为案例验证上述方法的可行性与实践性,结果表明上述方法对面向再制造设计的方案决策有效可行。     

进化规划在频率采样型FIR滤波器设计中的应用

频率采样技术是FIR数字滤波器设计的常用方法之一.使用此技术设计数字滤波器时为了使阻带内的衰减最大,必须确定过渡带中的样本值,通常采用的是查表法,但查表法不能保证所得数据是最优的.进化规划是一种随机优化技术,它可以发现全局最优解.本文介绍了进化规划在频率采样技术中的应用,结合FIR数字低通、带通滤波器设计的两个例子,给出了算法实现的具体操作步骤和实验结果.实验数据表明,采用进化规划确定的频率过渡带样本值是最优的,设计的FIR滤波器的频率特性优于查表法.     

CAD／CAM技术在模具设计与制造中的应用

ＣＡＤ／ＣＡＭ技术的出现和应用，对传统的模具设计与制造方法有着重大影响。本文以刀柄为例介绍了它的模具结构设计、加工方案，以及应用ＣＡＤ／ＣＡＭ技术解决刀柄模具型腔的曲面造型及数控加工编程的过程。     

智能高分辨率彩色图形系统NHGCB的软件

本文介绍了自行设计研制的NHGCB高分辨率彩色图形系统。该系统以INTEL82720为核心,并自含MCS-51单片机子系统,既可独立进行图形显示,又可与IBM等微机相连构成多处理机图形处理系统。NHGCB支持最高分辨率为1024×1024,可同时显示16/4096种麒色。本文重点介绍该系统的软件结构及绘图程序设计方法,包括NHGCB的工作方式、主机与单片机子系统的通讯与控制程序,以及GDC的编程方法等。