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

一种基于扩展不完全Kripke结构的三值逻辑模型检测方法: 1; 作者刘姣雷丽晖《计算机工程与科学》 CSCD 北大核心 2015年第10期1884-1889,共6页; 多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展... 展开更多; 关键词三值逻辑模型检测扩展的不完全kripke结构; 在线阅读下载PDF 职称材料

基于不完全Kripke结构三值逻辑的模型检验被引量：5: 2; 作者郭建韩俊刚《计算机科学》 CSCD 北大核心 2006年第3期263-266,278,共5页; 模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公... 展开更多; 关键词三值逻辑模型检验不完全kripke结构; 在线阅读下载PDF 职称材料

基于理想存取结构划分的(2,n)异或视觉密码: 3; 作者程羽乔付正欣郁滨《系统仿真学报》 CAS CSCD 北大核心 2020年第1期20-26,共7页; 针对(2,n)异或视觉密码的完全恢复问题,依据理想存取结构定义,在分析最小授权子集之间特殊的共享份关系基础上,借助图论思想设计了一种存取结构划分算法,并证明了该算法划分得到的理想存取结构数目最少。设计并实现了秘密分享与恢复算... 展开更多; 关键词异或视觉密码完全恢复理想结构划分 (2 n)存取结构最小像素扩展; 在线阅读下载PDF 职称材料

模态转移系统的三值逻辑模型检验被引量：2: 4; 作者郭建韩俊刚《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期881-884,共4页; 分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·... 展开更多; 关键词三值逻辑模型检验模态转移系统不完全kripke结构; 在线阅读下载PDF 职称材料

(k,n)异或视觉密码的一般性研究被引量：3: 5; 作者沈刚付正欣郁滨《电子与信息学报》 EI CSCD 北大核心 2013年第10期2294-2300,共7页; 通过研究(k,n)异或视觉密码像素扩展度最优的必要条件,该文提出一种由基矩阵生成(k,n)异或视觉密码的方法,并从理论上证明了该方法适合2<k≤n的(k,n)异或视觉密码,在此基础上构造了秘密分享和恢复算法。实验结果表明,该文方案可以有... 展开更多; 关键词异或视觉密码（k n）门限结构像素扩展度最优的必要条件完全恢复; 在线阅读下载PDF 职称材料

三值逻辑证明系统及正例与反例的提取: 6; 作者郭建韩俊刚《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第7期1270-1279,共10页; 三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足... 展开更多; 关键词三值逻辑不完全kripke结构正例反例证明系统; 在线阅读下载PDF 职称材料

求解流水车间调度问题的一种混合式遗传算法被引量：5: 7; 作者梁黎明汪国强《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第11期85-88,共4页; 讨论了如何将邻域搜索与遗传算法相结合求解流水车间调度问题 ,提出了一种邻域结构 ,使之更适合求解流水车间问题 ;设计了一种基于扩展采样空间的混合式遗传算法的框架。; 关键词流水车间调度遗传算法邻域搜索邻域结构扩展采样空间 NP完全问题; 在线阅读下载PDF 职称材料

