多阶段任务系统通用可靠性仿真模型

归纳了当前多阶段任务系统(PMS,Phased Mission Systems)可靠性建模的基本假设,指出了解析模型描述和求解能力的不足以及仿真模型存在的难以转换的缺点.应用着色Petri网(CPN,Colored Petri Net) Tools建立PMS的多层通用仿真模型:顶层控制模型将PMS各阶段的故障树参数化,作为CPN通用仿真模型的输入;单阶段处理模型根据顶层控制模型的输入判别该阶段顶事件是否发生;底事件处理模型通过比较随机数和故障发生概率的大小产生故障.通用仿真模型可以保持模型结构的稳定,同时又简化了仿真模型的生成.案例对比了CPN仿真模型与二元决策图(BDD,Binary Decision Diagrams)算法的可靠性计算结果,证明了模型的正确性;具有动态变化参数的PMS仿真则说明了模型的适用性.      

云计算环境下动态用户行为认证的机制、模型与分析

在云计算中,终端用户对云资源软硬件的影响和破坏远比目前用户利用因特网进行资源共享要严重的多,因此相对于用户的身份,用户的行为是否真实可信是云计算研究的一个重要内容。提出了户行为认征的机制,包括行为认证集的确立、行为证据的获得、行为认证的策略,建立相应的随机Petri网模型,并通过量化瞬时变迁的实施概率来模拟不同的认证选择,利用系统达到稳定状态时位置中的平均标记数来评价认证效果,为云计算的安全应用奠定理论和实践基础。     

中国天基测控将进入“高速公路”时代

我国第三颗地球同步轨道数据中继卫星——天链一号03星,于7月25日23点43分在西昌卫星发射中心由长征三号丙运载火箭成功发射。这次发射成功后,天链一号卫星将实现全球组网运行,此举标志着我国第一代中继卫星系统正式建成。     

电缆网阻值测试仪的设计与实现

随着单片机技术的发展及其在测试领域的广泛应用,早期采用的人工作业对电缆网性能测定的方法已经不再适用。本文介绍了一种基于单片机技术的电缆网阻值测试仪。从电缆网阻值测试仪的功能与设计要求出发,阐述了总体设计方案,说明了该套设备的工作原理,描述了系统的硬件实施和软件设计,并对整套设备进行了实验验证。结果表明：设备满足了用户要求,提高了测试效率。     

深空网干涉测量技术在“嫦娥3号”任务中应用分析

针对中国深空网DOR/ΔDOR测量技术在"嫦娥3号"测控任务中的首次应用情况,论述了深空网干涉测量系统采用的稀疏交替射电源标校技术。在地月转移、环月段开展了多次观测,所获得的时延、时延率观测量结果直接应用于"嫦娥3号"的轨道确定。通过与事后精密轨道比对分析,深空网干涉测量技术的时延观测量精度优于1ns,对应于约90nrad的角位置精度;时延率精度优于1ps/s,相当于亚mm/s量级测速(差)精度,中国深空网干涉测量技术有力支撑了"嫦娥3号"的测定轨任务。     

文武双全的“天基红外系统”——美国新一代导弹预警卫星

据美国全球安全网2010年12月13日报道,美国已成功完成首颗"天基红外系统"地球静止轨道卫星的最终集成系统测试,该卫星将于2011年春天用宇宙神-5火箭从卡纳维拉尔角空军基地发射,它将显著提升美国的导弹预警能力和对其他重要国家安全任务的同步支持     

AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

知识Petri网与机器人装配规划

介绍了知识Petri网（KPN），在柔性装配系统中基于KPN机器人装配规划的任务，以及用KPN为机器人装配规划的任务，以及用KPN为机器人装配规划建模和KPN的运行。文中论述了如何建立邻链表、构造KPN，以及最后如何运行KPN，获得最佳装配规划。最后，阐述了基于KPN的机器人装配规划系统中数据库、规划库及推理机的构造。基于KPN的机器人装配规划，与目前常用的机器人装配规划方法，如启发式搜索法AO和线性规划LP法相比，具有如下主要优点：由于将人工智能用于Petri网中，故智能强；适应性强，既适用于整套产品零件同时到达装配站，也适用于各零件分时到达装配站时的规划；算法简单，规划速度快，更适用于在线规划。     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统,具有实时、并发、异步等特性,由于Ｐｅｔｒｉ网模型的图形表述和数学描述,使它既可以采用数学分析,又可以通过图形形象地表述出离散动态系统,故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式,面向对象的模型能帮助对问题的理解,有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上,引入面向对象技术,提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型,并以企业中的一项生产活动——二次电源生产过程为实例,建立了描述这一活动系统的完整的ＯＰＮ模型,真实地反映了系统的动态特性,从而为制造过程建模和分析提供了一个更为有效的工具