国家自然科学基金(69383004)

作品数：7被引量：43H指数：1
导出分析报告
相关作者：赵致琢黄小炜吴文鑫叶仰明林克旺更多>>
相关机构：厦门大学更多>>
相关期刊：《计算机研究与发展》《基建优化》《海洋湖沼通报（中英文）》《学术问题研究》更多>>
相关主题：选举算法分布式算法分布式计算容错学科形态更多>>
相关领域：自动化与计算机技术天文地球更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Gdel语言延迟声明语句的语义及其实现方法
《计算机科学》2012年第5期114-116,共3页曹炳义 赵致琢 
国家自然科学基金(69383004)资助
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通...
关键词：Gdel语言 延迟计算 进化代数 过程性语义 扩展Warren机 
一种分布式计算中的容错选举算法被引量：1
《计算机研究与发展》2008年第z1期93-98,共6页赵致琢 黄小炜 吴文鑫 
国家自然科学基金项目(69383004);福建省自然科学基金项目(A0310007)
选举算法被广泛应用于分布式计算中,而且它已经被证明比合意问题更难.在分析了选举问题和合意问题的关系之后,提出了一种新的容错选举算法.该算法是稳定的、通信有效的,并且该算法可以容忍进程和链路的暂时性错误.所提出的算法不仅解决...
关键词：选举算法 容错 分布式算法 分布式计算 
一种分布式计算中的容错选举算法
《学术问题研究》2007年第2期35-43,共9页赵致琢 黄小炜 吴文鑫 
国家自然科学基金项目(编号:69383004);福建省自然科学基金项目(编号:A0310007)的资助
选举算法被广泛应用于分布式计算中,而且它已经被证明比合意问题更难。基于在分析选举问题和合意问题的关系之后,提出一种新的容错选举算法。该算法是稳定的,通信有效的,并且该算法可以容忍进程和链路的暂时性错误。它不仅解决了选举问...
关键词：选举算法 容错 分布式算法 分布式计算 
一个基于命名网络的自稳定的选举算法被引量：1
《基建优化》2006年第4期60-64,共5页林克旺 
国家自然科学基金资助(69383004);福建省自然科学基金资助(A0310007)
选举问题是分布式计算中的一个基本问题。它一直受到广泛关注,先后发表了一大批研究论文。但是,现有的研究较少涉及选举算法的自稳定性,已经提出的自稳定选举算法的性能还不能令人满意。针对两个经典的自稳定选举算法———AG算法和DIM...
关键词：选举问题 自稳定算法 命名网络 
中国数字湖泊的总体技术框架和关键技术(英文)
《海洋湖沼通报》2001年第3期1-7,共7页叶仰明 黄加棋 
Project partly supported by National Natural Science Foundation of China (49636220 and 69383004)
研究了中国数字湖泊的总体技术框架和所要解决的一些关键技术问题,如通信软件和模型管理系统的选择,所采用的规范和标准,新的计算机技术的利用,有关的模型……等。在考虑先进性的同时,以实用性为主,提出了具体解决方案。
关键词：数字地球 数字湖泊 总体技术框架 通信软件 模型管理系统 
关于计算机科学与技术认知问题的研究简报(I,II)被引量：42
《计算机研究与发展》2001年第1期1-15,共15页赵致琢 
教育部13-22项目;教育部C014项目;国家自然科学基金项目资助(69383004)
计算机科学与技术的认知对学科的科学研究与人才培养具有重要的意义 .对计算机科学与技术学科发展的主线、特点和内在规律进行了回顾与总结 ,从科学哲学的角度阐述了学科的一系列认知问题 ,并概要介绍了学科方法论研究的主要进展 ,讨论...
关键词：学科方法论 基本问题 学科形态 核心概念 典型方法 典型实例 思维方式数学化 
空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法
《厦门大学学报（自然科学版）》2000年第1期26-31,共6页叶仰明 
国家自然科学基金!(69383004)
对文献［１］提出的空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的必要条件，给出二个反例，证明它是不正确的；并分别从关系模式的函数依赖集Ｆ的最小依赖集Ｆ′和闭包Ｆ＋ 出发，重新给出二个必要条件．另外，还给出二个空值环...
关键词：空值 关系模式 BCNF 无损连接分解 数据库 算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部