行业软件及应用
-
企业经营电子沙盘模拟教程应军，史叶超，陆滨强 编本书共分三篇：第一篇企业管理知识概述，主要内容包括制造型企业管理概述、企业主要过程管理；第二篇企业经营电子沙盘模拟实训与操作，主要内容包括企业经营电子沙盘模拟准备、ITMC 电子沙盘模拟实战、浙江省大学生企业经营沙盘模拟竞赛简介以及各自运营和成果分析，本篇是本书的精华所在；第三篇企业经营模拟沙盘总结，主要内容包括经营成果分析、企业经营策略分享。 -
计算机控制系统刘彦文 著《计算机控制系统》系统地介绍了计算机控制系统的基础知识、设计方法和典型应用。《计算机控制系统》共10章，第1章主要介绍计算机控制系统的组成、分类及发展趋势；第2章介绍计算机输入/输出接口与过程通道；第3章介绍计算机控制系统的数学描述；第4章至第9章分别介绍计算机控制系统的特性分析、频率响应、鲁棒稳定性分析方法及各种经典设计方法，并结合具体实例进行应用；第10章通过一个具体例子介绍计算机控制系统的设计步骤和设计过程。《计算机控制系统》是作者结合多年的研究成果和工程应用实践，依据高等学校自动化专业本科及研究生的教学要求而编写的，其内容反映了计算机控制系统近年来的新进展。本《计算机控制系统》典型控制系统的应用都是通过具体的实例来讲解的，为实际系统的工程设计提供了可以参照的样板，也为理论工作者提供了大量的应用实例。 -
系统建模与仿真刘雁 编《系统建模与仿真》借助MATLAB语言，介绍了系统建模和仿真的基础理论与应用方法。全书共分为7章：章概述了系统建模与仿真的基本理论；第2章介绍了MATLAB应用基础知识；第3章主要涉及在工程应用领域中常用系统数学模型的理论知识；第4章引人了Simulink的应用基础及方法；第5章通过一些实例介绍了采用Simulink进行动态系统建模和仿真的方法；第6章叙述了采用Simulink实现复杂系统建模的方法；第7章通过几个实例介绍了系统建模与仿真在工程领域中的应用。为了适应现代数字化系统的发展，《系统建模与仿真》分别从连续系统、离散系统和混合系统的角度介绍了系统建模和仿真的方法。《系统建模与仿真》是为高等学校机械类或机电类相关专业的硕士生或高年级本科生学习系统建模与仿真知识而编写的，亦可作为科技工作者和教师等相关人员学习和应用系统仿真技术解决实际问题的参考书。 -
计算机控制技术姜学军 等编《计算机控制技术（第3版）/21世纪高等学校规划教材·计算机应用》系统地阐述了计算机控制系统的分析方法、设计方法以及工程实际的应用。主要内容有计算机控制系统概述，信号的采样与恢复、Z变换、Z传递函数，离散系统的稳定性分析、过渡响应分析、稳态准确度分析、输出响应、根轨迹分析、频率分析，计算机控制系统的离散化设计，计算机控制系统的模拟化设计，线性离散系统状态空间分析，线性离散系统状态空间设计，复杂控制规律系统设计，预测控制系统设计，智能控制系统设计，计算机控制系统设计与实现。《计算机控制技术（第3版）/21世纪高等学校规划教材·计算机应用》既注重理论体系的完整性，又注重工程实际的应用性； 体现了理论联系实际，并解决了工程实际中常出现的问题。《计算机控制技术（第3版）/21世纪高等学校规划教材·计算机应用》可作为高等院校计算机、电子、自动控制及自动化专业的本科教材，也可作为有关科研技术人员的参考书。 -
计算机组成虚拟仿真与题解蔡政英，覃颖，陈慈发，胡少甫 著《计算机组成虚拟仿真与题解/普通高等学校计算机类工程教育系列教材》共10章，全面透彻地讲解了经典计算机，并行计算机以及生物、光、量子等新型非经典计算机组成的虚拟仿真设计方法，共设计了43个仿真实验、60余道精选习题，各章节还对精选习题进行了详细解答，能够帮助读者熟练运用数学、自然科学和工程科学的基本原理，解决计算机组成领域的复杂工程问题。《计算机组成虚拟仿真与题解/普通高等学校计算机类工程教育系列教材》提供配套学习资源，便于读者学习、研究、参考。《计算机组成虚拟仿真与题解/普通高等学校计算机类工程教育系列教材》层次清晰、图文并茂、实例丰富、讲述详细，可作为高等院校计算机、自动化和电子工程等相关专业的本科生、研究生教材以及工程教育专业认证用书，也可供计算机研究人员和工程技术人员参考。 -
计算机控制技术方红，唐毅谦，喻晓红，严刚峰 著《计算机控制技术（第2版）》系统、全面地介绍了微型计算机控制系统的理论与各种应用技术。本书兼顾基础性、实用性和先进性，注重工程应用。全书分 8 章，主要内容有：计算机控制系统概述，过程输入/输出通道，计算机控制系统的理论基础，数字PID控制器，模糊控制、伺服装置与数字控制系统，控制网络技术及现场总线，微型计算机控制系统设计方法及实例等。各章都有小结并附有相应的思考与练习题，书的最后还附有3个课程设计实例供选用。《计算机控制技术（第2版）》可作为高等院校、职业技术学院的微型计算机应用、自动化、电气工程及其自动化、仪器仪表、电子、通信、机电一体化等本科和专科专业相关课程的教材或参考书，也可作为广大从事微型计算机过程控制系统设计的技术人员的参考手册。 -
公理化集合论机器证明系统郁文生，孙天宇，付尧顺 著利用计算机证明辅助工具，可以完整构建这三大母结构的形式化系统。本书利用交互式定理证明工具Coq，实现Morse-Kelley公理化集合论形式化系统，包括对该体系中8个公理（含选择公理）和1个公理图示以及全部181条定义或定理的Coq描述，其中构造了序数和基数，定义了非负整数，把Peano公设当作定理，可以迅速而自然地给出一个数学基础，摆脱了明显的悖论。这是Morse-Kelley公理化集合论系统的首次形式化实现。 -
系统生物学问题的时滞动力学分析闫芳，刘海鸿 著《系统生物学问题的时滞动力学分析》简要介绍时滞动力学方法在系统生物学问题中的应用，侧重于时滞在某些生物问题中的重要作用。采用专题形式编排，包括四个具体热点问题（传染病模型、基因调控、神经网络以及细胞应对DNA损伤的调控机制）的研究背景及意义、动力学理论分析以及数值模拟分析等。其中理论部分主要集中在正平衡点的稳定性、Hopf分岔的存在性以及Hopf分岔的性质等内容。 -
广义马尔可夫跳变系统的分析与控制李丽 著《广义马尔可夫跳变系统的分析与控制》主要阐述广义马尔可夫跳变系统的稳定性分析以及控制器设计的基本内容和方法，介绍国内外相关领域的新研究成果。本书采用广义系统理论、随机系统理论和鲁棒控制理论的思想，利用先进的矩阵分析理论和线性矩阵不等式方法对非线性时滞广义马尔可夫跳变系统的H∞模糊控制问题、广义马尔可夫跳变系统的有限时间H∞控制问题、非线性广义马尔可夫跳变系统的有限时间H∞模糊控制问题、生物经济广义马尔可夫跳变系统的模糊随机保成本控制问题、广义随机马尔可夫跳变系统的鲁棒有限时间H∞控制问题、广义随机马尔可夫跳变系统的滑模控制问题、执行器非线性受限时广义马尔可夫跳变系统的滑模控制问题进行了较为深入的研究。《广义马尔可夫跳变系统的分析与控制》可供高等院校控制理论与控制工程及相关专业的高年级本科生和研究生阅读参考，也可作为从事随机广义系统控制研究的科研人员的参考用书。 -
非光滑多目标规划最优性理论及方法王金鹤，孟凡云，庞丽萍 著《非光滑多目标规划*优性理论及方法》主要研究非光滑多目标规划问题，借助广义函数集值映射，讨论广义函数的多目标优化问题，建立该问题的充分条件、必要条件以及对偶定理；针对参数变分不等式约束和二阶锥广义方程约束的多目标优化问题，利用变分分析，建立问题的较优性条件，对基于参数变分不等式约束的多目标优化问题，借助扰动分析，讨论问题的KKT点的渐近收敛性；提出求解非光滑均衡问题的近似束方法，进行算法的收敛性分析
