收藏本站
《军事通信技术》 2005年S1期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

一种简单的主备切换协议的设计和验证

陈乾  张杭  刘宁松  
【摘要】:软件系统的主备切换功能在很多地方都有应用,本文针对这一功能设计了一种简单的主备切换协议,并用FSM对设计的协议进行形式化描述,最后用可达性分析对协议进行验证。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李轶,彭永进;基于有限状态机的电力电子电路仿真方法的研究[J];计算机仿真;2005年09期
2 伦向敏;侯一民;;有限状态机实现CMOS成像系统驱动时序[J];科学技术与工程;2008年23期
3 王巍,高德远;有限状态机设计策略[J];计算机工程与应用;1999年07期
4 刘湘辉,殷建平,张玲,许江;利用有限状态机分析TCP协议握手过程的安全问题[J];计算机工程与科学;2002年04期
5 贾默伊;谭玉柱;;基于ISP技术的有限状态机控制系统设计[J];电气自动化;2002年06期
6 孙骏,朱忠奎,尹安东,羊拯民;汽车制动防抱系统的混合建模与仿真研究[J];系统仿真学报;2004年09期
7 于颖书;曾周末;王新辉;李健;;流量计量系统[J];电子测量技术;2005年04期
8 傅钦翠;陈剑云;;基于有限状态机的远动规约的设计和实现[J];电网技术;2006年S2期
9 刘松涛;周晓东;杨绍清;;基于元胞自动机的红外图像增强新方法[J];红外与激光工程;2006年S4期
10 马永波;陈龙;王国胤;聂能;黎龙;;基于有限状态机的一种事件重建算法[J];计算机应用研究;2007年06期
11 王中元;胡瑞敏;朱力;李明;;基于有限状态机的视频编解码器设计[J];计算机工程;2007年15期
12 石佳钦;;一种用于静态分析的规约语言设计与实现[J];现代计算机(专业版);2008年12期
13 孟彦京;陈卓;;事件驱动的程序设计方法在嵌入式系统中的应用[J];电气自动化;2009年06期
14 曾谁飞;何光宇;闻英友;王仁波;;SIP应用的DoS检测与响应研究[J];通信学报;2010年05期
15 解晨光;;基于分层式有限状态机和Petri网的航天器仿真器控制系统设计[J];内蒙古民族大学学报(自然科学版);2010年04期
16 赵建光;胡永锋;;通信协议一致性测试序列自动生成算法与仿真的研究[J];煤炭技术;2011年01期
17 李艺;李新明;;机顶盒系统中PPP协商机制的设计与实现[J];计算机科学;2000年06期
18 曾斌,邢继峰,黄道颖,黄志军;面向对象的用户层协议软件设计[J];计算机工程与应用;2002年23期
19 李艺,张占月;COSIX连网子系统的设计与实现[J];计算机工程与设计;2002年01期
20 安亚飞,叶会英,李世阳;用有限状态机设计数控振荡器[J];河南科学;2004年05期
中国重要会议论文全文数据库 前10条
1 陈乾;张杭;;一种简单的主备切换协议的设计和验证[A];江苏省通信学会2004年学术年会论文集[C];2004年
2 李炜;许中卫;刘政怡;刘露露;;非完全确定有限状态机最小化有效算法的研究[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3 李炜;吴建国;刘政怡;;非完全确定有限状态机最小闭覆盖的有效算法[A];第四届中国软件工程大会论文集[C];2007年
4 王宗义;;有限状态机原理在OA系统中的运用[A];广西计算机学会25周年纪念会暨2011年学术年会论文集[C];2011年
5 周瑗;杨丽华;;有限状态机的VHDL设计[A];2004年电子技术学术研讨会论文集[C];2004年
6 朱维勇;傅桂生;;基于VHDL语言的有限状态机设计方法[A];全国第16届计算机科学与技术应用(CACIS)学术会议论文集[C];2004年
7 肖军;贾宁宇;于淼;席宁;;小型爬壁机器人步态规划的研究[A];2007中国控制与决策学术年会论文集[C];2007年
8 刘晓明;赖祥;黄松;;一种基于邻接矩阵的有限状态机路径产生方法[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(下册)[C];2008年
9 秦宁宁;曾勇波;徐保国;;无线通信中有限状态机的设计研究[A];2007中国控制与决策学术年会论文集[C];2007年
10 傅钦翠;陈剑云;;基于有限状态机的远动规约的设计和实现[A];2006电力系统自动化学术交流研讨大会论文集[C];2006年
中国重要报纸全文数据库 前4条
1 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
2 中国电子系统设备工程公司研究所 韩柯;软件质量谁把关?[N];计算机世界;2004年
3 记者 王路莎;专家对我市环境保护规划大纲开展评审[N];郴州日报;2009年
4 章雷;洪泽湖污染防治规划获批[N];中国环境报;2009年
中国博士学位论文全文数据库 前10条
1 杜海江;高压无换向器电机及其控制技术研究[D];华北电力大学(河北);2005年
2 杨修涛;集成电路寄存器传输级故障模型与测试生成研究[D];中国科学院研究生院(计算技术研究所);2006年
3 张海宾;混合系统的形式化验证[D];西安电子科技大学;2007年
4 李小将;Client/Server系统的软件测试技术研究[D];西北工业大学;2002年
5 刘莉;VXI测试平台中动态可重构多DSP系统设计方法的研究[D];浙江大学;2003年
6 金虎;自动化软件测试技术研究[D];四川大学;2006年
7 高庆吉;基于粗糙集理论的移动机器人自主导航研究[D];哈尔滨工业大学;2006年
8 高嵘;基于物联网的猪肉溯源及价格预警模型研究[D];电子科技大学;2011年
9 唐雄民;大功率串联负载谐振式臭氧发生器供电电源的研究[D];湖南大学;2007年
10 李侠;低功耗嵌入式微处理器的VLSI设计研究[D];复旦大学;2004年
中国硕士学位论文全文数据库 前10条
1 张颖蓓;LDP协议一致性测试研究与实现[D];国防科学技术大学;2003年
2 董刚;基于自主智能体的群体动画创作方法研究与实现[D];国防科学技术大学;2004年
3 孙栋栋;全地面汽车起重机制动防抱死系统仿真研究[D];吉林大学;2006年
4 董焕珍;基于EFSM的UIO序列的生成研究[D];青岛大学;2009年
5 黄丽雯;嵌入式Web服务器中有限状态机的设计与实现[D];东北大学;2005年
6 于颖书;智能流量计量控制系统及其VHDL实现[D];天津大学;2005年
7 柯金水;基于SIP的NAT/防火墙穿透研究及SBC的设计与实现[D];华中科技大学;2005年
8 朱志伟;基于有限状态机的体育视频比赛类型识别[D];吉林大学;2006年
9 孙梅娟;水表自动检定装置与管理信息系统的研究[D];天津大学;2005年
10 王佑卿;高可靠微处理器定时器及中断控制器研究[D];哈尔滨工程大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978