星箭分离相对位姿摄影测量方法

提出一种基于视觉的星箭分离相对位姿测量方法。在相机内参数已知的情况下,将相机安装于运载火箭,并在卫星上固连不少于6个合作标志,利用相机对合作标志实时成像;基于单目位姿估计的基本原理,采用高效n点渗透与正交迭代结合的方式解算卫星与火箭之间的相对位姿关系。仿真实验结果、半实物仿真实验结果证明了所提测量方法的可行性和准确性。     

不可能差分分析时间复杂度通用计算公式的改进

研究Boura等和Derbez分别提出的不可能差分分析时间复杂度计算公式,根据实际攻击过程优化密钥排除的步骤,给出不可能差分分析实际攻击的时间复杂度计算的改进公式,进而利用两个分组密码算法模型将改进后公式计算的实际结果分别与Boura等的公式和Derbez的公式的计算结果进行对比,结果表明Boura等的公式计算结果既可能高于优化公式的实际分析计算的结果,也可能低于优化公式的实际分析计算的结果,而在轮子密钥独立时改进后公式的实际计算结果是Derbez公式的计算结果的2-1.2倍。     

求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

超声速气流中液体横向射流组合喷注特性实验

以液态燃料为动力的超燃冲压发动机中,液体横向射流在超声速气流中的喷注、混合和雾化特性直接影响了超燃冲压发动机燃烧室的工作效率。提出一种基于高速摄影的图像处理方法,此方法能消除图像处理过程中的人为因素干扰,得到唯一、定量的射流振荡的边界信息;提出一种基于粒子图像测速法的射流展向扩展边界获取方法,能得到射流破碎后形成液滴所能达到的最远距离;基于以上两种图像处理方法和对比实验研究了单孔喷注、展向组合和沿流向组合的喷注方式对射流穿透深度、展向扩展和激波角的影响,结果表明:相比单孔喷注方式,展向组合和沿流向组合的喷注方式均能增大射流的穿透深度,且能增大射流的展向扩展角和展向扩展范围;随着沿流向布置的喷孔间距的增大,射流的穿透深度增大。     

关节对中误差对机械臂末端定位精度影响

针对机械臂关节对中误差对机械臂末端定位精度影响进行研究。以6自由度机械臂为研究对象,利用D-H法建立了机械臂运动学模型,并建立对中误差传递数学模型。利用蒙特卡洛方法以MATLAB为平台进行了误差分布仿真实验,得出了由于对中误差引起的机械臂末端定位误差分布特点,以及在不同对中误差等级下,机械臂末端定位误差概率分布情况。为对中误差修正提供了参考基础,同时为机械臂定位精度评价提供了定量化依据。     

双重系统加密研究: 获得完全安全的IBE及其扩展

双重系统加密技术首先由Waters提出,是用于构造完仝安全的基于身份的加密(IBE)及其扩展方案的有力方法.针对完全安全方案的构造,研究了双重系统加密技术并提出了一个完全安仝方案的通用构造方法,即将一个利用双重系统加密的IBE方案与一个普通的方案相结合,得到一个新的可以利用双重系统加密证明安全的方案.在通用构造的基础上提出了一个实例,该实例是一个基于层级身份的加密( HIBE)方案,具有常密文长度.该方案比Waters提出的双重系统加密HIBE方案更高效,并且在判定BDH假设和判定线性假设下证明是完全安全的.     

燃气流量可调固体火箭冲压发动机飞行性能分析

在建立燃气流量可调固体火箭冲压发动机工作过程仿真模型的基础上,对燃气流量调节过程中发动机飞行性能进行分析.结果表明,在低飞行高度或高飞行马赫数时,发动机有较宽的推力调节范围;随着飞行高度降低或飞行马赫数增加,发动机推力系数降低;随着燃气发生器喷喉面积变小,发动机推力和推力系数增加.     

复合固体推进剂颗粒填充模型及其统计特性分析

复合固体推进剂属于高填充比颗粒类复合材料,氧化剂和金属颗粒在基体中的随机分布使其在细观尺度具有非均质的特点。从细观尺度研究固体推进剂燃烧及力学性能时,必须考虑颗粒级配、空间分布和种类等因素的影响。采用分子动力学方法,以硝酸酯增塑聚醚高能复合固体推进剂为研究对象,将固体颗粒模型化为球形,生成其在基体内随机分布的颗粒填充模型。利用Monte-Carlo算法模拟计算颗粒填充模型细观结构的两点概率函数,并研究了颗粒填充体积分数、尺寸与级配等参数对其的影响规律。从统计意义上给出具有各态历经性、统计均匀性和各向同性特点的颗粒填充构型最小周期性代表体元尺寸,可有效减小后续研究的计算量,节约计算成本。所构建的推进剂细观几何构型及对最小周期性代表体元尺寸的计算为后续开展复合固体推进剂细观尺度燃烧、燃面处铝团聚及力学性能数值研究奠定了基础。     

用建模前估计法辨识飞行器的气动参数

给出了一种利用飞行器飞行试验实测数据估算飞行器气动参数的建模前估计算法，完成了某轴对称无控飞行器的非线性气动参数辨识。计算结果表明：该方法计算过程简单、迅速，可以作为快速估算飞行器气动参数的有力手段，尤其适合于辨识大攻角下的气动参数。     

两段探测目标的传感器任务调度问题0-1规划模型及算法

为解决指挥系统控制中的调度困难,研究了一类特殊的传感器资源调度问。主要分析了跟踪目标的探测次数、时间间隔和传感器资源等约束条件。用跟踪目标的重要程度之和作为目标函数,建立了一个0-1规划的数学模型,再利用变换将其转化为0-1线性整数规划模型。利用割平面法求解得出最优调度策略,其能在工作量饱和的情况下合理调度传感器资源。为提高求解速度,提出了对应的模拟退火算法。通过对一些不同规模实例的求解,在资源利用率和算法的求解速度等指标上,与割平面法及遗传算法进行对比分析,验证了模型的有效性和模拟退火算法求解的高效性。