加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

自由漂浮柔性机械臂系统的动力学建模与仿真

动量矩守恒约束使自由漂浮柔性机械臂系统成为非完整系统,其动力学模型通常是难以求解的微分—代数方程,因此提出将机械臂系统等效为一个完整系统进行建模。假设载体存在姿态控制力矩,此时由于不存在动量矩守恒约束,系统变成一个完整系统,采用Lagrange方法建立其动力学方程;令方程中载体的姿态控制力矩为零,即得到自由漂浮机械臂系统的动力学方程;采用数值方法求解动力学方程,并将动力学分析的结果与ADAMS中仿真的结果进行对比,验证了模型能够有效模拟自由漂浮柔性机械臂系统的动力学特性。     

太空军事化：动因、争议及趋向

自1960年8月美国成功发射并回收“发现者”13号侦察卫星以来,伴随着美、俄、英等国对外层空间的军事利用的不断加强,太空军事化已引发广泛关注。文章剖析了太空军事化的科技、政治及军事动因,探讨了围绕外空伦理及军备控制等展开的相关争议。认为在人类社会发展的“国家利益本位”阶段,太空军事化进展正呈现出加速态势,相关伦理规约及国际法虽有一定阻滞作用,但约束效力十分软弱。     

基于等值线约束的地磁匹配定位技术

地磁匹配定位是利用地磁图进行定位的方法,位置输出可用于限制惯导系统的误差积累.介绍了地磁辅助导航的原理和发展现状,并重点研究了地磁匹配定位技术.提出了一种基于等值线约束的改进的相关匹配算法,能有效消除导航系统的初始位置误差并能限制匹配过程中惯导系统的积累误差.仿真实验证明该算法能有效地提高相关匹配的实时性,并能把定位精度控制在地磁数据网格间距以内.算法对航向误差具有一定的适应性.     

具有终端角度约束的H_∞制导律设计

针对导弹对地面运动目标精确攻击时姿态约束的H_∞末制导问题,提出了一种新的具有终端角度约束的制导律.基于二维弹目相对运动学的非线性关系,并将目标机动运动和系统结构摄动作为外部的扰动,建立了垂直平面内弹目相对运动的数学模型.以命中点终端姿态角跟踪误差和控制能量最小为性能指标,同时基于零化弹目视线角速率的思想, 设计得到了非线性H_∞鲁棒制导律.该方法利用Lyapunov稳定理论严格证明了制导系统的全局渐近稳定性,而非求解HJI偏微分方程,同时也避免了对剩余时间的估计.数字仿真表明这种制导律在不需要任何目标运动信息的情况下,仍然保证终端角度和制导精度的要求,具有很强的鲁棒性和适应性.     

大椭圆停泊轨道月球探测器发射窗口运动学约束特性分析及转移轨道快速设计方法

通过分析大椭圆停泊轨道月球探测器发射窗口的运动学约束特性,给出了转移轨道运动学约束对发射窗口的影响规律,进一步明确了在该种情况下月球探测器的发射机会和增加窗口的可能性.并结合发射窗口运动学约束特性,提出了一种基于大椭圆停泊轨道的地月转移轨道快速设计方法.仿真结果验证了大椭圆停泊轨道下探测器发射窗口运动学约束特性分析的正确性,以及转移轨道设计方法的有效性.     

党委理财要强化外部约束和激化内在动力

提高党委理财能力,要从确保权力正确行使入手,构建决策权、执行权、监督权、问责权既相互制约又相互协调的权力结构和运行机制;同时要从党委自身建设着手,坚持求真务实,积极进取,开拓创新,激发党委科学理财的内在动力。     

维修性增长趋势检验研究

对即时改进和延缓改进两种维修性增长规划方式进行了趋势检验研究.针对即时改进的维修性增长规划方式,提出了趋势检验的图示法和Laplace方法.针对延缓改进的维修性增长规划方式,根据修复率(第i阶段的修复率为μi)的顺序约束条件:∞>μm≥…≥μi≥…≥μ2≥μ1>0,探讨了指数分布和正态分布维修性增长趋势检验的区间估计法,并结合数值例说明了这些方法的可行性.     

氘-金碰撞中J/ψ产生截面随x_F变化的研究

在不同碰撞质心能量下对氘-金(d-Au)碰撞中J/ψ核吸收效应进行了研究,结果表明,在不同碰撞质心能量下J/ψ核吸收截面随动量分数xF变化趋势明显不同。利用以上结论,计算了美国相对论重离子对撞机(RHIC)能量下J/ψ在氘-金(d-Au)碰撞中与质子-质子(p-p)碰撞中的产生截面比,并与实验数据比较发现,理论结果能很好的解释实验现象。最后,为欧洲大强子对撞机(LHC)实验作了理论预言,理论结果将为即将运行的LHC实验所检验。     

日本舰艇为何总发生碰撞？

日本海上自卫队一向以自身的装备和人员素质而自豪。不少人也承认这一点。但最近一段时间,日本海上自卫队发生的几起事故不禁让人们对这个结论产生了怀疑。