大规模动态网络环境中协同组操作一致性维护算法的正确性证明及其验证的研究
基本信息
结项摘要
针对大规模动态网络环境中缺乏协同组操作一致性维护算法正确性的研究，而现有的研究方法和证明技术缺乏对该环境的大规模和动态性等特点进行描述的一致性维护算法正确性评价模型、严格的形式化证明方法和自动验证软件的支持。本项目提出研究一致性维护算法的正确性证明与验证中的关键技术，具体研究内容包括：大规模动态环境下的多层次一致性维护算法正确性评价框架；基于Dynamic I/O自动机的一致性维护算法建模及其正确性证明方法；指导满足正确性的一致性维护算法设计的准则；一致性维护算法建模、正确性分析的软件工具与验证环境。.该研究是对现有大规模动态网络环境中协同组操作一致性维护算法研究的有力推动，富有创新：它不但能在理论上完善一致性维护算法的理论基础，提高一致性维护算法的可信性，具有重要的理论意义；而且能促进一致性维护算法在大规模动态网络环境中的应用(交互式网格、Web2.0应用等)，具有重要重要的现实意义
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Wearable Electrocardiogram Quality Assessment Using Wavelet Scattering and LSTM
Wearable Electrocardiogram Quality Assessment Using Wavelet Scattering and LSTM
中温固体氧化物燃料电池复合阴极材料LaBiMn_2O_6-Sm_(0.2)Ce_(0.8)O_(1.9)的制备与电化学性质
中温固体氧化物燃料电池复合阴极材料LaBiMn_2O_6-Sm_(0.2)Ce_(0.8)O_(1.9)的制备与电化学性质
具有随机多跳时变时延的多航天器协同编队姿态一致性
具有随机多跳时变时延的多航天器协同编队姿态一致性
BiVO4/Fe3O4@polydopamine superparticles for tumor multimodal imaging and synergistic therapy
BiVO4/Fe3O4@polydopamine superparticles for tumor multimodal imaging and synergistic therapy
Neuroprotective effects of Senkyunolide I against glutamate-induced cells death by attenuating JNK/caspase-3 activation and apoptosis
Neuroprotective effects of Senkyunolide I against glutamate-induced cells death by attenuating JNK/caspase-3 activation and apoptosis
卢暾的其他基金
相似国自然基金
大规模动态社交网络社团检测算法研究
大规模动态多维社会网络的社区发现算法研究
复杂动态网络中的一致性和分布式学习算法研究
大规模网络中传播和牵引控制的一致性问题研究