用于指针逻辑的自动定理证明器(英文)

提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和二叉树的指针程序测试了该自动定理证明器.

单片机测控系统“看门狗”技术的设计与实现

针对单片机测控系统所处的工作环境比较恶劣和复杂,容易受到系统内部和外部各种电气的干扰,使系统不能稳定可靠的工作这种情况,讨论了采用程序监视技术,即“看门狗”技术,由硬件、软件实现,也可由二者结合实现的方法,来提高单片机测控系统的可靠性和抗干扰能力。

MCU系统的抗干扰措施

从洗衣机电脑控制板设计的实际出发，从元件的选择、ＰＣＢ板的设计和软件的设计三个方面探讨了ＭＣＵ系统抑制和防止干扰的措施。