软件抗距离模糊技术在异步水声跟踪定位中的应用分析

异步水声定位系统可在目标信号发射时刻未知时对目标跟踪定位,此时发射和接收时钟存在固定时差。对于基于时延测量的长基线异步定位系统,当信号传播时延大于脉冲重复周期时,就会出现距离模糊。本文提出了在异步水声跟踪定位系统中软件抗模糊的思想,探讨了一种利用目标参考位置抗模糊的算法。从异步定位模型出发,得出等价的抗模糊准则,依据准则推导了算法及相应的参考位置取值范围,分析并克服了固定时差对算法的影响。海试结果验证了算法的可行性和有效性。     

The interplay of empirical and deductive reasoning in proving “if” and “only if” statements in a Dynamic Geometry environment

This paper is situated within the ongoing enterprise to understand the interplay of students’ empirical and deductive reasoning while using Dynamic Geometry (DG) software. Our focus is on the relationships between students’ reasoning and their ways of constructing DG drawings in connection to directionality (i.e., “if” and “only if” directions) of geometry statements. We present a case study of a middle-school student engaged in discovering and justifying “if” and “only if” statements in the context of quadrilaterals. The activity took place in an online asynchronous forum supported by GeoGebra. We found that student's reasoning was associated with the logical structure of the statement. Particularly, the student deductively proved the “if” claims, but stayed on empirical grounds when exploring the “only if” claims. We explain, in terms of a hierarchy of dependencies and DG invariants, how the construction of DG drawings supported the exploration and deductive proof of the “if” claims but not of the “only if” claims.     

Single Parameter Dissipativity and Attractors in DiscreteTirne Asynchronous Systems ∗

Discrete time nonautonomous dynamical systems generated by nonautonomous difference equations are formulated as discrete time skew—product systems consisting of cocycle state mappings that are driven by discrete time autonomous dynamical systems. Forwards and pullback attractors are two possible generalizations of autonomous attractors to such systems. Their existence follows from appropriate forwards or pullback dissipativity conditions. For discrete time nonautonomous dynamical systems generated by asynchronous systems with frequency updating components such a dissipativity condition is usually known for a single starting parameter value of the driving system. Additional conditions that then ensure the existence of a forwards or pullback attractor for such an asynchronous system are investigated here     

Nonlinear hybrid system and parameter identification of microbial fed-batch culture with open loop glycerol input and pH logic control

In this paper, we study the fed-batch fermentation of glycerol by Klebsiella pneumoniae with open loop glycerol input and pH logic control using a flow of alkali as manipulated variable. A nonlinear hybrid system is developed to describe this process. We prove the finiteness of switching numbers of the system in terms of bounded variation and explore the existence and uniqueness of the solutions. Additionally, a parameter identification problem is proposed and an asynchronous parallel particle swarm optimization (PSO) algorithm is constructed to solve it. Numerical results show the effectiveness of the algorithm and reveal that the proposed model could describe the fed-batch process properly.     

Compensating asynchrony effects in the calculation of financial correlations

We present a method to compensate statistical errors in the calculation of correlations on asynchronous time series. The method is based on the assumption of an underlying time series. We set up a model and apply it to financial data to examine the decrease of calculated correlations towards smaller return intervals (Epps effect). We show that the discovered statistical effect is a major cause of the Epps effect. Hence, we are able to quantify and to compensate it using only trading prices and trading times.     

广义异步并行多分裂松弛算法

在本文中，我们设计了求解大型线性代数方程组的适用于ＭＩＭＤ系统的异步并行多分裂松弛算法的一般模型，并在系数矩阵是Ｈ－矩阵的条件下，建立了该一般模型的收敛性理论。     

ON THE CONVERGENCE OF ASYNCHRONOUS NESTED MATRIX MULTISPLITTING METHODS FOR LINEAR SYSTEMS

1.IntroductionTherehasbeenalotofliterature(see[1]--[61and[12])ontheparalleliterativemethodsforthelarge--scalesystemoflinearequationsinthesenseofmatrixmultisplittingsincethepioneeringworkofO'LearyandWhite(see[l])waspublishedin1985.Oneofthemostrecentre...     

三种多环芳烃混合溶液二维荧光相关谱解析

多环芳烃为优先控制污染物,但是由于其含量很低,多组分多环芳烃荧光峰相互重叠,所以常规荧光光谱法无法对其荧光峰进行有效解析。采用二维荧光相关分析方法对三种多环芳烃,蒽、菲和芘的混合溶液进行荧光峰解析。根据研究目标,按照三种多环芳烃浓度比的不同配制了三种混合物体系,共27个样本,每种体系的三种溶液浓度彼此间按规律递增和递减。在此基础上,以浓度为外扰,构建了各体系的同步和异步二维荧光相关谱。同步谱中,在425,402,381,373,365,393及347 nm处产生自相关峰。以未被覆盖的菲在347 nm处荧光峰为线索,通过其与各波长处荧光交叉峰的正负,判断出了402,381,425和452 nm处荧光峰源于混合溶液中的蒽; 373与393 nm处荧光峰源于混合溶液中的芘; 365,356及347 nm处荧光峰源于混合溶液中的菲。通过异步谱解析出菲的385 nm处荧光峰,证明了异步谱比同步谱具有更好的光谱分辨率。研究结果表明,采用二维荧光相关方法对光谱严重重叠的多组分多环芳烃的解析是可行的,并具有一定的优势,可推广到对环境中其他污染物质的检测。     

Robust reliable control for uncertain switched nonlinear systems with time delay under asynchronous switching

This paper investigates the problem of robust reliable control for a class of switched nonlinear systems with time delay and actuator failures under asynchronous switching. When the switching instants of the controller experience delays with respect to those of the system, a kind of reliable controller design method is proposed, and the dwell time approach is utilized for the stability analysis. Sufficient conditions for the existence of the reliable controller are formulated in terms of a set of LMIs. Then the proposed approach is extended to take into account switched delay systems with Lipschitz nonlinearities and structured uncertainties. Finally, a numerical example is given to illustrate the effectiveness of the proposed method.