80X86单板计算机的C＋＋语言编程技术

本文介绍了８０Ｘ８６单板计算机的Ｃ＋＋语言编程技术，说明全局变量、局变量的使用方法，及中断程序编制过程中的问题，最后给出一个模板程序以供参考。     

Nonterminating Rewritings with Head Boundedness

We define here the concept of head boundedness,head normal form and head confluence of term rewriting systems that allow infinite derivation.Head confluence iw weaker than confluence,but sufficient to guarantee the correctness of lazy implementations of equational logic programming languages.Then we prove several results.First,if a left-linear system is locally confluent and head-bounded.then it is head-confluent.Second,head-confluent and head-bounded systems have the heau Church-Rosser property.Last,if an orthogonal system is head-terminating,then it is head-bounded.These results can be applied to generalize equational logic programming languages.     

基于软件重用的MIS应用系统自动生成

本文通过对ＭＩＳ的共性分析，采用软件重用技术，以与数据分离了的程序即本文所称的ＭＩＳ工具做为底层基础，用二次生成技术，较好地解决了ＭＩＳ应用系统自动生成的问题，并较好地利用了以往ＭＩＳ开发中的大量宝贵软件资源，程序实现名为ＩＤＥＭＩＳ和ＭＩＳ应用系统集成开发环境，用Ｃ语言实现。     

EMS与C的文件型接口系统

早期的PC机只能寻址1M,而这1M中能给用户使用的只有低640K,高384K用于多种目的,如视频适配器,硬盘控制器,ROM BIOS等等。现在,由于硬件的升级和软件的支持,PC机已经拥有两大内存来源:EMS(Expanded Memory Specification),XMS(Extended Memory Specification)。 XMS是通过扩大寻址能力而得到的内存,它位于1M的上面,显示这是“正宗”的主存。EMS是在XMS出现之前通过加装内存板来实现的,它并不占用主存的地址空间,而是通过映射来访问的。本文只介绍EMS,因为它出现得早,是由Lotus,Intel,Microsoft三家公司联合开发的,有大量的软件支持,当没有EMS时,还可用EMM386将XMS模拟成EMS。     

一种设计语言信号波形矢量量化器的新算法

本文提出了波形矢量量化器码本的特征变量，对码本的分布特性进行了研究，提出了合理构造初始码本，快速训练码本和快速量化矢量的设计波形矢量量化器新算法，计算机模拟结果表明，新算法明显缩减了码本训练时间，提高了矢量量化的速度。