【摘 要】
：
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对
【机 构】
：
上海交通大学计算机科学与工程系!上海; 200030;
论文部分内容阅读
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的．据此，作者又研究了规则、共享和环生成的关系，从而指导操作，避免环的产生，保证正确性和完备性。以上结果能够用于指导项重写的图实现。
其他文献
<正> 契丹是起自我国北方的一个游牧民族。“朔漠以畜牧射猎为业,犹汉人之劭农,生生之资于是乎出”。天赞三年十月,阿保机猎于寓乐山,“获野兽数千,以充军食”。至十一月,“
大跨度桥梁风致抖振在各种风速下均会发生,且精确响应计算也较为困难,针对此响应计算问题,提出了基于虚拟激励法的多维多点风致抖振响应计算方法。通过抖振力谱与来流风谱理
<正>语法是语言的重要组成部分,一直以来,语法教学都倍受关注。很多教师不能从学生的角度去设计教学,教学方法陈旧,模式单一。语法课上实施"灌输式"教学,大部分时间教师唱"独
髋关节撞击综合征是一种常见的、可引起慢性髋关节疼痛及髋关节屈曲和内收受限的疾病,是髋关节骨性关节炎常见的病因。根据不同的解剖异常可分为Cam凸轮碰撞和Pincer钳形碰撞
<正> 该文是日本多所大学附属医院的皮肤科和内科与日本硬皮病研究委员会共同合作对进行性系统性硬皮病患者(SSc)进行流行病学研究的报告。其目的是揭示影响预后的因素、生存
熔融加工是一种相对简单、高效的加工方法。由于聚乙烯醇(PVA)的热分解温度很接近其熔点,使其难以熔融加工。为实现PVA的熔融加工,可以用溶剂增塑、共聚和共混等增塑(改性)技
合同法律风险是指企业在经营过程中,在合同订立、生效、履行、变更和转让、终止及违约责任确定等过程中,利益受到损害的风险。因此,合同管理和风险控制是企业较为迫切、现实
古典概型概括了很多实际问题,有着广泛的应用.如何判断一个随机试验为古典概型,是研究古典概型的首要问题.许多教材上,对古典概型只作了抽象的描述,使学生不能真正理解古典概
在硬膜外麻醉中,机体的体热平衡遭到破坏,体热从中央室向外周室重分布,从而导致中心体温下降。低体瘟引发机体的温度代偿机制,即寒战。低体温和寒战都会对机体造成有害的影响
乳化基质的冷却是乳化炸药生产工艺的一个重要环节,文中对几种自动冷却工艺应用于不同配方的冷却效果分析比较,提出了乳化冷却工艺的研究方向。