– 命题逻辑和谓词逻辑的简短回顾 – 线性时态逻辑及其在模型检测中的应用 – 计算树逻辑及其在模型检测中的应用

10-1齿轮机构的应用和分类 10-2齿轮的齿廓曲线 10-3渐开线的形成及其特性 10-4渐开线齿廓的啮合特性 10-5渐开线齿轮各部分的名称和尺寸 10-6渐开线直齿圆柱齿轮任意圆上的齿厚 10-7渐开线直齿圆柱齿轮的啮合传动 10-8渐开线齿轮的切制 10-9变位齿轮概述 10-10变位齿轮传动 10-11斜齿圆柱齿轮传动 10-12交错轴斜齿轮传动 10-13蜗杆传动 10-14圆锥齿轮传动传动 10-15其他曲线齿廓的齿轮传动简介

充填节理的破坏主要有充填物破坏和充填物与节理接触面破坏两种形式,其抗剪强度与最小抗剪部分的强度相同.当充填物破坏时,单独对充填物部分进行受力分析,得到此时的节理抗剪强度公式.讨论了充填节理强度随法向压应力及充填厚度的变化规律:随着法向压应力的增加先增大后减小,但随充填厚度的变化并不十分明显.对不同厚度的砂浆充填节理进行直剪试验.结果表明:其剪切强度与破坏模式有关;在同一破坏模式下,不同充填厚度的节理其剪切强度变化不大

采用某厂九辊悬臂式变辊距矫直机的工艺参数,建立了H型钢矫直过程的三维动态有限元仿真模型.分析了矫直过程中型钢横截面上的应力分布变化规律,指出其演变特征类似于应力波从翼缘外侧向内侧、翼缘两端向腹板中部的传播过程.仿真结果表明,腹板连接R角以及腹板和矫直辊圆角接触的部位在多辊矫直的后期处于高应力状态,矫后存在明显的应力残余;纵向正应力水平决定矫直效应,而沿纵向的剪切应力会影响H型钢横截面上等效应力的分布

可用于进行芳香亲电取代反应的亲电体 种类繁多，表6-2依据亲电活性将其分为三类。 第一类亲电体非常活泼，可与几乎所有的芳 香化合物甚至被强吸电子取代基钝化的那些 衍生物进行反应。第二类亲电体易与苯及被 给电子取代基活化的芳香化合物进行反应， 但对那些被吸电子取代基钝化的衍生物，一 般不活泼，难于反应；第三类亲电体只能与 那些比苯活泼得多的，特别是具有强给电子 取代基的芳香化合物反应

1 .1 变量间的统计关系 1 .2 回归方程与回归名称的由来 1 .3 回归分析的主要内容及其一般模型 1 .4 建立实际问题回归模型的过程 1 .5 回归分析应用与发展述评

课程简介: 本课程是一门高等农业院校四年制植物保护专业选修课,其理论性较强。植物免疫学是 植物病理学的一个分支学科,是研究植物抗病性及其应用的理论和方法的科学。主要介 绍植物免疫性的概念、分类、植物免疫性的机制、植物病原物的寄主专化性及其变异、 抗病性的遗传、植物免疫性的变异、寄主-病原物的相互关系、植物抗病育种、保持与 提高抗病性的途径等

一、应用与分类 二、推杆的运动规律 三、凸轮廓线曲线的设计 四、凸轮机构基本尺寸的确定

§1 现金流量及其分类 §2 建设项目的现金流量 §3 资金等值计算 本章要求： （1）熟悉现金流量的概念； （2）熟悉工程项目投资概念及构成； （3）熟悉成本费用的概念及构成； （4）掌握工程项目的收入和销售税金及附加的计算； （5）掌握利润总额、所得税的计算及净利润的分配顺序； （6）熟悉经营成本、固定成本和变动成本、机会成本、沉入成本的概念； （7）熟悉资金时间价值的概念； （8）掌握资金时间价值计算所涉及的基本概念和计算公式； （9）掌握名义利率和实际利率的计算； （10）掌握资金等值计算及其应用

氯前列烯醇是前列腺素F2(PGF2a)的类似物,在目前常用的PGF2及其类似物 中,其活性最高。氯前列烯醇具有很强的溶解黄体,促进平滑肌收缩以及促进催产素的分泌 作用。可应用于动物的同期发情、胚胎移植、诱导分娩、诱导发情技术中,也可用于治疗卵 巢囊肿、持久黄体以及促进木乃伊化胎儿的排出。在控制动物繁殖中有很好的应用前景