面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

（德）Michael Huth，（英）Mark Ryan著；何伟，樊磊译2007 年出版277 页ISBN：7111213971

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

非线性微分代数系统的控制理论与应用

张秀华，张庆灵著2007 年出版182 页ISBN：9787030197528

本书针对非线性微分代数系统，介绍了非线性微分代数系统的稳定性，在无源分析和耗散性理论的基础上，给出了非线性微分代数系统的无源性的定义和研究的新理论和新的结果。主要内容包括：系统的介绍了非线性微分代数...

跨越时代的百位中国科学家 第3册 北京市科协系统专用

张藜总主编；罗兴波本册主编2017 年出版483 页ISBN：9787504671493

本册丛书记述了老科学家学术成长采集工程中入选的32位出生于20世纪初，从事气象、农业、动植物及医学专业的科学家学术成长经历和他们对新中国科技发展做出的卓越贡献。各篇文章都为采集工程各个采集小组根据...

城市智能公共交通系统理论与方法

杨兆升著2004 年出版294 页ISBN：711306275X

智能化共交通系统（APTS）是智能运输系统（ITS）的核心研究领域，其理信纸也是智能运输系统的基础理论。APTS主要实现对公交车辆动态监控、实时调度、科学管理等功能，从而达到提高公交服务水平的目的。《智能交通系统（I...

软物质前沿科学丛书 复杂系统的涌现动力学 从同步到集体输运 下

（中国）郑志刚2019 年出版652 页ISBN：9787508855974

由大量单元组成的复杂系统会产生丰富多彩的自组织与集体行为，近几年成为多交叉领域长盛不衰的研究热点。复杂系统的一个重要特征是涌现，即在整体层面会呈现出各种各样个体所不具备的行为。本书以复杂系统中普...

The design and implementation of the FreeBSD operating system (2nd Edition) = FreeBSD 操作系统设计与实现 (第2版

Marshall Kirk McKusick ; George V. Neville-Neil ; Robert N. M. Watson2016 年出版846 页ISBN：7115413499

组成论 复杂度定律和广义集合 系统科学的新分支 对统计学的补充 改造后的熵

张学文著2003 年出版256 页ISBN：7312016405

很多事物都存在组成（成分、构成）问题。作者创立的组成论为此提供统一的认识模型、分析工具、计算方法和原理。他通过广义集合、分布函数和复杂程度三个概念分析事物组成，并揭示了有随机性的事物都遵守最复杂原...

过程控制系统工程

Leon Urbas著2018 年出版161 页ISBN：9787111598381

过程控制系统（PCS）是一个专门用来满足过程工业要求的分布式控制系统（DCS）。许多对安全性和可用性有很高要求的相关过程和工厂，装备有大量的传感器和执行器，带有高自动化程度，至少在标准的操作制度。由于物质、程.....

息息相关 呼吸系统传染病防护知识

中国疾病预防控制中心组织编写，杨建国主编；陈丽副主编2005 年出版140 页ISBN：7810726285

改革开放给我国的社会发展、经济建设带来了新的生机与活力，依靠知识、依靠科技、依靠制度与法律已成为当今社会进步、经济发展的主要推动力。人们更加注重学习、重视自身修养的提高、关注自身的健康状态。特...

石油化工设备设计参考资料 石油化工设备静密封技术报告 5 浮头式热交换器管板法兰系统的应力应变分析及密封性能计算

上海化学工业设计院石油化工设备设计建设组1977 年出版52 页ISBN：