点击切换搜索课件文库搜索结果(321)
文档格式:PPT 文档大小:1.93MB 文档页数:25
《基于32位ColdFire构建嵌入式系统》教学资源(PPT课件)第16章 基于硬件构件的嵌入式系统开发方法
文档格式:PDF 文档大小:6.11MB 文档页数:69
• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet,1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性?
文档格式:PDF 文档大小:4.82MB 文档页数:78
中国科学技术大学:《嵌入式系统设计方法》课程教学资源(课件讲稿,第二版)嵌入式实时系统及设计方法概述(主讲:李曦)
文档格式: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-Ⅱ移植
文档格式:PPS 文档大小:104.5KB 文档页数:35
所谓编译预处理就是编译器在对源程序进行正式编译前,根据 预处理指令先做一些特殊的处理工作,然后将源程序与预处理 的结果一起进行编译。 C++语言的预处理主要包括3方面的操作:嵌入指令、宏定 义和条件编译指令。 应当说明的是,编译预处理指令不属于C++语言的语法范畴 。因此,预处理指令具有其特有语法:起始字符必须为“#”, 并以“回车”结束
文档格式:PPT 文档大小:103KB 文档页数:27
主要内容 10.1约束 10.2触发器 10.3游标 10.4嵌入式SQL语言 10.5安全控制和权限管理 10.6动手练习 10.7本章小结
文档格式:PDF 文档大小:1.83MB 文档页数:206
近些年来,随着以计算机技术,通讯技术为主的信息技术的快速发展和 Internet的广泛 应用,传统的控制学科正在发生变革,出现了许多新的生长点。伴随而来的一个现象是控制 专业的相当多的学生在毕业后进入了计算机,通讯行业,以致有人说学控制没有用,自动 化专业可以取消了
文档格式:PDF 文档大小:6.63MB 文档页数:500
为方便,全书采用通常的逻辑约定:和,积,否定,蕴意, 等价,任意量和存在量分别用符号:V,,7,→,,以和3 在正文中,(xk)表示在第章的第节中的第k项 在文献中,[表示参考文献中的第k项其中k由该项 作者(们)姓的前几个字母接着为数字所组成姓氏按字母序 排同样的作者(们)则用数字区别不同的文章或其它出版物
文档格式:PPT 文档大小:161KB 文档页数:23
什么是 Applet? Applet是能够嵌入到一个HTML页面中, 且可通过Web浏览器下载和执行的一种 Java类。 它是Java技术容器(container)的一种特定 类型,其执行方式不同于应用程序。 一个应用程序是从它的main方法被调用 开始的,而一个 Applet的生命周期在一定 程度上则要复杂得多。 本章将分析 Applet如何运行,如何被装载 到浏览器中,以及它是如何编写的
首页上页1213141516171819下页末页
热门关键字
搜索一下,找到相关课件或文库资源 321 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有