捷联惯导位置更新中的多子样算法

以地理坐标系作为导航坐标系,推导了捷联惯导位置更新中的位置增量算法;提出了基于曲线拟合的多子样(二、三、四子样)涡卷补偿算法和位置旋转补偿算法.仿真结果表明,二、三、四子样涡卷补偿算法和位置旋转补偿算法都能有效地计算出涡卷补偿和位置旋转补偿值,并且二、三、四子样涡卷补偿算法和位置旋转补偿算法的精度依次提高.     

Inventory sharing under decentralized preventive transshipments

We consider preventive transshipments between two stores in a decentralized system with two demand subperiods. Replenishment orders are made before the first subperiod, and the stores may make transshipments to one another between the subperiods. We prove that the transshipment decision has a dominant strategy, called a control‐band conserving transfer policy, under which each store chooses a quantity to transship in or out that will keep its second‐subperiod starting inventory level within a range called a control band. We prove that the optimal replenishment policy is a threshold policy in which the threshold depends on the capacity level at the other store. Finally, we prove that there does not exist a transfer price that coordinates the decentralized supply chain. Our research also explains many of the differences between preventive and emergency transshipments, including differences in the optimal transfer policies and the existence or nonexistence of transfer prices that coordinate the system. © 2010 Wiley Periodicals, Inc. Naval Research Logistics, 2010     

UKF与EKF在GPS/INS超紧组合导航中的应用比较

针对GPS/INS超紧组合特点,基于四元素法建立了系统的非线性状态方程,利用GPS接收机原始伪距测量信息对系统状态进行观测,并将EKF和UKF方法运用到系统进行比较,仿真结果表明UKF在姿态、位置估计上精度要优于EKF。     

基于认知的武器系统能力描述模式

研究武器系统能力的过程,是通过实践不断认知武器系统能力,并不断反馈的过程。为此,提出基于认知的武器系统能力描述模式。首先,研究武器系统能力的基本概念,提出将武器系统能力分解为能力要素,直至底层的能力原子,对能力原子分析起关键作用的特性称为能力属性。其次,建立基于认知的武器系统能力描述的三维模型——包括语用维、语义维和语法维。第三,提出由语用分析、语义分析和语法描述构成的武器系统能力的描述框架。最后,通过一个案例示例以说明了模式的有效性和实用性。     

基于序列二次规划算法的控制律寻优设计

针对某型无人机设计的纵向控制系统,运用经典控制器设计,然后通过参数优化而进行时域自动调节控制律参数的方法设计控制律,优化算法采用序列二次规划法.自动调参的过程是直观可视的.仿真结果表明运用该方法所设计出的控制律满足飞行品质要求,比传统的人工调节控制器参数效果更好,并提高了工作效率.这种方法可以应用于其他控制对象.     

C~4ISR需求过程概念

为了规范C4ISR需求工程中的实践活动,提出C4ISR 需求过程的概念.首先,根据C4ISR 需求涉及的作战领域、功能领域、技术领域,将C4ISR 需求划分为能力需求、系统需求和技术需求.然后,定义C4ISR 需求过程的概念,提出由需求领域、需求开发、需求管理构成的三维的C4ISR需求过程框架,需求开发活动包括需求采集、需求建模、需求检验和需求生成,需求管理活动包括关系管理、变更管理和版本管理.最后,给出C4ISR需求过程在C4ISR系统全生命周期各阶段中的实施,说明了其重要性.     

滑模变结构控制的月球着陆舱姿态控制系统设计

在我国的探月计划中,要实现月球探测器软着陆于月球表面.在分析月球着陆舱软着陆段的飞行任务对于姿态控制要求的基础上,基于滑模变结构控制方法,根据实际姿态角和期望姿态角的偏差,给出了线性滑动模态面的切换方程,采用指数趋近律和边界层削抖的方法,推导出期望控制力矩的计算公式.并研究了姿控发动机的配置特点和点火逻辑.给出了由期望力矩计算实际控制力矩的方法.仿真结果表明,该姿态控制系统能迅速地将着陆舱跟踪到期望姿态.着陆舱经过514s飞行,在距月面2 km处将速度减为零,将姿态调整到垂直向下,完成了飞行任务.飞行轨迹比较平滑,具有较好的鲁棒性和自适应性.     

健康跑对增进体质弱势群体女大学生身心健康的研究

运用文献资料、问卷调查法和数理统计法,对高校女大学生体质弱势群体开展健康跑进行了实验研究。结果表明：体质弱势群体女大学生长期进行健康跑锻炼后,有氧耐力得到了明显的提高,改善了心肺机能,并且带来了积极的主观感受体验,对弱势群体女大学生增强体质,保持青春活力有重要作用。     

小型发动机使用微乳化柴油试验研究

配制了含水15%的微乳化柴油,在ZS1115YANM发动机上进行了台架试验,考察了使用微乳化柴油时的油耗和排放.结果表明:尽管微乳化柴油的油耗与基础柴油差别不大,考虑到微乳化柴油中的含水量,综合节油率可达到13%以上;微乳化柴油的排气烟度增加,CO排放增加,NOx排放降低,HC排放降低.     

反证法的历史沿革

反证法是数学中常用的一种证明方法。由于逻辑学中也存在同样的相关概念 ,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系 ,是很有必要的 ,并指出反证法不但是最重要的证明方法 ,而且同其它的证明方法一样也是进行科学积累和发现的源泉。