on string languages generated by spiking neural p systems

We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the set of spike trains of halting computations of a given system constitutes the language generated by that system. Although the "direct" generative capacity of spiking neural P systems is rather restricted (some very simple languages cannot be generated in this framework), regular languages are inverse-morphic images of languages of finite spiking neural P systems, and recursively enumerable languages are projections of inverse-morphic images of languages generated by spiking neural P systems.

Transient state of chiral recognition in a binary mixture of cyclodextrins in capillary electrophoresis

The transient state (as the defined point where no enantioseparation is obtained in a dual chiral selector system) of chiral recognition of aminoglutethimide in a binary mixture of neutral cyclodextrins (CDs) was studied by capillary electrophoresis (CE). The following three dual selector systems were used: alpha-cyclodextrin (alpha-CD) and beta-cyclodextrin (beta-CD); alpha-CD and heptakis(di-O-methyl-beta-cyclodextrin) (DM-beta-CD); alpha-CD and heptakis(tri-O-methyl-beta-cyclodextrin) (TM-beta-CD). The S-(-) enantiomer of the analyte was more strongly retained in the presence of either alpha-CD or TM-beta-CD at pH 2.5, 100 mM phosphate buffer, while the R-(+) enantiomer was more strongly retained in the presence of either P-CD or DM-P-CD. In the more simple case, the elution order is invariably kept if the enantiomers have the same elution order in either one of the two hosts of the binary mixture. In contrast, the elution order may be switched by varying the concentration ratio of two hosts that produce opposite elution order for this particular analyte. In such a dual selector system, the enantioselectivity will disappear at the transient state at a certain ratio of host,:host, Moreover, the migration times of the two enantiomers with host, alone (diluted in buffer) is approximately equal to the migration times at the corresponding concentration of host, alone (diluted in buffer), where the ratio of concentrations of host,:host, is the same as in the binary mixture at the transient state. As found by nuclear magnetic resonance experiments, the analyte is forming a 1:1 complex with either one of the CDs applied. From this finding, a theoretical model based on the mobility difference of the two enantiomers was derived that was used to simulate the transient state. (C) 2000 Elsevier Science B.V. All rights reserved.

Studies on coarsening of microdomains in binary polymer mixtures by Lattice Boltzmann methods

An improved free energy approach Lattice Boltzmann model(LBM) is proposed by introducing a forcing term instead of the pressure tensor. This model can reach the proper thermodynamic equilibrium after enough simulation time. On the basis of this model, the phase separation in binary polymer mixtures is studied by applying a Flory-Huggins-type free energy. The numerical results show good agreement with the analytic coexistence curve. This model can also be used to study the coarsening of microdomains in binary polymer mixtures at the early and intermediate stages.

STATISTICAL THERMODYNAMICS IN THE FRAMEWORK OF THE LATTICE FLUID MODEL .3. BINARY MIXTURE OF POLYDISPERSE POLYMERS OF SPECIAL DISTRIBUTION WITH STRONG-INTERACTIONS

For a binary mixture of polydisperse polymers with strong interactions, the free energy, the equation of state, the chemical potentials and the spinodal are formulated on the basis of the lattice fluid model. Further, the spinodal curves for the system wi

Predictions of the Pt(8)Ti phase in unexpected systems.

