Wigner frequency point slice analysis of superposition data for phased-array ground penetrating radar

According to the frequency property of Phasedarray ground penetrating radar (PGPR), this paper gives a frequency point slice method based on Wigner time-frequency analysis. This method solves the problem of analysis for the PGPR‘s superposition data and makes detecting outcome simpler and detecting target more recognizable. At last, the analytical, results of road test data of the Three Gorges prove the analytical method efficient.     

Projection and contraction methods for nonlinear complementarity problem

We applied the projection and contraction method to nonlinear complementarity problem (NCP). Moveover, we proposed an inexact implicit method for (NCP) and proved the convergence. Foundation item: Supported by the National Natural Science Foundation of China (No. 202001036) Biography: Zhao She-feng (1975-), male, Master candidate, research interest; optimization research.     

Solution of Cauchy’s problem for wave equations in higher space dimensions by means of D’Alembert’s formula

A simple method for solving Cauchy’s problem of wave equations in higher space dimensions with initial condition of separated variables, has been given by using D’Alembert’s formula and some examples have been shown. Foundation item: Supported by the Natural Science Foundation of Hubei Province (992P0307) and the National Natural Science Foundation of China (39970203) Biography: YAO Duan-zheng (1946-), female, Professor, Research direction: mathematical physics and nonlinear optics.     

Wavelet numerical detection for singularly perturbed elliptic boundary value problems

This paper is concerned with the numerical solution, and with the detection of singularity for a singularly perturbed elliptic boundary value problems in two space dimensions. Specifically, a wavelet-collocation method is presented for a 2-D linear reaction-diffusion model. By using two-dimensional B-splinewavelet, we test the efficiency of the method. Foundation item: Supported by the National Natural Science Foundation of China (19602014) Biography: Zhang Ai-qing (1974-), female, Master candidate, research interest: wavelet analysis & application.     

Selection of the linear regression model according to the parameter estimation

In this paper, based on the theory of parameter estimation, we give a selection method and, in a sense of a good character of the parameter estimation, we think that it is very reasonable. Moreover, we offer a calculation method of selection statistic and an applied example. Foundation item: Supported by the Natural Science Foundation of Anhui Education Committee Biography: Sun Dao-de (1957-), male, associate professor, research interes: theory and applications of mathematical statistics.     

The notched filtering characteristics of stratified volume holographic grating

Utilizing the tool of beam propagation method (BPM) to calculate the zeroth order diffraction beam intensity, we find SVHG displays notched diffraction response as a function of the readout wavelength. Using the method of SA and considering the variance of refractive index as the readout wavelength changes, a practiced notch filter can be designed and the period of the filter is discussed. Foundation item: Supported by the National Natural Science Foundation of China (69607005) Biography: LI Xiang-yang (1974-), male, Master candidate: Research direction: message optics.     

Point-tree structure genetic programming method for discontinuous function’s regression

A new point-tree data structure genetic programming (PTGP) method is proposed. For the discontinuous function regression problem, the proposed method is able to identify both the function structure and discontinuities points simultaneously. It is also easy to be used to solve the continuous function’s regression problems. The numerical experiment results demonstrate that the point-tree GP is an efficient alternative way to the complex function identification problems. Foundation item: Supported by the National Natural Science Foundation (60173046) and the Natural Science Foundation of Hubei Province (2002AB040) Biography: Xiong Sheng-wu (1966-), male, Associate professor, research direction: evolutionary computing, parallel computing.     

An exact formal solution to reaction-diffusion equations from biomathematics

We study the exact formal solution to the simplified Keller-Segel system modelling chemotaxis. The method we use is series expanding. The main result is to attain the formal solution to the simplified Keller-Segel system. Foundation item: Supported by the National Natural Science Foundation of China(No. 10025107) Biography: Chen Hua(1956-), male, Professor, research direction: partial differential equations.     

The unconditional stability for the hyperneutral type constant linear control system with delays (I)

By means of the frequency domain method and the inequality analysis, we discuss the unconditional stability problem for the hyperneutral type constant linear control system with delays, and obtain some precise sufficient, sufficient and necessary conditions. Foundation item: Supported by the Natural Science Foundation of Hubei Province (2000A49005) Biography: Li Ye-ping (1972-), male, Lecturer, research direction: partial differential equation and differenfial dynamic systems.     

A semantic retrieval method based on the fuzzy reasoning

