面向随机性的形式化方法
基本信息
批准号：60273003
项目类别：面上项目
资助金额：22.00
负责人：应明生
学科分类：
依托单位：清华大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：季铮峰,孙晓明,张胜誉,曹红恩,邱道文,冯元,段润尧,李三江
关键词：
概率系统并发计算顺序计算
结项摘要
系统深入地研究随机（概率）系统的形式化（顺序与并发）计算模型，采用概率逻辑作为元逻辑，建立概率顺序计算程序的谓词转换器语义和精化演算，在概率并发计算形式化方法方面,解决不同步并行算子概率化问题;晚霞信息论的思想引入进程代数，建立带噪音的通讯并发系统的形式化模型。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于分形L系统的水稻根系建模方法研究
基于分形L系统的水稻根系建模方法研究
DOI：10.13836/j.jjau.2020047
发表时间：2020
2
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
3
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
4
面向云工作流安全的任务调度方法
面向云工作流安全的任务调度方法
DOI：10.7544/issn1000-1239.2018.20170425
发表时间：2018
5
基于FTA-BN模型的页岩气井口装置失效概率分析
基于FTA-BN模型的页岩气井口装置失效概率分析
DOI：10.16265/j.cnki.issn1003-3033.2019.04.015
发表时间：2019
应明生的其他基金
批准号：19101019
批准年份：1991
资助金额：1.40
项目类别：青年科学基金项目
批准号：60736011
批准年份：2007
资助金额：200.00
项目类别：重点项目
批准号：19671038
批准年份：1996
资助金额：4.50
项目类别：面上项目
相似国自然基金
1
面向复杂决策问题的形式化方法研究
批准号：70501022
批准年份：2005
负责人：于长锐
学科分类：G0112
资助金额：16.60
项目类别：青年科学基金项目
2
面向对象数据库形式化方法的研究
批准号：69573012
批准年份：1995
负责人：施伯乐
学科分类：F0202
资助金额：8.50
项目类别：面上项目
3
面向UML的形式化测试技术
批准号：69973051
批准年份：1999
负责人：王戟
学科分类：F0203
资助金额：12.00
项目类别：面上项目
4
面向多重协议组合实现的形式化安全检测理论和方法研究
批准号：61602359
批准年份：2016
负责人：付玉龙
学科分类：F0206
资助金额：21.00
项目类别：青年科学基金项目