Using priced timed automaton to analyse the energy consumption in cloud computing environment

According to the fact that cloud servers have different energy consumption on different running states, as well as the energy waste problem caused by the mismatching between cloud servers and cloud tasks, we carry out researches on the energy optimal method achieved by a priced timed automaton for the cloud computing center in this paper. The priced timed automaton is used to model the running behaviors of the cloud computing system. After introducing the matching matrix of cloud tasks and cloud resources as well as the power matrix of the running states of cloud servers, we design a generation algorithm for the cloud system automaton based on the generation rules and reduction rules given ahead. Then, we propose another algorithm to settle the minimum path energy consumption problem in the cloud system automaton, therefore obtaining an energy optimal solution and an energy optimal value for the cloud system. A case study and repeated experimental analyses manifest that our method is effective and feasible.     

Study on Decentralization of Spherical Amphibious Multi-robot Control System Based on Smart Contract and Blockchain

With the development of intelligent bionic robots and the improvement of military application,a single robot cannot meet the requirements of the tasks of the current era.The more complex tasks require not only that the robot be able to pass through the field barriers and the amphibious environment,but also that the robot be able to collaborate in a multi-robot system.Consequently,research on the multi-robot control system of spherical amphibious robots is very important.Pres-ently,the main research on amphibious robots is to improve the functions of a single robot,in the absence of the study of the multi-robot control system.Existing systems primarily use a centralized control methodology.Although the transfer of central node can be achieved,there is still a problem of Byzantine fault tolerance in military applications,that is,when the amphibious multi-robot system is invaded by the enemy.The central node may not only fail to accomplish the task,but also lose control of other robots,with severe consequences.To solve the above problems,this paper proposed a decentralized method of spherical amphibious multi-robot control system based on blockchain technology.First,the point-to-point informa-tion network based on long range radio technology of low power wide area network was set up,we designed the blockchain system for embedded application environment and the decentralized hardware and software architecture of multi-robot control system.On this basis,the consensus plugin,smart contract and decentralized multi-robot control algorithm were designed to achieve decentralization.The experimental results of consensus of spherical amphibious multi-robot showed the effectiveness of the decentralization.     

Self-assembly and differentiation as models of computability

An idealization of chemical combination is formulated as a model of computability, and it is shown that this model has universal computational power just in case assembly has at least two-dimensional space in which to occur. It is also shown that this model, under reinterpretation, corresponds to a cellular automaton in which growth occurs by differentiation only (i.e., the state into which any cell is born is thereadfter fixed). Hence this latter model of growth is also computationally universal.     

Evidence for emergent behaviour in the community-scale dynamics of a fungal microcosm

A stochastic cellular automaton for modelling the dynamics of a two-species fungal microcosm is presented. The state of each cell in the automaton depends on the state of a predefined neighbourhood via a set of conditional probabilities derived from experiments conducted on pairwise combinations of species. The model is tested by detailed comparison with larger-scale experimental microcosms. By employing different hypotheses which relate the pairwise data to the conditional probabilities in the model, the nature of the local and non-local interactions in the community is explored. The hypothesis that the large-scale dynamics are a consequence of independent interactions between species in a local neighbourhood can be excluded at the 5% significance level. The form of the interdependencies is determined and it is shown that the outcome of the interactions at the local neighbourhood-scale depends on the community-scale patterning of individuals. The dynamics of the microcosm are therefore an emergent property of the system of interacting mycelia that cannot be deduced from a study of the components in isolation.     

Balancing and Scheduling Mixed-Model U-Shaped Production Lines

