本专著以重要度分析理论为指导，以可修系统为研究对象，以任务成功性为衡量标准，提出可修系统任务成功性评估方法，建立一套面向任务成功性的可修系统重要度分析方法，探讨其在串联、并联、n中选k、桥式等典型结构系统中的变化规律，构建基于任务成功重要度的可修系统优化方法，并通过数学证明、算例仿真、实例分析等途径,验证了上述模型及方

MBSE是复杂系统数字化研发的基本方法，是系统工程方法与数字化设计、数字化仿真技术融合的先进成果。MWORKS是同元软控公司基于国际知识统一表达与互联标准打造的系统智能设计与验证平台，是MBSE方法落地的使能工具。本书介绍基于模型的系统工程(MBSE)及MWORKS实践，内容包括引论，MBSE语言、工具、方法论，MWO

本书从技术和业务方面介绍了开发成功的系统需要了解的知识，涵盖了基于模型的系统工程、生命周期和过程的基本方面，以及开发系统的方法，给出了关键管理过程和系统工程实践和指南。

本教材是针对智能科学与工程学院研究生专业课撰写的，在对复杂系统研究过程中，复杂系统建模通过分析这些系统的各个组成部分之间的关联以及其行为和性能之间的相互作用，复杂系统建模旨在将复杂的现实系统抽象为更简单、可计算的数学模型或计算机程序，通过建立模型，可以对系统的行为和性能进行定量分析、预测和优化。这里的复杂系统模型不仅指

本书对系统论进行了深入的阐述。为了给计算机专业科研人员提供启发和参考，本书简要介绍了系统的组成，以及组成元素间互联、边界和环境等系统的基础理论，为读者提供一个清晰的系统理论框架；进一步详细阐述了系统的复杂性，包括其整体性及其演变，系统涌现与突变，系统自组织等，明确系统理论研究需要关注的重点和难点；为了探索系统组成元素间

本书以习近平新时代中国特色社会主义思想为指导，以含可变参数的灰色建模方法为研究的逻辑起点，探讨含可变参数的灰色模型的建模机理和实际应用。本书主要章节安排如下：第一章为绪论，主要是提出研究问题，具体介绍研究背景与含可变参数的灰色模型的含义以及本研究的创新之处。第二章为一类含时变参数的弱化缓冲算子模型，主要介绍一类含时变参

本书是作者多年来从事中学数学建模研究与教学实践的智慧结晶。数学是研究现实世界各种对象中数量关系与空间形式的一门科学。它来源于人们生活与生产的需要，是人们对生产、生活中有关的空间结构，数量关系的共性不断的抽象升华而形成的。针对如何在高中数学教学中真正落实数学建模这一核心素养、在高中教学中数学建模的实操探索等方面的内容，在

本书系统地研究了多态系统中的性能共享机制，较为完整地解决了现有基于性能共享的多态系统可靠性建模问题，对具有性能共享特征的多态系统的可靠性分析评价与优化设计具有指导意义。本书首先介绍了多态系统中不同的性能共享机制，然后研究了性能共享机制在不同系统结构的可靠性建模，最后分析了性能共享机制在电网系统、计算机系统等领域的应用。

克莱顿教授在本书中强调突现被作为理解科学、意识和宗教的一种新范式。他回顾了突现概念的发展历史和当前定义，评价了自然世界的突现现象及其对于哲学的重要意义。复杂性突现的现象需要的是物理学、化学和生物学中不可还原层次上的解释。这种突现模式既不是对于大脑状态的还原，也不是对于心理实体或灵魂的证明，而是向我们介绍一种关于意识问题

本书针对以灰数为建模对象的灰色预测模型，研究如何从模型结构层面入手对模型的建模范围进行拓展，即区间灰数预测模型和三参数区间灰数预测模型的优化研究；针对以实数为建模对象的单变量灰色预测模型，研究如何构建基于数据特征的灰色模型；针对实际生活中存在的受多因素影响的系统变量预测问题，现有多变量灰色预测模型的局限性，研究如何进一