一个改进的软件过程工程元模型ISPEM

对象管理组织(OMG)提出的软件过程工程元模型(SPEM)在软件工程过程领域具有较强的通用性和较好的建模能力。但是，软件过程工程元模型在一致性和表达力上存在不足。本文基于UML2．0活动元模型改进SPEM中活动的语义，采用泛化机制扩大实参的表达范围，细化形参和限制的表达粒度，使得改进的软件过程工程元模型(ISPEM)在语义上与软件工程过程领域的语义更为一致，表达力更强，更加符合软件工程过程领域建模的需要。     

提高HDL综合质量的探讨

提出了EDA工具QuartusⅡ和LeonardoSpeetrum组合方式在Altera公司CPLD器件开发中的应用．解决了目前集成电路设计的复杂和门级电路不易管理的一些问题。同时给出了可编程逻辑器件的开发流程以及在设计思路和语言使用上来简化、优化电路设计以提高HDL综合质量的几点探讨。     

可靠性维修性保障性CAD软件集成环境工程应用验证研究

工程应用验证可以说是一种新的软件测试手段和方法，是对常规软件测试的一种补充。工程应用验证主要适用于那些大型、复杂、开发周期长、与工程实际结合比较密切的，尤其像MS－CAD集成环境那样具有预先研究性质的软件，目的是软件能更好地满足潜在用户的需求。本文结合有关的课题工作进行，对工程应用验证的内涵、方法及实施途径进行了探讨。并针对RMS－CAD集成环境，对验证实施办法进行了详细分析。通过对集成环境应用验证工作的实施，对工程应用验证理论进行了检验，得出了相应的结论。从某些角度讲，工程应用验证应成为具有预研性质的大型工程软件开发的重要辅助手段。     

某型反舰导弹控制系统半实物仿真软件设计

利用 dSPACE 仿真平台进行某型反舰导弹控制系统半实物仿真软件设计,比较传统方法具有方便、高效、精确等优越性。简要介绍了 dSPACE 实时仿真平台及其软件环境,并提出了半实物仿真软件系统的具体设计方案。     

二维非对称喷管数值模拟与验证

采用Fluent软件针对二维非对称喷管进行数值模拟,考察了其中几种常用湍流模型及网格密度对模拟精度的影响,并将计算结果与NASA公布的实验数据进行比较,找出了精度较高、求解快捷的模拟方案,结果表明FLUENT软件可以应用于带高超声速外流的非对称超声速喷管内外流场的数值计算。      

软件无线电的可重构流处理器体系结构

 针对软件无线电中存在通用数字信号处理器（DSP）计算能力不足以及专用基带处理器缺乏扩展性的问题,提出了一种新的处理器：面向软件无线电的可重构流处理器及相应的专用指令集。仿真证明,该处理器的可重构设计具备指令集扩展能力,可以对多种无线通信标准甚至是新的通信标准提供支持;面向软件无线电的流体系结构和专用指令集保证了对多种高速无线基带信号的实时处理,运算能力是通用DSP的5~13倍。该处理器为软件无线电中的硬件设计难题提供了一种新的解决途径。     

数控纤维缠绕机芯模处理软件的研究

给出了离散点输入芯模的数学处理过程,从而对任意给定的芯模轮廓曲线有了统一的处理方法,统了一芯模输入,为非测地线缠绕软件的输入芯模“微元化”提供了理论依据,并为后面的缠绕计算奠定了基础。     

基于对象组件的遥控软件设计

通过分析飞控中心遥控软件系统存在的现状,提出基于对象组件的遥控软件设计思想,以及具体的设计步骤,并针对遥控软件给出类的抽象与设计,有助于遥控软件的开发与应用。     

一种三维弹性机翼气动优化新方法

基于控制理论方法和有限元分析软件,通过将网格生成、流场计算、有限元分析、粘性伴随方程数值求解、梯度求解和拟牛顿优化算法等几方面的有效结合,研究与发展了计及静气动弹性影响的三维机翼气动优化设计方法,其中,雷诺平均Navier-Stokes方程为主控方程,气动载荷和结构静弹性变形量由气动/结构方程的耦合迭代求解得到,目标函数梯度信息由共轭方程数值求解得到。典型大展弦比机翼气动减阻设计结果表明：研究及发展的计及静气动弹性影响的三维机翼气动优化设计方法是有效的,能够有效考虑静气动弹性的影响。     

弹箭气动力计算软件管理系统(英文)

针对反坦克导弹、低阻远程榴弹、杆式头部破甲弹、大长细比尾翼火箭弹、地空导弹、普通榴弹、脱壳穿甲弹、航空炸弹、空地导弹、超远程滑翔炮弹、航空布撒器等11个弹种研制和开发了一套工程实用、操作简便、界面友好的弹箭空气动力计算软件管理系统.本文介绍了该系统的控制系统、前置处理系统、后置处理系统和数据库系统所采用的主要技术和所实现的重要功能.