一、对形式的认识 形式是与原料、实质、内容相对立的概念,它是内容的载体,是 可感知的知觉要素在一定目的控制之下的化合。设计离不开形式,对 形式及其要素的研究是造型基础课的重要使命。具备正确的形式观以 及为实现设计功能所需要的丰富多样的形式表现力,对设计师极为重 要

路基边坡滑坍是公路上常见的破坏现象之一例如,在岩质或土质山坡上开 挖路堑,有可能因自然平衡条件被破坏或者因边坡过陡,使坡体沿某一滑动面 产生滑坡。对河滩路堤、高路堤或软弱地基上的路堤,也可能因水流冲刷、边 坡过陡或地基承载力过低而出现填方土体(或连同原地面土体沿某一剪切面产 生坍塌。为此,必须对可能出现失稳或已出现失稳的路基进行稳定性分析,保 证路基设计既满足稳定性要求,又满足经济性要求

研究了轻轨CARD系统孔型设计数学模型的建立方法.在总结和分析大量现场数据的基础上,用回归分析建立了轻轨CARD系统轨形孔孔型设计模型,并成功的用在轻轨CAap系统的开发中,经厂家试用效果很好.该模型建立的方法,为在复杂断面型钢CABD系统中经济地建立数学模型提供了一种解决方案

为了解决分段多点成形过程中的技术难题,利用数值模拟软件对其成形过程进行数值模拟.以显式算法模拟加载成形过程,隐式算法模拟卸载回弹过程,从而实现分段多点成形的数值模拟.采用非均匀有理B(NURBS)样条曲线设计过渡区形状,探讨了过渡区大小对成形品质的影响.结果表明,在合理设计过渡区的情况下,分段成形品质好于一次成形

• Complexity Challenge – CBD：分治，结构 – MBD：抽象，方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

通过本课程的学习，学生应对混凝土 结构常见基本构件、梁板结构、单层厂房 结构、多层框架结构进行设计

全新的设计 TPS1000经纬仪定位系统是徕卡公司一个全新的系列仪器设计新穎·既保持 了传统的风格,又有新的特点功能优异·性能突出新系列共分四部分:

• 实时任务约束模型 – 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分析)

• 嵌入式系统概述 – 嵌入式系统的定义 – 嵌入式系统的特征与指标 – 嵌入式系统分类 • 发展方向：CPS • 热点应用示例 – 汽车电子