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

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

基于C/S结构的远程维护系统

提高计算机应用系统的可维护性，降低维护代价，一直是项目研发人员追求的目标。给出一种新的系统维护方法；系统采用客户机/服务器模式，通过Internet对远程机进行控制与操作，完成系统维护信息的搜集与发送，实现远程系统的故障诊断和软件的维护工作，对用VC 实现的核心技术做了说明。现已应用于自动化立体仓库系统远程维护工作中。     

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

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

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

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

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

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

测试系统的软件平台

测试软件平台为测试系统的组建提供了可视化的测试程序开发环境、测试资源的管理、测试数据的管理和仪器驱动库的管理等工具。文章介绍了软件平台的总体结构。并对软件平台的实现作了描述。     

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

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

捷联惯导系统的软件开发

本文介绍在PC机上开发捷联惯导系统软件并进行数字仿真的方法,讨论了从分配软件任务,到开发实时软件、管理软件、仿真软件,直至固化运行的全过程。还介绍了ASM-86语尔、PL/M-86语言与C语言混合编程的技巧与优点。该方法与传统的在86/380开发系统上开发捷联系统软件的方法相比,具有良好的经济效益与实用价值。同时,本方法具有通用性,可用在以8086为基体的单板机软件开发上。     

模糊可靠性理论中的基本概念

经典可靠性理论以概率假设和二态假设为基础,在许多情况下是不可接受的,需要以可能性假设和模糊状态假设分別替代。模糊可靠性理论或者基于概率假设和模糊状态假设,或者基于可能性假设和二态假设,或者基于可能性假设和模糊状态假设,从而有3种不同的形式:率模(Profust)可靠性理论、能双(Posbist)可靠性理论和能模(Posfust)可靠性理论。本文概述了率模可靠性理论和能双可靠性理论中的基本概念,并介绍一个简单实用的模糊软件可靠性模型,最后展望模糊可靠性研究的未来趋势。     

二维翼型结冰数值计算

翼型结冰计算是随着结冰时间步长变化的准定常过程,因此在每个时间步长后都要更新各个模块的计算工作,如此反复直到达总结冰计算时间.在各模块计算中,分别采用了泊松方程法生成网格、求解雷诺时均方程计算流场、拉格朗日追踪法求解水滴轨迹、基于Messinger模型计算冰形、采用变距滤点法重构边界.引入动态链接库技术将各模块集成为结冰计算平台,并将三种冰形(楔形冰、槽状冰及混合冰)计算结果与国外软件及试验数据进行了对比.