基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

锅炉蒸汽温度的广义智能控制系统设计与应用

以具有时变特性、大惯性和非线性的锅炉蒸汽温度受控对象为背景,设计广义智能控制系统,给出闭环控制系统全局渐近稳定的充分条件及其数学证明。仿真实验和在火电厂锅炉蒸汽温度控制系统所取得的实际效果,验证了设计理念的实用性和有效性,较好地解决了控制系统稳定性和快速性的矛盾。     

一类退化椭圆算子的强Hardy型不等式及应用

推广、改进欧氏空间中思想,得到广义Baouendi-Grushin算子的一类强Hardy不等式,进一步建立了一类Hardy-Sobolev型不等式。作为应用,讨论了一类p次退化椭圆Baouendi-Grushin算子的正定性与下无界性,并给出一个正解。     

迭代法在对称性中的应用

通过对迭代公式中转角分配系数的修正 ,使该公式同样适用于含一端固定一端定向支承杆件结构的杆端弯矩的求解     

语境与翻译

“语境”即语言所处的环境，是人们理解和解释话语意义的依据。翻译中对上下文及更广泛的语言环境所确定的语境意义的研究是绝对不可忽视的，本文从狭义和广义两个角度探讨了语境困境在翻译中的作用，认为语境研究是正确翻译的基础。     

含相似节点和不确定扰动的多重连接网络的渐近广义同步

利用分散自适应的方法，研究了一类具有不同维数相似节点和不确定扰动的多重连接网络的渐近广义同步控制问题。针对外部扰动不确定且其界也是未知的情况，设计了分散自适应控制器。利用Lyapunov稳定性理论和Barbalat’s引理，严格证明了网络渐近广义同步的自适应控制方案的有效性。最后，利用数值仿真实例验证了所提结果的有效性和正确性。     

广义Cantor函数的解析表示

用压缩相似变换的反复迭代，找到了Cantor函数的解析表示式，划推广到广义Cantor函数。     

一类和则的推广

本文利用广义Stirling数，推广了L.C.Hsu[1]和Yu Hongquan[2]的结果。     

广义形不变性

讨论了在超对称性量子力学中的平移形不变性和尺度（scaling)形不变性之间的关系，得到更加广义的形不变性。     

Banach空间一阶微分方程周期解的存在唯一性

在一般Banach空间中，利用单调迭代方法获得了一阶微分方程周期解的存在唯一性，并给出了逼近解的迭代序列的误差估计。