路径覆盖自动生成技术研究

路径覆盖是路径测试最重要的课题之一。文章给出了ddgraph图的支配树、蕴含树和非限制弧的构造方法,提出了一种基于最小路径测试子集的寻找单个测试路径算法,该算法可有效地生成从入口到出口且覆盖非限制弧的路径子集,并给出了具体的应用实例。     

精细可伸缩视频编码中的增强层编码方法研究

提出了一种新的子带编码方法来对精细可伸缩视频编码中的增强层进行编码。在这种编码方法中,首先通过重排DCT残差系数形成子带,然后利用同一子带相邻系数的相关性来消除数据冗余。实验结果表明文章提出的增强层编码方法比原来的FGS增强层编码方法具有更高的编码效率。     

乙烯装置微机优化系统

介绍乙烯装置上实现的一种计算机生产优化系统．该系统在操作经验的记忆、对比和推理的基础上对生产过程进行优化．为复杂工艺过程的优化控制提供了一条新的可行途径。     

A formal architectural model for logical agent mobility

The process of agent migration is the major difference between logical code mobility of software agents and physical mobility of mobile nodes in ad hoc networks. Without considering agent transfer, it would make little sense to mention the modeling of strong code mobility, which aims to make a migrated agent restarted exactly from the state when it was stopped before migration. From the perspective of system's architecture, this paper proposes a two-layer approach for the formal modeling of logical agent mobility (LAM) using predicate/transition (PrT) nets. We view a mobile agent system as a set of agent spaces and agents could migrate from one space to another. Each agent space is explicitly abstracted to be a component, consisting of an environmental part and an internal connector dynamically binding agents with their environment. We use a system net, agent nets, and a connector net to model the environment, agents, and the connector, respectively. In particular, agent nets are packed up as parts of tokens in system nets, so that agent transfer and location change are naturally captured by transition firing (token game) in Petri nets. Agent nets themselves are active only at specific places and disabled at all the other places in a system net. The semantics of such a two-layer LAM model is defined by transforming it into a PrT net. This facilitates the analysis of several properties about location, state, and connection. In addition, this paper also presents a case study of modeling and analyzing an information retrieval system with mobile agents.     

MCAI课件开发中的关键技术

以应用Authorware开发《CAD的建模技术》MCAI课件为例，论述了MCAI课件的设计与制作过程的关键技术。     

基于VB6.0硫化控制系统

介绍了一种基于VB6．0的硫化控制系统原理，硬件和软件设计。     

电力输送模拟与指挥系统

介绍一种可应用于区域供电管理的微机－模拟屏电力输送模拟与指挥系统。     

嵌入式DCT图像编码算法

首先对图像进行DCT，然后把不同块中相同频率的DCT系数按照子块的顺序重新排列成64个子带．重排后的DCT系数采用一种基于上下文的算术编码器进行位平面编码，从而使编码后的图像具有渐进传输性．实验证明，文中算法是一种简单、有效的图像编码算法．     

LabVIEW在实验室远程控制中的应用

该文介绍了LabVIEW的功能特点、程序设计结构、运算形式和实用工具软件包,并以远程电子线路实验室系统为例介绍了LabVIEW在实验室远程控制中的应用。     

通信中间件MQSeries在移动电话计费系统中的应用

目前的移动电话计费实施的是单级模式,即全省计费数据分散采集、集中计费、集中管理,要实现这种模式,就必然要解决省中心与地市局之间的业务数据通信。通信中间件产品提供了实现这种数据通信的有效手段。该文介绍了IBM公司的面向消息中间件(MOM)产品MQSeries,并应用它设计开发了移动电话计费系统中省中心与地市局之间的业务数据传输模块。