130mm加农炮剩余寿命的一种预测模型

本文根据火炮寿命试验数据,利用给出的模拟曲线的误差调整控制方法,建立了以炮膛定点径向磨损量预测初速变化量和剩余寿命的数学模型。     

多体存贮器有效频带分析

本文以排队论为工具建立了紧耦合多处理机系统存贮器的排队模型。通过对存贮体忙期的分析,得出了存贮器有效频带的解析表达式,研究了在保证存贮器有效频带最大的情况下,处理机的访存请求率λ、存贮体的服务率μ和存贮体数m 三者之间的关系。     

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     

基于R-树索引的Map-Reduce空间连接聚集操作

空间连接聚集是一种常用并且非常耗时的空间数据库操作,特别是在面对大规模空间数据集时,单机运行环境难以满足其对时空开销的需求,如何设计高效的面向云计算环境中的分布式空间连接聚集算法越来越受到人们关注。Map-Reduce作为云计算的核心模式受限于其扁平化的串行扫描操作模型,常被用来加速非索引的空间连接操作,现有工作尚无将Map-Reduce和R-树索引结合来处理空间连接聚集。因此,提出了基于R-树索引的Map-Reduce空间连接聚集算法(RSJA-MR)来更高效地返回连接聚集结果。提出一种分布式R-树索引结构以支持大规模空间数据的索引,RSJA-MR算法利用分布式R-树生成任务集,任务集的执行满足无依赖并行计算模式,很容易在Map-Reduce框架中进行表达。文中提出一种实时缓存策略以支持索引并发访问。实验结果表明:相比非索引的Map-Reduce连接聚集算法,在空间交叠连接聚集查询上,时间性能最少提升8%,在空间包含连接聚集查询上,时间性能最少提升近35%。     

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

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