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

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

一个从k-CNF到t-CNF归约的有效算法

根据极小不可满足公式的特征,对于固定的3 ≤t＜k.我们给出了一个将k-CNF公式归约到t-CNF公式的有效算法.对于给定的k-CNF公式F,t-CNF公式的转换可以在公式F的长度的线性时间内完成.     

基于自动机理论的符号模型检验

状态爆炸是模型检验需解决的一个关键问题.基于GPVW算法,以及从LTL公式导出识别该公式的Büchi自动机,用OBDD符号表示,通过符号操作求解自动机乘积.采用符号方法求解出含有初始状态或接受状态的最大连通图,判断自动机是否存在初始状态能否到达含有接收状态的最大连通分支,从而判定所接受的语言是否非空来模型检验LTL公式.采用本文所提出模型检验LTL公式的方法,能在一定程度上解决空间爆炸问题.     

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

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

一种面向形式概念分析的语义相似度计算框架（英文）

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法.在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质.     

可能性测度下计算树逻辑的若干性质

为讨论可能的计算树逻辑(PoCTL)与计算树逻辑(CTL)的关系,给出PoCTL公式与CTL公式等价的概念,利用公式的等价性证明了CTL是PoCTL的一个真子集.通过PoCTL模型检测算法与PoCTL公式的分析,解决了PoCTL模型检测的时间复杂度问题.最后对重复事件与持久性事件的定性性质及定量性质进行研究,用实例验证了CTL公式与PoCTL公式在可能性测度与概率测度下的本质区别.     

一种面向形式概念分析的语义相似度计算框架

为了计算形式概念分析的形式概念或概念格的语义相似度,利用描述逻辑概念作为形式背景的特征属性对形式概念分析的形式背景进行语义扩展,即利用领域本体(描述逻辑知识库)提出了形式背景的一种语义表示方法．在此基础上,基于形式背景的语义表示,利用描述逻辑推理(即本体推理)给出了一种面向形式概念分析的形式概念或概念格语义相似度计算框架,并且证明了实例化该架构所得到的语义相似度计算方法满足对称性和等价不变性等基本性质．     

形式三角矩阵环上的Gorenstein平坦模

设T=(AU0B)是形式下三角矩阵环.引入相对于平坦分解的相容双模,证明了:若U是相对于平坦分解的相容(B,A)-双模,M1是左A-模,M2是左B-模,则M=(M1M2)φM是Gorenstein平坦左T-模当且仅当M1是Gorenstein平坦左A-模,其中φM是单同态,Coker(φM)是Gorenstein平坦左...     

有限扰动模糊命题逻辑系统的Σ-广义矛盾式

为了克服经典一维模糊逻辑系统的不适应性,提出了扰动模糊命题逻辑的概念.用二维扰动模糊命题逻辑最大子代数I2R的有限子集I2Rn取代I2R,并在其中引入Σ-广义矛盾式理论.结果表明:任意公式至多经过2n-μ+δ次就可降级为矛盾式;证明了矛盾式表示定理,表明关于一种有限值扰动模糊命题逻辑系统而言的广义矛盾式必可升降级为关于另一有限值扰动模糊命题逻辑系统而言的矛盾式.为模糊信息处理的方法和应用提供了新的理论基础.     

可换环上一类可解若当矩阵代数的若当自同构

令R表示含单位元的可换环,2是R的可逆元,φ表示R上的一个可解若当矩阵代数.研究了φ的若当自同构,通过归化的思想将φ上的问题转化为严格上三角若当矩阵代数上的问题.最后通过构造φ的四种若当自同构证明了当n≥3时,φ的任何一个若当自同构均可以分解为这四种若当自同构的乘积.这个结果推广了王兴涛的的关于严格上三角矩阵代数的若当...     

饱和黏性土的总强度与基坑工程水土合算土压力 分析方法

回顾了饱和黏性土总强度Su的概念以及"φ=0法"的基本原理,指出直接将三轴固结不排水强度指标c_(cu)、φ_(cu)和直剪固结快剪强度指标c_(cq)、φ_(cq)代入朗肯土压力公式是一种错误的分析方法,由此导致了对水土合算土压力分析方法的误解。根据两种试验的原理,推导出了采用强度指标c_(cu)、φ_(cu)和c_(cq)、φ_(cq)表示的总强度Su,进而依据"φ=0法",给出了基坑开挖卸载下正确的水土合算土压力公式。结合该公式,对行业规范中采用的一些土压力计算方法进行了评述,并结合算例结果对计算分析中几种强度指标的应用进行了评价。     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

模态逻辑系统S5中的范式定理及其在知识系统中的应用

研究了模态逻辑系统S5中的析(合)取范式定理的归纳证明,给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法.作为范式定理的应用,讨论了知识库中的一个基本问题,证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题.     

关于Hom函子与Tensor函子的投射盖

设R,T是交换环,P是有限生成投射R-模,M,X是R-T双模,得到了若M是X的T-投射盖,则HomR(P,M)是HomR(P,X)的T-投射盖;而当T是R-代数时,则P RM是P RX的T-投射盖.作为所得结果的应用,对半完全环与完全环进行了新的刻画.特别地,证明了若φi:Pi→Mi是R-模同态,且(iPi,iφi)是iMi的投射盖,则(Pi,φi)是Mi的投射盖.     

n值R0-命题逻辑系统L*n中公式的矛盾度理论

将n值R0-命题逻辑系统Ln^＊中的矛盾式概念程度化，引入了矛盾度的概念，并且讨论了公式的矛盾度的若干重要性质，进而用矛盾度定义了公式之间的差异度函数p＇,证明了p’是一个伪度量，从而在F（S）上建立了逻辑度量空间（F（S），p’）。     

几类图的伴随多项式的分解及其色等价性分析

设Ρn和Cn分别表示具有n个顶点的路和圈,令Ψ2(,n)表示把路Ρn的一个1度点与Ρ3一个2度点重迭后得到的图,令φrm+1表示把(r-1)Cm+1的每个分支的一个2度点与Ρm+1的一个1度点重迭后得到的图,令δ=rm+1,ρφnδ表示由Ρn与φrm+1组合而成的图.我们运用图的伴随多项式的性质,讨论了图ρφnδ的伴随多项式,给出并证明了这些图簇的伴随多项式的因式分解式,进而证明了这些图类的补图的色等价性,得到了这些图的色等价图的结构特征.     

Stein流形上Leray-Norguet公式的拓广

得到Stein流形上f(z)连续且 f(z)也连续时Bochner Martinelli公式和Leray Norguet公式的一种拓广式,这种拓广式的特点是含有可供选择的实参数m=2,3,…,N(N<+∞),当适当选择参数m以及(D,s,φ)的Leray截面时,不但可以得到Stein流形上已有的Bochner Martinelli公式和Leray Norguet公式,还可得到Stein流形上其它一些积分公式.     

四值非全序逻辑系统中公式的条件随机真度

基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论.     

一个求解SAT问题的随机算法

本文中引入了一个求解满足性问题的随机算法。在该算法中,利用CNF公式转换为其对偶式——DNF公式,通过对满足DNF公式的真值赋值数Y作出估计。根据Y与2n比较结果,对CNF公式的可满足性进行估计并对其满足性进行判断。     

误差与不确定度在物理实验教学中的重点把握及应用

对大学物理实验中的测量误差与不确定度概念以及它们之间的区别与联系做了阐述,在大学普通物理实验中引入不确定度表示是非常必要的,给出了简化的实验结果不确定度的表示式和计算流程,使之容易被学生掌握和应用.