基于UML的任务空间概念模型动态行为验证研究

动态行为的验证已经成为任务空间概念模型校验的重点和难点,而统一建模语言(Unified Modeling Language,UML)是半形式化的语言,难以进行动态行为的分析和验证,采用Petri网进行概念模型形式化验证是理论和方法研究的重要方向.论文提出了基于CPN的动态行为验证过程,论述了动态行为验证的主要内容,并应用CPN Tools对反导作战概念模型进行了动态行为验证,仿真结果表明概念模型是正确的.该方法可以提高模型校验的自动化水平,从而提高校验的效率和校验结果的可信性.     

关于安全协议的形式化分析方法的研究

对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。     

基于扩展时间Petri网的软件潜在分析

针对SSA技术存在的缺陷,根据软件系统与Petri网的相似之处,提出了基于Petri网的SSA技术.首先概述了SSA技术的发展现状,然后定义了一类扩展时间Petri网,定义了软件的设计矩阵和Petri网的可达状态矩阵,通过比较设计矩阵与可达状态矩阵找到软件潜在状态.仿真分析证实了方法的有效性和可行性,最后提出了SSA技术有待解决的问题.     

SCPS-TP协议用于LEO卫星网的性能分析与改进

SCPS-TP是空间通信传输协议,可用于卫星网络。为分析SCPS-TP在LEO卫星网中的性能和选择合适的拥塞避免机制,进行原理分析和仿真实验。在LEO卫星网中的典型时延和误比特率条件下,SCPS-TP协议采用Ve-gas机制比Van Jacobson机制能达到更好的性能。但LEO卫星网中存在的切换和路径改变情况会严重降低Vegas机制的性能。对此提出一种利用SCPS-NP包头信息感知路径变化和更新时延基准的改进方法,具有较好的可实现性。仿真结果表明,此举能明显提高SCPS-TP协议在LEO卫星网路径改变时的性能。     

基于Petri网的网络化制造过程建模

文章简述了Petri网的基本概念;着重论述了运用Petri网建立制造过程模型的自底向上的方法和模型性能的分析方法;在此基础上,建立了某企业联盟网络化制造过程的Petri网模型,并对其中零件1的生产加工子过程进行了模型性能分析,如可达性、活性、有界性、安全性等。     

基于Petri网的交通运输网络最短路径算法

首先阐述了Petri网的基本原理,在此基础上利用"Petri"网仿真器"建立交通运输网络模型,通过具有并发机制的编程语言来实现求交通运输网络最短路径的基本算法,然后针对该基本算法存在的缺陷,在假设前提下,提出了改进的仿真算法.     

基于Petri网的交通运输网络最短路径算法

首先阐述了Petri网的基本原理,在此基础上利用"Petri网仿真器"建立交通运输网络模型,通过具有并发机制的编程语言来实现求交通运输网络最短路径的基本算法,然后针对该基本算法存在的缺陷,在假设前提下,提出了改进的仿真算法。     

空间碎片撞击卫星影响分析及验证

近年来,空间碎片环境日益复杂严峻,对卫星在轨飞行构成严重威胁,发生碰撞风险大幅增加。针对低轨卫星遭受空间碎片撞击问题,分析了撞击产生的二次碎片云损伤机理,提出了利用遥测数据评估撞击产生的影响,分析撞击信息的流程,设计了相应地面验证实验。结果表明:碎片云引发二次损伤为空间碎片撞击卫星主要损伤形式。碎片云可导致多层隔热材料(MLI)发生破损甚至严重撕裂、外翻,同时引起供电线缆损伤、导线被击断。破损的供电电缆,通过大电流后发生断路的可能性急剧提升,对卫星危害巨大。     

某型号液体火箭发动机启动阀门锁位可靠性试验方法

叙述了某液体火箭发动机启动阀门锁销工作原理,分析探讨了成败型可靠度统计方法存在的可靠度难以准确给出的问题,提出了一种新的启动阀门可靠性试验方法的原理、方案,给出了启动阀门的可靠度指标.     

大型复杂航天器结构有限元模型的验证策略研究

