资源结构映像异步更新策略及其在JBCM中的应用

使基于构件的软件配置管理系统支持对配置资源的并发访问是一种必然要求,为此提出了一种资源结构映像异步更新策略用以实现这一目标.这种方法已由北京大学软件工程国家工程中心应用于青鸟软件配置管理系统(JBCM).     

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

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

基于宽带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     

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

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

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。