一个不可缺少的条件

利用导数比较区间内点处函数值与区间端处函数值的大小,函数在区间端点处的连续性是不可缺少的条件。     

基于图分割的机械系统概念模块划分

为更好地实现机械系统的模块化设计,在基于功能-行为-概念结构(function-behavior-conceptualstructure,FBCS)的产品概念设计过程中引入面向产品概念要素的图分割聚类算法,建立了一种面向FBCS的产品概念模块划分方法。以堆垛机推拉机构为例,分析了根据产品的总体目标特征,进行产品功能、行为、概念结构求解与功能分解迭代的产品概念设计分解方法。为描述概念产品,提出黑箱法和IDEF0功能描述方法相结合的概念产品建模方法,以建立产品子功能-概念结构模型。在此基础上,建立了产品概念要素(功能、行为、概念结构、接口)的相关关系分析方法,并引入图分割聚类算法进行产品概念要素聚合,以实现产品概念模块的划分。推拉机构的概念模块划分证明该方法是可行和有效的。     

面向复杂几何模型的多级并行四面体网格生成算法

高性能计算机的快速发展为数值模拟提供了必需的硬件环境,数值模拟领域对网格的需求已高达数十亿到数百亿量级,而网格生成作为数值模拟的重要一环,其发展则相对滞后,很难满足并行数值模拟求解器对大规模网格的需求.本文面向复杂几何模型提出一种多级并行四面体网格生成算法,该算法首先基于模型的几何特征建立网格的尺寸场,并基于尺寸场和几...     

基于神经网络的超精密机床伺服进给非线性模型辨识

以双轴Ｔ型结构的超精密金刚石车床的伺服进给系统为研究对象,采用自构造神经网络技术,建立了系统的非线性动态数学模型,为系统非线性控制与补偿提供参考模型     

关于(S)_+型映射的一个区域不变定理及其应用

本文运用拓扑度方法,获得一个关于(S)_+型映射的区域不变定理。作为它的应用,本文得到了扩张映射的满值性,从而部分地回答了著名数学家L.Nirenberg提出的一个关于扩张映射满值性的公开问题。     

双基地中两坐标收站的三维定位跟踪算法

文中讨论了Ｔ／Ｒ—Ｒ型双基地系统中无俯仰信息收站对运动目标的三维定位跟踪能力;通过若干观测点上测量数据的组合,较好地实现厂对运动目标的三维定位跟踪,从而可以将目标的高度信息从变化的距离和之差的测最值中提取出来。文中以仿真手段证明了这种方法的可行性。     

光电火控系统模块化设计初探

对模块、模块化标准进行了概述,阐述了光电火控系统模块化设计的步骤和内容,并提出了光电火控系统模块化设计的方案。     

Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

Bureaucracy Does Its Thing: US Performance and the Institutional Dimension of Strategy in Afghanistan

It is not too soon to draw cautionary lessons from the inconclusive results of US performance during more than 11 years of Operation ‘Enduring Freedom’ in Afghanistan. As in Vietnam, fundamental difficulties persist in adapting enduring institutions to the requirements of strategy. At the heart of the matter is tension between the assumptions that underlie counterinsurgency as practiced in Afghanistan and organization of the US Armed Forces, State Department, and Agency for International Development. Knowledge of basic principles and necessary changes is available to answer the question, could the US have done better?     

Global counterinsurgency and US army expansion: the case for recruiting foreign troops

Given the nature of global counterinsurgency operations, the demands of military expansion, and the need for cultural, linguistic, and regional expertise, the United States Army should evaluate the establishment of US-led foreign troop units for its evolving force structure. This article proposes the creation of an American foreign legion based upon the recruitment of US-led, ethnically homogeneous tribal force units to meet the grist mill of counterinsurgency operations. This structured approach would be more beneficial than the current reliance on a de facto American Foreign Legion, represented by private military contractors (PMCs), many of them comprised of foreigners. These PMCs carry a number of oversight, accountability, and legal risks not found in a fully integrated, and US-officered foreign legion. The British Brigade of Gurkhas, the South-West African Police Counter-Insurgency Unit (Koevoet), and the Kit Carson Scouts serve as relevant historical examples where foreign troops were used to supplement national manpower resources.