The binary A(8)B phase (prototype Pt(8)Ti) has been experimentally observed in 11 systems. A high-throughput search over all the binary transition intermetallics, however, reveals 59 occurrences of the A(8)B phase: Au(8)Zn(dagger), Cd(8)Sc(dagger), Cu(8)Ni(dagger), Cu(8)Zn(dagger), Hg(8)La, Ir(8)Os(dagger), Ir(8)Re, Ir(8)Ru(dagger), Ir(8)Tc, Ir(8)W(dagger), Nb(8)Os(dagger), Nb(8)Rh(dagger), Nb(8)Ru(dagger), Nb(8)Ta(dagger), Ni(8)Fe, Ni(8)Mo(dagger)*, Ni(8)Nb(dagger)*, Ni(8)Ta*, Ni(8)V*, Ni(8)W, Pd(8)Al(dagger), Pd(8)Fe, Pd(8)Hf, Pd(8)Mn, Pd(8)Mo*, Pd(8)Nb, Pd(8)Sc, Pd(8)Ta, Pd(8)Ti, Pd(8)V*, Pd(8)W*, Pd(8)Zn, Pd(8)Zr, Pt(8)Al(dagger), Pt(8)Cr*, Pt(8)Hf, Pt(8)Mn, Pt(8)Mo, Pt(8)Nb, Pt(8)Rh(dagger), Pt(8)Sc, Pt(8)Ta, Pt(8)Ti*, Pt(8)V*, Pt(8)W, Pt(8)Zr*, Rh(8)Mo, Rh(8)W, Ta(8)Pd, Ta(8)Pt, Ta(8)Rh, V(8)Cr(dagger), V(8)Fe(dagger), V(8)Ir(dagger), V(8)Ni(dagger), V(8)Pd, V(8)Pt, V(8)Rh, and V(8)Ru(dagger) ((dagger) = metastable, * = experimentally observed). This is surprising for the wealth of new occurrences that are predicted, especially in well-characterized systems (e.g., Cu-Zn). By verifying all experimental results while offering additional predictions, our study serves as a striking demonstration of the power of the high-throughput approach. The practicality of the method is demonstrated in the Rh-W system. A cluster-expansion-based Monte Carlo model reveals a relatively high order-disorder transition temperature.

Binary life after the AGB - Towards a unified picture

We attempt to construct a unified evolutionary scheme that includes post-AGB systems, barium stars, symbiotics and related systems, explaining their similarities as well as their differences. Special attention is given to the comparison of the barium pollution and symbiotic phenomena. Finally, we outline a 'transient torus' evolutionary scenario that makes use of the various observational and theoretical hints and aims at explaining the observed characteristics of the relevant systems.

Towards policy-based self-configuration of embedded systems

This paper describes work towards the deployment of flexible self-management into real-time embedded systems. A challenging project which focuses specifically on the development of a dynamic, adaptive automotive middleware is described, and the specific self-management requirements of this project are discussed. These requirements have been identified through the refinement of a wide-ranging set of use cases requiring context-sensitive behaviours. A sample of these use-cases is presented to illustrate the extent of the demands for self-management. The strategy that has been adopted to achieve self-management, based on the use of policies is presented. The embedded and real-time nature of the target system brings the constraints that dynamic adaptation capabilities must not require changes to the run-time code (except during hot update of complete binary modules), adaptation decisions must have low latency, and because the target platforms are resource-constrained the self-management mechanism have low resource requirements (especially in terms of processing and memory). Policy-based computing is thus and ideal candidate for achieving the self-management because the policy itself is loaded at run-time and can be replaced or changed in the future in the same way that a data file is loaded. Policies represent a relatively low complexity and low risk means of achieving self-management, with low run-time costs. Policies can be stored internally in ROM (such as default policies) as well as externally to the system. The architecture of a designed-for-purpose powerful yet lightweight policy library is described. A suitable evaluation platform, supporting the whole life-cycle of feasibility analysis, concept evaluation, development, rigorous testing and behavioural validation has been devised and is described.

Zone based systems design framework for the realisation of efficient block cipher based message authentication code algorithms

A zone based systems design framework is described and utilised in the implementation of a message authentication code (MAC) algorithm based on symmetric key block ciphers. The resulting block cipher based MAC algorithm may be used to provide assurance of the authenticity and, hence, the integrity of binary data. Using software simulation to benchmark against the de facto cipher block chaining MAC (CBC-MAC) variant used in the TinySec security protocol for wireless sensor networks and the NIST cipher block chaining MAC standard, CMAC; we show that our zone based systems design framework can lead to block cipher based MAC constructs that point to improvements in message processing efficiency, processing throughput and processing latency.

Competitive adsorption of reactive dyes from solution: equilibrium isotherm studies in single and multisolute systems

Experimental data of the adsorption of reactive dyestuffs onto Filtrasorb 400 activated carbon (FS400) were determined in an equilibrium isotherm study. As most industrial wastewater contains more than one pollutant, an investigation into the effect of multisolute systems (using the unhydrolysed form of the reactive dyes) on the adsorption capacity was undertaken. Equilibrium isotherm models were employed to describe the adsorption capacities of single, binary and ternary dye solutions. The results of these analyses showed that adsorption of reactive dyes from single and multisolute systems can be successfully described by Langmuir, and Redlich–Peterson equilibrium isotherm models. Experimental data indicated that competitive adsorption for active sites on the carbon surface results in a reduction in the overall uptake capacity of the reactive dyes investigated.

