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

析取回答集程序设计结构化测试方法被引量：1: 1; 作者杨东王以松《计算机应用》 CSCD 北大核心 2023年第1期215-220,共6页; 针对析取回答集程序的结构化测试基础理论匮乏的问题,系统化地提出析取回答集程序结构化测试覆盖的概念。首先,定义针对析取回答集程序的测试用例,确立析取回答集程序的主要测试实体为程序中的逻辑规则;其次,通过对规则的头、规则的体... 展开更多; 关键词回答集程序设计测试理论析取回答集程序结构化测试方法覆盖; 在线阅读下载PDF 职称材料

从经典逻辑知识构建ASP知识库的新方法被引量：6: 2; 作者赵岭忠王雪松 +1 位作者钱俊彦蔡国永《计算机应用》 CSCD 北大核心 2010年第11期2932-2936,共5页; 回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有... 展开更多; 关键词谓词逻辑谓词公式回答集程序设计 ASP知识库; 在线阅读下载PDF 职称材料

基于关键迹和ASP的CSP模型检测被引量：3: 3; 作者赵岭忠翟仲毅 +1 位作者钱俊彦郭云川《软件学报》 EI CSCD 北大核心 2015年第10期2521-2544,共24页; 模型检测是通信顺序进程(communicating sequential processes,简称CSP)形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但转化过程较为复杂;待验证性质采用CSP语言进行描述,虽然有... 展开更多; 关键词模型检测通信顺序进程关键迹模型线性时态逻辑回答集程序设计; 在线阅读下载PDF 职称材料

基于CTL的并发系统CSP模型验证: 4; 作者王亚丽杨育捷 +1 位作者赵岭忠翟仲毅《河南师范大学学报（自然科学版）》 CAS 北大核心 2016年第5期140-145,共6页; 主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证... 展开更多; 关键词模型检测迹模型计算树逻辑回答集程序设计; 在线阅读下载PDF 职称材料

一种用于Slater与Kemeny选举求解的ASP方法被引量：3: 5; 作者徐珩僭王以松冯仁艳《计算机工程》 CAS CSCD 北大核心 2019年第9期198-203,共6页; 针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,找到与原锦标赛差别最小的一个并从中选出获胜者。实验结果表明,该方法的编码方式不依赖于候选人的数量,... 展开更多; 关键词 Slater选举 Kemeny选举 NP难问题回答集程序设计锦标赛; 在线阅读下载PDF 职称材料

