您的位置： 专家智库 > >

曾奕

作品数：5 被引量：24H指数：1
供职机构：武汉大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术文学更多>>

合作作者

文献类型

  • 3篇期刊文章
  • 2篇学位论文

领域

  • 4篇自动化与计算...
  • 1篇文学

主题

  • 3篇逻辑程序
  • 2篇知识库
  • 2篇知识库更新
  • 1篇狄更斯
  • 1篇动态逻辑
  • 1篇形式化
  • 1篇数据字典
  • 1篇主义
  • 1篇小说
  • 1篇理想主义
  • 1篇理想主义精神
  • 1篇基于WEB应...
  • 1篇架构
  • 1篇MVC架构
  • 1篇V模型
  • 1篇MC
  • 1篇STRUTS

机构

  • 5篇武汉大学
  • 1篇武汉科技学院

作者

  • 5篇曾奕
  • 2篇李宁
  • 2篇房丽娜
  • 1篇王晓刚
  • 1篇唐胜群
  • 1篇李新战
  • 1篇董红斌

传媒

  • 1篇计算机工程
  • 1篇计算机工程与...
  • 1篇武汉科技学院...

年份

  • 1篇2011
  • 1篇2006
  • 2篇2005
  • 1篇2004
共 5 条 记 录，以下是 1-5
全选 清除 导出
排序方式：
基于Web应用的MVC架构实现——AWDF被引量：24
2005年
Agile Web Development Framework(AWDF)开发框架是作者提出的一种新型的Web开发框架,它基于MVC模型2,用于Web应用的开发。通过与struts的比较提出了AWDF的优势所在,并对AWDF的设计思想、框架模式、各个组成部分的定义功能及责任作了详细的描述。此构架的优势在于与其它框架相比,它的简单易用使得降低系统的复杂度和系统的开发成本成为可能;并且AWDF框架采用可复用的数据验证的机制来提高系统的可复用性,从而使得在大型系统的开发中使用此构架成为可能。
房丽娜唐胜群曾奕李宁
关键词：STRUTS数据字典
修正的逻辑程序知识库更新方法
2004年
基于逻辑程序的知识库更新方法研究的焦点在于处理知识库的冲突问题,但代价是更新时规则库增大很快,该文提出了“修正的逻辑程序知识库更新方法”,此种方法基于一种规范知识库更新的形式化方法—修正程序,此种更新方法不仅可以最大程度地减少更新时规则库的增大,也避免了重复工作和知识库信息的丢失,还可以同时满足“替换更新”和“丰富更新”。
曾奕董红斌李宁房丽娜
关键词：知识库更新逻辑程序
查尔斯•狄更斯两部小说中的理想主义精神
曾奕
关键词：狄更斯理想主义精神
基于修正程序的更新优化方法
曾奕
一种形式化知识库更新方法—修正程序
2006年
本文在逻辑程序的理论基础上引入一种规范知识库更新的形式化方法—修正程序,它允许使用逻辑程序的说明性语义和强制性语义来解释修正规则,但用来解释修正程序将会变得非常困难,本文将引入修正程序的语义模型-P-合理修正,并讨论了修正程序同逻辑程序的关系及修正程序的现实意义。
李新战王晓刚曾奕
关键词：逻辑程序知识库更新
全选 清除 导出
共1页<1>
聚类工具0