Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

梁的蠕变脆性各向同性弯曲损伤模型

本文在梁的纯弯曲损伤基本假设条件下,导出了弯曲损伤的基本方程,与Ｋａｃｈａｎｏｖ的材料刚度劣化（受载横截面积减小）定义拉伸损伤变量类似,以梁的弯曲刚度劣化（惯性矩减小）定义弯曲损伤变量,从而建立了与Ｋａｃｈａｎｏｖ拉伸损伤模型相类似的梁的各向同性弯曲损伤模型。最后,以受蠕变纯弯曲梁为实例进行了损伤分析,在一次近似条件下,该弯曲损伤模型的材料常数可由Ｋａｃｈａｎｏｖ拉伸损伤模型的材料常数确定,且所得计算结果与Ｋａｃｈａｎｏｖ拉伸损伤模型所得结果比较吻和,表明该弯曲损伤模型是合理适用的。     

度量空间的非标准特征(I)

本文首先引进度量空间非标准包的定义,然后将讨论非标准包的许多性质。在此基础上,用非标准方法来刻划度量空间中的各种紧性。最后应用这些结果,将证明ＡｒｚｅｌａＡｓｃｏｌｉ定理,并在较弱的条件下,得到Ｂａｎａｃｈ不动点定理。     

一个监控式局部自主机器人控制器的实现与分析

本文介绍了一个严格监督控制（Ｓｕｐｅｒｖｉｓｏｒｙｃｏｎｔｒｏｌ）定义下的局部自主机器人控制器ＧＫＤ３的设计和实现，并从监督控制理论的角度，对ＧＫＤ３的体系结构和功能进行了分析和讨论。     

美国海军的下一代防空武器

（１）下一代单舰防空武器系统——阿基塔（ＡＫＣＩＴＡ）阿基塔系统不仅对现有威胁,对未来威胁也有对抗能力。而且为降低寿命成本,阿基塔系统的开发将对探测装置、武器控制装置和作战武器进行通用化设计和结构模块化设计,根据需要组成系统,各种探测器和武器系统可以无限制地组合。阿基塔Ｂｌｏｃｋ０可以用现在的霍伊多比·爱兰多级ＬＳＤ多库型登陆舰载自卫防御武器系统ＳＳＤＳ·ＭＫ１构成的单舰防御系统定义。该Ｂｌｏｃｋ０的提高等级计划,将装备ＲＡＭ发射架和开发中的有源电波假目标“奴尔卡”等。阿基塔ＢｌｏｃｋⅠ将综合协…     

奇异积分方程在裂纹板条动态断裂分析中的应用(I)

利用积分变换方法,将含Ｇｒｉｆｉｔｈ裂纹的无限长板条问题转化为Ｌａｐｌａｃｅ变换域中一Ｃａｕｃｈｙ型奇异积分方程。通过求解奇异积分方程和对裂纹尖端场的渐近分析,获得了Ｌａｐｌａｃｅ变换域中的动态应力强度因子。     

《高等数学》中“函数”定义之我见

对《高等数学》中关于“函数”的定义提出了质疑 ,指出了与中学课本中的定义不相一致。提出的解决方法是 :使定义一致 ;单独讨论多值函数 ;规定反函数存在定理。     

复Banach空间的凸性及 Hp 鞅

本文系统地讨论了复Ｂａｎａｃｈ空间的各种凸性,以及取值于复Ｂａｎａｃｈ空间的Ｈｐ鞅,得到了关于凸性及Ｈｐ鞅之间的各种等价性命题。     

金融危机与金融数学

本文从东南亚金融危机出发,介绍了金融工程与金融数学的基本内容,特别介绍了获得１９９７年诺贝尔经济学奖的Ｂｌａｃｋ－Ｓｃｈｏｌｅｓ工作,提出对开展金融数学研究的见解。     

军事人才概念辨析

“军事人才”是“军事人才学”中的一个十分重要的概念.然而,目前关于“军事人才”的定义却不尽一致,存在重大分岐.本文分析研究了目前关于其定义表述的三种观点,给出了新的“军事人才”的定义.并阐述了与该定义相关的三个基本内容:1.军事人才有别于军队中的人才.2.军事人才有别于军队干部.3.区别军事人才的标尺明确.     

履带车辆转向功率与直驶功率对比分析

履带车辆转向与轮式车辆转向有着本质的区别.履带车辆转向时的功率消耗较直线行驶功率消耗要大的多.提出了转向功率比的概念,建立了考虑高速履带滑转、低速履带滑移条件下履带车辆转向功率比的计算模型.通过对模型简化与推导,得到考虑履带滑转、滑移实际条件的模型与不考虑履带滑转、滑移理论模型的等价关系.对安装不同转向机构履带车辆的转向功率比进行了分析.通过在3种典型地面条件下对现有的具有有限个规定转向半径车型的示例计算,得到履带车辆转向功率消耗为直线行驶功率消耗的1.63～3.24倍的结论.     

基于VR的虚拟火炮行为仿真

