异构ATE测试图形程序的移植研究

异构自动测试仪（ＡＴＥ）之间的测试图形程序移植是一项难度很高的工作,通常采用的方法是对测试图形向量进行逐条直译。这样,如果在异构ＡＴＥ测试图形语言之间找不到对应的语言成分,将导致实际有可能成功的移植失败,并且,即使这样移植成功,被移植的测试图形程序能够保证词法和语法的正确性,但在大多数情况下,这些程序仍不能在目标ＡＴＥ上正确运行。本章在详细分析了传统移植方法后,提出一种基于异构ＡＴＥ功能对等的移植     

如何编写易于移植的C＋＋程序

由于操作系统的差异,同一种操作系统本身版本的差异,目前C 标准库提供的功能仍然有限以及C 编译器产品不是完全兼容等问题,使得我们在移植大型应用程序的时候往往会出现很多难以解决的问题,如何合理的避免他们提高C 程序的移植性,本文作者从源代码的组织安排等方面提出了一些实用的建议。     

测试图形程序的进一步研究：PATTERN的抽象及再实现

异构自动测试仪之间的测试图形程序移植是一项难度很高的工作。通常采用的方法是对测试图形向量进行逐条直移。这样，如果在异构ＡＴＥ测试图形语言之间找不到对应的语言成分，将导致实际有可能成功的移植失败。     

在LINUX下测试图形的产生

文章阐述测试图形生成器及其在ＬＩＮＵＸ下的运行，ＴＰＬＰｒｏｇ是电子部支持的八五攻关课题，集成电路ＣＡＤ／ＣＡＴ工程之一的子项目，它运行于ＳＵＮＳｐａｒｃ２的ＵＮＩＸ下，是为用户开发测试图形服务的一个集成开放式环境，ＬＩＮＵＸ是国际互联网上ＵＮＩＸ的仿制品，文章详述了ＴＰＬＰｒｏｇ移植到ＬＩＮＵＸ的技术实现，从而论证建立“测试中转工作站”实现中小ＩＣ用户共享中高级测试设备的可能性。     

英特尔编译器

作为英特尔件家族中的成员,Windows和Linux版本的英特尔C 和英特尔Fortan编译器使软件开发人员在英特尔芯片上编译出极快的应用程序成为可能。除了可以较大程度地提高应用程序性能,英特尔C 和英特尔Fortran编译器与开发人员目前使用的大多数开发环境保持兼容,并且包括一年的英特尔Premier Support的技术支持。     

实用,安全的TSR及图形截取

本文从TSR(内存驻留程序)的基本原理和技术出发,阐述编制良好TSR的各项步骤,技术.使每一位读者对TSR有所了解,并编制自己的TSR.文中给出一个图形截获程序.     

Unix下的调度程序的编写

在Unix系统中,有一个程序,它维护进程的执行优先级,进程的行为和用户对优先级的要求,称为scheduler(调度进程)。然而,在有些应用中,也需要类似调度进程的程序,自动根据一定的条件,程序不断运行一些进程,作一些作业,同时检测并杀死挂死的进程。系统提供的调度就不能满足要求了。这时就需要我们编写一个调度程序,负责启动进程,杀死挂死进程。 调度进程的主要任务就是:按需要启动进程,杀死挂死进程。 先谈度进程如何启动进程: 先看一下进程的作业环境:进程产生时,其进程图像会包括三大部分,如图:     

具有逻辑仿真功能的数字电路测试语言

本文率述了数字电路测试系统中的测试语言的设计以及逻辑功能仿真的实现。     

DPAL：演绎型刺绣图案装配语言

本文描述了演绎型图案装配语言ＤＰＡＬ的设计和实现技术。ＤＰＡＬ采用类ＡＱＬ语言方式，通过代间关系算子匹配规则库中相应规则实现图元主加中图元调用与装配，生成所要求的刺绣画稿。它的使用大大提高了刺绣画稿的生产效率的花色品种。     

Prolog逻辑程序的测试方法

Prolog逻辑程序设计语言具有不同于传统程序设计语言的特点.本文根据测试Prolog程序的实践,提出了一系列为Prolog程序生成测试用例的准则.按这些准则测试实际程序效果良好.这是在逻辑程序测试新领域迈出的一步.     

测试图形程序的进一步研究：PATTERN抽象及再实现

异构自动测试仪（ＡＴＥ）之间的测试图形程序移植是一项难度很高的工作。通常采用的方法是对测试图形向量进行逐条直移。这样,如果在异构ＡＴＥ测试图形语言之间找不到对应的语言成分,将导致实际有可能成功的移植失败。并且,即使这样移植成功,移植的测试图形程序可保证词法和语法的正确性,但在大多数情况下,这些程序仍不能在目标ＡＴＥ上正确运行。本文在详细分析了传统移植方法后,提出一种基于异构ＡＴＥ功能对等的移植方法,使测试图形程序在移植前后保持其意义的一致性。利用这种方法,可以大大提高测试图程序的可移植性。     

二进制流模式提取在CPU/GPU下的实现框架

图形处理单元(GPU)作为一种流体系结构的处理器,现已被广泛地用于通用高性能计算,而不仅仅局限于图像处理领域了。NVIDIA的CUDA和AMD的Stream SDK都是现在比较流行的针对GPU通用计算(GPGPU)的流编程环境。然而,它们有自身的缺陷和限制,其中最主要的便是缺乏面对不同GPU的二进制兼容性问题和重写已有程序源代码代价大的问题。通过利用二进制分析和动态二进制翻译技术,实现一个自动化执行框架GxBit,它提供一种从x86二进制程序中提取流模式,并映射到NVIDIACUDA编程环境的方法。该框架经过CUDA SDK Sample和Parboil Benchmark Suite中若干程序的验证,平均取得10倍以上的性能提升。     

构造通用简约验证测试集U(p,ω)矩阵的一般公式与程序实现

本文旨在解决伪穷举测试技术中的一个问题。文中通过递归方法产生一个描述二进制多维空间全部矢量的生成关系图。在研究该图性质的基础上,推导出构造最优通用简约验证测试集U(p,ω)矩阵的一般公式。最后,给出一个GCLISP的应用程序。     

依概念编码的模式匹配技术

本文介绍一种处理自然语言的方法－依概念编码的模式匹配的，由于自然语言中的单词和语句模式均依概念进行编码，使得这种方法的适应性较强，并且模式库易于修改，扩充，因而采用这种方法的自然语言处理系统可以构建成开放式系统。     

一种低成本的测试码自动产生算法

为了降低超大规模集成电路（ＶＬＳＩ）测试中的测试产生和测试应用代价，本文提出了一种低成本的测试码自动产生算法－临界路径跟踪测试产生（ＣＰＴＴＧ）。本文主要从算法的搜索策略、扇出源的临界性确定及测试产生过程中的加速技术三个方面，介绍ＣＰＴＴＧ的主要思想和关键技术。文中给出了ＣＰＴＴＧ对国际通用的１０个组合电路范例的实验结果，表明了ＣＰＴＴＧ可以在较短时间内获得具有较高故障覆盖率的较小测试集。     

A NEW GENERATOR FOR PARAMETRIC DRAFTING PROGRAM

In this paper a new generator for parametric drafting program is presented.The func-tions and the syntax of the parametric drafting program are described.This software has been suc-cessfully used to generate a parametric drafting program for designs of motors.