软件可靠性参数研究

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

高职高专教学改革与软件人才培养模式的思考

本文通过对我国高职高专发展历程的回顾,分析了当前高职高专教育的中心任务与面临的主要问题,阐述了高职高专教学改革的紧迫性,重点对计算机应用与软件技术人才的社会需求、人才规格、能力结构、培养模式等问题进行了探讨.     

ARJ21飞机抖振升限特性研究及运行裕度分析

抖振是一种飞机各部件在飞行中发生振动的现象,威胁飞行安全。现利用ARJ21飞机配套性能软件PES仿真计算多种运行重量、推力状态、速度条件下的升限,分析了低、中、满上座率条件下飞机在气动和推力限制及节油速度升限。结果表明：在M0.4-M0.69区间内,节油速度升限要远小于气动和推力限制的抖振升限,安全裕度高;而在M0.69-M0.82区间内,节油速度升限随速度增加而逐渐逼近气动和推力限制的抖振升限直到相交,且重量越重逼近趋势越明显,交点对应的升限高度越低,安全裕度也越低。     

与仪器无关的测试软件框架允许硬件和软件重用

我们正从面向目标的软件执行过程得到收益,该软件的执行是ABBET（IEEE-1226）面向信号的测试框架。在工厂中,我们开发出了测试软件。该软件中没有测试设备的任何仪器知识,因此,我们现在能选择是否在运行前采用IEEE-488数字万用表或VXI示波器或手动数字万用表来测量电压,当仪器陈旧时,我们能够在不影响测试软件的同时在不同试验设备上或采用不同种类的仪器来运行测试软件,我们能够在不影响几个测试软件构型的情况下在多导工厂中修改仪器,其中测试软件是由几个分立组织控制的,使用由IEEE-488仪器组成的测试设备框架开发的一组测试可以很容易地迁移到基于VXI的标准测试设备中,除硬件独立性而外,框架支持高度抽象的测试语言,这种语言允许创造无显著特点的测试方法。这种方法在很大程度上使再使用程序中的测试算法的努力变得容易。     

基于ANSYS的薄壁件反重力铸造充填形态的数值模拟

介绍了CFD的基本原理以及有限体积法的概念,采用ANSYS 6.0进行网格划分和控制方程的计算,模拟了不同壁厚、不同充型速度下薄板铸件的反重力充型形态,得出了壁厚,充型速度对充型形态的影响规律。     

控制系统通用综合测试系统组建研究

在分析系统需求和基本功能的基础上 ,采用VXI总线技术、远程测控技术和测试应用程序自动生成等关键技术 ,按照综合测试的总体要求进行系统集成 ,组建控制系统通用综合测试系统 ,包括系统硬件和软件方案 ,对系统的硬件结构方案、模件选型以及软件流程、组成和作用进行了详细讨论。     

嵌入式多核操作系统的形式化建模与验证

在安全关键系统中,核心基础软件的正确性尤其重要。任何的错误都可能导致整体系统失效,带来严重的后果,同时,安全关键软件要通过高等级国际安全认证标准,则必须使用形式化方法进行设计、建模和验证。调研嵌入式操作系统、编译器、文件系统、机载网络/总线的形式化验证案例,在此基础之上引出嵌入式多核操作系统形式化的问题;对嵌入式多核操作系统的时间确定性和功能正确性属性进行形式化建模和验证;并对全文进行总结。     

基于增量-迭代算法的SABRE系统非线性分析流程设计

随着大型复杂装备结构分析的非线性问题日益突出,基于线性理论的有限元分析方法已难以满足复杂工程结构设计与研制需求,必须借助非线性有限元方法来获得结构的全状态力学性能。鉴于工程结构对非线性有限元分析的迫切需求,在新架构下的自主CAE软件SABRE系统中,基于增量-迭代算法研发了非线性有限元计算流程和相应的功能模块,初步实现了结构非线性分析功能。数值算例表明,研发的分析流程具有较高的精度,可进一步基于该流程进行功能的扩展和性能的提升。     

CFD软件可信度评价知识库系统构建研究

针对气动数值模拟及可信度评价对知识库建设的迫切需求,综合调研并对比分析了国内外不同CFD知识库发展现状、知识库构建等相关技术,同时结合构建的气动力/热CFD软件可信度评价知识体系,重点开展了基于Wiki的知识库构建技术研究和基于Neo4j图数据库的知识图谱构建研究,形成基于开源Wiki框架的气动力/热CFD软件可信度评价知识库原型系统的建设方案。在此基础上,从制定知识入库流程、确定权威知识来源、制定标准档案模版、组织知识评审机构等四个方面明确了知识库建设的基本原则,确保知识库系统建设工作顺利展开,并为CFD知识库的后续发展提供应用示范和技术储备。     

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作.复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老".本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的...