基于组织的社会技术系统程序设计模型及语言

互联网上越来越多软件系统呈现出社会与技术交融、环境多样和开放、系统动态和演化等特点,如何支持这类复杂软件系统的构造是软件工程面临的一项重要挑战。本文将社会技术系统视为多Agent组织,把社会组织学的概念和思想引入到面向Agent程序设计范畴,提出了以Agent、组织、角色和职位为核心的基于组织程序模型ORAP来支持社会技术系统的开发;通过对多Agent组织不同层次动态性的识别和分析,设计了一组程序设计机制来实现社会技术系统的动态演化,包括角色绑定和组合机制、基于角色的交互机制以及组织的自我管理机制;论文提出了基于上述模型和机制的社会技术系统程序设计语言OragentL,给出了OragentL程序在组织、角色和组合三个层次的语法形式定义,介绍了OragentL的编译器及其运行支撑环境OragentBurg,并通过案例分析和演示展示了本文研究工作的有效性。     

基于PEPA的防空通信系统抗毁特性分析

通信系统的抗毁性能是分析作战系统能力的一项重要指标。本文分析了防空通信系统的组织结构和对抗特点,利用性能评价过程代数（PEPA）描述了防空通信系统的状态演化,提出了基于PEPA的防空通信系统抗毁特性分析方法。通过具体案例,对通信系统的组织结构、抗击软硬杀伤的能力进行建模和仿真验证。实验结果表明,PEPA方法适用于防空通信系统的建模与分析,能够实现对防空通信系统的结构进行对抗过程的建模;通信系统的不同要素对抗毁性能的影响不同,可以采取有效策略以提高防空通信系统的抗毁能力。     

C4ISR系统仿真测试技术

网络化扩大了C4ISR系统的边界,赋予了系统更多的资源、更强的能力和灵活性,但也给C4ISR系统研究、开发和测试评估等带来了困难。有必要研究设计适应网络化C4ISR系统的仿真测试技术,为网络化C4ISR系统的总体设计、核心能力测试与评估提供技术支撑。本文基于网络中心化仿真的技术体制,设计了C4ISR系统仿真测试环境的系统体系结构,给出系统运行模式,并详述了仿真模型描述规范、信息按需分发与共享、仿真模型开发等系统建设中的关键技术问题。研究成果已在实际仿真测试环境开发中得到应用。     

指挥信息系统安全防护系统视图

作为指挥信息系统安全可控运行的重要保障,网络安全防护体系目前存在着整体轮廓不清、顶层设计力度不够等问题。研究网络安全防护体系结构,可以增强安全体系综合集成,提高组件间的互操作性,有效解决网络安全防护的顶层设计问题。通过分析军事信息系统体系结构框架中系统视图模型的内容和相互逻辑关系,描述了支持网络防御作战的系统、系统功能及其相互关系,建立了系统视图的几种典型模型,为体系化建设网络安全防护体系提供了理论依据。     

航母编队特点及对策研究

为了打赢未来可能发生的高技术局部战争,必须深入研究航母编队特点,积极探索能有效克制航母编队的战法。从航母编队的作战编成、攻防体系和队形以及C3I系统的结构及功能等方面分析了航母编队的特点,重点研究了航母编队C3I系统的特点。针对其特点,提出了几点抗击航母编队的对策。     

高速导弹末制导虚拟样机系统设计、建模及校验

总结了国内外虚拟样机技术的发展现状,结合目前正开展的高速末制导虚拟样机系统,对虚拟样机系统建摸、模型校验等技术进行了探讨,并提出了解决方案。     

C4ISR系统与仿真应用互操作研究

分析了实现C4ISR 系统与仿真应用互操作的主要技术难点,以JCOS C4I网关为实例,说明了当前实现的C4ISR系统与仿真应用互操作的极端复杂性和高成本.提出了实现C4ISR系统与仿真应用完全互操作的一个可行的办法就是开发互操作技术参考模型(TRM),定义两者共同遵守的技术标准.以C4ISR-Sim互操作TRM为例,介绍了当前开发的一些技术参考模型.论述了开发技术参考模型的一些基本原则.     

基于硬件计数器的MPEG4视频应用性能特征分析

通过指令集扩展来增强多媒体应用性能是微处理器发展的一个趋势,IntelMMX、SSE和SSE2是很好的例子。但应用本身的特点是否支持这些体系结构特性,应用软件是否充分发挥了多媒体指令集的潜力,都是值得关注的问题。采用动态Profiling的方法,研究MPEG4视频应用在基于IntelP4处理器的桌面机上的性能特性,使用硬件计数器工具来获取指令级的性能数据,并进行了深入分析。发现MPEG4播放软件较好地利用了IntelP4的64位MMX指令集,但对SSE和SSE2指令集几乎没有利用上;两级Cache不命中导致的性能损失很大。为提高视频播放性能,改进存储层次设计与优化播放软件比改进多媒体指令集更加有效。     

面向仿真的C4ISR系统领域分析与需求复用研究

面向C4ISR系统需求开发中的仿真支持问题,将复用作为一种的C4ISR系统需求模型的构建方法,可以快速形成一个有效的领域需求模型支持系统仿真验证。本文研究了C4ISR系统需求的领域性与领域需求共性问题,在此基础上研究了C4ISR系统需求工程中的需求框架、需求本体以及需求组件等不同粒度的复用方法,分别对上述三种方法在领域应用中的不同作用进行了对比分析。