Raman and ab initio studies of simple and binary 1-Alkyl-3-methylimidazolium ionic liquids

Raman spectra of the ionic liquids, 1-butyl-3-methylimidazolium hexafluorophosphate ([C(4)mim][PF(6)]), 1-hexyl-3-methylimidazolium chloride ([C(6)mim]Cl), and 1-hexyl-3-methylimidazolium hexafluorophosphate ([C(6)mim][PF(6)]), and binary mixtures thereof, have been assigned using ab initio MP2 calculations. The previously reported anti and gauche forms of the [C(4)mim](+) cation have been observed, and this study reveals this to be a general feature of the long-chain I-alkyl derivatives. Analysis of mixtures Of [C(6)mim]Cl and [C(6)mim][PF(6)] has provided information on the nature of the hydrogen bonding between the imidazolium headgroup and the anions, and the invariance of the essentially 50:50 mixture of the predominant conformers informs on the nature of glass formation in these systems.

A Brown Dwarf Mass Donor in an Accreting Binary

A long-standing and unverified prediction of binary star evolution theory is the existence of a population of white dwarfs accreting from substellar donor stars. Such systems ought to be common, but the difficulty of finding them, combined with the challenge of detecting the donor against the light from accretion, means that no donor star to date has a measured mass below the hydrogen burning limit. We applied a technique that allowed us to reliably measure the mass of the unseen donor star in eclipsing systems. We were able to identify a brown dwarf donor star, with a mass of 0.052 ± 0.002 solar mass. The relatively high mass of the donor star for its orbital period suggests that current evolutionary models may underestimate the radii of brown dwarfs.

The effect of star-spots on eclipse timings of binary stars

We investigate the effects that star-spots have on the light curves of eclipsing binaries, and in particular how they may affect the accurate measurement of eclipse timings. Concentrating on systems containing a low-mass main-sequence star and a white dwarf, we find that if star-spots exhibit the Wilson depression they can alter the times of primary eclipse ingress and egress by several seconds for typical binary parameters and star-spot depressions. In addition, we find that the effect on the eclipse ingress/egress times becomes more profound for lower orbital inclinations. We show how it is possible, in principle, to determine estimates of both the binary inclination and the depth of the Wilson depression from light curve analysis.

Comparing the implementation of two-dimensional numerical quadrature on GPU, FPGA and ClearSpeed systems to study electron scattering by atoms

The use of accelerators, with compute architectures different and distinct from the CPU, has become a new research frontier in high-performance computing over the past ?ve years. This paper is a case study on how the instruction-level parallelism offered by three accelerator technologies, FPGA, GPU and ClearSpeed, can be exploited in atomic physics. The algorithm studied is the evaluation of two electron integrals, using direct numerical quadrature, a task that arises in the study of intermediate energy electron scattering by hydrogen atoms. The results of our ‘productivity’ study show that while each accelerator is viable, there are considerable differences in the implementation strategies that must be followed on each.

The binary progenitor of Tycho Brahe's 1572 supernova

The brightness of type Ia supernovae, and their homogeneity as a class, makes them powerful tools in cosmology, yet little is known about the progenitor systems of these explosions. They are thought to arise when a white dwarf accretes matter from a companion star, is compressed and undergoes a thermonuclear explosion(1-3). Unless the companion star is another white dwarf ( in which case it should be destroyed by the mass-transfer process itself), it should survive and show distinguishing properties. Tycho's supernova(4,5) is one of only two type Ia supernovae observed in our Galaxy, and so provides an opportunity to address observationally the identification of the surviving companion. Here we report a survey of the central region of its remnant, around the position of the explosion, which excludes red giants as the mass donor of the exploding white dwarf. We found a type G0 - G2 star, similar to our Sun in surface temperature and luminosity ( but lower surface gravity), moving at more than three times the mean velocity of the stars at that distance, which appears to be the surviving companion of the supernova.