检索结果-维普期刊中文期刊服务平台

广义可能性计算树逻辑和计算树逻辑的关系被引量：1: 1; 作者李丹李永明《计算机科学与探索》 CSCD 北大核心 2017年第10期1681-1688,共8页; 广义可能性计算树逻辑(generalized possibilistic computation tree logic,GPo CTL)在不确定性模型检测中扮演着非常重要的角色,但其表达能力还尚未研究全面。为此,讨论了GPo CTL与计算树逻辑(computation tree logic,CTL)表达能力之... 展开更多; 关键词计算树逻辑广义可能性计算树逻辑区间广义可能性计算树逻辑表达能力; 在线阅读下载PDF 职称材料

广义可能性计算树逻辑模型检测中的成本分析被引量：1: 2; 作者马占有李健祥 +1 位作者李召恺郭昊《郑州大学学报（理学版）》北大核心 2022年第4期34-41,共8页; 为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。... 展开更多; 关键词模型检测带成本的广义可能性决策过程广义可能性计算树逻辑期望成本; 在线阅读下载PDF 职称材料

基于可能性测度的计算树逻辑CTL~＊与可能性互模拟被引量：11: 3; 作者邓辉薛艳 +1 位作者李亚利李永明《计算机科学》 CSCD 北大核心 2012年第10期258-263,共6页; 提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。; 关键词可能的Kripke结构可能性测度可能性计算树逻辑PoCTL＊可能性互模拟商可能性Kripke结构; 在线阅读下载PDF 职称材料

基于可能性测度的计算树逻辑被引量：14: 4; 作者薛艳雷红轩李永明《计算机工程与科学》 CSCD 北大核心 2011年第9期70-75,共6页; 首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义... 展开更多; 关键词可能的Kripke结构可能性测度可能性计算树逻辑一致性; 在线阅读下载PDF 职称材料

广义可能性决策过程的计算树逻辑模型检测被引量：3: 5; 作者马占有李永明《计算机工程与科学》 CSCD 北大核心 2015年第11期2162-2168,共7页; 模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此... 展开更多; 关键词并发系统广义可能性决策过程广义可能性计算树逻辑模型检测; 在线阅读下载PDF 职称材料

