-
题名简单单调约束逻辑程序的良基语义研究
- 1
-
-
作者
常万军
郭祖华
魏昆鹏
-
机构
河南机电高等专科学校计算机科学与技术系
贵州大学
-
出处
《计算机工程与设计》
CSCD
北大核心
2013年第6期2180-2184,共5页
-
基金
河南省高等学校青年骨干教师资助计划基金项目(2011GGJS-198)
-
文摘
在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性。分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型。论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的。
-
关键词
逻辑程序
简单单调约束逻辑
回答集
稳定模型
良基语义
-
Keywords
logic program
basic monotonic constraint logic program
answer setprograrn
stable model
well-founded semantic
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于稳定模型的软件多样性与安全初探
被引量：1
- 2
-
-
作者
揭玮
梁意文
苏国强
许卫平
-
机构
武汉大学软件工程国家重点实验室/计算机学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2004年第7期53-55,共3页
-
基金
国家自然科学重大研究计划项目(编号:90204011)
武汉大学软件工程国家重点实验室开放基金
-
文摘
该文简要阐述了软件多样性与安全性的关系后,基于STABLEMODEL是逻辑程序的语义模型的观点,从软件与逻辑程序设计的关联出发,提出了用逻辑程序设计实现软件多样性的方法。论文首先介绍了逻辑程序中稳定模型的形成、定义、演算方法,通过逻辑程序与稳定模型之间存在的多对一的映射关系,产生软件的多样性。最后,通过具体的分析,提出了基于稳定模型的程序多样性演化方法,这一方法实现了从一个源程序到一系列等价程序的多样性演化,从而提高了系统的鲁棒性和安全性。
-
关键词
多样性
信息安全
稳定模型
逻辑程序设计
-
Keywords
diversity,security,stable model semantics,logic programming
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
