【摘 要】
：
针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法.首先给出了虚拟企业模型的形式化描述,进而提出基于资源
【基金项目】
：
新材料领域项目，中国科学院资助项目
论文部分内容阅读
针对人工方法检查虚拟企业模型一致性耗时长、正确性和完整性难以保障的问题,提出了一种虚拟企业模型一致性检查算法.首先给出了虚拟企业模型的形式化描述,进而提出基于资源导航的虚拟企业模型,说明了其各个视图之间的关联.在虚拟企业模型一致性分类的基础上,提出了虚拟企业模型一致性检查的检验规则及其修正策略,从而提出一种基于检验规则的虚拟企业模型一致性检查算法,分析了算法的时间复杂性.最后,利用一个系统验证了算法的可行性.
其他文献
摘 要：高校思想政治理论课教师既是党的理论、路线、方针、政策的宣讲者，又是大学生健康成长的指导者和引路人。这一神圣职责决定了思想政治理论课教师必须要全面提高思想政治素质和业务素质，牢固树立坚定的理想信念。党的十八大精神对坚定高校思政课教师信念具有重大的现实意义。 关键词：高校思政课教师 十八大精神 意义 信念 中图分类号：G641文献标识码：A 文章编号：1674-098X（2013）04（b
摘 要：图书馆馆员是图书馆最重要的资源和财富之一，根据目前图书馆的发展需要对图书馆馆员应具备的素质以及目前图书馆馆员的素质现状进行分析，提出提高图书馆馆员素质的有效途径。 关键词：图书馆 馆员 素质 途径 中图分类号：G71文献标识码：A文章编号：1674-098X（2013）05（b）-0209-01 优秀的图书馆馆员是图书馆的最重要的资源和财富之一，图书馆馆员是图书馆信息和如何使用图书馆
1982年国内党谓楞等首先应用B超诊断腰椎间盘突症(以下简称腰突),收到满意的效果[2].我院自1989年以来应用B超诊断腰突,并以椎旁封闭为主综合治疗1420例,取得满意效果,其中资
胆肠吻合术是根据"通畅胆流"治疗肝胆管结石的基本原则而应用于临床的,由于术式废弃了具有重要生理功能的Oddi's括约肌,使胆汁的流变和十二指肠的生理效应发生改变,加上
股骨头缺血性坏死(ANFH)是骨关节病中的常见病,它的发病机理复杂,目前尚不十分清楚,其病变可累及整个髋关节,导致关节软骨破坏,股骨头塌陷,最终引起髋关节功能障碍,并逐步加
摘 要：高职院校实训基地建设是专业发展的核心，是学生学实践能力体现的重要场所。该文介绍了目前基于笔记本制造业电子信息产品组装技术专业校内实训基地实践教学基地建设的三维结构运行模式，提出适合基于笔记本制造业电子信息产品组装技术专业的三维立体化运行模式的校内实训基地，并阐述了其建设的主要内容和其现实意义。 关键词：高职院校 三维立体化 实训基地 校内实训 中图分类号：G712文献标识码：A 文章编
梅毒是由苍白螺旋体所引起的一种性传播疾病，也可通过输血传播，其检测方法有非特异性的血清学试验如RPR、TRUST和特异的血清学试验如ELISA、TPHA等。不同的检测方法其特异性和
在新时期，随着城镇化建设的加快，城镇社区体育发展提出新的要求。该研究立足于陕西特有的陕北、关中、陕南地域特色文化，旨在探讨将其与城镇社区体育有机结合，为构建和谐城镇，和谐