基于模糊神经网络的Horn集上的输入归结

关于定理机器证明的归结原理已应用到人工智能的很多领域，同时提出了各种改进方法，其中，输入归结是一种非常好的推理方法，它对于Horn集是完备的，模糊神经网络是模糊逻辑与神经网络的融合，文中利用模糊神经网络的知识表示及学习的特点，结合输入归结的优点，进行Horn集上的输入归结。     

归结原理及其在数学定理证明中的应用

对归结原理的基本概念与推理规则进行了讨论,并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。     

基于格值逻辑的语言真值α-广义归结自动推理研究

1研究意义 1．1机器智能需要研究不确定性环境中的自动推理 第一,世界上存在大量各种不确定性。客观物理世界或人类主观事理世界或人类主观世界反映客观物理世界时,都存在大量的各种各样的不确定性。     

广义扩张原理及其基本性质

Ｚａｄｅｈ扩张原理是模糊集合论的主要工具之一。本文针对一般的模糊关系提出了一种广义扩张原理并讨论了它的基本性质，为进一步研究模糊集合论提供了一种方法。     

格值命题逻辑系统LP(X)中广义文字的α-归结域

格值命题逻辑系统LP（X）中广义文字的α-归结域的研究，是基于格值命题逻辑系统LP（X）的α-归结原理研究的继续．该逻辑系统的逻辑真值域是格蕴涵代数．讨论了LP（X）的常量、命题变元和一些广义文字的性质，并得到了它们的α-归结域。     

近似空间与测度空间及广义粗集与不可测集

将粗集与不可测集关系的讨论扩大到广义粗集范畴。证明了近似空间是测度空间的基础空间，广义粗集和不可测集分别是在近似空间和测度空间中对集合的不确定性的不同表述；在非零有穷测度的条件下，近似空间中的一个广义粗集，是其扩展的测度空间中的不可测集。结果表明：测度论同术是不确定知识表示和处理的一种有力理论工具。     

近似空间与测度空间及广义粗集与不可测集

将粗集与不可测集关系的讨论扩大到广义粗集范畴.证明了近似空间是测度空间的基础空间,广义粗集和不可测集分别是在近似空间和测度空间中对集合的不确定性的不同表述;在非零有穷测度的条件下,近似空间中的一个广义粗集,是其扩展的测度空间中的不可测集.结果表明:测度论同术是不确定知识表示和处理的一种有力理论工具.     

压电材料的一组广义变分原理

对压电材料的准静态场，采用变分原理的一种新方法－－变积方法。建立了与Ｈ－Ｗ变分原理相对应的一组广义变分原理，揭示了压电材料的变分学特征。     

微极弹性固体的广义变分原理

本文应用变分方法推导出微极弹性固体的广义变分原理，说明了该方法对广义连续统理论的可行性和实用性。     

基于广义变分原理的铁路无缝道岔计算理论

在继承现有试验成果的基础上，将广义变分原理应用于铁路无缝道岔结构体系的分析，提出了一种新的铁路无缝道岔计算理论，建立了较为完善的计算模型，在假设钢轨纵向位移函数的基础上，计算了无缝道岔结构体系各部分的能量，通过广义变分法建立了结构体系的平衡方程，编制了计算程序，分析了固定辙叉无缝道岔钢轨温度力与位移。     

饱和多孔介质耦合系统的广义变分原理

采用梁立孚和石志飞首次提出的变积方法，本文建立了饱和多孔介质耦合系统的两组广义变分原理，并对所得结果进行了讨论。     

刚-耦合系统的广义变分原理

对于由弹性元件连接而成的多刚体系与液体的耦合振动问题,建立了刚-液耦合系统的广义变分原理.该原理解决了刚体系统与液体在耦合面上的相互作用的理论与数值处理方法.根据这一原理,可以建立各种解决这类问题的数值方法.如通过该变分原理综合利用有限元、边界元法及多刚体动力学方法解决工程中液体与刚体耦合振动问题.对于液体部分可采用有限元或边界元进行离散,而刚体部分可利用刚体动力学方法建立相应的系统动能和势能.依此建立可以利用计算机进行分析的数值方法.     

仿紧集上的一类新型广义双拟变分不等式

建立了一个新的极大极小不等式，并利用它研究了仿紧集上一类新型广义双拟变分不等式解的存在性问题。     

固—液耦合系统的广义变分原理

采用变分原理的一种新方法－－变积方法，建立了基于Ｈ－Ｗ变分原理的固－液耦合系统的广义变分原理。     

一类集值算子不动点定理

在Banach空间中研究了一类集值算子的不动点存在性,在不附加连续性条件下得到了不动点存在性结果,且给出了其不动点的迭代收敛序列.     

仿紧集上新型抽象广义双拟变分不等式

笔者在本文应用文献[1]中得到的极大极小不等式研究了仿紧集上新型抽象广义双拟变分不等式解的存在性问题.     

仿紧集上新型抽象广义双拟变分不等式

笔者在本文应用文献[1]中得到的极大极小不等式研究了仿紧集上新型抽象广义双拟变分不等式解的存在性问题.     

仿紧集上的一类新型广义双拟变分不等式

建立了一个新的极大极小不等式,并利用它研究了仿紧集上一类新型广义双拟变分不等式解的存在性问题.     

用广义变分原理分析38号无缝道岔的研究

将轨枕视为弹性地基上的有限长梁，用郭氏法对轨枕进行受力分析，建立了扣件阻力和轨枕变形曲线的关系；在继承现有试验成果的基础上，通过假设钢轨纵向位移函数，计算了无缝道岔结构各部分的能量，再利用广义变分原理建立了结构的非线性平衡方程组，最后用最速下降法求解该方程组，得出38号无缝道岔钢轨纵向力及位移等的分布规律。