论文部分内容阅读
软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行了形式化描述,用可达性分析对协议进行了验证。
一种简单的主备切换协议的设计和验证
【摘 要】
：
软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行了形式化描述,用可达性分析对协议进行了验证。
【机 构】
：
解放军理工大学通信工程学院研究生2队,江苏,南京,210007
【出 处】
：
江苏省通信学会学术年会
【发表日期】
：
2004年期
其他文献
本文讨论了在32位平台上用软件实现素域上椭圆曲线密码体制时应考虑的一些实际问题,涉及参数的选取,素域中元素的表示,混合坐标的使用等,特别的改进了倍点运算的滑动窗口算法
把量子力学应用到密码学中产生了一个新的学科--量子密码学。本文对有噪声的BB84协议作了一些改进,这种改进的核心思想是在传输效率和传输保密性上取得更加实用性的平衡。考
置信算法能充分发挥LDPC码的纠错性能。本文提出了一种在置信传播算法的基础上,引入衰减因子,采用迭代加权来抑制由于环路(特别是小环)的存在所引起的迭代信息大幅度交错变化
本文对JAVA技术在互联网实时接口系统中的应用进行了研究。文章讨论了JAVA与SYBASE数据库的连接及应用。实践证明，选择JAVA开发跨平台应用是一个较好的方案。
本文介绍了UNIX系统的安全等级,安全体系结构,以及存在的主要不安全因素,提出了保障Unix安全的具体措施,对邮政金融等计算机系统的安全保障有一定的借鉴意义。
对等网络是一个典型的由应用推动的研究领域。本文综述了该领域的研究现状,详细地介绍了具有代表性的非结构化和结构化P2P系统,并在此基础上讨论了对等网络存在的主要问题,指
近年来,我国房地产业已成为外商直接投资(FDI)的热点。本文从实证角度,运用相关性检验、ADF检验、协整检验、广义脉冲响应分析、方差分解和Granger因果检验等计量经济方法,对
A new discretization scheme is proposed for the design of a fractional order PID controller. In the design of a fractional order controller the interest is main
由于Internet业务量和路由器路由表的增大、更高速率的传输链路及IP地址即将采用128位的IPv6地址,高速IP地址查找将成为下一代IP路由器设计的主要问题。本文主要介绍IP地址查