– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

• 提出使用定型公理和推理规则的上下文有关语法 • 讨论类型化演算的等式证明系统(公理语义)和归约系统（操作语义） • 讨论类型化演算的通用模型（指称语义）及可靠性和完备性定理 • 介绍PCF语言（递归函数留待下一章）及其公理语义和操作语义

为使导轨的平直度达到高速电梯的要求,通过应用弹塑性理论,建立了电梯导轨在矫直过程中的数学模型,模型给出了电梯导轨在反弯矫直过程中挠度、弯矩、曲率以及中性层之间的关系,并获得了矫直压下量的取值范围.通过有限元软件ANSYS分析验证了理论计算得到的矫直压下量取值的可靠性,并证明能够使矫直后的导轨符合使用要求

针对以往设备的不足之处,设计了半固态合金浆料表观黏度的测量装置.以理论计算公式作为测量依据,合理地设计和组合各部件,提高了测量精确度和可靠性,有效防止了半固态合金的高温氧化,对高固相分数的半固态合金也可以处理,并方便地获得样品.对样品的表观黏度测量以及金相组织分析表明,本装置可有效地对半固态合金进行流变性能和组织形态演变的研究

基于环形件轧制理论以及轧制过程中金属体积不变规律,确定了高颈法兰封闭轧制毛坯的设计原则以及工艺参数的极限范围.通过有限元仿真模拟了高颈法兰封闭轧制成形过程,研究了工艺参数对轧制产品质量以及力能参数的影响规律,并确定了本文所研究高颈法兰的最优工艺参数.在D51-450型轧环机上采用自行设计的模具进行了轧制试验,并将试验结果与有限元模拟结果进行对比分析,验证了仿真结果的可靠性

以均匀化方法为理论基础,对铰接式自卸车的铰接体进行多载荷工况下的拓扑优化研究.在确定各工况权重时,综合考虑权重本身的不确定性和专家可信度,利用盲数理论对专家的意见进行了不确定性的量化表示进而求出权重,并把权重值应用到多工况拓扑优化中,最后对铰接体的结构进行了可靠性分析,所得结果证明基于盲数理论取得的权重的合理性

用嵌入原子势(EAM)表达的晶体结构力学稳定性判据肯定了AVoter等人给出的铝原子的嵌入原子势的可靠性,计算了铝单晶体的力学性质,铝单晶沿[100]方向受单轴外力作用,当外力为压应力时,其结构发生转变,产生两个不稳定的新结构相BCC和BCT;外力为张应力时,铝单晶产生均匀形变,其形变达14.42%时材料断裂,相应的理论拉伸强度为0.64×104MPa。由计算结果确定了与铝原子EAM势的适用范围相对应的α1取值范围为0.358~0.473nm

通过文中方法对五种下常见动作的识别效果进行了验证。实验结果表明,文章方法相比于单一信号源特征的识别方法具有更高的可靠性和正确率

习题 1.结构可靠性的含义是什么?它包括哪些 功能要求? 2.结构超过极限状态会产生什么后果? 3.建筑结构安全等级是按什么原则划分的? 4.“作用”和“荷载”有什么区别?为什 么说构件的抗力是一个随机变量? 5.什么是结构的极限状态?结构的极限状态 分为几类,其含义各是什么?

理论力学 材料力学 弹性力学 工程材料 工程传热学 工程力学 工程热力学 工程制图 互换性与测量技术基础 机械工程图学 机械设计 机械原理 控制工程基础 理论力学 流体力学 热工学基础 运筹学 动力机械制造工艺学 复合材料力学 工程测试技术 工程统计学 管理信息系统 机械制造技术 机械制造装备 基础工业工程 内燃机学 能源与动力设备 汽车电子技术 汽车构造及发动机原理 汽车理论 汽车设计 汽车制造工艺 燃烧学 热工测试技术 人因工程 生产管理学 生产系统建模与仿真 实验力学 微机原理 系统工程 液压与气压传动 有限元法 振动理论 质量管理与可靠性 板壳理论 车身结构与设计 车身制造工艺学 成本控制 传感与测试技术 弹塑性力学与有限元法 弹性力学及有限元基础 电动车辆设计 电动车辆原理与构造 电动汽车动力电池技术 电驱动及控制技术 动力总成匹配技术 断裂力学 发动机电子控制 发动机实验学 发动机性能数值式开发技术 钢筋混凝土结构设计基础及 CAE 分析 高等固体力学 高效磨削工艺及装备 工程机械设计基础 工程机械液压与液力传动 工程经济学 工程优化设计 工程中的数值方法 工业网络原理及应用 换热器原理与设备 机电传动与控制 机电系统建模与仿真 机器人控制技术 机器人学 机械CAD技术 机械CAM技术 机械创新设计 机械工程导论 机械可靠性设计 机械系统运动学与动力学仿真分析 机械振动学 机械制造技术 计算方法 计算机控制技术 结构力学 金属塑性成形原理 精密与超精密加工 力学进展 两相流体动力学 流体输送力学 模具设计与制造工艺 摩擦学原理及应用 能源经济学 能源与动力专业导论 汽车NVH技术 汽车安全仿真理论与方法 汽车安全技术 前沿设计技术概论 热动力设备排放污染及控制 热工自动控制系统 人工智能 人体损伤生物力学 设施规划与物流分析 生产管理学 生物力学导论 生物力学与生物流变学 数据库原理及应用 数控技术 塑性力学 太阳能利用技术