对偶Quantale及其性质

提出了对偶quantale的概念,研究了对偶quantale的性质及其构造,利用quantale上的nucleus与余nucleus算子,给出了任一quantale的对偶quantale商的完全构造及quantale上的开模态词的特别构造,研究表明,对偶quantale是非可换quantale中的布尔代数。     

存在n阶非可换的充要条件

设ｎ〉１为整数。本文给出了存在ｎ阶非可换环的充要条件，并讨论了低阶非可换环的状况。     

Quantale的最大左半可换商

通过引入Quantale上左半可换核映射的概念, 用Quantale中的左准对称元给出最大左半可换商的刻画, 证明了左半可换Quantale范畴是Quantale范畴的反射子范畴, 并讨论了局部核映射与左半可换核映射之间的关系.     

存在n阶非可换环的充要条件

设ｎ＞１为整数．本文给出了存在ｎ阶非可换环的充要条件，并讨论了低阶非可换环的状况．     

基于非经典逻辑的拓扑及其应用

本文给出了基于非经典逻辑的拓扑的一个统一的框架，综述了作者及其合作者近年来在此课题上所取得的一系列结果，指出了这些结果在其它一些课题中的应用及进一步的发展方向。     

约束条件下的非齐次线性估计的可容许性

刻划了线性模型在不等式约束ｌ’β≥０条件下的线性估计的可容许性,给出了非齐次线性估计可容许的一个充分条件和一个必要条件。     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

约束回归系数非齐次线性估计的可容许性

本文研究了约束线性回归模型:中SB的非齐次线性估计在非齐次线性估计类中可容许性的充要条件。     

模糊时序逻辑的语义及其广义重言式

讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．     

可能LTL模型检测的两种方法

引入了基于广义可能性测度LTL模型检测的基于路径和基于语言的两种语义,证明了其等价性.基于可能LTL公式语言等价的方法,给出基于广义可能性测度的LTL模型检测的算法和复杂性分析.     

线性时序逻辑基于DTMC的计量化方法

考虑随机Kripke模型离散时间马尔可夫链DTMC,并利用DTMC建立线性时序逻辑LTL中公式的满足度理论。首先在DTMC的全体无穷路径之集上引入某种适当的概率测度,考虑任一DTMC D中满足某个LTL公式φ的无穷初始路径占总路径的比例,以此为基础定义D关于公式φ的满足度概念;讨论满足度的若干性质,并指出这一概念体现了DTMC满足某个LTL公式的程度,故可将其作为模型检测理论中“D满足φ”这一概念的计量化推广;引入LTL公式之间的相似度,并诱导全体LTL公式之集上的伪度量,从而构建LTL逻辑度量空间。     

Compactness theorems of fuzzy semantics

The relationship among diverse fuzzy semantics vs. the corresponding logic consequence operators has been analyzed systematically. The results that compactness and logical compactness of fuzzy semantics are equivalent to compactness and continuity of the logic consequence operator induced by the semantics respectively have been proved under certain conditions. A general compactness theorem of fuzzy semantics have been established which says that every fuzzy semantics defined on a free algebra with members corresponding to continuous functions is compact.     

基于语义的逻辑模型优化研究

在不改变模型结构的基础上,从语义描述的角度,根据模型扩展原则和优化指标确定扩展内容,采用扩展参照实体的标准值方式,通过语义约束来更好的响应企业的业务变化需求。从而有效的保证逻辑模型的实用性,稳定性,和可持续性。     

基于线性时序逻辑的业务流程验证

目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。     

语用学与语义学之再观

文章从历史发展的角度论述了语用学与语义学的产生.它们都是对语言意义的研究但所覆盖的层次不同,语用学可以说是对语义学的补充.正是因为语用学的出现,人们才找到了自然语言的逻辑.     

积分语义学中的积分相似度与伪距离

研究了积分语义学理论的相似度与伪距离 ,对特殊公式In=p1∧p2 ∧…∧pn,Un=p1∨ p2 ∨…∨ pn 的真度值进行了计算 ,给出了F(S)中的积分相似度和F(S)上的伪距离的一些性质 .得到了 :( 1 )在任何一个逻辑系统中τ(In) =1n 1 ,τ(Un) =nn 1 ;( 2 )在Lukasiewicz逻辑系统中 ,对公式A和正数ε ,存在公式B ,使得1 -ε<ξ(A ,B) <1 ;( 3)在Lukasiewicz逻辑系统中 ,(ⅰ )设C为矛盾式 ,则 ρ(A→C ,B→C) =ρ( A , B) ,(ⅱ ) ρ( (A→B)→B ,(C→D)→D) =ρ(A∨B ,C∨D) .     

结构语义学理论及其指导意义

结构语义学研究含蓄的语义关系。含蓄的语义关系表现在以下三个方面：上下义关系、反义关系和相对关系。研究上下义关系可以帮助学生措词准确、生动，同时扩大其词汇量；研究反义关系可以用于解释一些生僻用词；研究相对关系可以加深学生对词语的理解并加以灵活运用。     

超对称非交换修正手征模型的孤子-反孤子解(英文)

研究了2+1维修正U(n)手征模型的超对称非交换扩张模型.Lechtenfeld等人利用超对称推广的穿衣方法构造了该模型的一大类多孤子解.本文运用同样的方法构造了该模型的一类孤子-反孤子解,并具体给出两个U(2)孤子-反孤子解构型.