点击切换搜索课件文库搜索结果(5019)
文档格式:PPT 文档大小:438KB 文档页数:111
第一节 变革时代的信息系统信息系统分析与设计 第二节 信息系统的发展的四个阶段 第三节 信息系统的作用与组成 第四节 信息系统的功能结构 第五节 信息系统的空间分布结构 第六节 信息系统的类型 第七节 信息系统的生命周期 第八节 结构化方法 第九节 系统建设方法的发展概述
文档格式:PDF 文档大小:3.22MB 文档页数:80
• Complexity Challenge – CBD:分治,结构 – MBD:抽象,方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL
文档格式:PDF 文档大小:6.11MB 文档页数:69
• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet,1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性?
文档格式:PPT 文档大小:155KB 文档页数:17
矿井施工测量的主要任务是根据各种施工设计的图纸 和资料,按设计要求将施工对象标定于实地,并在施工过 程中,不断进行检查测量,以确保工程质量达到设计所规 定的要求
文档格式:PPT 文档大小:569KB 文档页数:115
第一节 面向对象的基本概念 第二节 经典的面向对象方法 第三节 面向对象的分布式技术 第四节 统一建模语言UML概述 第五节 UML建模技术 第六节 UML在系统开发中的应用 第七节 面向对象系统分析与设计实例
文档格式:PDF 文档大小:2.75MB 文档页数:101
• 实时任务约束模型 – Assumptions about task timing, interaction • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness: deadline,worst response time,。。。 • efficiency: average response time,makespan – Prioritized goals • Temporal predictability first,performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks? – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T • Timing Analysis(WCET分析)
文档格式:PDF 文档大小:4.25MB 文档页数:80
• 嵌入式系统概述 – 嵌入式系统的定义 – 嵌入式系统的特征与指标 – 嵌入式系统分类 • 发展方向:CPS • 热点应用示例 – 汽车电子
文档格式:DOC 文档大小:133KB 文档页数:26
一、 教学内容及要求 多因素试验问题、正交试验、正交表符号的意义。因素、水平、自由度、试验指标、交互作用。均衡分散性、整齐可比性、自由度选表原则、表头设计
文档格式:PPT 文档大小:1.09MB 文档页数:17
本章重点介绍组合逻辑电路的特点、以及组合电路的 分析方法和设计方法。 首先介绍组合逻辑电路的共同特点和一般分析方法及 设计方法。然后介绍常用的各种中规模集成电路的组合逻 辑电路的工作原理和使用方法
文档格式:PPT 文档大小:89.5KB 文档页数:15
1、使学生了解厂房建筑立面设计的因素; 2、掌握厂房建筑立面设计的手法; 3、了解厂房建筑室内设计的要求
首页上页445446447448449450451452下页末页
热门关键字
搜索一下,找到相关课件或文库资源 5019 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有