一种有效的新预条件Gauss-Seidel迭代法

为了改善古典迭代法的收敛速度,本文提出一种带参数的新预条件方法,并对参数的选择给出必要条件,证明了对于非奇异不可约M一矩阵,新预条件方法收敛且可以加速Gauss—Seidel迭代法的收敛速度,数值例子表明新预条件方法是有效的．     

A new strategy for defect inspection by the virtual inspection in semiconductor wafer fabrication

The defect of process equipments is a major factor that impairs the yields in the mass production of semiconductor wafer fabrication and it is a main supervision means to use high-resolution defect inspection tools to detect and monitor the defect damage. Due to the high investment costs of these inspection tools and the resulting decrease in the throughput, how to improve the sampling rate is an important issue for the associated inspection strategy. This paper proposes a new concept and implementation of virtual inspection (VI) to enhance the detection and monitoring of defect in semiconductor production process. The underlying theory of the VI concept is that the state variables identifications (SVIDs) of process equipments can reflect the process quality effectively and loyally. The approach of VI is to combine the application of the fault detection and classification (FDC), and the defect library and the re-engineering of inspection procedure to reach the full-scope of strategic objective. VI enables the defect monitoring to enter a new era by promoting the monitoring level of defect inspection from the previous lot-sampling basis to the wafer-sampling level, and hence upgrades the sampling strategy from random-sampling to full and right-sampling. In this study, various typical defect cases are utilized to illustrate how to create VI models and verify the reliability of the proposed approach. Furthermore, a feasible architecture of the VI implementation for mass production in semiconductor factory is presented in the paper.     

Construction of 1-Resilient Boolean Functions with Optimal Algebraic Immunity and Good Nonlinearity

This paper presents a construction for a class of 1-resilient functions with optimal algebraic immunity on an even number of variables. The construction is based on the concatenation of two balanced functions in associative classes. For some n, a part of 1-resilient functions with maximum algebraic immunity constructed in the paper can achieve almost optimal nonlinearity. Apart from their high nonlinearity, the functions reach Siegenthaler's upper bound of algebraic degree. Also a class of 1-resilient functions on any number n > 2 of variables with at least sub-optimal algebraic immunity is provided.     

Utility function of TCP

Understanding the TCP congestion control mechanism from a global optimization point of view is not only important in its own right, but also crucial to the design of other transport layer traffic control protocols with provable properties. In this paper, we derive a global utility function and the corresponding optimal control law, known as TCP control law, which maximizes the global utility. The TCP control law captures the essential behaviors of TCP, including slow start, congestion avoidance, and the binary nature of congestion feedback in TCP. We find that the utility function of TCP is linear in the slow start phase and is proportional to the additive increase rate and approaches the well-known logarithm function as the data rate becomes large in the congestion avoidance phase. We also find that understanding the slow start phase with a fixed threshold is critical to the design of new transport layer control protocols to enable quality of service features. Finally, as an application, we design a Minimum Rate Guaranteed (MRG) traffic control law that shares the same utility function as the TCP control law. Our simulation study of the MRG control law indicates that it is indeed TCP friendly and can provide minimum rate guarantee as long as the percentage of network resource consumed by the MRG flows is moderately small.     

A blind watermarking method using maximum wavelet coefficient quantization

This paper proposes a blind watermarking algorithm based on maximum wavelet coefficient quantization for copyright protection. The wavelet coefficients are grouped into different block size and blocks are randomly selected from different subbands. We add different energies to the maximum wavelet coefficient under the constraint that the maximum wavelet coefficient is always maximum in a block. The watermark is embedded the local maximum coefficient which can effectively resist attacks. Also, using the block-based watermarking, we can extract the watermark without using the original image or watermark. Experimental results show that the proposed method is quite robust under either non-geometry or geometry attacks.     

Output feedback robust MPC for LPV system with polytopic model parametric uncertainty and bounded disturbance

The output feedback robust model predictive control (MPC), for the linear parameter varying (LPV) system with norm-bounded disturbance, is addressed, where the model parametric matrices are only known to be bounded within a polytope. The previous techniques of norm-bounding technique, quadratic boundedness (QB), dynamic output feedback, and ellipsoid (true-state bound; TSB) refreshment formula for guaranteeing recursive feasibility, are fused into the newly proposed approaches. In the notion of QB, the full Lyapunov matrix is applied for the first time in this context. The single-step dynamic output feedback robust MPC, where the infinite-horizon control moves are parameterised as a dynamic output feedback law, is the main topic of this paper, while the multi-step method is also suggested. In order to strictly guarantee the physical constraints, the outer bound of the true state replaces the true state itself, so tightness of this bound has a major effect on the control performance. In order to tighten the TSB, a procedure for refreshing the real-time ellipsoid based on that of the last sampling instant is given. This paper is conclusive for the past results and far-reaching for the future researches. Two benchmark examples are given to show the effectiveness of the novel results.     

Evaluation of Landsat 8 OLI imagery for unsupervised inland water extraction

The successful launch of the Landsat 8 satellite continues the Earth observation of the Landsat series, which has been taking place for nearly 40 years. With the increase in the band number and the improved spectral range compared with the previous Landsat imagery, it will be possible to expand the application of the new Landsat 8 imagery. The purpose of this study is to explore water extraction based on the new Landsat 8 Operational Land Imager (OLI) imagery. According to the specific inland water conditions (clear water, turbid water, and eutrophic water), a number of highly adaptable water indices are assessed for water extraction using Landsat OLI imagery. The results show that clear water is the easiest to extract among the different types of waterbodies, with the highest average accuracy of 97%. The highest-accuracy methods are the automated water extraction index for shadow pixels (AWEI_sh), the normalized difference water index using bands 4 and 7 (NDWI₄₇), and the normalized difference water index using bands 3 and 7 (NDWI₃₇), with accuracies of 98.55%, 95.50%, and 96.61%, corresponding to clear water, turbid water, and eutrophic water, respectively. Through the analysis of the different methods for optimal band selection, the seventh band OLI7 (shortwave infrared 2, SWIR-2) of Landsat OLI shows the best performance in water identification. When applying the water indices to water extraction, Otsu’s algorithm has been used to automatically select the water threshold. Using extensive experiments with Otsu’s algorithm and a manual method, it was found that Otsu’s algorithm can replace manual selection and has the ability to select an accurate threshold for water extraction.