基于概率模型检测的合同签订协议分析

• 作者: 董荣胜 陈立斌
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 合同签订公平性 概率模型检测 PRISM 有限状态机
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 学术论文
• 页码范围: 31-35
• 页数: 5页
• 分类号: TP309
• 字数: 3321字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2005.06.008

摘要

概率合同签订协议的公平性具有典型的概率性质.概率模型检测是一种验证存在随机行为系统的分析技术.基于概率模型检测技术,在原协议的基础上建立了离散马尔可夫链和有限状态机模型,用概率模型检测工具--PRISM验证了它的公平性,发现其公平性不满足时,在此基础上对原协议从双方交换信息的策略上进行了扩充改进,使协议更为公平,满足了合同签订的基本要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董荣胜	桂林电子工业学院计算机系	115	1521	13.0	37.0
2	陈立斌	桂林电子工业学院计算机系	1	1	1.0	1.0