This paper gives a semantic fuzzy retrieval method of multimedia object, discusses the principle of fuzzy semantic retrieval technique, presents a fuzzy reasoning mechanism based on the knowledge base, and designs the relevant reasoning algorithms. Researchful results have innovative significance. Foundation item: Supported by the Natural Science Foundation of Hubei Province(No. 200J157) Biography: Cao Jia-heng(1946-), male, Professor, research direction: multimedia software, artificial intelligence.     

The fault sonic diagnosis of the pressure hammer with artificial diamond

Time series analysis and time domain statistics applied to the fault sonic diagnosis of the pressure hammer with artificial diamond is reported. This method with the characters of brief criterion, high accuracy and quick speed is suitable for alarming on the spot. Foundation item: Supported by the National Natural Science Foundation of China Biography: HU Yao-gai (1972-), male, Master, Research interest is in fault diagnosis.     

On the monotone iterative method for set valued equation

This paper deals with the monotone iterative method for set-valued operator equation in ordered normed space. Some results for the case of single valued operator are generalized here, as an application, a discontinuous nonlinear differential equation problem is discussed. Foundation item: Supported by the Naional Natural Sciences Foundation of China Biography: TIAN Yan (1970-), male, Ph.D. candidate, research interests are in numerical analysis for PDE     

A kind of algorithm onB-spline wavelet-BEM

B-Spline wavelet-BEM numerical algorithm is presented. To avoid to treating singular integrals in wavelet-BEM, a method of putting source points out of the domain is used and discussed. Meanwhile, two higher effective numerical quadrature formulae are suggested. Finally, an example in mechanics is given and numerical results show that this method is effective. In addition, this method can be extended to manipulate problems, especially, with singularity. Foundation item: Supported by the National Natural Science Foundation of China Biography: CHENG Yong-jun (1971-), male, Master candidate. Research interests ars in wavelet theory and its application.     

Towards the Idealization Procedure of BAN-Like Logics

We demonstrate the flaws of Mao‘s method, which is an augmentation of protocol idealization in BAN-like logics, and then offer some new idealization rules based on Mao‘s method. Furthermore, we give some theoretical analysis of our rules using the strand space formalism, and show the soundness of our idealization rules under strand spaces. Some examples on using the new rules to analyze security protocols are also concerned. Our idealization method is more effective than Mao‘s method towards many protocol instances, and is supported by a formal model.     

Incremental training for SVM-based classification with keyword adjusting

This paper analyzed the theory of incremental learning of SVM (support vector machinc) and pointed out it is a shortage that the support vector optimization is only considered in present research of SVM incremental learning. According to the significance of keyword in training, a new incremental training method considering keyword adjusting was proposed, which eliminates the differcnce hetween incremental learning and batch learning through the keyword adjusling. The experimental results show that the improved method outperforms the method without the keyword adjusting and achieve the same precision as the hatch method.     

A Novel Digital Audio Watermarking Scheme in the Wavelet Domain

We present a novel quantization-based digital audio watermarking scheme in wavelet domain. By quantizing a host audio‘s wavelet coefficients (Integer Lifting Wavelet Transform ) and utilizing the characteristics of human auditory system ( HAS), the gray image is embedded using our watermarking method. Experimental results show that the proposed watermarking scheme is inaudible and robust against various signal processing such as noising adding, lossy compression, low pass filtering, re-sampling, and re-quantifying.     

Evaluation of some Fourier integrals inN-dimensional space for the theory of dislocations in quasicrystals

A method to evaluate some Fourier integrals is extended from two-dimensional (2-D) and three dimensional (3-D) spaces ton-dimensional (n-D) space, which are often used in the elasticity theory of dislocations in quasicrystals. Some key formulae have been given. Foundation item: Supported by the Natural Science Foundation of Hubei (9920p307) Biography: Yao Duan-zheng (1946-), female, Professor, Research interests: mathematical physics and nonlinear optics.     

A Requirements Engineering Environment for Embedded Real-Time Software—SREE

The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.     

A Multi-objective optimal evolutionary algorithm based on tree-ranking

Multi-objective optimal evolutionary algorithms (MOEAs) are a kind of new effective algorithms to solve Multi-objective optimal problem (MOP). Because ranking, a method which is used by most MOEAs to solve MOP, has some shortcomings, in this paper, we proposed a new method using tree structure to express the relationship of solutions. Experiments prove that the method can reach the Pare-to front, retain the diversity of the population, and use less time. Foundation item: Supported by the National Natural Science Foundation of China(60073043, 70071042, 60133010) Biography: Shi Chuan( 1978-), male, Master candidate, research direction; intellective computation, evolutionary computation.