本书通过Matlab/Simulink基础工具阐述控制系统的建模、分析和设计。在系统建模与控制导论中，Chiasson博士为电气、机械和航空航天/航空工程专业的学生提供了一个易于理解且直观的建模与控制指南。本书首先介绍了控制的必要性，描述了飞机是如何飞行的，并分别用副翼、升降舵和方向舵进行了横摇、俯仰和偏航控制的图示。本书将继续介绍单轴刚体动力学（齿轮、大车沿斜坡滚动），然后对直流电机、直流转速表和光学编码器进行建模。利用这些动态模型的传递函数表示，引入PID控制器作为跟踪阶跃输入和抑制恒定干扰的有效方法。

当今社会不同学科的相互沟通、交叉、渗透和综合成为主要趋势，新学科大多是综合性科学。重新统一的科学作为一种系统，要求有一种能把现有纵向划分的学科沟通连缀起来的横断学科，提供不同学科都使用的概念、原理和方法，使科学在整体上具有纵横交错的网络结构。系统科学就是这种横断科学，它的科学使命是使新型科学成为一个按多维网络结构组织起来的复杂巨系统，是一种新型跨学科的学问。 　　基于社会的需要,我们请长期这方面研究的方美琪老师组织编写了本教材,主要介绍了系统科学与复杂理论在经济学等社会科学中的应用,以及各种社会科学计算机模型。具体讲述了多主体系统MAS在社会科学中的应用，基于主体的计算经济学研究ACE，流行的多主体建模的平台工具：Swarm,Repast,Ascape等，人工神经网络、遗传算法、分类器系统在学习与进化模型中的应用等内容。

当今社会不同学科的相互沟通、交叉、渗透和综合成为主要趋势，新学科大多是综合性科学。重新统一的科学作为一种系统，要求有一种能把现有纵向划分的学科沟通连缀起来的横断学科，提供不同学科都使用的概念、原理和方法，使科学在整体上具有纵横交错的网络结构。系统科学就是这种横断科学，它的科学使命是使新型科学成为一个按多维网络结构组织起来的复杂巨系统，是一种新型跨学科的学问。 　　基于社会的需要,我们请长期这方面研究的方美琪老师组织编写了本教材,主要介绍了系统科学与复杂理论在经济学等社会科学中的应用,以及各种社会科学计算机模型。具体讲述了多主体系统MAS在社会科学中的应用，基于主体的计算经济学研究ACE，流行的多主体建模的平台工具：Swarm,Repast,Ascape等，人工神经网络、遗传算法、分类器系统在学习与进化模型中的应用等内容。

《电力电子系统建模及控制》重点介绍电力电子系统的动态模型的建立方法和控制系统的设计方法。电力电子系统的建模与控制技术涉及功率变换技术、电工电子技术、自动控制理论等，是一门多学科交叉的应用性技术。《电力电子系统建模及控制》内容包括：电力电子系统建模方法如状态空间平均、平均开关网络模型和统一电路模型等，电流峰值控制的稳定性问题及改进稳定性的方法，DC/DC变换器反馈控制设计，三相PWM整流器动态模型和三相PWM逆变器的动态模型，三相PWM交流器的解耦控制，三相PWM交流器的空间矢量调制SVM方法，DC/DC变换器并联系统的动态模型及均流控制，逆变器并联系统的动态模型及均流控制。

本教材共包含8章，第1、2章为MATLAB数学运算基础应用，介绍了MATLAB矩阵、函数、符号及高等数学函数运算。第3章介绍了自动控制及系统的组成、稳定性的概念及传递函数的建立方法。第4~8章利用MATLAB强大数据处理、绘图函数和Simulink仿真工具，对被控对象模型进行了系统建模、分析、计算、性能指标的优化及控制器设计，从时域、频域、根轨迹、非线性及状态空间几个方面，完成对系统性能指标验证及控制系统设计，还使用GUIDE编写了实验界面，通过人-机交互完成PID参数设计。在教材结构上，便于学生操作和自学。

《复杂系统建模理论、方法与技术》是一部专门研究复杂系统建模理论、方法与技术的著作。作者在全面论述系统建模基本理论和常用建模方法的基础上，重点研究面向复杂系统数学建模的新方法与技术，以及仿真建模环境和工具，并深入讨论人们十分关心的大型复杂仿真系统建模的VV&A与可信度评估技术及其应用。复杂系统建模是越来越多的复杂工程系统、社会经济系统、军事作战系统、人工生命系统等研究的基础，有着极其广泛而旺盛的社会、经济、国防和科技需求，堪称仿真科学与技术的前沿新领域。

《复杂系统建模理论、方法与技术》是一部专门研究复杂系统建模理论、方法与技术的著作。作者在全面论述系统建模基本理论和常用建模方法的基础上，重点研究面向复杂系统数学建模的新方法与技术，以及仿真建模环境和工具，并深入讨论人们十分关心的大型复杂仿真系统建模的VV&A与可信度评估技术及其应用。复杂系统建模是越来越多的复杂工程系统、社会经济系统、军事作战系统、人工生命系统等研究的基础，有着极其广泛而旺盛的社会、经济、国防和科技需求，堪称仿真科学与技术的前沿新领域。

《联邦制导论》不仅适合于学生和政府工作人员，也适合于世界上联邦制国家的每个公民。全球人口的40％生活在联邦制国家。28个采行联邦制政府体系的圈家令人惊异地存在多样化：它们不仅包括世界上最富有的国家——美国——也包括像密克罗尼两亚与圣基茨和尼维斯这样的小岛国。十个最多人口国中的六个以及十个面积最大国中的八个都是联邦制国家。不仅联邦制在世界上变得越来越重要，而且理解其起源、巩固与特征也尤为重要。这本由乔治·安德森写作的精致而简明的读本为该论题提供了一个通俗易懂的、毫无学究气的介绍——他是一位研究联邦制的领先专家，是联邦国家论坛的负责人。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。

数理逻辑是计算机科学的基础之一，在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、二元决策图、模型检查和程序验证等内容。与传统数理逻辑教科书相比，它的主要特色就是紧紧围绕软硬件规约和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法，紧致性理论和Lowenhenm-Skolem定理，并介绍了Alloy语言和Nusmv工具。 本书自出版以来受到广泛好评，已经被包括美国普林斯顿大学、卡内基-梅隆大学、英国剑桥大学、德国汉堡大学、加拿大多伦多大学、荷兰 Vrije大学，印度理工学院在内的多个国家几十所高校采纳为教材。