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

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

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

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

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

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

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

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

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

维修性增长趋势检验研究

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

价值与成本:军队组织文化的一种经济学分析范式

文章运用经济学研究的核心范式——成本收益理论对军队组织文化进行了深入细致的分析,揭示了军队组织文化的价值收益,提出军队组织文化成本约束假说。认为,军队选择特定的军队组织文化是在军队组织文化成本这一约束条件下实现其最大收益的结果。     

野外无人车路径规划与轨迹规划技术

常规布局及结构化的城市环境中的无人地面车,其环境感知和路径规划技术的研究相对成熟.然而,无人车在信息未知、环境复杂的野外进行自主规划和障碍规避尚存在困难.针对复杂环境中无人车的路径规划和轨迹规划技术展开研究,首先,考虑环境相对未知、存在凹凸障碍物和起伏地面等因素,利用激光雷达、相机和IMU组成车载多传感器系统获取复杂的...     

克服松、软、宽现象 严格执行财经法规

财经法规执行过程中存在松、软、宽现象的主要根源,在于法纪观念淡薄及个人主义、局部利益及本位主义、庸俗关系及好人主义。为此,当前应着力做好以下几方面工作:施教于先,提高依法理财的自觉性;从严立制,增强财经法规的严密性;严管干部,维护财经法规的权威性;强化机制,增强财经法规的约束性。     

基于行为约束的军事信息服务描述及过滤方法

针对传统服务描述模型无法对军事信息服务中服务的使用权限、适用范围等非功能约束信息进行全面、标准化描述的问题,扩展已有web服务通用描述模型,提出了一种基于行为约束的军事信息服务描述模型,以全面支持军事信息服务功能、行为约束和服务质量的描述.在此基础上采用分层匹配思想,在服务发现过程中引入相似度和匹配算法,对行为约束的相...