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.     

用C++ Builder实现数字图像的平滑处理

介绍了图像增强技术中，空间域处理方法中的邻域平均法的原理、算法，及该原理在windows平台上以C＋＋ Builder为开发工具的具体程序实现。     

只读式超分辨光盘的膜层设计和分析

超分辨技术是一种无需减小记录波长或增大数值孔径而提高存储密度的方法。Ge Sb Te是一种良好的相变光存储材料 ,在超分辨光盘中可作为掩膜。利用多层膜反射率的矩阵法计算了掩膜为Ge2 Sb2 Te5薄膜的超分辨只读式光盘的光学参数与各膜层厚度之间的关系 ,最后得到了较为理想的膜层厚度匹配。采用磁控溅射法制备了只读式超分辨光盘 ,测量了光盘的光学性质。     

多任务调度算法在单片机控制系统中的应用

为了满足单片机控制系统的复杂要求 ,提出了多任务调度算法 ,通过与单任务程序结构的对比和分析 ,详细说明了多任务调度算法的实现 ,指出了应用该算法的必要性 ,并且以科研生产的实例说明其具体应用。     

表达式句法分析及求值算法在优化设计中的应用

针对优化设计技术在机械工程领域的使用特点提出了一种应用表达式分析与求值原理以避免对每个优化模型或实例均需编程求解的解决方法,论述了该方法的要求、原理、实现过程及应用程序框架。     

TMS320C2XX的软件堆栈

介绍了对德州仪器（TI）公司的TMS320C2XX系列DSP芯片的8级硬件堆栈进行软件扩展的方法，给出了在内存在扩展堆栈的两个宏定义和中断服务程序。     

涡流管类比逆流换热器方法的研究

结合Scheper，Lewins和Bejan的理论模型，对涡流管类比逆流换热器模型进行了深入地分析，得出了冷流分量对温度分离效应的函数关系式，为了解涡流管机理和实验中强化涡流管温度分离效应提供了理论依据。     

手套箱气氛中氚化水处理的工艺研究

分子筛吸附柱和热金属镁床是手套箱气氛中氚化水 (HTO)搜集和分解处理的一种有效手段。测试了分子筛柱对气氛中水的吸附性能和热金属镁床对HTO的分解性能。结果表明 :分子筛柱对气氛中水的吸附效率 >99 99% ,在空气中水含量为 3 4× 1 0 - 3～ 4 2× 1 0 - 3条件下 ,未发现吸附柱水的贯穿现象 ;热金属镁床对HTO的分解率 >99 9% ,当金属镁的消耗量大于 80 %时 ,未见分解率明显降低。     

Films and fibers of oriented single wall nanotubes

As-produced nanotubes form a light, fragile and isotropic soot. Different efforts are made to process nanotubes into macroscopic forms of more practical use and more controlled properties. We briefly review in this paper two methods recently proposed to make films of magnetically aligned nanotubes and fibers by using an electrophoretic method. Preferential orientation of the nanotubes in the plane of the films or along the fiber axis is an important feature of the obtained materials. Then we describe in details a different, spinning like, process for making fibers out of single wall carbon nanotubes. This process consists of dispersing the nanotubes in a surfactant solution, re-condensing the nanotubes in the flow of a polymer solution to form a nanotube mesh, and then collating this mesh to a nanotube fiber. The behaviors of the surfactant-stabilized dispersions, which are also presented, are critical for this process. The degree of nanotubes alignment in dried fibers has been characterized by X-ray scattering. It is found to be smaller than the alignment obtained in the previous materials. However, the processing is simpler and faster and potentially scalable for large-scale production.     

一种便携式高精度数据采集系统的设计

介绍了微处理器MSC1210的功能和特点,对基于MSC1210的便携式高精度数据采集系统的硬件组成和软件设计进行了阐明,通过嵌入式GUI开发实现了液显人机交互功能。该系统具有速度快、处理能力强、可靠性高、功耗低等优点。