第六章 Verilog的数据类型及逻辑系统 • 学习Verilog逻辑值系统 • 学习Verilog中不同类的数据类型 • 理解每种数据类型的用途及用法 • 数据类型说明的语法 第7章 结构描述(structural modeling) • 如何使用Verilog的基本单元(primitives) • 如何构造层次化设计 • 了解Verilog的逻辑强度系统 第8章 延时模型 学习内容： 1. 如何说明块延时 2. 如何说明分布延时 3. 如何说明路径延时 4. 怎样在模块中说明时序检查 5. 标准延时格式SDF（Standard Delay Format) 第九章 编译控制的使用 • 开发商提供的Verilog库 • 用Verilog库仿真 • Verilog源代码加密 • 其它仿真器相关的问题

13.6 TTL集成门电路 13.7 其它类型的TTL门电路 13.8 组合逻辑电路的分析 13.9 组合逻辑电路的设计 13.10 集成组合逻辑电路

随着人类基因组计划的实施,通过基因组测序,蛋白质序列测定结构解析等实 验,分子生物学家提供了大量的有关生物分子的原始数据,需要利用现代计算技 术对这些原始数据进行收集、整理、管理以便于检索使用。而为了解释和理解这 些数据,还需要对数据进行比对、分析,建立计算模型,进行仿真、预测与验 证,因而出现生物信息学,它的出现,极大的促进了分子生物学的发展

通过本节学习,学生要了解网络计划的概念;掌 教学握网络图的绘制方法;掌握网络图的时间计算等

一、可用性的定义 二、支持可用性的设计原则 1、可学习性 2、灵活性 3、鲁棒性 二、可用性的评估方法 1、用户模型法、启发式评估、认知性遍历、 2、用户测试和用户调查法等 三、人机交互界面设计

在图形设计中，尺寸标注是绘图设计工作中的一项重要内容，因为绘制图 形的根本目的是反映对象的形状，而图形中各个对象的真实大小和相互位置只 有经过尺寸标注后才能确定。AutoCAD 2007包含了一套完整的尺寸标注命令 和实用程序，用户使用它们足以完成图纸中要求的尺寸标注。用户在进行尺寸 标注之前，必须了解AutoCAD 2007尺寸标注的组成，标注样式的创建和设置 方法

已学:静载荷下的强度、刚度、稳定性计算。 初载荷下如何进行计算？

16.1 弹性变形势能的计算 16.2 虚位移原理用于变形固体 16.3 单位载荷法 16.4 计算莫尔积分的图乘法 16.5 互等定理 16.6 势能驻值原理和最小势能原理

12.1 拉压杆的应力和变形 12.2 材料的力学性能 12.3 许用应力及拉压杆的强度计算 12.4 应力集中的概念 12.5 桁架的位移 12.6 连接杆件的工程实用计算

1. 桁架的特点 （1）全部为直杆，各直杆两端铰接组成结构，构成平面桁架或空间桁架。 （2）各杆不计自重，且全部载荷（主动力）均作用在节点处。 （3）各杆均为二力杆（拉杆或压杆）