【摘 要】
：
分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质,如分布式死锁、分布式终止和分布式废码等.稳定性质检测是分布式计算中的重要问题,常通过构造一致全局系统
【机 构】
：
上海交通大学计算机科学与工程系,上海,200030
论文部分内容阅读
分布式计算中的稳定性质是那些在计算中一旦成立将保持成立的性质,如分布式死锁、分布式终止和分布式废码等.稳定性质检测是分布式计算中的重要问题,常通过构造一致全局系统状态来检测稳定性质.本文研究可以在任意系统状态上计算的稳定性质,基于相关事件的概念,定义了强稳定性质和局部稳定性质,证明了局部稳定性质是强稳定性质,存在不是局部稳定性质的强稳定性质和不是强稳定性质的稳定性质.证明了分布式废码是强稳定性质,修正了以前的结论.第一次给出了稳定性质的等价类分类,定义了在任意系统状态上稳定性质的语义.给出了检测强稳定性质的局部算法和控制算法.本文结论的理论意义在于揭示了稳定性质间的共性和异性,其实践意义在于可由一类稳定性质的检测算法得到另一类稳定性质的检测算法.
其他文献
目的 评价社区个性化健康教育对高血压高血脂患者的效果,为开展社区居民高血压高脂血症健康教育提供依据.方法 小组化教育与个性化教育前后比较血脂血压变化情况.结果 个性化
人工气道是指气管导管直接插入气管或经上呼吸道插入气管所建立的气道通道,用以纠正患者的缺氧状态,改善通气功能和有效地清除气道内分泌物.但气管切开后患者的呼吸模式、呼
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
讨论了指令级并行运算环境中多媒体数据处理的实现方法和性能.围绕MMX技术,提出了面向数据流的并行程序开发方法,实现和测试了典型的多媒体数据处理算法,研究了指令级并行计
【摘要】 目的 探讨术前细针穿刺细胞块对胰腺占位性病变的诊断价值。方法 回顾分析本院2005年1月至2010年6月收治的胰腺占位性病变83例,术前均行B超引导下穿刺作细胞学涂片及细胞块检查,并与最终病理诊断作对比研究。结果 细胞学涂片和细胞块切片的准确性分别为89.2%、97.6%,两者比较差异显著(P<0.05)。细胞块诊断实性假乳头状瘤和胰腺内分泌肿瘤的准确性均为100%。结论 术前穿刺细胞块
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
目的 探讨总结晚期产后出血的原因及防治措施.方法 检索2009-2010年问有数据统计的关于晚期产后出血的学术总结65篇,抽样其中5篇所涉医院的晚期产后出血数据,结合自身临床经
脑卒中是临床上一种常见病、多发病,其发病突然,通常包括脑出血、脑梗死、蛛网膜下腔出血,是发病率、致残率,复发率、病死率极高的疾病.由于肢体功能障碍、偏瘫、失语、恢复
目的观察空气波配合中药熏洗治疗糖尿病下肢缺血、周围神经病的疗效。方法80例糖尿病下肢缺血、周围神经病患者随机分为治疗组和对照组各40例,治疗组采用空气波配合中药熏洗
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