KDM 智能车的数学模型研究

本文确定了对载车数学模型构造方法,并试图以KDM-1移动机器人作为实例,用非完整系统力学当作分析工具,通过实验获得模型数据,并由实车行驶进行检验,几个重要参数由仿真试验校核。数学模型的仿真与室内的行车试验相对比的结果比较一致。对同类载车数学模型的建立提供了有效的方法。     

面向文本数据库管理系统的授权模型

构造新的授权模型以满足面向对象、语义、文本数据模型等对授权的需求是当前数据库技术的重要研究课题之一。本文提出了一个基于复杂对象数据模型的、以权主群及权体簇作为授权单位的多级授权模型,即MAM模型,并讨论了面向文本数据库授权系统的基本功能及基本操作。     

磁性合金A1-xBx相图的理论计算

采用变分累积展开方法,研究了块体磁性合金的相图.利用随机键海森堡模型计算了面心立方、体心立方的居里点和耐尔点,给出了磁性合金临界点的计算公式,进而分别给出自旋1/2和3/2情况下Tc-x相图,并加以分析.     

防空导弹武器系统抢修性时间参数模型

抢修性作为武器系统的一种特性,与武器系统本身的结构、损伤及抢修人员、工具等许多因素有关。防空导弹武器系统组成复杂,抢修性度量困难。在分析抢修性概念模型的基础上,从抢修性函数着手,推导并建立了防空导弹武器系统抢修性参数模型,最后通过算例对模型进行了验证,为解决防空导弹武器系统抢修性量化难题提供了一种有效的途径。     

The Afghan model in northern Iraq

In Operation ‘Iraqi Freedom’, as the Coalition's heavy forces fought in the South, in the North a handful of special operations forces, working with Kurdish rebels, clashed with the Iraqi army along the Green Line. In operations reminiscent of those used a year earlier to defeat the Taliban in Afghanistan, the lightly armed and heavily outnumbered Coalition forces called in air strikes to defeat Iraq's regular and Republican Guard army divisions. This article tells the story of these operations and discusses some of their implications for future US military policy. The success of the Afghan model in Iraq goes a long way toward demonstrating the efficacy of new air-heavy tactics and shows the strategic value of using light indigenous allies to replace heavy US land forces in both conventional combat and occupation operations.     

Directional change‐point detection for process control with multivariate categorical data

Most modern processes involve multiple quality characteristics that are all measured on attribute levels, and their overall quality is determined by these characteristics simultaneously. The characteristic factors usually correlate with each other, making multivariate categorical control techniques a must. We study Phase I analysis of multivariate categorical processes (MCPs) to identify the presence of change‐points in the reference dataset. A directional change‐point detection method based on log‐linear models is proposed. The method exploits directional shift information and integrates MCPs into the unified framework of multivariate binomial and multivariate multinomial distributions. A diagnostic scheme for identifying the change‐point location and the shift direction is also suggested. Numerical simulations are conducted to demonstrate the detection effectiveness and the diagnostic accuracy.© 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

基于多信号模型的计量策略设计与验证

装备可计量性的理论方法研究对提高装备的计量保障水平具有重要意义。针对国内缺乏装备可计量性模型的现状,提出了可计量性分析设计的多信号模型方法。系统总结了可计量性多信号模型的基本理论,详细介绍了在单超差假设及不考虑组元可靠性、计量时间和费用影响下的超差检查用检定和超差定位用检定操作优选算法以及计量策略制定方法。建立了信号产生系统多信号模型,给出了超差-检定相关性矩阵,分析了信号产生系统的计量检定树,结论与信号产生系统实际检定方法相符,实例证明,此方法合理有效。     

非线性压电振动能量俘获行为建模及其不同参数影响机理研究

如何利用非线性特性来改善压电振动能量捕获性能是工程实际中需要解决的一个问题,为此建立了非线性压电振动能量捕获行为的数学模型,利用定积分法推导了该模型的数值计算方法,并针对不同参数对非线性压电振子输出电能的影响特性进行了数值仿真,结果表明:减小非线性阻尼、增大非线性压电耦合系数均有利于提高非线性压电振动能量俘获的性能;减小非线性刚度能提高低频振动能量俘获的输出,但减小了共振带宽。     

一种面向涌现的比较性话题模型

提出一种CDCMLDA生成模型来实现跨文本集的话题分析,采用狄利克雷组合多项式模型(Dirichlet Compound Multinomial,DCM)对文本集中词的涌现现象进行建模,把DCM模型和LDA结合起来分析文本集之间话题的差异,采用蒙特卡罗期望最大化方法进行参数推导。在多个实际数据集中通过定性和定量的方法对模型进行评价,实验表明,模型不仅能够发现不同文本集间的异同,而且在模型困惑度指标上相对当前两种主要跨文本集的话题模型具有明显的优势。     

基于拉盖尔模型的超声信号渡越时间测量性能分析

传统窄带模型仅能通过数值计算统计出超声信号渡越时间的测量性能。针对这一问题,提出基于拉盖尔模型计算理论克拉下限的方法。研究了拉盖尔函数及其时间导数的性质,得到时间导数内积矩阵,并将其应用到费舍尔矩阵中,能够快速精确计算克拉下限。对混合指数模型仿真表明,在高斯白噪声背景下,渡越时间方差与理论克拉下限具有良好的一致性;受窄带噪声和反射等因素影响,实测数据的渡越时间方差与理论克拉下限存在较大偏差。