动态模糊随机信息处理的数学方法

本文系统地概述了我们近年来提出的动态模糊随机信息处理的数学方法,内容包括模糊随机变量、模糊随机过程和模糊随机微分方程的基本解法等方面的基本概念、基本定义和某些重要的定理,以及动态系统的模糊随机响应与可靠性分析的方法等。这些方法是为我们研究工程实际问题的需要逐步发展起来的,对于处理某些类型的问题简便实用。     

On a Boolean-valued Model of the Strict Implication System(Continuous)

The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-valued model. But, in this method, the consistency of S3, S4 and S5 in Lewis' five strict implication systems is not decided. This paper makes use of the properties: (1) the equivalence of the modal systems S3 and P3, S4 and P4; (2) the modal systems P3 and P4 all contained the modal axiom T(□p → p); (3) the modal axiom T is correspondence to the reflexive property in VB. Hence, the paper proves: (a) ‖As31‖ = 1; (b) ‖AS41‖ = 1; (c) ‖AS5l‖ = 1 in the model (where B is a complete Boolean algebra, R is reflexive property in VB). Therefore, the paper finally proves that the Boolean-valued model VB of the ZFC axiom system in set theory is also a Boolean-valued model of Lewis' the strict implication system S3, S4 and S5.     

OSCILLATION FOR SOLUTIONS OF SYSTEMS OF N-TH ORDER PARTIAL FUNCTIONAL DIFFERENTIAL EQUATIONS

In this paper, some sufficient conditions for the oscillation for solutions to systems of n-th order partial functional differential equations are obtained.     

Near-optimal design of Global Positioning System (GPS) networks using the Tabu Search technique

This paper describes an optimization technique based on an heuristic procedure which is applied to analyse and improve the efficiency of the design of Global Positioning System (GPS) surveying networks. GPS is a valuable survey tool because of its ability to increase the accuracy, speed and flexibility of a survey. A GPS network can be defined as a number of stations, which are co-ordinated by a series of sessions, formed by placing receivers on stations. The goal is to select the best order in which these sessions can be organised to give the best possible schedule. Generally, solving large networks to optimality requires impractical computational time. This paper proposes a Tabu Search technique which provides optimal or near-optimal solutions for large networks with an acceptable amount of computational effort. Computational results for several case studies with known and unknown optimal schedules have been presented to assess the performance of the proposed technique.     

基于小波包分析及支持向量机的超音速目标识别方法研究

提出了基于小波包分析及支持向量机的超音速目标识别方法 .通过 5 .5 6mm ,7.6 2mm和 12 .7mm三种枪弹试验获取信号 ,用小波包分解激波信号 ,统计每个频带的能量特征 ,用支持向量机方法训练测试样本 ,获得了很好的分类效果 .仿真结果表明基于超音速飞行体产生的激波信号来识别目标是可行的 .     

Decentered twisted Gaussian Schell-model beams and their propagation through a misaligned first-order optical system

The propagation properties of decentered twisted Gaussian Schell-model (DTGSM) beams passing through a misaligned first-order optical system are studied. The explicit expressions for the cross-spectral density function and Wigner distribution function of the output beam are derived, which retain their form unchanged. It is shown that the DTGSM beams preserve their closed property. The second-order moments matrix and the Wigner distribution function evolve with the usual laws, whereas the first-order moments matrix varies, as if a ray passes through such system. The propagation of DTGSM beams through an aligned first-order optical system is treated as the limiting case that corresponds to the vanishing misalignment parameters.     

Nonlinear Diffusion Processes

We study elliptic systems of strongly nonlinear first-order differential equations in complex form on the plane. For such systems we develop the theory of Hilbert boundary value problems which is very much similar to the well-known theory for a holomorphic vector. Systems of nonlinear elliptic equations describe problems of interaction of several nonlinear stationary processes in the diffusive and convective mass and heat transport by hydrodynamic fluid flows.     

Stability analysis of abnormal multiplication of plankton using parameter identification technique

This paper presents the mathematical approach for the abnormal multiplication of plankton. An abnormal multiplication can be expressed as an unstable problem and the stability of the system is investigated by introducing eigenvalues of a mathematical equation. The stability of the system can be judged by an eigenvalue based on the Lyapunov's stability theory. In this paper, the Arnoldi‐QR method is used to obtain eigenvalues and eigenvectors of the system. The mode superposition method is employed to create spatial distribution needed to analyse the stability. To obtain the objective eigenvalue, the parameter identification technique is employed. The finite element method is used for the discretization in space. Lake Kasumigaura, which is located in Ibaraki Prefecture in Japan, is selected and actual data in 1975, 1976, 1991 and 2000 are used in order to investigate the stability of the specified lake in Japan. Copyright © 2004 John Wiley & Sons, Ltd.     

Stability analysis of structurally unstable man–machine system involving time delays

In this paper, a structurally unstable man–machine system is considered and a rigorous mathematical analysis is performed to study the influence of time delays in the control force on stability of the equilibrium solution of this system. Results on stability, instability and conditions for the preservation of stability (instability), besides the existence of bifurcation are presented.     

区域技术创新系统评估体系的研究

技术创新对提升企业竞争力、提高综合国力、促进经济增长和国家持续发展非常重要。本在研究了区域经济发展和国家创新系统的相关献基础上，建立了系统、量化的区域技术创新系统评估指标体系，提出了决定区域创新系统技术创新能力的主要因素，并用TOPSIS方法对指标的量化进行了尝试。