Modelling concurrency with comtraces and generalized comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not later than” relationship. In this paper, we first introduce the novel notion of generalized comtraces, extensions of comtraces that can additionally model the “non-simultaneously” relationship. Then we study some basic algebraic properties and canonical representations of comtraces and generalized comtraces. Finally we analyze the relationship between generalized comtraces and generalized stratified order structures. The major technical contribution of this paper is a proof showing that generalized comtraces can be represented by generalized stratified order structures.     

Transition layer thickness in microlaminar deposits

A theoretical analysis was carried out on the change of composition of a deposit obtained by the dual pulse method of forming laminar metal foils, with transition from a low current to a high current pulse, both in the galvanostatic and the potentiostatic mode of deposition. It was shown that the existence of a transition layer of varying composition between a layer of pure metal 1 and a layer consisting predominantly of the metal 2 is an inherent consequence of the electrochemical process, primarily because of an induction period in the concentration polarization with respect to ions of metal 1. The importance of this transition layer increases as the thickness of the layers of the two metals decreases. Eventually this limits the possibility of obtaining a sharp boundary between the layers, when the nanometre region of layer thickness is reached. Equations are given for calculating the deposition current density and rate of stirring of the electrolyte which provide a deposit of a required level of metal 1 in the layer of metal 2, as well as a required sharpness of the boundary between two layers. Experimental proof of the correctness of the analysis was sought. It was found that significant changes in the properties of the deposit occur in the same range of layer thickness in which the transition of the composition takes places.Nomenclature _c,1, a_c,2 transfer coefficient of the cathodic processes - C interfacial capacitance - C₁, C₂ concentration of the ions of metals 1 and 2 at the interface r - C ₀ ¹ , C ₀ ² concentration of ions of the metals 1 and 2 in solution - D ₁ diffusion coefficient for the diffusion of ions of the metal 1 - E _r,1,E _r,2 reversible potentials of metals 1 and 2, respectively - F the Faraday constant - J ₀ ¹ ,J ₀ ² exchange current density of the metals 1 and 2, respectively - M ₁,M ₂ atomic weights of the metals 1 and 2, respectively - kinematic viscosity of solution - ₁, ₂ densities of the metals 1 and 2 respectively - rotation speed (r.p.s.) - z number of electrons exchanged in the deposition process This paper is dedicated to Professor Brian E. Conway on the occasion of his 65th birthday, and in recognition of his outstanding contribution to electrochemistry.     

A Multiphase Pore Scale Network Model of Gas Exchange in Apple Fruit

A multiphase pore scale network model was developed to describe mass transfer in apple fruit. The 3D microscale geometry of the tissue was reconstructed from synchrotron radiation tomography images. Individual cells and pores were identified using a watershed segmentation procedure on a Euclidean distance map of the tissue microstructure. Further morphological characteristics of each individual pore, including its volume, connections to the neighbors and the connected area between the pore and its neighbors, were determined. The tissue was represented by a network of nodes (simplified individual pores and cells) that were interconnected by tubes. The transport of the respiratory gases O₂ and CO₂ between two nodes was modelled using diffusion laws and irreversible thermodynamics, while respiration was taken into account in the individual cellular nodes. A numerical procedure was applied to simulate the gas transport within the discrete network and to compute the local diffusivities of the links in the network. The predicted overall gas diffusivities compared well to experimental data and results computed from a microscale continuum model, thereby validating the pore scale network model. This approach is a computationally attractive alternative to a continuum multiphase approach for modelling gas transport in fruit.     

Reasons underlying behaviour of motorcyclists disregarding traffic regulations in urban areas of Indonesia

Over the last decade, motorcycle use has been rapidly increasing in Indonesia as have violations of traffic rules committed by motorcyclists. This study aims to explore the impacts of motorcyclists’ attitudes, habits, preferences, and travel patterns on their behaviour in disregarding traffic regulations in three cities in Indonesia. The theory of planned behaviour and structural equation modelling are employed to explore these relationships. Consistent with results from previous studies in developed countries, an individual’s beliefs and attitudes, social norms and perceived behaviour control significantly influence behaviour in disregarding traffic rules. Young adults and students are found to be more likely to frequently violate traffic regulations. However, unlike previous findings from developed countries, in Indonesia, males are less likely to disregard traffic rules than females. Overall, pushing the motorcycle through a (very) narrow gap, speeding, driving recklessly, and overtaking on the wrong side are the most frequent traffic violations that make up repetitive violation behaviour among urban motorcyclists in Indonesia. The results highlight the need to revisit Indonesian National Traffic Law traffic violation classification and penalties and separate violations that are likely to cause fatal results, thus requiring tougher law enforcement, from violations that are unlikely to have fatal consequences.     

