这是一本凝聚态物理学的研究生教材．书中内容以相当大的篇幅介绍“软”凝聚态物理（液体、液晶等）以及非公度晶体、准晶、非晶态固体、拓扑缺陷、孤子等传统固体物理中很少讨论的课题。在理论上强调了序参量。对称性破缺、广义刚度等概念，并系统介绍了重正化群理论及其在凝聚态物理中的应用。本书每章末有习题和参考文献。

本书较全面地介绍了知识库系统的逻辑基础、原理、实现方法与技术，引述了演绎数据库和基于逻辑的知识库系统的数学基础，其中包括一阶谓词逻辑演算、知识推理中的证明论与模型论和基于这两种理论的算法的实现思想，深入地研究了非递归规则的求值、不动点计算的朴质算法、最小不动点的增量求解和基于规则变换的魔集等知识库系统的一些典型的速归查询算法，绘出了典型的知识库试验系统实例及其在图形处理与CAD、决策支持系统、专家

《凝聚态物理学（上卷）》被列入新闻出版总署“十二五”国家重点图书出版规划。《凝聚态物理学（上卷）》在把握从固体物理学到凝聚态物理学历史发展脉络的基础上，为凝聚态物理学建立了一个逻辑上合理明晰的概念体系，并对学科涵盖的丰富内容进行了全面系统的论述。全书除一章综览外，共有八编，计三十八章，分两卷出版。本册为上卷。上卷以综览开头，接下来是前四编。编为凝聚物质的结构，论述晶态物质的结构对称性和构筑原理，并延伸至晶体之外，涉及合金、玻璃、液晶和聚合物等，以及非均质物质；第二编为各种物质结构中波的行为，从论述周期结构中波的传播出发，分别加上准周期性、表面和杂质，以及无序带来的影响，特别强调了不同结构和条件下电子的动力学和输运性质；第三编为键、能带及其它，围绕电子结构这一重要主题，分别论

本书较全面地介绍了知识库系统的逻辑基础、原理、实现方法与技术，引述了演绎数据库和基于逻辑的知识库系统的数学基础，其中包括一阶谓词逻辑演算、知识推理中的证明论与模型论和基于这两种理论的算法的实现思想，深入地研究了非递归规则的求值、不动点计算的朴质算法、最小不动点的增量求解和基于规则变换的魔集等知识库系统的一些典型的速归查询算法，绘出了典型的知识库试验系统实例及其在图形处理与CAD、决策支持系统、专家

本书主要介绍敞开式循环冷却水的化学处理技术，内容包括：1、循环水系统中存在的问题与水质的关系、水中硫酸平衡、判断水垢的形式倾向的方法； 2、水冷却器的结构、传热、损坏的原因及其防护；3、水系统中沉积物、腐蚀及微生物的危害以及化学处理技术；4、化学处理常用药剂、配方及其筛选方法；5、化学处理的现场管理及经验。本书力求理论与现场实践经验相结合，通俗易懂，便于自学。可供水处理技术人员参考，并可供化工厂的技术人员和管理干部了解循环水化学处理的技术知识。

~8章，内容包括：晶体衍射研究的发展、晶体结构的对称性、晶体的衍射方向和倒易点阵、衍射强度和结构因子、电子密度函数的计算和精修、生物大分子晶体的衍射、多晶衍射和晶体结构数据的应用等，涉及化学、物理、数学、生物、电子学等多个基础学科，为读者提供简明易懂、条理清晰的基础知识和原理的介绍，同时提供了研究实例与原理结合进行具体分析。 第9~11章，内容包括：准晶体、准点阵及衍射、准晶体结构测定法，是国际上物理科研尖端前沿。郭先生与2011年诺贝尔化学奖得主D. Shechtman是同时独立发现准晶体的。本书对准晶体加以详细介绍，彰显了我国在准晶研究中的贡献。 本书可作为化学、物理、材料、生物、矿物、冶金等学科的研究生教材，也可供科研人员参考。

~8章，内容包括：晶体衍射研究的发展、晶体结构的对称性、晶体的衍射方向和倒易点阵、衍射强度和结构因子、电子密度函数的计算和精修、生物大分子晶体的衍射、多晶衍射和晶体结构数据的应用等，涉及化学、物理、数学、生物、电子学等多个基础学科，为读者提供简明易懂、条理清晰的基础知识和原理的介绍，同时提供了研究实例与原理结合进行具体分析。第9~11章，内容包括：准晶体、准点阵及衍射、准晶体结构测定法，是国际上物理科研尖端前沿。郭先生与2011年诺贝尔化学奖得主D.Shechtman是同时独立发现准晶体的。本书对准晶体加以详细介绍，彰显了我国在准晶研究中的贡献。本书可作为化学、物理、材料、生物、矿物、冶金等学科的研究生教材，也可供科研人员参考。