留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

高可用性双机系统的有限自动机

王文煜 刘勇 秦志光

王文煜, 刘勇, 秦志光. 高可用性双机系统的有限自动机[J]. 电子科技大学学报, 2004, 33(5): 555-558.
引用本文: 王文煜, 刘勇, 秦志光. 高可用性双机系统的有限自动机[J]. 电子科技大学学报, 2004, 33(5): 555-558.
Wang Wenyu, Liu Yong, Qin Zhiguang. Turing Machine of Dual-Hosts System Providing High Availability[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 555-558.
Citation: Wang Wenyu, Liu Yong, Qin Zhiguang. Turing Machine of Dual-Hosts System Providing High Availability[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 555-558.

高可用性双机系统的有限自动机

基金项目: 

国家计算机网络与信息安全管理中心资助项目(2002-研3-022)

详细信息
    作者简介:

    王文煜(1978-),男,硕士生,主要从事信息和网络安全方面的研究.

  • 中图分类号: TP302

Turing Machine of Dual-Hosts System Providing High Availability

计量
  • 文章访问数:  3235
  • HTML全文浏览量:  116
  • PDF下载量:  51
  • 被引次数: 0
出版历程
  • 收稿日期:  2003-02-25
  • 刊出日期:  2004-10-15

高可用性双机系统的有限自动机

    基金项目:

    国家计算机网络与信息安全管理中心资助项目(2002-研3-022)

    作者简介:

    王文煜(1978-),男,硕士生,主要从事信息和网络安全方面的研究.

  • 中图分类号: TP302

摘要: 介绍了提供高可用性的双机系统的原理、部署和体系结构;定义了双机系统各部件功能,描述了子系统间的接口,给出了该双机系统的有限自动机。该自动机具有有限数目的内部状态,模拟了双机系统的工作原理及内部各状态的相互转化,描述了服务切换、进程与服务监控、心跳侦测、网络参考点侦测等过程,为双机系统的行为描述和结构设计提供了理论依据和论证。

English Abstract

王文煜, 刘勇, 秦志光. 高可用性双机系统的有限自动机[J]. 电子科技大学学报, 2004, 33(5): 555-558.
引用本文: 王文煜, 刘勇, 秦志光. 高可用性双机系统的有限自动机[J]. 电子科技大学学报, 2004, 33(5): 555-558.
Wang Wenyu, Liu Yong, Qin Zhiguang. Turing Machine of Dual-Hosts System Providing High Availability[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 555-558.
Citation: Wang Wenyu, Liu Yong, Qin Zhiguang. Turing Machine of Dual-Hosts System Providing High Availability[J]. Journal of University of Electronic Science and Technology of China, 2004, 33(5): 555-558.

目录

    /

    返回文章
    返回