C4ISR系统可靠性评价方法与技术研究

分析了国内外C^4ISR系统可靠性研究现状以及可靠性评价的研究方向，初步建立了评价的指标体系，并对相关方法与技术进行了归纳总结。针对评价不同的指标可能采用不同的方法与技术组合的现实，进行了基于逻辑框图的C^2分系统任务可靠度评价研究，然后引入时延这一反映C^4ISR系统可靠性的性能指标，并通过建立对象Petri网模型对时延的定量评价进行了研究。评价实例初步体现了方法的可行性。     

基于OPN的C^4ISR系统的子网划分及建模过程

如何实现模块化可继承的建模,一直是C^4ISR系统的建模及分析的难点之一.基于时间对象Petri网的建模,层次分明可视界面较强,各对象间层次关系明确,是实现C4ISR系统建模工作的基础.本文提出一种基于OTPN的C^4ISR系统的子网划分规则,该规则的特点是以C^4ISR系统的实际情况出发,对C^4ISR系统的实际建模有较强的参考价值.     

基于信息熵的美军C4ISR系统效能评估

随着美军信息化水平的不断提高,C^4ISR系统“战斗力倍增器”的作用更加突出,对美军C^4ISR系统的效能进行评估并分析其对作战效能的影响,具有重要的理论和现实意义。对影响C^4ISR系统效能的相关因素进行了分析,利用香农信息熵和图论的方法,建立了C^4ISR系统效能评估方法,研究了信息、网络、作战流程等因素对作战效能的影响,并建立了数学模型;以美军航母战斗群空袭作战为例,比较了“平台中心战”和“网络中心战”两种作战方式中C^4ISR系统的效能。     

"网络中心战"中美国海军C4ISR系统效能评估

随着美国海军“网络中心战”从设想开始走向现实．对其C^4ISR系统的效能进行评估并分析其对作战效能的影响具有重要意义。通过分析影响C^4ISR系统效能的因素．利用图论、信息论和复杂性理论．提出了C^4ISR系统效能评估方法,研究了信息、网络、作战流程等因素对作战效能的影响,并建立了数学模型,比较了“平台中心战”和“网络中心战”中C^4ISR系统的效能。     

C^4 ISR系统效能层次化评估方法研究

分析了C^4ISR系统效能层次化评估方法,以分系统各性能指标作战要求符合度的主客观加权和计算分系统的作战要求符合度,运用信息熵描述作战要求符合程度的不确定性实施各分系统性能评估;分系统性能评估结果作为输入,以C^4ISR系统完成作战任务的成功率度量C^4ISR系统效能,构造外界因素影响因子矩阵度量外界因素对各分系统信息熵的影响,以及各因素对C^4ISR系统整体信息熵影响的权值,结合C^4ISR系统信息流串、并联关系聚合各分系统信息熵,实施C^4ISR系统效能评估。并基于定性分析构建了C^4ISR系统对武器系统效能提升作用的定量函数。最后用实例验证该方法有效性。     

谓词Petri网在防空C3I专家决策系统中的应用

军事专家系统是防空C^3I辅助决策系统中的重要组成部份,它利用人类专家的知识和解决问题的方法来解决该领域的问题,其实质是一个复杂的逻辑推理过程。如何描述其推理过程是设计专家系统首先必须解决的一个问题。因此,本文提出采用Petri网工具来描述防空C^3I军事专家决策系统的推理过程,大大地提高了决策的准确性,这也为描述专家系统提供了一种图示表示工具,可大大地提高系统的研发过程。     

基于多Agent的C4ISR系统建模与仿真方法研究

分析了C^4ISR系统的复杂性,提出用CAS理论的基于Agent的建模仿真方法对C^4ISR系统进行研究．探讨了C^4ISR系统中各分系统仿真的特点,指出战场环境仿真是C^4ISR系统仿真的关键．针对多Agent仿真环境的功能需求,采用HLA／RTI作为多Agent仿真环境的支撑环境．在此基础上给出了多Agent仿真环境的体系结构和仿真流程;并设计了各仿真Agent的结构．最后分析了基于多Agent仿真的优点．     

信息隐藏技术在C4ISR系统中的应用

