一类安全性苛求软件非规则测试案例自动生成技术

目前,铁路车站计算机联锁软件测试平台包含自动测试和人工测试.人工测试案例是一些复杂的非规则的案例,这部分案例由于难以自动生成而至今没有纳入自动化测试.在对这部分案例进行分析基础上,通过一系列定义,用抽象的脚本语言对其进行描述,并给出脚本的案例还原算法,从而使其能够自动生成.     

基于宽带Delphi和功能分解相结合的装备软件早期成本估算

针对装备软件早期成本估算时存在的相关成本信息基础薄弱的“贫信息”问题,提出了基于宽带Delphi与功能分解的装备软件早期成本估算组合法。该组合法依据领域专家的知识和经验对软件成本做出判断,避免了需要过多依赖历史信息的局限性。而功能分解法能将软件按功能模块进行细分,提高了宽带Delphi估算的精度。     

非饱和土与特殊土力学的理论与实践

对非饱和土与特殊土(包括填土、黄土、膨胀土、膨润土等)开展了持久深入的研究,取得了系统的创造性成果:在国内率先研制成非饱和土固结仪、直剪仪、渗气仪、小型三轴仪、温控三轴仪、多功能三轴仪和土工CT-三轴仪等一系列仪器设备,揭示了非饱和土与特殊土的水气运动规律、变形、强度、屈服、水量变化、细观结构演化、温度效应等许多重要力...     

螺旋桨桨叶计算机实体造型方法研究

提出了一种螺旋桨桨叶造型的新方法———采用UG软件对螺旋桨桨叶进行精确实体缝合造型法,充分利用Matlab与UG的接口技术,对桨叶截面曲线的形成进行了优化,提高了造型精度,得到了光顺的螺旋桨桨叶的三维实体模型,为螺旋桨的性能优化及数控精加工创造了条件.     

舰空导弹武器系统作战软件试验测试平台

由舰空导弹武器系统在试验中出现的作战软件故障,提出了加强软件可靠性评估的观点和建立舰空导弹武器系统作战软件试验测试平台的构想。给出了基于海上试验环境的作战软件试验测试平台的方案、试验方案设计、试验实施策略以及可靠性评估方法。     

系统可靠性分配的研究进展

系统可靠性分配是可靠性设计的重要任务之一,其主要作用是为可靠性设计提供辅助决策。给出了可靠性分配流程,研究了可靠性分配模型的发展状况,重点介绍了可靠性分配问题的求解算法,指出了各类算法在分配中的应用及其需进一步解决的问题,同时分析了国内外典型的分配软件,总结了各软件中可靠性分配的主要功能,最后对可靠性分配提出了进一步的研究展望。     

A sequential Bayesian generalization of the Jelinski–Moranda software reliability model

The Jelinski–Moranda model of software reliability is generalized by introducing a negative‐binomial prior distribution for the number of faults remaining, together with a Gamma distribution for the rate at which each fault is exposed. This model is well suited to sequential use, where a sequence of reliability forecasts is made in the process of testing or using the software. We also investigate replacing the Gamma distribution with a worst‐case assumption about failure rates (the worst‐case failure rate in models such as this is not infinite, since faults with large failure rates are immediately discovered and removed). © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2006     

数字化装甲营作战仿真实验室的支撑软件设计

介绍了数字化装甲营作战仿真实验室的支撑软件组成、结构和功能.军事指挥人员(建模人员)利用支撑软件按照自己的意图,快速制定作战想定,兵力、兵器部署的系统模型,通过系统模型的运行,实现战斗进程的逼真模拟,实施人在环、部分实装在环的装甲兵分队作战指挥对抗演习和实验,完成装甲兵分队的战术和技术训练任务,为装甲兵部队作战理论研究,人员训练,装备作战效能评估,技术保障研究和院校各专业技术人才培养提供高技术的软件平台,并且快速确定系统模型的可信度指标,为上级机关决策的合理化提供有力的支持.     

加载龙伯透镜反射器的靶标RCS改型设计与仿真

针对武器装备试验、训练构建实战化空情模拟条件的要求,提出利用小型靶标加载龙伯透镜反射器模拟空袭武器雷达散射截面(Radar Cross Section,RCS)的方法。基于FEKO电磁仿真软件,分析了龙伯透镜反射器(Luneburg-Lens Reflectors)散射机理和散射特性影响因素,对不同形状、尺寸和位置反射板的龙伯透镜反射器RCS特性进行了数值仿真,总结了反射板对反射器RCS的影响规律,重点基于反射器对靶标RCS起伏特性进行了改型设计,对靶标加载单个和两个龙伯透镜反射器进行了联合仿真计算和分析。结果表明,利用靶标加载龙伯透镜反射器可以实现RCS改型的目的。     

基于配置管理的软件维护性评估

对软件质量进行定量化管理是软件工程领域的趋势,也是软件质量保证的重要手段。针对软件维护性定量评估难、数据获取难的问题,分析了软件维护性受配置管理关键要素的影响,提出利用配置管理数据对软件维护性间接评估的方法。结合软件工程开发实际,建立了配置管理数据收集过程,利用维护时间作为参数,统计5类功能点维护时间对软件维护性进行度量,实现了软件维护性的定量评估,并利用实际项目对方法的可行性和有效性进行了验证。