论文部分内容阅读
通过引入一元时序算子，表达事件之间任意杂的相对次序关系，在此基础上重新定义了描述复合件的时序事件代数，并证明了该事件代数良好的数学性质，不仅增强了事件描述语言的描述能力，也为处理规划执行的合流性提供了新的方法。
主动数据库的时序事件代数
【摘 要】
：
通过引入一元时序算子，表达事件之间任意杂的相对次序关系，在此基础上重新定义了描述复合件的时序事件代数，并证明了该事件代数良好的数学性质，不仅增强了事件描述语言的描述能力
【机 构】
：
吉林大学计算机科学系,吉林建筑工程学院计算中心
【出 处】
：
小型微型计算机系统
【发表日期】
：
2000年6期
【基金项目】
：
国家自然科学基金!(编号 69673 0 15 )
其他文献
平南县是全国有名的石硖龙眼之乡，今年，全县龙眼果树保有面积19．5万亩，产量3万吨，产值1．5亿元，主要销往广东珠王角地区，仅此一项可为全县农民人均增收55元。
在高等数学教学中,对于反三角函数相关的积分计算涉及的不多,一般用分部积分计算,本文在常规求解方法的基础上,给出了几类反三角函数相关的积分计算通项形式.
目的探讨不同严重程度的下尿路症状(LUTS)与勃起功能障碍的相关性。方法选取2016年郑州大学附属郑州中心医院收治的LUTS患者316例,分别对其进行IPSS以及勃起功能指数(IIEF-5)
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在生物医学材料的研究与开发中,根据材料在生物体内的使用部位不同,对其生物相容性有不同的要求,与血液接触的材料,主要考虑其血液相容性。作为血管支架常用材料316L不锈钢、
目的:观察减慢呼吸频率对正常青年人心率变异和血压变异的影响。方法:选择2017年5月至2017年10月锦州医科大学经入学体检健康的60例在读硕士研究生。在预先录制好的录音带放
本文介绍了基于专业过滤器的网络管理与安全系统的设计和实现过程，该系统结合了包过滤、用户认证、计费和数据加密等多种技术。由屏蔽路由器、屏蔽主机等实现的包过滤器出于本
本文首先对新型的以ＨＹ６０４０Ａ／Ｄ卡作数据采集，以ＶＢ５．０和ＶＣ５．０８昆合编程的动态链接库为软件主要框架的，测试航空弹射弹加速度的微机系统的技术关键问题进行阐述分析。其次介绍下，本文提出的测试弹射弹加
本文主要介绍了对企业集成网络进行性能评价的方法及其特点，尤其对网络仿真法进行了详细的描述。根据企业集成网络的特点，用网络仿真的方法将能对其进行有效的评价。将线程引入