第1章 Visual Basic 程序设计基础 第2章 程序设计流程 第3章 常用内部控件 第4章 数组 第5章 图形设计 第6章 过程 第7章 用Visual Basic 6.0设计用户界面 第8章 文件操作 第9章 数据库编程 第10章 ActiveX控件 第11章 应用程序窗体设计 第12章 多媒体编程基础

❖安全操作系统的设计原理 ❖安全操作系统的设计 ❖安全操作系统的开发 ❖安全操作系统关键技术的实现

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

• The Effects of Power • Low Power Design – DPM based low power optimization – DVS based low power optimization • ex: Program-level optimization for multimedia – ACPI：OS supported PM – ACPI：OS supported PM – 软硬件协同低功耗设计 • Power model: Power Analysis/Estimation Tek & Tools • Temperature Aware Design • Leakage Power • Case Study – Cache、Memory、Data Center、Handheld • Conclusion

调查设计是对调查问题所做的周密计划，调查设计主要涉及到课题的选择、研究对象的选择（抽样）与统计方法的选择。 第一节 调查课题的选择 第二节 研究对象的选择 第三节 统计分析方法的选择

„ 结构布置（了解） „ 框架－核心筒结构的布置（熟悉） „ 筒体结构简化计算方法 （了解） „ 筒体结构截面设计及构造（了解）

8.1 电子商务支付系统概述 8.2 电子商务支付系统分析 8.3 电子商务支付系统的设计 8.4 几种网上支付工具及系统的介绍

9.1 电子商务系统安全概述 9.2 电子商务系统安全体系框架 9.3 常用电子商务系统安全技术和手段 9.4 电子商务系统安全设计的原则 9.5 电子商务系统安全体系的设计

10.1 电子商务网站的基本概念 10.2 电子商务网站分析设计 10.3 基于UML的电子商务应用程序建模基础 10.4 基于UML的电子商务应用程序设计

2.1 概述 2.2 Protel99 SE基础知识 2.3 原理图设计（基础篇） 2.4 原理图设计（提高篇）