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

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

处理好五个关系 推进政工网络建设创新发展

近日,军委首长在检查指导全军政工网建设时强调：“要把充分发挥军营网络作用,作为新形势下推动军队思想政治工作创新发展的增长点,以很强的责任感,把军营网络这块阵地建设好、利用好、管理好。”当前,如何进一步推进政工网建设上层次上水平,是摆在各级面前的一项迫切任务。     

当前部队政工网建设使用情况的调查

近期,我们围绕政工网建设使用情况在部队进行了专题调查。总的感到,各级对政工网建设高度重视、抓得主动,做了大量扎实有效的工作,在硬件建设、功能开发、管理使用等方面取得了明显成效,为部队开展政治工作发挥了积极作用。但同时发现政工网在运行中仍存在着一些矛盾和问题,影响了政工网建设的效用,需要引起各级高度重视,认真加以解决。     

基于随机Petri网的火控系统可用性分析

为了定量分析火控系统测试性改进设计后,增加的测试模块对系统可用性的影响,本文运用动态故障树方法对系统可用性进行了分析判别,并运用随机Petri网建立了故障树的仿真模型,通过仿真实验得出了系统增加测试模块前后的故障率和可用度指标的动态变化曲线。结果表明,测试模块的介入使得系统可用性提高,所进行的测试性改进设计是成功的。     

基于MINE-FNA组合算法的防空体系指标网构建方法?

防空作战体系的武器装备组成结构和对抗信息交互具有网络化特征,其作战效能是通过对抗过程中各组分系统间复杂的网络化交互涌现出来的,因此描述体系作战效能的指标也应由各组分系统效能指标相互关联涌现出来,而传统防空体系指标选取方法无法准确描述防空体系内部复杂的关联关系和揭示体系能力的复杂涌现生成机理。因此将无参数探索最大交互信息算法（ MINE）和网络统计算法（ FNA）组合构建了MINE?FNA组合算法模型,对基于武器装备体系仿真试验床的防空体系仿真的全样本实验数据进行深度挖掘,构建了“底层基础指标→均一化指标→体系级指标”的三层防空体系指标网,为研究防空体系内部复杂关联关系和分析防空体系能力的生成机理提供了有效手段。     

一种基于Multi-Agent协作的战场传感器网络数据融合架构

本文着眼于战场传感器网络数据融合问题,分析了数据融合的难点与需求,提出了基于多主体协作的Sentinel-Agent数据融合架构和融合校验模型,并对移动Agent任务规划进行了详细研究。     

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

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

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

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

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

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