并发计算模型Ｘ－演算的理论研究
基本信息
批准号：69873032
项目类别：面上项目
资助金额：11.00
负责人：傅育熙
学科分类：
依托单位：上海交通大学
批准年份：1998
结题年份：2001
起止时间：1999-01-01 - 2001-12-31
项目状态： 已结题
项目参与者：杜理渊,陈伟杰,徐林,林敏,蒋翔宇
关键词：
并行理论Pi演算互模拟
结项摘要
本申请项目拟对申请者提出的并发计算模型Ｘ－演算进行深入的理论探讨。拟从逻辑刻划、模型验证、有限Ｘ－进程的公理化、测试等价、非交叉语义等方面进行考察。本研究将加深我们对并发计算的认识，并对寻找并发计算的基本模型具有启发意义。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
Protective effect of Schisandra chinensis lignans on hypoxia-induced PC12 cells and signal transduction
Protective effect of Schisandra chinensis lignans on hypoxia-induced PC12 cells and signal transduction
DOI：10.1080/15287394.2018.1502561
发表时间：2018
2
主控因素对异型头弹丸半侵彻金属靶深度的影响特性研究
主控因素对异型头弹丸半侵彻金属靶深度的影响特性研究
DOI：10.13465/j.cnki.jvs.2020.09.026
发表时间：2020
3
钢筋混凝土带翼缘剪力墙破坏机理研究
钢筋混凝土带翼缘剪力墙破坏机理研究
DOI：10.15986/j.1006-7930.2017.06.014
发表时间：2017
4
双吸离心泵压力脉动特性数值模拟及试验研究
双吸离心泵压力脉动特性数值模拟及试验研究
DOI：10.13465/j.cnki.jvs.2020.19.016
发表时间：2020
5
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
惯性约束聚变内爆中基于多块结构网格的高效辐射扩散并行算法
DOI：10.19596/j.cnki.1001-246x.8419
发表时间：2022
傅育熙的其他基金
批准号：61472239
批准年份：2014
资助金额：80.00
项目类别：面上项目
批准号：60473006
批准年份：2004
资助金额：20.00
项目类别：面上项目
批准号：69973030
批准年份：1999
资助金额：10.00
项目类别：面上项目
批准号：61033002
批准年份：2010
资助金额：200.00
项目类别：重点项目
批准号：69503006
批准年份：1995
资助金额：10.00
项目类别：青年科学基金项目
批准号：60873034
批准年份：2008
资助金额：30.00
项目类别：面上项目
批准号：60573002
批准年份：2005
资助金额：25.00
项目类别：面上项目
批准号：61772336
批准年份：2017
资助金额：63.00
项目类别：面上项目
相似国自然基金
1
基于λ演算和CCS的一般并发程序的理论
批准号：60173020
批准年份：2001
负责人：柳欣欣
学科分类：F0201
资助金额：18.00
项目类别：面上项目
2
进程演算的可解理论研究
批准号：61202023
批准年份：2012
负责人：龙环
学科分类：F0201
资助金额：24.00
项目类别：青年科学基金项目
3
不确定环境下的计算模型与计算理论研究
批准号：60873119
批准年份：2008
负责人：李永明
学科分类：F0201
资助金额：32.00
项目类别：面上项目
4
DNA计算模型的理论研究及应用
批准号：60503002
批准年份：2005
负责人：王淑栋
学科分类：F0201
资助金额：26.00
项目类别：青年科学基金项目