单片机应用系统中“看门狗”的应用软件设计

8051系列单片机控制系统有效的抗干扰性能，除硬件电路的可靠性以外，还取决于软件的稳定性及容错性，如中断优先级，临界资源，“看门狗”的软件处理等，文中介绍两种可靠的“看门狗”电路软件设计方法。     

“看门狗”电路配套程序设计原理与技巧

集中讨论了硬件电路及接口正确的“看门狗”应用电路在CPU发生程序跑飞后不能可靠翻转,从而造成系统“死机”的原因;系统介绍了如何从根本上避免“看门狗”电路非正常失效的(配套)程序设计原理、方法与技巧.     

基于87LPC768微处理器相位计的设计

利用荷兰Philiphs公司生产的工业嵌入式微处理器芯片87LPC768设计一台数字式相位计、数字式频率计,测量精度可以达到10μS,内含看门狗时钟电路、双比较器,其使用具有结构简单、使用方便高效、性能稳定可靠等特点。     

不需外加振荡电路的“看门狗电路”

本文介绍一种实用的“看门狗电路”,它具有简单,可靠的优点。     

基于ARM架构的嵌入式VPN平台设计

介绍一款基于ARM架构的VPN软件运行平台的硬件电路设计和软件平台的实现,详细阐述其中的看门狗和实时时钟系统模块的实现。整个系统以Moschip公司最新推出的MCS1000VPN为主芯片,通过可编程逻辑器件CPLD技术实现外围看门狗、实时时钟等电路。通过移植开源Linux,为VPN软件搭建稳定、可靠的操作系统平台,实现成本低、性能好的嵌入式VPN运行平台产品。     

基于Linux的嵌入式系统全程喂狗策略

Linux嵌入式系统在启动过程中如何喂狗是提高嵌入式系统可靠性需要解决的问题,传统做法是用复杂看门狗电路或在启动过程中关闭看门狗。本文提出了一种嵌入式系统喂狗策略,可以实现系统在启动过程和运行过程中全程喂狗。基于简单的硬件电路,在系统不同过程的程序中插入喂狗程序。实验表明,该方法简单可行,成本较低,是一种嵌入式系统的可靠喂狗方法。     

X25045芯片及其应用

介绍具有可编程看门狗、电压监控、串行E2PROM功能的X25045芯片的性能特点、工作原理，并给出实用的硬件接口电路和软件程序。     

经验点滴

经验点滴经验点滴在工业控制机上设计“看门狗”（１１４０００辽宁鞍山钢铁学院计算机系）吴军李游“看门狗”已成为工业控制机单片机控制系统的一个主要组成部分，但现有的“看门狗”都利用硬件电路及配套程序实现。需另外设计“看门狗”电路。在实际应用中经常出现由于...     

单片机任务型软件“看门狗”原理及应用

简单介绍了硬件看门狗的工作原理,详细说明了在单片机软件中任务型软件看门狗设计方法,能够防止和解决程序中因任务交叉、重叠而出现的运行状态错误,提高了系统的冗余度和可靠性。     

微控制器实时系统监测复位电路的软件设计

实时系统中“看门狗”电路的软件设计技术。分析“看门狗”定时溢出周期的设置与系统响应之间的关系,提出防止“看门狗”异常运行和程序“跑飞”的方法。     

一种带约束的多态类型系统

本文讨论了一种带约束的多态类型系统,引入了约束类型,约束与全称量化的结合使得参数化多态函数的应用更安全,同时也为重工的表示和实现提供了一个新的途径,提高了类型表示的抽象度。本文讨论的类型系统具有两个不同层次的类型结构,约束的引入与肖去是不同层次上的操作,最后,本文人出了类型检查算法Ｗｒ,并证明了此算法中约束的可满足性是可判定的。     

VC++中集合类的使用

结合实例详细介绍了VC ++中表集合类和数组集合类的使用方法和步骤。     

机器语言的类型化及代码的安全检查

根据类型系统思想，为Intel／x86体系结构的机器语言重新定义了类型表达式并建立一套类型系统，机器语言代码虽然是一种无类型的二进制编码，但其类型信息被隐含在指令的操作语义中，利用建立在类型系统基础之上的类型推理算法可以静态地推理机器代码的安全性，由于所讨论的机器语言包含了跳转、函数调用和返回等主要指令，因此，这种静态检查方法可广泛应用于其他体系结构的低级语言代码的检查中。     

带类型注解的汇编器TAAS的设计与实现

给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL F格式的 x86机器代码 ,并且与 GNU as汇编器完全兼容     

基于规则的数据类型重构技术研究

为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法.采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息.实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性.     

Ada95与面向对象的程序设计

本文首先分析了Ａｄａ８３对面向对象的程序设计的支持特征，然后对Ａｄａ９５在Ａｄａ８３的基础上所新增加的面向对象设施进行了详细的介绍与讨论。     

多视图编程范式及其编译支持

文中分析了目前面向对象的程序设计方法学存在的结构异常、代码重用难等问题。     

对象在类型系统λω×≤中的表示

类型系统是研究面向对象技术形式理论基础的重要工具 类型系统λω×≤ 是一个带高阶子类型关系的多态类型系统 ,对其性质和范畴论语义模型进行了研究 在此基础上 ,讨论了如何以类型系统λω× ≤ 为工具 ,研究对象、类、继承等面向对象技术的基本概念的形式语义 结合类POINT和CPOINT等例子 ,讨论了基于递归类型和基于存在类型的两种对象表示方法 ,并对它们的特点进行了总结与比较     

Polymorphic type-checking in scheme

This paper presents a type-inference system for Scheme that is designed to be used by students in an introductory programming course. The major goal of the work is to present a type system that is simple enough to be used by beginner students, yet is powerful enough to express the ideas of polymorphism, abstract data types (ADTs), and higher-order procedures. The system also performs some rudimentary syntax checking. The system uses subtyping, but only in a primitive fashion. It has a type datum which is a supertype of all types, and a type poof which is a subtype of all types. It uses intersection types to control the use of datum and to generate simple but accurate types.