一致性问题论文

群集运动控制及其相关特性的研究
论文摘要近年来，分布式大规模网络化群体系统的协调控制问题逐渐成为国内外智能系统理论界研究的热点。这源于自然界中广泛存在的群体现象，大规模群体系统不仅可以描述和解释大多数生物群体...
应用级checkpointing技术的研究与实现
论文摘要随着系统规模的不断扩大和COTS器件制造工艺的不断发展,高性能计算机面临着严峻的可靠性挑战。应用级checkpointing技术是应对这一挑战的关键技术。但是,当前应用...
模糊描述逻辑L-SI语义及推理的研究
论文摘要描述逻辑（DLs）是一族为人们所熟知的知识表示形式系统．它们形成的基础是概念（一元谓词或类）和角色（二元谓词），且主要由一此构造复杂概念的算子刻划其特征。通过定义与应用...