形式化的协议理论
基本信息
批准号：90104010
项目类别：重大研究计划
资助金额：30.00
负责人：赵保华
学科分类：
依托单位：中国科学技术大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：李争鸣,胡劲松,吕欣岩,许振东,孙宇霖,周晓煜,屈玉贵,顾翔,陈雄辉
关键词：
协议形式化理论
结项摘要
协议形式化理论是协议工程的核心。运用形式化方法进行协议工程学的研究，研究内容包括：协议描述、协议验证、协议测试和协议实现的理论和方法。本项目研究基于构造类别代数和基于RSL的两种新的形式化描述方法；各种协议验证模型的组合、分离和互换理论及探讨材Ｐ偷纳衫砺酆头椒ǎ换谛碌男问矫枋龇椒ǖ男椴馐院托槭迪值睦砺酆头椒ā
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
地震作用下岩羊村滑坡稳定性与失稳机制研究
地震作用下岩羊村滑坡稳定性与失稳机制研究
DOI：10.16285/j.rsm.2019.1374
发表时间：2020
2
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
卡斯特“网络社会理论”对于人文地理学的知识贡献-基于中外引文内容的分析与对比
DOI：10.13249/j.cnki.sgs.2020.08.003
发表时间：2020
3
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
不确定失效阈值影响下考虑设备剩余寿命预测信息的最优替换策略
DOI：10.11887/j.cn.202101019
发表时间：2021
4
~(142~146,148,150)Nd光核反应理论计算
~(142~146,148,150)Nd光核反应理论计算
DOI：10.7538/yzk.2022.youxian.0213
发表时间：2022
5
感知的环境动态性与创业团队创新 ——基于团队成员的不确定性降低动机
感知的环境动态性与创业团队创新 ——基于团队成员的不确定性降低动机
DOI：DOI:10.15886/j.cnki.hnus.20210430.002
发表时间：2021
赵保华的其他基金
批准号：60872009
批准年份：2008
资助金额：30.00
项目类别：面上项目
相似国自然基金
1
安全协议设计及其形式化理论
批准号：60073006
批准年份：2000
负责人：怀进鹏
学科分类：F0207
资助金额：15.00
项目类别：面上项目
2
非否认协议及协议形式化分析研究
批准号：69673016
批准年份：1996
负责人：卿斯汉
学科分类：F0206
资助金额：10.00
项目类别：面上项目
3
实时容错协议的形式化技术
批准号：90104007
批准年份：2001
负责人：王戟
学科分类：F0104
资助金额：20.00
项目类别：重大研究计划
4
面向多重协议组合实现的形式化安全检测理论和方法研究
批准号：61602359
批准年份：2016
负责人：付玉龙
学科分类：F0206
资助金额：21.00
项目类别：青年科学基金项目