【摘 要】
：
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时.提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必
【机 构】
：
山东大学计算机科学系,济南,250100
论文部分内容阅读
判定主动规则集合的执行情况是相当困难的,尤其是在主动规则支持复合事件时.提出了一种利用确定型多带图灵机对主动数据库进行动态分析的模型,归结出主动规则可终止的充分必要条件,并进一步提出了利用动态分析模型进行主动规则可终止性判定的算法.该模型易于实现,能有效描述规则集合的动态特性,可以作为分析主动规则集合行为的理论基础,还可以用于对主动规则的辅助设计和验证.
其他文献
随着我国经济的不断增长，我国服务业吸引外资的能力不断增强，引资的规模也不断增大。从原来的制造业到如今的服务业、知识密集型服务业，FDI对我国的投资领域也在渐渐转变。在知
外部失衡一直是备受关注的热点，中国作为全球最大的失衡国家之一，一直处在风口浪尖。本文从中国外部财富的现状出发，利用中国1982年至2013年外部财富的数据，首先论证中国外部财富
该文试图引用统计及有关数量分析方法,结合笔者多年从事的师资管理工作实践,以上海财经大学教师队伍为实例,对师资队伍结构进行定量分析作一尝试.
新中国发行国债的历史可以追溯到1950年11月.为了医治战争的创伤,建设新中国,中央人民政府发行了"人民胜利折实公债",此后为满足"一五"期间大规模的经济建设需要,从1954年—
该文针对评标过程中的各种影响因素,分别建立了资格预审和标书评价的指标体系,作为项目业主管理层监督与复核评标过程的主要依据.在指标体系的具体应用时,对于固定资产等货物
图的邻点可区别均匀Ⅴ-全染色(AVDEVTC)是指在满足邻点可区别Ⅴ-全染色的基础上,还要保证每种颜色的使用次数相差不超过1,把完成AVDEVTC所用的最少颜色称为图的邻点可区别均
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
该文共分为四个部分.导论部分介绍了管理层收购的涵义以及管理层收购在西方(尤其是美国)兴起的背景.对照中国企业的特点,提出了该文希望解决的几点问题.第一章首先从理论的角
并购从定义的角度可以分为三种类型的产权重组行为,即企业兼并、企业收购和企业划转.杠杆收购(LBO)是企业兼并的一种特殊的形式,其实质在于举债收购,即以债务资本为主要融资
该文主要对股票期权制度的沿革、运作机理和特点进行了一些初步的探讨,结合中国国企改革,就上市公司实行股票期权制度的可行性和必要性,目前遇到的难点,提出了一些政策建议,