基于HLA的可扩展模型库构建方法研究

在HLA仿真框架下，仿真资源的重用是一件意义重大的事情，这也是FEDEP过程要着重解决的问题。然而实际工作中，重用SOM构建FOM的工作经常被不同SOM中类的继承关系造成的语义上的歧义所困扰，究其原因，没有一个统一的模型库视图是其根源。为此，提出一种新的模型库分层构建的方法，这种方法按照对象之间的继承和组合关系把对象模型库分成相互联系的两层，它使得模型库可以自由扩展，避免库中信息之间语义上歧义的出现。     

StarSim:支持快速构建的离散事件系统通用模拟框架

离散事件系统是研究和实践中常见的一类目标系统,使用软件对其进行模拟是有益甚至必须的。提出支持快速构建的离散事件系统通用模拟框架StarSim,为离散事件系统快速构建软件模拟器。StarSim设计简单通用的系统抽象模型以支持快速构建目标系统模拟器,提供基于事件的实体间交互方式以表达目标系统中的交互行为,引入简化的对象请求代理技术以透明的支持分布性,使用基于令牌分发的多线程技术以并行处理目标系统中同时发生的事件,预留可定制的监测和控制接口以灵活的监控目标系统,使用Java语言编写以确保移植性。为一个混合类型离散事件系统快速构建模拟器,验证了StarSim的诸特性和快速构建能力。     

HLA/RTI时间管理算法性能测试

高层体系结构HLA(High Level Architecture)是美国国防部提出的建模和仿真的标准，时间管理服务是其中的重要组成部分。一个正确、高效的时间管理算法，是保证RTI产品时间管理服务性能优越的重要因素。提出了一套测试RTI时间管理的方案，试验了几种典型的RTI，并对这几种RTI产品进行了分析和比较。侧重于对基于CORBA、符合IEEE1516标准的RTI软件StarLink时间管理的功能测试和性能测试，实验结果表明，在高速局域网内，StarLink时间管理服务优于同类产品pRT11516。     

CORBA 在移动网管中的应用

对移动网管的应用背景、分布式对象进行了简单的介绍, 指出传统操作系统中提供的网络传统服务来开发C/ S分布式应用的不足,提出引进CORRBA 及它在移动网管中的应用及其建模方案.     

基于网络的可信软件大规模协同开发与演化

随着网络时代的来临,软件的开发模式、运行环境和提供方式发生了巨大变化.互联网作为一种开放的协同工作环境,其中孕育的大规模协同创作机理对软件开发和应用产生了深刻影响.如何将其与工业化可信软件生产相结合以提高软件生产效率和质量,是网络时代软件技术面临的新课题.本文提出汇聚群体智慧的可信软件开发新方法——群体化方法,该方法的核心是"群体协同、资源分享、运行监控、可信分析",支持创新软件作品向可信软件产品转化,支持软件的可信演化.提出一种基于证据的可信软件概念模型,将软件在开发阶段、分享阶段和应用阶段的基础数据作为软件的可信证据,并据此建立了软件演化过程模型;提出一种支持可信软件协同开发与演化的服务模型,支持软件创作与生产深度协同的可信软件社会化生产、开放有序的可信软件资源分享,以及基于海量数据分析的软件可信评估.最后以"十一五"国家高技术研究发展计划重点项目"高可信软件生产工具及集成环境"为背景,阐述了面向群体化方法的关键技术、开发环境和应用实践.     

复杂软件系统的成长性构造与适应性演化

随着信息网络技术的渗透性发展,复杂软件系统正在成为一种泛在的新型软件形态.此类软件系统通常由相当数量的局部自治的软件系统相互耦合关联而成,具有"系统之系统"、"信息—物理"融合系统和"社会—技术"交融系统的特点,表现出成员异质、边界开放、行为涌现、持续演化等一系列新的性质.这些特征打破了传统基于"还原论"思想的软件工程理论和技术所基于的基本假设,使其难以适用于复杂软件系统的构建.本文分析复杂软件系统的内涵、形成特征和基本性质,深入讨论复杂软件系统在构造和演化环节所面临的挑战,借鉴互联网以及生命系统、社会系统和经济系统等复杂系统的形成和演进模式,提出复杂软件系统的"成长性构造"和"适应性演化"法则,阐述这两条法则所涉及的主要科学问题和关键支撑技术.本文试图为复杂软件系统的构建和发展提供新的方法学和架构层面的支持.     

综合火力打击仿真系统的研究和设计

在现代战争理论中,如何对综合火力打击计划方案实现有效评估成为一个重要研究方向。在深入调查和研究的基础上,提出系统需求,然后结合当前仿真趋势和技术,设计了综合火力打击仿真系统的体系结构、逻辑框架和信息流程图,详细分析了综合火力计划中的基于标准体系的评估模型和毁伤模型。对于建设同类仿真系统具有重要的参考意义。     

面向互联网计算的虚拟计算环境

本项目属信息科学中网络计算与分布式系统的前沿研究。互联网正由一般意义下的计算机通信平台逐步演变成为一个覆盖全球的虚拟计算环境。互联网上汇聚的海量计算资源、存储资源、数据资源和应用资源已经成为国家重要战略资源。建立以有效管理和综合利用互联网资源为目标的虚拟计算环境，是全球关注的、具有重大产业价值的课题，列入了国家中长期科学和技术发展规划纲要。     

可信计算的研究与发展

可信计算是一种信息系统安全新技术,它已经成为国际信息安全领域的一个新热潮,并且取得了令人鼓舞的成绩.我国在可信计算领域起步不晚、水平不低、成果可喜.我国已经站在国际可信计算的前列.文中综合论述近年来可信计算理论与技术的一些新发展,特别是介绍我国可信计算的一些新发展,并对目前可信计算领域存在的一些问题和今后发展提出了自己的看法和观点.     

虚拟计算环境iVCE:概念与体系结构

互联网资源的“成长性”、“自治性”和“多样性”等自然特性给资源的有效共享和综合利用带来了巨大的挑战．提出以网络资源的按需聚合和自主协同为核心，建立虚拟计算环境（iVCE）的思路．iVCE将建立在开放的网络基础设施之上，为终端用户或应用系统提供和谐、可信、透明的一体化服务．提出了iVCE的基本概念，通过引入自主元素、虚拟共同体和虚拟执行体三个核心概念，构建iVCE的体系结构．结合iVCEforMemory案例对iVCE体系结构各组成部分的内涵、功能和相关支撑技术进行深入分析．