定理机器证明

自动定理证明

特勒根定理和网络

符号逻辑与定理机器证明

特勒茛定理和网络

非线性代数方程组与定理机器证明

语言概念空间的基本定理和数学物理表示式

本书是关于概念层次网络理论的核心成果，在信息识别处理，以计算机理解自然语言方面是很受重视的一种理论。

广义Tellegen定理与电力系统潮流计算

本书较系统地介绍了关于广义Tellgen定理的理论进展以及该定理在电力系统潮流计算中的应用研究成果。主要内容：广义Tellegen定理及相关定理；广义Tellegen定理与电力系统牛顿-拉夫逊法潮流计算；广义Tellegen定理...

弯曲厚矩形板功的互等定理及其应用

本书首先介绍了Reissner厚板理论，给出了Reissner厚板理论的基本方程和边界条件。其次，介绍了功的互等定理的经典命题、功的互等定理的修正命题和功的互等新体系，这是本文求解和计算的理论基础。最后，根据中厚矩...

离散系统网络化控制理论 传输速率定理

基于物联网的网络化控制技术正在逐渐形成，并受到关注，网络化控制技术主要应用于大城市交通系统的实时指挥和控制，航空工业中的飞机导航自动化控制，石油化工和冶金等连续流程工业的生产控制和调整，战术导弹的数字...