简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

简介：典范框架的思想来自于Henkin对经典逻辑完全性的证明，它依赖于语法对象。同样，模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架，典范框架包含着相对应逻辑的性质信息；另外，典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成，因此，典范框架的构成以语言为参数。对于同一个逻辑，它的基于不同语言的典范框架之间有着非常密切的关系，逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的，对每个正规逻辑，其典范框架也都是足够“宽”的。

简介：目前在模态逻辑中,主要存在两种嵌入方法：一种是＂坍塌嵌入＂,一种是＂翻译嵌入＂;用周北海和A.Chagrov和M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现：虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻辑P,但是＂S5可以翻译嵌入P中＂,因此,通过定义翻译嵌入映射Tr4,从而证明了S5可翻译嵌入P;最终我们提出并证明了这样的定理：＂翻译嵌入映射Tr4可以使得S5的所有子系统K、D、T、S4和B,以及系统KDc与KTc都能够翻译嵌入系统P中＂。

简介：模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对"罗斯悖论"的剖析中引入可能算子,通过对道义悖论作时态的分析,以辨明义务的相对性,是消除道义悖论的一条可行的途径.

简介：选举民主问题的研究范围涵盖了社会选择理论、计算机科学、政治学、经济学和哲学等领域,是一个跨文化、多学科交叉的研究领域。目前,从逻辑视域研究选举民主问题是逻辑学领域的热点之一,从模态逻辑S5~m的角度,基于投票逻辑对选举民主问题进行形式化研究,研究选举民主过程中的不公正行为,以期找到切实可行的解决途径。

简介：狭义函数相对论基本原理：对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数（式）按K-2分别依次代入该公理模式中的每一个＂□＂,使得形成一组经典定理。

简介：人的心智与心身这样两个向度是同步融入生活世界的,所以模态语境认知与心灵理解是一种动态语境观.如同人是“类”本质一样,世上并没有脱离身心的孤零零的心智,也没有脱离种群与社群意义上孤零零的人.有人形容说,基本的心身活动就像戏剧演出（心智活动）的舞台,它的存在有时看似与剧情无关,但却承载与制约着全部演出.在此意义上,心身为心智主题域奠基.哲学逻辑的模态语境认知与心灵理解,既是从人的“知情欲”所产生的心智、心身这样两个向度来分析主体在模态语境下的认知,又在此基础上探究人的智识与情欲的相互渗透进而影响人的认知走向,以及心灵理解与目标认知等问题.

简介：标题中的“小品”指一种多模态的幻灯片文本，一般网络文化研究者称之为“超文本”。但“小品”只是多模态超文本中的一种，在网络上很常见，很受欢迎。本文试图用语言符号学分析这种“小品”的特点，并在Halliday的社会符号学框架内予以进一步的探究。

简介：多模态即人们通过行为、视觉、听觉以及嗅觉、触觉体会到的不同的感观模态。多模态语境也被普遍的运用到了各大中小学校的教学活动当中,为学生能通过各种模态进行学习并有效提升学习成果带来了极为有利的帮助。多模态教学相较于以往单一的模态教学,在给广大师生带来便益的同时,对教师教学能力以及学生的解码能力都提出了较高要求。笔者结合自身教学经验,就多模态语境下的教学模态的有效选择与运用展开以下讨论。

简介：摘要空调配管是空调重要的零部件，由于受到压缩机的激励和冷媒的脉动冲击，管路不可避免的会产生振动，强烈的共振会使管路产生疲劳损伤，减少使用寿命，降低空调的可靠性。因此，研究空调配管的结构动态特性对空调可靠性有着重要意义。以某款空调配管为研究对象，结合有限元模态分析和试验模态分析方法对配管进行优化设计。研究表明试验模态分析结果和有限元分析吻合，验证了理论模态的正确性。同时，模态试验找出了引起配管额定工况时振动过大的压缩机固有频率，模态分析为结构改进提供了良好参照。

简介：【摘 要】： 国内轨道交通车辆的振动模态分析技术已经在解决车辆振动、频率关系方面发挥作用，本文就车体的模态模型理论进行探讨分析，阐述了车体钢结构模态分析的理论及数学模型概念，同时基于地铁车体的实际情况建议了基本的模态设计原则，文章的相关阐述与结论可为进一步研究车体模态及模态试验的同行提供参考。

简介：摘要模态分析在科研工作中扮演着重要角色，为工程设计及危险的预防提供了有限的手段。通过模态分析得到结构的模态参数，从而指导工程工作开展。在实际工作中人们通过数据采集手段采集结构的振动信息再通过相应的软件进行傅里叶变换计算得到结构的固有模态。然而对于小型结构或缩尺结构，尤其是轻质钢结构，采集器的重量对结构本身频率的影响，很少有人考虑。本文通过对一六层铝制小型框架的模态实测和通过ABAQUS及NASTRAN有限元模拟的对比试验，验证采集仪对小型结构固有模态的影响。

简介：基于某车身模态匹配策略,设定其座椅NVH（Noise、Vibration、Harshness）目标,并利用有限元分析软件HYPERWORKS和动态信号采集分析系统DHDAS对某汽车座椅NVH基本性能指标——振动模态进行了分析与试验研究,得到了座椅骨架的低阶模态和振型,并通过优化座椅部分零件尺寸参数,使座椅的模态频率避开了与车身的共振频率,建立了座椅NVH性能匹配分析与优化的基本流程与方法.

简介：应用逻辑是逻辑理论应用于特定领域所形成的逻辑理论,是国内外公认的一门逻辑分支学科.应用逻辑不是逻辑的应用,也不是逻辑哲学,更不能把任何科学都作为应用逻辑.应用逻辑是逻辑应用中逻辑的逻辑、理论的理论、元逻辑.

简介：

简介：Modelreferenceadaptivecontrolofcontinuous-timesystemswithanunknowninputdead-zone,Modelreferenceadaptivecontrolofnon-linearmultivariablesystemsusinganinteractorstructureestimation,Modelreferenceadaptivecontrolofsynchronousmachinespeedviamodel-updatingconcept,ModelReferenceAdaptiveControlusingDelta-operatorwithNeuralNetworkforPneumaticServoSystem.

简介：

简介：图书馆的运行模式和表现形态自20世纪以来有了很大改观，随着网络、信息、数字化的接踵而至，我们也应当看到这场“风暴”对图书馆带来的前所未有的冲击，本文就图书馆的网络化、资源协作、公共关系等模式进行了分析。

简介：英语句子中常有动词不定式充当非谓语成分的情况,对该动词不定式实施动作的人往往由介词for引出。从语法上看这个“动作执行者”是介词for的宾语,但从逻辑上看它与不定式之间存在着“主谓关系”,因此我们称这个“动作执行者”为动词不定式的逻辑主语。如:

简介：在多模态语篇中,每种模态都有其不同的意义表达方式,模态之间的关系影响着整体意义的构建。本文酷狗7产品展示为例,探讨该类体裁中多种符号模态如何协调互补,共同参与意义构建。研究发现图与文、颜色、声音都是产品展示的有机组成部分,聚合产生＂合力＂,共同参与意义表达从而影响消费者的意识形态,最终实现其宣传并说服顾客购买产品的目的。