Kinetic Parameters of Ion-Exchange Membrane in Amino Acid Solutions

Kinetic parameters of amino acid cations in an MK-40 ion-exchange membrane are calculated from the conductivity data. A theoretical quantum-chemical analysis of experimental activation energies for conduction suggests a mechanism of elementary act of transport of amino acid cations in the membrane.     

Dynamic boundary stabilization of a Reissner–Mindlin plate with Timoshenko beam

This paper is concerned with well‐posedness results for a mathematical model for the transversal vibrations of a two‐dimensional hybrid elastic structure consisting of a rectangular Reissner–Mindlin plate with a Timoshenko beam attached to its free edge. The model incorporates linear dynamic feedback controls along the interface between the plate and the beam. Classical semigroup methods are employed to show the unique solvability of the coupled initial‐boundary‐value problem. We also show that the energy associated with the system exhibits the property of strong stability. Copyright © 2004 John Wiley & Sons, Ltd.     

Uniformity in Computable Structure Theory

We investigate the effects of adding uniformity requirements to concepts in computable structure theory such as computable categoricity (of a structure) and intrinsic computability (of a relation on a computable structure). We consider and compare two different notions of uniformity, previously studied by Kudinov and by Ventsov. We discuss some of their results and establish new ones, while also exploring the connections with the relative computable structure theory of Ash, Knight, Manasse, and Slaman and Chisholm and with previous work of Ash, Knight, and Slaman on uniformity in a general computable structure-theoretical setting.     

Stability Conditions of the MMAP [ K ]/ G [ K ]/1/ LCFS Preemptive Repeat Queue

In this paper, we study the stability conditions of the MMAP[K]/G[K]/1/LCFS preemptive repeat queue. We introduce an embedded Markov chain of matrix M/G/1 type with a tree structure and identify conditions for the Markov chain to be ergodic. First, we present three conventional methods for the stability problem of the queueing system of interest. These methods are either computationally demanding or do not provide accurate information for system stability. Then we introduce a novel approach that develops two linear programs whose solutions provide sufficient conditions for stability or instability of the queueing system. The new approach is numerically efficient. The advantages and disadvantages of the methods introduced in this paper are analyzed both theoretically and numerically.     

New suggestion for electronic structure of the ground state of ozone

Determination of electronic structure of ozone related geometry is the main subject in this research. The proposed electronic structure must satisfy the experimental geometry, explain the excellent oxidizing properties of ozone, and can also explain the capability of additional reaction with unsaturated hydrocarbons. The potential energy surface of singlet and triplet state of ozone has been studied in order to check the correctness of the proposed structure. The proposed electronic structure of ozone is capable of explaining the oxidizing behavior of ozone in visible wavelength (daylight) 430–700 nm. For comparison, the other proposed structure of ozone in literature such as Pauling, Linnett and Weinhold has also been discussed. The main method used in this research is well-known density functional procedure, B3LYP, which takes the electron correlation aspect into consideration. The polarization and diffused functions are included in the basis set, 6-311++G**. The obtained geometry is a bent and cumulated double bond with inter-bond angle 118.42° (1.39%), and bond length 1.256 Å (1.72%). The obtained results revealed that frontier orbital theory is a proper tool for explaining the addition reaction.     

Local adsorption sites and bondlength changes in Ni(1 0 0)/H/CO and Ni(1 0 0)/CO

The local adsorption geometry of CO adsorbed in different states on Ni(1 0 0) and on Ni(1 0 0) precovered with atomic hydrogen has been determined by C 1s (and O 1s) scanned-energy mode photoelectron diffraction, using the photoelectron binding energy changes to characterise the different states. The results confirm previous spectroscopic assignments of local atop and bridge sites both with and without coadsorbed hydrogen. The measured Ni–C bondlengths for the Ni(1 0 0)/CO states show an increase of 0.16 ± 0.04 Å in going from atop to bridge sites, while comparison with similar results for Ni(1 1 1)/CO for threefold coordinated adsorption sites show a further lengthening of the bond by 0.05 ± 0.04 Å. These changes in the Ni–CO chemisorption bondlength with bond order (for approximately constant adsorption energy) are consistent with the standard Pauling rules. However, comparison of CO adsorbed in the atop geometry with and without coadsorbed hydrogen shows that the coadsorption increases the Ni–C bondlength by only 0.06 ± 0.04 Å, despite the decrease in adsorption energy of a factor of 2 or more. This result is also reproduced by density functional theory slab calculations. The results of both the experiments and the density functional theory calculations show that CO adsorption onto the Ni(1 0 0)/H surface is accompanied by significant structural modification; the low desorption energy may then be attributed to the energy cost of this restructuring rather than weak local bonding.     

模糊全区间序结构

本文试图对模糊偏好结构及模糊全区间序结构的定义进行探讨，并讨论它们的性质．以Fodor等提出的公理为基础，给出了模糊偏好结构的定义，同时对一类重要的模糊偏好结构-模糊全区间序结构的性质进行了讨论，得出了模糊全区间序结构的一些充要条件．     

Evolution of grain structure in thin film reactions

In this paper, we examine, both experimentally and theoretically, the kinetics of formation and microstructure of product phases in thin film reactions, using the Nb/Al and Ti/Al systems as our prototypes. The results of calorimetry and microscopy studies are interpreted using simple kinetic and morphology models. In particular, the kinetic models employed here focus on the nucleation and growth components of the phase formation process and the morphology models provide a starting point for the classification of product grain structures. An erratum to this article is available at .     

智能工作站主机的MMPIS实验模型研究──一个全互连式结构MMPIS硬件环境的设计与实现

本文介绍中日国际合作开发研究的Ａ１型智能网（Ａ１型ＩＮ）智能工作站（ＩＷ）主机的并行推理硬件结构的实验模型设计与实现，给出了一种并行推理硬件支持环境实现方案和该方案在实现中若干问题的解决方法。