– 静态检查中最典型的部分 — 类型检查： 类型系统、类型检查、多态函数、重载 – 忽略其它的静态检查：控制流检查、唯一性检查、关联名字检查

扭转调谐液柱阻尼器（torsional tuned liquid column damper，TTLCD）是一种有效的扭转振动控制装置.本文对该阻尼器在偏心框架结构中的设计方法进行研究，针对不同的倾斜管道投影点和倾斜角，建立了三种形式的扭转调谐液柱阻尼器在地震作用下的运动方程和控制力方程，给出TTLCD参数优化的具体公式，其方法为对比扭转调谐液柱阻尼器-偏心结构和扭转调频质量阻尼器（torsional tuned mass damper，TTMD）-偏心结构，将两控制系统转化，利用Den Hartog或Ikeda给出的调频质量阻尼器（tuned liquid mass damper，TMD）参数优化公式来实现TTLCD参数优化，最后给出TTLCD的设计流程.通过对一个四层偏心框架结构进行模拟，验证了理论设计方法的合理性

◼ 7.1 系统目录 ◼ 7.2 事务 ◼ 7.3 数据库的恢复 ◼ 7.4 数据库的并发控制 ◼ 7.5 并发事务的可串行化和可恢复性 ◼ 7.6 数据库的完整性 ◼ 7.7 数据库的安全性 ◼ 小结

本文从电机的基本矩阵方程入手,用座标变换方法推得了无换向器电动机的数学模型及其简化传递函数,讨论了一些物理量对其动特性的影响,阐明了无换向器电动机闭环控制系统的组成与特性,提出了改善动态特性的方法。研究结果表明,简化传递函数具有足够的准确性;无换向器电动机闭环控制系统具有与直流电动机闭环控制系统极其相似的动态性能;采用磁场调节与电枢调节相结合的控制方式,可以使系统的动态性能得到很大改善

采用物理气相沉积的方法通过控制生长参数,在硅衬底上获得不同形貌的氧化锌纳米阵列.在金属场发射系统中测量了它们的场致电子发射性能,发现阴极发射电流不稳定主要是由于氧化锌纳米阵列的不均匀性造成的.采用高压励炼技术可以增强氧化锌场发射的稳定性,使电流波动明显降低.此外,形貌对氧化锌纳米阵列的场发射电流密度和阈值电压有明显影响,而且不同形貌的氧化锌纳米阵列的抗溅射能力也不相同

介绍了一种交流永磁同步电机电流控制方案,该方案采用改进电流比较方式,通过电流信号的比较,电压矢量的限定,选取电压矢量。该系统具有结构简单,响应速度快,谐波小的特点

1、奈氏判据的数学基础 2、奈氏判据——形式1 3、对数频率稳定判据 4、条件稳定系统

在分析了以往的齿轮故障诊断方法及大量试验数据的基础上,选出了对应于各故障敏感的参量,总结归纳了齿轮故障的判据并在此基础上建立了故障诊断的专家系统,把模糊理论用以知识表示进行不精确推理;采用元知识控制下的反向推理机制并根据推理结果赋以合理的解释,该系统既能本机自动诊断又能结合其它诊断方法作精密诊断;还能兼顾在线监测与离线分析.利用该系统对齿轮试验数据进行分析、处理进而推理、诊断获得了满意的效果

根据冶金过程工程理论,针对钢铁制造过程系统中制造过程最为复杂的炼钢厂系统的生产模式优化问题进行探讨,阐述了生产模式在炼钢厂系统运行过程中的地位及其逻辑关系,并结合四个国内高效连铸工厂实际进行了研究,论述了生产模式优化的三个效用:(1)车间平面布置趋向合理、简洁;(2)工序缓冲趋向合理、有效;(3)工序运行趋向高效、优化。此外,上述研究结果已经拓展到特殊钢流程的运行优化与控制研究中,并取得有益的效果

讨论了同时具有输入时滞与状态时滞的不确定线性系统的时滞相关鲁棒镇定问题.运用矩阵分解思想和Lyapunov-Karsovskii泛函方法,在处理V的导数时添加一个恰当的0项,引入自由权矩阵,基于LMI方法获得了系统经无记忆状态反馈后可鲁棒镇定的时滞相关充分条件,同时获得了具体的控制器设计方法.数值例子说明所得结论具有较小的保守性