某型无人机拦阻网回收系统设计

介绍了无人机拦阻网回收系统的组成和工作原理，论述了系统的网体设计、涡轮阻尼器设计以及拦阻过程计算等关键技术问题，并给出某型无人机拦阻回收系统的性能计算结果。本文的研究成果为某型无人机拦阻网回收系统的工程设计提供了理论依据，并已成功应用于某型无人机系统的研制。     

基于无线传感网的纺织机械状态监测系统

提出了一种基于无线传感器网的纺织机械设备监测系统,该系统通过在部署纺织机械上的无线传感器采集数据并传输到基站节点,由基站节点统一对采集数据集中进行分析、处理与展示。详细介绍了系统的体系结构、介质访问控制协议以及系统实现的硬件配置。     

基于Petri网的UML状态图的形式化模型

提出一种可以准确描述UML状态图动态特征的形式化模型SC_Net.首先给出了UML状态图的形式化语法定义,其中用状态集合、转移集合、事件集合、条件集合、活动集合、对象集合和变量集合,定义了一系列辅助函数描述UML状态图特征,用确定目标状态和受限源状态表示层次关系,用开放事件和封闭事件表示对象之间的消息.基于C_Net定义了描述UML状态图动态语义的Petri网模型SC_Net,既能描述状态图中的控制部分,又能描述状态图中的数据处理部分,并给出了从UML状态图到SC_Net的转换步骤,便于实现自动转换过程.最后以柔性制造系统的一个实例说明SC_Net能用于分析UML状态图的性质.      

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

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

基于外包合同网的自治电磁探测卫星群任务规划

针对具有星间通信能力的自治电磁探测卫星群任务及载荷特点,建立了基于MAS (Multi\|Agent System)的电磁探测卫星群自主规划模型,提出了基于外包合同网的电磁探 测卫星群自主规划算法。根据模拟的数据进行仿真实验及分析,该方法能有效解决电磁 探测卫星群自主任务规划问题。
     

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

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

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

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

基于仿真的单元化制造系统的单元分组

在传统单元分组方法的基础上,提出了用仿真方法解决瓶颈机床的分组问题.采用着色Petri网,对生产系统建模.以BEA算法作为分组基础,经过仿真试验得到最终的单元分组结果.试验表明,用仿真的方法能够弥补传统分组算法复杂的缺点.     

基于Petri网的建模方法在叶片制造流程重组中的应用

采用基于Petri网的流程建模方法,结合数字化条件下叶片工艺流程设计与评估的相关理论,对叶片制造流程进行重组,并绘制流程框图.利用可达树对Petri网模型进行死锁分析,从而减少流程重组的盲目性和风险.最后通过工程事例说明Petri网模型的死锁分析过程.