软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(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
资源简介:java是一种面向对象程序的语言,我这里介绍了有关java课件的许多事例,它能帮助刚入门的人
上传时间: 2013-12-20
上传用户:qlpqlq
资源简介:一种面向实时交互的变形手势跟踪方法
上传时间: 2014-01-17
上传用户:我们的船长
资源简介:一种基于分块 D C T的混沌半脆弱图像水印技术,半脆弱数字水印;混沌理论
上传时间: 2014-01-17
上传用户:gundan
资源简介:Vxworks经典论文 VxWorks压缩技术.pdf 介绍一种利用Tornado和VxWorks自带的deflate和inflate,对VxWorks文件进行压缩和解压缩的技术
上传时间: 2013-12-12
上传用户:yxgi5
资源简介:yaffs是一种面向flash memory而设计的文件系统。本文介绍了yaffs文件系统结构及其应用
上传时间: 2016-11-05
上传用户:ma1301115706
资源简介:ogtalk是一种面向对象的逻辑编程语言,可以使用最Prolog的实现作为一个后端编译器。
上传时间: 2013-12-31
上传用户:R50974
资源简介:resetful样式的ws样例,一种面向资源的webservices服务
上传时间: 2014-06-21
上传用户:思琦琦
资源简介:C语言是一种面向过程的计算机程序设计语言。最初为unix而生。它既有高级语言的特点,又具有汇编语言的特点。它可以作为系统设计语言,编写工作系统应用程序,也可以作为应用程序设计语言,编写不依赖计算机硬件的应用程序。因此,它的应用范围广泛。
上传时间: 2017-04-08
上传用户:AbuGe
资源简介:一种基于最小均方算法的OFDM信道估计技术
上传时间: 2014-01-08
上传用户:gmh1314
资源简介:通用无线分组业务(GPRS) 是一种基于全球移动通信系统(GSM) 的无线分组交换技术, 提供 端到端的、广域的无线IP 连接, 具有永远在线等特点。介绍了基于GPRS 网络的数据终端单元 (DTU) 。该单元是由以ARM芯片S3C44B0X 和GPRS 模块G20 为核心的硬件和软件组成。...
上传时间: 2014-01-17
上传用户:manking0408
资源简介:该文档为一种基于K-连通M-支配集的容错改进OLSR协议简介文档,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以下载看看………………
上传时间: 2021-11-17
上传用户:
资源简介:该文档为一种面向LTE基站的SOC平台软件解决方案总结文档,是一份很不错的参考资料,具有较高参考价值,感兴趣的可以下载看看………………
上传时间: 2022-02-08
上传用户:zhanglei193
资源简介:本文介绍了一种基于英飞凌SP30 传感器的无源轮胎压力监测系统(Battery-lessTPMS)的设计,并给出了相关的程序流图、通信协议等。该系统可测定轮胎内部的温度和气压,确定故障轮胎并实
上传时间: 2013-08-03
上传用户:icarus
资源简介:为了解决模拟电路故障诊断复杂多样难于辨识的问题, 有效提高分类的准确度, 提出了一种模拟电路故障诊断的新方法。
上传时间: 2013-11-03
上传用户:guanhuihong
资源简介:介绍了一种高性能模数转换器件AD7731的主要特点和工作原理,叙述了其在应力测试中与单片机的接口电路和软件设计。并且详细讨论了使用AD7731的几项关键技术
上传时间: 2013-12-16
上传用户:hxy200501
资源简介:一种旋转机械振动信号特征提取的新方法,利用小波技术
上传时间: 2014-08-04
上传用户:wfl_yy
资源简介:本教程是讲解基于JAVA 的J2ME 技术的。J2ME 平台存在的基础是设备使用不同操作系统的多样性。即使只剩下Symbian、Windows 两种平台他们的对立也给了J2ME 技术足够的生存的空间。本教程是为了学习J2ME MIDP 技术的开发者准备的。尽管本教程内容涉及初学阶段,...
上传时间: 2013-12-16
上传用户:yph853211
资源简介:一种面向编译器体系结构框架,是电子书格式的
上传时间: 2016-07-15
上传用户:yepeng139
资源简介:提出了装配机器人系统中一种基于视觉引导和超声测距的运动目标跟踪和抓取 方法。介绍了运动目标的跟踪原理,采用图像雅可比矩阵进行机器人运动控制,跟踪运动 的目标。利用视觉引导技术,获取目标在图像平面中的位置与方位,进行平面跟踪,然后 引导超声波...
上传时间: 2014-01-02
上传用户:rocketrevenge
资源简介:压缩VXWORKS文件。介绍一种利用Tornado$1 VxWorks自带的defla~和inflate,对VxWorks文件进行压缩和解压缩的技术。希望对大家有所帮助。
上传时间: 2016-08-21
上传用户:exxxds