§1 乘幂法 §2 Jacobi方法 §3 QR方法

2.1状态空间法 2.2问题归约法 2.3谓词逻辑法 2.4语义网终法 2.5其他方法 2.6小结

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）RTE规范与建模方法之 Domain Specific Modeling Languages（MARTE、AADL、Autosar）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式实时系统及设计方法概述（主讲：李曦）

计算机组成原理 一 、课程主要内容 讨论计算机单机系统的硬件组成即五大功能部件的工作原理、逻辑 实现、设计方法及相互连接构成整机的方法

一、我们的座标 二、面向对象方法 三、面向对象:能与不能 四、统一建模语言UML

一、结构化开发方法 二、软件需求定义 三、系统设计(软件的设计) 四、程序编码 五、系统测试 六、软件维护

水准点 水准测量的方法和记录、计算 实例 小结

4.5紧束缚方法 1.模型与微扰计算

B-树、散列技术、散列表的概念、散列函数的构造方法、处理冲突的方法、散列表上的运算