点击切换搜索课件文库搜索结果(100)
文档格式:PDF 文档大小:1.21MB 文档页数:44
• 形式化设计方法和过程 • 系统描述方法:基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑:LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性?
文档格式:PDF 文档大小:6.11MB 文档页数:69
• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet,1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性?
文档格式:PDF 文档大小:1.13MB 文档页数:93
1 μC/OS-Ⅱ简介 2 μC/OS-Ⅱ内核结构 3 μC/OS-Ⅱ任务管理 4 C/OS-Ⅱ时间管理 5 μC/OS-Ⅱ任务通信与同步 6 μC/OS-Ⅱ内存管理 7 μC/OS-Ⅱ移植
文档格式: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 生产实习(二级项目) 毕业设计(一级项目)
文档格式:PPT 文档大小:287KB 文档页数:109
一、 SQL语言提供了两种不同的使用方式: 二、 交互式 三、嵌入式 四、 为什么要引入嵌入式SQL 五、 SQL语言是非过程性语言
文档格式:PPT 文档大小:200KB 文档页数:47
为什么使用嵌入式SQL? 有些数据访问任务对于交互式的非过程的SQL是无 法完成的任务。 使用交互式SQL,必须知道表名、列名并且能够写 出符合语法的SQL语句。 实际的应用系统是非常复杂的,数据库访问只是其 中一个部件。有些动作如与用户交互、图形化显示 数据等只能用高级语言实现
文档格式:PDF 文档大小:328.87KB 文档页数:52
1. Linux的计时体系结构 ARM中的系统时钟system_timer arm的滴答机制 Jiffies变量 Linux的时钟源 xtime变量 时钟中断处理 软定时器 2. 延迟函数 3. 相关API和命令
文档格式:PDF 文档大小:716.83KB 文档页数:125
1. 进程描述符 Linux的进程描述符:task_struct 进程的栈和thread_info数据结构 进程相关的几个链表 proc文件系统简介 .2 进程的等待和唤醒 .3 进程切换 进程上下文 上下文切换 4. 进程的创建和删除 进程的创建 Linux的进程创建 内核线程及其创建 进程树及其开始 进程的终止和删除 5. 进程调度 进程的分类 Linux中的调度策略和调度算法 Linux-2.6.26中的调度相关数据结构和代码 Linux2.6.26中的优先级及其设置
文档格式:PDF 文档大小:410.31KB 文档页数:62
1. SkyEye简介 .2 SkyEye的安装 SkyEye的安装 试用skyeye 下载skyeye源代码,编译并安装 .3 启动Linux执行自己的程序 添加hello到uclinux的根文件系统中 在ArmLinux中运行hello 4. 编译linux 编译armlinux 编译µCLinux 5. 小结和作业
文档格式:PPT 文档大小:582.5KB 文档页数:73
FORTRAN 数值计算 COBOL 事务处理 PASCAL 结构程序设计 ADA 大型程序、嵌入式实时系统 PROLOG 逻辑程序设计 ALGOL 算法语言 C/C++ 系统程序设计 Java Internet程序设计
首页上页345678910下页末页
热门关键字
搜索一下,找到相关课件或文库资源 100 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有