Shallow Linear Action Graphs and their Embeddings

Action calculi, which generalise process calculi such as Petri nets, π-calculusand ambient calculus, have been presented in terms of action graphs. We here offer linear action graphs as a primitive basis for action calculi. This paper presents the category of embeddings of undirected linear action graphs without nesting, using a novel form of graphical reasoning which simplifies some otherwise complex manipulations in regular algebra. The results are adapted in a few lines to directed graphs. This work is part of a long-term search for a uniform behavioural theory for process calculi. Received October 2000 / Accepted in revised form April 2001     

An adaptive tracking problem for a family of retarded time-delay plants

Most of the existing switching control techniques are developed specifically for finite-dimensional linear time-invariant (LTI) systems. In many practical applications, however, it is essential to take time delay into consideration in the modelling as the control system can be highly sensitive to delay. In this paper, a multi-model switching control algorithm is proposed for retarded time-delay systems. It is assumed that the plant is represented by a family of known multi-input multi-output, observable, LTI models with multiple delays in the states, and that corresponding to each model in the known family, there exists a high-performance finite-dimensional LTI controller. In addition, it is supposed that a bound on the magnitude of the external inputs and disturbances is available. It is then shown that the proposed switching controller can stabilize the uncertain system, and that under some mild conditions, output tracking can be achieved in the given problem setting. Copyright © 2007 John Wiley & Sons, Ltd.     

The effects of glycol methacrylate as a dehydrating agent on the dimensional changes of liver tissue

The dimensional changes of liver sections during the course of processing with glycol methacrylate (GMA) or with ethanol are described. Tissue processing with ethanol served as a control. During prolonged processing steps (24 h each), linear shrinkage of tissue specimens dehydrated with GMA at room temperature was 13.2%. Subsequent infiltration with GMA resulted in trivial swelling, and polymerization in slight shrinkage (2.3%). In comparison, processing with cold GMA resulted in shrinkage during dehydration (about 10.8%), a slight swelling in pure GMA, followed by shrinkage during polymerization (2.2%). Short routine processing schedules resulted in similar shrinkage/swelling patterns, although precise values differed slightly. In all experiments, ethanolic dehydration resulted in smaller dimensional tissue changes than did GMA dehydration. The dimensional changes of tissue sections during stretching on water, mounting and drying compensated for the major part of the shrinkage manifested during processing.     

一种混沌信号去噪方法的研究

以Takens嵌入定理和影子定理为理论依据，提出一种能对混沌信号去噪的局部投影方法。该方法不需潜在动力学系统的先验知识，符合工程实用的要求。通过实验结果表明这种方法对混沌信号去噪很有效。     

一种新的图像水印方案

目标区域是图像中视觉上最重要的部分。针对现有的水印算法很少考虑图像中确定的目标区域这一问题，提出了一种基于目标区域的水印方案(WIOR)。方案首先利用小波变换分析图像的目标特征，并依据图像的小波高频系数特征对其进行聚类，获得水印的嵌入域，在此嵌入域中，选择小波系数并对其进行量化调制来嵌入二值扩谱水印；同时，通过只在图像的局部区域内嵌入较少的水印信息来改善水印的隐蔽性。实验结果表明，该方案对于一类具有突出目标特征的图像具有较好的效果。嵌入的水印主要优势在于真正把水印嵌入图像的视觉重要部分，从而能有效地抵御剪切攻击，而且可以实现盲检测。     

Reversible steganographic method using SMVQ approach based on declustering

Reversible steganography allows an original image to be completely restored after the extraction of hidden data embedded in a cover image. In this paper, we propose a reversible scheme for VQ-compressed images that is based on a declustering strategy and takes advantage of the local spatial characteristics of the image. The main advantages of our method are ease of implementation, low computational demands, and no requirement for auxiliary data. The experimental results show that the embedding capacity of the proposed method is controlled by the number of declustered groups and the spatial characteristics of the cover image. The results also show that the proposed method has the best embedding capacity and the least running time compared with other methods.     

Longest fault-free paths in hypercubes with vertex faults

The hypercube is one of the most versatile and efficient interconnection networks (networks for short) so far discovered for parallel computation. Let f denote the number of faulty vertices in an n-cube. This study demonstrates that when f ? n − 2, the n-cube contains a fault-free path with length at least 2ⁿ − 2f − 1 (or 2ⁿ − 2f − 2) between two arbitrary vertices of odd (or even) distance. Since an n-cube is a bipartite graph with two partite sets of equal size, the path is longest in the worst-case. Furthermore, since the connectivity of an n-cube is n, the n-cube cannot tolerate n − 1 faulty vertices. Hence, our result is optimal.     

基于音频数字水印的空间定位技术研究

深入研究了利于音频数字水印实现空间定位的技术思想,提出了一种在数字音频中嵌入水印信息后,实现对声源的空间定位算法,详细阐述了该算法的设计思想,并分别给出了音频数字水印的嵌入过程和数字水印的提取过程。     

无线ILC系统测控信号延时效应补偿方法

针对通过无线信道进行测控信号传输的远程迭代学习控制( ILC)系统,研究信号传输延时对控制系统性能的影响.分析了测控信号延时情况下ILC系统的收敛性问题,通过引入预控制向量,提出了ILC系统信道延时效应补偿的向量更新方法.数值仿真结果表明了所提方法的有效性.