Gathering identical autonomous systems on a circle using stigmergy

In this paper we provide a protocol solving the problem of gathering of identical autonomous systems (aka ants) on a circle. In our biologically inspired model the autonomous systems are unable to communicate directly, instead they employ the mechanism of pheromone marking. The gathering on a circle is not always solvable, however our protocol will terminate in finite time if ants are in a general initial position. Since the gathering problem on a line is unsolvable for obvious reasons for any non-degenerate initial position, this implies that if the ants are in generic initial position they will be able to decide in finite time whether they are on a line or on a circle. We give asymptotic bounds for the time our protocol needs to terminate, and show that for fixed number of ants, the termination time of any protocol can be arbitrarily long. Finally, our protocol may be adopted to the case of asynchronous drop-downs and starting times of the autonomous systems.     

Linear color segmentation and its implementation

A framework for color image segmentation is presented, which combines color histogram analysis and region merging approach. Its main goal is to segment an image at material boundaries (i.e., discontinuities of reflectance properties) while ignoring spatial color inhomogeneities of uniformly pigmented (colored) objects, caused by accidents of illumination and viewing geometry. Theoretical examination of light spectrum transformations upon light reflection from material surfaces and upon interaction with a sensor system shows that in a wide variety of viewed scenes (even containing interreflections and highlight areas) uniformly pigmented objects are projected to the color space of the sensor as planar, linear, or point-like clusters, depending on lighting and viewing conditions and object geometry. To detect such clusters in the color space, three methods are suggested: Generalized Hough Transform method, gradient descent method, and eigenvectors method. A framework algorithm of color segmentation based on region merging approach is developed, which can use any of these methods. Testing this algorithm with both artificially generated and real images shows quite reliable results.     

Multi-Agent Dynamic Logics with Informational Test

This paper investigates a family of logics for reasoning about the dynamic activities and informational attitudes of agents, namely the agents' beliefs and knowledge. The logics are based on a new formalisation and semantics of the test operator of propositional dynamic logic and a representation of actions which distinguishes abstract actions from concrete actions. The new test operator, called informational test, can be used to formalise the beliefs and knowledge of particular agents as dynamic modalities. This approach is consistent with the formalisation of the agents' beliefs and knowledge as K(D)45 and S5 modalities. Properties concerning informativeness, truthfulness and preservation of beliefs are proved for a derivative of the informational test operator. It is shown that common belief and common knowledge can be expressed in the considered logics. This means, the logics are more expressive than propositional dynamic logic with an extra modality for belief or knowledge. The logics remain decidable and belong to 2EXPTIME. Versions of the considered logics express natural additional properties of beliefs or knowledge and interaction of beliefs or knowledge with actions. It is shown that a simulation of PDL can be constructed in one of these extensions.     

Geometry control of the junction between two fractal curves

The general objective of our work is to create a geometric modeller based on iterative processes. With this objective in mind, we have to provide tools that work with fractal objects in the same manner as with objects of classical topology. In this article we focus on the constructing of an intermediate curve between two other curves defined by different iterative construction processes. A similar problem often arises with subdivision surfaces, when the goal is to connect two surfaces with different subdivision masks. We start by dealing with curves, willing to later generalise our approach to surfaces. We formalise the problem with the Boundary Controlled Iterated Function System model. Then we deduct the conditions that guarantees continuity of the intermediate curve. These conditions determine the structure of subdivision matrices. By studying the eigenvalues of the subdivision operators, we characterise the differential behaviour at the connection points between the curves and the intermediate one. This behaviour depends on the nature of the initial curves and coefficients of the subdivision matrices. We also suggest a method to control the differential behaviour by adding intermediate control points.     

Analysis of the Earthʼs magnetic field variations on the basis of a wavelet-based approach

In the present paper we will discuss a new wavelet-based approach aimed at processing and analyzing different features of complex geomagnetic signals. This approach makes it possible to automatically extract different kinds of disturbances in the Earth?s magnetic field variations, which characterize solar activity and help to predict magnetic storms. In order to analyze geomagnetic signals wavelet packets are used in order to isolate local variations for quiet and perturbed periods and determine their intensity. Furthermore, a new automatic method of calculating the index of geomagnetic activity K is suggested on the basis of forming a quiet-day diurnal variation (Sq-curve). This method allows us to do calculations in the way that is closest to that developed by J. Bartels, who introduced the K-index in 1938. The results are compared with those obtained by INTERMAGNET and the original method of J. Bartels and the advantages of the suggested method are clearly demonstrated. For geomagnetic data collected in high-latitude regions of our planet it has become possible to reduce the error of estimating the K-index by 20% and unlike the technique used by INTERMAGNET here all the calculations can be done automatically. We will use geomagnetic signals that were kindly provided to us by the Institute of Cosmophysical Research and Radio Wave Propagation (Paratunka, Kamchatka region, Far East of Russia) for the period from January, 2002 till December, 2010.     

Controllable Generation of a Submillimeter Single Bubble in Molten Metal Using a Low-Pressure Macrosized Cavity

Metallurgical and Materials Transactions B - We develop a method for generation of a single gas bubble in a pool of molten metal. The method can be useful for applications and research studies...     

One‐Step Formulation of Protein Microparticles with Tailored Properties: Hard Templating at Soft Conditions

Formulation of therapeutic proteins into particulate forms is a main strategy for site‐specific and prolonged protein delivery as well as for protection against degradation. Precise control over protein particle size, dispersity, purity, as well as mild preparation conditions and minimal processing steps are highly desirable. It is, however, hard to fit all these criteria with conventional preparation techniques. Here a one‐step hard‐templating synthesis of microparticles composed of functional, non‐denatured protein is reported. The method is based on filling porous CaCO₃ microtemplates with the protein near to its isoelectric point (pI) followed by pH‐ or EDTA‐mediated dissolution of the tempplates. In principle, a wide variety of proteins can be converted into microparticles using this approach. The main requirement is an overlap of the protein insolubility and a template solubility for a certain parameter (here pH or EDTA). Here the formulation of insulin particles is studied in detail and it is shown that particles consisting of high molecular weight protein (catalase) can also be prepared. In this context, the synthesis of CaCO₃ templates with controlled size, the mechanism of the protein microparticle formation and mechanical properties of the microparticles are discussed. For the first time, the fabrication of mesoporous monodispersed CaCO₃ microtemplates with identical porocity but tuned diameter from 3 to 20 μm is demonstrated. The protein particle diameter can be adjusted by choosing the appropriate template size that is critical for successful pulmonary delivery of insulin. As a first step towards insulin delivery, the in vitro release of insulin at physiological conditions is studied.