Testing Identifiable Kernel P Systems Using an X-machine Approach

This paper presents a testing approach for kernel P systems (kP systems), based on the X-machine testing framework and the concept of cover automaton. The testing methodology ensures that the implementation conforms the speci cations, under certain conditions, such as the identi ably concept in the context of kernel P systems

Magneto-optical imaging of magnetic deflagration in Mn12-Acetate

For the first time, the morphology and dynamics of spin avalanches in Mn12-Acetate crystals using magneto-optical imaging has been explored. We observe an inhomogeneous relaxation of the magnetization, the spins reversing first at one edge of the crystal and a few milliseconds later at the other end. Our data fit well with the theory of magnetic deflagration, demonstrating that very slow deflagration rates can be obtained, which makes new types of experiments possible.Comment: 5 two-column pages, 3 figures, EPL styl

Integration testing of heterotic systems

Computational theory and practice generally focus on single-paradigm systems, but relatively little is known about how best to combine components based on radically different approaches (e.g. silicon chips and wetware) into a single coherent system. In particular, while testing strategies for single-technology artefacts are generally well developed, it is unclear at present how to perform integration testing on heterotic systems: can we develop a test-set generation strategy for checking whether specified behaviours emerge (and unwanted behaviours do not) when components based on radically different technologies are combined within a single system? In this paper, we describe an approach to modelling multi-technology heterotic systems using a general-purpose formal specification strategy based on Eilenberg's X-machine model of computation. We show how this approach can be used to represent disparate technologies within a single framework, and propose a strategy for using these formal models for automatic heterotic test-set generation. We illustrate our approach by showing how to derive a test set for a heterotic system combining an X-machine-based device with a cell-based P system (membrane system)

Edge- and Node-Disjoint Paths in P Systems

In this paper, we continue our development of algorithms used for topological network discovery. We present native P system versions of two fundamental problems in graph theory: finding the maximum number of edge- and node-disjoint paths between a source node and target node. We start from the standard depth-first-search maximum flow algorithms, but our approach is totally distributed, when initially no structural information is available and each P system cell has to even learn its immediate neighbors. For the node-disjoint version, our P system rules are designed to enforce node weight capacities (of one), in addition to edge capacities (of one), which are not readily available in the standard network flow algorithms.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005

Building an adaptive agent to monitor and repair the electrical power system of an orbital satellite

Over several years we have developed a multistrategy apprenticeship learning methodology for building knowledge-based systems. Recently we have developed and applied our methodology to building intelligent agents. This methodology allows a subject matter expert to build an agent in the same way in which the expert would teach a human apprentice. The expert will give the agent specific examples of problems and solutions, explanations of these solutions, or supervise the agent as it solves new problems. During such interactions, the agent learns general rules and concepts, continuously extending and improving its knowledge base. In this paper we present initial results on applying this methodology to build an intelligent adaptive agent for monitoring and repair of the electrical power system of an orbital satellite, stressing the interaction with the expert during apprenticeship learning

On essential self-adjointness for magnetic Schroedinger and Pauli operators on the unit disc in R^2

We study the question of magnetic confinement of quantum particles on the unit disk \ID in \IR^2, i.e. we wish to achieve confinement solely by means of the growth of the magnetic field $B(\vec x)$ near the boundary of the disk. In the spinless case we show that $B(\vec x)\ge \frac{\sqrt 3}{2}\cdot\frac{1}{(1-r)^2}-\frac{1}{\sqrt 3}\frac{1}{(1-r)^2\ln \frac{1}{1-r}}$, for $|\vec x|$ close to 1, insures the confinement provided we assume that the non-radially symmetric part of the magnetic field is not very singular near the boundary. Both constants $\frac{\sqrt 3}{2}$ and $-\frac{1}{\sqrt 3}$ are optimal. This answers, in this context, an open question from Y. Colin de Verdi\`ere and F. Truc. We also derive growth conditions for radially symmetric magnetic fields which lead to confinement of spin 1/2 particles.Comment: 18 pages; the main theorem has been expanded and generalize

Graph-Controlled Insertion-Deletion Systems

In this article, we consider the operations of insertion and deletion working in a graph-controlled manner. We show that like in the case of context-free productions, the computational power is strictly increased when using a control graph: computational completeness can be obtained by systems with insertion or deletion rules involving at most two symbols in a contextual or in a context-free manner and with the control graph having only four nodes.Comment: In Proceedings DCFS 2010, arXiv:1008.127

Engineering design tropisms: Utilization of a bamboo-resin joint for voxelized network geometries

We propose the combination of the traditional construction material bamboo with a novel epoxy-resin joint. The joint forms a bending-resisting connection that eliminates the need for diagonal members. This allows its utilization along rectangular grids as was tested with the design of a prototype structure that occupies a voxelized space. The design process used an agent-based simulation to mediate between design intent, site and structural considerations. The prototype was constructed with a robotic milling of the components and forms a successful application of the joints and design methodology

Vortex patterns in a superconducting-ferromagnetic rod

A superconducting rod with a magnetic moment on top develops vortices obtained here through 3D calculations of the Ginzburg-Landau theory. The inhomogeneity of the applied field brings new properties to the vortex patterns that vary according to the rod thickness. We find that for thin rods (disks) the vortex patterns are similar to those obtained in presence of a homogeneous magnetic field instead because they consist of giant vortex states. For thick rods novel patterns are obtained as vortices are curve lines in space that exit through the lateral surface.Comment: 4 pages, 4 figues, Proceeding of the Sixth International Conference in School Format on Vortex Matter in Nanostructured Superconductors (VORTEX VI