期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
基于离线数据载体的分布数据一致性研究 被引量:3
1
作者 张世栋 王新军 +1 位作者 王海洋 吕波 《小型微型计算机系统》 CSCD 北大核心 2004年第6期1040-1043,共4页
针对离线数据载体应用的特点 ,文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议 ,并给出了相关的正确性证明和阻塞性分析 ,从理论上彻底地解决了基于离线数据载体的分布数据一致性问题 .本文结论经过了实验和实... 针对离线数据载体应用的特点 ,文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议 ,并给出了相关的正确性证明和阻塞性分析 ,从理论上彻底地解决了基于离线数据载体的分布数据一致性问题 .本文结论经过了实验和实践检验 . 展开更多
关键词 分布数据一致性 离线数据载体 有序双场地分布事务 有序双场地两阶段提交协议
在线阅读 下载PDF
基于C/S体系结构的移动通信综合管理系统 被引量:3
2
作者 马争 孟春雷 《电子科技大学学报》 EI CAS CSCD 北大核心 2000年第6期569-572,共4页
探讨了移动通信综合管理系统的分布式数据管理和系统的应用框架。给出了其数据结构和框架,并从用户和计算机结构角度的所采用的技术和方法进行了讨论,为解决移动通信综合管理系统问题提供了一种新思想。
关键词 移动通信 综合管理系统 C/S体系结构 数据库
在线阅读 下载PDF
基于CPN的两阶段提交协议建模 被引量:1
3
作者 朱连章 李青 《计算机应用与软件》 CSCD 2009年第6期210-212,252,共4页
CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和... CPN(Colored Petri Net)是一种面向图形的语言,用来仿真和验证系统,尤其适用于复杂的分布式系统。简单介绍分布式事务处理协议中的两阶段提交协议,提出一种基于CPN的两阶段提交协议建模和分析方法,完整阐述两阶段提交协议的建模过程和模型验证方法,清晰直观地分析模型的仿真结果,形象地表现两阶段提交协议的一致性。利用CPN模型对两阶段提交协议性能的分析,为进一步研究两阶段提交协议提供了一种新的手段。 展开更多
关键词 两阶段提交协议 CPN 分布式系统
在线阅读 下载PDF
异构Web服务集成的转换协调机制 被引量:1
4
作者 向伟湘 杨勇 杨薇薇 《计算机应用研究》 CSCD 北大核心 2004年第7期59-60,63,共3页
对异构Web服务集成问题提出了一种Web服务集成的转换和协调机制 ,通过对异构Web服务进行转换和协调 ,将Web服务以统一的通用服务形式呈现给用户 ,有效地解决了Web服务间的异构问题 。
关键词 异构Web服务 集成 两阶段提交协议
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部