第1章 绪论 第2章 空间现象抽象表达 第3章 空间数据模型 第4章 空间数据组织与管理 第5章 空间数据索引技术 第6章 空间数据查询、访问 第7章 时态空间数据库 第8章 空间数据元数据与空间数据共享 第9章 空间数据库设计

◼ 可用性的定义 ◼ 可用性工程 ◼ 支持可用性的设计原则 ❑ 可学习性 ❑ 灵活性 ❑ 鲁棒性 ◼ 可用性的评估方法 ❑ 用户模型法、启发式评估、认知性遍历、用户测试和用户调查法等 ◼ 可用性案例

1. 了解心理应激性失眠模型复制方法； 2.掌握脑立体定位技术及睡眠时相的记录方法； 3.观察睡眠时相和睡眠结构，分析其意义； 4.观察心理应激性失眠对大鼠海马神经元细胞P物质表达的影响

§3.1 基本原理 §3.2 直流IV特性 §3.3 晶体管模型 §3.4 频率特性 §3.5 击穿特性 §3.6 功率特性 §3.7 开关特性 §3.8 晶体管的设计 §3.9 异质结晶体管HBT

• 嵌入式操作系统概述 – 嵌入式操作系统体系结构 – 典型的嵌入式操作系统 • RTOS基本概念 llxx@ustc.edu.cn 2/94 – 编程模型 • RTOS内核功能 • RTOS的性能指标

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

内容提要 • ARM体系结构概览 – ARM历史 – ARM体系结构特征 – ARM片上总线AMBA – ARM对调试的支持 – 虚存管理 • ARM编程模型 – ARM微处理器的工作状态 – ARM体系结构的存储器模式 – ARM微处理器的操作模式 – ARM体系结构的寄存器组织 – ARM微处理器的异常状态 • Cortex M处理器

• 嵌入式操作系统概述 – 嵌入式操作系统体系结构 – 典型的嵌入式操作系统 • RTOS基本概念 – 编程模型 • RTOS内核功能 • RTOS的性能指标

第一章 数据库系统概述 第二章 数据库建模 第三章 关系模型和关系演算 第四章 数据库语言SQL 第五章 查询优化与并发控制 第六章 关系数据库设计理论 第七章 数据库设计 第八章 SQL系统环境 第九章 面向对象查询语言

• 实时任务类型与约束模型 – Assumptions about task timing，interaction，。。。 • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness：deadline，worst response time，。。。 • Efficiency：average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T