软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
资源简介：软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的...
上传时间： 2014-01-15
上传用户：dudu1210004
资源简介：无线射频识别技术(RFID)是自动识别技术的一种高级形式。随着信息化技术的不断发展，无线射频识别技术(RFID)的应用也越来越广泛。本书主要介绍了无线射频识别技术的基本工作原理和具体应用，并列举了大量的应用实例，如动物识别管理、配送中心管理、矿井管理、...
上传时间： 2016-09-28
上传用户：虫虫虫虫虫虫
资源简介：基于Lockstep的容错技术的研究这是一份非常不错的资料，欢迎下载，希望对您有帮助！
上传时间： 2021-12-25
上传用户：kingwide
资源简介：硕士论文题目:网络环境下组态软件的研究与开发 主要内容:该文通过对网络技术和组态软件的研究与分析,提出了一种网络环境下组态软件的结构框架,并通过编程实现了基于Web的组态软件的开发.通过对计算机网络在工业信息监视系统上的应有物分析,我们将Internet技...
上传时间： 2013-12-24
上传用户：lepoke
资源简介：996年底的时候悄悄诞生了一种叫做样式表（stylesheets）的技术。全称应该是串接样式表（Cascading Stylesheets－简称CSS）这位HTML的表弟向世人保证： 将对布局、字体、颜色、背景和其它文图效果实现更加精确的控制。
上传时间： 2015-03-26
上传用户：skhlm
资源简介：.NET Remoting(下文简称Remoting)是一种可用于开发分布式应用程序的技术。其主要的结构，分为：远程对象、提供远程对象的远程服务器，以及可以访问何使用远程对象的客户端。这三个部分，可以分布于同一台计算机的同一个进程，或者是不同的进程，也可以是处于...
上传时间： 2013-12-16
上传用户：qiaoyue
资源简介：SQL语言简介 1、 SQL概述 SQL是一种面向数据库的通用数据处理语言规范，能完成以下几类功能：提取查询数据，插入修改删除数据，生成修改和删除数据库对象，数据库安全控制，数据库完整性及数据保护控制。 数据库对象包括表、视图、索引、同义词、簇、...
上传时间： 2015-08-11
上传用户：yd19890720
资源简介：一种面向RS码的卷积交织与解交织器,基于MATLAB平台
上传时间： 2013-12-18
上传用户：xhz1993
资源简介：为**国土局写的一个QS(南方Cass支持的一种文本格式)和SML(SuperMap支持的类似XML格式)的转换工具,支持鼠标拖放.没什么技术含量,希望能为测绘的朋友减轻一些工作量,开发的朋友起到抛砖引玉的作用
上传时间： 2014-12-05
上传用户：小眼睛LSL
资源简介：摘要 论述了CADPCAM软件一种常用图形交换文件(DXF 文件) 的结构和基于DXF 文件平面数控加工的NC 代码生成 软件的接口技术、总体框架设计及NURBS 曲线分析和NC 代码生成。 关键词:图形交换文件 NC 代码 NURBS 曲线 中图分类号:TG659 文献标识码:B 文...
上传时间： 2014-12-04
上传用户：ANRAN
