8031芯片的VHDL描述及仿真

采用VHDL语言和已设计好的模块描述了8031芯片的功能，并使用软件MAX+PLUSII进行波形仿真；还进行了包括顶层结构图、顶层代码的编制、编译、波形仿真及分析。     

二维激光多普勒测速系统中的数据转换

通过使用丹迪公司提供的光机系统对多普勒信号进行采集和处理的原理进行分析，得出我们所要测量的信号到达时间、粒子渡越时间、多普勒频率和速度与所贮存的二进制代码之间的数量关系，并根据这些数量关系，编制了新的数据转换软件。这种软件操作方便，转换效率远高于原有的软件。     

浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。     

航空电子设备的新发展

军用机和民用机的电子设备都向高度综合化方向发展,并应用大量软件。例如,估计需要为F-22开发152万行软件代码,其中140万行用于综合航空电子设备,因为很多软件是重复使用的,故飞机实际所需执行软件的数量为250万行。F-22的电子系统在制空战斗机中是最先进的,系     

Ada程序的验证测试

本文简述了Ａｄａ程序验证的一些经验，着重讨论了静态代码审查和模块测试。     

基于模型的开发方法在通讯管理模块软件中的应用

本文介绍了Harmony的基于模型的嵌入式软件开发方法,并采用该方法对综合数据管理系统中的通讯管理模块应用软件进行了软件实现。介绍了通讯管理模块所应完成的功能,阐述了采用基于模型的开发方法所设计的类及其功能,也描述了这些类的关系以及状态图。最后阐述了Rhapsody根据模型自动生成代码和可执行文件的方法。     

基于Questasim与Matlab/Simulink的光纤陀螺代码验证技术研究

介绍了基于联合仿真的光纤陀螺(FOG)代码验证技术,并把该技术应用于光纤陀螺(FOG)闭环反馈模块的验证中。应用Questasim与Matlab/Simulink软件的各自优点,进行联合仿真,可以提高设计效率,降低研究成本。     

基于Questasim与Matlab/Simulink的光纤陀螺代码验证技术研究

介绍了基于联合仿真的光纤陀螺（FOG）代码验证技术,并把该技术应用于光纤陀螺（FOG）闭环反馈模块的验证中。应用Questasim与Matlab/Simulink软件的各自优点,进行联合仿真,可以提高设计效率,降低研究成本。     

液体火箭发动机模块化通用仿真

以大型液体火箭发动机研制为背景,根据模块化建模思想和通用仿真要求,提出一种具有良好通用性和系统组织能力的仿真方法,数学模型在模块内的存储形式是代码文本,操作者只需从界面即可添加模型,扩展模块库.描述了实现这种方法的软件架构,在Microsoft Visual Studio 6.0平台上,采用C++语言开发出该仿真软件,...     

一种VxWorks BSP 软件自动生成技术的设计与实现

VxWorks BSP 软件的可视化开发和代码自动生成技术是基于BSP 中最小系统配置单元组件化封装 以及常用外设驱动的标准化、通用化、组件化设计与封装实现的。该技术的实现可以使开发人员能够通过在可 视化工具中填写对应硬件信息，完成BSP 软件代码及对应文档的自动生成，实现了软件需求的直观化输入到 需求与设计的黑盒转化。能有效提高软件开发效率，增加软件成熟度，提高软件产品质量。     

可控制工件变形的机床夹具系统

针对低刚度零件的数控加工工艺系统,提出了一种可控制工件变形的夹具系统。利用有限元软件对工件刚度进行分析,优化夹紧点配置及夹紧力大小和方向。采用高速开关阀控制的液压系统实现对夹紧力的实时控制。系统包括夹紧力优化模块、夹紧力控制模块、夹紧执行模块等部分。     

二进制翻译系统BATSUP中的动态翻译器的设计与实现

针对目前航电系统硬件的升级换代而导致老的软件的不可用的问题,提出了一个用于航电系统软件升级的二进制翻译系统(BTASUP系统)。该系统能把解释执行和动态翻译结合起来,在PowerPC处理器上实现对1750A处理器的二进制可执行代码的透明执行。介绍了系统的结构和工作原理,重点讨论了作为系统重要组成部分的动态翻译器的设计与实现。     

软件重用技术及在航天飞行软件中的应用

分析软件重用的主要技术问题,介绍国内外航天飞行软件重用技术研究和应用状况,涉及飞行软件的代码重用、任务重用、代码自动生成、软件生产线等技术。据此,探讨飞行软件重用技术的主要研究方向,为飞行软件重用技术研究与应用提供参考信息。     

MVC设计模式在Swing开发的实际运用

描述了由于Struts框架的局限性,而开发的基于Applet和Application为前台程序的MVC设计框架。详细地讲解了在框架中各个模块的划分和功能,阐述了各个模块的实现逻辑,以及如何利用Java面向对象的优势来编写代码,并分析了该框架的优势和缺陷。同时也在文中列出了部分实现代码。     

8031芯片主要模块的VHDL描述与仿真

采用VHDL(超高速集成电路硬件描述语言)描述了8031芯片的主要模块并进行仿真；还分析了8031芯片的结构、主要模块的代码编制、编译、仿真以及仿真波形。     

三维模型的数据处理与显示技术的设计与实现

设计开发了三维模型的数据处理技术和显示技术,在嵌入式环境下进行了测试。三维模型采用建模软件设计,使用库管理模型数据,并解析模型数据;通过分析模型文件的数据结构,设计了模型读取和绘制的流程,实现了模型动态和静态显示。将模型显示模块融合在地图软件中进行嵌入式测试,分析结果得到,该模块在绘制效率、读取速度方面影响很小。该模块可丰富地图软件的显示内容,增强了立体效果,提高用户体验。     

嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

组件技术在虚拟试验仿真软件开发平台的应用

针对虚拟试验领域仿真软件可复用性差、维护难度高、开发周期长等缺点,利用组件技术设计并实现了一个仿真软件开发平台。平台基于“框架＋插件”的体系结构,设计了一套完整的组件接口规范和组件间的通信机制,并综合利用了工厂方法、发布订阅、单例、模板等多种设计模式,降低了模块之间耦合性,提高了代码的复用性。使用平台开发的仿真软件具有开发周期短、成本低、扩展性强、易升级维护等特点。     

无人机编队协调控制算法的设计及3D仿真实现

介绍了无人机编队队形保持的协调控制算法设计、3D模型地面处理、基于三维地图的3D模型绘制显示模块的设计,并进行了嵌入式下的仿真实验。基于智能体编队的一致性算法提出了队形保持的全状态反馈协调控制算法,可以实现在机动过程中的队形保持。采用三维建模软件3DMax构建3D模型原型,设计了3D模型读取绘制的流程,实现了3D模型显示。将3D模型绘制显示模块融合在三维地图软件中进行嵌入式测试,绘制效率、读取速度对三维地图软件影响很小。3D模型绘制显示模块丰富了三维地图软件的显示内容,增强了立体效果,提高了用户体验。     

MTS协调加载系统建立试验载荷谱软件的设计和应用

针对MTS协调加载系统在建立试验载荷谱中存在的功能缺陷，采用多线程和动态建立索引的方法，开发了MTS协调加载系统快速、准确地建立试验载荷谱软件。介绍了软件的设计思路以及建立载荷数据模块及配置载荷情况模块及加载顺序模块等功能模块和接口的设计。解决了该系统在实际应用中存在的局限性问题，完善了MTS系统功能。最后通过试验验证了软件的实用性。