• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

机械制图 理论力学 A 专业概论 材料力学 A 电工学 机械原理 A 工程材料及成型技术 机械设计 A 电气控制与 PLC 应用 互换性与技术测量 电子技术 测试技术 机械制造技术基础 单片机原理及应用 液压与气动 机械制造工艺学 CAD/CAM 工业机器人（双语）-机械设计与制造方向 制造自动化与生产线 机械工程控制基础 机电一体化系统设计 数控加工编程 模具设计 有限元分析 振动学基础 机械制造装备设计 特种加工与精密加工 陶瓷机械 工程热力学 快速成型技术 机械润滑原理及应用 工业机器人（双语）-机械电子工程方向 数控技术 机电传动控制 机器人视觉技术 光电技术与系统 计算机控制技术 现代设计方法

在对系统进行分析设计过程中，稳定性起着主导作用。定性地说，如果系统从所需要的工作点附近起动后，意味着系统以后一直将运行停留在这一点周围，那么该系统称作是稳定的。 本章讨论的主要内容是自治系统和非自治系统Lyapunov稳定性理论，同时也给出了系统不稳定条件。 3.1 非线性系统与平衡点 3.2 稳定的概念 3.3 线性化与局部稳定性 3.4 Lyapunov直接方法 3.5 时变系统稳定性理论 3.6 非自治系统的Lyapunov分析 3.7 输入-状态稳定性 3.8 不稳定性定理 3.9 用Barbalat引理作类Lyapunov分析

运用智能管理，库存论和决策分析等基本思想，提出一种面向管理决策者的设备备件管理智能决策支持系统的设计方法，初步确定出其实现步骤和模型系统

本书由浅人深，全面系统地介绍了对等网络的各个方面内容，重点在于对三代P2P网络、P2P网络结构和设计机制的讲解。首先介绍对等网络的概念、历史、特点，重点介绍三代P2P网络，同时讲述各种P2P应用系统和软件；然后深人讨论P2P网络设计所要考虑的核心机制、优化网络性能的增强机制和P2P模拟器的设计；最后分析了P2P的现状和发展趋势。 第1章 P2P网络简介 第2章 第一代P2P网络：混合式P2P体系 第3章 第二代P2P网络：无结构P2P体系 第4章 第三代P2P网络：结构化P2P体系 第5章 P2P应用体系和应用软件 第6章 P2P核心机制 第7章 P2P增强机制 第8章 P2P模拟与仿 第9章P2P的现状和未来

 动态范围  噪声的来源与分析方法  非线性分析及线性化方法

上海交通大学：《电力系统自动化》课程教学资源（推荐论文）电力市场环境下地区电网调度自动化系统设计分析

《运动控制系统》课程教学资源（案例）基于MALAB的双闭环直流调速系统设计与仿真案例分析

第一章“软件工程基本观念”； 第二章“程序员与程序经理”； 第三章“项目计划与质量管理”； 第四章“可行性分析与需求分析”； 第五章“系统设计”； 第六章“C++ 面向对象程序设计”； 第七章“测试与改错”； 第八章“维护与再生工程

本设计主要内容为华能金陵电厂1000MW超超临界凝汽式机组全厂原则性热力系统变工况计算，根据给定的热力系统图及其数据，在热力系统常规计算方法的基础下，切除二号高压加热器H2时根据热力系统图中各点汽水参数、流量，进行热力系统原则性热力计算以及分析其经济性