Smooth Solution of the Compressible Navier–Stokes Equations in an Unbounded Domain with Inflow Boundary Condition

The barotropic compressible Navier–Stokes equations in an unbounded domain are studied. We prove the unique existence of the solution (u, p) of the system (1.1) in the Sobolev spaceH^{k + 3} × H^{k + 2}provided that the derivatives of the data of the problem are sufficiently small, wherek ≥ 0 is any integer. The proof follows from an analysis of the linearized problem, the solvability of the continuity equation, and the Schauder fixed point theory. Similar smoothness results are obtained for a linearized form of (1.1).     

A comparison of CCS tandem overload controls

In this paper we analyse issues associated with overloads in tandem switching systems in Common Channel Signalling (CCS) networks. In particular, we examine the need for, and effectiveness of, Automatic Congestion Control (ACC), a CCS mechanism which allows a congested switching system to inform adjacent CCS nodes of its level of overload, and subsequently controls the rate at which traffic is sent to the congested node. We demonstrate the critical need for end-offices and tandem switching systems to implement some form of ACC if network performance is to be maintained during congestion, especially in tandem exchanges. In addition, we find that the presently defined ACC should be expanded to allow more levels of congestion to be reported to adjacent nodes, so that a more effective, finer grained control is produced.     

Sonogashira alkynylation of unprotected 8-brominated adenosines and guanosines: fluorescence properties of compact conjugated acetylenes containing a purine ring

A practical Sonogashira alkynylation protocol for the preparation of 8-alkynylated adenosines and guanosines has been developed. Protection of the sugar hydroxyl substituents is not required; protection hinders the purification of these products. A preliminary fluorescent study is reported, which shows that the presence of a substituent on the phenylene ring influences the fluorescent properties considerably, an outcome that could be utilized in biological applications.     

可编程定时器--终极定时解决方案

如今,通信、计算和先进消费型系统中的复杂设计越来越容易受到最后时刻的设计变更、性能要求的不断攀升以及相关标准演进的影响。设计师必须保持灵活性,以便能够将关键元件的选择推迟到开发过程的后期来进行。     

A parallel method for time discretization of parabolic equations based on Laplace transformation and quadrature

We consider the discretization in time of an inhomogeneous parabolicequation in a Banach space setting, using a representation ofthe solution as an integral along a smooth curve in the complexleft half-plane which, after transformation to a finite interval,is then evaluated to high accuracy by a quadrature rule. Thisreduces the problem to a finite set of elliptic equations withcomplex coefficients, which may be solved in parallel. The paperis a further development of earlier work by the authors, wherewe treated the homogeneous equation in a Hilbert space framework.Special attention is given here to the treatment of the forcingterm. The method is combined with finite-element discretizationin spatial variables.     

Identifying assembly maps in K- and L-theory

In this paper we prove the equivalence of various algebraically or geometrically defined assembly maps used in formulating the main conjectures in K- and L-theory, and C^*-theory.Partially supported by NSERC grant A4000 and NSF grant DMS 9104026. The authors also wish to thank the SFB für Geometrie und Analysis, Münster, and the Max Planck Institut für Mathematik, Bonn, for their hospitality and support.Received: 7 May 2001