一种面向瞬时故障的容错技术的形式化方法

推荐内容

开源项目推荐 更多

• 使用 NXP Semiconductors 的 PCA9617A 的参考设计
• 较好的VC++集运动控制卡，CAD导图，手工绘图，的源代码和软件
• 使用 ON Semiconductor 的 CS8126 的参考设计
• 【成航PCB赛】音频功率放大器
• 使用 Microchip Technology 的 TC28C47EPE 的参考设计
• 使用 Analog Devices 的 ADR441A 的参考设计
• LT1303-5、3 节电池至 3.3V 升压/线性转换器具有输出断开连接的典型应用电路
• RXCA10X115AF40-IDK00A，基于 Altera FPGA Arria 10 GX 的 ATTILA 即时开发套件（ATTILA Instant Devkit -ES1）
• NCP691 1 A、低 IGND、极低压差稳压器 (VLDO) 的典型应用，带/不带固定版本的使能
• LTC2908CTS8-A1、12V、3.3V、2.5V、1.8V、1.5V、1.2V六电源监视器的典型应用电路

热门活动

用户搜过

• 易语言封包主程序下载
• gb/t 4943.1-2011下载
• simetrix 下载
• JLink驱动下载-Setup_JLinkARM_V420
• ncs8801s 参考
• Python programming PDF
• matlab simulate anealing
• GB 4721 下载
• 电路图符号下载安装
• 深入浅出Linux工具与编程 pdf

随便看看

• vs2005里面怎么导入pb5.0生成的模拟器
  小弟以前是搞wm5.0的。最近要做一个wince 5.0的东东。要用.net cf开发。但是怎么创建vs2005下面的开发环境啊。pb5.0我都装好了。。网上到是有一篇介绍怎么向VS2005里面加模拟器的文章，但是个人感觉不好。我看到微软下载里面有一个Mike Hall的讲解关windows ce5.0的视频。在第三部分里面他讲解了如何在win ce上用.net 但是却没有说他那个开发环境是如何搭
• A NOVEL PLANAR DOUBLE-BALANCED 6-18 GHZ MMIC MIXER*
  A novel planar monolithic double-balanced been demonstrated which exhibits low conversion nuxer has loss, good compression and isolation characteristics, and low spurious responses. This has been achi
• 电子信息工程专业的学生考研的利与弊？
  :) 那位高手能否指点一下：当前这个专业的学生，考研有那些好处，还有哪些不好的地方？:Q
• STM32的TIMER功能有多强？
  STM32的TIMER有4个通道，这4个通道可以随意配置成输入和输入吗？如果，我把第一个通道配置成外部计数输入，第二个通道配置成PWM输出，第三个通道配置成捕获输入，第四个通道配置成波形输出，这样4个通道能同时工作吗？因为只用一个定时器实现这些功能好像不太可能。高人解释一下。
• 炼狱传奇-字符状态机之战
  炼狱传奇-字符状态机之战
• embedded software team
• 【转帖】振荡器在电路中究竟有什么作用
• 非常实用
• [电路设计心得] 一个硬件高手的设计经验分享
• 32位MCU全攻略-上册

热门下载

• 光纤光栅传感器的应用概况
• BF561视频编码板套件V1.10说明书
• 常用元件3D接插件封装库：Pin-Header-2.54-Angle_SMD-28
• 辅助谐振环保护的HID灯电子镇流器系统的分析
• 555简易电子琴
• 删除文件中的空格
• 汽车电磁场强自动测量系统的软件设计
• 实用声光及无线电遥控电路300例
• 开关电源的几个维修步骤
• HX8258-A TFT液晶屏驱动器手册

热门文章

• Digi-Key Electronics 将在 2021 ELEXCON 举办现场和线上活动
• 华为EMUI 12正式版推送：轻拟物设计、更多设备协同
• 51单片机-温度PID算法(C程序)
• 英特尔、AMD、Arm 等为小芯片互连制定UCIe标准
• [ARM裸机程序][2]TQ2440、ADS1.2、JLINK建立集成开发环境
• 博世创投投资AutoCore.ai 高性能汽车中间件正加速发展
• 变频器的并联运行案例
• 基于LabVIEW软件和计算机声卡实现定量测试和时频分析