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

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

一、学科专业基础课 1车辆工程专业导论 2工程图学 3理论力学 4流体力学 6机械原理 7机械制造基础 8控制工程基础 二、专业核心课程 1汽车电工电子技术 2汽车构造 三、专业选修课程 1汽车 CAD/CAM 2互换性与技术测量 四、实践性教学环节 1工程训练 2汽车拆装实习 3汽车驾驶实习 一、专业核心课 专业导论 计算机辅助电路设计 模拟电子技术 数字电子技术 模拟电子技术实验 数字电子技术实验 高频电子技术 二、专业方向课 通信原理 数字信号处理 三、专业任选课 自动控制原理 传感器原理与应用 MATLAB 及其应用 可编程控制器 嵌入式系统 四、集中实践课 电子工艺实习 单片机课程设计 现代数字系统课程设计 一、 学科专业基础课 1可编程控制器 2模拟电子技术基础 3模拟电子技术实验 4控制工程基础 5机器人工程专业导论 6工程图学 7工程力学 8机械设计基础 三、专业方向课程 9机器人技术基础 10机器视觉 11机器人运动及控制 12运筹学 四、专业选修课程 13嵌入式系统 五、实践性教学环节 14机器视觉课程设计 15电子工艺实习 1计算方法 2流体力学 3工程热力学 4理论力学 5机械工程材料 7机械制图 8工程化学 9电工与电子技术 10专业导论 1可编程序控制器 2测试技术 1机械CAD/CAM 1机械原理课程设计 2电工与电子技术综合实训 3计算机辅助设计 4机械工程认识实习 1机械设计 2机械制造基础 3电工与电子技术 1机电一体化系统设计 2机床数控技术 3工业企业管理 1专业英语 2可编程控制器 3机械创新设计 1机械设计课程设计 2机电一体化系统设计课程设计 3机械工程认识实习 物理学专业导论 光学 力学 热学 理论力学 量子力学 电动力学 三、教师教育课程 物理教学设计与实施 中学物理教学论 模拟电子技术基础 单片机原理与应用 五、实践性教学课程 力学实验 光电子技术基础 光学实验 近代物理实验 教育见习

• 嵌入式处理器概述（实例） • 通用处理器体系结构 – CISC – RISC • 嵌入式处理器 • I/O系统 – 中断 – DMA

1 关于树莓派 2 关于嵌入式 4 设计作业建议 5 嵌入式系统能做什么及竞赛动员

《通信原理实验》课程电子教案（PPT讲稿）嵌入式系统设计实验——第6章 最小系统、片内外设、总线接口、其它外设

《通信原理实验》课程电子教案（PPT讲稿）嵌入式系统设计实验——第4章 ARM7TDMI（-S）指令系统

《基于32位ColdFire构建嵌入式系统》教学资源（PPT课件）第2章 ColdFire概述与MCF52233硬件最小系统

1、 ARM指令中的第二操作数“operand2”有哪些具体形式？ 解：有三种：寄存器、寄存器移位、8位位图立即数

GUI为 Graphics User Interface的简写,即图形用户界面,这是用于提高人机交互友好 性、易操作性的计算机程序,它是建立在计算机图形学基础上的产物。图形用户界面是当今 计算机技术的重大成就之一,它极大地方便了非专业用户的使用,人们不再需要死记硬背大 量的命令,而是通过窗口、菜单方便地进行操作 随着嵌入式系统的日益发展,32位嵌入式处理器及图形显示设备的广泛应用,目标产 品对GUI的需求越来越多