【摘 要】
：
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML模型形式化问题，提出基于描述逻辑的形式化方
论文部分内容阅读
UML模型一致性自动检测的主要任务是解决形式化问题。描述逻辑是一阶谓词逻辑的可判定子集，具备强大的知识表示和推理功能。针对UML模型形式化问题，提出基于描述逻辑的形式化方法，分析UML类图各模型元素与描述逻辑SHOIN（D）的对应关系，提出UML类图的SHOIN（D）形式化方法，给出UML类图转换为SHOIN（D）知识库的正确性证明。
其他文献
作文在整个语文考卷中占有很大的比重，是语文考卷中的“重头戏”。对几种“硬伤”导致考场作文失分的现象做以简要的分析，引起同学们的重视。
目的 建立一个新型夹心酶联免疫检测系统，为宫颈涂片中高危HPV病毒的检测提供参考。方法 使用兔抗HPV 16/18/45 E7蛋白的兔单克隆抗体作为包被抗体，使用生物素化的多克隆山羊抗
目的：探讨山区城市院前急救的特点及防治策略。方法：回顾性统计分析2002年度龙岩市第二医院院前急救的全部病例。结果：院前急救共1136例，其中空跑24例。出车时间在日班及夜班无明
随着信息技术的发展,多媒体计算机和网络日益普及,课堂教育教学发生了深刻的变革。笔者根据自身多年教学经验,主要运用对比分析法、专家访谈法,针对新课程背景下如何利用多媒
目的观察鼻内镜低温等离子射频消融术在鼾症伴过敏性鼻炎患儿应用的效果。方法选取本院收治的92例鼾症伴过敏性鼻炎患儿为研究对象,按照随机双盲法将其分为两组,各46例。对照
新课程改革推促初中语文教学摒弃传统应试教育思想,将教学关注点投入到学生核心素养的有效提升上。有效性是评价初中语文教学成效和学生综合素质能力提升的主要指标,教师在教
课堂是学校教学的基本组织形式,是学生学习新知识的主渠道,同时也是落实和推进课堂教学改革、发展素质教育的主阵地。可以说,学生学习效率的提升和能力的发展也主要依靠课堂
我国银行业现在大体存在着4大国有商业银行、13家股份制商业银行和123家城市商业银行这样的市场结构,根据结构行为绩效原理,这种市场结构必然会影响各个银行的行为,所以各个
探讨红景天苷和西藏红景天粗提物对延长线虫寿命的影响及其体外抗氧化活性的比较。以红景天苷、红景天粗提物为研究对象、以Vc为阳性对照,分别检测以上三种物质对自由基的清
为确保Web应用程序的可靠性,满足Web应用程序功能测试的需求,提出2种改进的基于用户会话数据的方法,从功能角度对Web应用进行测试,可有效解决组合不同用户会话时发生数据冲突的问题。通过实验阐述该方法的应用,证明其在功能及模块覆盖率方面的有效性。