当代形式逻辑及其在人工智能中的应用理论研究

半个世纪来获得迅速发展的外延电子数字计算机最根本的特征，决定了其不可能具有从已知得出新知这种作为人类智能基本机制的功能。未来的真正的人工智能的基础装置的核心元件是从根本上区别于与、或、非门，输入...

太阳能热气流发电系统理论与技术应用

首先讲述太阳能热气流发电技术的基本原理、热力学循环理论、结构、优点及存在的问题；其次阐述太阳能热气流发电技术的流动与传热动态特性、蓄热理论、透平结构设计与运行理论；进一步分析环境因素对太阳能热气...

非线性规划 下 算法及其收敛性 1

连分式理论及其应用

本书系统地介绍了连分式理论及其应用。主要内容有：经典连分式的定义与三项递推公式、连分式的等价变换、连分式的奇偶压缩、Stern-Stolz发散定理、周期连分式的收敛性、连分式的加速收敛、Theiele型插值连分...

证据推理理论、方法及其在决策评估中的应用

本书研究证据推理理论、方法及其在决策评估中的应用。在证据推理的合成方法方面，构建了相关证据的合成方法、基于冲突分析的证据合成方法和基于神经网络的证据合成方法；在两维语义证据推理方法方面，探讨了识别...

网络空间安全系列丛书 证据理论拓展及其在信息安全中的应用研究

本书围绕证据理论自身问题和应用展开论述，首先综述证据理论及应用的研究现状；然后介绍证据理论中识别框架、信任函数、似然函数等基础知识，并详细阐述证据理论在确定基本概率赋值、优化证据合成、近似快速工程...

知识系统和电子商务中的网络理论与应用研究

本书从系统的角度对知识系统和电子商务中的个性化推荐系统进行了整体、全面的研究。利用二分网络研究动态网络上的个性化推荐算法；利用复杂网络理论对某一组织的知识系统进行探索，并分析了宏观层次的整体学科...

线性和广义线性混合模型及其统计诊断

本书系统介绍线性混合模型和广义线性混合模型的基本理论和方法，主要包括两类模型的参数估计、假设检验、置信区域和统计诊断问题，重点是两类模型的统计诊断分析，我们采用数据删除方法研究两类模型影响点的探测...

经管系统复杂性研究 理论、方法和应用

首先介绍了复杂性科学的起源和研究现状以及复杂性科学和复杂性研究对经济、管理研究的影响。在此基础上，概括了经管系统复杂性研究的理论和方法；然后尝试以点带面，介绍了经管系统中混沌与控制的基本理论和方法...

知识工作生产率层次结构理论及其应用

本书是两项国家自然科学基金成果的总结。内容包括：（1）给出了以结构化和规范化为标准的知识工作界定准则，提出岗位知识含量的概念并设计了多种测度的工具和方法，对具体岗位进行了测量，证明了这一方法的有效性；......