Ergodic properties and thermodynamic behavior of elementary reversible cellular automata. I. Basic properties

This is the first part of a series devoted to the study of thermodynamic behavior of large dynamical systems with the use of a family of fully-discrete and conservative models named elementary reversible cellular automata (ERCAs). In this paper, basic properties such as conservation laws and phase space structure are investigated in preparation for the later studies. ERCAs are a family of one-dimensional reversible cellular automata having two Boolean variables on each site. Reflection and Boolean conjugation symmetries divide them into 88 equivalence classes. For each rule, additive conserved quantities written in a certain form are regarded as a kind of energy, if they exist. By the aid of the discreteness of the variables, every ERCA satisfies the Liouville theorem or the preservation of phase space volume. Thus, if an energy exists in the above sense, statistical mechanics of the model can formally be constructed. If a locally defined quantity is conserved, however, it prevents the realization of statistical mechanics. The existence of such a quantity is examined for each class and a number of rules which have at least one energy but no local conservation laws are selected as hopeful candidates for the realization of thermodynamic behavior. In addition, the phase space structure of ERCAs is analyzed by enumerating cycles exactly in the phase space for systems of comparatively small sizes. As a result, it is revealed that a finite ERCA is not ergodic, that is, a large number of orbits coexist on an energy surface. It is argued that this fact does not necessarily mean the failure of thermodynamic behavior on the basis of an analogy with the ergodic nature of infinite systems.     

正交各向异性矩形板受迫振动的三维分析

从正交各向异性三维弹性动力学的控制方程出发，在求得四边简支矩形板自由振动频率和位移振型的基础上，构造了受迫振动的位移函数；利用自由振动位移振型的正交性，将控制方程的空间变量和时间变量分离，得到了广义质量、广义力和频率表示的关于时间的2阶常微分方程，从而得到了正交各向异性弹性矩形板在受迫振动下的位移场和应力场．给出了本文方法与薄板理论的算例．     

Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

甲基对硫磷的快速测定及电化学性质

研究了杀虫剂甲基对硫磷的电化学性质。在pH10．38的Bdtton—Robinson缓冲溶液中，采用微分脉冲溶出伏安法在悬汞电极上得到一个还原峰，峰电位为-0．5V(vs．Ag/AgCl)，本工作对实验条件进行了深入的研究，结合线性扫描伏安法等手段。研究了体系的电化学行为。实验表明，甲基对硫磷在汞电极上具有吸附性，电极反应具有不可逆性。该法用于水果及水样中甲基对硫磷残余量的测定，结果满意。     

Energy decay of solutions to Maxwell's equations with conductivity and polarization

In this paper, Maxwell's equations involving generally nonlinear polarization and field-dependent currents are studied. The main objective is the asymptotic behavior of the solution for t→∞ if no damping term occurs in the equation governing the polarization field.     

Neutrino propagation in a weakly magnetized medium

Neutrino-photon processes, forbidden in vacuum, can take place in the presence of a thermal medium and/or an external electro-magnetic field, mediated by the corresponding charged leptons (real or virtual). Such interactions affect the propagation of neutrinos through a magnetized plasma. We investigate the neutrino-photon absorptive processes, at the one-loop level, for massless neutrinos in a weakly magnetized plasma. We find that there is no correction to the absorptive part of the axial-vector-vector amplitude due to the presence of a magnetic field, to the linear order in the field strength.     

三阶脉冲线性微分方程解的振动性与渐近性

给出引理解决了方程非振动解与其各阶导数的符号关系，并由此得到了若干判别准则，用于判别三阶线性脉冲微分方程解的振动性与渐近性，举例说明了准则的有效性。本文推广了相关文献的结果。     

Rhythmic growth of ring‐banded spherulites in blends of liquid crystalline methoxy‐poly(aryl ether ketone) and poly(aryl ether ether ketone)

Rhythmic growth of ring‐banded spherulites in blends of liquid crystalline methoxy‐poly(aryl ether ketone) (M‐PAEK) and poly(aryl ether ether ketone) (PEEK) has been investigated by means of differential scanning calorimetry (DSC), polarized light microscopy (PLM), and scanning electron microscopy (SEM) techniques. The measurements reveal that the formation of the rhythmically grown ring‐banded spherulites in the M‐PAEK/PEEK blends is strongly dependent on the blend composition. In the M‐PAEK‐rich blends, upon cooling, an unusual ring‐banded spherulite is formed, which is ascribed to structural discontinuity caused by a rhythmic radial growth. For the 50:50 M‐PAEK/PEEK blend, ring‐banded spherulites and individual PEEK spherulites coexist in the system. In the blends with PEEK as the predominant component, M‐PAEK is rejected into the boundary of PEEK spherulites. The cooling rate and crystallization temperature have great effect on the phase behavior, especially the ring‐banded spherulite formation in the blends. In addition, the effects of M‐PAEK phase transition rate and phase separation rate on banded spherulite formation is discussed. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 3011–3024, 2007     

Fractional Brownian Heavy Traffic Approximations of Multiclass Feedforward Queueing Networks

We consider multiclass feedforward queueing networks under first in first out and priority service disciplines driven by long-range dependent arrival and service time processes. We show that in critical loading the normalized workload, queue length and sojourn time processes can converge to a multi-dimensional reflected fractional Brownian motion. This weak heavy traffic approximation is deduced from a deterministic pathwise approximation of the network behavior close to constant critical load in terms of the solution of a Skorokhod problem. Since we model the doubly infinite time interval, our results directly cover the stationary case.AMS subject classification: primary 90B15, secondary 60K25, 68M20     

Cauchy problems for linear thermoelastic systems of type III in one space variable

The goal of the paper is to analyse properties of solutions for linear thermoelastic systems of type III in one space variable. Our approach does not use energy methods, it bases on a special diagonalization procedure which is different in different parts of the phase space. This procedure allows to derive explicit representations of solutions. These representations help to prove results for well‐posedness of the Cauchy problem, L^P–L^q decay estimates on the conjugate line and results for propagation of singularities. Copyright © 2005 John Wiley & Sons, Ltd.