分布式程序设计理论
基本信息
批准号：68873025
项目类别：面上项目
资助金额：6.00
负责人：周巢尘
学科分类：
依托单位：中国科学院软件研究所
批准年份：1988
结题年份：1991
起止时间：1989-01-01 - 1991-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.17521/cjpe.2019.0351
发表时间：2020
3
硬件木马:关键问题研究进展及新动向
硬件木马:关键问题研究进展及新动向
DOI：
发表时间：2018
4
拥堵路网交通流均衡分配模型
拥堵路网交通流均衡分配模型
DOI：10.11918/j.issn.0367-6234.201804030
发表时间：2019
5
卫生系统韧性研究概况及其展望
卫生系统韧性研究概况及其展望
DOI：10.16506/j.1009-6639.2018.11.016
发表时间：2018
周巢尘的其他基金
批准号：60273022
批准年份：2002
资助金额：24.00
项目类别：面上项目
相似国自然基金
1
匹配理论与分数匹配理论
批准号：10201019
批准年份：2002
负责人：刘岩
学科分类：A0409
资助金额：9.50
项目类别：青年科学基金项目
2
流形理论和同伦理论
批准号：19071032
批准年份：1990
负责人：沈文淮
学科分类：A0111
资助金额：1.00
项目类别：面上项目
3
算子理论与Hilbert 模理论
批准号：19131061
批准年份：1991
负责人：严绍宗
学科分类：A0206
资助金额：9.00
项目类别：重点项目
4
Minimax理论、分支理论及多解问题
批准号：11871066
批准年份：2018
负责人：李翀
学科分类：A0206
资助金额：52.00
项目类别：面上项目