欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
系统深入地研究随机（概率）系统的形式化（顺序与并发）计算模型，采用概率逻辑作为元逻辑，建立概率顺序计算程序的谓词转换器语义和精化演算，在概率并发计算形式化方法方面,解决不同步并行算子概率化问题;晚霞信息论的思想引入进程代数，建立带噪音的通讯并发系统的形式化模型。
结论摘要：
英文主题词probabilistic sequential programs, formal semantics, probabilistic logic, process algebras
相关项目
应明生的项目
