最小生成树算法及其应用

Kruskal算法和Prim算法是求最小生成树的常用算法,设计了这两种算法的C语言程序,并通过实例研究了这两种算法的实际应用价值。     

飞船降落伞系统的可靠性建模

飞船降落伞系统中设计有主伞包开关判别和速度判别两个主伞系状态监测装置,这使得飞船降落伞系统具有其自身特点.主伞包开关判别和速度判别装置各自具有两类任务可靠性,且它们各自的监测范围不同.采用冷贮备模型描述飞船降落伞系统可靠性时,需基于一定的假设,不能准确地描述飞船降落伞系统的可靠性.为此,在分析飞船降落伞系统自身特点和冷贮备模型局限性的基础上,采用事件树方法,建立了飞船降落伞系统的可靠性事件树和更为准确的可靠性数学模型.该模型更具一般性,能更准确地反映飞船降落伞系统的可靠性.     

LEO/MEO双层空间信息网中基于身份的群组密钥管理方案

由于空间信息网中结点的移动性,在空间信息网中实现传统的群组密钥管理面临许多困难.根据空间信息网的特点,分析了空间信息网中群组密钥管理方案的需求,设计了一个适用于LEO/MEO双层空间信息网络的群组密钥管理方案,采用基于身份的思想,消除了对证书系统的依赖,能在空间信息网中灵活高效地实现.将空间信息网中的结点根据其逻辑位置划分为簇,其中簇头为MEO卫星,在密钥交换阶段中共享密钥仅由所有簇头结点决定,这种机制大大减少了通信量.方案能有效抵抗外部攻击者,并且具有前向保密性和后向保密性.仿真实验表明,方案具有很高的通信效率.     

时钟树综合中的有效时钟偏移

随着芯片设计向更高的频率发展,传统的时钟树综合策略是尽量减小时钟偏移,但是这样的时钟树综合策略已经逐渐不能满足时序收敛的需要,因此引入了有效时钟偏移的概念。文章通过一个在TSMC0．13μm工艺并流片成功的芯片BES7000作为设计实例,分析了有效时钟偏移引入之后对改进时序建立时间的效果。     

树脂膜熔渗工艺用FRP模具的设计与制备

通过模具材料的选择、分型和模具中加热装置的合理设计，制备出树脂膜熔渗工艺（RFI）实验用FRP模具。实验发现：自带加热系统可将模具和产品加热到110℃以上，模具可在85℃左右长期工作，并初步探索了RFI工艺参数，制备出了性能优异的板材。为制备大型RFI工艺用FRP模具提供了依据。     

基于CCSDS空间数据链路安全协议的星载遥控认证保护

在国际空间数据系统咨询委员会(CCSDS)规定的空间遥控系统数据传输体制下,对星载遥控认证保护进行了研究。选择了遥控数据认证保护层次,并设计了认证保护数据范围。针对上行遥控的认证保护机制与国际空间数据系统咨询委员会的空间遥控链路命令操作过程(COP-1)之间存在的"闭锁"风险,设计了重传请求保护机制。基于空间数据链路安全(SDLS)协议体制,提出了一种遥控认证帧结构模型。在该模型中,通过插入随机序列码段,使相同指令/数据帧经认证算法计算后,其结果的非线性度扩大;通过插入毫秒级精度的时间序列码段,抵御重放攻击,并极好地适应不同地面控制中心对航天器的并行控制。提出一种针对遥控认证保护的,涉及"常态"和"应急态"的安全关联(SA)周期管理的方法、密钥生存周期管理的方法,有效实现各虚拟信道的独立保护及密钥的科学管理。同时,提出一种开展星载遥控认证保护业务的算法设计方法。     

事故树分析法在地铁盾构施工地表沉陷事故中的应用

目前较多城市开始发展地下空间修建城市地铁,在地铁隧道施工过程中发生的地表沉陷事故累见不鲜,运用安全系统工程事故树分析法对地铁隧道盾构法施工中发生的地表沉陷事故进行分析和评价,分析发生地表沉陷的基本事件,运用结构重要度排序找出发生地表沉陷的主要原因,有针对性的提出对策措施,为控制地表沉陷事故的发生提供参考,为施工单位防止发生地表沉陷事故的安全管理提供依据.     

基于资源相关性的网格资源分配

在网格环境中,每个网格服务都面临着多种资源选择,网格作业中各服务间的关联在某种程度上可映射为资源之间的依赖关系,不同的资源配置将产生不同的服务满意度,由此提出服务资源分配问题SRA(Service Resource Assignment),通过构造资源关系图提出基于树分解的资源分配算法DRA(Tree\|Decomposition based Resource Allocation algorithm),利用该算法求出此问题的正确消元顺序,在多项式时间复杂度内获得该问题的最优解,给出实验结果并提出下一步的研究工作.      

应用CCSDS空间数据链路安全协议的卫星遥控安全方案探讨

针对国内卫星遥控体制国际化的需求,结合已有的空间数据系统咨询委员会(CCSDS)遥控协议体系架构,设计了应用CCSDS空间数据链路安全协议(SDLS)的遥控安全方案。该方案选用认证和加密认证2种业务,并针对不同的遥控安全业务,分别设计了定制遥控帧格式、安全关联、算法管理及密钥管理业务。以目标机为核心搭建验证系统,通过2个典型应用场景验证遥控安全方案的可行性,结果表明:该方案可提高遥控安全系统的灵活性、可扩展性,并且能够有效保护密钥强度,延长密钥生命周期。遥控安全方案的设计及其在遥控单元中的实现,可为我国卫星遥控体制与国际接轨提供参考。     

航空燃料的新成员

汉莎航空宣布,2011年4月起,该公司一架往返于法兰克福与汉堡的空客A321型客机将使用生物混合燃料试飞6个月,这是全球首条使用生物燃料的民用航线,汉莎航空将为此投入约660万欧元。在目前波音的试飞中,生物燃料与传统燃料的比例为5:5,未来可提升到