大型复杂航天器结构有限元模型的合理性和准确性在航天器研制过程中具有重要意义, 它是开展星箭耦合分析以及力学环境条件设计等工作的基础。首先综合有限元建模、模 态试验、相关分析和模型修正等技术构造了一套系统的航天器结构有限元模型试验验证策略 ;然后,针对我国新一代大型卫星平台——东方红四号卫星开展了整星有限元模型的试验 验证研究,其中整星模态试验以及模型修正等研究工作属首次在东方红四号卫星平台上成功 实施。修正后有限元模型对整星主模态频率预测误差小于5％,模态置信准则大于0.6,预 示精度达到工程要求。
     

同波束干涉测量差分相时延观测模型研究及验证

针对月球轨道交会对接地面高精度引导需求,对同波束干涉测量差分相延观测模型进行分析验证。根据甚长基线干涉测量几何时延观测量同一波前的定义,推导出同波束差分时延观测量的观测模型。并提出一种精确的同波束干涉测量差分相时延闭合算法,同时结合SELENE任务实测的数据计算差分相时延闭合值,用于对观测模型进行验证。实测数据计算结果表明,采用本文提出的精确算法显著地消除同一波前差分相时延闭合值中的趋势项,差分相时延闭合值的精度在0.5ps~1ps范围内,验证了观测模型的正确性。该研究对于后续的月球交会对接地面高精度测定轨任务分析设计将具有一定的参考价值。     

基于无线自组网的MAC协议模拟分析

文章简要地对无线自组网的基本概念、特点及 MAC 协议关键技术进行了论述,提出一种基于 CDMA 的组播 MAC 协议,详细介绍 MAC 协议并进行了NS仿真参数设置,对仿真的结果进行了分析比较.该协议的可行性保证了各组播数据传输的可靠性.     

航天器高稳定结构热变形分析与试验验证方法研究

航天器高稳定结构研制须探讨微米级结构热变形仿真分析与试验验证工作,以满足空间环境交变温度载荷下结构微变形要求。根据机热一体化设计的特点,提出机热一体化分析方法进行机、热载荷交互,机、热温度场交互过程由手动赋值的几天时间缩短至几分钟,且映射误差小于1℃。基于数字图像相关测量技术,采用高稳定结构微米级变形的非接触式测试方法进行试验验证。结果显示,文章中的高稳定结构在轨热变形为2~30μm。文章提出的分析与试验验证方法,可为航天器高稳定结构设计及验证提供参考。     

基于IPv6 和空间包协议的空间路由策略设计与分析

针对卫星星内和星间一体化组网问题,结合已有的智能化航天器综合电子系统协议体系架构,提出了基于IPv6和空间包协议的空间路由策略。该策略借鉴IPv4和IPv6的隧道机制,利用空间包局部信息与IPv6全局信息的映射完成协议封装。以星载路由器为核心搭建演示验证系统,通过典型实例验证该策略具有一体化组网的可行性。在分析策略存在的灵活性问题基础上,提出了定制空间包格式、修改协议信息表的优化措施。该策略的设计与其在星载路由器中的实现,可为我国天地一体化信息网络的构建提供参考。     

基于数学仿真的姿控系统遥测数据分析与检验

为定量地分析和检验运载火箭姿态控制系统的遥测数据 ,本文采用数学仿真的办法模拟实际飞行过程 ,得出相对标准的数据 ;采用t检验的办法对其与遥测数据做一致性检验 ,以分析遥测数据的合理性及系统的工作性能     

反射面天线机电耦合分析及实验验证

针对反射面天线分析设计中存在的机电分离问题,使用结构分析软件得到天线面板的 结构变形,将变形转化为相位差引入天线远区电场公式中。通过推导的网格转换矩阵,在结 构网格的基础上完成天线远区电场的计算。同时根据半功率波瓣宽度预估方向图的离散精度 。利用某3.7米卡氏通信天线进行了验证实验,试验结果表明本文方法是正确有效的。与软 件集成的分析方法相比,该方法不但电磁分析精度较高,而且分析时间更短。
     

CFDP协议中延迟NAK文件传输时间分析与仿真

未来的深空通信需要一个鲁棒的、有效与可靠的文件传输协议,在研究CCSDS提出的CFDP协议基础上,针对延迟NAK模式提出了一种新的分析方法。在保证吞吐量的前提下,对ARQ定时器优化设置,导出了平均文件传输时间的理论表达式。在单跳直连链路中,对不同条件下的平均文件传输时间进行了仿真与数值分析。仿真结果表明平均文件传输时间与PDU错误概率、PDU数目及单向传播时间等有密切关系。随机仿真与理论分析具有很好的一致性。