论文部分内容阅读
利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。
形式化语言对实例-模型库的规约
【摘 要】
：
利用以数学为基础的形式化语言RAISE对支持基于实例推理的实例 -模型库进行规约 ,通过建立严格的抽象化数学模型 ,有利于设计者更好的理解系统结构 ,及早排除系统缺陷 ,维护知识项之间的一致性。
【机 构】
：
西南交通大学CAD工程中心
【出 处】
：
计算机应用
【发表日期】
：
2000年S1期
其他文献
作为学生全面发展发展的重要组成部分，美术教育越来越受到人们的重视。我国现阶段中学美术教育的主要任务是培养学生的创造能力j全面提高学生的综合素质。那么如何培养学生的
专有技术,也称技术决窍、技术秘密等。它是指那些处于保密状态,仅为特定的个别单位或者个人所掌握的有关生产方面的知识、经验、方法、手段、工艺流程等的总称。专有技术是非
本文论述了九十年代 VLSI 技术、微处理器技术、总线技术、外存技术和操作系统等五种微型机支撑技术的发展动向,在这基础上推断了微型机对计算机未来发展所带来的影响。
本文首先分析了华北电力联合公司直属火电厂煤耗情况,指出影响煤耗的几个重要因素。接着,就火电厂生产过程中的几个环节阐述了节能的途径和潜力。最后对华北电力联合公司直属
素质教育是新课标推崇的新型教育措施，教师不仅要学习相关理论，而且要在课堂教学中贯彻落实。如何实施素质教育呢？本文主要论述了“面向全体学生进行因材施教”，“培养自学能力，使
目前,我国私营经济发展势头良好.以上海市金山区为例:1989年实现零的突破,首批核准2户,1990年核准69户.1992年在党的十四大精神鼓舞下,年末一举达到324户,投资者388人,雇工57
我国基础英语教学呈现出测试科学化、过程立体化、内容实用化的趋势，但由于历史传统、教学理念、听力设备，以及教材编排结构失调等诸多方面的原因，初中英语听力教学出现了较多的
实验教学作为高中物理教学的重要内容和特殊教学形式，其目的是为激发学生的科学兴趣，为高中物理学科知识教学提供一个良好的氛围，培养学生的实际实践能力和科学研究精神，进一步形
随着新课改的不断推进，以学生为主体的教学方式逐渐成为时代主流，事实上也取得了更多积极的效果。初中体育课教学也不例外。然而，“害怕体育课”、“厌倦体育课”的迹象也显露无