基于格值逻辑的语义归结自动推理

基于格值逻辑系统的智能信息处理是人工智能的一个重要研究方向，能够对含有不可比较性信息进行有效地刻画； 而基于语言值的智能信息处理理论与方法，也是目前较为活跃的一个研究领域。本书在已有的基于经典逻辑...

自动自发 全新修订典藏版

《自动自发》是阿尔伯特·哈伯德商业思想的完美结合，涵盖了勤奋、敬业、忠诚、自信等内容。是指导员工如何更快的提高自己的一本书。从某种意义上说，该书是对《致加西亚的信》一书更深入、更详细的阐述，是一部...

自动驾驶改变未来

本书以通俗易懂的语言，对自动驾驶相关的技术、社会、经济、法规、道德伦理等方面的内容做了一个全景式的描述，对自动驾驶涉及到的众多技术、现状及趋势进行了阐述、其对环保、交通安全等带来的益处做了说明、...

山地海绵城市建设丛书 山地海绵城市建设案例

微型计算机自动控制系统

按照尽可能对相关先修通识基础课、大类基础课、专业基础课、专业核心课的知识点进行串联和总结性应用，并预留知识接口以衔接后继的专业特色选修课的设想，本教材对原有“微机原理与控制技术”相关教学内容进行...

水源型水库富营养化自动监测与控制技术研究

本书共7章。通过采集底泥原柱状样，分析底泥中含水率和有机质含量变化，建立底泥和间隙水中氮磷含量的相关关系，并研究了不同温度和水动力扰动条件下沉积物的氮磷释放通量和释放规律；系统探讨了生态调度治理底泥...

“内生模式”美丽乡村建设 鄂州市梁子湖区建设实验

中国高速公路建设实录 上海高速公路建设实录 新版

形式语言与自动机 第2版

本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言的基本概念、自动机模型以及形式语言与自动机的等价性，包括右线性文法与有限自动机、上下文无关文法...

山地海绵城市建设丛书 山地海绵城市建设理论与实践