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.     

NexGen的Nx586－Pentium的又一个挑战者

本文简单介绍ＮｅｘＧｅｎ公司最新设计出的Ｎｘ５８６ＣＰＵ。它是一种８０×８６兼容的处理器，文中介绍了它的微体系结构，ＲＩＳＣ８６指令等。     

条件转移指令的使用及技巧

阐述了判跳指令的使用方法及相应的编程技巧，同时辅以例题分析，以加强对该类指令的理解，提高实际编程能力。     

WTO/TBT通报

欧共体: 某些待查物质不包括在指令 98/8/EC附录Ⅰ、ⅠA或ⅠB中的欧盟委员会决议草案 通报号: G/TBT/N/EEC/149 通报日期:2007年4月25日 (07-1721)     

XKA5032A型数控铣床的编程方法

本文通过分析XKA5032A数控铣床的编程格式、方法及特点，探讨了数控编程的关键和难点，提出了相关的解决措施，为数控铣床的编程提供了有益的方法。     

NI主要产品线现符合RoHS（特定有害物质禁用指令）标准

美国国家仪器有限公司（简称NI）宣布推出一系列符合NI减少有害物质倡议（NI Hazardous Substances Reduction initiative）的产品，进一步表明NI对于高级环境标准的遵守和承诺。NI的这项倡议是遵照欧盟特定有害物质禁用指令（RoHS）所作出的一项完全自愿的行动。     

热电公司ARL QUANT＇X荧光能谱仪

2006年6月，热电（上海）科技仪器有限公司从台湾富士康公司喜获大单，为其华南检测实验室提供23台ARL QUANT＇X荧光能谱仪，用来快速分析电子产品中的塑料和合金是否含有RoHS（有害物质限制）指令规定的有害元素。从2006年7月1日起，含有RoHS指令禁止使用的铅、汞、镉、六价铬等重金属以及聚溴联苯（PBB）和聚溴二苯醚（PBDE）的产品禁止在欧盟出售和使用。ARL QUANT＇X荧光能谱仪是一种能量色散X荧光能谱仪，可以实现RoHS和WEEE指令所需的检测灵敏度和自由度，国内很多省市如浙江、南京、山东、河南等地的技术监督局都已经采用该仪器进行RoHS检测。