关于振动模态参数识别的注记

回顾了关于整体拟合的分母多项式系数的争议,论证了Richardson文献中所提供的参数精度不高的原因并非源于Richardson的错误.指出一个经典考核算例的仿真传递函数生成公式不同于复模态理论提供的公式,讨论了两者之间的关系.表1,参9.     

开关型磁阻电动机的振动分析

针对SR电动机存在的振动和噪声问题,分别应用实验模态分析法和计算模态分析法研究了SR电动机的动力特性,得到了SR电动机定子的固有频率和主振型,计算值与实验测量值吻合较好,所得数据可为制定抑制SR电动机的振动和噪声方案提供参考.     

振动控制系统中致动器配置方法的理论研究

该文从致动器配置受振动系统的固有特性支配，而不受系统初始条件和控制规律的支配的观战利用模态分析法和动态灵敏度分析，提出了基于模态控制的致动器配置方法。     

改进的直接分支模态综合法

介绍了直接分支模态综合法的基本原理并通过算例对算法进行验算,分析了该方法计算结果很不准确的原因并进行了改进。改进的分支模态法将系统中主子结构的剩余模态加入,降低了略去高阶模态带来的严重误差。计算结果与有限元软件ANSYS的计算结果吻合较好,误差小于2%。改进的方法不仅使计算结果准确,而且保持了原方法的优点,适用于工程计算。     

以动词形式表达将来时间的语法手段

本文归纳了英语以动词表达将来时间的主要语法手段:“shall/will”,“be goingto”“be to”,一般现在时,现在进行体,将来进行体;然后对各种用法及其意义作了说明和比较。     

面向对象数据库"联系_选择"查询操作的优化

综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后，给出了“联系_选择”及其拓展“联系_选择_投影”两个重要的复合操作的优化算法，提高了查询的执行效率。     

在役桥梁结构延性系数的动力评价方法

以桥墩的基本振型函数为基础,推导出基于试验动力参数的在役桥梁结构延性系数的计算公式,并给出了结构非弹性地震力的求解方法。对室内钢模型桥利用冲击力锤法进行了模态试验和静力对比试验,实测参数与理论值相差仅2%,在此基础上利用给出的公式可以求得桥墩的变形增加系数为2.78。结果表明,在场地土条件未知的情况下,利用动力试验法对在役桥梁结构延性系数进行评价是可行的。     

缆索支承桥梁模态阻尼特性及理论分析

在广泛收集国内大跨缆索支承桥梁的模态阻尼实测资料的基础上，通过对收集到的实测资料进行统计分析，研究了两种缆索支承桥梁：斜拉桥和悬索桥的模态阻尼特性．在现有的基于能量耗散的模态阻尼计算方法的基础上发展了一种缆索支承桥梁模态阻尼计算方法；利用模态阻尼实测数据得到了结合梁斜拉桥、混凝土斜拉桥和钢悬索桥子结构的损失系数，然后利用这一方法计算了南浦大桥、武汉长江二桥和虎门大桥的模态阻尼。     

论奎因对模态逻辑的批判

模态逻辑一经产生，就遭到奎因的质疑。奎因认为，模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的，应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析，章认为奎因对模态逻辑的批评在观念上和论证上都存在缺陷，因此奎因的批判是不能成立的。     

Modal extension rule

Modal logics are good candidates for a formal theory of agents. The efficiency of reasoning method in modal logics is very important, because it determines whether or not the reasoning method can be widely used in systems based on agent. In this paper, we modify the extension rule theorem proving method we presented before, and then apply it to P-logic that is translated from modal logic by functional transformation. At last, we give the proof of its soundness and completeness.