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

基于抽象解释理论抽取多态恶意程序特征码被引量：1: 1; 作者罗文华《信息网络安全》 2013年第1期16-18,共3页; 抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论。文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序... 展开更多; 关键词抽象解释多态恶意程序特征码变形器解码器程序逻辑; 在线阅读下载PDF 职称材料

一个基于抽象解释的部分演绎过程: 2; 作者刘椿年《软件学报》 EI CSCD 北大核心 1994年第11期31-37,共7页; 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇... 展开更多; 关键词逻辑程序部分演绎抽象解释程序设计; 在线阅读下载PDF 职称材料

抽象解释的部分等价逻辑关系模型: 3; 作者王蓁蓁《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第2期453-457,共5页; 抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原... 展开更多; 关键词抽象解释部分等价关系逻辑部分等价关系; 在线阅读下载PDF 职称材料

逻辑程序部分演绎系统的研制被引量：2: 4; 作者陶意《北京工业大学学报》 CAS CSCD 1994年第3期109-118,共10页; 介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计... 展开更多; 关键词逻辑程序部分演绎系统程序设计; 在线阅读下载PDF 职称材料

CLP（R）程序部分演绎的研究: 5; 作者张秀珍刘椿年《计算机研究与发展》 EI CSCD 北大核心 1996年第5期347-354,共8页; 本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎... 展开更多; 关键词程序设计部分演绎抽象解释 CLP(R)程序; 在线阅读下载PDF 职称材料

PROLOG程序部分演绎的一种新方法: 6; 作者陶意刘椿年《北京工业大学学报》 CAS CSCD 1997年第3期51-61,共11页; 提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程... 展开更多; 关键词逻辑程序设计 PROLOG程序部分演绎程序设计; 在线阅读下载PDF 职称材料

逻辑程序的自动模式推导: 7; 作者童梅刘椿年《计算机研究与发展》 EI CSCD 北大核心 1996年第2期81-92,共12页; 本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论，提出了一种正确、有效的别名处理方法以及基于“扩展表”的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。; 关键词抽象解释模式推导逻辑程序 PROLOG语言; 在线阅读下载PDF 职称材料

约束逻辑程序部分演绎过程的研究: 8; 作者陶意刘椿年《计算机学报》 EI CSCD 北大核心 1997年第3期238-244,共7页; 约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程... 展开更多; 关键词约束逻辑程序部分演绎程序设计; 在线阅读下载PDF 职称材料

模式信息在Prolog解释系统中的应用: 9; 作者童梅《北京工业大学学报》 CAS CSCD 1994年第2期57-61,共5页; 给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。; 关键词解释系统模式信息 PROLOG程序; 在线阅读下载PDF 职称材料

