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

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

利用幅值信息的超视距雷达多路径概率数据互联算法

天波超视距雷达是通过电离层反射实现超视距广域监视的,其地理坐标系下的量测方程存在强非线性,同时由于电离层的不同分层,造成了多路径传播的严重问题,即同时存在多个量测模型。多路径概率数据互联(MPDA)滤波器将坐标配准与概率数据互联相结合,解决了超视距目标跟踪中的多路径传播问题,但在杂波环境下滤波跟踪精度不高。文中提出了一种基于信号幅值特征信息的MPDA算法(A-MPDA),当跟踪单一的、存在4种可能非线性量测的非机动目标时,仿真结果表明所提出的算法比标准MPDA有更好的跟踪精度。     

基于小生境遗传算法的航空发动机维修构型控制

为实现航空发动机维修中构型控制,建立了基于Petri网的构型控制描述模型,通过变迁序列的激发求得改型后可能的零件集合,作为后续的约束满足条件,并提出一种基于小生境遗传算法的发动机构型多方案求解方式.     

神舟飞船供配电及电缆网设计与研制

介绍了神舟飞船供配电及电缆网的配置组成、功能任务、技术特点、测试及功能验证、以及电磁兼容性、可靠性及安全性设计等。并展望了载人航天二期工程总体电路分系统的设计前景。     

模糊Petri网在航天发射系统故障诊断中的应用研究

航天发射系统结构复杂,各分系统相互耦合,且故障传播模式多样化,故障特征和故障模式之间存在着模糊关系.因此,本文提出利用模糊Petri网对航天发射系统进行故障诊断,并给出了基于模糊Petri网的故障传播模式模型及反正向结合的推理算法.反向推理用于故障诊断,以选择检测路径,有效地找到发生某一故障的原因及其传播路径;正向推理用于计算该故障发生的真实度.文中以某运载火箭控制系统漏电故障诊断为例,说明了该模型直观、表达能力强的优点,同时表明了算法的适用性和有效性.     

基于着色Petri网的维修作业建模与人机工效分析

基于着色Petri网和CPN Tools平台,研究了维修作业过程的建模方法,提出了维修作业过程建模方法与步骤,采用模特法计算每一步操作所需时间值,采用人体动作代谢能耗预测模型计算每个操作的能耗值,实现了维修作业建模与仿真、作业序列的控制以及维修人员工作负荷和工作时间的定量计算。以A320飞机前起落架轮胎拆卸作业为例,采用CPN Tools软件进行了维修作业建模和仿真模拟,验证了模型和方法的可行性与有效性。该方法引入了传统维修作业模型中没有涉及的人机工效因素,能够有效评价维修人员的作业舒适性。     

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

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

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

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

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

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

S7-300液位控制系统下位机的实现

利用以太网,结合西门子现场总线搭建了过程控制平台,完成了对温度、压力、流量和液位这些典型过程参数的采集、存储和分析,并利用PID算法通过对变频器、电控阀门的控制,实现恒压供水任务,进而完成对于水箱液位稳定的控制.