论文部分内容阅读
本文首先形式化地描述了语义缓存模型,通过对语义缓存中RS无关性的分析和证明,提出了基于下行更新的一致性维护机制,并给出了维护数据一致和语义一致的算法，理论证明，保证了该一致性维护机制的正确性和有效性，模拟实验的性能比较也表明该一致性维护机制在加快维护速度和减少网络开销方面要明显优于复制控制法。
基于下行更新的语义缓存一致性维护机制
【摘 要】
：
本文首先形式化地描述了语义缓存模型,通过对语义缓存中RS无关性的分析和证明,提出了基于下行更新的一致性维护机制,并给出了维护数据一致和语义一致的算法，理论证明，保证了该
【机 构】
：
中山大学软件研究所,广州,510275
【出 处】
：
第二十一届中国数据库学术会议
【发表日期】
：
2004年期
其他文献
2017年10月,杭州市西湖区某接种门诊1名儿童接种无细胞百白破联合疫苗(Diphtheria,tetanus and acellular pertussis combined vaccine,DTaP)4d后,颜面部、颈部、耳后、胸背
本文在分析PCM的优缺点的基础上,从能量平衡的角度估算了PCM作为智能保温材料的用量,指出了在相变材料的研究方面,除了要提高相变热焓、减少相变点偏移(过热和过冷)、增
本文应用SEM扫描电镜研究了微胶囊表面形貌,激光粒度分析仪研究粒子的尺寸分布特点,用相变材料PCM(phasechangematerials)微胶囊涂层整理以改善纺织品的温度调节性能,并
设计了一个LC低通滤波器,用于放大器和示波器之间;通过实验确定了该滤波器的衰减特性、时延特性以及引起激光热导仪记录曲线形状畸变的程度。证明了这种噪声抑制措施的有效性
本文以质量分数为98％的甲酸为溶剂,丝素和壳聚糖以不同质量分数及比例共混制备纺丝液进行静电纺丝,并用扫描电镜观察其形态结构。
本文研究了热致感应型形状记忆纤维的制备方法,进行了形状记忆性纤维的纺制,通过各种测试手段研究了纤维的结构、热力学和动力学性能与形状记忆特性。
目的:评价X线片判断颈椎椎弓根螺钉植入孔道的准确性. 材料和方法:正常干燥C3～C7人尸体骨,共8个.正常人尸体颈椎标本C3～C7共8具,保持椎体连续性.直径2.5nm的钻头72枚.用HITA
会议
本文提出了一种基于GMA的网格监控服务设计方案，为了提高网格监控服务的服务质量,采用随机Petri网建立了网格监控服务的性能模型，重点分析了性能模型中两条通道的并行处理,这也