题名基于抽象解释理论抽取多态恶意程序特征码被引量：1: 1; 作者罗文华; 机构中国刑事警察学院; 出处《信息网络安全》 2013年第1期16-18,共3页; 文摘抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论。文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序检测开辟了新的思路。实践证明所述方法准确、高效。; 关键词抽象解释多态恶意程序特征码变形器解码器程序逻辑; Keywords abstract interpretation Polymorphic Malware Signature Mutation Engine Decryptor Program logic; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一个基于抽象解释的部分演绎过程: 2; 作者刘椿年; 机构北京工业大学计算机科学系; 出处《软件学报》 EI CSCD 北大核心 1994年第11期31-37,共7页; 基金国家自然科学基金; 文摘本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．; 关键词逻辑程序部分演绎抽象解释程序设计; Keywords logic programming, partial deduction, abstract interpretation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名抽象解释的部分等价逻辑关系模型: 3; 作者王蓁蓁; 机构金陵科技学院软件工程学院江苏省信息分析工程实验室; 出处《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2015年第2期453-457,共5页; 基金国家自然科学基金(61170071) 金陵科技学院科研基金(jit-n-201305); 文摘抽象解释由CousotP和CousotR于1977年提出,随后许多作者做了大量工作.从不同的角度构造了基于部分等价关系和逻辑部分等价关系一个模型,它与传统抽象解释模型根本不同,该模型并不是对具体系统在"近似"意义上的抽象,而是对原系统上的一切关系(包括逻辑关系)的抽象,因此它不是原系统的"简化",而是原系统的一个"深化".从而在此模型上提出的问题具有另外的特征,例如复杂性和多态性等问题.; 关键词抽象解释部分等价关系逻辑部分等价关系; Keywords abstract interpretation partial equivalence relation logical partial equivalence relation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名逻辑程序部分演绎系统的研制被引量：2: 4; 作者陶意; 机构北京工业大学计算机科学与工程系; 出处《北京工业大学学报》 CAS CSCD 1994年第3期109-118,共10页; 基金国家863高科技项目; 文摘介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。; 关键词逻辑程序部分演绎系统程序设计; Keywords logic programming, partial evaluation(partial deduction), partial deduction system; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名CLP（R）程序部分演绎的研究: 5; 作者张秀珍刘椿年; 机构北京工业大学计算机科学系; 出处《计算机研究与发展》 EI CSCD 北大核心 1996年第5期347-354,共8页; 基金国家"863"高科技项目; 文摘本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。; 关键词程序设计部分演绎抽象解释 CLP(R)程序; Keywords Constraint logic programming,partial deduction,abstract interpretation.; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名PROLOG程序部分演绎的一种新方法: 6; 作者陶意刘椿年; 机构北京工业大学计算机科学与工程学系; 出处《北京工业大学学报》 CAS CSCD 1997年第3期51-61,共11页; 基金国家自然科学基金 863计划资助项目; 文摘提出一个新的基于程序变换的Prolog程序部分演绎的方法.该方法以程序-目标对(P_0,Q_0)为输入,经过一系列程序变换后终止,输出结果程序-目标对(P_n,Q_n),该方法保证结果程序一目标对(P_n,Q_n)和输入程序-目标对(P_0,Q_0)计算等价,并且程序P_n解目标Q_n比程序P_0.解目标Q_0效率更高.本文提出的方法已经实现.文中给出了3个部分演绎实例,并且与Benkreimi中提出的Prolog程序部分演绎的方法的结果进行了比较,说明我们的部分演绎方法更优.; 关键词逻辑程序设计 PROLOG程序部分演绎程序设计; Keywords logic programming, Prolog program, partial deduction (partial evaluation); 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名逻辑程序的自动模式推导: 7; 作者童梅刘椿年; 机构北京工业大学计算机科学与工程系; 出处《计算机研究与发展》 EI CSCD 北大核心 1996年第2期81-92,共12页; 基金国家自然科学基金国家"863"高技术项目; 文摘本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论，提出了一种正确、有效的别名处理方法以及基于“扩展表”的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。; 关键词抽象解释模式推导逻辑程序 PROLOG语言; Keywords logic programming, abstract interpretation, mode inference.; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名约束逻辑程序部分演绎过程的研究: 8; 作者陶意刘椿年; 机构北京工业大学计算机科学系; 出处《计算机学报》 EI CSCD 北大核心 1997年第3期238-244,共7页; 基金国家自然科学基金国家863计划基金; 文摘约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程保证结果程序－目标对（Ｐｎ，Ｑｎ）和输入程序－目标对（ＰＯ，Ｑ０）计算等价，并且程序Ｐｎ解目标Ｑｎ比程序Ｐ０解目标Ｑ０效率更高．本文提出的方法已经实现，文中给出了一个ＣＬＰ（ＢＯＯＬ）程序部分演绎的运行实例．; 关键词约束逻辑程序部分演绎程序设计; Keywords Constraint logic programming partial deduction (partial evaluation).; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名模式信息在Prolog解释系统中的应用: 9; 作者童梅; 机构北京工业大学计算机科学系; 出处《北京工业大学学报》 CAS CSCD 1994年第2期57-61,共5页; 文摘给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。; 关键词解释系统模式信息 PROLOG程序; Keywords logic programming,abstract interpretation,interpreter; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于抽象解释理论抽取多态恶意程序特征码	罗文华	《信息网络安全》	2013	1	在线阅读下载PDF 职称材料
2	一个基于抽象解释的部分演绎过程	刘椿年	《软件学报》 EI CSCD 北大核心	1994	0	在线阅读下载PDF 职称材料
3	抽象解释的部分等价逻辑关系模型	王蓁蓁	《南京大学学报（自然科学版）》 CAS CSCD 北大核心	2015	0	在线阅读下载PDF 职称材料
4	逻辑程序部分演绎系统的研制	陶意	《北京工业大学学报》 CAS CSCD	1994	2	在线阅读下载PDF 职称材料
5	CLP（R）程序部分演绎的研究	张秀珍刘椿年	《计算机研究与发展》 EI CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料
6	PROLOG程序部分演绎的一种新方法	陶意刘椿年	《北京工业大学学报》 CAS CSCD	1997	0	在线阅读下载PDF 职称材料
7	逻辑程序的自动模式推导	童梅刘椿年	《计算机研究与发展》 EI CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料
8	约束逻辑程序部分演绎过程的研究	陶意刘椿年	《计算机学报》 EI CSCD 北大核心	1997	0	在线阅读下载PDF 职称材料
9	模式信息在Prolog解释系统中的应用	童梅	《北京工业大学学报》 CAS CSCD	1994	0	在线阅读下载PDF 职称材料