搜索结果
找到约 6 项符合
TAl 的查询结果
Linux/Unix编程 TAL is a messaging tool for Linux administrators.
TAL is a messaging tool for Linux administrators.
模拟电子 一种面向瞬时故障的容错技术的形式化方法
软件发生瞬时故障时，可能会导致处理器状态改变，致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案，主要的方法是重复计算和检查副本的一致性。但是，生成正确的容错代码十分困难，而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言（TAL）是一种标准的程序安全性证明的方式 ...
单片机编程 基于C8051F310的山路转弯预防警示系统
针对盘山路存在的转弯盲区，即在转弯时司机无法得知弯路对面是否有车辆通过，设计一种基于C8051F310的山路转弯预防警示系统。该系统利用一阶滤波算法检测山路转弯时是否有车辆通过。运用该算法可增强系统检测的实时性，提高检测机动车辆的灵敏度，同时大大减少环境温度对检测的干扰。试验表明该系统能够正确指示出在山路转 ...
单片机编程 X-tal oscillators on 8-bit mic
<Almost since the introduction of microcontrollers as electronic components there always has been an oscillatorcircuit on the device to make it work. From application point of view only some external components wererequired to make it work. However, to make sure that it will always work required mor ...
软件设计/软件工程 The paper presents the CORDIC Algorithm, which has been implemented as an virtual component (IP core
The paper presents the CORDIC Algorithm, which has been implemented as an virtual component (IP core) in a VHDL simulation environment. The core is packaged as a soft (VHDL) macro and it implements all transcenden-tal functions. Analysis of the accuracy of the algorithms implemented shows that the C ...
VIP专区 VIP专区-单片机源代码精选合集系列（68）
eeworm.com VIP专区 单片机源码系列 67资源包含以下内容：1. P89LPC912单片机数据手册.pdf2. P89LPC932 Flash单片机使用指南.pdf3. PC MCU串行通信的应用设计方法.pdf4. RSA加解密系统及其单芯片实现.pdf5. PCF8563实时时钟高精度调整方法.pdf6. PAM2862 1A LED Driver with Int.pdf7. AN070219 PCF8563中断输出功能.pdf8. ...