面向上下文无关语言的测试工具的设计和实现

软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的主要手段,首先以两个已经实现了的分别面向VB和C/C 语言的计算机辅助软件测试工具为基础,将该系列测试工具的系统结构推广至适用于任何一种上下文无关语言。而该系列测试式工具高度的模块可重用性特征为这种推广提供了必要的基础。为实现这种高度的模块可重用性特征。从各个角度论述了增强该特征的设计,提出了基于块的程序划分机制。这种机制从根本上保证了对多种上下文无关语言的测试语义的一致性,最后,还给出了两个不同语言写就的实例的运行结果,以说明这种一致性。     

An Estimation of Complexity and Computational Costs for Vertical Block-Cyclic Distributed Parallel LU Factorization

The Vertical Block–cyclic Distributed Parallel LU Factorization Method (VBPLU) is effectively processed on a distributed memory parallel computer. VBPLU is based on the two techniques, the block algorithm and the aggregation of communications. Since startup time dominates the data communication and the aggregation reduces communication isssues, the total performance has been much improved. Furthermore this method uses long vectors so that it is also advantageous on vector processors. In this paper, we have constructed a modeling of VBPLU using a simplified LogGP model with analytical formulae, and estimated accurately the computational cost taking into account load distributions caused by data layout and process mapping. Some knowledge for optimization of block algorithm has been obtained. Our estimations have been verified through numerical experiments on three different distributed memory parallel computers.     

一种新型的霓虹灯扫描控制器

介绍一种用8031(8051)串口,联级新型的共阴极驱动芯片— —MAX7219霓虹灯扫描控制器。着重论述了该芯片的硬件特点、使用方法及软件编制方法, 给出了用该芯片驱动多点霓虹灯变压器的实例。     

一种基于特征块的图像拼接算法

提出一种基于基本特征块的图像拼接算法。该方法先定义边缘特征量,逐点计算各像素点邻域的边缘信息量大小,并采用局部非极大值抑制及阈值法进行排除,最终确定基本特征块;先利用基本特征块的位置信息初步估计模型参数,再提取特征点对模型参数进行修正;最后,对图像进行拼接获得更大视野更高分辨率的拼接图。实验表明,该算法运算量较小,但可保证一定的精确度,具有一定的可行性和适用性。     

模糊自适应PID模块在PCC上的开发及应用

针对一类无法获知精确数学模型的过程对象,采用模糊自适应PID控制算法。该算法不需要精确的对象数学模型,同时保留了传统PID算法的优点,还能根据输入与输出的偏差值,基于模糊规则在线调整PID参数,在Matlab上进行相应的仿真验证,结果表明提高了控制品质。在B&R公司的可编程计算机控制器(PCC)上开发相应模块,用Automation Studio BASIC语言编写了控制程序,并完成了对一套实际温度对象的控制。实验结果表明,此算法具有较好的跟踪性能、抗干扰性和鲁棒性,适于工业应用。     

Extension of the decidability of the marked PCP to instances with unique blocks

In the Post Correspondence Problem (PCP) an instance (h,g)$(h,g)$ consists of two morphisms h$h$ and g$g$, and the problem is to determine whether or not there exists a nonempty word w$w$ such that h(w)=g(w)$h\left(w\right)=g\left(w\right)$. Here we prove that the PCP is decidable for instances with unique blocks using the decidability of the marked PCP. Also, we show that it is decidable whether an instance satisfying the uniqueness condition for continuations has an infinite solution. These results establish a new and larger class of decidable instances of the PCP, including the class of marked instances.     

基于FF功能块的过程控制系统优化

本文对FF现场总线标准的功能块及其结构进行了介绍,并从提高控制的分散性和安全性着手,分析了基于功能块的过程控制系统的优化方法.     

A reference architecture for telecommunications operations applications

The emerging multi-layer functional model for network operations decomposes management functions into several layers:Service Management Layer, Network Management Layer, Element Management Layer, andElement Layer. To realize the full benefits of this functional distribution, a reference architecture for operations applications is needed. This architecture should enable flexible placement of functions in computing systems or nodes, enable hiding of the complexities of distribution from applications, and prescribe principles for the specification of application interfaces to facilitate application interoperability. This paper describes such a framework architecture. In this framework, applications are deployed in software units calledbuilding blocks, each of which is independently installed and administered. Building blocks interact via interfaces calledcontracts. A contract is an open interface that is specified according to some principles, such as adherence to standard communication paradigms, separation of engineering aspects from functional aspects, and support for previous interface versions. The infrastructure, called theDistributed Processing Environment (DPE), provides communication and security services that enable building blocks to interact via contracts. The DPE provides access and location transparency to applications. The paper presents details of this architecture framework and an example to illustrate specification of contracts for network management functions.     

用C＋＋Builder编写基于线程的串行通信程序

本文介绍了Ｗｉｎ９５下线程多任务的基本原理和串行通信中使用的主要ＡＰＩ函数,并使用线程的方法在Ｃ＋＋Ｂｕｉｌｄｅｒ下开发实时性要求很高的Ｗｉｎ９５下的串行通信程序。     

Evaluating increasing block tariff pricing policies when applied to multiple household connections

This paper develops a model for evaluating the consequences of increasing block tariff pricing policies when multiple households share a connection and applies it to a sample from Kumasi, Ghana. Results show that for any given consumption, a household's average share of total monthly water bill for shared connections can either be higher or lower than its single-household equivalent. Significant differences between the average and single-household equivalent bills were found in these cases, although this difference is under-estimated if the sample is not disaggregated by payment group.