题名一种基于扩展不完全Kripke结构的三值逻辑模型检测方法: 1; 作者刘姣雷丽晖; 机构陕西师范大学计算机科学学院; 出处《计算机工程与科学》 CSCD 北大核心 2015年第10期1884-1889,共6页; 基金国家自然科学基金资助项目(61003061 11271237); 文摘多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点。针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法。与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性。; 关键词三值逻辑模型检测扩展的不完全kripke结构; Keywords three-valued logic model checking extensional partial kripke structure; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名基于不完全Kripke结构三值逻辑的模型检验被引量：5: 2; 作者郭建韩俊刚; 机构西安电子科技大学西安邮电学院; 出处《计算机科学》 CSCD 北大核心 2006年第3期263-266,278,共5页; 基金国家自然科学基金(90207015); 文摘模型检验技术是形式化验证中比较成熟的技术,但随着设计系统规模的增加,状态爆炸已成为其发展的一个主要问题。为解决此问题,本文提出对系统进行抽象,建立不完全的状态模型,在此状态模型上来验证表示其属性的逻辑公式。这样一个逻辑公式的真值除了真、假外,还出现了第三种情况:未知,即在这个状态模型下无法确定其真值,需要更多的状态信息才能确定。本文还讨论了二值逻辑的模型检验技术,在此基础上给出了基于不完全状态空间的三值逻辑的模型检验算法,此算法与二值逻辑模型检验算法相比,没有带来时间复杂度的增加,最后给出了三值逻辑模型检验算法的应用。; 关键词三值逻辑模型检验不完全kripke结构; Keywords 3-valued loglc,Model checking,Partial kripke structure; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论] TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于理想存取结构划分的(2,n)异或视觉密码: 3; 作者程羽乔付正欣郁滨; 机构信息工程大学; 出处《系统仿真学报》 CAS CSCD 北大核心 2020年第1期20-26,共7页; 基金国家自然科学基金(61602513) 信息工程大学优秀青年基金(2016611303); 文摘针对(2,n)异或视觉密码的完全恢复问题,依据理想存取结构定义,在分析最小授权子集之间特殊的共享份关系基础上,借助图论思想设计了一种存取结构划分算法,并证明了该算法划分得到的理想存取结构数目最少。设计并实现了秘密分享与恢复算法。实验结果表明,提出的(2,n)异或视觉密码方案可以实现秘密图像的完全恢复,且与现有方案相比,像素扩展度达到最优。; 关键词异或视觉密码完全恢复理想结构划分 (2 n)存取结构最小像素扩展; Keywords XOR-based visual cryptography scheme perfect recovery ideal structure division (2, n) access structure optimal pixel expansion; 分类号 TP309.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名模态转移系统的三值逻辑模型检验被引量：2: 4; 作者郭建韩俊刚; 机构西安电子科技大学微电子学院西安邮电学院计算机科学系; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期881-884,共4页; 基金国家自然科学基金(90207015); 文摘分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度·; 关键词三值逻辑模型检验模态转移系统不完全kripke结构; Keywords three valued logic model checking modal transition system partial kripke structure; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名(k,n)异或视觉密码的一般性研究被引量：3: 5; 作者沈刚付正欣郁滨; 机构信息工程大学; 出处《电子与信息学报》 EI CSCD 北大核心 2013年第10期2294-2300,共7页; 基金国家自然科学基金(61070086)资助课题; 文摘通过研究(k,n)异或视觉密码像素扩展度最优的必要条件,该文提出一种由基矩阵生成(k,n)异或视觉密码的方法,并从理论上证明了该方法适合2<k≤n的(k,n)异或视觉密码,在此基础上构造了秘密分享和恢复算法。实验结果表明,该文方案可以有效地减小像素扩展度,且能够实现秘密图像的完全恢复。; 关键词异或视觉密码（k n）门限结构像素扩展度最优的必要条件完全恢复; Keywords XOR-based Visual Cryptography （XVC）（k, n） threshold structure Necessary condition of optimalpixel expansion Perfect recovery; 分类号 TP309.7 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名三值逻辑证明系统及正例与反例的提取: 6; 作者郭建韩俊刚; 机构华东师范大学软件学院计算机软件新技术国家重点实验室(南京大学) 西安邮电学院计算机科学系; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第7期1270-1279,共10页; 基金国家自然科学基金(国际合作)(61061130541) 国家“九七三”重点基础研究发展计划项目(2011CB302904) +1 种基金计算机软件新技术国家重点实验室(南京大学)项目(KFKT2011B26); 文摘三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用.; 关键词三值逻辑不完全kripke结构正例反例证明系统; Keywords 3-valued logic partial kripkle structure witness counterexample proof system; 分类号 TP301.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名求解流水车间调度问题的一种混合式遗传算法被引量：5: 7; 作者梁黎明汪国强; 机构华南理工大学应用数学系; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2001年第11期85-88,共4页; 文摘讨论了如何将邻域搜索与遗传算法相结合求解流水车间调度问题 ,提出了一种邻域结构 ,使之更适合求解流水车间问题 ;设计了一种基于扩展采样空间的混合式遗传算法的框架。; 关键词流水车间调度遗传算法邻域搜索邻域结构扩展采样空间 NP完全问题; Keywords flowshop scheduling genetic algorithm neighborhood search; 分类号 O221 [理学—运筹学与控制论] O242.23 [理学—计算数学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种基于扩展不完全Kripke结构的三值逻辑模型检测方法	刘姣雷丽晖	《计算机工程与科学》 CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
2	基于不完全Kripke结构三值逻辑的模型检验	郭建韩俊刚	《计算机科学》 CSCD 北大核心	2006	5	在线阅读下载PDF 职称材料
3	基于理想存取结构划分的(2,n)异或视觉密码	程羽乔付正欣郁滨	《系统仿真学报》 CAS CSCD 北大核心	2020	0	在线阅读下载PDF 职称材料
4	模态转移系统的三值逻辑模型检验	郭建韩俊刚	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2006	2	在线阅读下载PDF 职称材料
5	(k,n)异或视觉密码的一般性研究	沈刚付正欣郁滨	《电子与信息学报》 EI CSCD 北大核心	2013	3	在线阅读下载PDF 职称材料
6	三值逻辑证明系统及正例与反例的提取	郭建韩俊刚	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
7	求解流水车间调度问题的一种混合式遗传算法	梁黎明汪国强	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2001	5	在线阅读下载PDF 职称材料