农业科技多维语义关联数据构建研究 【工业技术】

本书基于国家农业图书馆和农业科学数据共享平台中各类数据资源，开展了农业科技多维语义关联数据构建方法和关键技术研究，并选取“水稻”领域进行了实证研究，设计并实现了基于关联数据驱动的领域知识服务原型系...

家庭服务机器人工具和环境的功用性认知研究 【工业技术】

本书针对家庭服务机器人的智能提升问题展开研究，系统地介绍了服务机器人环境与工具认知研究的基本理论及其最新研究成果，全书分为环境功能认知、日常工具功能认知两个篇章，其中，环境及其功能认知着重阐述室内功...

语义Web服务组合若干关键技术研究 【工业技术】

本书根据Web服务组合的生命周期，展开语义Web服务组合关键技术研究，重点在：Web服务和Web服务组合的形式化模型，Web服务自动组合的推理算法，Web服务组合的正确性验证，Web服务组合的异常处理等四个方面进行了有效的...

现代工程认知实践 【工业技术】

本书分为三篇：工程论篇、工程实践篇、工程案例分析篇。工程论篇从工程发展史、工程本质及未来工程趋势、工程起源等多个方面来阐述工程本质；工程实践篇对机械制工程的一般过程逐一进行概念性介绍，涵盖了产品设...

计算机科学哲学研究 认知、计算与目的性的哲学思考 【工业技术】

本书以哲学、进化生物学、认知科学、逻辑学、计算机科学与自动机理论的结合点为轴心，以计算机科学哲学领域的计算主义和反计算主义相对立的研究立场为主线，试图在计算机革命或哲学的信息转向的背景下对人机类...

形式语义学研究 【工业技术】

形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑学、哲学、数学、语言学等好几个学科，其显著特征是运用逻辑和数学的形式化方法去研究自然语言的形成...

知识工程中自然语义的模糊表达 【工业技术】

λ-演算的语法和语义 【工业技术】

认知无线电网络中基于博弈论的功率控制算法研究 【工业技术】

《认知无线电网络中基于博弈论的功率控制算法研究》是根据国家自然基金课题“基于认知的无线资源管理与利用”的研究结果，本书较为系统和全面阐述认知无线电网络中功率控制问题的研究现状、认知无线电网络构...

程序设计语言的形式语义 【工业技术】

本书是计算机专业本科生研究生形式语义学教材。