The production line considered in this paper is a U-shaped, mixed-model, asynchronous line where assembly and fabrication tasks are performed to produce a variety of different discrete products or models in a just-in-time (JIT) environment. Two important problems occur routinely with these lines. The first is the assignment of tasks to stations on the line—the line balancing problem—and the second is the selection of the sequence in which models will be produced—the model sequencing problem. The model sequence cannot be set independently of the line balance, because different models require different tasks and the same tasks have different completion times for different models, and, in the JIT environment, the model sequence cannot be set independently of the schedules of other lines and production facilities. JIT uses a pull rather than a push system of production control, which means that the model sequence at the U-shaped mixed-model final assembly line sets the schedules at the other production facilities. JIT requires these latter schedules to be “level” and this requirement imposes an additional constraint on the model sequence. The effect of these two conditions is to require that the line-balancing and model-sequencing problems be solved simultaneously. In this article, we model the joint problem and present a solution algorithm for solving instances of practical size.     

Combinatorial Properties of Some Cellular Automata Related to the Mosaic Cycle Concept

A cellular automaton that is related to the "mosaic cycle concept" is considered. We explain why such automata sustain very often, but not always, n-periodic trajectories (n being the number of states of the automaton). Our work is a first step in the direction of a theory of these type of automata which might be useful in modeling mosaic successions.     

A Cellular Automaton Model for Tumor Dormancy: Emergence of a Proliferative Switch

Malignant cancers that lead to fatal outcomes for patients may remain dormant for very long periods of time. Although individual mechanisms such as cellular dormancy, angiogenic dormancy and immunosurveillance have been proposed, a comprehensive understanding of cancer dormancy and the “switch” from a dormant to a proliferative state still needs to be strengthened from both a basic and clinical point of view. Computational modeling enables one to explore a variety of scenarios for possible but realistic microscopic dormancy mechanisms and their predicted outcomes. The aim of this paper is to devise such a predictive computational model of dormancy with an emergent “switch” behavior. Specifically, we generalize a previous cellular automaton (CA) model for proliferative growth of solid tumor that now incorporates a variety of cell-level tumor-host interactions and different mechanisms for tumor dormancy, for example the effects of the immune system. Our new CA rules induce a natural “competition” between the tumor and tumor suppression factors in the microenvironment. This competition either results in a “stalemate” for a period of time in which the tumor either eventually wins (spontaneously emerges) or is eradicated; or it leads to a situation in which the tumor is eradicated before such a “stalemate” could ever develop. We also predict that if the number of actively dividing cells within the proliferative rim of the tumor reaches a critical, yet low level, the dormant tumor has a high probability to resume rapid growth. Our findings may shed light on the fundamental understanding of cancer dormancy.     

A new mechanism for adaptation to changes in light intensity and quality in the red alga,Porphyra perforata. II. Characteristics of state II—state III transitions

Characteristics of state II—state III transitions in the red alga, Porphyra perforata, were studied by measuring the fluorescence time course at room temperature and fluorescence spectra at 77 K. The state II to III transition was induced by system II light and was sensitive to uncouplers of photophosphorylation. This state II to III transition has a dark step(s) that could be easily separated from the light process. A state III to II transition occurred in the dark, but system I light accelerated the transition. The accelerating effect of system I light was not sensitive to uncouplers of photophosphorylation, but was inhibited by the addition of valinomycin + KCl or antimycin A. Compared to state I—state II transitions, the state II—state III transitions occurred more rapidly. The state II to state III transitions are different from the state I to state II transitions in that in state III the activity of photosystem II is changed without having any effect on photosystem I activity (Satoh and Fork, Biochim. Biophys, Acta, in press, 1982). It is suggested that the state II—state III transition represents a mechanism by which the alga can avoid photodamage resulting from absorption of excess light energy by photosystem II.     

Mutation of albedo and growth response produces oscillations in a spatial Daisyworld

We extended a two-dimensional cellular automaton (CA) Daisyworld to include mutation of optimal growth temperature as well as mutation of albedo. Thus, the organisms (daisies) can adapt to prevailing environmental conditions or evolve to alter their environment. We find the resulting system oscillates with a period of hundreds of daisy generations. Weaker and less regular oscillations exist in previous daisyworld models, but they become much stronger and more regular here with mutation in the growth response. Despite the existence of a particular combination of mean albedo and optimum individual growth temperature which maximises growth, we find that this global state is unstable with respect to mutations which lower absolute growth rate, but increase marginal growth rate. The resulting system oscillates with a period that is found to decrease with increasing death rate, and to increase with increasing heat diffusion and heat capacity. We speculate that the origin of this oscillation is a Hopf bifurcation, previously predicted in a zero-dimensional system.     

