福建省自然科学基金(A0310007)
- 作品数：8 被引量：4H指数：1
- 相关作者：赵致琢李松斌蔡强黄小炜吴文鑫更多>>
- 相关机构：厦门大学更多>>
- 发文基金：福建省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术天文地球交通运输工程机械工程更多>>
- 基于分层网络实现高效的自稳定的选举算法
- 本文结合自稳定的选举算法和分层网络来构造一个高效的领导人选举算法,该算法具有更优的稳定时间复杂度以及允许系统包含故障。
- 林克旺
- 关键词：领导人选举分层网络分布式算法
- 文献传递
- Gdel语言对现代软件工程方法的支持被引量：2
- 2006年
- 文章以一种新型的逻辑程序设计语言——G+del语言为例,对逻辑程序设计语言与现代软件工程主要思想和方法的结合情况进行了初步探讨。G,del语言通过引入模块系统、类型系统和延迟计算机制等不同于以往逻辑程序的新机制,能够支持现代软件设计的一些主流方法。模块系统提供了组织大规模程序的方法,并通过结合类型系统实现了对抽象数据类型程序设计的支持,从而能够支持面向对象程序设计;延迟计算则使利用该语言所编制的软件在可重用性方面获得提升。
- 李松斌赵致琢李慧琪
- 关键词：软件开发方法模块系统
- 一种分布式计算中的容错选举算法
- 2007年
- 选举算法被广泛应用于分布式计算中,而且它已经被证明比合意问题更难。基于在分析选举问题和合意问题的关系之后,提出一种新的容错选举算法。该算法是稳定的,通信有效的,并且该算法可以容忍进程和链路的暂时性错误。它不仅解决了选举问题,而且也提供了解决合意问题的一条新的途径。
- 赵致琢黄小炜吴文鑫
- 关键词：选举算法容错分布式算法分布式计算
- 基于无intransit消息快照的终止性检测
- ＜正＞ 1 引言在分布式系统中当检测系统的全局状态是否具有某些性质时,就需要对各进程的局部状态进行分析。全局状态的计算（快照计算）是分布式计算中的基础问题之一。通过监控快照,对稳定性断言求值,可以检测得出某个稳定性质。而...
- 文琦赵致琢
- 文献传递
- 基于心跳故障检测器的无阻塞弱原子提交问题解决方案
- 2005年
- 在有故障发生的情况下,使用不可靠的故障检测器无法解决无阻塞原子提交问题。本文减弱无阻塞原子提交问题的非平凡性条件,得到一个较弱的问题,再用一个扩展的心跳故障检测器在包含进程故障和链路故障的异步消息传递系统中解决弱化后的问题。
- 蔡强赵致琢倪子伟
- 关键词：合意故障检测器原子心跳
- 一个基于命名网络的自稳定的选举算法被引量：1
- 2006年
- 选举问题是分布式计算中的一个基本问题。它一直受到广泛关注,先后发表了一大批研究论文。但是,现有的研究较少涉及选举算法的自稳定性,已经提出的自稳定选举算法的性能还不能令人满意。针对两个经典的自稳定选举算法———AG算法和DIM算法进行了分析。AG算法适用于命名网络,算法虽然简单,但算法需要假设网络的大小是已知的并且时间复杂度为O(n2),其中n表示网络结点数目。DIM算法虽不需要网络大小假设是已知的,但其时间复杂度仍然需要O(ΔDlogn),其中Δ和D分别表示结点最大的度和树的深度。利用DIM算法的思想,在AG算法的基础上,提出了一个基于命名网络的自稳定选举算法。该算法不需要知道网络的大小,而且时间复杂度为O(δ)(δ为网络直径)。
- 林克旺
- 关键词：选举问题
- Gdel语言编译中多态多类类型的实现技术简报
- ＜正＞1 引言 Godel语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,试图解决Prolog语言中存在的语义问题。
- 苏剑煌赵致琢李慧琪李松斌侯米娜
- 文献传递
- 基于心跳故障检测器的无阻塞弱原子提交问题解决方案
- 在有故障发生的情况下,使用不可靠的故障检测器无法解决无阻塞原子提交问题。本文减弱无阻塞原子提交问题的非平凡性条件,得到一个较弱的问题,再用一个扩展的心跳故障检测器在包含进程故障和链路故障的异步消息传递系统中解决弱化后的问...
- 蔡强赵致琢倪子伟
- 关键词：合意
- 文献传递
- Gdel语言的一种并行推理模型
- 2008年
- 针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
- 李玲赵致琢李松斌王良霖夏金存
- 关键词：GODEL语言中间代码
- Gdel程序推理过程的可视化
- 2008年
- 主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.
- 王良霖赵致琢李玲
- 关键词：GODEL语言PROLOG语言可视化
