基于随机集证据推理的构件软件体系可靠性模型

将随机集证据推理应用于军事信息系统软件可靠性建模研究,采用其分析软构件故障过程,计算 软构件可靠性参数,并在此基础上构建了一个基于随机集证据推理-贝叶斯网络的军事信息系统软件可靠性模型.本模型实现了对构件软件体系全过程的可靠性跟踪和监控.仿真实验验证了该模型的实用性和有效性.本模型还可应用于对大型设备系统的故障诊断.     

一个面向基坑工程领域的三维仿真模型构件库

基于构件的软件复用技术可以很好地支撑三维仿真系统开发,是解决基坑工程领域三维建模的有效工具。针对基坑工程仿真系统应用,分析了可复用的三维构件模型,重点讨论了该领域构件的表示和检索技术;创建了一个用于管理这些复用构件的构件库系统;最后给出了该构件库系统的一个应用实例。     

基于构件的嵌入式软件仿真开发环境模型研究

为支持嵌入式系统软件与硬件的并行开发和解决其多样性问题,引入了仿真技术和构件技术,建立了一个通用的构件化软件仿真开发环境模型(CSIDE).通过一个原型软件验证CSIDE模型具有以下特点以工具总线为基础的构件化体系结构可以为各种软件定制出分布式仿真开发平台;能以可视化方式重用库中构件建造出与真实硬件环境基本一致的硬件仿真环境,支持软件的仿真调试.     

求解多星任务规划问题的演化学习型蚁群算法

任务规划在成像卫星指挥控制过程中起着非常关键的作用, 在成像卫星应用系统中处于神经中枢的地位. 提出了一种求解多星任务规划问题的演化学习型蚁群算法: 在参数绩效知识的指导下, 采用动态参数模型为下次迭代随机选择较为合理的参数组合; 从优化过程中不断地抽取构件知识, 采用构件知识指导人工蚂蚁在后续优化过程中构建可行方案. 在蚁群算法、动态参数决策模型和构件知识的共同作用下, 演化学习型蚁群算法的优化绩效得到了极大提高. 采用多星任务规划问题的21个测试实例进行实验, 结果表明演化学习型蚁群算法在优化性能方面优于其他两种方法.     

基于构件技术的工程侦察行动仿真

可组构的作战行动建模,解决了模型重用性和仿真应用之间互操作问题,是复杂的联合作战仿真的基础,它可极大提高作战模拟开发的效益。针对当前联合作战模拟的需要,运用基于构建技术的HLA仿真思想,以UML为工具建立工程侦察行动模型,并设计了工程侦察行动类;而后设计了基于"平台"的工程侦察组情况处置构件;最后论述了基于构件和HLA技术的工程侦察行动仿真的基本过程。     

基于排队模型的联锁逻辑仿真模型研究

基于构件的仿真与建模方法来源于面向对象,该方法采用层次化、模块化、标准化的思想来分析系统.与面向对象的方法相比,基于构件的仿真与建模分析的粒度较大,可重用性更好.根据联锁系统的特点,针对联锁系统中联锁逻辑的实时仿真与建模问题,提出一种基于面向对象和构件的仿真与建模方法,并设计了基于离散时间队列的仿真算法,建立了一个联锁逻辑仿真的基本模型并给出了实现的方法.     

基于MAS构件技术的复杂知识复用动态演化模型研究

为快速恰当地复用企业现有知识和软件, 提出了将企业的知识管理的业务逻辑与知识处理事务分开, 建立基于多智能体和构件知识服务的知识复用模型, 给出了知识复用系统的定义. 深入研究了知识管理业务逻辑的规则模型和智能体的活动行为模型, 建立了基于多智能体的规则协调模式, 实现对知识服务的敏捷调用, 从而有效地支持知识的动态复用和知识使用过程的动态重组, 增强知识管理系统的分布式处理能力和规模可扩展能力.分布式构件库系统中, 智能体可通过协作联合完成用户的检索要求. 智能体拥有自己的知识库, 并且具备学习能力, 能更新其知识库以保持检索结果的有效性. 最后, 通过一个实例进一步说明了所给模型的应用.     

包含错误恢复的软件可靠性仿真研究

