A linear quadtree compression scheme for image encryption

A private key encryption scheme for a two-dimensional image data is proposed in this work. This scheme is designed on the basis of lossless data compression principle. The proposed scheme is developed to have both data encryption and compression performed simultaneously. For the lossless data compression effect, the quadtree data structure is used to represent the image; for the encryption purpose, various scanning sequences of image data are provided. The scanning sequences comprise a private key for encryption. Twenty four possible combinations of scanning sequences are defined for accessing four quadrants, thereby making available 24ⁿ × 4^{n(n − 1)/2} possibilities to encode an image of resolution 2ⁿ × 2ⁿ. The security of the proposed encryption scheme therefore relies on the computational infeasibility of an exhaustive search approach. Three images of 512 × 512 pixels are used to verify the feasibility of the proposed scheme. The testing results and analysis demonstrate the characteristics of the proposed scheme. This scheme can be applied for problems of data storage or transmission in a public network.     

GSM蜂窝无线通信系统

ＧＳＭ数字移动通信系统是现今较先进的一种无线通信系统，本文对该系统的组成特点、功能原理、信令系统和帧结构，以及今后的发展等作了较详细的介绍，以飨读者。     

A recursive design methodology for VLSI: Theory and example

A novel VLSI (Very Large Scale Integration) methodology based on the hierarchical design of computational and system blocks is presented. The underlying algorithms used are shown to optimise the area-time complexity (AT²) of the computational units and at the system design level. The technique is illustrated for a matrix-matrix multiplication by using an image processing window convolver. This paper describes the performance of the recursive design technique comparing it to a typical systolic array, and demonstrates how data word size and convolution size may be expanded by movement up the architectural hierarchy. A prototype CAD (Computer Aided Design) autolayout program is described which maps directly into the hierarchical design environment. Using such design aids, flexible and correct designs may be generated which offer very simple data flow and highly local interconnection, with high performance.     

A set of complexity metrics for guiding the software test process

Software verification and validation is a domain which is covered by many dynamic test, static analysis, and formal verification techniques. This presents a problem to practitioners with respect to selecting those suitable techniques which can be used successfully. The basic idea of the methodology presented here is to select test techniques which fit the software under test. A dynamic test technique requires that certain program elements are covered, will be sensitive to errors associated with these elements, because executing an error location is a precondition for revealing the error. Furthermore, it is likely that the probability of errors increases with complexity. Complexity can be characterized in terms of several properties which can be used to suggest various testing strategies. The complexity of the various software properties can be measured using appropriate complexity metrics. Properties with unusual high complexity measures should be tested very throughly. The approach described in this paper permits the selection of test techniques based on the values of the metrics with respect to a particular software product.     

用CCD光电测量方法跟踪焊接筒体环形坡口的数控系统

主要介绍了一种在焊接领域里用CCD光电测量的方法进行自动跟踪焊接的数控系统,在实践中对硬件的设计和坡口的图像软件分析方面作了相应的总结。     

A class of adaptive directional image smoothing filters

The gray level distribution around a pixel of an image usually tends to be more coherent in some directions compared to other directions. The idea of adaptive directional filtering is to estimate the direction of higher coherence around each pixel location and then to employ a window which approximates a line segment in that direction. Hence, the details of the image may be preserved while maintaining a satisfactory level of noise suppression performance. In this paper we describe a class of adaptive directional image smoothing filters based on generalized Gaussian distributions. We propose a measure of spread for the pixel values based on the maximum likelihood estimate of a scale parameter involved in the generalized Gaussian distribution. Several experimental results indicate a significant improvement compared to some standard filters.     

A complement about almost controllability subspaces

We show that, for any almost controllability subspace, there exist a maximal input chain and a family of state feedbacks which lead to the well known ‘feedback-chain’ expression for this subspace.     

Time-domain input-output representations of linear systems

A non-oriented matrix pencil model containing internal and external variables is shown to possess properties useful for modelling and design of linear dynamical systems. Three of these properties are trivial inversion, invariance under a useful class of operations, and simple decomposition using easily-implemented row and column operations. Realizations of state-space and polynomial operator models are given, then a definition of system dimension and a minimal-reduction algorithm. A new time-domain canonical form compatible with polynomial operator systems is described. Examples of the use of the model in algebraic design problems are given.