点击切换搜索课件文库搜索结果(101)
文档格式:PDF 文档大小:6.44MB 文档页数:137
课程基本信息 嵌入式系统的发展 嵌入式AI 技术的基本概念 智能系统关键技术基础 课程教学的主要内容 Intel嵌入式设计大赛的基本情况
文档格式:PDF 文档大小:1.89MB 文档页数:62
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)实时嵌入式软件设计(控制系统,DARTS,EA,语言)
文档格式:PDF 文档大小:4.82MB 文档页数:78
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式实时系统及设计方法概述(主讲:李曦)
文档格式:PDF 文档大小:1.21MB 文档页数:44
• 形式化设计方法和过程 • 系统描述方法:基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑:LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性?
文档格式:PDF 文档大小:216.89KB 文档页数:39
华中科技大学:《嵌入式系统原理与设计》课程教学资源(讲义)第一章 嵌入式系统概述、第二章 嵌入式处理器
文档格式:PPT 文档大小:1.63MB 文档页数:65
系统的硬件选型及电路设计 嵌入式系统体系结构设计 S3C44B0X概述 印刷电路板的设计
文档格式:DOC 文档大小:8.78MB 文档页数:464
思想道德修养与法律基础A 中国近现代史纲要 A 马克思主义基本原理 B 毛泽东思想和中国特色社会主义理论体系概论 I 毛泽东思想和中国特色社会主义理论体系概论 II 形势与政策 I~IV 体育 I~IV 外语 AI 外语 AII 外语 AIII 外语 AIV 高等数学 AI 高等数学 AII 线性代数 B 概率论与数理统计 B 大学物理 I 大学物理 II 物理实验 AI 物理实验 AII 创业与企业管理(三级项目) 国防教育与军事训练 思想道德修养与法律基础社会实践 马克思主义基本原理社会实践 中国近现代史纲要社会实践 毛泽东思想和中国特色社会主义理论社会实践 创业与经营实训 计算思维导论 计算思维导论课程实验 计算机技术基础 A 计算机技术基础 A 课程实验 工程化学 工程化学课程实验 C 语言程序设计(三级项目) C 语言程序设计(三级项目)课程实验 光电子器件(三级项目) 光电子器件(三级项目)实验 单片机原理(三级项目) 单片机原理(三级项目)课程实验 电路分析基础(三级项目) 电路分析基础(三级项目)课程实验 光纤传感技术(三级项目) 光纤传感技术(三级项目)课程实验 光学原理(三级项目) 光学原理(三级项目)课程实验 模拟电子技术 B 模拟电子技术 B 课程实验 嵌入式系统(三级项目) 专业综合课程设计—嵌入式系统(二级项目) 嵌入式系统(三级项目)课程实验 通信原理 B 通信原理 B 课程实验 半导体器件物理 常用光电仪器原理及使用 电磁场理论 复变函数 B 工程制图基础(三级项目) 光电成像技术 电子科学与技术工程导论 光纤通信系统 专业综合课程设计-光纤传感与通信 光学材料 红外技术 激光技术 激光原理(三级项目) 职业生涯规划与就业指导Ⅰ 职业生涯规划与就业指导 II 系列专题讲座 量子力学 数理方程 数字电子技术 A 数字信号处理 无线传感网络 信号与系统 B(三级项目) 专业英语 EDA课程设计(三级项目) 常用光电仪器原理及使用课程实验 电子工艺实习 B 电子线路 CAD(三级项目) 光学系统设计(三级项目) 金工实习 D 生产实习(二级项目) 毕业设计(一级项目)
文档格式:PDF 文档大小:2.76MB 文档页数:70
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式系统形式化规范与建模(FSM,KPN,SDF)
文档格式:PDF 文档大小:4.85MB 文档页数:125
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式操作系统(uC、OSII)
文档格式:PDF 文档大小:6.11MB 文档页数:69
• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet,1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性?
上页12345678下页末页
热门关键字
搜索一下,找到相关课件或文库资源 101 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有