国家自然科学基金(69383004)
- 作品数:7 被引量:44H指数:1
- 相关作者:赵致琢黄小炜吴文鑫叶仰明林克旺更多>>
- 相关机构:厦门大学更多>>
- 发文基金:国家自然科学基金福建省自然科学基金更多>>
- 相关领域:自动化与计算机技术天文地球更多>>
- 一种分布式计算中的容错选举算法
- 2007年
- 选举算法被广泛应用于分布式计算中,而且它已经被证明比合意问题更难。基于在分析选举问题和合意问题的关系之后,提出一种新的容错选举算法。该算法是稳定的,通信有效的,并且该算法可以容忍进程和链路的暂时性错误。它不仅解决了选举问题,而且也提供了解决合意问题的一条新的途径。
- 赵致琢黄小炜吴文鑫
- 关键词:选举算法容错分布式算法分布式计算
- 基于无intransit消息快照的终止性检测
- <正> 1 引言在分布式系统中当检测系统的全局状态是否具有某些性质时,就需要对各进程的局部状态进行分析。全局状态的计算(快照计算)是分布式计算中的基础问题之一。通过监控快照,对稳定性断言求值,可以检测得出某个稳定性质。而...
- 文琦赵致琢
- 文献传递
- 中国数字湖泊的总体技术框架和关键技术(英文)
- 2001年
- 研究了中国数字湖泊的总体技术框架和所要解决的一些关键技术问题,如通信软件和模型管理系统的选择,所采用的规范和标准,新的计算机技术的利用,有关的模型……等。在考虑先进性的同时,以实用性为主,提出了具体解决方案。
- 叶仰明黄加棋
- 关键词:数字地球通信软件
- 一个基于命名网络的自稳定的选举算法被引量:1
- 2006年
- 选举问题是分布式计算中的一个基本问题。它一直受到广泛关注,先后发表了一大批研究论文。但是,现有的研究较少涉及选举算法的自稳定性,已经提出的自稳定选举算法的性能还不能令人满意。针对两个经典的自稳定选举算法———AG算法和DIM算法进行了分析。AG算法适用于命名网络,算法虽然简单,但算法需要假设网络的大小是已知的并且时间复杂度为O(n2),其中n表示网络结点数目。DIM算法虽不需要网络大小假设是已知的,但其时间复杂度仍然需要O(ΔDlogn),其中Δ和D分别表示结点最大的度和树的深度。利用DIM算法的思想,在AG算法的基础上,提出了一个基于命名网络的自稳定选举算法。该算法不需要知道网络的大小,而且时间复杂度为O(δ)(δ为网络直径)。
- 林克旺
- 关键词:选举问题
- 一种分布式计算中的容错选举算法被引量:1
- 2008年
- 选举算法被广泛应用于分布式计算中,而且它已经被证明比合意问题更难.在分析了选举问题和合意问题的关系之后,提出了一种新的容错选举算法.该算法是稳定的、通信有效的,并且该算法可以容忍进程和链路的暂时性错误.所提出的算法不仅解决了选举问题,并且也提供了解决合意问题的一条新的途径.
- 赵致琢黄小炜吴文鑫
- 关键词:选举算法容错分布式算法分布式计算
- 基于分层网络实现高效的自稳定的选举算法
- 本文结合自稳定的选举算法和分层网络来构造一个高效的领导人选举算法,该算法具有更优的稳定时间复杂度以及允许系统包含故障。
- 林克旺
- 关键词:领导人选举分层网络分布式算法
- 文献传递
- 关于计算机科学与技术认知问题的研究简报(I,II)被引量:42
- 2001年
- 计算机科学与技术的认知对学科的科学研究与人才培养具有重要的意义 .对计算机科学与技术学科发展的主线、特点和内在规律进行了回顾与总结 ,从科学哲学的角度阐述了学科的一系列认知问题 ,并概要介绍了学科方法论研究的主要进展 ,讨论了学科方法论研究进展对学科未来发展和人才培养可能产生的影响 .
- 赵致琢
- 关键词:学科形态
- 空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法被引量:1
- 2000年
- 对文献[1]提出的空值环境下关系模式无损连接分解为(N)BCNF的必要条件,给出二个反例,证明它是不正确的;并分别从关系模式的函数依赖集F的最小依赖集F′和闭包F+ 出发,重新给出二个必要条件.另外,还给出二个空值环境下关系模式无损连接分解为(N)BCNF的算法.这二种算法均是进行二叉树搜索的算法.每次分解均是对非(N)BCNF的子式进行一分为二且无损连接的分解,由一个父结点得到二个子结点.若可能,就一层层分解下去,当不可能进行这样的分解时,就退回到它的父结点,然后尝试新的分解,如此反复进行,直到得到符合要求的结果(所有叶结点均为(N)BCNF)或输出无法分解的信息.其中一个算法较简便易行,但不能得到全部符合要求的分解,另一算法较复杂,但能得到全部符合要求的分解.
- 叶仰明
- 关键词:空值BCNF数据库
- Gdel语言延迟声明语句的语义及其实现方法
- 2012年
- Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。
- 曹炳义赵致琢