一、基本概念 二、程序测试的基本方法 三、部分正确性证明方法 四、终止性证明方法

针对高炉关键异常炉况悬料难以预测的问题，基于D-S证据理论，提出一种综合模糊专家推理和后验概率最小二乘支持向量机的悬料预测方法.首先，结合高炉生产过程和悬料现象，分析悬料形成的内在机理；其次，通过模糊专家推理提取基于专家规则的主观证据，再通过建立后验概率最小二乘支持向量机模型提取基于数据内在客观规律的客观证据；最后，基于D-S证据理论完成主客观证据融合，实现悬料预测.该方法充分利用专家经验和最小二乘支持向量机的自学习能力，能够提高预测精度.仿真结果表明本文提出的方法有效、准确

本文提出了应用非线性规划方法设计铲运机工作机构。首先分析了反转六杆机构工作过程中的运动几何关系,推导了运动方程和力学关系方程。确立了以机构平动性能和转斗油缸最大出力为最小的双目标函数,从而建立了约束非线性优化设计数学模型。 作者用所建立的数学模型,用SUMT优化方法,在高速电子计算机上,对国产ZLD-40型铲运机工作机构进行了实例计算,验证了数学模型及程序的正确性和可靠性,并取得了满意的优化解。计算结果表明:该机构选择双目标函数进行优化设计,较全面地提高了机构的设计质量和工作效益,这是常规设计所难以实现的

免疫学检测方法主要包括酶联免疫吸附 检测和放射免疫技术该方面的研究取得 了长足的发展。由于该方法操作简单, 前处理简化,检测快速、准确、敏感, 检验成本低,检测容量大,可同时进行 大批量样品检测。因此.具有潜在的广 泛应用价值

分离纯化是农药分析必不可少的过程 不管是商品农药样品还是残留农药样品都 不是纯的农药成分。对于这些样品的分析 ,首先要进行一定的分离纯化步骤,使农 药和杂质尽可能分离,达到分析结果准确 的目的。 不同的农药样品有不同的纯化方法。 选择分离方法的依据是样品中农药的性质 和杂质的性质差别来选择分离纯化的方法

运用四种加速方法对聚氨酯有机涂层钢板进行老化,并通过涂层的表观性能和电化学特征对比研究了老化方式对涂层失效的影响.紫外老化对涂层光泽的影响最大,老化32 d失光度达85.7%.盐雾实验前期线性极化阻力Rp迅速下降,后期由于盐膜的生成使得Rp保持稳定;氙灯和盐雾混合老化的光泽度和Rp的变化规律都表现为实验前期与光老化相似,后期则与盐雾实验相类似.此外,拟合不同老化方式的电化学交流阻抗谱发现:混合老化前期主要受氙灯影响,与单一氙灯老化的等效电路一致,表现为两个时间常数;后期产生盐膜,出现三个时间常数

Chapter8民用建筑施工图 一、主要内容: 建筑施工图的基本内容、图示方法、阅读方法 二、目的与要求: 1、了解施工图的图示方法、图示内容; 2、熟悉有关建筑制图的国家标准规定; 3、掌握阅读建筑施工图的基本方法,培养初步的阅读建筑施工图的能力

3.1 静电场的保守性 3.2 电势差和电势 3.3 电势叠加原理 3.4 电势梯度 3.5 电荷在电场电势能 3.6 电荷系的静电能* 3.7 静电场的能量

为了提高永磁同步电机的转速控制性能,克服扰动对伺服控制的影响,提出了一种基于新型趋近律和扰动观测器的滑模控制方法.设计了一种新型趋近律,以解决传统趋近律滑模面趋近时间和系统抖振之间的矛盾,提高系统响应快速性.综合考虑系统存在内部参数摄动和外部负载扰动,设计了滑模扰动观测器,并将观测值前馈补偿到速度控制器输出端;将观测器切换增益设计为扰动观测误差的函数,以削弱滑模观测值抖振.仿真结果显示,与传统趋近律相比,采用新型趋近律可有效提高系统的响应速度,快速准确的跟踪速度阶跃信号;滑模观测器可准确的观测系统扰动的变化;当系统加入负载扰动时,PI控制最大转速波动值为75 r·min-1,而基于新型趋近律和扰动观测器的滑模控制最大转速波动值较小为30 r·min-1,鲁棒性更好.实验结果显示,采用基于新型趋近律和扰动观测器的滑模控制方法可以快速跟踪400 r·min-1的速度指令,调节时间为0.12 s,稳态跟踪误差为±4 r·min-1,且转速无超调;滑模观测器可准确无超调的估计系统扰动值,进一步提高系统的抗扰动性能;当电机以400 r·min-1稳速运行时,加入0.6 N·m的负载扰动,基于新型趋近律和扰动观测器的滑模控制方法最大转速波动为23 r·min-1,与PI控制相比,转速波动减小了8%.上述仿真和实验结果具有较好的一致性,表明基于新型趋近律和扰动观测器的滑模控制方法可以有效抑制滑模控制系统的抖振,提高转速控制系统的鲁棒性和动态响应性能

目前液压凿岩机冲击器结构参数设计,一般仅考虑满足凿岩参数（冲击功、冲击未速、冲击频率或周期）指标、而在参数优化方面尚无成熟的方法。本文则对这一问题进行了探讨,提出冲击器结构参数优化设计可以系统压力脉动及液压冲击最小为目的进行,它具有十分明显的工程意义。为此,将冲击器动力学模型近似简化处理为“等加速”型模型,指出寻求最优结构参数,实质是一个寻求最优“开关”控制问题;由此导出作用在冲击活塞上的液压力与冲击器结构参数的解析关系,使求泛函的极值问题能化为一般函数的极值问题。进而具体给出了以蓄能器容积变化和液压冲击最小为目标,建立指标函数的最优设计方法