基于带优先级时间有色Petri网的装备维修过程模型研究

本文在分析维修过程中确定维修活动次序和选择维修资源常用规则的基础上,为时间有色Petri网的变迁规则增加了约束,提出了带优先级的时间有色Petri网的概念,并利用带优先级的时间有色Petri网进行了维修过程的仿真,仿真结果表明带优先级的时间有色Petri网能更好的模拟实际的维修过程。     

指挥控制系统软件的安全性分析

在现代战争条件下,指挥控制系统软件的安全性是涉及减少系统风险、提高系统生存能力的一个重要问题。随着嵌入式计算机在指挥控制系统中被大量使用,其软件安全性问题也越来越突出。在明确了软件安全性定义的基础上,通过指挥控制系统中的一些安全性的实例,以事实证明软件安全性的重要性。着重介绍了软件安全性分析的目标、内容、过程和方法。     

四边形有限元网格单元的光顺

本文提出一种对由网阵推进法所产生的四边形网格单元进行光顺的方法。通过光顺,使整个网格单元疏密均匀,过渡平稳,并避免奇异网格单元的存在。这对以后的有限元计算是非常有利的。文中同时给出了一些光顺前和光顺后的例子以作比较。     

时间Petri网和启发式搜索在流程调优中的应用

本文利用时间Ｐｅｔｒｉ网对流程调优问题进行建模,和人工智能上的启发式搜索算法,进行求解,这就把时间Ｐｅｔｒｉ网和启发式搜索结合起来,可解决一些较为复杂的流程调优问题。     

在防御仿真交互网上用高逼真度仿真来演示水下作战技术

高级研究计划署从1993年9月13日到17日正在举办一次在防御仿真互联网上的海上仿真演示。演示的目的是展示高级研究计划署(ARPA)开发的各种技术如何用于提高仿真的真实性。 海军作战依靠对敌目标探测、跟踪、交战和开火的传感器和处理系统。这些系统与坦克作战不同,坦克作战只需与要对付的目标目视接触。9月份的演示将是用传感器驱动武器系统的首次分布式交互演示。 这次演示将把具有低频主动搜索和反水雷能力的航母战斗群各成员舰连接成一个逼真的指挥和控制环境。这次演示将使用各种局部意外事件并与敌方水下舰艇交战。为了这次演示,许多平台或指挥中心将位于太平洋舰队司令部、12航母战斗群、五角大楼、空间与海上作战系统指挥部、海军海洋系统指挥部、高级研究计划署、约翰霍普金斯大学/应用物理实验室、科学与应用国际公司、联合技术系统机构、德雷珀实验室、海军海洋办公室和桑迪国家实验室等地。     

不确定条件下装备器材供应网规划模型

装备器材供应网是装备器材供应保障工作的重要基石,其规划问题是我军装备器材保障过程的重要战略决策之一。针对节点、边和需求的不确定性,对不确定条件下由多个区域供应子网构成的装备器材供应网的规划问题展开研究。针对问题的特点,用区间分析理论对供应网规划中的不确定性因素进行度量和运算,得到不确定性规划模型,通过区间运算转化,将不确定性模型转化为确定性混合整数规划模型,并设计采用基于禁忌搜索算法的两阶段算法进行求解,分别得到了不同参数设置下的模型求解结果,并将所用算法与模糊规划和随机规划算法的求解结果进行了比较分析。实例分析结果表明所建立的模型和算法具有较强的实用性。     

HPN基于网结构的冲突关系

混合Petri网是为了解决复杂动态系统可靠性安全性分析而提出的一种Petri网扩展模型。定义混合Petri网模型的基于结构的冲突关系 ,有助于深入理解混合Petri网模型的语义 ,对其在动态系统可靠性安全性建模与分析以及模型分析求解中的应用也具有重要意义     

“定身法”的新招数

“这简直是蜘蛛精的胶粘液,粘了一层又一层。”巴洛克气愤地甩掉衣裤说。巴洛克是化工新产品试验员,经常跟什么漆呀胶呀打交道,还从没有全身被胶粘过。     

基于网关的雷达情报宽带IP传输体系研究

简要介绍了网关在外军情报互通中的应用情况,由此提出了一种基于网关的雷达情报宽带IP传输体系,研究了其拓扑结构、工作流程及各种情报源接入宽带网的方式;分析了情报通信网关的功能与组成以及情报采集、存储、转发中涉及的关键技术.针对情报交换格式标准各异,提出了利用XML语言进行统一描述的思路.在局域网内对系统时延进行了测试,分析了减少延迟的方法.最后对网关系统中如何进行命名管理进行了探讨.     

一种新的足球视频语义镜头表示及事件查询框架

提出了一个足球视频中的语义镜头表示及事件查询框架.在这个框架中,定义了不同的语义镜头,并且每类语义镜头都可以由五个特征属性所刻画.在语义镜头定义的基础上,为了弥补传统的事件查询方式的不足,提出了一种用户定义事件的查询方式,它是一种基于语义镜头合成Petri网表示模型的查询方式,可以由用户自由定义所感兴趣的事件Petri网表示结构,实验证明该查询方式能有效提高查询效率,并有很大的灵活性,能适应不同广播公司的转播规则,但该查询方式需要用户具有一定的专业和领域知识.实验数据来源于2006年德国世界杯、英格兰足球超级联赛和西班牙足球甲级联赛.