基于结构的软件可靠性分析模型虽然能够在构件可靠性、系统结构、系统可靠性三者之间建立联系并分析,但由于其模型中大多使用可靠性常量来刻画构件可靠性,忽略了实际软件开发过程中错误恢复对系统可靠性的影响.为此,利用离散事件仿真手段对构件失效行为、系统失效行为和错误恢复进行仿真,给出一种包含错误恢复的软件可靠性仿真分析方法,该方法在软件测试阶段能够反映构件可靠性增长对于系统可靠性的影响,同时具有软件可靠性增长模型和基于结构的软件可靠性分析模型的优点.通过对两个软件系统的可靠性仿真分析验证了该方法的有效性.     

面向本体的SOA构件定位机制与算法研究

针对基于构件开发的构件间相互通信。互操作和检索组装自动化等问题,以及基于Internet软构(网构软件)的大量的问题都需要解决,首先分析OWL-S和WSMO的异同以及SOA构件库构成条件;接着提出基于本体的SOA构件库定位机制,其构造一种最小二乘法最优估计的自动验证的指标体系、构件服务质量,以及构件反馈机制。建立一种定位的SOA构件库寻址和刻面分类的定位构件树模型,在此基础上,采用小生境蚁群退火遗传算法求解定位的构件树,从而最大限度实现构件自动化组装,以及实现构件的关注点分离和层次粒度的重用,最后通过实验仿真分析了定位算法的有效性。     

一种面向构件的C4ISR技术体系结构建模方法

为了提升作战能力、满足作战功能和技术快速变化及联合互操作等需求,C4ISR系统中引入了开放式体系结构,并将体系结构分为功能体系结构和技术体系结构。提出了一种面向构件的C4ISR系统技术体系结构建模方法。首先给出技术体系结构的DSFC（数据、系统、功能、构件）模型,并重点对构件及DSFC之间的关系进行说明。在此基础上,研究了基于DoDAF的技术体系结构多视图描述方法,最后结合实例对方法进行说明。     

基于UML 和Petri 网的武器装备体系需求分析方法

将武器装备体系分为逻辑体系结构和物理体系结构,给出对体系进行需求分析的过程.探讨了利用UML对武器装备体系进行需求描述的方法和步骤,以海洋监视与打击体系为例,利用UML中的协作图和活动图从顶层分别描述了体系的物理体系结构和逻辑体系结构.建立了利用UML构建的体系静态结构模型到利用着色随机Petri网构建的动态运行模型之间的映射关系.针对实例建立了相应的评估模型,利用可达树分析法初步分析了体系的一些逻辑性能.在构建体系结构模型和评估模型的过程中,各模型间既有延续性,又从不同角度反映了体系结构的不同方面,既可保证需求描述和分析模型的一致性,又可比较全面地分析装备体系结构.     

基于Extend与HLA的装备保障仿真集成研究

分析了Extend应用于装备保障仿真的不足,在讨论基于HLA的装备保障仿真系统的基础上,提出了Extend与HLA/RTI的四种仿真集成方式,依据Extend模型是否需要与HLA/RTI进行时间同步分别给出了集成方法,设计了基于适配器的Extend与HLA集成框架,详细说明了适配器的组成功能及工作流程,最后利用一个装备保障仿真系统应用实例证明了仿真集成的思路是可行的和必要的。

Abstract：

Because of the shortages of Extend software applied to equipment support simulation,four integration types between Extend and HLA were proposed about the building of equipment support simulation system based on HLA.According to whether Extend simulation model was synchronous to HLA/RTI on the mechanism of advance simulation time,the methods were respectively put forward to support these types,and an integration architecture between Extend and HLA was designed based on a general adaptor.The components and functions of this adaptor,and its running mechanism were detailedly analyzed later.Finally,an application of a simulation system proves that the idea to integrate the two platforms is feasible.     

基于功能和联接的装备体系结构

体系结构是装备体系开发的前提。针对装备体系特点,借鉴美国国防部体系架构框架(department of defense architecture framework, DoDAF)建立了一个基于功能和联接的装备体系结构框架,并且在此框架下提出了基于功能和联接的装备体系结构建模方法。该方法通过分析装备体实体及其关系,给出了一种装备体系结构不同视图产品的开发流程。最后,以航母体系的典型任务为例进行了实例分析,验证了框架和方法的可行性。     

印刷机分布式虚拟样机系统及实现策略研究