Bioavailability Studies and in vitro Profiling of the Selective Excitatory Amino Acid Transporter Subtype 1 (EAAT1) Inhibitor UCPH‐102

Although the selective excitatory amino acid transporter subtype 1 (EAAT1) inhibitor UCPH‐101 has become a standard pharmacological tool compound for in vitro and ex vivo studies in the EAAT research field, its inability to penetrate the blood–brain barrier makes it unsuitable for in vivo studies. In the present study, per os (p.o.) administration (40 mg kg^?1) of the closely related analogue UCPH‐102 in rats yielded respective plasma and brain concentrations of 10.5 and 6.67 μm after 1 h. Three analogue series were designed and synthesized to improve the bioavailability profile of UCPH‐102, but none displayed substantially improved properties in this respect. In vitro profiling of UCPH‐102 (10 μm ) at 51 central nervous system targets in radioligand binding assays strongly suggests that the compound is completely selective for EAAT1. Finally, in a rodent locomotor model, p.o. administration of UCPH‐102 (20 mg kg^?1) did not induce acute effects or any visible changes in behavior.     

Nusselt number correlations for a microchannel heat exchanger hot water supplier with S-shaped fins

Using 3D-CFD code, Nusselt number correlations for a microchannel heat exchanger (MCHE) with S-shaped fins used for hot water suppliers are obtained through numerical experiments and then validated. The supercritical carbon dioxide working fluid is assumed to operate around the pseudo-critical point, where fluid properties change radically. Calculations with 20 different temperatures are executed to produce Nusselt number correlations for each side. The fluid inlet temperature in each calculation is defined as 2 °C lower or higher than the constant wall temperature, respectively, for cold and hot side simulations. The small temperature difference of 2 °C is sufficiently small to regard thermal–hydraulic properties as constant. A new integrating method using the correlations to calculate the heat-transfer-performance is proposed. The resultant heat-transfer-performance is compared with that of another numerical result, which is reduced from large geometry and integration. The results agree within 3% error; the calculation accuracy of the method is confirmed. Experimental results with MCHE verify the correlations. The difference is approximately 5%. Using few computer resources, these Nusselt number correlations and the heat-transfer-performance calculation methods using correlation information are sufficiently accurate to evaluate heat exchangers.     

Perturbation technique and method of fundamental solution to solve nonlinear Poisson problems

We show in this work that the Asymptotic Numerical Method (ANM) combined with the Method of Fundamental Solution (MFS) can be a robust algorithm to solve the nonlinear Poisson problem. The ANM transforms the nonlinear problem into a sequence of linear ones which can be solved by MFS. This last method consists of approximating the solution of the linear Poisson problem by a linear combination of fundamental solutions. Some examples are presented to show the efficiency of the proposed method.     

Studies of the copolymerisation of acrylic acid with n‐butyl vinyl ether

BACKGROUND: Copolymers of acrylic acid (AA) are important materials for the preparation of glass ionomer cements. Copolymerisation of AA is widely used to alter the acid strength of the material and to increase the number of salt bridges formed in cements. In this paper we report the copolymerisation of AA with n‐butyl vinyl ether (BVE) to form unique copolymers of the hemiacetal ester and with BVE incorporated into the main chain. RESULTS: AA and BVE undergo a spontaneous reaction to form a hemiacetal ester which can itself undergo free radical copolymerisation. The kinetics of this reaction in the bulk state have been examined. In addition, under these conditions BVE is incorporated into the polymer main chain via a free radical mechanism. CONCLUSION: Novel copolymers of the hemiacetal ester and BVE have been prepared in this study. The hemiacetal side chains are labile under moderate heating, being converted back to the acid analogue. Copyright © 2009 Society of Chemical Industry     

VSAT Networks—an overview

This paper examines the technology and constraints of very small aperture terminals (VSAT) networks, a special type of wide-area thin-route satellite network that represents a recent innovation in the field of satellite communications. VSAT network architectures suitable for both data and voice communications are studied in this paper. Several issues concerning the frequency of operations, that is, C-band versus Ku-band are examined, and trade-offs between non-spread spectrum and spread spectrum techniques, as well as modulation and multiple access schemes, are considered in detail. Link design examples are given to illustrate the performance of various types of VSAT networks.     

Onset of gravitactic bioconvection in a square anisotropic porous medium with arbitrary orientation of the principal axes

This paper examines the onset of negative gravitactic bioconvection in a porous square cavity. The porous medium is assumed to be anisotropic in permeability with its principal axes arbitrarily oriented with respect to the gravity vector, and contains a concentration of microorganisms which are assumed to be swimming upward against gravity (negative gravitaxis). The critical Rayleigh number Ra_c at marginal stability is calculated as a function of the microorganism swimming speed V_c, of the anisotropy ratio R, and of the orientation angle θ.