曾奕

作品数：3被引量：16H指数：1
导出分析报告
供职机构：武汉大学更多>>
发文主题：逻辑程序知识库更新知识库MCV模型更多>>
发文领域：自动化与计算机技术文学更多>>
发文期刊：《计算机工程与应用》《计算机工程》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种形式化知识库更新方法—修正程序
《武汉科技学院学报》2006年第4期37-40,共4页李新战 王晓刚 曾奕 
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法—修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,本文将引入修正程序的语义模型-P-合理修正,并讨论了修正...
关键词：逻辑程序 修正程序 知识库更新 
基于Web应用的MVC架构实现——AWDF被引量：16
《计算机工程》2005年第10期89-90,196,共3页房丽娜 唐胜群 曾奕 李宁 
国家自然科学基金资助项目(60373086)
Agile Web Development Framework(AWDF)开发框架是作者提出的一种新型的Web开发框架,它基于MVC模型2,用于Web应用的开发。通过与struts的比较提出了AWDF的优势所在,并对AWDF的设计思想、框架模式、各个组成部分的定义功能及责任作了详...
关键词：MCV模型2 STRUTS Controller Model View 框架 数据字典 
修正的逻辑程序知识库更新方法
《计算机工程与应用》2004年第36期58-60,66,共4页曾奕 董红斌 李宁 房丽娜 
国家自然科学重大研究计划项目(编号:90204011);武汉大学软件工程国家重点试验室开放基金
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度...
关键词：知识库更新 修正程序 逻辑程序 逻辑程序更新 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部