船舶推进轴系是一个既有扭转弹性、又 有回转质量的扭转振动系统。轴系扭转振 动为边旋转边做周向来回振动，不可避免。 规范要求：功率大于220KW的柴油机推进系 统、额定功率大于110KW的柴油机发电系统 要进行扭振计算并提交审查及实船测量， 如计算及测试超过规定必须采取避振和减 振措施

第一节 推理的形式结构 第二节 自然推理系统P

美国Fox软件公司于1984年开始先后推出 FOXBASE FoXPro1.0、 FoxPro2.0。1992年 Microsoft公司收购了Fox 软件公司后,先后推出了 FoxPro2、2.6。195年开始, Microsoft公司先后推出了适用于 Windows环境的vsua FoxPro3.0(简称vFP30)、VFP5.0、VFP6.0,其中 VFP5.0和VFP6.0既适用于 Windows95/98操作系统环境, 又适用于 Windows nt3.5/4.0操作系统环境。本书的内容是基 于 Windows95/98环境下的VFP6.0中文版

70 年代中期地壳规模逆冲推覆构造的发现是构造地质学研究史上的一次重大 突破。 逆冲推覆构造是地壳中广泛发育的重要构造。早在 19 世纪 30 年代，Rogers 等就认识了阿巴拉契亚山系前麓的逆冲褶皱带。20 世纪初，Heim通过区域构造 以及褶皱与逆冲作用的分析对比

证明的构造/形式：由两个部分组成 1、公理、假定或前提/axiom、postulate、hypotheses 2、推理规则/rule of inference 其它：引理/lemma、推论/corollary、猜想/conjecture一些基本概念

从本章起我们开始介绍统计推断它是数理统计的一个重要组 成部分。所谓统计推断就是利用样本(子样)提供的信息对总体的 某些统计特性进行估计和判断,从而认识总体。统计推断分为两大 类,一类是参数估计,另一类是假设检验。本章介绍参数估计

–推理的形式结构 –自然推理系统P

• 符号计算与自动推理 • 几何问题代数化 • 代数关系式的推导与验证 • 自动推理

我们知道 Riemann 积分的几何意义是曲边梯形的面积. 为在欧氏空间空间 n R 上推广 Riemann 积分的理论, 我们必须把象长度, 面积和体积等概念推广到 n R 中的更一般的集上 去. 本章将要定义的 n R 上的 Lebesgue 测度就是长度, 面积和体积等概念推广

第六章执行器 一、·执行器得作用:将控制器的输出转化为对被操作对象的实际操作(动作)。 二、根据动作能源的不同,执行器可以分为以下三类: 一气动执行器:以气压为动力,推动机构动作。 一电动执行器:以电动机作为动力源,推动机构动作。 一液动执行器:以液压站提供的流体(液压油)高压为动力源,推动机构动作