三值R0命题逻辑系统的条件真度理论

文章在三值命题逻辑系统中随机真度，随机度量空间的基础上，引入了命题的条件随机真度、条件相似度和条件伪距离的概念，研究了其性质，建立了条件随机度量空间。     

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其扩张系统MP^*、中介谓词演算系统MF及其扩张系统MF^*，以及带等词的中介谓词演算系统ME^*组成。本文讨论中介命题扩张系统MP^*推理规则集SA的简化。对于一个形式系统的推理规则而言，在保证其相容性、完备性和独立性的前提下，形式系统的推理规则集越简洁，使用越方便。本文对规则集SA进行了简化，方法是：如果SA中某条规则可由SA中其余规则推导出来，并且推导过程所用形式定理的证明未用到此规则，则此规则可被简化而不影响SA的效力。作者简化了SA中8条规则并且证明简化后的规则集与原规则集SA等价。     

轴测投影基本定理的计算理论和方法

波克－许华尔兹定理是轴测投影的基本定理。本文研究了轴测投影基本定理的计算问题,给出了从投影图形计算空间四面体位置及运动参数的计算方法和公式;同时给出了从空间四面体计算投影图形位置及运动参数的计算方法和公式,据此建立了新的、含有定量关系的轴测投影基本定理。     

一种抽象缺省推理框架的表示性质

提出了抽象缺省推理框架和D-后承关系的概念。从而进一步给出D-后承关系的表示性质，并由此证明了任意无联结词形式的累积非单调后承关系，可以用抽象缺省推理框架来表示。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

多学科优化中基于实例推理的气动近似模型

为提高飞机多学科优化效率,对气动近似计算模型进行了改进。在比值修正模型所构造的气动近似模型的基础上,引入了基于实例的推理技术对其加以改进。通过采用与飞机气动特性相关的参数作为实例属性,建立了飞机方案实例,并改进了实例检索公式,最后通过复用与当前方案最相似实例的修正因子改进了优化中的气动近似模型。以常规布局民用飞机概念设计为例,采用改进的气动近似模型进行了多学科优化研究。结果表明,对于具有大量设计变量的飞机方案优化问题,采用改进的气动近似模型能够有效提高计算精度与优化效率。     

基于对偶规划和可靠度的一种桁架结构优化方法

用结构分析的有限元法给出桁架元件的内力，并由计算机自动形成失效模式的安全余量方程，基于分枝限界法，提出了一种准确判认主要失效模式的新方法。用近似公式计算结构系统的可靠度，导出了结构系统可靠度的敏度分析表达式，采用对偶规划求解了结构系统可靠度为约束的最小重量设计问题，计算了若干例题，结果表明，本文提出了方法相当有效。     

关于特殊广义逆法的推导及说明

本文对文[1]给出的一组利用非完备测量模态修正结构有限元模型的公式提出了一种新的推导方法.指出了文[1]公式实际上所满足的基本关系及所隐含的一个近似假设。     

多指标正交试验的模糊分析方法

近年来，逐渐运用模糊数学的相关方法对多指标正交试验结果进行分析，但仅限于具体方法的运用，对指标模糊化的意义和概念缺乏理解，对指标模糊化的方法缺乏深入的探讨。本文利用模糊数学的相关概念，模拟人的思维过程，对于多指标正交试验，建立了指标满意度和指标综合满意度的概念，讨论了其隶属函数建立的一般方法，并在此基础上给出了模糊向量单值化法、模糊距离法和模糊关系综合评价法3种多指标正交试验模糊分析的具体方法，从而为在多指标正交试验结果分析中运用模糊分析方法，建立了理论基础。     

某型发动机故障诊断专家系统研究

采用分类建库和精确与模糊相结合的综合推理策略,设计该型发动机故障诊断专家系统;运用知识库与系统分离模式,可以不断丰富知识库的知识,提高诊断准确率。     

结构的模糊随机可靠性分析

根据工程设计中存在的大量的模糊性因素，将模糊理论与结构可靠性理论相结合，分别建立了基本空间为连续集和离散集时结构的模糊随机可靠度公式及一些特殊可靠度公式；运用模糊集合基本运算法则，获得结构安全这一模糊随机事件的隶属度表达式；通过算例形象地阐述了计算方法，并分别给邮由随机模糊性，随机性和模糊性所引起的结构可靠度值。     

