舰船通信传输综合一体化的发展

二次世界大战之后,军事科学技术有了长足的进展。就海军而言,随着远程导弹、寻的鱼雷和超音速飞机的出现,海上威慑力量明显增强。从防御方面,面对这种威胁,先进的电子战系统、雷达、声纳和专用计算机系统等相继应运而生,大大提高了舰船的快速反应能力。但是,随着这些系统和设备的增多,电子设备操作人员相应增加,实时信号的传输业务明显增加,为综合提高舰船对敌作战和自我保护的快速反应能力,就需要有一套敏捷的神经网络,把舰船上的指战员和相应设备连成一个有机整体,因而就需要舰船通信传输综合一体化,即用户功能综合化,设备接口标准化,控制处理智能化,通信传输母线化。本文详细介绍和分析了国外先进国家海军舰船通信和数据传输综合一体化技术的发展和演变,而后介绍我国在这方面的进展。     

C~3I系统的决策时延分析

决策是C~3I 系统的核心问题之一。用Petri 网理论研究C~3I 系统的决策问题已取得了长足的进展。根据决策过程各阶段之所需时间具有随机性及不独立性的特点,以变迁发射时间不独立的随机Petri 网作为决策时延的建模与分析工具,并给出了这种随机Petri 网模型的一般分析方法。     

小河区征兵宣传“求早、求真、求新、求实”

贵阳市小河区人武部针对近年来适龄青年外出务工、经商逐年上升,呈现出大流量、多流向的特点,使征兵工作出现情况难掌握、人员难召回、质量难保证等问题,采取求早、求真、求新、求实扎实抓好征兵宣传工作:一是在宣传时间上求早。9月份,制定各种宣传资料,多次召开征兵宣传协调会并下发了《关于做好今冬征兵宣传工作的通知》,要求各办事处早着手、早落实今冬征兵宣传工作,还组织了征兵工作宣传车巡回宣传;二是在宣传内容上求真。在全区范围内大张旗鼓地宣传《征兵工作条例》、《兵役法》、《国防法》、《国防教育法》,组织适龄青年学习十七大精神、增强爱国奉献意识,大力宣传现役、退役军人在部队、地方建功立业的先进事迹,提高了适龄青年报名参军的热情;三是在宣传手段上求新。通过各级会议宣传、新闻媒体宣传、各级干部宣传、群团组织宣传、书信电话宣传等多种形式形成一张强大的宣传网;四是在宣传保障上     

基于分布式排队网络的防空战术协同模型

分析了多个防空火力单元的作战过程,将战术BM/C3的控制协调决策抽象为决策策略。建立了多个火力单元协同作战的排队网络模型,并运用SPN理论对排队网络的运行机制进行了强有力的描述,有效地体现了防空作战过程中的威胁评估、目标分配等战术决策过程。这将为建立大型复杂排队网络,模拟仿真战役层面防空作战过程奠定基础。     

基于Petri网的近程防空武器射击建模

提出一种扩展时延Petri网,新提出的Petri网与以往高级时延Petri网的不同之处在于它允许个体的个性与共性同样得到考虑。这种方法被用来对装备多跟踪装置、多种对空武器的防空系统对多目标进行射击过程进行建模、分析、模型的正确性在文章最后的仿真中得到了验证。     

GSPN的分析方法及其应用

随着计算机和信息技术的发展,广义随机Petri网(G SPN)作为一种图形化的建模工具,不仅可以对系统进行形式化的描述和快速原型开发,而且由于其具有坚实的数学理论基础,可以对系统进行正确性验证和性能评价,因此在系统的设计过程中,得到了广泛的应用。基于结构分析方法、可达图分析和数值分析方法讨论分析了G SPN,并给出了具体的算例,最后讨论了G SPN的应用领域。     

一种基于本体的功能建模表示方法

通过分析典型的功能模型并提取具有共性的公共概念和关系,结合本体建模技术,提出了一种基于本体的功能建模方法,以解决异种功能建模框架之间知识交换与协同设计问题.该方法将功能建模过程自顶向下分解成功能、行为、流与结构4个本体类,定义分析了相关属性,并建立了概念映射关系模型,有利于构造领域功能设计本体库.最后,利用该方法构建了离心通风机的功能建模本体库.     

用例捕获需求的方法研究

用例已普遍用于捕获软件系统的需求，但由于用例的误用而导致捕获错误的需求也是不争的事实。针对用例的局限及其常见使用错误，提出明确系统边界、遵循建模步骤、使用有效用例文档及确定用例粒度等正确使用用例获取用户需求的方法和手段，并以具体实例，论证了上述方法的有效性和实用性。     

中间产品C~4ISR体系结构动态行为语义一致性验证方法

目前对于C4ISR体系结构动态行为一致性设计还没有有效的验证方法.针对C4ISR体系结构动态行为的语义一致性.首先分析了其验证的内容和规则,然后以体系结构动态行为描述关键产品为基础,构建一个中间产品,再将其转换为可执行的对象Petri网模型,利用该对象Petri网模型进行动态行为语义一致性验证,最后通过一个案例对其进行了说明.     

加权模糊Petri网的推理算法研究

将加权模糊Petri网与矩阵运算相结合，提出了一种推理算法，实现知识的推理运用。该算法利用了加权模糊Petri网的并行处理能力，将复杂的推理过程采用矩阵运算实现，充分考虑了多种约束条件，具有简单、高效、易于实现等优点，适合大型复杂加权模糊Petri网的推理计算。最后以实例对算法进行了验证。