题名广义可能性计算树逻辑和计算树逻辑的关系被引量：1: 1; 作者李丹李永明; 机构陕西师范大学计算机科学学院; 出处《计算机科学与探索》 CSCD 北大核心 2017年第10期1681-1688,共8页; 基金国家自然科学基金Nos.11271237 61228305~~; 文摘广义可能性计算树逻辑(generalized possibilistic computation tree logic,GPo CTL)在不确定性模型检测中扮演着非常重要的角色,但其表达能力还尚未研究全面。为此,讨论了GPo CTL与计算树逻辑(computation tree logic,CTL)表达能力之间的关系。首先定义了区间广义可能性计算树逻辑(interval generalized pos-sibilistic computation tree logic,IGPo CTL),并给出了IGPo CTL公式和CTL公式等价的定义。然后证明了CTL是IGPo CTL的一个真子类,因为IGPo CTL是GPo CTL的一种简单分明化形式,则CTL可看作GPo CTL的一个真子类。此外,还给出了IGPo CTL公式和CTL公式α-等价的定义,并得出了一些更一般的结果。; 关键词计算树逻辑广义可能性计算树逻辑区间广义可能性计算树逻辑表达能力; Keywords computation tree logic generalized possibilistic computation tree logic interval generalized possibilistic computation tree logic expressiveness; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名广义可能性计算树逻辑模型检测中的成本分析被引量：1: 2; 作者马占有李健祥李召恺郭昊; 机构北方民族大学计算机科学与工程学院; 出处《郑州大学学报（理学版）》北大核心 2022年第4期34-41,共8页; 基金国家自然科学基金项目(61962001) 宁夏自然科学基金项目(2018AAC03127) 北方民族大学引进人员科研项目(2020KYQD14)。; 文摘为解决广义可能性计算树逻辑模型检测中的成本问题,提出了带成本的广义可能性计算树逻辑模型检测方法。首先,引入带成本的广义可能性决策过程模型,该模型不仅能刻画系统的非确定选择和可能性转移,还能定量刻画系统的能耗、开销等成本。其次,在带成本的广义可能性决策过程模型下,给出了带成本的广义可能性计算树逻辑的语法及语义。然后,在已有文献基础上给出了第k步瞬时期望成本算子、前k步累积期望成本算子以及可达期望成本算子的模型检测算法。最后,通过一个实例说明了该模型检测算法的实际应用。; 关键词模型检测带成本的广义可能性决策过程广义可能性计算树逻辑期望成本; Keywords model checking CGPDP generalized possibilistic computation tree logic expected cost; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于可能性测度的计算树逻辑CTL~＊与可能性互模拟被引量：11: 3; 作者邓辉薛艳李亚利李永明; 机构陕西师范大学计算机科学学院; 出处《计算机科学》 CSCD 北大核心 2012年第10期258-263,共6页; 基金国家自然科学基金(60873119) 中央高校基本科研费(GK201001003)资助; 文摘提出了基于可能性测度的计算树逻辑CTL*(PoCTL*)的概念。给出了在可能的Kripke结构中可能性互模拟的定义并对其性质进行了详细的探讨。对商可能性Kripke结构及其相关构造进行了特别的研究。; 关键词可能的Kripke结构可能性测度可能性计算树逻辑PoCTL＊可能性互模拟商可能性Kripke结构; Keywords Possibilistic Kripke structure Possibility measure Possibilistic computation tree logic PoCTL＊ Possibilistic bisimulation Quotient possibilistic Kripke structure; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于可能性测度的计算树逻辑被引量：14: 4; 作者薛艳雷红轩李永明; 机构陕西师范大学计算机科学学院内江师范学院数学与信息科学学院; 出处《计算机工程与科学》 CSCD 北大核心 2011年第9期70-75,共6页; 文摘首先,提出了可能的Kripke结构的定义,建立了可能的Kripke结构的可能性测度空间,并分析了可能的Kripke结构的一系列性质,即任一路径转移的可能性可由其初始状态的可能性分布与各转移的可能性取下确界而得到;依据可能的Kripke结构所定义的可能性测度具有其合理性等等。其次,给出了可能性计算树逻辑(PoCTL)的概念,讨论了两个PoCTL状态公式以及PoCTL与经典计算树逻辑(CTL)公式的等价性。最后,证明了PoCTL公式有与CTL*公式中"一致性"相对应的公式。; 关键词可能的Kripke结构可能性测度可能性计算树逻辑一致性; Keywords possibilistic Kripke structure possibility measure possibility computation tree logic per-sistence property; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名广义可能性决策过程的计算树逻辑模型检测被引量：3: 5; 作者马占有李永明; 机构陕西师范大学计算机科学学院北方民族大学计算机科学与工程学院; 出处《计算机工程与科学》 CSCD 北大核心 2015年第11期2162-2168,共7页; 基金国家自然科学基金资助项目(11271237 61228305 +1 种基金 61462001) 北方民族大学资助项目(2014XB213); 文摘模型检测作为一种形式化验证技术,已被广泛应用于各种并发系统的正确性验证。针对具有非确定性选择和广义可能性分布的并发系统,引入广义可能性决策过程作为此类系统的模型;给出描述其性质的规范语言广义可能性计算树逻辑的概念;研究此类系统的广义可能性计算树逻辑模型检测问题。结论表明,其模型检测算法的时间复杂度也为多项式时间。所获得的结果扩大了广义可能性测度在模型检测中的应用范围。; 关键词并发系统广义可能性决策过程广义可能性计算树逻辑模型检测; Keywords concurrent systems generalized possibilistic decision process generalized possibilistic computation tree logic （GPCTL） model checking; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	广义可能性计算树逻辑和计算树逻辑的关系	李丹李永明	《计算机科学与探索》 CSCD 北大核心	2017	1	在线阅读下载PDF 职称材料
2	广义可能性计算树逻辑模型检测中的成本分析	马占有李健祥李召恺郭昊	《郑州大学学报（理学版）》北大核心	2022	1	在线阅读下载PDF 职称材料
3	基于可能性测度的计算树逻辑CTL~＊与可能性互模拟	邓辉薛艳李亚利李永明	《计算机科学》 CSCD 北大核心	2012	11	在线阅读下载PDF 职称材料
4	基于可能性测度的计算树逻辑	薛艳雷红轩李永明	《计算机工程与科学》 CSCD 北大核心	2011	14	在线阅读下载PDF 职称材料
5	广义可能性决策过程的计算树逻辑模型检测	马占有李永明	《计算机工程与科学》 CSCD 北大核心	2015	3	在线阅读下载PDF 职称材料