多元模态逻辑在有限模型语义下的(L)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%,计算结果可以满足计算精度要求.     

从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.     

略论模态语境中指称的隐晦性问题

模态语境中指称的隐晦性问题一直是模态逻辑研究的重点。迄今为止,逻辑学家已经提出了两种解决的方案:一是CHURCH方案,一是通过将专名和摹状词加以区分并论证专名是否有涵义的方案。着重讨论和分析第二种方案,从专名是否有涵义与语境关系角度审视模态语境中指称隐晦性问题,并且在此基础上提出主张和观点。     

论奎因对模态逻辑的批判

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

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

关于K的三种模糊模态逻辑

引入了MR₀代数的概念,讨论了它的一些重要性质,给出了MR₀代数的同构定理。其次,构建了模态系统K₁,证明了在MR₀代数语义下该系统是完备的。最后,通过将Kripke模型中的赋值V模糊化,建立了模态逻辑系统K₂,并证明了系统K₂是可靠的;通过将Kripke模型中的二元关系R模糊化, 建立了模态逻辑系统K₃,并证明了系统K₃是完备的。     

SLDNF-归结原理关于模态语义的完备性

Ｂａｒａｔｅｌｌａ定义了正规谓词逻辑程序的模态完全化语义,并证明了该语义关于ＳＬＤＮＦ－归结的部分完备性。本文首先给出了逻辑程序的模态直承算子,并研究了相关的理论性质,进而证明了模态完全化语义关于ＳＬＤＮＦ－归结的完备性。     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

模糊模态逻辑系统MLuk中的可达广义重言式

将赋值格取为单位区间并将二元关系R模糊化,研究了模糊模态逻辑系统MLuk,然后将其赋值格离散化研究了多值模态逻辑系统MLn;证明了在MLn中,对任一可能的赋值α都存在可达α-重言式;在MLuk中对任一有理数α∈[0,1]都存在可达α-重言式;指出了在风系统R0起关键作用的升级算法对MLn系统已不再适用,并分析了其原因。     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

面向半结构化数据的树逻辑及其性质研究

半结构化数据正以其灵活性而成为解决Internet环境下互操作语义层面问题的重要工具和网络数据交换格式的标准．从基础理论层面上对版结构化数据进行研究，在考察了进程代数和空间逻辑的有关结果后，从模型和逻辑系统的角度对半结构化数据特别是XML语言进行刻画．在[1]的基础上，在数据模型中加入了受限算子，并提出一种新的空间逻辑——树逻辑，在其中引入了一个新的模态算子，它们的意义在于能够对私有数据的性质进行刻画和表达．此外，通过修正数据模型中的同余关系，使得模型符合数据的有序性，从而使其更为合理．在此基础上证明了树逻辑系统公式可满足性的不可判定性，从而说明针对整个树逻辑系统的模型检测算法是不存在的．同时选择了其中一个子逻辑系统，给出了其模型检测算法，并证明了该算法的正确性．