Synchronous and asynchronous updating in cellular automata.

We analyze the properties of a synchronous and of various asynchronous methods to iterate cellular automata. Asynchronous methods in which the time variable is not explicitly defined, operate by specifying an updating order of the cells. The statistical properties of this order have significant consequences for the dynamics and the patterns generated by the cellular automata. Stronger correlations between consecutive steps in the updating order result in more, artificial structure in the patterns. Among these step-driven methods, using random choice with replacement to pick the next cell for updating, yields results that are least influenced by the updating method. We also analyse a time-driven method in which the state transitions of single cells are governed by a probability per unit time that determines an exponential distribution of the waiting time until the next transition. The statistical properties of this method are completely independent of the size of the grid. Consecutive updating steps therefore show no correlation at all. The stationary states of a cellular automaton do not depend on whether a synchronous or asynchronous updating method is used. Their basins of attraction might, however, be vastly different under synchronous and asynchronous iteration. Cyclic dynamics occur only with synchronous updating.     

Decentralized Opportunistic Spectrum Resources Access Model and Algorithm toward Cooperative Ad-Hoc Networks

Limited communication resources have gradually become a critical factor toward efficiency of decentralized large scale multi-agent coordination when both system scales up and tasks become more complex. In current researches, due to the agent’s limited communication and observational capability, an agent in a decentralized setting can only choose a part of channels to access, but cannot perceive or share global information. Each agent’s cooperative decision is based on the partial observation of the system state, and as such, uncertainty in the communication network is unavoidable. In this situation, it is a major challenge working out cooperative decision-making under uncertainty with only a partial observation of the environment. In this paper, we propose a decentralized approach that allows agents cooperatively search and independently choose channels. The key to our design is to build an up-to-date observation for each agent’s view so that a local decision model is achievable in a large scale team coordination. We simplify the Dec-POMDP model problem, and each agent can jointly work out its communication policy in order to improve its local decision utilities for the choice of communication resources. Finally, we discuss an implicate resource competition game, and show that, there exists an approximate resources access tradeoff balance between agents. Based on this discovery, the tradeoff between real-time decision-making and the efficiency of cooperation using these channels can be well improved.     

A cellular automaton model of morphogenesis in Arabidopsis thaliana

Development of organisms is a very complex process in that a lot of gene networks of different cell types are to be integrated. Development of cellular automata that model the morphodynamics of different cell types is the first step in understanding and analyzing the regulatory mechanisms that underlie the developmental gene networks. We have developed a model of a cellular automaton that simulates the embryonic development of the shoot meristem in Arabidopsis thaliana. The model adequately describes the basic stages in the development of this organ in wild type and mutants.

     

A cellular automaton model of morphogenesis in <Emphasis Type="Italic">Arabidopsis thaliana</Emphasis>

Development of organisms is a very complex process in that a lot of gene networks of different cell types are to be integrated. Development of cellular automata that model the morphodynamics of different cell types is the first step in understanding and analyzing the regulatory mechanisms that underlie the developmental gene networks. We have developed a model of a cellular automaton that simulates the embryonic development of the shoot meristem in Arabidopsis thaliana. The model adequately describes the basic stages in the development of this organ in wild type and mutants.     

Mitochondrial oxidative stress and inflammation: an slalom to obesity and insulin resistance

