逻辑分析仪在教学实验中的应用

硬件教学实验必须由验证性向设计性转变，才能达到培养学生设计能力和处理问题的能力。而逻辑分析仪是数字系统设计的常用工具．对于实验和教学都起着不可忽视的作用。     

基于TMS320VC5410的最小系统设计

TMS320VC5410是TI公司生产的一款定点数字信号处理(DSP)芯片。基于DSP的最小系统是以其简洁的硬件结构来实现DSP的一般功能,广泛应用于工业生产、教学、科研、电子设计等领域。主要介绍了基于TMS320VC5410的最小系统硬件电路设计方案,阐述了重要电路部分的抗干扰设计和软件调试过程中应注意的若干问题。最后提出了简单易行的软件调试方法以及部分程序代码。     

GM300电台的调试原理及方法

GM300电台是一种性能优良的电台，目前在我国的地震勘探领域广泛应用。与其它类型的电台相比，GM300电台的调试方法完全不同。掌握其调试原理及方法是对该类电台进行正确维护的基础。本文从分析GM300电台调试原理入手，总结了该电台的调试方法。     

Debugging programs that use macro-oriented data abstractions

Enhanced C (EC) is a set-oriented, extensible, C-like language. EC uses data abstractions to define new types. These data abstractions, called clusters, are macro-like devices that perform substitution on the typed syntax tree. Debugging programs that use clusters raise problems that are not encountered in ordinary programming languages. At compile time there is a need to determine and report whether the macro expansion will result in a legal program before this expansion actually takes place. At run-time the problems are how to account for replaced statements and how to handle variables whose types have been established by the clusters, variables that disappear, or variables whose names have been changed. This article presents these problems and their solutions as implemented by the EC compiler and the EC symbolic debugger. Similar debugging problems appear in other languages: The need to handle variables at run time is common to all languages that support data abstraction even if the abstractions are procedure oriented; also, a mild form of the problem of the replaced statement appears in inline procedure substitution of Ada. The solutions developed for the EC debugger apply to these cases as well.     

双向HFC网的上下通道异同点

双向HFC网络具有上下两个通道，它们的信号传输方式既有相同点也有不同点，具体说明信号流方向、信号类型、传输方式、光缆拓扑结构、信号测量方法、衰减器与均衡器位置、增益点选择等方面的不同，并说明它们在网络调试中的作用。     

Selectors Make Set-Based Analysis Too Hard

A set-based program analysis establishes constraints between sets of abstract values for all expressions in a program. Solving the system of constraints produces a conservative approximation to the program's runtime flow of values. Some practical set-based analyses use explicit selectors to extract the relevant values from an approximation set. For example, if the analysis needs to determine the possible return values of a procedure, it uses the appropriate selector to extract the relevant component from the abstract representation of the procedure. In this paper, we show that this selector-based approach complicates the constraint solving phase of the analysis too much and thus fails to scale up to realistic programming languages. We demonstrate this claim with a full-fledged value flow analysis for case-lambda, a multi-branched version of lambda. We show how both the theoretical underpinnings and the practical implementation become too complex. In response, we present a variant of set-based closure analysis that computes equivalent results in a much more efficient manner.     

图形控制器在中小型控制系统中的应用

从选型、设计、调试3个方面比较了中小型控制系统中采用的触摸屏加PLC方案和图形控制器方案的优缺点;以某工厂供粉控制系统为例,给出了一种采用图形控制器来代替触摸屏加PLC的控制方案。实际应用说明了该控制方案的可行性及优势。     

折半查找算法在电子会议系统调试中的应用

关联性故障代表单元的查找定位是电子会议系统调试的关键环节。为了提高查找定位效率,提出了一种基于折半查找的快速定位算法。通过对电子会议系统中干线上的代表单元可靠度的分析,把代表单元的故障情况转化成随着代表单元数量动态变化的量化数据,构成一组有序的可靠度数据,将工程调试问题转化成数据分析问题,引入折半查找算法,设计高效准确定位故障代表单元的算法,并进行了算法效率分析。该方法操作简单,无需借助特殊工具即可应用于复杂环境下电子会议系统的现场调试。     

基于“二叉决策树”模型的嵌入式软件调试

在嵌入式软件开发过程中,软件不可避免地会出现各种错误,因此调试是软件生命周期中一个非常重要的环节。针对嵌入式软件开发的流程和特点,对其调试部分进行较为深入具体的研究和探索,提出基于调试器的"二叉决策树"调试模型。该模型描述了嵌入式软件调试的一般过程、调试对象和常用方法。实践表明"二叉决策树"调试模型具有较好的实用性和扩展性。     

福建水口全平衡垂直升船机调试技术研究与实践

全平衡垂直升船机是解决高坝通航问题的有效途径,而升船机在正式投入运行前必须通过严格的设备调试。介绍了福建水口全平衡垂直升船机在调试过程中所发现的一系列问题及解决方法:包括技术参数整定、优化逻辑闭锁条件、人机界面和数据库功能等。目前,水口电站升船机设备运行状态符合设计要求。根据水口升船机调试的实践经验,对钢丝绳卷扬提升式全平衡垂直升船机调试的关键技术进行了总结,以期对国内升船机建设提供一定的借鉴价值。