适用于Ad hoc网络的EIGamal型门限数字签名方案

现有ElGamal型门限数字签名方案在签名前签名各方需要协商生成一个随机数,该过程计算量与通信量比较大,不能满足Ad hoc网络的需求.将组合公钥的思想引入到ElGamal型门限数字签名的随机数生成中,为Ad hoc网络提出一种门限数字签名的改进方案.方案由密钥初始化和门限签名两部分组成.密钥初始化时,签名各方使用分布式密钥生成协议协商出系统公/私钥对和一个随机数矩阵,每个节点掌握部分私钥和部分随机数矩阵;门限签名时,每个签名方使用相同的算法在掌握的部分随机数矩阵中选择随机数进行部分签名;最后将部分签名合成整体签名.对提出的方案在随机预言(RO, Random Oracle)模型中进行了安全性证明.实用性分析表明:方案计算复杂度低,交互次数少,通信量小,有很好的执行效率与签名成功率.     

航天器交会快速接近机动策略

对航天器交会接近段V-bar上保持点间的转移,单向(轨道径向或周向)推力机动的最短转移时间为半个轨道周期(对应双径向推力冲量)。若要求转移时间小于半个轨道周期,须采用双向(径向与周向联合)推力。为此,提出5种机动方案:1)起点双向冲量与终点双向冲量机动;2)途中双向连续推力机动;3)起点双向冲量与途中双向连续推力机动;4)途中双向连续推力与终点双向冲量机动;5)起点切向冲量与途中径向连续推力及终点切向冲量机动(即直线路径转移)。其中,方案1)(冲量机动)的速度增量最小,但轨迹视界角最大;方案5)(直线路径)的视界角最小(近似为零),但当转移时间T>0.292P(P为轨道周期)时,所需的速度增量较大。机动方案的选择应全面考虑转移轨迹安全性、速度增量需求、转移轨迹视界角,以及机动复杂程度等多方面因素。若视界角可满足总体设计要求,宜选择方案1);当T<0.292P时,也可考虑方案5)。     

LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.      

基于投影约束的C臂外参数优化方法

C臂外参数计算是手术导航系统实现图像空间与手术空间映射的关键环节.标记点提取误差将使外参数偏离真值.采用投影方法系统分析选点误差对外参数计算的影响,发现相机光轴方向平移参数收敛性弱、易受误差干扰.利用不同平面上投影距离之比作为约束对线性方法所得外参数进行修正.借鉴二/三维图像配准方法,采用修正后的估计外参数与已标定内参数进行重投影,根据几何方法直接求出外参数修正量,避免反复迭代优化.仿真结果表明,该标定方法对误差具有一定免疫性,能够提高外参数精度.      

LRU可靠性评估仿真模型及实例分析

目前,有关航空维修中出现的高故障率现场可更换单元(LRU)的可靠性评估和LRU 故障组件定位等方面的研究仍鲜有报道,为此设计一种适用于LRU“更换维修暠策略的可靠性评估仿真模型,详细介绍模型中各个功能模块的设计原理和实现方法、步骤,并以某型军用飞机液压系统中常见的高故障率LRU 为例,对模型进行应用分析。结果表明:该仿真模型在LRU 可靠性评估中具有可行性和普遍适用性。     

热发射过程中发射箱蒙皮力学性能损伤与试验研究

文中选择大、中、小3种典型结构尺寸的发射箱,利用计算流体动力学（Computational fluid dynamics,CFD）仿真软件Fluent对发射箱蒙皮表面在导弹发射过程中的力、热环境进行了仿真分析。以铝合金材料为例,对发射箱蒙皮材料在燃气流环境中力学性能损伤情况进行了烧蚀试验研究。研究结果表明,随着烧蚀时间延长,铝合金材料力学性能损伤存在一个突变点,在1.5 s内下降不明显,但是当烧蚀时间延长至2.0 s时,力学性能急剧下降至0。该研究结果为铝合金发射箱轻量化设计、热防护设计和使用次数设计等提供了数据支撑。     

激光击穿不同气体的激光推进实验研究

为了研究激光击穿气体工质的机理,通过测量冲量耦合系数,比较了激光在不同压强下击穿不同惰性单原子气体(氩气、氦气)的效果,试验结果表明:原子序数较大的无机气体原子可以电离出更多的电子,从而击穿阈值更低,激光能量转化为爆轰波能量的能量转化效率更高,冲量耦合系数就越大,同样条件下更容易击穿。推进剂气体不同,冲量耦合系数差别较大。测量摆角对结果的影响也较大。     

高超声速二维进气道参数化设计方法初探

通过高超声速二维进气道流动与几何参数制约关系分析和参数敏感性分析, 确定了能够对二维进气道进行参数化设计的5个基本几何控制参数, 初步建立了高超声速二维进气道的参数化设计方法.结果表明该方法选择的基本参数能够敏感地反映进气道的关键性能和尺寸, 为二维进气道型面优化设计提供了切实可行的途径.      

镍基单晶合金气冷叶片模拟试样的蠕变性能研究

对带孔和不带孔的某第二代镍基单晶合金平板试样进行了蠕变性能试验研究与有限元对比计算.高温蠕变试验表明, 平板试样的晶体取向和是否开孔对蠕变寿命有明显的影响.气膜孔导致蠕变寿命的降低, 对[001]取向的影响大于[111]取向.在高温低应力条件下, [001]取向的蠕变性能要优于[111]取向.有限元分析结果表明, 气膜孔改变了试样中的应力分布, 在孔附近产生了高应力, 导致模拟试验蠕变寿命的降低.有限元计算蠕变持久寿命与试验结果吻合, 说明采用基于分切应力的蠕变持久寿命计算模型是合理的.