检查
共 7 篇文章
检查 相关的电子技术资料，包括技术文档、应用笔记、电路设计、代码示例等，共 7 篇文章，持续更新中。
一种面向瞬时故障的容错技术的形式化方法
<span id="LbZY">软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法，以及对该方法的形
证券模拟实验室管理制度
证券模拟实验室工作人员日常行为准则<BR>1、 必须注意环境卫生。禁止在实验室、办公室内吃食物、抽烟、随地吐痰；对于意外或工作过程中污染实验室地板和其它物品的，必须及时采取措施清理干净，保持实验室无尘洁净环境。 <BR>2、 必须注意个人卫生。工作人员仪表、穿着要整齐、谈吐文雅、举止大方。 <BR>3、 实验室用品要各归其位，不能随意乱放。 <BR>4、 实验室应安排人员值日，负责实验室的日常整理
cadence操作常用快捷键总结
schematic常用快捷键 x：检查并存盘 s：存盘 [：缩小 ]：放大 F：整图居中显示 u：撤销上一次操作 Esc：清楚刚键入的命令 c：复制 m：移动
排污泵检修及故障排除
一、检查与维修<BR>AS排污泵、AV排污泵、WQ排污泵系列，产品性能优良，运行稳定可靠，每台泵在出厂前都进行了严格的出场检测，永久润滑的球轴承以及处于油室内运行的优质机械密封使排污泵具有最大的耐用性，然而，为了确保排污泵的使用寿命，建议使用单位进行定期检查和保养。
机电设计与自动化
－机构学与特种机器人（检查、维护、操作）<BR>－高速运动机构与结构的动态设计技术<BR>－精密定位控制技术与测量、检测技术<BR>－机器视觉<BR>－复杂机电系统工程设计技术
解析逻辑函数式的处理
<p>
对数字电路设计中的重要环节--逻辑函数式的处理进行了解析。分逻辑函数式的化简、检查、变换3个方面作了详细探讨，且对每个方面给出了相应的见解，即对逻辑函数式的化简方面提出宜采用先卡诺图法再代数法的综合法；对逻辑函数式的检查方面指出了观察互补出现的因子并检验在特殊条件下是否存在该因子的“互补相与”和“互补相或”的核心要点；对逻辑函数式的变换
EXPERT半自动贴片机操作规程
一、在开机前先检查机器的电源和气源是否接好，气压表读数必需在0.55-0.8MPa之间，将贴片头推回到左上角，打开机器、电脑、图像处理器电源开关。<BR>二、电脑启动完成，点击桌面图标“Expert.exe”，打开机器软件。<BR>三、对应PCB，选择相对应的贴片程序打开。<BR>四、根据贴片程序显示的装料表，将不同的元器件装在对应的位置。<BR>五、放入PCB在平台治具上固定。<BR>六、移动贴