信息隐藏技术作为信息安全领域的一项新兴技术,在C^4ISR系统中有着广阔的应用前景。介绍了信息隐藏技术的原理、组成及特点,归纳了综合电子信息系统可采用的主要信息隐藏算法,分析了在C^4ISR系统中应注意的安全问题,最后提出了信息隐藏技术在C^4ISR系统中的具体应用。     

计算机病毒与信息安全

文中简要阐述了C^4ISR系统的作用与地位；详细论述了计算机病毒对C^4ISR系统的危害；重点介绍保证信息安全的措施与技术。     

C^4ISR系统网络安全建设

网络战是信息战中一种重要的作战方式，而C^4ISR系统的网络安全问题也是网络攻防中各方所关注的重点。本文通过对现行C^4ISR系统可能受到的网络攻击的分析，提出解决的方法，并对系统网络安全反攻击问题的研究进行了简要的介绍。     

C4ISR系统的建模方法与仿真环境研究

针对C^4ISR这类复杂大系统，主要对两个问题进行了探讨：一个是建模方法的研究，在分析比较几种常用方法的基础上提出了拓展UML—OPN方法，并作了简单的描述；另一个是对基于HLA的C^4ISR仿真系统环境的研究，阐述了其功能需求和仿真环境的设计要点。     

一种基于资源约束的工作流建模及分析方法

资源约束是工作流正确实施的一个瓶颈问题,因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此,基于Petri网和工作流建模方法,提出了一种资源约束的工作流系统的形式化建模和分析技术,定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念,建立了资源调用视图以及Petri网影射模型,得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中,解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难,为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.     

Analysis of Wafer Sojourn Time in Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation

When scheduling cluster tools under wafer residency time constraints, wafer sojourn time in a processing module should be carefully controlled such that it is in a permissive range. Activity time variation often results in wafer sojourn time fluctuation and makes an originally feasible schedule infeasible. Thus, it is very important to know how the wafer sojourn time changes when activity time varies. With bounded activity time variation considered, this paper conducts a detailed analysis of wafer sojourn time variation in dual-arm cluster tools. To do so, a Petri net (PN) model and a real-time control policy are presented. Based on the PN model, real-time operational architecture, and real-time control policy, this paper analyzes the effect of activity time variation on wafer sojourn time delay at a process module and presents its upper bounds. The upper bounds are given in an analytical form and can be easily evaluated. With the wafer sojourn time analysis, it is possible to develop an effective method for schedulability analysis and optimal steady-state scheduling. An example is used to show the applications of the proposed approach.      

基于Petri网的工作流过程建模和时间性能分析

介绍了基于Petri网的工作流建模技术,并针对一个复杂的企业生产经营活动的流程构建了一个简化灵活的模型,利用随机Petri网的性能分析方法对建立的模型进行了时间性能分析。结果表明,文中的性能分析方法可对复杂的模型进行有效地简化分析。     

建立C3I面向对象体系结构综合可执行模型

美国国防部已颁布了C^4ISR（Command,Control,Communications,Computers,Intelligence,Surveillance,and Reconnaissance）体系结构,以满足建立军队联合作战系统的需求。面向对象分析是构筑C^3I（Command,Control,Communications,Computers,Intelligence）系统体系结构的基本方法,对基于UML（Unified Modeling Language）面向对象体系结构的开发方法作了一般性的描述,它包括三个阶段：分析、综合和评价。指出了用UML产品在描述美国防部CAISR体系结构方面的一些限制,提出了从UML产品映射到可用于逻辑的、行为的和性能方面体系结构的评价的CPN（Colored Petri Nets）模型的方法,并详细阐述了此转换过程。最后应用实例表明了该方法的可行性和实用性。     

基于微分Petri网的业务流程模块适配方法

为适应业务流程多功能及动态变化的需求，用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri网为基础，提出了微分控制Petri网和微分数据Petri网的概念，分别从语义学角度利用微分Petri网的演化表达式对模型的控制流网与数据流网进行活性检测，利用微分Petri网对替换模块及其离散部分与连续部分进行结构稳定性分析，以达到业务流程模块适配分析.理论分析结果表明，所建立的微分表达式能够反映模型活性与稳定性，模块适配效果较好.最后基于平台数据进行仿真分析，实验结果表明本文所提的方法有一定的可行性.