基于哲学逻辑的集合论研究

20 世纪60 年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮. 在这一时期,诞生了模态集合论、弗协调集合论、直觉主义集合论等一些基于哲学逻辑的集合理论. 模态逻辑是在经典逻辑的基础上增加模态算子形成的一种二阶逻辑,因此,它是一种比经典逻辑强的逻辑.模态集合论相对于公理化集合论是一种加强了基础逻辑的公理化集合论. 与ZF公理化集合论用公理限制集合的方法不同,弗协调集合论也是一种改变了集合论的基础逻辑,选择了可以容纳或处理矛盾的弗协调逻辑,这样即使集合论中出现矛盾也不会使整个理论陷入不足道的困境. 由于在直觉主义逻辑中排中律不成立,所以直觉主义逻辑是一种比经典逻辑弱的逻辑. 直觉主义集合论相对于ZF公理化集合论是一种减弱了基础逻辑的公理化集合论.     

基于Gabor变换和EMD的轴承故障诊断

基于振动信号处理的轴承故障诊断方法应用非常广泛。由于在实际采集的振动信号中往往混合着干扰信号,因此提出了一种基于Gabor变换的盲源分离和基于经验模态分解(EMD)的Hilbert包络谱分析相结合的故障诊断方法。首先采用基于Gabor变换的盲源分离方法对振动信号进行盲源分离,然后利用EMD方法进行分解获得本征模式函数(IMF)分量,再通过局部细化Hilbert包络谱方法分析判断轴承故障的特征。研究结果表明,通过对轴承振动信号进行盲源分离和EMD分解,可以使信号的故障特征更加明显,从而提高故障诊断的准确性。     

语用逻辑研究的新进展--蔡曙山的语用逻辑形式化研究述评

20世纪80年代以后,中国语用学与语用逻辑的研究开始起步.虽然起步较晚,但以蔡曙山教授为代表的一批学者,却能够站在当代西方语言哲学,特别是言语行为理论和语用学研究的基础上开展研究工作,在受到当代语言哲学大师塞尔高度赞誉的<言语行为和语用逻辑>一书中,蔡曙山构造了命题语用逻辑、量化语用逻辑以及模态语用逻辑的自然推理系统与形式公理推理系统及其各自的语义模型,探讨并证明了元逻辑问题.蔡曙山在这一领域的研究成果,拓展了语言逻辑研究的空间,促进了语用逻辑的形式化研究,从而为进一步推进计算机与人工智能逻辑、认知科学的研究,提供了完备的、精密的研究工具.这项研究成果标志着中国语用逻辑的形式化研究达到西方现代语用逻辑研究的相同水准,同时也发扬与光大了中国古老的语用学与语用逻辑的思想传统.     

碟式分离机支撑条件对转子系统动力学特性影响

为保证蝶式分离机转子系统的稳定性,笔者基于有限元分析软件ANSYS分析转鼓内离心载荷、支承位置与支承刚度对碟式分离机动力学特性的影响,研究固有特性、模态频率和相应振型的变化规律。结果表明：转鼓内流体离心载荷对转子刚度产生显著影响,进而导致各阶模态变化趋势各异;支撑位置和支撑刚度对转子不同阶模态的影响趋势与相应振型有关,当转子部件变形不一致时,部分阶数模态频率可能随支撑位置上移而减小;转子振型在支承位置的径向振幅明显时,支撑刚度对模态频率产生显著影响。研究结果可用于碟式分离机转子系统的设计与优化。     

一般螺线曲率中心轨迹的曲率与挠率

本文给出一般螺线曲率中心轨迹的曲率与挠率计算公式,揭示了一般螺线的曲率、挠率与其曲率中心轨迹的曲率、挠率的关系.同时得出当曲率为常函数时,一般螺线曲率中心轨迹是圆柱螺线.     

钢筋混凝土损伤梁动力特性的有限元分析

以钢筋混凝土梁为研究对象,基于Euler-Bernoulli梁理论和结构动力学理论,通过有限元分析,计算得到了不同裂纹状态下梁的固有频率和模态振型,研究了裂纹对梁振动响应的影响。结果表明,损伤结构动力特性对损伤的敏感性并不能简单的归结为高频一定敏感,低频一定不敏感,应视裂缝位置与振型节点关系而论。     

内涵的刻画与认知的可能世界——兼评查尔莫斯的二维语义理论

解决同义性问题的一个重要困难在于：断定表达式有相同的意义包含了如下的假定——不同的说话者用音节划分世界的方式是一样的。因此，同义性问题不仅涉及指称问题，也涉及说话者如何使用语言的问题，而这也是“分析性”和“内涵”这些概念何以导致众多争论的重要原因之一。查尔莫斯认为，为了刻画表达式的内涵，必须区分认知的可能世界和模态的可能世界，从而利用理性（说话者使用语言的方式）和模态（真实世界的可能状态）构建出“意义”的解释。     

现象实体——可道之道——关于相互作用建构实在论的对话

物质和相互作用是相辅相成的,有物质就有相互作用,在自然力的作用下,物质总会凝聚成自在实体,这是不需要人参与的自然过程,人参与的过程即是自在实体转化为现象实体的过程. "自在实体"与老子的"道"或"无"属同类概念,但比"道" 、"无"概念精细.道可道,非常道.现象实体是可道之道.     

可能世界是什么

本文在系统评析若干有关可能世界本体论问题的代表性文献的基础上,提出了从哲学上定义可能世界的新思路:(1)"世界"意义上理解的可能世界。(2)"可能性"意义上理解的可能世界。遵循这条思路化解模态实在论和温和实在论之间的分歧,既符合可能世界这一名称的基本含义,又有利于可能世界本质特征的澄清。     

黎曼流形中的柱形直纹超曲面

本文举出了空间形式中柱形直纹超曲面的例子,讨论了空间形式中柱形直纹超曲面的性质和爱因斯坦黎曼流形中柱形直纹超曲面族的存在性问题．