云计算技术在作战实验中的应用研究

云计算技术特有的灵活性和可靠性,使其在军事领域有着十分广泛的应用前景,特别是在作战实验方面,能够较大程度地提高作战实验效率,拓展作战实验功能,在军事训练、规划制定和检验作战方面等方面发挥重要作用。

一个面向方面的可信软件开发平台TSCE

随着软件规模和复杂度的增加,软件失效和故障问题日益加剧。如何在开发阶段利用开发环境为实现软件可信性提供有效支撑,从而确保软件运行行为与预期保持一致,具有重要的研究价值。借助面向方面的设计思想,把可信性作为一种方面融入软件的开发环境,研究实现了可信软件开发平台TSCE。该平台能够在软件研制过程中,一体化地提供可信性需求定制、可信代码自动生成、可信代码自动织入等辅助开发手段。利用该平台,开发人员不用额外编写可信性实现的相关代码,便可在部署运行阶段使软件具有一定的可信性判断能力和故障预警与修复能力。

基于监控的可信软件构造模型研究与实现

如何在开发阶段通过提高系统的可监控性从而提升软件可信性是当前的研究热点,这些研究取得了重要成果,但是还存在许多亟待解决的关键问题。针对这些问题,通过对现有研究成果的综述,在借助面向方面设计思想的基础上,设计了基于监控的可信软件构造模型TSCM,并以基于监控的可信软件开发环境TSIDE为背景分析了模型的实现要点和应用实例,最后分析了模型的主要特色。

分布式多层模型库管理系统设计研究

本文在深入分析了模型库管理系统的功能与设计目标的基础上,结合分布式多层结构技术,探索了模型库管理系统的设计思路和方法。

军事需求工程基本理论

由于缺乏有效的军事需求工程理论指导,需求问题已经成为制约军事信息系统发展的重要因素。本文论述了军事需求工程相关基本理论研究成果;指出了军事信息系统需求的基本特性;分析了军事需求工程的基本内容和框架。对军事需求开发的获取、分析、实现和验证四个阶段进行了分析,并在此基础上提出了相应的军事需求开发策略。

建模与仿真系统的VV&A问题研究

本文在研究建模与仿真系统VV&A概念和特点的基础上,提出了提高VV&A可信度和效率的有关措施。