论文部分内容阅读
本文讨论开放型物理系统的定性推理方法。文中阐述ＱＵＩＯＳ机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出ＱＵＩＯＳ的推理算法。
QUIOS的事件,进程和推理算法
【摘 要】
：
本文讨论开放型物理系统的定性推理方法。文中阐述ＱＵＩＯＳ机制下事件和进程的关系及两种视图的表达方式，用实例说明定性推理方法，并给出ＱＵＩＯＳ的推理算法。
【机 构】
：
中国科学院数学研究所
【出 处】
：
软件学报
【发表日期】
：
1997年7期
【基金项目】
：
国家科委资助的中法合作PRA基金
其他文献
为了保证母亲和胎儿的健康,妇女怀孕后要做好孕期保健。一、孕期卫生健康孕妇可以参加劳动和进行适当的活动,但宜轻不宜重,应避免蹲式或攀高劳动。孕妇应多晒太阳及呼吸新鲜
关键词：数控加工专业 教学研究 多媒体 伴随着我国现代化加工制造业的发展，企业与社会对专业技能人才的需求日益增加，对他们的要求也越来越高，不仅要具备丰富的理论知识，还要有过硬的专业技能，只有这样才能在企业更好地立足。因此，中职教师有必要改变教学现状，突破传统教学，为社会培养出一批能力强、素质高、技术硬的专业人才。一、中职数控加工专业教学的现状分析 中职数控加工专业是一门关于专业职业素质培养的课
如何提高大学英语教学质量是我们迫切需要解决的问题。现代多媒体技术的运用和发展使得大学英语教育逐步改变传统的教学模式，让教师与学生充分利用丰富的网络资源进行教学与自
分类指导和院校特色是文化素质教育发展到新阶段的新特点新要求。本文通过对外语院校实施文化素质教育的分析,提出推动文化素质教育需要注重特色、注重内涵、注重评价,走素质
摘 要：本文阐述了中华优秀传统文化在中职德育工作中的价值，分析了传统文化未能在中职生中入脑入心的原因，总结了吸取传统文化营养，开展德育教育的切入点和有益经验。对中职学校弘扬传统文化、创新德育工作方法和路径有一定的参考价值。 关键词：传统文化 中职学生 德育 中华传统文化博大精深，蕴含着丰富的做人做事的道理，是我们德育工作的重要思想源泉。2017年1月，中共中央办公厅、国务院办公厅印发的《关于实
高等教育大众化教育与精英教育都是社会发展所需的教育。本文在分析两种教育在分类上不同性质的基础上提出，要使二者协调发展，应明确两种教育不同的教育目标，承担不同的教育任务
本文在对当前高校思想政治教育工作的局限性进行了阐述的基础上，分析了构建高校全员思想政治教育机制的必要性，最后提出了构建高校全员思想政治教育机制，提高大学生思想政治教育
在市场经济和社会大环境的影响下,当前大学生呈现了新的特点,作为肩负育人重任的高校教师,要深入了解学生的变化,适时转变自己的工作理念、工作方法以适应学生的这种变化,更
提出了一个新的分配算法，它可以有效地分配一个给定的位的限额给任意不同的量化器集合。
高职院校的人文教育普遍“贫血”，教师的职业素质参差不齐，均亟待加强和完善。在高职院校中倡导人文精神时，应将加强人文教育与教师职业素质的完善相结合，通过教师高尚的道德鼓舞