Mitochondria, in addition to energy transformation, play a role in important metabolic tasks such as apoptosis, cellular proliferation, heme/steroid synthesis as well as in the cellular redox state regulation. The mitochondrial phosphorylation process is very efficient, but a small percentage of electrons may prematurely reduce oxygen forming toxic free radicals potentially impairing the mitochondria function. Furthermore, under certain conditions, protons can reenter the mitochondrial matrix through different uncoupling proteins (UCPs), affecting the control of free radicals production by mitochondria. Disorders of the mitochondrial electron transport chain, overgeneration of reactive oxygen species (ROS) and lipoperoxides or impairments in antioxidant defenses have been reported in situations of obesity and type-2 diabetes. On the other hand, obesity has been associated to a low degree pro-inflammatory state, in which impairments in the oxidative stress and antioxidant mechanism could be involved. Indeed, reactive oxygen species have been attributed a causal role in multiple forms of insulin resistance. The scientific evidence highlights the importance of investigating the relationships between oxidative stress and inflammation with obesity/diabetes onset and underlines the need to study in mitochondria from different tissues, the interactions of such factors either as a cause or consequence of obesity and insulin resistance.     

Cellular automaton models for competition in patchy environments: Facilitation, inhibition, and tolerance

We have developed cellular automaton models for two species competing in a patchy environment. We have modeled three common types of competition: facilitation (in which the winning species can colonize only after the losing species has arrived) inhibition (in which either species is able to prevent the other from colonizing) and tolerance (in which the species most tolerant of reduced resource levels wins). The state of a patch is defined by the presence or absence of each species. State transition probabilities are determined by rates of disturbance, competitive exclusion, and colonization. Colonization is restricted to neighboring patches. In all three models, disturbance permits regional persistence of species that are excluded by competition locally. Persistence, and hence diversity, is maximized at intermediate disturbance frequencies. If disturbance and dispersal rates are sufficiently high, the inferior competitor need not have a dispersal advantage to persist. Using a new method for measuring the spatial patterns of nominal data, we show that none of these competition models generates patchiness at equilibrium. In the inhibition model, however, transient patchiness decays very slowly. We compare the cellular automaton models to the corresponding mean-field patch-occupancy models, in which colonization is not restricted to neighboring patches and depends on spatially averaged species frequencies. The patch-occupancy model does an excellent job of predicting the equilibrium frequencies of the species and the conditions required for coexistence, but not of predicting transient behavior.     

Mechanism of Runaway Electron Generation at Gas Pressures from a Few Atmospheres to Several Tens of Atmospheres

The mechanism of runaway electron generation at gas pressures from a few atmospheres to several tens of atmospheres is proposed. According to this mechanism, the electrons pass into the runaway mode in the enhanced field zone that arises between a cathode micropoint—a source of field-emission electrons—and the region of the positive ion space charge accumulated near the cathode in the tails of the developing electron avalanches. As a result, volume gas ionization by runaway electrons begins with a time delay required for the formation of the enhanced field zone. This process determines the delay time of breakdown. The influence of the gas pressure on the formation dynamics of the space charge region is analyzed. At gas pressures of a few atmospheres, the space charge arises due to the avalanche multiplication of the very first field-emission electron, whereas at pressures of several tens of atmospheres, the space charge forms as a result of superposition of many electron avalanches with a relatively small number of charge carriers in each.     

Changing patterns of sediment accumulation in a small lake in Scania,southern Sweden

Bioassays with water of eutrophic Lake Tjeukemeer were carried out in the laboratory, and, in the lake itself, by placing plexiglass tubes (? 9 cm) firmly in the mud. In the laboratory nitrogen had a strong growth-promoting effect on the concentrations of chlorophyll a, N-cell and COD-cell. In the bioassays in situ nitrogen increased the concentration of chlorophyll a, but not those of cellular N and cellular COD. It is argued that chlorophyll a is not a good indicator for algal growth in bioassays and that the extrapolation of laboratory experiments — where nitrogen limited algal growth — to the field situation — where light limited algal growth — often leads to erroneous results, especially in shallow eutrophic lakes. The main reason is probably that in bioassays in the laboratory the nutrient supply — both from external loading and from sediments — is often different and that processes like denitrification occur in the lake, but not in the bioassays.