论文部分内容阅读
作为推理的基础，时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法，称之为关系向量。其后，给出了定义在关系向量上的几种运算，并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示，从而较好地减少了时态推理计算量，并易于计算机实现。
时态关系的向量表示及其推理
【摘 要】
：
作为推理的基础，时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法，称之为关系向量。其后，给出了定义在关系向量上的几种运算，并将
【机 构】
：
江苏科技大学电子信息学院
【出 处】
：
科学技术与工程
【发表日期】
：
2007年6期
【基金项目】
：
总装备部武器预研基金项目（514060201040CBB0201）资助
其他文献
大凡教学过《三相异步电动机绕制》课程的老师都明白，在电机绕制的教学过程中最重的环节就是如何正确掌握下线规律把线圈正确的莰在定子槽中，然后让学生根据原理把线圈合理的连
电视画面素材，只有通过编辑才能将最合适的画面段落，按照最理想的方式组合起来，达到艺术性与技术性的完美融合。全面理解与把握好电视画面的编辑核心理论，有利于电视节目画面编辑
探讨了绿色会计的核算对象、核算方法、信息披露以及绿色会计要素的确认，及与资源环境的关系。
针对中职学生不重视政治学科，学习主动性不高的现状，引入新课程理念，尝试把“主动参与课堂教学模式”融入政治课教学中，从创设良好的教学环境和气氛、激发学生学习兴趣、采取多种
中华优秀传统文化是幼儿教育的宝库,蕴含丰富多彩的内容,幼儿教育是基础教育,幼儿正处于启蒙期,幼儿时期是幼儿成长与发展的重要时期,将中华优秀传统文化融入幼儿教育,如开设
选择了和平崛起道路的我们亟需透彻、准确、全面地了解世界上不同的国家。只有在相互间开展平和、理性的文化交往，才能促进理解和尊重，从而实现共谋发展的良好局面。其中，对美国
开展创先争优活动,是党的十七大做出的一项重大部署.在高校深入开展创先争优活动,其首要的前提是要加强教师的师德水平建设,使教师明确师德水平建设的规范要求,从而提高教师
现代社会的高速发展以及基础设施建设的不断增多推动了电气工程的应用发展,在各种全新科学技术的支撑下,我国电气工程的自动化发展得到了显著提升。在当前我国电气工程自动化
在遥感和GIS技术的支持下,结合研究区8种农田生态模式和实地调查数据,通过对不同农区5年间景观格局特征（多样性指数、匀度指数、优势度指数和破碎度指数）分析的基础上,找出了以