Gdel n值命题逻辑中公式的α-随机真度理论

给出了Gdeln值命题逻辑中公式的α-随机真度的概念,研究了其性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。

n值命题逻辑中公式的随机真度

给出了Lukasiewiczn值命题逻辑中公式的随机真度的概念,研究了其性质,利用随机真度定义了公式间的随机相似度,进而导出全体公式集上的一种伪距离。

Theory of (n) truth degrees of formulas in modal logic and a consistency theorem

The theory of （n） truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the （n） truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of （n） truth degrees of formulas w.r.t. n in temporal logic is investigated. Moreover, the theory of （n） similarity degrees among modal formulas is proposed and the （n） modal logic metric space is derived therefrom which contains the classical logic metric space as a subspace. Finally, a kind of approximate reasoning theory is proposed in modal logic.

n值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息下的近似推理理论提供了一种可能的框架。

G?del n值命题逻辑系统的真度理论

首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。

n值Lukasiewicz逻辑系统中公式的向量表示及其研究

首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。

建筑物震害的类比预测方法研究

在“同一场地上相似的两幢建筑物，未来具有相似的震害程度”的假设前提下，提出了如何利用一个地区的部分建筑物单体的震害预测结果，对这一地区的其它建筑物单体的震害进行预测的方法，并从结构抗震角度研究了如何用加权Ｈａｍ－ｍｉｎｇ距离度量两幢建筑物的相似程度。

中文文本自动校对技术的研究

传统的自动校对技术多是基于字、词级的统计方法 ,有很多局限 ,通过讨论中文文本自动校对技术的设计思想与实现方法及中英文自动校对的异同 ,提出了词法、句法、语义多层次结合校对策略 ,从而能够检查以往无法查出的错误 描述了自动校对系统的整体框架 ,并具体给出可操作的实现方法 这些方法针对非受限领域的文本 。

多值模态逻辑的计量化方法

在多值模态逻辑中构建了n-值模态模型及相应的语义理论,并指出这种语义是经典模态逻辑语义的推广.定义了W,R n-型框架的概念,并在该框架下用归纳的方法构建了由模态公式诱导的局部化映射,给出公式的局部化真度的概念,并指出任意模态公式的局部化真度都可以转化为另一个不含模态词的公式在同一可能世界处的局部化真度.定义了模态公式的全局真度,并证明了当某模态公式不含模态词时,其全局真度与其在一般命题逻辑中的真度一致.

环境激励下桥梁结构模态参数识别的改进随机子空间算法

为了剔除稳定图中的虚假模态和避免模态遗漏现象,提高模态参数识别的精确度,提出了一种基于滑动窗口和相似度的桥梁结构模态参数智能化识别算法。基于余弦相似原理提出了频率相似度和振型相似度,并依此构建置信度,以实现对系统真实阶次的自动化确定;引入改进集成经验模式分解算法,以消除响应信号内部的噪声信号,达到消除部分虚假模态的目的;接着引入滑动窗口以实现对响应信号的划分,并通过构建频率相似度、振型相似度以及阻尼比相似度实现多个窗口对应参数结果中同类模态的聚类处理,达到剔除虚假模态和避免模态遗漏的目的。最后将所提算法运用于实际斜拉桥结构的模态参数识别,并将识别结果与现场试验值以及有限元结果进行对比,结果表明,所提算法不仅能有效识别出频率结果还能识别出准确的模态振型图,能够实现桥梁结构模态参数的在线智能化识别。

模态逻辑中公式的模态真度

在模态逻辑中提出了公式的模态真度理论,即D真度与?真度。先给出在一个给定Kripke模型之下的模态真度理论,此后利用均匀概率思想,提出了更为合理的(n)模态真度理论,定义了两公式之间的(n)模态相似度,并由此导出了(n)模态伪距离,得到了相应的模态度量空间。结果同文[9]相比更能体现模态词的思想特点,从而为在模态逻辑中展开近似推理提供一个可能的框架。

换流变压器真空有载分接开关动力学模拟及工作一致性研究

真空有载分接开关是确保换流变压器安全稳定运行的关键部件,对其动力学和工作一致性进行评估具有重要意义。为了弄清楚分接开关切换过程中不同频率振动信号的产生机理,弄清楚振动信号与开关动作的联系,文中首先建立了分接开关筒壁和分接选择器支架的有限元模型,获得了分接开关固有频率及振型;然后构建了表征触头分合的多自由度动力学模型,模拟了分接开关在切换过程中的响应特性;再利用变分模态分析提取多频信号中的高频分量对振动信号进行分段,利用结构相似度计算振动时频信号的一致性系数;最后根据文中所提出的一致性分析方法对实验室数据和现场数据进行了分析,获得了不同档位一致性系数的变化规律。研究结论对基于振动信号的真空有载分接开关机械状态评价方法具有重要意义。

■ukasiewicz n值命题逻辑中公式的α-随机真度理论

给出■ukasiewicz n值命题逻辑中公式的α-随机真度的概念和性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。

灰色关联分析模型研究进展

本文对灰色关联分析模型的研究进展进行了系统梳理.从早期基于点关联系数的灰色关联分析模型,到基于整体或全局视角的广义灰色关联分析模型;从基于接近性测度相似性的灰色关联分析模型,到分别基于相似性和接近性视角构造的灰色关联分析模型;研究对象从曲线之间的关系分析到曲面之间的关系分析,再到三维空间立体乃至n维空间中超曲面之间的关系分析.明确了有待进一步研究的问题.较为清晰地向读者展示出灰色关联分析模型的几条研究脉络.

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

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