论文部分内容阅读
为支持大规模工业应用的设计,研究统一建模语言(UML)中的不一致性修正问题,提出基于回答集编程的修正方法,处理类图和序列图之间的不一致性。采用逻辑程序表示UML图和固有约束规则,借助推理机求解得到回答集,该回答集能使UML图保持一致性,实例验证了该方法的有效性。
基于回答集编程的UML模型不一致性修正
【摘 要】
：
为支持大规模工业应用的设计,研究统一建模语言(UML)中的不一致性修正问题,提出基于回答集编程的修正方法,处理类图和序列图之间的不一致性。采用逻辑程序表示UML图和固有约
【机 构】
：
北京工业大学计算机学院多媒体与智能软件技术北京市重点实验室
【出 处】
：
计算机工程
【发表日期】
：
2011年S1期
【基金项目】
：
北京市教委科研计划基金资助项目(JC007011200904)
其他文献
人们早已认识到人和哺乳动物母体可将其抗体通过胎盘屏障传给胎儿,从而使子代获得对疾病一定程度的免疫力。尔后发现,母鸡也可将其产生的抗体通过产卵的方式垂直传给子代而储
经过几年的超常规发展,高校工作已经转向注重内涵提升为主上来,高校财务管理处在一个新的特殊时期,面临诸多新的挑战与任务,高校要主动应对挑战,建立人尽其才、财尽其力、物
视觉传感器网络中的目标覆盖通常将目标简化为一个点，从而研究如何最大化覆盖目标点。但在多数情况下，目标无法被简化为一个点，单个视觉节点不但无法覆盖多个目标，对单个目标也无
背景:人体脂肪组织和非脂肪组织的质量及其分布情况与各年龄阶段人群的健康状况密切相关,体成分各组分比例失调是许多疾病发生发展的根源。目的:全面了解目前常用的体成分测
提出一种基于动态分组的以太网无源光网络（EPON）带宽分配算法。设计动态组成员策略,动态分配各个光网络单元（ONU）的上行带宽。通过获取的ONU负载情况,计算各个ONU权重,根据计算的
目的:分析团体正念减压训练在抑郁症管理中的运用。方法:选取2018年7月至2019年5月福建省厦门市仙岳医院收治的抑郁症患者107例作为研究对象,随机分为对照组(n=53)和观察组(n
现代社会技术已经成为影响我们个人生活和社会的巨大力量,并且我们无时无处不在接触各种各样的技术问题。随着新课程改革的实施,通用技术课程已成为普通高中的一门必修课。提
近些年来，随着金融市场发展的不断深化，利率市场化进程的不断推进，越来越多的金融工具被研发和使用。其中针对利率风险的变动，如何创建更多有效的利率衍生工具产品，使得金融机构的
高考作文的要求，分为基础等级和发展等级，凡是优秀作文都在“发展等级”中大显身手，而材料出新则是高考作文“发展等级”中的一项重要内容。那么，怎样使学生的作文材料出新呢？笔者