Context 的非单调推理

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

不同增强体镁基复合材料的阻尼性能

研究了短切碳纤维、碳化硅晶须、硼酸铝晶须为增强体的镁基复合材料在外加载荷下的阻尼性能,测量了它们的力学性能与断口特性。研究表明：增强体不同的镁基复合材料,阻尼性能不同;在所研究的几种增强体复合材料中,以短切碳纤维增强镁基复合材料的阻尼效果最好;短切碳纤维增强铁基复合材料界面对内耗有明显的影响。     

度量空间的非标准特性(Ⅱ)

本文在文《度重空间的非标准特性（Ⅰ）》的基础上,用非标准分析方法刻划了度量空间上的全有界映射与紧映射的许多特性,并给出了一个赋范线性空间的维数有限的非标准特征。最后,在赋范线性空间中,通过弱拓扑性质的非标准刻划,简洁地证明了Ｅｂｅｒｌｅｉｎ－Ⅲ定理。     

一种新的一体化压水型反应堆──热管输热核反应堆构想

本文提出了热管输热核动力反应堆的构想,即用热管代替现今压水堆的一回路管道、主泵和稳压器,并对热管输热反应堆进行了原理分析,提出了工程应用可行性等急需研究的问题。     

柱壳极限分析的广义变分原理

本文提供了适用于满足简化Mises屈服条件的刚塑性体柱壳极限分析的两类变量广义变分原理,并证明了它与柱壳极限分析的全套方程和条件等价。     

装备综合保障大纲的制定

根据装备综合保障大纲要求达到的目的和所要完成的任务,提出了装备综合保障军用标准的体系表,建议并拟定了“大纲”的框架结构.     

VCOHOR:一个面向复杂对象的版本模型

复杂(组合)对象的版本管理是工程数据库的重要组成部分,承担着工程DBMS定义、描述和操作同一对象的多个不同的表示或一致性状态、支持工程设计反复性和试探性过程的综合控制任务。而版本化复杂对象的数学模型、版本控制机制的逻辑设计以及版本对象的差分存贮等一直是工程数据库版本管理的重点和难点,笔者在以上诸方面进行了有益的探索。     

失调光学系统光线追迹公式

借助坐标变换,对现有的光线追迹公式进行改进,推导出一套失调光学系统的光线追迹公式,利用该套公式可以计算出光学系统存在各种失调情况下的象差值。     

线膛火炮身管剩余寿命的神经网络模型研究

利用前馈式人工神经网络方法,根据试验数据,建立了某火炮身管剩余寿命(RL)模型;并用该模型研究了各特征截面内径改变量对弹丸初速改变量的影响,以及弹丸初速改变量与总内径改变量间的关系。     

过椭圆外一定点作其法线的求解分析及其几何逼近作图

对过椭圆外一定点的法线作图问题作了探讨,指出了几何作图法的不可解性。根据椭圆与其法线的几何特征关系建立了求解法线的解析方程,分析了法线问题解析求解的繁杂性。提出了一种几何逼近作图方法,并具体给出了该方法的几何作图步骤。