点击切换搜索课件文库搜索结果(9483)
文档格式:PDF 文档大小:12.38MB 文档页数:9
为了进行个体化治疗,需要根据患者生物标示物的分子特征选择有针对性的药物,因而需要研制多种新分子实体。本文列举一些实例试图解析在精准医学时代药物分子设计的某些趋势
文档格式: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 • 属性分析 – 正确性、性能、可靠性?
文档格式:DOC 文档大小:31KB 文档页数:2
一、制定本课程实验大纲的依据 本大纲根据黑龙江八一农垦大学园林专业的教学计划及《构成设计》教学大纲编写。 二、本课程实验教学的作用 通过本课程实验教学可以启发独创性,扩展造型构思;培养造型感觉(有关形 态、色彩、肌理的审美直观判断能力);提高关于平面和立体形态的表现技巧。建立起设计师的思维方式
文档格式:DOC 文档大小:763.5KB 文档页数:127
第1章 绪论 第2章 混凝土结构材料的物理力学性能 第3章 按近似概率理论的极限状态设计法 第4章 受弯构件的正截面受弯承载力 第5章 受弯构件的斜截面承载力 第6章 受压构件的截面承载力 第7章 受拉构件的截面承载力 第8章 受扭构件的扭曲截面承载力
文档格式:PPT 文档大小:4.75MB 文档页数:108
•常用组合逻辑模块 •组合逻辑电路的分析方法和设计方法 •组合逻辑电路的 竞争冒险现象
文档格式:PDF 文档大小:54.5MB 文档页数:15
一、教学目的:掌握和熟悉预后评价的概念和方法 二、教学内容: 1. 复习和强化循证医学的概念; 2. 掌握预后的概念,掌握预后的评价以及循证的过程; 3. 学会设计有关预后的研究。 三、教学重点和难点:预后评价的各项标准,预后研究设计中的关键点
文档格式: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 • 热点应用示例 – 汽车电子
文档格式:PPT 文档大小:5.78MB 文档页数:1905
基础篇 第一章:绪论 第二章:关系数据库 第三章:关系数据库标准语言SQL 第四章:关系系统及其查询优化 第五章:关系数据理论 设计篇 第六章:数据库设计 系统篇 第七章:数据库恢复技术 第八章:并发控制 第九章:数据库安全性 第十章:数据库完整性
首页上页531532533534535536537538下页末页
热门关键字
搜索一下,找到相关课件或文库资源 9483 个  
©2008-现在 cucdc.com 高等教育资讯网 版权所有