面向可重构制造系统的设备建模

可重构制造系统的建模是分析和控制可重构制造系统的关键技术，而可重构制造系统中的设备建模是可重构制造系统建模的基础。本文提出面向可重构制造系统的设备的赋时面向对象Petri网模型，并通过实例研究证实了其正确性。面向可重构制造系统的设备的赋时面向对象Petri网模型能够表示可重构制造系统重构前后设备的作业安排的变化情况．因此它是可重构制造系统中设备的正确的形式化表示。     

一种航天器上多子网数据网络设计

基于1553B总线归纳了对等子网和上下级子网2种子网间的连接方式,并结合网络连接关系、数据传输机制,提出多子网的数据网络设计思想。该设计既能保证子网的独立性,又能将子网连接为一体,既可解决突发数据的传输问题,又能适用于复杂多子网网络的航天器。以某具体航天器为例,完成包含对等子网和上下级子网的多子网网络数据系统设计,并验证了其可行性。文章提出的设计已应用到航天器工程中,降低了多子网航天器协议设计的难度。     

SIP协议的形式化分析与验证

文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.     

具有容灾性的LEO卫星网络位置管理策略

文章从LEO卫星网络的稳定性和容灾性出发,提出了在关口信令转接点(GSTP)设置多个HLR,既为系统提供数据库备份,提高系统的稳定性和容灾性;又让HLR参与到远程寻呼过程中,减小远程寻呼的开销;同时,引入了一步前向指针策略来减小远程的位置更新开销。从而在提高系统容灾性的同时减小了位置管理的开销。     

华北空管局率先实现自动化大系统运行模式

4月15日,天津远端中低空自动化系统正式启用实施管制指挥,天津自动化系统共享北京区域管制中心飞行数据处理器的飞行动态数据,同时起飞、落地报文由北京区域管制中心自动化系统自动拍发,华北空管局率先在全国实现了区域管制中心（ACC）-本地中低空（TMA）-远端中低空（TCU）的空管自动化大系统运行模式。     

一种基于身份的移动自组网认证机制

针对移动自组网无公钥基础设施的特点,采用基于身份的密码学算法、分布式秘密共享算法和椭圆曲线加密算法,实现安全高效的移动节点认证.简单讨论基于身份的数字签名算法;介绍如何使用Lagrange插值公式,实现分布式的系统主密钥;然后给出节点密钥安全分发的模型,并在此模型的基础上,基于椭圆曲线加密算法实现安全的分布式节点密钥签发;给出算法安全性和效率分析;根据双线性对的特点,讨论会话密钥的产生和更新.给出的认证方法,具有分布式实现和安全高效的特点,同时可以非交互式产生一次性会话密钥,适用于分布式移动网络环境.      

Petri网在维修工作分析中的应用研究

分析了当前维修工作分析方法中存在的问题,在论述了Petri网技术优点的基础上,提出采用层次化的时间-着色Petri网技术来建立维修工作描述模型.探讨了Petri网描述逻辑条件与时序关系的方法,并给出了维修工作建模的程序.通过一个实例研究说明了Petri网技术在确定保障资源工作中的应用.      

基于笛卡尔网格的非定常气动力计算

在非结构自适应笛卡尔网格基础上构建了一种基于笛卡尔动网格的非定常气动力计算方法。为了适应非定常流场对网格品质要求较高的特点,网格生成采用了基于几何外形、模型表面曲率为基础的自适应生成及加密方法。采用显格式龙格库塔推进方法和中心格式空间离散的有限体积法对NACA0012翼型,三维机翼的跨音速刚性振动进行了数值模拟。对伪时间收敛精度控制,真实时间步长对结果的影响进行了讨论。将计算结果与试验数据进行了比较,得到了良好的效果。     

移动自组网信任模型研究综述

移动自组网是一种新型的由移动节点为了某种特定目的而彼此进行连结的网络。由于其网络具有无中心性、自组性、拓扑的动态性及控制的分布性等特性,该网络的信任模型的建立面临很大的挑战,是目前研究的一个热点。本文主要针对自安全(Self-Securing)证书管理模型和自颁发(Self-Organized)证书管理模型进行了深入的分析研究,并提出了自己的理解和建议。