提出了一种分布式虚拟样机设计系统结构,分析了印刷机复杂产品的设计流程,详细介绍了该系统的功能模块和系统特点.给出了印刷机虚拟样机系统实现策略,以印刷机递纸机构的设计为例作了说明.     

信息系统体系结构的总体框架

探讨了信息系统体系结构（ＩｎｆｏｒｍａｔｉｏｎＳｙｓｔｅｍＡｒｃｈｉｔｅｃｔｕｒｅ,ＩＳＡ）的研究背景和开发实践情况,针对Ａｒｃｈｉｔｅｃｔｕｒｅ一词的词义、一般组成和实现Ａｒｃｈｉｔｅｃｔｕｒｅ必须考虑的因素,对ＩＳＡ的概念进行界定,确定ＩＳＡ的一般原理,并就ＩＳＡ的总体框架进行研究     

基于信息技术的农业旅游服务能力提升研究

信息技术在旅游业的应用主要是互联网技术,并表现出有效的促进作用,农业旅游作为新兴的旅游形式,有着巨大的发展潜力。在分析我国农业旅游的特点以及信息技术应用现状的基础上,提出了基于信息技术的农业旅游服务能力提升设计方案。从农业旅游景点的布局设计和线路规划、景点的推广宣传手段、管理经营方式方面,详细分析了运用信息技术的应用效果、具体技术手段,甚至详细的设计方案,旨在为我国农业旅游发展从信息技术角度提供指导意见。     

武器装备体系结构描述方法研究

分析了现代战场环境下武器装备体系结构的特点,提出了一种新的武器装备体系结构描述方法.该方法从总体描述、基于定义和面向应用三个方面对武器装备体系结构进行描述,以多视图产品的形式.描述武器装备体系的应用背景、组成元素、层次结构、通信关系以及对作战能力需求的满足程度等内容.以实现海上目标远程精确打击能力的武器装备体系为例,应用该方法进行体系结构描述并给出部分描述产品示例,结果表明,用该方法对武器装备体系结构进行描述是可行的.     

分布式卫星SAR柔性仿真系统设计与实现

构建分布式卫星合成孔径雷达(synthetic aperture radar, SAR)仿真系统对于分布式卫星SAR系统设计、测试与验证、减少系统研制费用、降低决策风险,以及系统的在轨运行管理,都具有重要的意义。围绕分布式卫星SAR仿真系统设计需求,提出了分布式卫星SAR系统柔性仿真框架模型,并讨论了设计和实现过程中的关键技术。该系统的实现和应用验证了框架和技术路线的可行性,为未来进一步完善和广泛应用奠定了基础。     

基于SoSE的装备体系RMS论证方法研究

装备体系可靠性、维修性、保障性(reliability-maintainability-supportability,RMS)是装备体系作战效能发挥的基础。体系工程中需求开发过程从能力要求分析开始,然后进行体系结构建模并基于体系结构给出需求方案。装备体系RMS论证即是对装备体系RMS能力要求进行分析并提出RMS指标,也遵循这一过程。首先,基于SoSE需求开发过程和装备体系特点给出装备体系RMS论证框架。接着,基于质量功能展开方法给出装备体系RMS能力要求分析过程,从装备体系使命任务出发,建立装备体系RMS能力要求映射模型,并提出相应的RMS能力指标求解方法。然后,基于面向RMS的装备体系结构框架,将RMS能力分析得出的初步RMS能力指标作为输入,基于多智能体仿真技术提出美国国防部体系架构驱动的装备体系RMS仿真框架,从而通过仿真权衡论证出最终的装备体系RMS指标。最后,对典型使命任务下的航母装备体系舰载机保障过程进行了案例分析。     

基于Petri网的航天装备体系作战效能评估方法

针对航天装备体系的特点，将航天装备体系分为逻辑体系结构和物理体系结构，利用着色随机Petri网建立功能模型，描述逻辑体系结构，利用排队论及航天装备性能模型建立物理模型，描述物理体系结构，二者通过信息交互构成完整的体系。以打击海上移动目标为例，将功能模型、物理模型和作战效能模型结合起来建立了航天装备体系作战效能模型。仿真结果表明所建立的模型能够合理反映航天装备体系对作战结果的影响，可以用于分析航天装备体系结构与配置。