CPN仿真的C4ISR体系结构验证评估

在分析基于CPN (Colored Petri Net)仿真的体系结构验证评估过程的基础上,对体系结构产品到可执行模型的转换方法进行了探讨,并结合实例利用具体信息系统对其体系结构进行了逻辑验证、行为和效能评估.     

C3I系统中基于Petri网的可靠性仿真建模

C3I系统是一个复杂的可修系统,采用通常的解析法和马尔科夫过程法难以求出C3I所需的可靠性参数.故障树能够很好的对复杂系统的故障发生进行定性的分析,而随机Petri网(SPN)能够描述复杂系统状态变化的动态过程,并且能够按照概率进行定量的计算.因此提出将故障树转换为随机Petri网,建立C3I系统的可靠性仿真模型,就可以对C3I系统的可靠性进行定量与定性相结合的仿真.最后建立了一个简单的防空C3I系统可靠性的随机Petri网模型,用Monte-Carlo法仿真验证了该方法的正确性.     

C3I系统仿真模型自动生成方法

根据活动模型在C3I系统中应用的广泛性、仿真模型生成的困难性,以及二者之间的相似性,提出一种间接生成Petri网仿真模型的方法,即首先建立活动模型,然后在此基础上生成可执行Petri网模型,从而简化仿真模型的建立过程.还简要介绍二者之间的转换规则,并给出应用实例.     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

基于UML和IDEF的装备保障C3I系统体系结构建模研究

UML和IDEF模型对复杂系统体系结构的分析具有重要价值.根据装备保障C3I系统的特点,对其体系结构进行了深入研究,通过建立系统功能模型、IDEF1X对象静态模型以及UML动态交互模型,从不同侧面较完整地描述了装备保障C3I系统体系结构框架,并提出了相应的物理实现模型,对复杂系统的建模具有一定的理论和实际意义.     

C~4ISR系统开发的仿真支持过程分析与建模

C4ISR(Command、Control、Communication、Computer、Intelligence、Surveillance and Reconnaissance)系统开发的仿真活动贯穿于系统全生命周期的各个阶段,仿真支持过程联系着C4ISR系统开发仿真的各类要素。首先对C4ISR系统开发仿真支持的内容进行分析,从生命周期维、仿真产品维和仿真任务维三个维度描述仿真支持内容之间的联系。然后分析了C4ISR系统开发仿真支持过程的层次性,应用UML描述了支持过程中的仿真项目模型和仿真过程模型。在此基础上,应用基于Petri网的工作流网,对C4ISR系统开发的仿真支持过程进行建模,分析了支持过程中活动、产品、角色、约束四类要素的Petri网表示方式。最后在一个C4ISR系统开发仿真支持实例中应用以上分析和建模方法,验证了方法的可行性和应用效果。     

用于机动式C3I系统的综合光电对抗系统研究

为了提高机动式C3I系统在现代化战争中的综合防护能力,应为系统增加光电对抗手段.设计了一种可用于机动式C3I系统的综合光电对抗系统,包括对光电告警设备的选择、数据融合、实施干扰的决策、效果评估,以及光电对抗干扰等具体技术实施.该系统的技术设计是对单体光电对抗设备的融合,可达到有效保护机动式C3I系统的目的.     

DoDAF视图下的反导作战军事概念建模与仿真系统设计

反导作战概念模型是保证不同地空导弹武器系统之间指控系统可集成、可互操作性、高效一体化的关键。首先,针对传统建模语言在模型可执行验证方面的不足,在DoDAF视图框架下,提出一种基于统一建模语言（UML）的反导作战军事概念建模方法;其次,结合军事概念模型给出反导作战仿真系统设计的方法。规范建模框架并选择可执行性强的UML语言建立军事概念模型,对反导作战研究及指控系统开发具有一定参考价值。     

C4ISR系统需求一致性开发方法研究*

为支持军队信息化建设需求论证的研究工作,对C4ISR系统需求的开发方法进行了研究。将C4ISR系统的需求划分为作战需求、用户需求和系统需求三个层次;UML作为面向对象建模语言已广泛应用于C4ISR系统需求描述,结合C4ISR系统体系结构的开发方法以及体系结构产品与UML模型之间的映射关系,提出了C4ISR系统需求的分析开发过程和基于UML模型需求描述方法,并且为保证需求模型的一致性,提出了C4ISR系统需求开发的一致性策略。     

