【摘 要】
：
由于特征模型缺乏严格语义基础，难以对模型进行一致性推理，无法保证模型的一致性，进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化，给出了将特征模
论文部分内容阅读
由于特征模型缺乏严格语义基础，难以对模型进行一致性推理，无法保证模型的一致性，进而影响最终软件产品的质量。本文讨论了如何使用描述逻辑对特征模型进行形式化，给出了将特征模型转化为描述逻辑ALCQI知识库的算法，通过验证转化后的知识库的一致性得到所对应特征模型的一致性。并利用描述逻辑的推理机RACER对转换得到的知识库进行推理，自动完成特征模型的一致性检查，为特征模型的一致性检验提供一种方法，实践证明这种方法具有可靠性和高效性。
其他文献
1会议背景由IEEE南京分部主办，东南大学承办，西交利物浦大学和香港中文大学协办的第3届国际信息科学与技术会议于2013年3月23～25日在江苏扬州举行。会议邀请3名国内外相关领域的
图形化软件(LabView)是虚拟现实技术在自动化、测试仪器仪表行业中的应用,是对传统仪器概念的重大突破。电容式测微仪将位移的微变转换为电压的微变,通过A/D采集板(ZTIC8310)将电压的微变传入计算机,然后利用LabView软件中的虚拟仪器模块对逐次采集的信号进行计算,按照不同的评价原理自动得到性能参数,如:线性度,分辨力等。通过虚拟仪器进行的参数标定是评价真实仪器性能指标的有力证明。论述了
吴玉章（1878—1966），我党久经考验的无产阶级革命家，深受全党和全国人民敬重爱戴的“延安五老”之一，也是我国著名的教育家，马克思主义史学家和语言学家。毛泽东同志曾评价他：“一辈子做好事，不做坏事，一贯地有益于广大群众，一贯地有益于青年，一贯地有益于革命。” 投身革命 推翻帝制 吴玉章原名吴永珊，号树人，出生于四川省荣县双石乡蔡家堰。吴玉章是家中幼子，其父亲去世较早，但其祖母和兄嫂对他要求
摘要：教学中，教师对学生的晓之以理、动之以情，以情迭理、顺理入情，热爱每一位学生，客观理智地对待每一位学生，更能激发学生的学习热情，提高教学效应。关键词：情感；亲近学生；教学效应中图分类号：G633．951 文献标识码：A 文章编号：1006-3315(2011)12-075-001情感是心理之“车”的发动机，离开了情感这个“发动机”，学生的心理之“车”就不会驰骋，所以说情感是影响学生学习行为和学
融媒体时代,国有企业必须因势而谋、应势而动、顺势而为,通过加强媒体平台的规范化建设,不断深化媒体融合发展,构建融媒体大宣传格局,强化国有企业宣传思想工作的功能效用,充
针对机床结构件多设计方案优选决策这一包含多层次、多指标,定性和定量因素并存的综合决策问题,提出了利用三标度AHP多层模糊评价法对机床结构件进行优选设计。以龙门机床立
推动成渝地区双城经济圈建设,是党中央立足大局、统揽全局、引领变局、开拓新局作出的重大战略部署。广安市坚定以习近平新时代中国特色社会主义思想为指导,深入贯彻中央财经
为探讨孕期小鼠服用阿斯匹林后,胎盘糖原含量变化与胎鼠发育异常之间的关系, 给妊娠8.5天的小鼠连续3天灌服阿斯匹林(250 mg/kg/d),用组织化学方法、图像分析技术定量研究第1
采用MEMS技术,如KOH腐蚀、光刻、溅射金属等技术,在硅片、玻璃等材料上制得平面式微传感器管芯,此结构具有微型化、低功耗、一致性好、适宜大批量生产的优点.敏感材料的采用