化学式技术资料下载专区，收录500份相关技术文档、开发源码、电路图纸等优质工程师资源，全部免费下载。
从DSP芯片原理到在线式UPS系统设计，循序渐进讲解全数字化UPS的实现方法与关键技术，适合电力电子与自动化方向的学习者深入理解系统架构与控制逻辑。
本资源详细介绍了基于MSP430单片机的嵌入式网络化仪表监控系统的设计方案，适用于工业自动化、远程数据采集与控制等领域。内容涵盖了硬件选型、软件编程及网络通信协议等多个方面，为工程师提供了从理论到实践的全面指导。无论是初学者还是有一定经验的...
基于Abadi-Rowgaway 的形式化加密的计算合理性定理，论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析，说明本文的定理对协议的可选择攻击具有较强的分析能力，论文
·作者： (美)Andrew/N.Sloss；沈建华译 出版社： 北京航空航天大学出版社 出版日期： 2005-05 如果你想去做一位专业的ARM开发者，建议你可以读下这本书，曾经在部门开发ARM的我们，基本上是人手一本，这本比...
·本书从软件设计的角度，全面、系统地介绍了ARM处理器的基本体系结构和软件设计与优化方法。内容包括：ARM处理器基础；ARM/Thumb指令集；C语言与汇编语言程序的设计与优化；基本运算、操作的优化；基于ARM的DSP；异常与中断处理；固件...
本文研究了一种单片机控制的单相方波输出后备式UPS,该系统实现了在市电不同状态下,系统逆变输出与市电的同相切换,实现了对设备的不间断供电；实现了对蓄电池的智能管理；可以与PC机进行通讯,便于用户监控等功能。本文分析了该系统的工作原理,给出了...
本文介绍了在嵌入式程序设计中几种提高C/C++代码效率的方法，通过对例子的分析，探讨了影响程序效率的原因。关键词：c语言，c++，嵌入式，优化Abstrcat: In this pap