C~3I仿真系统的设计原则与方法

本文以一个正在设计开发的C3I作战效能仿真演示系统为背景 ,概括了C3I仿真系统的设计原则 ,提出从仿真环境设计和仿真系统设计两个方面进行C3I仿真系统的开发。在此基础上 ,本文提出了一种基于Petri网的面向对象模型描述语言OPDL ,设计了支持OPDL语言建模、执行、演示的仿真环境 ,并给出了C3I作战效能仿真演示系统的总体结构。     

油罐火灾泡沫灭火剂用量实战系数研究

通过统计我国典型油罐火灾案例,计算出实际火场的泡沫灭火剂实战系数,提出了油罐火灾泡沫灭火剂实际用量的3个影响因素:泡沫飞散罐外因素、着火油罐内部影响因素、气候影响因素。采用层次分析法建立了泡沫灭火剂用量评价数学模型,再将数学模型计算得到的结果与统计得到的实战系数进行对比,分析误差,有助于消防部队在火灾现场更加科学、合理地调用泡沫灭火剂。     

谈MIS系统的体系结构

体系结构是计算机系统及其组件的物理构造或设计方案 ,文章探讨了 3种典型的体系结构在MIS系统中的应用。     

拖曳声纳鱼雷的航行动力学模型等价性研究

给出了拖曳声纳鱼雷的动力学仿真与控制算法,采用计算效率较高的离散和递推的方法,算法以f1=fn=0为边界条件进行校核,当该条件满足时,就得到了系统的真实运动.加速度修正方法及搜索方向由优化方法给出,在此动力学模型的基础上,也可以获得封闭的解析式方程,只不过系统方程随n的增加会相当复杂.同时给出了基于Gauss原理的方法,并证明了它们之间的等价性.     

从言语的语言学看翻译的多相面对等

本文从言语的语言学出发寻求和翻译的对等面。翻译是一种跨文化的信息交流与交往传播的活动,研究的是使用中的语言即言语,言语的语言学以言语为研究对象,因此言语的语言学应作为翻译的语言学基础。基于上述理论,本文从言语的语言学的语义、语用和文化三方面寻求和翻译的静态、动态和文化对等,使翻译活动更具实践意义。     

TETRA直通模式移动台协议仿真

作为 TETRA 通信的一种方式,TETRA DMO 使得 TETRA 移动台在没有设置基站以及基站覆盖范围之外的地区、系统出现故障或过载以至难以快速接人时可以不经过网络基础设施直接进行相互的通信,从而降低了移动台通信对基站的依赖性,扩展了移动台通信的地理范围。文中首先依照协议对直通模式移动台通信方式和呼叫接续过程进行了介绍,并描述了利用工具 SDL and TTCN suite 4.5对其中的电路模式呼叫流程编程、仿真的过程,最后对仿真的结果进行了简要说明。     

光纤弯曲损耗的研究

利用光线理论研究光纤弯曲损耗与弯曲半径、纤芯折射中以及包层折射率的关系。     

军用物联网研究综述

物联网是近两年的研究热点,当前,军用物联网的发展尚处于起步阶段。提出了军用物联网的概念,研究了军用物联网关键技术,阐述了军用物联网在作战训练、后勤保障、武器装备等领域的应用,展望了军用物联网研究工作中将遇到的挑战及应对方法,为军用物联网的技术研制、公共支撑环境和应用示范服务提供借鉴。     

卫星对水面航渡阶段潜艇的探测概率分析

利用遥感手段实施对潜探测已对潜艇保持隐蔽性构成了严重威胁。基于对各种类型相关卫星的参数和探测能力的分析,计算出在不同气象条件下、不同出航时间时卫星对远航潜艇的水面航渡阶段的的探测概率。这对分析潜艇远航暴露的原因、制定合理的远航计划都具有一定的参考价值。     

COFF 文件装载机制的研究

结合通用的ＣＯＦＦ目标文件格式,研究了系统加速板执行文件的加载及运行控制机制,阐述了加载ＣＯＦＦ文件的思路和实现方法。文中还设计了能有效提高系统效率的文件预装载机制,讨论了这一机制的原理和具体实现。     

公安高校教学质量监控体系的构建

公安高校教学质量监控体系的构建,必须坚持科学的思路和原则,构建监控目标系统、监控组织系统、监控内容系统、监控方法系统、监控制度系统和监控信息系统,并保证整个体系的良性运行。