迁移系统关于一类时态逻辑公式的满足度

发布时间：2017-10-05 01:28

  本文关键词：迁移系统关于一类时态逻辑公式的满足度

  更多相关文章： 规范 特征 最终自由 动态模型序列 T-范式 满足度

【摘要】：从分析Words(φ)的结构入手,引入用线性时态逻辑(LTL)公式φ表示的规范的特征概念,证明了一类LTL公式特征的存在性定理以及特征的计算方法.引入了LTL公式的T-范式概念,证明了这类LTL公式均可等价地表示为T-范式的形式,从而为简化φ的特征计算奠定了基础.引入了迁移系统TS关于给定规范φ的满足度概念,证明了TS关于φ的满足度等于1当且仅当TS满足φ.对于给定的原子公式集AP,给出了满足度计算的复杂度估计.
【作者单位】： 陕西师范大学数学与信息科学学院;江西财经大学统计学院;西安财经学院统计学院;西安财经学院信息与教育技术中心;
【关键词】： 规范 特征 最终自由 动态模型序列 T-范式 满足度
【基金】：国家自然科学基金资助项目(10771129,11171200)
【分类号】：O141.1
【正文快照】： 模型检验(Model Checking)是一种形式化的认证方法,可用来自动检验一个系统Ω的模型TS是否满足为系统Ω设定的规范φ,这里的模型TS是一个迁移系统,而规范φ则常用线性时态逻辑(Lineal Temporal Logic,LTL)公式、计算树逻辑(Computation Tree Logic,CTL)公式或推广了的计算树

【参考文献】

中国期刊全文数据库 前4条

1 时慧娴;王国俊;;基于有限迁移系统的线性时态逻辑的计量化方法[J];模糊系统与数学;2012年05期

2 王国俊;时慧娴;;n值逻辑系统L_n~*中广义重言式的计量化研究[J];陕西师范大学学报(自然科学版);2009年02期

3 王国俊;高香妮;;命题逻辑系统中理论的真度概念及其应用[J];陕西师范大学学报(自然科学版);2009年05期

4 王庆平;王国俊;;计量逻辑学中的线性逻辑公式[J];陕西师范大学学报(自然科学版);2012年02期

【共引文献】

中国期刊全文数据库 前10条

1 刘宏岚;高庆狮;杨炳儒;;多值逻辑中的命题相关性与逻辑运算研究[J];北京科技大学学报;2007年S2期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 刘东利,茹永梅;经典二值逻辑系统L中的MT问题[J];宝鸡文理学院学报(自然科学版);2005年04期

4 杜亚灵;尹贻林;;基于模糊逻辑的公共项目风险分配模型[J];北京理工大学学报(社会科学版);2008年03期

5 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

6 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

7 尤飞,杨昔阳,李洪兴;模糊蕴涵算子及其构造(Ⅲ)——由三角模或余三角模构造的模糊蕴涵算子[J];北京师范大学学报(自然科学版);2004年04期

8 尤飞,李洪兴;模糊蕴涵算子及其构造(Ⅳ)——模糊蕴涵算子的对偶算子[J];北京师范大学学报(自然科学版);2004年05期

9 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

10 孟艳平;;基于相似度的信息权重模糊推理方法[J];北京师范大学学报(自然科学版);2008年01期

中国重要会议论文全文数据库 前8条

1 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

2 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

3 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

4 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

5 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

6 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

7 潘小东;徐扬;;基于格值命题逻辑的语言真值不确定性推理方法[A];第八届中国不确定系统年会论文集[C];2010年

8 潘小东;;模糊一阶逻辑研究进展综述[A];第十届中国不确定系统年会、第十四届中国青年信息与管理学者大会论文集[C];2012年

中国博士学位论文全文数据库 前10条

1 何映思;模糊推理方法及模糊逻辑形式系统研究[D];西南大学;2011年

2 马丽娜;模糊推理方法及知识推理的计量化研究[D];陕西师范大学;2011年

3 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年

4 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年

5 赖家俊;基于语言真值格值一阶逻辑的不确定性推理研究[D];西南交通大学;2011年

6 邹丽;基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究[D];西南交通大学;2010年

7 于海田;民航安全分析与管理研究[D];上海大学;2011年

8 范永青;几类复杂动态系统稳定及同步控制研究[D];广东工业大学;2012年

