首页> 中文会议>2008年全国理论计算机科学学术年会 >并发系统概率空间的形式化构造方法

并发系统概率空间的形式化构造方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文用Paulson归纳法描述并发系统,对系统执行的不确定性进行建模,给出了一种适合定义测度的产生集合,利用测度评估函数将产生集合的测度与有限执行序列的测度联系起来;证明执行序列集合上的测度满足非负性和可列可加性,利用测度扩张定理构造并发系统执行序列集合上的概率空间.所有证明脚本经过定理证明工具Isabelle/HOL/Isar的检查.

著录项

来源
《2008年全国理论计算机科学学术年会》|2008年|83-85|共3页
会议地点西安
作者

展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类形式语言理论;
关键词
概率空间; 定理证明; 并发系统; 形式化构造; 归纳法; 测度评估函数;

相似文献

中文文献
外文文献
专利

1. 并发系统概率空间的形式化构造方法 [J] . 王金双 ,张兴元 ,杨华兵 . 计算机工程与科学 . 2008,第011期
2. 针对硬件木马的形式化验证模型构造方法 [J] . 沈利香 ,慕德俊 ,曹国 . 西安电子科技大学学报（自然科学版） . 2021,第003期
3. 方块苗文动态构造方法的形式化描述 [J] . 莫礼平 ,周恺卿 . 计算机应用 . 2014,第003期
4. 基于决策问题形式化的模型构造方法 [J] . 陈雪龙 ,王延章 ,李强 . 计算机工程 . 2008,第005期
5. 支持并发控制的多智能体系统构造方法 [J] . 罗亚波 ,肖田元 . 计算机应用与软件 . 2005,第010期
6. 支持并发控制的多智能体系统构造方法 [C] . 罗亚波 ,肖田元 . 2005年全国开放式分布与并行计算会议 . 2005
7. 并发实时系统的模型及其形式化 [A] . 陈艳 . 2008

并发系统概率空间的形式化构造方法

摘要

著录项

相似文献

相关主题

期刊订阅