上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT13 算法设计分析

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT12 面向对象设计

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT11 数据集合体

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT10 类的定义

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT09 模拟设计

上海交通大学：《程序设计思想与方法》课程教学资源（PPT课件讲稿）CT08 控制结构——循环语句

第一节 概述 营养不良分类、营养状态的评定方法 营养支持指征 能量需求计算方法 • 第二节 肠内营养 适应证、禁忌证 途径、投给方式 营养液种类 特点 并发症、护理 • 第三节 肠外营养 适应证 途径 营养液成分、输注方法

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，DARTS，EA，语言）

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）