论奎因对模态逻辑的批判

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

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.     

结构时变模态参数辨识的时频分析方法

应用线性和二次时频变换方法，即短时傅里叶变换和魏格纳—维尔分布，进行了时变结构模态参数的辨识．通过对刚度突变和刚度连续变化的单自由度系统时变参数辨识的仿真，论述了两种时频辨识方法的特点．仿真结果表明，时频变换辨识方法是辨识时变模态参数的有效工具，而且魏格纳—维尔分布二次时频表示能得到比基于短时傅里叶变换的谱图更好的辨识结果．     

关于经验论模态词相互关系的注记

经验论模态逻辑系统含有两组关于经验推理的模态词，证明了该系统中复合模态词间的一系列蕴涵关系，并构造反模型说明了其蕴涵关系的反方向不成立，从而全面弄清了该系统中各种复合模态词的相互关系。     

轴承-转子系统动态特性研究的数值方法

采用集总质量法、梁单元法和有限元法3种数值方法研究轴承-转子系统动态特性。数值结果表明，有限元法能够高精度地分析系统固有频率和模态振型，为轴承-转子系统提供了设计依据并为油膜力、电磁力支承的轴承-转子系统奠定了理论分析基础。     

混流式转轮静强度和振动特性分析

为大型水轮机组的安全、稳定运行,研究了转轮在水介质中的动力特性。运用顺序耦合的方法,分析了在三维旋转流动所产生的水压力作用下转轮体的静强度特性;运用全流固耦合的三维有限元方法进行了转轮在水介质中的模态分析。强度分析结果表明,应力集中的部位与裂纹实际产生的位置完全吻合,但最大等效应力远小于材料的极限破坏应力;模态分析得到转轮在水中的自振频率和振型等振动特性,指出了发生共振的可能性。结果证实了导致裂纹产生的原因不是静应力而是动载荷的作用。     

结构损伤诊断技术的研究和发展趋势

综述了近几年来工程结构损伤诊断技术的研究应用，对工程结构损伤诊断的各种方法进行了评述，讨论了各种方法在理论上和实际应用中存在的问题．根据国内外最新文献．推测工程结构损伤诊断的发展趋势。     

用几何最小二乘法改进 ITD 法的阻尼识别精度

ＩＴＤ（ＩｂｒａｈｉｍＴｉｍｅＤｏｍａｉｎ）模态识别方法可不用输入系统的信息就识别系统的模态参数，但识别的模态参数常常很不精确，且阻尼比的识别精度很差。当激励信号不是独立白噪声信号时，不应该采用ＩＴＤ法进行模态识别。推导了ＩＴＤ法识别的模态频率和阻尼比的相对误差公式，由此分析了造成阻尼比识别结果很差的原因，并且引入了Ｉ－ｂｒａｈｉｍ提出的双最小二乘算法（ＤＬＳ），在此基础上，提出了几何最小二乘法（ＧＬＳ）。通过理论推导和算例验证得到：一般情况下，ＧＬＳ和ＤＬＳ算法均可提高阻尼比的识别精度，且前者的识别结果优于后者。     

表达技能

在教学过程中，教学信息的传递和师生的互动，都离不开表达。表达作为一种教学技能，它在知识的传递和课堂里的师生人际交流中，无时无刻地被运用着。教师表达的特点，在很大程度上决定了教学效果的好坏。同样的教学内容，由于不同教师的不同的表达组织方式，使课堂教学变得极具多样性的特点。无论是课堂的气氛、教学的效果、学生学习的情绪和动机等，都会因教师表达的不同而具有很大的差异性。     

基于PC的虚拟现实系统开发平台——PCVRS

介绍了一个基于ＰＣ的虚拟现实系统开发平台ＰＣＶＲＳ，对比国外同类系统，具体分析了ＰＣＶＲＳ在交互功能和开放性方面的特点，在交互功能方面，ＰＣＶＲＳ扩充了Ｐｉｃｋ＆Ｐｌａｙ的交互方式，增加了语音通道，实现了多通道交互，在开放性方面，ＰＣＶＲＳ采用Ｉｎｔｅｒｎｅｔ上流行的虚拟现实造型语言ＶＲＭＬ作为系统的基本造型语言，并设计了一个抽象的造型数据格式作为向三维场景提供数据的统一接口，最后，通过对基于该平