Hilbert algebras as implicative partial semilattices

The infimum of elements a and b of a Hilbert algebra are said to be the compatible meet of a and b, if the elements a and b are compatible in a certain strict sense. The subject of the paper will be Hilbert algebras equipped with the compatible meet operation, which normally is partial. A partial lower semilattice is shown to be a reduct of such an expanded Hilbert algebra i ?both algebras have the same ?lters.An expanded Hilbert algebra is actually an implicative partial semilattice (i.e., a relative subalgebra of an implicative semilattice),and conversely.The implication in an implicative partial semilattice is characterised in terms of ?lters of the underlying partial semilattice.     

On the arithmetic product of combinatorial species

We introduce two new binary operations on combinatorial species; the arithmetic product and the modified arithmetic product. The arithmetic product gives combinatorial meaning to the product of Dirichlet series and to the Lambert series in the context of species. It allows us to introduce the notion of multiplicative species, a lifting to the combinatorial level of the classical notion of multiplicative arithmetic function. Interesting combinatorial constructions are introduced; cloned assemblies of structures, hyper-cloned trees, enriched rectangles, etc. Recent research of Cameron, Gewurz and Merola, about the product action in the context of oligomorphic groups, motivated the introduction of the modified arithmetic product. By using the modified arithmetic product we obtain new enumerative results. We also generalize and simplify some results of Canfield, and Pittel, related to the enumerations of tuples of partitions with the restrictions met.     

On unitary analogs of GCD reciprocal LCM matrices

A divisor d ∈ ?₊ of n ∈ ?₊ is said to be a unitary divisor of n if (d, n/d) = 1. In this article we examine the greatest common unitary divisor (GCUD) reciprocal least common unitary multiple (LCUM) matrices. At first we concentrate on the difficulty of the non-existence of the LCUM and we present three different ways to overcome this difficulty. After that we calculate the determinant of the three GCUD reciprocal LCUM matrices with respect to certain types of functions arising from the LCUM problematics. We also analyse these classes of functions, which may be referred to as unitary analogs of the class of semimultiplicative functions, and find their connections to rational arithmetical functions. Our study shows that it does make a difference how to extend the concept of LCUM.     

Wideband film polarizer design

The reflection and transmittance of s- and p-polarized lights should be treated separately at nonzero angle incidence. By choosing two special film materials whose refractive indices meet the Brewster condition in a given incident angle, the reflection of p-polarized light can be eliminated. When the two materials are fabricated into multilayer stacks, the reflection of s-polarized light can be largely increased while the reflection of p-polarized light keeps low. According to this principle, a film polarizer with bandwidth of 198 nm or even more is designed.     

Z-Quantale的进一步结果

引入交Z-quantale的概念,证明了交Z-quantale的所有Z-闭子集构成的集合在包含序下是Frame.讨论了交Z-quantale上的核映射、商、同余三者之间的关系,还证明了Quantale范畴是Z-quantale范畴的反射子范畴.     

Test of BESⅢ RPC in the avalanche mode

The installation of the BESⅢ RPC system has been completed.Cosmic ray test results show that they perform very well in streamer mode and meet the BESⅢ requirements.We have tested several RPCs in the avalanche mode with the addition of extra SF6 in the gas mixture.We find an efficiency plateau that reaches～95%.and a time resolution of 1.8 ns.This demonstrates that the BESⅢ-type RPC can work in the avalanche mode as well.     

强极大TAF代数的交不可约D-模

本文研究了强极大TAF代数的交不可约D-模的有关性质.利用矩阵单元链的方法,证明了全上三角矩阵代数中任一D-模等于包含它的所有交不可约D-模的交,建立了强极大TAF代数的交不可约D-模与矩阵单元链之间的对应关系,推广了强极大TAF代数中关于理想的若干性质.     

Characterizing Continuous dcpos by Liminf Convergence of Filters

It is proved in this note that,under a mild assumption,a dcpo L is continuous if and only if the liminf convergence on L is topological.     

Study on the radiation problem caused by electron beam loss in accelerator tubes

The beam dynamic code PARMELA was used to simulate the transportation process of accelerating electrons in S-band SW linacs with different energies of 2.5, 6 and 20 MeV. The results indicated that in the ideal condition, the percentage of electron beam loss was 50% in accelerator tubes. Also we calculated the spectrum, the location and angular distribution of the lost electrons. Calculation performed by Monte Carlo code MCNP demonstrated that the radiation distribution of lost electrons was nearly uniform along the tube axis, the angular distributions of the radiation dose rates of the three tubes were similar, and the highest leaking dose was at the angle of 160° with respect to the axis. The lower the energy of the accelerator, the higher the radiation relative leakage. For the 2.5 MeV accelerator, the maximum dose rate reached 5% of the main dose and the one on the head of the electron gun was 1%, both of which did not meet the eligible protection requirement for accelerators. We adopted different shielding designs for different accelerators. The simulated result showed that the shielded radiation leaking dose rates fulfilled the requirement.