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

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

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

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

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

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

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

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

基于三角形折叠的多细节层次模型

提出了一种新的三角形折叠误差计算方法,针对网格简化程度的不同引入阈值控制折叠误差,生成满足不同需要三雏模型的多个细节层次;提出通过建立不同细节层次模型间顶点的对应关系,在对应点之间进行线性插值,以此实现了绘制过程中不同细节层次模型问的平滑过渡.     

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

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

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

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

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

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

基于MATLAB的新型拦截射网三维外弹道仿真分析

提出了一种基于新型拦截射网的超近程主动防御技术.为论证该拦截射网的拦截效能,在已有二维弹道的研究基础上,开展三维外弹道仿真分析.明确不同初始发射参数对拦截射网空中展开成型的影响,将拦截射网简化为8枚牵引弹,对应为8个质点展开分析,建立三维状态下的质心运动方程,利用MATLAB编程进行弹道轨迹仿真,发现在不同特征参数下,...     

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

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