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

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

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

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

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

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

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

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

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

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

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

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

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

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

火箭电气系统电缆网热防护研究

简要介绍了箭上电气系统电缆网热防护技术应用现状，阐述了一体化热防护研究的必要性，提出了轻质电缆网的芯线、绝缘层、屏蔽层、插头和热防护层有效集成的总体方案。研制热防护材料，确定热防护层结构，试制一体化热防护电缆网，模拟热环境试验，研究表明：一体化热防护电缆网满足结构减重与轻柔、可靠性提高和总装周期缩短等总体指标要求。     

基于OPNET的移动自组网路由协议的性能仿真

移动自组网(Mobile Ad Hoc Networks,MANET)是由一组自治通信节点组成的集合,其路由协议的设计与传统固定网络有很大不同.论文首先介绍了DSDV、DSR、ZRP三种路由协议,然后采用OPNET网络仿真软件比较这三种路由协议的分组投递率、路由开销、端到端平均时延等性能参数并分析了仿真结果.