采用基本门单元完全测试矢量的测试生成算法

文章介绍了一种采用基本逻辑门单元的安全测试矢量集生成测试矢量的方法，该方法可以将搜索空间限制在2(n 1）种组合内。它采用故障支配和故障等效的故障传播、回退等技术，建立了一套从局部到全局的测试生成新方法。同时，利用基本门单元安全测试矢量的规律性，可以实现最小的内存容量要求。在一些基准电路的应用实例中，得到了满意的结果。     

试论英语教师在阋读教学中的刨造性劳动

指出英语教师的工作是二种创造性劳动，主要体现在课前“十备”，教学内容的优化，和谐教学环境的营造，创造性地运用教学方法，具有独特的教学风格等方面。认为英语教师要生成创造性的劳动，须更新教育教学理念，改进教学研究，经常反思与调整自己的教学实践，而社会与学校则应该给教师更多的自主权。     

二垩英与资源回收-Ⅰ考虑到二垩英生成的资源与能量回收基础研究

目前在日本,存在大量工业垃圾,包括各种塑料制品,ASR(汽车破碎垃圾),含有毒PCB(多氯联苯)的110变压器和PVC(聚氯乙稀)制品等.而来自城市垃圾焚烧炉的废气含有大量能量.因此,在充分考虑环境、避免二垩英生成的同时,安全回收来自工业垃圾、城市和/或工业垃圾焚烧炉的资源和能量是个非常重要的课题,这也将对抑制CO2排放作出贡献.正确地阐明焚烧过程中二垩英的生成机理及详细研究含少量二垩英的焚烧废气在冷却过程中大量形成二垩英的临界温度是项很重要的工作.解决这个问题可有效实现资源和能量的回收.本报告介绍日本在二垩英排放方面目前采取的对策和存在的问题以及大阪大学为阻止二垩英生成所做的基础研究工作.     

移动探针测试技术的运用及测试结果剖析

主要讨论印刷电路板(PCB)移动探针测试中软件及检测中遇到特殊情况的处理,并对造成通短路现象的原因进行了分析,以达到保证PCB产品质量的目的。     

计算机英语词汇的学习策略

探讨计算机英语词汇的生成规律和意义关系。主要有隐喻式的引申义、语义关系等。运用这些规律和关系，是有效的学习策略。     

仪表盘布置图自动生成系统

介绍化学工业部第八设计院自控室开发的ＡＵＴＯＤＩＰ（仪表盘布置图自动生成系统）。出图速度较ＣＩＣＡＤ大为提高，且键盘操作量有所减小。     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

石油生成和运移年龄的确定和测定

在评述目前用以确定和测定石油生成年龄的一些方法（如微化石法、氨基酸法、^14C法、雷兹尼柯夫法以及盆地模拟法等）的基础上，提出用U－Pb法测定石油生成和运移年龄。