长时间以来人们在处理布尔网络方面一直缺乏一个有效的分析和计算工具。自从2000年初程代展等人将半张量积引入到布尔网络研究之后,人们对布尔网络的认识得到了有意义的深入和进步。然而,布尔网络理论还需要丰富和扩展,有些问题还没有得到有效解决,例如耦合布尔网络的同步化问题。因为在现有的文献中,关于带外部输入的主-从布尔网络同步化,还没有给出一般性的判别条件,也没有提供一般性控制器的设计方法。另外,需要指出的是,虽然半张量积在处理逻辑动态方面具有无可比拟的优势,但是它的超指数复杂度是其致命缺点。因此,在布

本书共9章，以硅微机械陀螺为研究对象，通过数学物理方程推导微机电系统宏模型，采用对称拓扑设计微机械陀螺结构，制订简单、高效的工艺加工微机械陀螺，根据精密控制、电学知识设计微机械陀螺测控电路，从而阐明硅微机械陀螺误差产生机理，并为减小误差提供研究思路。本书内容新颖，简明扼要。

本书从企业孵化器的起源、概念内涵、类型、性质、功能、发展趋势等角度展示了国内外企业孵化器的发展趋势，以江西省企业孵化器为例分析了我国企业孵化器的发展成效，建设问题及其原因。书中还围绕江西省企业孵化器发展面临的机遇与挑战，从基本思路、总体目标、体系布局、发展战略、重点任务、政策环境、考核评价等方面探讨了江西省企业孵化器的未来发展路径。

工程控制系统普遍存在干扰现象，这里的干扰不仅包括控制系统的外环境干扰，也包括控制系统的内环境干扰。本书主要针对控制系统存在的内外干扰研究其抗干扰及容错控制的相关理论与应用，主要从随机分布系统基于观测器的概率密度函数形状被动容错控制、主动容错控制、故障和干扰同时估计，火星探测器进入段的姿态容错控制，含恒功率负载的降压变换器、升压变换器、升降压变换器的自适应无源控制、互联与阻尼配置控制、能量整形控制等方面进行深入、系统性的研究，旨在提出新的设计《BR》方法，提升系统的控制性能。

本书以组合数学中的存在问题和计数问题为主线展现理论之美,从满足一定条件的排列组合的存在性入手,介绍计数方法和计数工具,将组合数学运用到与生活密切相关的网络安全实例中,展现其应用之美。全书分为7章,介绍了排列组合概念与方法、特殊计数、母函数原理与应用、递推关系和容斥原理计数方法,以及鸽笼原理和Polya计数定理。本书将合理分类与一一对应的思想贯穿全书,通过常见组合方法的使用呈现组合思想,力求深入浅出、通俗易懂。本书适合40至60学时课程讲授,书中还设计了与应用结合的拓展阅读,配有数字化资源,扫描二

本书以我国中、高烈度地区广泛应用的新型抗震结构体系-高层建筑联肢剪力墙的抗震设计与分析理论为主要内容，全面总结了国内外相关研究和最新发展动态，深入介绍了联肢剪力墙结构体系基于耦合机制的双重抗震防线的工作原理，系统梳理现有规范、规程的相关条文规定，提出高层建筑联肢剪力墙结构体系的性能化抗震设计、分析方法及其关键施工技术。

本书分别从基本原理、技术方法和开发平台等方面对大型港口深水航道全流程安全监测预警理论与关键技术进行全面阐述。书中首先简述港口航道安全基本知识，以及港口航道安全监测预警研究目标、内容和关键技术。然后系统地详述陆海一体化港口航道安全监测高精度三维空间基准框架、港口航道区域地质结构稳定性监测技术、港口航道全息扫描安全监测技术、港口航道声纹扫描安全监测技术等港口航道全流程安全监测预警理论与关键技术研究，包括新一代智能无人艇监测和人工智能识别预警航道边坡失稳滑塌等创新理论与技术体系。在此基础上详细介绍港口

本书从“科学家精神”“科技管理创新”“科技成果转化”“科技合作与竞争”“人才队伍建设”五个部分，阐述了对新时代中国科学事业发展的探索与思考。本书既有以我国科学家的具体事例为基础的对新时代科学家精神的深入分析和阐述；又有从科研机构党建工作、原始创新策源地打造、关键核心技术突破、科技资源优化配置、生态文明建设的评价指标体系等方面，对科技攻关的组织、实施和管理进行了研究并提出的政策性建议；还有就基础研究如何支撑国家现代产业体系、如何构建高校和科研机构科技成果转化体系、如何形成基于企业的科技成果转化机制

本书分为7章，系统地阐述了肾脏疾病的常见症状、实验室检查和病理检查项目，重点介绍了急性肾盂肾炎、慢性肾盂肾炎、肾病综合征、肾小球肾炎、肾功能不全、肾功能衰竭等常见肾病的发病机制、诊断、鉴别诊断、治疗方法和预防。本书讲述简明清晰，注重体现基本知识、基本理论，重点突出，科学实用，紧密结合临床工作实际，反映了近年肾病学研究的新方法和新进展，适于临床肾内科医师及相关专业医务人员、科研人员阅读参考。

实时细胞电子分析技术已广泛应用于细胞生物学、分子生物学、肿瘤学、生物化学、毒理学等多种学科领域，以及药物筛选、研发、生产及质量控制过程。本书系统地阐述了细胞毒性数据的数据挖掘技术与模式识别方法，共分6章，具体包括：细胞电阻抗传感技术、细胞毒性动力学模型参数估计方法、体外细胞毒性评价方法、化学物质MoA分类方法、细胞毒性动态响应数据的可靠性分析方法，以及低诱变细胞数目预测模型估计。