基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

软件可靠性参数研究

确定软件可靠性的定量要求是软件可靠性工程面临的首要工作内容.本文讨论了软件可靠性定量要求的意义、特点、描述,对一般的软件可靠性参数进行了分析,提出了结合武器装备特点的软件可靠性参数,并给出了软件可靠性参数的选取及其指标确定应考虑的因素.      

壳体内腔大深度T型刀加工方案分析

对于外形、内腔结构复杂,零件体积大,材料去除率高等特点的壳体,锻件加工要求所编制的数控程序异常复杂,数据庞大,手工编程难以编制程序。采用UGCAM作为编程手段,利用3维实体辅助编程技术解决此类问题。     

高精度可编程流量积算仪的设计

本文介绍了一种高精度可编程流量积算仪的设计方法,包括该系统的测量数学模型建立,测量原理,硬件设计及软件设计。该系统可实现流量的高精度积算（优于１‰）,软件校准,多种报警及掉电保护。     

冷板流道结构优化及其钎焊技术

针对航天航空领域中集成电子设备出现的热流密度过高所带来的高效散热技术冷板设计问题与结构制造难题,提出了一种流道设计优化与结构钎焊技术。利用Flotherm热仿真分析软件对导流和结构等进行优化,完成了高效率散热结构设计。同时,对设计的窄流道结构带来的焊接质量问题,进行了钎料和焊接压力参数优化。结果表明:与传统S型流道冷板相比,采用片状导流结构和串并联混合结构的冷板热源温度降低了15℃,并将均温性控制在1.2℃以内。采用控制钎料厚度和工装压力的方法,降低了窄筋流道堵塞和焊接变形趋势。     

三坐标测量机系统误差软件补偿方法的研究

在三坐标测量机系统误差各种补偿方法的分析基础上,着重分析研究了系统误差合成法的软件补偿方法;建立了系统误差的数学模型;展示了该方法在产品中的应用效果。文章最后提出了系统误差软件补偿方法的发展方向。     

一种有效的软件结构图的布图算法

信息的可视化表示是帮助理解软件结构的重要手段.结构化软件中的复杂的模块调用为软件结构的分析和理解带来不便,为此提出一种以模块连接度(扇入扇出系数和)为特征的广义张量平衡算法,以图形方式直观地表现出模块之间复杂的调用关系.具体讨论了算法应遵循的原则,给出了算法的可操作规则集.实践证明,该算法布出的图形具有高度的对称性和紧耦合性,且层次分明,线间交叉少,同时符合图形语义要求和协调性原则.     

TIA前机载软件成熟度评估的相关研究

率先引入rFAA（美国联邦航空局）提出的软件成熟度的概念。局方正式签发TIA（型号检查核准书）前,在软件的构型和符合性均未达到最终冻结状态的情况下,通过对软件的成熟度进行有效评估,可以为验证试飞前软件的工程批准提供有力的支持与保障,在一定程度上降低局方飞行试验的风险,保障适航验证试飞活动的顺利开展。由于机载软件成熟度足一个新兴的概念,目前局方（FAA、CAAC）对于如何进行成熟度评估尚未形成正式的、通用的政策性指导文件,国内主机厂对此问题也没有相关的处理经验和具体的操作方法。基于机载软件本身的特点,参考局方在机载软件审查时的主要关注点,提出了TIA前机载软件成熟度评估的基本考虑要素与分析重点。     

复杂可修系统效能中可信度矩阵的构造方法

复杂可修系统可信度建模对保证效能的定量分析至关重要.本文在考虑不同维修状况的基础上,着重对不同任务剖面内相应任务阶段中武器装备可信度进行了深入的定量分析和综合,进而构造出武器装备的可信度矩阵,用于武器装备的效能分析;文中以某地面车辆为例,进一步论证了武器装备可信度矩阵的工程含义,旨在为合理确定一大类武器装备的效能和可信度指标提供理论依据.