In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map as a uniformly continuous function. The linear exponential comonad then assigns to each uniform space X the finest uniform space !X compatible with X . By a...

In this paper we introduce the concept of $(1,2)^*$-sb-separated sets and $(1,2)^*$-soft b-connected spaces and prove some properties related to these break topics. Also we disscused the properties of $(1,2)^*$-soft b- compactness in soft bitopological space

A carrier separated OFDM system is proposed to support high data rates in mobile multiple access environments. OFDM is considered to support high data rates and carrier separation is introduced to combat multipath fading. The performance is comparable to that of a frequency hopped OFDM system. While promising robustness against multipath fading, the computational complexity of a carrier separat...

We show that James tree space JT can be renormed to be Lipschitz separated. It negatively answers the question of J. Borwein, J. Giles and J. Vanderwerff whether every Lipschitz separated Banach space is an Asplund space.

Uniform measures are defined as the functionals on the space of bounded uniformly continuous functions that are continuous on bounded uniformly equicontinuous sets. If every cardinal has measure zero then every countably additive measure is a uniform measure. The functionals sequentially continuous on bounded uniformly equicontinuous sets are exactly uniform measures on the separable modificati...

A Tychonoff space X such that the maximum ring of quotients of C(X) is uniformly complete is called a uniform quotients space. It is shown that this condition is equivalent to the Dedekind– MacNeille completion of C(X) being a ring of quotients of C(X), in the sense of Utumi. A compact metric space is a uniform quotients space precisely when it has a dense set of isolated points. Extremally dis...

In the present paper, a three dimensional annular developing incompressible laminar flow through 270- degree curved pipe is numerically simulated. The dimensionless governing equations of continuity, momentums and energy are driven in toroidal coordinates. The governing equations are discretized by projection algorithm using forward difference in time and central difference in space. A three-di...

Abstract We study the lattice random walk dynamics in a heterogeneous space of two media separated by an interface and having different diffusivity bias. Depending on position interface, there exist exclusive ways to model dynamics: (a) Type A whereby is placed between points, (b) B point. For both types, we obtain exact results for one-dimensional generating function Green’s or propagator comp...

This paper investigates the quasi-static plane deformation of an isotropic thermoelastic half-space due to buried seismic sources and heat source. Governing equations of thermo-elasticity are solved to obtain solutions for seismic sources in a thermoelastic half-space. The general solutions are acquired with the aid of Laplace and Fourier transforms and with the use of boundary conditions. The ...

Signals with finite rate of innovation are those signals having finite degrees of freedom per unit of time that specify them. In this paper, we introduce a prototypical space Vq(Φ,Λ) modelling signals with finite rate of innovation, such as stream of (different) pulses found in GPS applications, cellular radio and ultra wide-band communication. In particular, the space Vq(Φ,Λ) is generated by a...