基于有限状态机的联锁平台任务同步模型研究

来源 :信息技术与信息化 | 被引量 : 0次 | 上传用户:kaezhu1111
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
二乘二取二铁路计算机联锁系统中,两套4个CPU组成了容错计算结构,实现CPU之间的同步是基于表决的容错计算机系统的关键过程。因此,本文提出了一种基于有限状态机的主/备/从并行任务同步模型,用于准确描述系统中不同CPU对象的任务同步状态,为二乘二取二同步通信表决过程大规模复杂的逻辑和时序设计提供了方法学上的参考和简化。
其他文献
北斗卫星导航定位系统相较于GPS的无源定位模式(RNSS)来说可以同时兼容有源定位(RDSS),这使得北斗具备通信功能并且只需更少的卫星即可实现定位,但是有源定位存在信息泄露的风险,
继续医学教育是以完成毕业后医学教育培训的卫生专业技术人员为对象,以学习现代医学新理论、新知识、新技术、新方法为主要内容的职业教育.继续医学教育与基本医学教育、毕业
光阴似箭,弹指一挥间。《湖南冶金职业技术学院学报》从2000年9月创办至今近十年,编辑们艰苦办刊.迎难而上.团结拼搏,开拓创新,用心血和汗水铸就了《湖南冶金职业技术学院学报》的
"干得漂亮",这是中国移动董事长奚国华对中国移动2014年4G之战的点评。与此同时,奚国华也提出:"我们的目标是再造一个中国移动!"在2014年中国移动全球合作伙伴大会上,奚国华、李跃
在深入研究物联网及其体系结构的基础上,调研国内外设施养猪监控方面的相关工作,将传统养殖设施和技术与物联网相结合,设计设施养猪业安全生产饲养环节监控体系,采用无线传感器、
从无线通信的几代技术演进来看,2G及其之前的技术,基本上解决了人与人之间的通信问题;3G技术最早还想解决语音的问题,2007年苹果发布了智能手机iPhone,不久就引爆了移动互联
2013年年底,中兴通讯对三大业务架构进行大幅调整,而曾学忠也因此上位执掌中兴通讯终端事业部,而在之后的二十多天里,媒体对这位少帅褒扬有加,并抛出了诸多新鲜口号。
中国互联网协会近日在京组织召开了“2014互联网企业座谈会”。工业和信息化部副部长尚冰、总工程师张峰,以及部电信管理局、通信保障局主要负责同志出席会议。腾讯、阿里巴巴