9 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

10 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

中国硕士学位论文全文数据库 前10条

1 潘俊任;基于相似度的模糊推理算法研究[D];浙江理工大学;2010年

2 黄阿敏;基于蕴涵算子族的模糊逻辑理论[D];浙江理工大学;2010年

3 鹿文慧;基于重心法的Boolean模糊系统及其概率表示理论[D];大连理工大学;2010年

4 袁英敏;基于CRI方法的重心法模糊系统及概率表示[D];大连理工大学;2010年

5 王云涛;基于二Ⅰ算法的模糊系统的构造及其概率表示[D];大连理工大学;2010年

6 刘婷;软集合理论在模糊逻辑代数中的应用研究[D];江南大学;2010年

7 李四化;几种多值逻辑系统重言式关系和L_4中导出函数问题的研究[D];山东大学;2010年

8 赵力;模糊推理的三Ⅰ算法研究[D];山东大学;2010年

9 吴媛;剩余格的模糊滤子和广义模糊滤子[D];西北大学;2011年

10 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

【二级参考文献】

中国期刊全文数据库 前10条

1 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

2 王国俊;惠小静;;概率逻辑学基本定理的推广[J];电子学报;2007年07期

3 王国俊;;计量逻辑学(Ⅰ)[J];工程数学学报;2006年02期

4 王国俊;刘保翠;;四种命题逻辑中公式的相对Γ-重言度理论[J];工程数学学报;2007年04期

5 王国俊,傅丽,宋建社;二值命题逻辑中命题的真度理论[J];中国科学(A辑);2001年11期

6 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑:技术科学;1998年02期

7 吴洪博;修正的Kleene系统中的广义重言式理论[J];中国科学E辑:技术科学;2002年02期

8 王国俊,李璧镜;Lukasiweicz n值命题逻辑中公式的真度理论和极限定理[J];中国科学E辑:信息科学;2005年06期

9 惠小静;王国俊;;经典推理模式的随机化研究及其应用[J];中国科学(E辑:信息科学);2007年06期

10 吴望名;参数Kleene系统中的广义重言式[J];模糊系统与数学;2000年01期

【相似文献】

中国期刊全文数据库 前10条

1 邓培民;一类等式模型类的代数性质[J];广西师范大学学报(自然科学版);1999年04期

2 曹敬,陈树中;极大代数意义下向量线性相关性研究[J];华东师范大学学报(自然科学版);2000年03期

3 陆继奎;规范统计学教材中有关表述的几点意见[J];淮北煤师院学报(自然科学版);2000年02期

4 张文杰,覃中平;特征数法拉丁方代表元计数[J];华中理工大学学报;2000年01期

5 李玉连;朱宪辰;;群体规范与业主自治制度——南京城市小区实证研究[J];城市问题;2007年03期

6 傅红春,罗文英;上海居民收入满足度的测定与分析[J];管理世界;2004年11期

7 怦漫;近代数学教材中的词汇与观点[J];南昌水专学报;1992年01期

8 胡斌祥,胡小安;制动器多目标优化最优解空间专家变尺度规范[J];农业机械学报;2001年04期

9 李群;加入WTO后我国统计调查面临的挑战和对策[J];统计教育;2003年06期

10 曾志红;自然科学学报中数学符号的规范化[J];广东教育学院学报;1999年03期

中国重要会议论文全文数据库 前2条

1 王光远;谭东耀;;结构随机模糊优化设计方法[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 吕大刚;张鹏;;含模糊数和模糊变量参数的模糊规划模型及求解[A];数学及其应用文集——中南模糊数学和系统分会第三届年会论文集（上卷）[C];1995年

中国硕士学位论文全文数据库 前6条

1 王丰;中外收入满足度测定方法的比较[D];华东师范大学;2010年

2 崔丽聪;基于模糊测度和模糊积分的语言量词[D];陕西师范大学;2008年

3 郑岳;模糊积分及其在语言量词和决策科学中的应用[D];宁波大学;2011年

4 艾武;基于支持向量机的色素斑痣类皮肤症状识别研究[D];华中科技大学;2007年

5 彭亚新;三维物体断面的轮廓曲线提取[D];华东师范大学;2005年

6 李璐;直觉模糊Choquet积分及其在语言量词上的应用[D];陕西师范大学;2011年

，

本文编号：974025