大规模动态网络环境中协同组操作一致性维护算法的正确性证明及其验证的研究
基本信息
结项摘要
针对大规模动态网络环境中缺乏协同组操作一致性维护算法正确性的研究，而现有的研究方法和证明技术缺乏对该环境的大规模和动态性等特点进行描述的一致性维护算法正确性评价模型、严格的形式化证明方法和自动验证软件的支持。本项目提出研究一致性维护算法的正确性证明与验证中的关键技术，具体研究内容包括：大规模动态环境下的多层次一致性维护算法正确性评价框架；基于Dynamic I/O自动机的一致性维护算法建模及其正确性证明方法；指导满足正确性的一致性维护算法设计的准则；一致性维护算法建模、正确性分析的软件工具与验证环境。.该研究是对现有大规模动态网络环境中协同组操作一致性维护算法研究的有力推动，富有创新：它不但能在理论上完善一致性维护算法的理论基础，提高一致性维护算法的可信性，具有重要的理论意义；而且能促进一致性维护算法在大规模动态网络环境中的应用(交互式网格、Web2.0应用等)，具有重要重要的现实意义
项目摘要
项目成果
{{i.achievement_title}}
{{i.achievement_title}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
Efficient photocatalytic degradation of organic dyes and reaction mechanism with Ag2CO3/Bi2O2CO3 photocatalyst under visible light irradiation
Efficient photocatalytic degradation of organic dyes and reaction mechanism with Ag2CO3/Bi2O2CO3 photocatalyst under visible light irradiation
Intensive photocatalytic activity enhancement of Bi5O7I via coupling with band structure and content adjustable BiOBrxI1-x
Intensive photocatalytic activity enhancement of Bi5O7I via coupling with band structure and content adjustable BiOBrxI1-x
The Role of Osteokines in Sarcopenia: Therapeutic Directions and Application Prospects
The Role of Osteokines in Sarcopenia: Therapeutic Directions and Application Prospects
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
Activation of AKT-mTOR Signaling Directs Tenogenesis of Mesenchymal Stem Cells
Activation of AKT-mTOR Signaling Directs Tenogenesis of Mesenchymal Stem Cells
卢暾的其他基金
相似国自然基金
大规模动态社交网络社团检测算法研究
大规模动态多维社会网络的社区发现算法研究
复杂动态网络中的一致性和分布式学习算法研究
大规模网络中传播和牵引控制的一致性问题研究