1,216 research outputs found
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 near the boundary of the disk.
In the spinless case we show that , for 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 and
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
- …