同步一致性模型的动态验证

来源 :中国科学院大学 | 被引量 : 0次 | 上传用户:charse
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
由多个自治Agent组成的系统代表了一种新的复杂软件系统的开发方法,极大推动了现有的软件工程实践.这种面向Agent的方法引入了新的抽象范型,使得在软件设计和开发上的许多问
万维网通信量的分析与建模对万维网设计中制定缓存大小、重发策略和舆协议等都起到重要的指导作用.近年来的研究分析结果表明,实测万维网通信量呈现出明显的自相似性,这是经
该论文对基于短消息业务的数据挖掘系统的子系统短消息业务相关性分析系统进行了研究与实现.该论文首先分析设计了基于短消息业务的数据挖掘系统;然后对短消息业务相关性分析
该文利用模糊神经网络学习算法重点对模糊规则基进行优化.在对国内外常用的模糊神经网络学习算法进行了深入分析的基础上,对模糊规则基的优化和初始参数的设定方面进行了详尽
粗集理论是近年来发展起来的一种有效地处理不精确信息、含糊信息的数学理论方法,在机器学习、知识发现、模式识别等领域取得了很大成功.研究者从不同角度对这个理论进行研究
随着互联网规模的飞速发展,如何高效合理地使用现有的网络资源,保障网络健康良好地运行,已经成为一个研究的热点问题.网络行为学的主要目的就是将业务流量在现有的网络拓扑结
随着移动互联网的迅速发展,使用手机等移动终端进行移动上网的网民越来越多。与此同时,移动网络带宽资源变得日益紧张,而且对网络的优化也变得更加困难和复杂。如何在现有网
作为信息时代的桥梁,Internet已经渗透到社会经济的各个领域,对社会经济发展起着越来越重要的作用.为了保证Internet的运行效率和服务质量,进一步了解网络行为规律,必须通过
随着Internet应用的逐渐普及,WWW已经发展成为一个巨大的分布式信息空间,为用户提供了一个极具价值的信息源.但因Internet所固有的开放性、动态性与异构性,又使得用户很难准
随着信息技术的发展,电子政务已经成为了当今的热门话题,围绕着电子政务系统的技术研究也成了要求迫切的课题.该文重点研究了基于数据字典的电子政务系统的应用,构建出了根据