Function Spaces of Posets with Projections

This paper investigates function spaces of structures consisting of a partially ordered set together with some directed family of projections.More precisely, given a fixed directed index set (I,), we consider triples (D,,(p _i ) _iI ) with (D,) a poset and (p _i ) _iI a monotone net of projections of D. We call them (I,)-pop's (posets with projections). Our main purpose is to study structure preserving maps between (I,)-pop's. Such homomorphisms respect both order and projections.Any (I,)-pop is known to induce a uniformity and thus a topology. The set of all homomorphisms between two (I,)-pop's turns out to form an (I,)-pop itself. We show that its uniformity is the uniformity of uniform convergence. This enables us to prove that properties such as completeness and compactness transfer to function pop's.Concerning categorical properties of (I,)-pop's, we will see that we are in a lucky situation from a computer scientist's point of view: we obtain Cartesian closed categories. Moreover, by a D -construction we get (I,)-pop's that are isomorphic to their own exponent. This yields new models for the untyped -calculus.     

On Cesàro Means of Double Trigonometric Fourier Series

Zhizhiashvili studied questions associated with the approximation properties of Cesàro means of trigonometric Fourier series for functions of two variables in the spaces H. It is proved here that the corresponding estimate cannot be improved for p = 1 or p = .     

A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

Iterated monoidal categories

We develop a notion of an n-fold monoidal category and show that it corresponds in a precise way to the notion of an n-fold loop space. Specifically, the group completion of the nerve of such a category is an n-fold loop space, and free n-fold monoidal categories give rise to a finite simplicial operad of the same homotopy type as the classical little cubes operad used to parametrize the higher H-space structure of an n-fold loop space. We also show directly that this operad has the same homotopy type as the n-th Smith filtration of the Barratt-Eccles operad and the n-th filtration of Berger's complete graph operad. Moreover, this operad contains an equivalent preoperad which gives rise to Milgram's small model for when n=2 and is very closely related to Milgram's model of for n>2.     

On the commutator of the Marcinkiewicz integral

boundedness is considered for the commutator of higher-dimensional Marcinkiewicz integral. Some conditions implying the and the boundedness for the commutator of the Marcinkiewicz integral are obtained.     

A nonterminating 8φ7 summation for the root system Cr

Using multiple q-integrals and a determinant evaluation, we establish a nonterminating ₈φ₇ summation for the root system C_r. We also give some important specializations explicitly.     

剖析博彩弹子机的赢钱原理

介绍了博彩弹子机 ,运用数学建模法剖析了它的赢钱原理 ,强调了一般博彩业主永远是赢家的道理     

High-power continuous-wave operation of a diode-pumped laser at

The continuous-wave laser properties of an efficient diode-pumped Nd:GdVO₄ crystal operating at formed with a simple plane-concave cavity have been studied. With the incident pump power of 21 W, an output power of 6.9 W was obtained, giving an optical conversion efficiency of 32.8% and a slope efficiency of 35.3%. The laser characterization of two different Nd³⁺-doped concentration of Nd:GdVO₄ crystals were studied.     

用于位置灵敏型中子探测器的6LiF/ZnS（Ag）闪烁体性能研究

研究了掺杂6LiF的ZnS(Ag)闪烁体对中子、γ射线的发光特性和EJ426闪烁体样品的热中子探测效率、出射光产额和γ灵敏度。EJ426的热中子探测效率为32.4%,出射光产额为8.01×103光子/中子,70 mV阈值时的γ灵敏度小于10-7,表明EJ426是较理想的闪烁体型位置灵敏中子探测器材料。