面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。     

局域网络操作系统NETBIOS的开发与应用

随着局域网络产品的不断增加,局域网络的标准化问题就变得非常重要,它可以缩短网络开发周期并提高其兼容性。由美国IBM与Microsoft公司推出的以DOS为基础的NETBIOS网络操作系统,已构成当前局域网络研制的标准,它使各种局域网络均向它靠拢,形成了目前局域网络软件开发的主要方法与途径。 本文在对NETBIOS分析的基础上,进行了应用开发,为光纤局域网络NHFBNET研制出NHDCS网络软件。在研制过程中很好地解决了分布式网络软件的前后台功能与程序的可重入问题,使得所研制的软件具有较强的分布式功能和良好的兼容性,为第三代网络软件——分布式功能的网络软件的开发探索出一条新的路径。     

基于RNP的A＊算法动态航路规划研究

介绍了A＊算法的基本思想,建立了基于RNP的航路模型,利用A＊算法对航路进行了优化,并利用MATLAB程序对航路进行了算法实现,得到了满意的结论。通过实例分析得出基于RNP的A＊算法对航路进行规划研究的可行性和有效性。在MATLAB环境下进行航路规划问题的A＊算法程序,能够利用其强大的运算能力,并且易于其他工具包结合进行算法仿真实现对其中参数进行优化研究。     

I-DEAS软件在单相流体回路辐射器热分析中的应用

以神舟飞船单相流体回路辐射器为例,介绍了采用I-DEAS软件进行辐射器热分析研究的方法,包括建模、划分网格、计算及后处理等,并将仿真分析结果与热试验结果进行了对比。结果表明：采用I-DEAS软件对单相流体回路辐射器热分析具有很好的实用性和计算精度,显著降低了辐射器热分析的难度,并在一定程度上简化了前期设计中热试验验证的需求。     

超精密车床液体静压主轴环境动态测试系统设计

本文介绍了超精密车床液体静压主轴环境动态测试系统的用途。设计了系统的总体方案,详细介绍了硬件电路,并基于Measurement Studio软件包和DAM3000M接口开发了测控软件。     

某型教练机机载天线与雷达罩的射线入射角的计算

随着现代高科技的发展,雷达大量应用于飞机、导弹、航海等领域．雷达罩的运用也日趋广泛。本文通过曲线拟合等一些数学分析方法,运用MATLAB工具,经过分析、编程、计算．最后得到机载天线与雷达罩的射线入射角,通过入射角的大小可判断此雷达罩是否符合要求。     

GJB5000A软件测量指标的研究与应用

讨论了型号软件GJB5000A的测量与分析过程,采用系统论方法,阐述了三级测量目标、测量项的确定,对测量指标存在的涌现性进行了探讨,在此基础上举例说明如何在三级贯标项目中进行软件测量指标的选取。通过将近一年时间的GJB5000A项目实施,证明了测量指标选取有效性,以及测量指标存在的涌现性命题。     

大型 CFD 软件自动化测试平台的初步设计与实现

针对大型通用 CFD 软件研制的需求,为了提升 CFD 软件的开发效率,初步设计与开发了一个 CFD 软件自动化测试平台。该平台基于 MySQL 数据库,通过前台界面和远程集群后台管理程序的网络信息交互,实现了自主研发的通用 CFD 软件平台(HyperFLOW)的自动测试及验证与确认。根据需要适当修改前置处理接口,该平台亦可推广应用于其他 CFD 软件的自动测试。本文重点介绍了平台的基本框架和总体设计思路、平台的数据库和前台管理 GUI 设计、网络交互和后台管理等,并利用典型算例对计算结果的验证与确认过程进行了简要介绍,最后对平台构建的后续工作进行了展望。