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

一、集中趋势的测定方法 二、离散趋势的测定方法 三、回归、相关分析的种类及方法 四、统计推论的方法 五、计算机用于统计分析的步骤

第三章面向对象的程序设计 本章导读 一、掌握类与对象的概念,类与对象的定义方法及二者间的区别。 二、掌握类的成员函数的定义方法、保存方法及调用方法。掌握类中成员的访问机制和方法。 三、了解对象的作用域和生存期

6.1 波函数与薛定谔方程 6.2 Hartree方程 6.3 Hartree-Fock方程 6.4 Hartree-Fock-Roothaan方程 6.5 基组 6.6 量化分析 6.7 Post HF方法

§1–1 描述流体运动的两种方法 §1–6 伯努利（Bernoulli）方程的应用 §1–8 液体的空化和空蚀现象 §1–7 定常流动的动量方程和动量矩方程 §1–2 流体运动的一些基本概念 §1–4 理想流体的运动微分方程 §1–3 流体运动的连续性方程 §1–5 理想流体微元流束的伯努力方程

第一节 自动标引的基本原理 ◼ 自动标引的定义、类型 ◼ 自动标引的意义 ◼ 自动标引的流程 ◼ 自动标引的原理 第二节 自动标引方法和技术 ◼ 统计标引法（课堂只讲这种方法） ◼ 概率标引法：根据文献满足提问的概率来估计 ◼ 句法分析标引法 ◼ 语义分析标引法 ◼ 人工智能标引法 第三节 汉语文本自动标引 ◼ 汉语自动分词方法 • 基于匹配的分词方法 • 基于统计的分词方法 • 基于理解的分词方法

§4-1 最速下降法（梯度法） §4-2 牛顿类方法 §4-3 变尺度法 §4-4 共轭方向法 §4-5 鲍威尔方法 §4-6 其它方法（如坐标轮换法、单纯形法）

第2章C++语言基础 本章是学习C++语言的基础,包括以下几个方面: 1.结构化程序设计方法与面向对象程序设计方法的各自特点、区别和相互联系。 2.面向对象的程序设计方法中的有关概念,如类、对象、封装、继承、消息和多态性等。 3.C++程序的基本组成和框架结构 4.掌握C++语言中的基本数据类型、各种运算符、表达式。 5.C++数据输入流对象cin和输出流对象cout的使用。 6.程序的3种基本结构 7.构造数据类型,如数组、结构体、指针等的定义方法、特点和使用方法。 7.函数的定义、调用及函数调用过程中的参数传递的机理和程序执行流程。 8.引用的概念及其定义和使用方法

为了分析运动的稳定性,李雅普诺夫提出了两 种方法: 第一方法包含许多步骤，包括最终用微分方 程的显式解来对稳定性近行分析，是一个间接的 方法。 第二方法不是求解微分方程组，而是通过构 造所谓李雅普诺夫函数（标量函数）来直接判断 运动的稳定性，因此又称为直接法

第七章数据传送机制 1.程序控制方式无条件传送方式、查询传送方式 2.中断传送方式 3.直接存储器访问(DMA)方式