An ideal topology type convergent theorem on scale effect algebras

The famous Antosik-Mikusinski convergent theorem on the Abel topological groups has very extensive applications in measure theory, summation theory and other analysis fields. In this paper, we establish the theorem on a class of effect algebras equipped with the ideal topology. This paper shows also that the ideal topology of effect algebras is a useful topology in studying the quantum logic the- ory.     

Model for Nanoscopic Domain Formation in Dipalmitoyl-PC/Dilauroyl-PC/Cholesterol Mixture

We describe the lyotropic liquid crystalline phase transitions in the lipid mixture dipalmitoil-PC/dilauroy-PC/cholesterol by 3D spin-1 lattice model. The formation of nanoscale domains with the characteristic size about 300 nm was studied in experiments on confocal fluorescence microscopy (CFM) (G. V. Feigenson and J. T. Buboltz, Biophys. J. 80, 2775 (2001)). The structure parameters of the lamellar vesicle in dipalmitoil-PC-rich phase, corresponding to these regions, are verified by numerical Monte Carlo simulations on the lattice. We point its superconductivity analogy properties at the region of phase stability for composition-dependent nanoscopic region.     

A Hermitian Box-scheme for One-dimensional Elliptic Equations – Application to Problems with High Contrasts in the Ellipticity

We introduce a new box-scheme, called ``hermitian box-scheme' on the model of the one-dimensional Poisson problem. The scheme combines features of the box-scheme of Keller, [20], [13], with the hermitian approximation of the gradient on a compact stencil, which is characteristic of compact schemes, [9], [21]. The resulting scheme is proved to be 4th order accurate for the primitive unknown u and its gradient p. The proved convergence rate is 1.5 for (u,p) in the discrete L ² norm. The connection with a non standard mixed finite element method is given. Finally, numerical results are displayed on pertinent 1-D elliptic problems with high contrasts in the ellipticity, showing in practice convergence rates ranging from 1 to 2.5 in the discrete H ¹ norm. This work has been performed with the support of the GDR MOMAS, (ANDRA, CEA, EDF, BRGM and CNRS): Modélisation pour le stockage des déchets radioactifs. The author thanks especially A. Bourgeat for his encouragements and his interest in this work.     

Decreasing miscibility with greater heterogeneity in ternary polymer blend: poly(cyclohexyl methacrylate), poly(α‐methyl styrene) and poly(4‐methyl styrene)

A ternary blend system comprising poly(cyclohexyl methacrylate) (PCHMA), poly(α‐methyl styrene) (PαMS) and poly(4‐methyl styrene) (P4MS) was investigated by thermal analysis, optical and scanning electron microscopy. Ternary phase behaviour was compared with the behaviour for the three constituent binary pairs. This study showed that the ternary blends of PCHMA/PαMS/P4MS in most compositions were miscible, with an apparent glass transition temperature (T_g) and distinct cloud‐point transitions, which were located at lower temperatures than their binary counterparts. However, in a closed‐loop range of compositions roughly near the centre of the triangular phase diagram, some ternary blends displayed phase separation with heterogeneity domains of about 1 µm. Therefore, it is properly concluded that ternary PCHMA/PαMS/P4M is partially miscible with a small closed‐loop immisciblity range, even though all the constituent binary pairs are fully miscible. Thermodynamic backgrounds leading to decreased miscibility and greater heterogeneity in a ternary polymer system in comparison with the binary counterparts are discussed. © 2003 Society of Chemical Industry     

Copolymerization of bromophenylmaleimide with ethyl or butyl methacrylate

N‐p‐Bromophenylmaleimide (BrPMI) does not polymerize in solution by conventional free radical mechanism. However, it readily polymerized in bulk when mixed with a free radical initiator and heated in a microwave oven for 7–8 min. Copolymerization of ethyl methacrylate or butyl methacrylate with BrPMI was conducted in dioxane. The copolymers were characterized by IR and ¹H NMR spectroscopy and gel permeation chromatography. The monomer reactivity ratios were calculated by a non‐linear least‐square analysis. Thermal analysis indicated a great improvement in thermal stability of the copolymers compared with the methacrylate homopolymers. BrPMI was also polymerized in bulk in the DSC pan, which allowed the calculation of the activation energy of its polymerization. Copyright © 2003 Society of Chemical Industry     

Kripke Semantics for Modal Substructural Logics

We introduce Kripke semantics for modal substructural logics, and provethe completeness theorems with respect to the semantics. Thecompleteness theorems are proved using an extended Ishihara's method ofcanonical model construction (Ishihara, 2000). The framework presentedcan deal with a broad range of modal substructural logics, including afragment of modal intuitionistic linear logic, and modal versions ofCorsi's logics, Visser's logic, Méndez's logics and relevant logics.     

Numerical Modeling of Silicon Photodiodes for High-Accuracy Applications Part I. Simulation Programs

The suitability of the semiconductor-device modeling program PC-1D for high-accuracy simulation of silicon photodiodes is discussed. A set of user interface programs optimized to support high-accuracy batch-mode operation of PC-1D for modeling the internal quantum efficiency of photodiodes is also described. The optimization includes correction for the dark current under reverse- and forward-bias conditions before calculating the quantum efficiency, and easy access to the highest numerical accuracy available from PC-1D, neither of which is conveniently available with PC-1D’s standard user interface.     

Hydrogen absorption by Pd-coated ZrNi prepared by using Barrel-Sputtering System

To improve the durability of hydrogen storage materials against surface poisoning by impurity gases, effectiveness of Pd-coating layer prepared by using a Barrel-Sputtering System was examined for ZrNi powder. The effectiveness of Pd-coating was evaluated by activation temperature, at which Pd/ZrNi poisoned by air could be activated to absorb hydrogen. Characterization of Pd-coated ZrNi (denoted as Pd/ZrNi) by scanning electron microscopy, electron probe microanalysis and X-ray diffraction showed that a uniform Pd-coating layer was formed with the barrel-sputtering system. It was found that the poisoned Pd/ZrNi sample could be activated even at 423 K to absorb hydrogen at room temperature. This exhibits remarkable contrast to bare ZrNi, which could be only activated appreciably above 1073 K. It is concluded that the Pd-coating by barrel sputtering is quite effective to avoid the effect of surface poisoning of powdery hydrogen storage materials. However, the activation at excessively high temperature resulted in the loss of high activity to absorb hydrogen. It was concluded that this phenomenon was associated with reactions between Pd and ZrNi to form PdZr and other byproducts.     

A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol

We present a formal model of asynchronous communication between two digital hardware devices. The model takes the form of a function in the Boyer-Moore logic. The function transforms the signal stream generated by one processor into that consumed by an independently clocked processor, given the phases and rates of the two clocks and the communications delay. The model can be used quantitatively to derive concrete performance bounds on communications at ISO protocol level 1 (physical level). We use the model to show that an 18-bit/cell biphase mark protocol reliably sends messages of arbitrary length between two processors provided the ratio of the clock rates is within 5% of unity.