基于随机Petri网的装备抢救抢修保障模型

通过建立一个基本的装备抢救抢修Petri网模型,把Petri网建模思想引入战时装备抢救抢修保障模型中,将实际系统中的实体和活动映射为模型系统中的库所和变迁,将装备抢救抢修保障排队论模型用随机Petri网进行描述。构建了一个完整的装甲团装备抢救抢修随机Petri网模型,利用软件包SPNP6.0对其进行模拟运行,通过对模型仿真数据的分析为装备保障的方案制定提供决策依据。     

中国政法大学梁淑英教授来院作报告

6月5日，学院举行公安信息网和教育科研网接入宽带扩容开通仪式。公安部科技信息化局局长谢毅平，中国教育科研网专家委员会主任、清华大学教授吴建平，学院院长杨隽一同触摸点亮剪彩启动球。仪式由副政委赵大斌主持。训练部部长马金旗、科研部部长董希琳，公安部科技信息化局通信保障总站、北京市公安局信息通信处及廊坊市公安局、赛尔网络有限公司等领导出席仪式。     

移动通信卫星成为救灾应急通信的利器

卫星移动通信覆盖范围大，对地面设施依赖小．可在非常偏远或者基础设施遭受严重破坏的地区进行可靠的通信联系．因此尤其适用于反恐怖等危机管理和自然灾害救援中的应急通信。此次汶川大地震造成光缆线路、电力线路中断．受灾地区5400多座移动基站损毁，使四川、甘肃、灾区常规通信全部中断。而且由于道路。电力等基础设施严重受损．通信设施的抢修也遇到了巨大困难。此时．移动卫星通信成为抗震救灾应急通信的主要手段．     

美军测试主动拒止系统

为满足驻韩美军对指挥、控制、通信、计算机与情报（C^4Ⅰ）信息传送的需求，确保美在整个韩国战区的网络中心优势，美军正通过“韩国光纤干线替换”（KOBR）、“韩国光纤传输网”（KOTNet）和“数字微波升级”（DMU）三大项目对其在朝鲜半岛的信息传输系统进行改造与升级，以淘汰传统过时的广域传输系统，架构先进的、高质量、高抗毁、高冗余的网状通信基础设施。整个升级与改进计划于2012年完成。具体情况如下：     

物元Petri网建模方法及其应用

传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。     

RSVP协议在军综网视频监控系统中的应用

为了改进基于军综网的视频监控系统信号传输质量,提出了在视频流链路节点上配置资源预留协议(RSVP),为视频流传输预留专用带宽的方法,保障视频信号的有效传输。通过实例介绍了RSVP的部署方法以及部署后的运行情况,分析论证了在视频流通过的相关节点配置RSVP协议是可行的,该方法能够改善视频流的传输质量。     

利用对象Petri网验证场景

序列图表示的场景常被用于系统开发早期的需求获取与描述,但因其弱语义性而难以被验证.将序列图表示的场景转换为语义精细的对象Petri网模型OPDL,并通过其仿真环境OPMSE对其进行仿真,将场景描述的系统行为"展示"给需求开发者和用户,以此进行行为需求的验证.     

坚持富国和强军相统一 努力开创国防动员建设新局面

党的十七大明确指出: "必须站在国家安全和发展战略全局的高度,统筹经济建设和国防建设,在全面建设小康社会进程中实现富国和强军的统一."这一战略思想,抓住了国防和军队建设带全局性、根本性的重大问题,为进一步加强国防动员建设指明了方向.各级党委、政府和军事机关一定要强化政治意识、大局意识和责任意识,开拓进取,奋发有为,努力推进国防动员建设创新发展.     

空间飞网发射动力学建模仿真研究与地面试验

空间飞网是近来提出的一个创新的空间系统概念,在空间碎片处理和在轨服务方面具有独特的应用潜力.针对飞网系统的发射过程,利用建模仿真和地面试验两种手段进行了研究,建立了飞网发射的集中质量模型,设计了基于燃气助推质量块的飞网发射地面试验装置,开展了多次飞网发射试验.地面试验结果与模型仿真结果基本吻合,说明所建立的动力学模型可用于空间飞网系统设计.     

考虑多类资源的多任务并行维修过程Petri网建模

针对基本Petri网在建立多种任务共享多类资源情况下的复杂并行维修过程时存在的结构复杂化问题,应用网抽象原理,由简入繁,将库所变迁网模型逐步转化为常量弧有色网和有色网模型,由单类任务/单类资源、单类任务/多类资源模型逐步建立了考虑多类资源的多任务并行维修过程模型。采用Petri网仿真分析工具ExSpect对有色网模型进行了实例研究。结果表明：模型具有通用性,便于仿真实现。