一、研究无线信道的意义和方法 二、无线电波传播特性分析 三、陆地移动通信的场强估算 四、覆盖设计

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？

一、实验内容: 对74HC139电路的片选信号Cs支路进行分析,确定其域值电压,输入输出 延迟及功耗,并给出Cs支路的版图设计

推导出双压力角非对称齿轮在单、双齿啮合上、下界点和节点的综合曲率半径和齿面接触应力的计算公式,并用解析法对给定参数进行计算.用Autolisp语言开发了非对称与对称齿轮全齿模型的参数化设计程序,将生成的全齿模型导入ANSYS进行有限元分析.两种方法均得出非对称齿轮能有效提高轮齿齿面接触强度的结论.揭示了由于时变啮合刚度以及啮合点曲率半径的影响,齿面接触应力在一个啮合周期的变化规律,同时对两种方法的结果进行比较

前面几章中讨论了控制系统几种基本方法掌握了这些基本方法,就 可以对控制系统进行定性分析和定量计算本章讨论另一命题,即如何根 据系统预先给定的性能指标,去设计一个能满足性能要求的控制系统。基 于一个控制系统可视为由控制器和被控对象两大部分组成,当被控对象确 定后,对系统的设计实际上归结为对控制器的设计,这项工作称为对控制 系统的校正

描述了覆盖天津港务局全港的远程光纤存储网络的结构,对其可扩展性以及数据传输协议进行了分析,对10 Gbit速率下长距离光纤扩展时的链路功率预算值进行了计算.结果表明,在设计和实现远程光纤存储网时选择iSCSI和FC SAN融合的技术路线有利于在保证性能的同时降低成本.该系统已经成功实施,并运转正常

§1 误差的背景介绍 /* Introduction */ §2 误差与有效数字 /* Error and Significant Digits */ §3 函数的误差估计 /*Error Estimation for Functions*/ §4 几点注意事项 /* Remarks */

本文结合作者对该课程中一些概念和方法的理解，着重分析了这些概念的深层含义和一些方法的适用范围，包括材料强度平均值、标准值和设计值的概念、应用及其转换，混凝土弹性模量的应用，T形和I形截面受扭塑性抵抗矩的计算，以及现浇混凝土楼盖结构的计算方法等

采油工程是油田开采过程中根据开发目标通过和对油藏采取的各项工程技术措施的总称。油田开发是一项庞大而复杂的系统工程，采油工程是其重要的组成部分和实施的核心。 第一节 垂直井流入动态 第二节 水平井流入动态 第三节 井筒气液两相流动压力梯度方程 第四节 气液两相流动的基本概念 第五节 井筒压力分布计算的实用方法

1、要求学生掌握区分不同类型抽油设备的结构及其工作原理，着重在不同类型抽油设备的实际应用范围。 2、要求学生了解抽油机悬点的运动规律及悬点载荷的计算，了解抽油杆柱在工作时的受力情况是相当复杂的，所有用来计算悬点大载荷的公式都只能得到近似结果。 3、掌握泵效的计算与分析，了解提高泵效的措施