一种基于ILP和ASP的学习B语言描述的动作模型方法被引量：1: 6; 作者刘振张志政《计算机科学》 CSCD 北大核心 2015年第1期220-226,共7页; 动作模型学习可以使Agent主动适应动态环境中的变化,从而提高Agent的自治性,同时也可为动态域建模提供一个初步模型,为后期的模型完善和修改提供了基础。通过结合归纳逻辑程序设计(Inductive Logic Programming,ILP)和回答集程序设计(An... 展开更多; 关键词动作模型学习动作语言B 归纳逻辑程序设计回答集逻辑程序设计; 在线阅读下载PDF 职称材料

题名析取回答集程序设计结构化测试方法被引量：1: 1; 作者杨东王以松; 机构贵州大学计算机科学与技术学院; 出处《计算机应用》 CSCD 北大核心 2023年第1期215-220,共6页; 基金国家自然科学基金资助项目(61976065)。; 文摘针对析取回答集程序的结构化测试基础理论匮乏的问题,系统化地提出析取回答集程序结构化测试覆盖的概念。首先,定义针对析取回答集程序的测试用例,确立析取回答集程序的主要测试实体为程序中的逻辑规则;其次,通过对规则的头、规则的体、规则的集合等不同测试目标构建了规则覆盖、定义覆盖、环覆盖等基本概念来模拟结构化测试中的语句覆盖、分支覆盖等概念;最后,提出了析取回答集程序的测试覆盖率计算公式,并举例说明各种覆盖下的覆盖率计算方法,并讨论了析取回答集程序的部分特殊性质和关键指标。; 关键词回答集程序设计测试理论析取回答集程序结构化测试方法覆盖; Keywords Answer Set Programming(ASP) testing theory disjunctive answer set program structural testing method coverage; 分类号 TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名从经典逻辑知识构建ASP知识库的新方法被引量：6: 2; 作者赵岭忠王雪松钱俊彦蔡国永; 机构桂林电子科技大学计算机科学与工程学院; 出处《计算机应用》 CSCD 北大核心 2010年第11期2932-2936,共5页; 基金国家自然科学基金资助项目(60803033 60903079); 文摘回答集程序设计(ASP)是一种主流的非单调知识表示工具。为了能够在利用ASP求解问题过程中使用现有的以经典逻辑表示的知识,给出了一种把以谓词逻辑公式表示的约束型知识和定义型知识转化为ASP程序或知识库的新方法,并以实例说明了其有效性。该方法满足转化后ASP程序的回答集与原公式集的模型具有一一对应关系。在实际应用中,该方法提供了一项从现存的以谓词逻辑为表示语言的知识库,构建以ASP为知识表示语言的非单调知识库的技术。; 关键词谓词逻辑谓词公式回答集程序设计 ASP知识库; Keywords predicate logic predicate formula Answer Set Programming （ASP） ASP knowledge base; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] TP311.13 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于关键迹和ASP的CSP模型检测被引量：3: 3; 作者赵岭忠翟仲毅钱俊彦郭云川; 机构软件工程国家重点实验室(武汉大学) 广西可信软件重点实验室(桂林电子科技大学) 中国科学院信息工程研究所; 出处《软件学报》 EI CSCD 北大核心 2015年第10期2521-2544,共24页; 基金国家自然科学基金(61262008 61100186) +6 种基金广西教育厅重点项目 kx201415) 桂林电子科技大学创新团队资助项目; 文摘模型检测是通信顺序进程(communicating sequential processes,简称CSP)形式化验证的重要手段.当前,CSP模型检测方法基于操作语义,需将进程转化为迁移系统,进而提取语义模型,但转化过程较为复杂;待验证性质采用CSP语言进行描述,虽然有利于精炼检测(refinement checking),但描述能力较弱,通用性不强.鉴于此,提出了一种新的CSP指称语义模型——关键迹模型(critical-trace model)及基于该指称语义模型的CSP模型检测方法,并证明了其验证的可靠性,避免了上述问题.关键迹模型采用递归策略计算,待验证性质采用线性时态逻辑(linear temporal logic,简称LTL)描述.基于回答集程序设计(answer set programming,简称ASP)实现了关键迹模型的自动生成及LTL的自动验证,并开发了一个CSP模型检测原型系统——T_ASP.实验结果表明:与类似系统相比,该系统的描述能力更强,验证结果的准确性更高,且可同时验证多条性质,在性质不满足时还可提供多条反例.; 关键词模型检测通信顺序进程关键迹模型线性时态逻辑回答集程序设计; Keywords model checking communicating sequential process critical-trace model linear temporal logic answer set programming; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于CTL的并发系统CSP模型验证: 4; 作者王亚丽杨育捷赵岭忠翟仲毅; 机构河南师范大学计算机与信息工程学院河南师范大学"智慧商务与物联网技术"河南省工程实验室桂林电子科技大学广西可信软件重点实验室; 出处《河南师范大学学报（自然科学版）》 CAS 北大核心 2016年第5期140-145,共6页; 基金国家自然科学基金(61262008) 广西可信软件重点实验室开放课题(kx201415) 河南省科技厅基础与前沿技术研究项目(132300410430); 文摘主要通过指称语义和回答集程序(Answer Set Programming,简称ASP)完成迹模型的生成,并构建了一套基于计算树逻辑(computing tree logic,简称CTL)的CSP模型验证方法.实验表明,该方法对于分支类型的性质具有较好的描述能力,且保证了验证的正确性.; 关键词模型检测迹模型计算树逻辑回答集程序设计; Keywords model checking trace model computing tree logic answer set programming; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种用于Slater与Kemeny选举求解的ASP方法被引量：3: 5; 作者徐珩僭王以松冯仁艳; 机构贵州大学计算机科学与技术学院; 出处《计算机工程》 CAS CSCD 北大核心 2019年第9期198-203,共6页; 基金国家自然科学基金“基于增强学习的动态优化问题模型及算法研究”(61562009) 贵州省优秀科技人才基金(2015(01)); 文摘针对求解复杂度为NP难问题的Slater选举,提出一种回答集程序设计(ASP)方法用于求解选举结果。通过ASP构造尽可能少的无回路锦标赛,找到与原锦标赛差别最小的一个并从中选出获胜者。实验结果表明,该方法的编码方式不依赖于候选人的数量,时间复杂度低,可读性强,并且适用于Kemeny选举。; 关键词 Slater选举 Kemeny选举 NP难问题回答集程序设计锦标赛; Keywords Slater voting Kemeny voting NP-hard problem Answer Set Programming(ASP) tournament; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种基于ILP和ASP的学习B语言描述的动作模型方法被引量：1: 6; 作者刘振张志政; 机构东南大学计算机科学与工程学院; 出处《计算机科学》 CSCD 北大核心 2015年第1期220-226,共7页; 基金国家自然科学基金项目(60803061) 江苏省自然科学基金项目(BK2008293) 东南大学科技基金项目(XJ2008315)资助; 文摘动作模型学习可以使Agent主动适应动态环境中的变化,从而提高Agent的自治性,同时也可为动态域建模提供一个初步模型,为后期的模型完善和修改提供了基础。通过结合归纳逻辑程序设计(Inductive Logic Programming,ILP)和回答集程序设计(Answer Set Programming,ASP),设计了一个学习B语言描述的动作模型算法,该算法可以在混合规模的动态域中进行学习,并采用经典规划实例验证了该学习算法的有效性。; 关键词动作模型学习动作语言B 归纳逻辑程序设计回答集逻辑程序设计; Keywords Action model learning Action language B Inductive logic programming Answer set programming; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	析取回答集程序设计结构化测试方法	杨东王以松	《计算机应用》 CSCD 北大核心	2023	1	在线阅读下载PDF 职称材料
2	从经典逻辑知识构建ASP知识库的新方法	赵岭忠王雪松钱俊彦蔡国永	《计算机应用》 CSCD 北大核心	2010	6	在线阅读下载PDF 职称材料
3	基于关键迹和ASP的CSP模型检测	赵岭忠翟仲毅钱俊彦郭云川	《软件学报》 EI CSCD 北大核心	2015	3	在线阅读下载PDF 职称材料
4	基于CTL的并发系统CSP模型验证	王亚丽杨育捷赵岭忠翟仲毅	《河南师范大学学报（自然科学版）》 CAS 北大核心	2016	0	在线阅读下载PDF 职称材料
5	一种用于Slater与Kemeny选举求解的ASP方法	徐珩僭王以松冯仁艳	《计算机工程》 CAS CSCD 北大核心	2019	3	在线阅读下载PDF 职称材料
6	一种基于ILP和ASP的学习B语言描述的动作模型方法	刘振张志政	《计算机科学》 CSCD 北大核心	2015	1	在线阅读下载PDF 职称材料