软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法,以及对该方法的形式化方法,包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证,只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间: 2014-01-15
上传用户:dudu1210004
针对当今职业院校PLC教学中,主要侧重于梯形图、语句表、顺序功能图的程序设计,而忽略了PLC控制系统的整体设计,造成学生不能真正学懂PLC的问题,通过一个完整的基于S7-200可编程控制器和组态王6.53软件的远程监控十字路口交通灯模拟系统设计实例,阐述了学生完成系统设计在PLC课程学习中的作用在于,有利于进一步调动学生自主学习的积极性,有利于全面理解和掌握理论知识,使学生真正掌握PLC。
上传时间: 2013-10-16
上传用户:tyler
总体平均经验模式分解(EEMD)方法是一种先进的时频分析方法,非常适合于对非平稳故障微弱信号的分析处理。文中介绍了EEMD方法的原理与算法实现步骤,重点分析了EEMD方法避免模式混淆的机理。利用EEMD方法对齿轮箱振动信号进行分析,成功提取了小齿轮磨损故障特征,验证了EEMD方法在故障微弱信号特征提取的有效性。
上传时间: 2014-11-30
上传用户:wbwyl
PLC 控制系统最初被应用于对离散量的控制,随着技术的发展和实际工程应用的需求,PLC 控制系统也开始用于对连续变量的控制。结合实际工程,对PID 模块指令在Allen2Bradley 公司的PLC 产品中的应用,进 行阐述说明。
上传时间: 2013-10-18
上传用户:小宝爱考拉
一、电压放大电路故障检修技巧 二、功率放大电路故障检修技巧 三、显像管座板故障检修技巧 按元器件分类有:分立元件放大电路,集成运算放大电路。 按功能分类有:电压放大电路,功率放大电路,低频放大电路,高频放大电路等。
上传时间: 2014-11-23
上传用户:w230825hy
PCB板常见按故障分析
上传时间: 2013-11-23
上传用户:410805624
根据目前印制电路板制造技术的发展趋势,印制电路板的制造难度越来越高,品质要求也越来越严格。为确保印制电路板的高质量和高稳定性,实现全面质量管理和环境控制,必须充分了解印制电路板制造技术的特性,但印制电路板制造技术是综合性的技术结晶,它涉及到物理、化学、光学、光化学、高分子、流体力学、化学动力学等诸多方面的基础知识,如材料的结构、成份和性能:工艺装备的精度、稳定性、效率、加工质量;工艺方法的可行性;检测手段的精度与高可靠性及环境中的温度、湿度、洁净度等问题。这些问题都会直接和间接地影响到印制电路板的品质。由于涉及到的方面与问题比较多,就很容易产生形形色色的质量缺陷。为确保“预防为主,解决问题为辅”的原则的贯彻执行,必须认真地了解各工序最容易出现及产生的质量问题,快速地采取工艺措施加以排除,确保生产能顺利地进行。为此,特收集、汇总和整理有关这方面的材料,编辑这本《印制电路板故障排除手册》供同行参考。
上传时间: 2013-10-12
上传用户:shen007yue
具有OBFL功能的电路板经配置后,可以把故障相关数据存储在非易失性存储器中,并可在日后加以检索和显示以用于故障分析。这些故障记录有助于电路板故障的事后检查。要实现OBFL系统功能,需要同时使用软硬件。在硬件方面,需要:a)确定给出电路板件故障信息的板载OBFL资源(如温度感应器、存储器、中断资源、电路板ID,等等);b)在电路板或者系统出现故障时用以保存故障信息的板载非易失性存储。OBFL软件的作用是在正常的电路板运行以及电路板故障期间配置电路板变量并将其作为OBFL记录存储在非易失性存储中。OBFL软件还应具备一定的智能,能够分析多项出错事件、记录和历史故障记录,以逐步缩小范围的方式确认故障原因。这种分析可以大大减轻故障排查工作,否则将有大量的OBFL记录需要故障分析工程师手动核查。
上传时间: 2013-11-03
上传用户:1595690
设计了一种以FX3U系列PLC为控制核心的太阳能自动跟踪控制系统。该跟踪控制系统将视日运动轨迹跟踪与传感器跟踪相结合,即第一级采用视日运动轨迹跟踪,初步跟踪太阳的运行轨迹,第二级采用传感器跟踪校正,并采用双轴式跟踪调整装置。系统还设计了时间显示模块,能够显示实时时间,同时也可以对时间进行实时调整。
上传时间: 2013-12-30
上传用户:hz07104032
为更好地研究风力发电机在一定的电网电压跌落故障下的动态响应,以单台1.5 MW 双馈风力发电机(DFIG)为研究对象,设计了Crowbar电路,通过构建电网电压跌落仿真模型,分别对机端电压、电流、转子电流、输出的有功功率和无功功率、直流侧电压、电磁转矩在故障期间的动态响应进行了仿真。探讨了相应的控制策略,为进一步研究低电压穿越标准下的控制策略提供了依据,同时也为研制兆瓦级变频器打下基础。测量结果表明这种控制方式能使DFIG在电压跌落故障下实现不间断运行,有效提高了DFIG风电机组运行的可靠性。
上传时间: 2013-11-11
上传用户:jasonheung