High‐order accurate numerical solutions of incompressible flows with the artificial compressibility method

A high‐order accurate, finite‐difference method for the numerical solution of incompressible flows is presented. This method is based on the artificial compressibility formulation of the incompressible Navier–Stokes equations. Fourth‐ or sixth‐order accurate discretizations of the metric terms and the convective fluxes are obtained using compact, centred schemes. The viscous terms are also discretized using fourth‐order accurate, centred finite differences. Implicit time marching is performed for both steady‐state and time‐accurate numerical solutions. High‐order, spectral‐type, low‐pass, compact filters are used to regularize the numerical solution and remove spurious modes arising from unresolved scales, non‐linearities, and inaccuracies in the application of boundary conditions. The accuracy and efficiency of the proposed method is demonstrated for test problems. Copyright © 2004 John Wiley & Sons, Ltd.     

Pseudo-Isotherms Using a Second Order Kinetic Expression Constant

The kinetics of four sorption systems, Cu/tree fern, Pb/tree fern, AB9/activated clay and BR18/activated clay have been studied based on the assumption of a pseudo-second order rate law. Pseudo-isotherms using the pseudo-second order kinetic expression constant have been developed to describe the four liquid-solid sorption systems. The experimental results have been analyzed using a pseudo-Langmuir and a pseudo-Redlich-Peterson isotherm. Both isotherms were found to represent the measured sorption data well. According to the evaluation using the pseudo-Langmuir equation, the monolayer sorption capacities were obtained to be 13.9, 46.6, 124 and 105 mg g^–1 for copper, lead, AB9 and BR18 respectively.     

Hydromagnetic rotating flow of a fourth‐order fluid past a porous plate

The rotating flow in the presence of a magnetic field is a problem belonging to hydromagnetics and deserves to be more widely studied than it has been to date. In the non‐linear regime the literature is scarce. We develop the governing equations for the unsteady hydromagnetic rotating flow of a fourth‐order fluid past a porous plate. The steady flow is governed by a boundary value problem in which the order of differential equations is more than the number of available boundary conditions. It is shown that by augmenting the boundary conditions based on asymptotic structures at infinity it is possible to obtain numerical solutions of the nonlinear hydromagnetic equations. Effects of uniform suction or blowing past the porous plate, exerted magnetic field and rotation on the flow phenomena, especially on the boundary layer structure near the plate, are numerically analysed and discussed. The flow behaviours of the Newtonian fluid and second‐, third‐ and fourth‐order non‐Newtonian fluids are compared for the special flow problem, respectively. Copyright © 2004 John Wiley & Sons, Ltd.     

Low‐gain adaptive stabilization of semilinear second‐order hyperbolic systems

In this paper low‐gain adaptive stabilization of undamped semilinear second‐order hyperbolic systems is considered in the case where the input and output operators are collocated. The linearized systems have an infinite number of poles and zeros on the imaginary axis. The adaptive stabilizer is constructed by a low‐gain adaptive velocity feedback. The closed‐loop system is governed by a non‐linear evolution equation. First, the well‐posedness of the closed‐loop system is shown. Next, an energy‐like function and a multiplier function are introduced and the exponential stability of the closed‐loop system is analysed. Some examples are given to illustrate the theory. Copyright © 2004 John Wiley & Sons, Ltd.     

一类二阶椭圆型微分方程振动性的判定

利用积分平均和完全平方技巧，给出了一类二阶椭圆型微分方程所有解在R^n的一个外区域Ω上均振动的新的充分条件。     

KDP晶体三倍频实验和分析

报道了ＫＤＰ晶体中的三倍频产生的实验研究，计算了比较了直接三倍频过程和级联过程对ＫＤＰ晶体三阶有效非线性系数的贡献，并探讨了ＫＤＰ作为非线性晶体材料三阶非线性系数测量基准的可行性。     

LB膜混合聚集体中极性基团相互作用对光学非线性的影响

通过紫外－可见吸收光谱、压力－面积等温线、二次谐波的测量，研究了不同活性分子混合聚集体的形成对ＬＢ膜光学性质的影响。分子极性基团间的相互作用，使激发态能量及平均偶极矩发生变化，导致ＬＢ膜的光学非线性明显地增强或减弱。     

Two Convergence Problems for Monotone Sequences

Eight measures of rate of convergence of monotone sequences of real numbers have been proposed and discussed in a paper by Beyer, Ebanks, and Qualls (Acta Appl. Math. 20 (1990), 267–284). These rates arose in discussions of dynamical systems. In the comparisons of these rates, two problems remained. A complete answer is given to one of the problems and a partial answer is given to the other problem.     

On Binary Computation Structures

Based on a modification of Moss' and Parikh's topological modal language [8], we study a generalization of a weakly expressive fragment of a certain propositional modal logic of time. We define a bimodal logic comprising operators for knowledge and nexttime. These operators are interpreted in binary computation structures. We present an axiomatization of the set T of theorems valid for this class of semantical domains and prove – as the main result of this paper – its completeness. Moreover, the question of decidability of T is treated.