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

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

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

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

基于分阶段筛选评估的合同网任务分配机制

基于合同网的任务分配机制广泛应用于各领域的多Agent系统中,以解决分布式任务分配问题。在分析经典合同网协议优缺点的基础上,提出了分阶段筛选与招投标协商相结合的任务分配模型。通过招投标的可计算性评估,将主要计算任务放在招投标Agent内部进行并且缩小招投标范围,从而减少通信并提高效率;通过动态确定评估指标提高了机制的通用性。     

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

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

防空火控网数据传输精度分析与测量

巡航导弹在战争中的大量使用已经改变了现代战争的作战模式,如何有效发现和捕获低空飞行目标成了传统防空火控系统面临的一大难题,防空火控系统组网作战是未来防空武器装备发展的必然趋势.分析了防空火控网中影响数据传输精度的各种原因,针对防空火控网中空情数据传输精度的测量,给出了同步测量和异步测量两种方法.     

利用对象Petri网验证场景

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

基于Petri网的指挥控制系统仿真

指挥控制系统是一个具有分布、并发、异步等特性的复杂系统,Petri网是描述具有此类特征系统的有效工具.提出了基于Petri网的指挥控制系统仿真平台的具体设计方案.介绍了仿真平台的实现方法和程序的设计思路,实现了对普通Petri网、X1系统的建模,进行了功能和结构上的分析,并对分析结果的现实意义作了进一步的讨论.     

基于反射内存网的多飞行模拟器时间同步

飞行模拟器是一个复杂的分布式实时仿真系统,而多个飞行模拟器的联网则要求高精度的同步、更高的实时性.首先对单台飞行模拟器的网络结构、同步机制进行了描述,然后介绍了反射内存网的工作原理,并利用反射内存网作为同步信号的传输链路,对多飞行模拟器组网的同步进行了研究,同时对反射内存网和以太网结构并存的特点进行了分析.     

有色Petri网在车辆综电系统总线建模中的应用

针对运用解析法对车辆电子系统进行建模分析困难这一问题,运用CPNs构建综合电子系统模型.提出了系统的建模分析方法,运用CPN_Tools进行建模,得出了某型车辆总线的系统模型.实验结果证明,基于CPNs的车辆综合电子系统总线建模的正确性与可行性.     

战场网关键节点仿真与分析

针对作战中难以快速分析美空袭体系战场网重要作战节点,对战场网作战要素进行了分类,提出战场网关键节点的评价指标,并利用社会网分析的网络分析手段,对美典型空袭体系作战要素及信息流转进行了仿真计算。结果表明,利用度数中心度等社会网分析指标,可以迅速识别战场网的关键节点和链路,为未来的网电作战寻求作战目标排序提供了新的方法。