Lukasiewicz3-值命题逻辑的强完全性证明

证明有穷多值逻辑系统的完全性有多种方法,经典逻辑的Henkin极大一致集方法也可以推广到多值逻辑。已经有文献在Lukasiewicz3-值命题逻辑中成功地应用了这种方法,但是没有把它推广到任意有穷值Lukasiewicz逻辑及其他种类的多值逻辑。构建一个可以推广到其他有穷多值逻辑的典型模型,应用这个模型可以重新证明Lukasiewicz3-值命题逻辑的强完全性。     

多值逻辑的解释问题

多值逻辑的解释，是多值逻辑研究中重要而又相当困难的工作。本文分析了多值逻辑系统中真值解释的不同含义，研究了现有的一些多值逻辑解释的特点，并且探讨多值逻辑解释中存在的困难和一些解决的方法。     

基于开放世界预设的3-值逻辑的列表证明系统

鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论.该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表证明方法.针对SLO的形式语义,该文给出各个联结词的列表证明规则,构造出列表证明系统SLO*,并且证明了这一系统相对SLO语义是可靠的和完全的.     

转动变换与转动图像

根据矢量算符在希尔伯特空间中转动变换的性质,利用转动图像给出了量子力学中与转动变换有关的常用公式.与其他证明方法相比,利用转动图像的方法更为简洁.     

LSA和MD5算法在垃圾邮件过滤系统的应用研究

随着对垃圾邮件问题的普遍关注,针对目前邮件过滤方法中存在着的语义缺失现象和处理群发型垃圾邮件低效问题,提出一种基于潜在语义分析(LSA)和信息-摘要算法5(MD5)的垃圾邮件过滤模型。利用潜在语义分析标注垃圾邮件中潜在特征词,从而在过滤技术中引入语义分析;利用MD5在LSA分析基础上,对群发型垃圾邮件生成"邮件指纹",解决过滤技术在处理群发型垃圾邮件中低效的问题。结合该模型设计了一个垃圾邮件过滤系统。采用自选数据集对文中设计的系统进行测试评估,经与Nave Bayes算法过滤器进行比较,证明该方法在垃圾邮件过滤上优于Nave Bayes方法,实验结果达到了预期的效果,验证了该方法的可行性、优越性。     

齿轮故障振动信号精确幅值解调方法

齿轮故障振动信号中通常包含幅值调制成分,当信号过调制时,常用的包络解调无法准确表示真实的调幅信号。因此,基于希尔伯特变换、平方解调与最小二乘优化算法,提出了一种精确的幅值解调方法。该方法利用希尔伯特变换构造优化目标函数,加入基于平方解调构造的约束方程,通过最小二乘优化算法求解调幅参数,实现了精确的幅值解调。仿真表明:该方法在信号欠调制和过调制时均可以精确重构出真实的调幅信号,具有通用性,抗噪性好。实验分析表明:严重的平稳型故障会导致振动信号出现过调制,断齿故障导致全频带内产生的离散谐波成分影响啮合频率附近振动信号的调制强度。解调结果验证了该方法处理两类齿轮故障的有效性。     

蕴涵算子及二值逻辑系统的扩充

本文主要讨论一些常见蕴涵算子及其在二值逻辑系统中的性质。从语义方面研究二值逻辑系统向多值逻辑系统扩充中与蕴涵算子密切相关的一系列问题,并讨论了多值逻辑系统与其子系统之间的关系,得到若干基本结果。     

命题逻辑的证伪系统

一个证伪系统是由证伪公理和证伪规则组成的推演系统。证伪公理都是非有效的公式,而证伪规则保持非有效性。张清宇在1996年(基于他在1986年的工作)提出了证伪系统的概念并为古典命题逻辑建立了自然推理型证伪系统N珚和希尔伯特型证伪系统H珚,本文在此基础上做进一步的推广以包括直觉主义命题逻辑、模态命题逻辑的证伪系统并做一般性讨论。     

离散型种群竞争模型的周期解

研究了一类离散型种群生存竞争模型的周期解问题。利用射影几何中常用的齐次坐标记法,把非线性系统用逐次递推的线性形式来表示,得到了判别系统有最小正周期m的周期解的一个充要条件。该结果证明了系统不存在最小正周期m=2的周期解,得出了具有最小正周期m=3的周期解时系统的一般表达式和最小正周期m=3的一个判定定理。     

修正Weyl型算子的L~2连续性的证明方法

对文献[1]中Wcyl型拟微分算子的L~2连续性的证明方法中的一个错误进行了修正。利用在象征中加入衰减因子的方法,得到了正确的证明。