实时容错协议的形式化技术
基本信息
批准号：90104007
项目类别：重大研究计划
资助金额：20.00
负责人：王戟
学科分类：
依托单位：中国人民解放军国防科技大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：王戟,谭庆平,罗铁庚,董威,李书浩,王馨
关键词：
协议一程形式验证
结项摘要
面向实时容错协议和网络服务,提出层次化、组合化的基于模型检验的形式验证技术的算法,并建立相应的计算机辅助工具.主要内容包括:实时容错楞议的形式模型和语义;实时容错协议的形式验证工具研究将推动协议工程学的发展,对下一代互联网的协议设计开发具有重要的科学意义和广泛的应用价值.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
带复杂水力系统的水轮机多机微分代数模型
带复杂水力系统的水轮机多机微分代数模型
DOI：10.13334/j.0258-8013.pcsee.190606
发表时间：2020
2
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
3
基于可能属性分析的粒描述
基于可能属性分析的粒描述
DOI：10. 6040 /j. issn. 1671-9352. 4. 2020. 149
发表时间：2021
4
Ordinal space projection learning via neighbor classes representation
Ordinal space projection learning via neighbor classes representation
DOI：https://doi.org/10.1016/j.cviu.2018.06.003
发表时间：2018
5
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
DOI：
发表时间：2021
王戟的其他基金
批准号：69973051
批准年份：1999
资助金额：12.00
项目类别：面上项目
批准号：60233020
批准年份：2002
资助金额：170.00
项目类别：重点项目
批准号：90612009
批准年份：2006
资助金额：28.00
项目类别：重大研究计划
批准号：69603010
批准年份：1996
资助金额：10.00
项目类别：青年科学基金项目
相似国自然基金
1
形式化的协议理论
批准号：90104010
批准年份：2001
负责人：赵保华
学科分类：F0104
资助金额：30.00
项目类别：重大研究计划
2
复杂实时系统的形式化方法和技术
批准号：69583002
批准年份：1995
负责人：陈火旺
学科分类：F0203
资助金额：14.00
项目类别：专项基金项目
3
非否认协议及协议形式化分析研究
批准号：69673016
批准年份：1996
负责人：卿斯汉
学科分类：F0206
资助金额：10.00
项目类别：面上项目
4
安全协议设计及其形式化理论
批准号：60073006
批准年份：2000
负责人：怀进鹏
学科分类：F0207
资助金额：15.00
项目类别：面上项目