多元模态逻辑在有限模型语义下的■os-Tarski定理

证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立,即：在有限模型语义下,一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．     

关于模态命题公式4、E和B的布尔值

模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4、S5和B是协调的     

改进的NExT-ERA时域模态识别法的误差分析

为进行结构损伤识别,用时域模态识别的NExT-ERA法,从脉动激励和测量噪声下有限时长和时间间隔的结构反应中提取高精度模态参数。改进的相关函数估计公式可消除传统相关估计引起的模态参数误差;利用稳定图对不同系统的阶进行识别,以减小系统定阶误差并选择高精度模态;根据Hankel阵奇异向量、奇值和模态参数的对应关系,分析时域模态识别误差的规律和影响因素。用某三自由度框架和主跨1 650 m的西堠门悬索桥模型验证有效。     

弹性空腔的有限带宽渐近模态分析

本文根据渐近模态分析的思想,引入在有限带宽内进行频率积分的概念,发展成有限带宽渐近模态分析.利用波动方程和结构运动方程,给出结构-声耦合的任意形状弹性空腔声压的基本解,该解由结构和声腔模态的线性组合形式表示,然后按有限带宽渐进模态分析方法,导出了实用的弹性空腔高频噪声预估公式.     

模态逻辑系统S4中的度量结构

在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。     

黏弹性地基上欧拉梁的横向自由振动

研究了黏弹性三参数地基上有限长欧拉梁的横向自由振动.给出了简支边界条件下的频率方程和模态方程,进而推导出模型地基梁的固有频率和模态函数的解析表达式,提供了精确计算任意一阶频率和模态的简便方法.在具体算例中,运用推导出的公式能方便地计算出低阶和高阶频率的精确值,避免了以往数值方法带来的计算误差.同时通过具体算例分析了不同物理参数对黏弹性地基上欧拉梁的振动特性的影响.     

改进的NExT-ERA时域模态识别法的误差分析

为进行结构损伤识别,用时域模态识别的NExT-ERA法,从脉动激励和测量噪声下有限时长和时间间隔的结构反应中提取高精度模态参数。由时长较短的反应求传统相关估计会引起模态参数误差,改进的相关函数估计公式可消除该误差;利用稳定图对不同系统的阶识别的模态参数的均值和标准差,以减小系统定阶误差并选择高精度模态;根据Hankel阵奇异向量、奇值和模态参数的对应关系,分析时域模态识别误差的规律和影响因素。用某三自由度框架和主跨1650m的西堠门悬索桥模型验证有效。     

基于Timoshenko梁模型的旋转弹箭横向振动模态分析

将旋转弹箭简化为Timoshenko旋转梁,基于有限单元法研究了其在自由飞行时的横向振动模态.采用Timoshenko梁模型,考虑陀螺效应和剪切效应,运用转子动力学和有限单元法的思想,建立旋转弹箭横向振动的有限元方程和频率方程.利用该频率方程,分别采用Rayleigh梁和Timoshenko梁模型对某旋转弹箭进行模态分析,对不同梁模型下的横向振动进动频率进行对比,并讨论弹箭转速和长径比对模态频率的影响.     

关于复模态理论的数学方法、物理概念及其与实模态理论的统一性

本文系统地论述了振动结构参数识别的复模态理论的基本数学方法──状态向量法及拉氏变换法的特点、基本推演过程及基本公式，并论证了这两种方法的一致性；解释了复模态模型的物理意义．说明了ｓ城传递函数与频域传递函数的图象关系；用图解法形象地说明了复振型所反映的振动图象。最后，根据复模态理论推演了转化为实模态情况的条件，并从而导得了实模态模型的所有模态参数公式，论证了复模态理论与实模态理论的统一性。     

基于单自由度共振反应的模态质量计算方法

基于单自由度在简谐荷载下的共振响应结果反算单质点质量的思想,提出一种计算多自由度结构体系模态质量的方法,并利用MIDAS有限元软件求得模型模态质量,解决若干有限元软件不能直接提取模态质量的问题.模态质量原始公式计算结果与仿真实验结果的对比分析表明,该方法计算数值误差均小于5%,计算结果可以满足计算精度要求.