Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.     

Multiple Polarization Encoding for Gray Image Encryption Based on Liquid Crystal Exclusive OR Logic

This work proposes and demonstrates the feasibility of gray image encryption using multiple polarization encoding, in which the cascaded twisted nematic liquid crystal devices sandwiched between a crossed polarizer pair are used to implement exclusive OR (XOR) logical encryption and decryption. The polarization encoding scheme provides a multichannel XOR logic operation to secure bit-plane images derived from a gray image, according to the adiabatic following properties of twisted nematic liquid crystal devices. Experimental data reveal that the multiple polarization encoding schemes for gray image encryption and decryption are performed with acceptable image quality by selecting appropriate polarization orientation and modulation conditions. Both analytic and experimental results are presented and discussed.     

A New View on Fuzzy Hypermodules

We describe the relationship between the fuzzy sets and the algebraic hyperstructures. In fact, this paper is a continuation of the ideas presented by Davvaz in （Fuzzy Sets Syst., 117： 477- 484, 2001） and Bhakat and Das in （Fuzzy Sets Syst., 80： 359-368, 1996）. The concept of the quasicoincidence of a fuzzy interval value with an interval-valued fuzzy set is introduced and this is a natural generalization of the quasi-coincidence of a fuzzy point in fuzzy sets. By using this new idea, the concept of interval-valued （α,β）-fuzzy sub-hypermodules of a hypermodule is defined. This newly defined interval-valued （α,β）-fuzzy sub-hypermodule is a We shall study such fuzzy sub-hypermodules and sub-hypermodules of a hypermodule. generalization of the usual fuzzy sub-hypermodule. consider the implication-based interval-valued fuzzy     

Sobolev-Type Classes of Functions with Values in a Metric Space. II

We prove equivalence of the definitions by the author and by Korevaar and Schoen of the Sobolev classes of mappings of a domain of an arithmetic n-dimensional space to a metric space.     

Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

Partially Classical States of a Boson Field

Employing positive-definiteness arguments we analyse Boson field states, which combine classical and quantum mechanical features (signal and noise), in a constructive manner. Mathematically, they constitute Bauer simplexes within the convex, weak-*-compact state space of the C*-Weyl algebra, defined by a presymplectic test function space (smooth one-Boson wave functions) and are affinely homeomorphic to a state space of a classical field. The regular elements are expressed in terms of weak distributions (probability premeasures) on the dual test function space. The Bauer simplex arising from the bare vacuum is shown to generalize the quantum optical photon field states with positive P-functions.     

Luminescence enhancement by hydrogenation of Si:Er,O

Erbium (Er)- and oxygen (O)-doped Cz–Si was additionally doped with hydrogen, using plasma enhanced chemical vapour deposition. Photoluminescence (PL) spectra show a large enhancement especially for samples treated with solid phase epitaxy before hydrogenation and annealing at 900°C later. Secondary ion mass spectroscopy measurements give evidence for an enhanced diffusion of O and Er at this temperature towards the surface. Etching shows that the PL does not stem from the heavily doped surface layer but from a deeper region with lower Er concentration. This conclusion is supported by the appearance of the so-called “cubic” centre with low solubility. Comparing the PL yield of the hydrogenated samples to that of samples with similar Er volume concentration but without hydrogenation still gives a large enhancement. We thus conclude that hydrogen can enhance the solubility of the cubic centre in Si:Er,O.     

短脉冲强激光在稀薄等离子体中传播时的电磁类孤立子

 采用二维粒子模拟方法，研究了短脉冲强激光在稀薄等离子体中传播时电磁类孤立子的产生和时空演化过程。通过分析电磁场与等离子体波的非线性能量交换和激光场的频率谱结构等，给出了电磁类孤立子形成的基本物理图像，讨论了等离子体参数对电磁类孤立子形成的影响。模拟结果表明：类孤立子的形成是由于局部电磁波振荡频率减小至等离子体频率引起的，初始等离子体密度越高越容易形成空间局域结构。     

Second order parabolic equations in Banach spaces with dynamic boundary conditions

In this paper, we exhibit a unified treatment of the mixed initial boundary value problem for second order (in time) parabolic linear differential equations in Banach spaces, whose boundary conditions are of a dynamical nature. Results regarding existence, uniqueness, continuous dependence (on initial data) and regularity of classical and strict solutions are established. Moreover, several examples are given as samples for possible applications.