形式化的协议理论
基本信息
批准号：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：
发表时间：2019
2
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
3
多元化企业IT协同的维度及测量
多元化企业IT协同的维度及测量
DOI：
发表时间：2017
4
水平地震激励下卧式储罐考虑储液晃动的简化力学模型
水平地震激励下卧式储罐考虑储液晃动的简化力学模型
DOI：10.13465/j.cnki.jvs.2020.13.019
发表时间：2020
5
空中交通延误预测研究综述
空中交通延误预测研究综述
DOI：10.12305/j.issn.1001-506x.2022.03.19
发表时间：2022
赵保华的其他基金
批准号：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
项目类别：青年科学基金项目