基于HLA的卫星协同仿真系统研究与实现

基于HLA体系规范,研究协同仿真软件体系结构,设计了一个卫星协同仿真系统CSS(Coordinated Simulation System).首先简要介绍了系统研究的意义,以系统功能以及系统要素为基础分析了系统的需求、提出了基于"协同"的设计原则以及系统性能评估指标,然后介绍了实现CSS的关键技术--使命空间的任务体现结构和多分辨率建模技术 ,以及CSS的分层设计的系统结构,并以仿真任务管理成员和卫星成员为例分析了设计CSS联邦成员的设计思路,最后提出了一个原型系统.该系统仿真了卫星侦查、数据通信、数据评估等整个过程对大型复杂系统的仿真具有很好的借鉴意义.     

一种有效的新预条件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.     

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.