礼炮的起源

鸣放礼炮起源于英国,四百年以前,英国是世界上航海事业最发达的国家。英国海军舰船在驶入别国海域之前,为了表示对对方没有敌意,把军舰上的炮弹放光;在遇到别国舰船时,也把炮内的炮弹放掉,表示同对方友好。以后鸣放礼炮便成为国际上相互表示敬意的礼节。     

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

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

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

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

一类变长度棱边多项式鲁棒稳定性半径计算方法

利用变长度棱边多项式的概念,PI控制器鲁棒镇定区间对象族问题归结为4个变长度棱边多项式的同时稳定性问题,这4个变长度多项式可用标称系统(区间对象族的中点)和一个实参数(稳定性半径)表示.将这个同时稳定性问题转化为实的结构奇异值问题.基于这个结果,可用μ工具箱进行优化计算,PI控制器镇定区间对象族的闭环控制系统的稳定性半径被确定.方法是基于扫频的,但扫频是立即的.最后,用数值实例说明所给方法的有效性.     

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

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

固连双相机多视图重建测量方法设计

大范围场景光学非接触式测量在工程中具有广泛的应用需求,常规基于单相机的多视图重建测量方法需要在场景中加入尺度基准,图像采集过程复杂、对图像重合度要求高。为此提出一种利用固连双目相机进行多视图重建的方法,既继承多视图重建中测量范围大的优势,同时又无须尺度基准,图像采集过程更简单易实现,数据优化过程中还额外增加了双相机固连约束条件。具体实现过程中,首先标定获取安装在固定杆上的两相机的内参数及固连关系,然后使用双相机对待测量区域采集图像并双目交会获取每一时刻的空间点云。计算相邻时刻点云所在坐标系的转换关系,通过传递将所有时刻图像对应相机位姿以及交会点云统一在指定坐标系下,由光束法平差优化相机位姿及点云坐标,由重建点云坐标即可计算待测尺寸参数及形变信息。经实验验证,在5 m范围内,其测量误差最大3 mm,均值1 mm。该方法可以满足大尺寸物体、大范围场景的测量需求且稳定可靠。     

J2摄动下卫星编队重构的多脉冲轨迹优化

针对考虑J_2摄动的椭圆参考轨道的编队重构问题,以消耗燃料最少为目标函数,基于高斯变分方程研究编队重构的多脉冲轨迹优化方法。推导考虑J_2摄动和轨道面内外耦合的轨道要素偏差线性动力学方程,采用遗传算法和序列二次规划结合的混合算法对总的速度增量进行优化。数值仿真表明该混合算法有效,可以高效地得到可行解。由于考虑了J_2摄动和椭圆参考轨道,该算法对航天任务中的轨迹优化具有一定的参考意义。     

高度重视和加强机关党的建设

加强机关党的建设,要着眼机关的职能和特点,认真研究解决机关党员干部管理中的薄弱环节,进一步强化党员意识;增强党管党员干部的观念;切实把廉政建设抓紧抓好。     

钢管约束混凝土抗多发打击试验

为研究钢管约束混凝土抗多发打击性能,进行了12.7 mm穿甲弹多发打击钢管约束混凝土厚靶试验,得到靶的损伤模式和侵彻深度,并建立重复打击侵彻深度预测公式。结果表明:厚度为300 mm的小直径钢管约束混凝土靶能够有效防御3发12.7 mm穿甲弹的重复打击,第二、第三发较前一发侵彻深度的增幅分别小于20%和10%;重复打击侵彻深度预测公式与试验吻合较好。研究结果可为钢管约束混凝土防枪弹结构和遮弹层结构的研究提供参考。     

疲劳裂纹闭合的非线性超声在线测量

建立了外部载荷作用下用非线性振动-声场调制指数表征裂纹尺寸的数学模型。根据对外载荷与塑性致闭应力共同作用下裂纹面的开闭响应的分析,提出了裂纹张开和闭合应力的在线测量方法。在一块含中心穿透裂纹的铝合金薄板试件上进行了裂纹闭合参数的测量实验,实验结果表明,使用振动-声场调制技术在线测量裂纹闭合参数是可行且有效的,且该方法还能用于分析小裂纹的特殊开闭行为。