高血压鉴别诊断专家系统HEDDS的不精确推理算法

本文在分析著名的医学专家系统MYCIN不精确推理算法的基础上,提出了一种易于在微型计算机上实现的简便有效的不精确推理算法,并就其一些性质进行了讨论。     

Z-空间上的有界线性泛函的性质

文章在次范整线性空间中利用Hahn-Banach扩张定理给出泛函存在定理,分隔性定理,这些定理推广赋范线性空间的泛函存在定理、分隔性定理.     

Dempskey公式及其改进

在美国海军用的可靠性和有效性评审程序手册中,推荐了Dempskey给出的正态单边容许限系数K及正态单边可靠性下限R_L的近似公式,但迄今找不到推导该公式的文献。本文指出,Dempskey公式就是所述问题的经典一阶近似限。计算表明,其误差较大。为此,本文给出了经典二阶近似限及Bayes近似限。前者在样本大小大于10,后者在各种样本大小的情况下,均可很好地满足工程实践的需要。     

FC-空间内的KKM型定理及应用

在不具有任何凸性结构和线性结构的有限连续空间(简称FC-空间)中给出了KKM型定理。并应用此定理,在很弱的条件下证明了鞍点定理和Walras型定理,推广了近期文献中的一些相关的结果。     

基于神经网络非线性时滞系统的鲁棒可靠控制器设计

将一类非线性时滞控制系统中的非线性部分，用一个单隐层神经网络来近似代替，采用线性微分包含（LDI-linear differential inclusion）的方法来线性化该非线性环节，对于线性化所产生的近似误差、时滞和执行机构故障作为系统的一部分设计可靠鲁棒控制器，相关的定理也一并给出。高阶微分和偏微分方程一般是用来解决这类非线性系统的主要方法，文章中提出的可靠鲁棒控制器设计方法克服了以上这些方法求解困难的缺点，仿真示例用设计好的可靠鲁棒控制器与常规极点配置法进行了比较，从而表明了这种方法的有效性。     

基于Web和层次实例推理的CAPP的研究

针对网络时代制造业企业对CAPP系统的现实要求,研究了以互联网为基础,以开放、通用、智能为特征的CAPP模型.模型采用数据库、Web服务器和客户端三层结构,实现了CAPP的在线服务.本文提出了一种称为基于层次实例推理的工艺生成方法,该方法将工艺计划分为工艺过程、工序和工步三个层次,并对这三个层次分别进行基于实例的分层推理,使工艺生成规则描述的随意性为基于粒度描述的规范性,降低了工艺规程组合和重用的粒度.由于采用基于层次的实例推理方法,使工艺生成既具派生又具创成的特征,提高了工艺生成的通用性和实用性.     

El-Nabulsi型非保守动力学系统的近似Noether不变量

为了探究小扰动作用对动力学系统不变量的影响，研究El-Nabulsi指数模型和El-Nabulsi幂律模型下非保守系统的近似Noether不变量。根据Hamilton原理，并以非标准Lagrange函数作为其作用量泛函，建立非保守系统的El-Nabulsi型动力学方程。在此基础上，依据泛函在无限小变换下的不变性，给出非保守系统在小扰动作用下的近似Noether不变量。当未受扰动时，则给出精确Noether不变量。证明了El-Nabulsi指数模型和El-Nabulsi幂律模型下非保守系统的近似Noether不变量定理。本文方法为研究非保守系统动力学提供了一个新的思路，算例亦显示结果之有效性。     

威布尔分布可靠性下限的F—近似的更正

本文指出,Mann在将她推导的正确的威布尔分布可靠寿命下限的F-近似公式转换成可靠性下限公式时,不慎失误。这个失误的公式已被广泛引用。本文给出了威布尔分布可靠性下限F-近似的正确求法,并用数值例说明这些结果.     

飞机尾流控制的SPIV实验研究

利用简化的飞机模型,通过改变尾翼的迎角及展弦比,试图建立一种能加速自我消亡的尾流涡系统.该实验在拖曳水槽中进行,运用SPIV(体视粒子图像测速技术)系统进行测量,获得了一系列空间切面的2D/3C(二维/三分量)数据,给出了三种不同尾翼情况(两种有尾翼情况及一种无尾翼情况)下的SPIV观测结果,并将这几种情况作了对比.