软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形式化方法，包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证，只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。
上传时间： 2014-01-15
上传用户：dudu1210004
虚拟机自省（Virtual Machine Introspection，VMI）技术充分利用虚拟机管理器的较高权限，可以实现在单独的虚拟机中部署安全工具对目标虚拟机进行监测，为进行各种安全研究工作提供了很好的解决途径，从而随着虚拟化技术的发展成为一种应用趋势。基于为更深入的理解和更好的应用VMI技术提供参考作用的目的，本文对VMI技术进行了分析研究。采用分析总结的方法，提出了VMI的概念，分析其实现原理和实现方式；详细地分析总结了VMI技术在不同领域的研究进展，通过对不同研究成果根据实现方式进行交叉分析比较，得出不同研究成果对应的4种实现方式；分析了VMI技术面临的语义鸿沟问题；最后对VMI技术研究进行总结和展望。
上传时间： 2014-08-21
上传用户：jkhjkh1982
工控技术
上传时间： 2013-12-26
上传用户：lifangyuan12
与其他主流应用相比，汽车应用对质量和可靠性有一些最为严格的要求，其理由很充分：生产中，如果缺陷水平超过1 ppm，即使最简单的元件也可能会导致装配线停止工作；交付后，缺陷或可靠性问题可能导致生产商召回汽车并付出巨大代价，甚至可能危及驾乘人员的安全。
上传时间： 2013-11-24
上传用户：inwins
采用PIC16F785单片机进行控制，设计并实现了一种新型的汽车用氙气前照灯镇流器。针对当前汽车用氙气前照灯镇流器产品效率低、可靠性差等方面的不足，采用单芯片控制、平面变压器、软开关和全贴片等技术，大幅度提高产品的可靠性，效率提高了4％。实验结果证明了该设计的可行性和有效性。
上传时间： 2013-10-21
上传用户：1184599859
前言城市中低压配电网是电力系统的重要组成部分，是城市建设的重要基础设施。为满足城市建设、经济发展和人民生活用电的需要，指导全国城市中低压配电网改造工作，使之达到安全可靠、技术先进、经济合理的要求，根据原能源部司局电供［1991］131号文和原能源部电力司提出的《关于加强城市中低压配电网改造的若干意见》，由全国电力系统城市供电专业工作网负责，在广泛征求意见的基础上，总结了北京、上海、长沙、南京、沈阳、广州、武汉、福州、重庆、昆明、乌鲁木齐、辽阳、包头供电局(电业局)城市中低压配电网改造方面的经验，由北京供电局具体起草了本技术导则。本标准由电力工业部安全监察及生产协调司提出并归口。本标准由全国电力系统城市供电专业工作网、北京供电局起草。本标准主要起草人：宁岐、陈光华、关诚、伍秋熹、牛益民。
上传时间： 2013-10-28
上传用户：水口鸿胜电器
介绍了一种基于单片机与超声波结合的倒车报警系统的设计过程，本系统采用NE555和CX20106A构建超声波发射与接收电路，通过单片机与数码管实现测距计算与实时显示，同时用户还可以通过按键设置倒车报警距离，当达到设定的报警距离时系统将进行语音报警。另外系统设置了分段指示灯（倒车安全、注意倒车、倒车危险），提高了倒车安全系数。经测试，该系统在10～250 cm范围内能实现准确测距，且通过数码管实时显示倒车距离，并进行声光报警。本系统弥补了中、低端汽车报警系统不能实现准确测距和实时显示倒车距离的问题，具有集成度高、测量范围广、成本低等特点，能满足驾驶员在实际倒车中的需求，具有一定的理论和实用价值。
上传时间： 2013-11-28
上传用户：ABCDE
以C8051F020为核心处理器，设计无线传感器网络数据采集系统。系统采用SZ05-ADV型无线通讯模块组建Zigbee无线网络，结合嵌入式系统的软硬件技术，完成终端节点的8路传感器信号的数据采集。现场8路信号通过前端处理后，分别送入C8051F020的12位A/D转换器进行转换。经过精确处理、存储后的现场数据，通过Zigbee无线网络传送到上位机，系统可达到汽车试验中无线测试的目的。 Abstract: This paper designs a wireless sensor network system for data acquisition with C8051F020 as core processors.The system used SZ05-ADV wireless communication module，set up a Zigbee wireless network， combined with hardware and software technologies of embedded systems，completed the end-node 8-locale sensor signal data acquisition.Eight locale signals were sent separately into the 12-bit ADC of C8051F020 for conversion through front treatment.After accurate processing and storage，the locale data was transmitted to the host computer through Zigbee wireless.The system achieves the purpose of wireless testing in vehicle trial.
标签： C8051F020 Zigbee 汽车测试 系统设计
上传时间： 2013-11-23
上传用户：dsgkjgkjg
在汽车发动机起动时，若发动机起动后起动机不能及时断电，将会烧毁起动机或损坏飞轮齿环；若变速器不在空档位置起动，则起动机的瞬间动力将使汽车位移，还可能引起交通事故和人身安全。为此介绍一种利用NXP P89LPC901单片机控制的汽车起动保护控制器，通过检测汽车起动开关、变速箱档位、发动机转速，实现对汽车发动机起动过程检测和保护。起动保护控制器在发动机起动过程中通过采用逐个关闭打开负载系统，解决汽车发动机过程中因起动电流大而对汽车电源的冲击影响,延长了电瓶寿命。 Abstract: When the automotive engine is started, the engine start motor and flywheel gear may be damaged， even traffic accidents and personal safeties may be caused by wrong operation or other factors.In order to ensure the automotive engine can be started normally and safely,it is necessary that the protecting measures and methods are considered in the automotive electrical control system.This paper introduces a kind of the automotive engine starting protect controller based on NXP P89LPC901 MCU.The controller can protect the engine starting process by detecting the starter key switch,transmission stall and engine speed.Through the use of close and open load system,the controller can solve the impact on automotive power because of the high-current load in the process of the automobile engine starting, and extend battery life.
上传时间： 2013-10-15
上传用户：mikesering
摘要:基于单片机技术的轮胎监测系统。系统通过嵌入到汽车轮胎内部的压力及温度传感器进行信号采集，经微型单片机处理后通过信号发射模块将信号发送到单片机处理监测系统，经监测系统分析处理后得出轮胎的工况，从而起到预警作用。关键词：轮胎压力监测系统 单片机系统 NPX-C01780 发射芯片 接收芯片
上传时间： 2013-11-25
上传用户：003030
