当前位置：
数字出版物超市 >> 
非交叉语义并行计算模型及其语义组合规则
非交叉语义并行计算模型及其语义组合规则
【项目名称】 非交叉语义并行计算模型及其语义组合规则
【项目编号】 69973003
【项目目标】
【项目关键词】 语义组合 并行计算模型 UniNet 语义 语义约定 Petri网 或逻辑 状态序列 程序模型 程序 论证程序 程序状态 控制属性 多程序 UNITY 操作与控制 自我控制 数学 基本现象 程序操作 偏差 相脱离 全序 偏序 数学处理 基础设计 物理规律 与并行 并行程序 物理系统 与操作 实际运?
【项目承办单位】 北京大学;
【项目负责人】 袁崇义;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 13万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 1999-01-16
    【申请截止时间】 1999-03-31
    【立项时间】 2000-01
    【完成时间】 2002-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....