首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机的应用论文--信息处理(信息加工)论文--文字信息处理论文

基于本体的特征模型演化一致性验证研究与应用

摘要第1-5页
ABSTRACT第5-11页
第一章 绪论第11-16页
   ·课题研究背景及意义第11-12页
   ·当前研究现状及选题依据第12-15页
     ·国内外特征模型演化的研究现状第12-14页
     ·选题依据第14-15页
   ·论文主要工作目标及组织结构第15-16页
第二章 特征模型演化的相关内容与问题第16-24页
   ·软件产品线第16-19页
   ·特征模型的演化第19-20页
   ·本体第20-21页
   ·特征模型演化所要解决的问题第21-23页
     ·特征模型演化的模型刻画问题第22-23页
     ·特征模型演化的一致性验证问题第23页
   ·本章小结第23-24页
第三章 基于本体的特征模型演化的元建模第24-38页
   ·基于本体的特征模型演化元建模相关工作第24-25页
   ·基于本体的特征模型元模型第25-32页
     ·本体特征模型的元模型第26-28页
     ·特征模型的元模型本体描述第28-31页
     ·元模型规约第31-32页
   ·机载领域内的软件质量评估系统本体特征建模第32-35页
     ·机载领域内的软件质量评估系统分析第32-33页
     ·机载质量评估系统的领域特征模型第33-34页
     ·机载质量评估系统的产品特征模型第34-35页
   ·特征模型演化的原子性操作第35-36页
   ·本章小结第36-38页
第四章 特征模型演化一致性验证方法第38-46页
   ·一致性验证总体流程第38-39页
   ·演化策略第39-43页
     ·特征间的冲突第39-41页
     ·特征模型的演化策略第41-43页
   ·特征模型的一致性验证第43-45页
     ·Jena 推理机的构架第43页
     ·元模型推理规则的表示第43-45页
     ·一致性推理验证第45页
   ·本章小结第45-46页
第五章 特征模型一致性验证工具设计与实现第46-54页
   ·特征模型一致性验证工具的设计第46-48页
     ·工具总体结构第46-47页
     ·工具的功能模块第47-48页
   ·特征模型一致性验证工具的实现第48-51页
     ·工具具体实现第48-50页
     ·工具运行第50-51页
   ·机载质量评估系统的一致性推理验证第51-53页
   ·本章小结第53-54页
第六章 总结与未来工作第54-56页
   ·总结第54页
   ·进一步研究工作第54-56页
参考文献第56-60页
致谢第60-61页
在学期间的研究成果及发表的学术论文第61-62页
附录第62-68页

论文共68页,点击 下载论文
上一篇:基于多传感器的MIG管道打底焊自适应纠偏系统
下一篇:基于LWE的加密方案研究与实现