将一种机器学习算法——支持向量机引入到软岩工程支护设计领域,并根据问题需要提出了一种支持向量机回归算法且编制了相应的计算程序.工程算例证明,这种算法在学习样本数量很少的情况下就可以得到很高的预测精度,且具有推广性能好的优点,避免了人工神经元由于存在过学习问题而带来的网络参数难以确定的弊病,为类似工程的支护设计提供了一种新的途径

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

➢ 汇编语言程序设计基本步骤 ➢ 顺序程序的基本结构和设计方法 ➢ 分支程序的基本结构和设计方法 ➢ 循环程序的结构形式和程序设计 ➢子程序设计的基本过程和设计方法

利用非线性规划的方法,提出了轧钢机轧辊直径的设计计算的新方法。对轧钢机电子计算机辅助设计,提供了基本结构参数的模型及回归公式

1．掌握轴的结构及设计方法； 2．掌握轴的受力分析及强度计算；

1.掌握轴的结构及设计方法 2掌握轴的受力分析及强度计算; 2.教学重点和难点

一、教学目标 1.掌握轴的结构及设计方法; 2.掌握轴的受力分析及强度计算;

1．了解常用弹簧的类型、特点、 应用、材料及制造工艺； 2．掌握圆柱螺旋弹簧的设计计算 方法；

一、抗震设防目标及方法 简称为:“小 震不坏,中震可修, 1.总目标 大震不倒 通过抗震设防,减轻建筑的破坏,避人员死亡, 减轻经济损失。 具体通过“三水准”的抗震设妥求和“两阶段”的抗 震设计方法实现

6.1 原理图方式设计初步 6.2 较复杂电路的原理图设计 6.3 参数可设置LPM宏功能块应用