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

• QuartusⅡ软件的安装方法和工程的基本设计流程； • 通过简单的实例演示各流程以及常用工具的使用方法，熟悉QuartusⅡ软件的用户界面、常用工具和设计流程； • 宏功能模块的配置和SignalTapⅡ逻辑分析仪的使用方法

• 需求：gap between two domain • 嵌入式系统协同设计方法与流程 • 系统建模方法 – 基于模型的方法 llxx@ustc.edu.cn 2/71 • 可视化 – 基于语言的方法 • SystemC • 计算模型 • 协同设计环境与工具

理解RAM，RASP和图灵机计算模型 理解非确定性图灵机的概念 理解P类与NP类语言的概念 理解NP完全问题的概念 理解近似算法的性能比及多项式时间近似格式的概念 通过范例学习NP完全问题的近似算法 （1）顶点覆盖问题 （2）旅行售货员问题 （3）集合覆盖问题 （4）子集和问题

6.1 数据库系统概述 1.1数据与信息 1.2计算机数据管理的发展 1.3数据库系统的组成 1.4数据和数据的联系 6.2 关系数据模型 2.1非关系模型与关系模型 2.2关系运算 2.3关系数据库标准语言SQL 6.3 关系数据库设计 6.4 数据库技术的发展动态

学科基础课平台必修课 《高等数学 A1》 《高等数学 A2》 《大学物理 A1》 《大学物理 A2》 《大学物理实验》 《C++程序设计》 《C++程序设计实验》 《C++程序设计实训》 《线性代数》 《概率论与数理统计 B》 《离散数学Ⅰ》 《计算机组成原理 I》 《数据结构 I》 《数据结构 I 实验》 《计算机网络原理Ⅰ》 《操作系统 I》 《操作系统Ⅰ》 《电工电子技术 C》 《复变函数与积分变换》 学科基础课平台选修课 《数字逻辑》 《Java 程序设计》 《Java 程序设计实验》 《管理信息系统》 《管理信息系统实训》 《数据库原理 A》 《编译原理》 《物联网工程导论》 《软件工程概论 A》 《汇编语言与接口技术》 《汇编语言与接口技术》考查大纲 《汇编语言与接口技术》实践 《算法分析与设计》 《数字通信原理》 专业课平台必修课 《网络信息安全》 《传感器技术及应用》 《短距离无线通信技术》 《RFID 技术》 《无线传感器网络》 《嵌入式系统设计》 《嵌入式 linux 应用程序开发》 《云计算技术》 《Linux 网络操作系统》 《模式识别与人工智能》

• 继承 派生子类 域的继承与隐藏 方法的继承与覆盖 this与 supper • 多态 • 重载与覆盖 • 类的设计(Isa/HasA, access control) •包 • 接口

① 动机 ② 针床测试仪 ③ 边界扫描测试基本原理 ④ 基本扫描单元 ⑤ 测试访问端口 (TAP) 控制器 ⑥ 边界扫描指令 ⑦ BSDL语言

教学目标： • 1、知道显示器分类及功能、视觉显示方式的选择原则； • 2、掌握刻度盘指针式显示器、语言传示装置、信号显示装置以及仪表盘的设计方法； 教学内容： 一、显示器的分类 二、显示器的设计原则 三、视觉显示器 四、听觉显示器

专业基础课 可视化程序设计 网络原理 数据库技术 专业技术课 计算机系统维护 操作系统 专业英语 面向对象程序设计 网页设计与制作 局域网 电子商务技术 网络广告设计 商贸标准及规范 Linux基本操作 Web技术与应用 商贸实用软件 消费心理学 服务器安装配置管理 专业选修课 图像处理 单片机应用 C语言和数据结构 多媒体制作 三维动画