针对虚拟武器装备行为仿真过程中存在的运动仿真复杂、多部件协调操作仿真困难等问题,本文基于虚拟现实建模工具构建了某型传统火炮的三维模型-虚拟火炮,为行军行为仿真过程中运动轨迹选取、运动姿态控制、碰撞检测及响应等问题提供了合理的解决方法;在用炮和收炮行为仿真过程中,重点设计了时间驱动算法来解决多部件之间的协调操作仿真问题。通过对虚拟火炮的特定行为进行可视化仿真,验证了文中行为仿真研究方案的合理性及算法设计的正确性。     

基于整数小波变换的多光谱遥感图像压缩技术

在分析多光谱图像小波变换后系数特点的基础上,提出了一种基于整数小波变换的3维集合分裂嵌入块编码(3D SPECK)压缩方法。该方法将小波变换压缩技术中的零树编码推广到多光谱图像压缩中,采用整数小波变换去除空间冗余,对单波段图像,采用2D SPECK编码,对多波段图像,谱域上构成的小波矢量采用离散余弦变换(DCT)进行变换,对变换后的系数进行3D SPECK编码。实验结果表明,该方法硬件实现简单,编码解码时间快,对内存要求低。     

Gauss伪谱法的再入可达域计算方法

为了加快优化速度和提高优化质量,提出一种基于Gauss伪谱法的再入可达域计算方法。鉴于再入时一般采用固定的攻角剖面,将攻角作为状态变量,仅对倾侧角进行单变量寻优。优化过程中,再入纵程被视为终端约束,以获取不同纵程下的最大横程,将速度倾角视为过程约束,以消除弹道的跳跃现象。通过仿真,求解出了通用航空飞行器的再入可达域,结果与间接法的理论证明一致。     

信息化条件下防精确打击的策略

信息化条件下,精确打击已经成为主要的火力打击方式,防精确打击是一个现实而紧迫的课题。介绍了精确打击武器的概念、分类和应用现状;针对各种精确打击武器的制导原理,提出防精确打击的主要策略。认为反侦察是防精确打击的关键,干扰制导装置是重要手段,建立完善的预警系统必不可少,设置假目标是低成本高效益的防精确打击措施。     

柴油机燃油系统故障诊断研究

应用柴油机燃油系统模拟计算的方法对柴油机燃油系统常见故障的供油压力波进行模拟计算 .通过大量计算表明 :柴油机燃油系统发生单一故障时 ,压力波变化的特征较为明显 ,并就每一种故障产生的压力波特点作了分析 ;当柴油机燃油系统发生复合型故障时 ,压力波变化复杂 ,为提高燃油系统故障诊断的准确性 ,提出采用系统融合的方法 .     

噪声调频信号发生器的研究与设计

为满足现代电子干扰对噪声调频信号源低功耗、快速和灵活可控的要求,采用基于Wallace算法的一种直接快速生成算法,提出了一种运算量小、速度快和全数字结构的可配置噪声调频信号发生器系统设计方案。系统利用正态分布的可加性直接生成高斯白噪声随机变量,采用数字频率合成(DDS)技术完成调频功能,通过内置串行接口配置发生器参数和输出系统运行状态信息。同时,提供了基于FPGA的系统实现方案,其生成信号波形具有严格的相干性和可控性,且对外界环境不敏感。     

防空旅(团)战斗保障体系效能评估模型

防空旅(团)战斗保障体系的效能是形成良好防空作战能力的关键因素之一,结合防空旅(团)的实际情况,建立了防空旅(团)战斗保障体系的效能指标体系,应用AHP法(层次分析法)确立了各因素的权重,给定了防空旅(团)战斗保障体系效能的评价指标,采用模糊综合评判,建立了二级的评估模型,实现了对防空旅(团)战斗保障体系效能的量化评判模型,并通过实例分析证明了该方法的可行性。     

斜入射条件下F-P干涉腔透过率特性分析

分析了斜入射角条件下F-P干涉腔的透过率特性；结合单层介质膜和单层金属膜的反射特性随入射角的变化规律，得出了反射特性参数为恒定值时微腔、低反F-P干涉腔透过率的计算误差；仿真结果表明，在光束斜入射条件下，特别是在大入射角下，单层介质膜的反射率指数增大，单层金属膜的反射率和反射相移也指数增大，但其吸收系数指数减小，造成微腔、低反F-P干涉腔透过率曲线与反射特性参数为恒定值时相比均明显向下偏移，且偏移量逐渐增大。     

动态多因子相关算法及其改进

以组网雷达情报综合处理为背景,针对多站多目标航迹相关问题,首先介绍了动态多因子相关算法的基本原理,然后在此基础上提出了几点改进措施。利用位置因子的重要性对相关判定区域做了限制;利用航向因子对判决结果进行二次修正,同时结合目标的机动检测问题,提高了对目标强机动的检测能力;此外,根据实验结果还对综合处理中的航迹配对准则进行了修正。通过算法的改进不仅改善了航迹相关的质量,还降低了运算量。最后给出了改进后的算法流程图。