TRAFFIC FLOW MODEL BASED ON CELLULAR AUTOMATION WITH ADAPTIVE DECELERATION
Shinkarev, A. A.
2016-01-01
This paper describes continuation of the authors’ work in the field of traffic flow mathematical models based on the cellular automata theory. The refactored representation of the multifactorial traffic flow model based on the cellular automata theory is used for a representation of an adaptive deceleration step implementation. The adaptive deceleration step in the case of a leader deceleration allows slowing down smoothly but not instantly. Concepts of the number of time steps without confli...
Cellular Automation Model of Traffic Flow Based on the Car-Following Model
LI Ke-Ping; GAO Zi-You
2004-01-01
@@ We propose a new cellular automation (CA) traffic model that is based on the car-following model. A class of driving strategies is used in the car-following model instead of the acceleration in the NaSch traffic model. In our model, some realistic driver behaviour and detailed vehicle characteristics have been taken into account, such as distance-headway and safe distance, etc. The simulation results show that our model can exhibit some traffic flow states that have been observed in the real traffic, and both of the maximum flux and the critical density are very close to the real measurement. Moreover, it is easy to extend our method to multi-lane traffic.
Analysis on Traffic Conflicts of Two-lane Highway Based on Improved Cellular Automation Model
Xiru Tang
2013-06-01
Full Text Available Based on microscopic traffic characteristics of two-lane highway and different driving characteristics for drivers, the characteristics of drivers and vehicle structure are introduced into Cellular Automation model for establishing new Cellular Automation model of two-lane highway. Through computer simulation, the paper analyzes the effect of the promotion of different vehicles, drivers and arrival rates on traffic conflicts of two-lane highway, which gets the relationship between the parameters such as road traffic and velocity variance and collision. The results indicate that the frequency of traffic conflicts has close relationship with the product of traffic flow and velocity variation. When the traffic flow and velocity variation are great, the frequency of the conflict is the greatest, and when the traffic flow and velocity variation are little, the frequency of the conflict is the least.
A cellular automation model for the change of public attitude regarding nuclear energy
A cellular automation model was constructed to investigate how public opinion on nuclear energy in Japan depends upon the information environment and personal communication between people. From simulation with this model, the following become clear; (i) society is a highly non-linear system with a self-organizing potential: (ii) in a society composed of one type of constituent member with homogeneous characteristics, the trend of public opinion is substantially changed only when the effort to ameliorate public acceptance over a long period of time, by means such as education, persuasion and advertisement, exceeds a certain threshold, and (iii) in the case when the amount of information on nuclear risk released from the newsmedia is reduced continuously from now on, the acceptability of nuclear energy is significantly improved so far as the extent of the reduction exceeds a certain threshold. (author)
Lattice gas cellular automation model for rippling and aggregation in myxobacteria
Alber, Mark S.; Jiang, Yi; Kiskowski, Maria A.
2004-05-01
A lattice gas cellular automation (LGCA) model is used to simulate rippling and aggregation in myxobacteria. An efficient way of representing cells of different cell size, shape and orientation is presented that may be easily extended to model later stages of fruiting body formation. This LGCA model is designed to investigate whether a refractory period, a minimum response time, a maximum oscillation period and non-linear dependence of reversals of cells on C-factor are necessary assumptions for rippling. It is shown that a refractory period of 2-3 min, a minimum response time of up to 1 min and no maximum oscillation period best reproduce rippling in the experiments of Myxococcus xanthus. Non-linear dependence of reversals on C-factor is critical at high cell density. Quantitative simulations demonstrate that the increase in wavelength of ripples when a culture is diluted with non-signaling cells can be explained entirely by the decreased density of C-signaling cells. This result further supports the hypothesis that levels of C-signaling quantitatively depend on and modulate cell density. Analysis of the interpenetrating high density waves shows the presence of a phase shift analogous to the phase shift of interpenetrating solitons. Finally, a model for swarming, aggregation and early fruiting body formation is presented.
Full text: The Bauschinger effect refers to an observed asymmetry in the forward and reverse loading curves of a metal or an alloy. Typically, the absolute value of the yield stress in reverse loading is lower than the maximum stress imposed on the initial, forward loading. This difference arises from either the presence of a back stress or from the greater strength of obstacles opposing dislocation motion in the forward than in the reverse direction. Thus, the Bauschinger effect contributes to the phenomena referred to as kinematic hardening. In particular dispersion hardened systems, containing strong, non-shearable particles that offer obstacles to dislocation motion, will often exhibit a large kinematic hardening component. When a material is described as a group of parallel elements (a composite) having variable yield stresses and or Young's moduli, kinematic hardening of type KI, is observed when the first element to yield on forward loading is the first element to yield on reverse loading. Kinematic hardening types KII and KIII result when the order of relaxation of the elements is different from the order of their initial yielding. The reverse loading curves for types KII and KIII hardening generally exhibit inflection points at the initiation of yielding on reverse loading. In previous work, a micromechanics model, with a detailed description of the microstructure, was employed to model the effects of plastic inhomogeneity and duplicate the loading and unloading trends observed experimentally. Trends predicted by the model corresponded well to some of the expectations derived from observation, e.g. the effects related to the inclusions of different phases, however in some cases the correlation depended on the assignment of unrealistic properties to microstructural constituents. In the current work, the material is modeled as an array of coupled elements with varying stiffnesses and strengths. A stochastic cellular automaton is then used to simulate the
Xiubin Li
2012-08-01
Full Text Available Ecological land is like the “liver” of a city and is very useful to public health. Ecological land change is a spatially dynamic non-linear process under the interaction between natural and anthropogenic factors at different scales. In this study, by setting up natural development scenario, object orientation scenario and ecosystem priority scenario, a Cellular Automation (CA model has been established to simulate the evolution pattern of ecological land in Beijing in the year 2020. Under the natural development scenario, most of ecological land will be replaced by construction land and crop land. But under the scenarios of object orientation and ecosystem priority, the ecological land area will increase, especially under the scenario of ecosystem priority. When considering the factors such as total area of ecological land, loss of key ecological land and spatial patterns of land use, the scenarios from priority to inferiority are ecosystem priority, object orientation and natural development, so future land management policies in Beijing should be focused on conversion of cropland to forest, wetland protection and prohibition of exploitation of natural protection zones, water source areas and forest parks to maintain the safety of the regional ecosystem.
Cellular Automation of Galactic Habitable Zone
Vukotic, Branislav
2010-01-01
We present a preliminary results of our Galactic Habitable Zone (GHZ) 2D probabilistic cellular automata models. The relevant time-scales (emergence of life, it's diversification and evolution influenced with the global risk function) are modeled as the probability matrix elements and are chosen in accordance with the Copernican principle to be well-represented by the data inferred from the Earth's fossil record. With Fermi's paradox as a main boundary condition the resulting histories of astrobiological landscape are discussed.
Tritium release from the lithium ceramics as a fusion reactor breeder material is strongly affected by the composition of the sweep-gas as result of its influences with the material's surface. The typical surface processes which play important roles are adsorption, desorption and interaction between vacancy site and the constituents of the sweep-gas. Among a large number of studies and models, yet it seems to be difficult to model the overall behaviour of those processes due to its complex time-transient nature. In the present work the coarse grained atomic simulation based on the Cellular Automaton (CA) is used to model the dynamics of near-surface interaction between Li2O surface and sweep-gas that is consisting of a noble gas, hydrogen gas and water vapour. (author)
Caferra, Ricardo; Peltier, Nicholas
2004-01-01
This is the first book on automated model building, a discipline of automated deduction that is of growing importance Although models and their construction are important per se, automated model building has appeared as a natural enrichment of automated deduction, especially in the attempt to capture the human way of reasoning The book provides an historical overview of the field of automated deduction, and presents the foundations of different existing approaches to model construction, in particular those developed by the authors Finite and infinite model building techniques are presented The main emphasis is on calculi-based methods, and relevant practical results are provided The book is of interest to researchers and graduate students in computer science, computational logic and artificial intelligence It can also be used as a textbook in advanced undergraduate courses
Automated data model evaluation
Modeling process is essential phase within information systems development and implementation. This paper presents methods and techniques for analysis and evaluation of data model correctness. Recent methodologies and development results regarding automation of the process of model correctness analysis and relations with ontology tools has been presented. Key words: Database modeling, Data model correctness, Evaluation
K.Jetto; H.Ez-Zahraouy; A.Benyoussef
2012-01-01
In this paper,we have investigated two observed situations in a multi-lane road.The first one concerns a fast merging vehicle.The second situation is related to the case of a fast vehicle leaving the fastest lane back into the slowest lane and targeting a specific way out.We are interested in the relaxation time τ,i.e.,which is the time that the merging (diverging) vehicle spends before reaching the desired lane.Using analytical treatment and numerical simulations for the NaSch model,we have found two states,namely,the free state in which the merging (diverging) vehicle reaches the desired lane,and the trapped state in which τ diverges.We have established phase diagrams for several values of the braking probability.In the second situation,we have shown that diverging from the fast lane targeting a specific way out is not a simple task.Even if the diverging vehicle is in the free phase,two different states can be distinguished.One is the critical state,in which the diverging car can probably reach the desired way out.The other is the safe state,in which the diverging car can surely reach the desired way out.In order to be in the safe state,we have found that the driver of the diverging car must know the critical distance (below which the way out will be out of his reach) in each lane.Furthermore,this critical distance depends on the density of cars,and it follows an exponential law.
Automated cellular pathology in noninvasive confocal microscopy
Ting, Monica; Krueger, James; Gareau, Daniel
2014-03-01
A computer algorithm was developed to automatically identify and count melanocytes and keratinocytes in 3D reflectance confocal microscopy (RCM) images of the skin. Computerized pathology increases our understanding and enables prevention of superficial spreading melanoma (SSM). Machine learning involved looking at the images to measure the size of cells through a 2-D Fourier transform and developing an appropriate mask with the erf() function to model the cells. Implementation involved processing the images to identify cells whose image segments provided the least difference when subtracted from the mask. With further simplification of the algorithm, the program may be directly implemented on the RCM images to indicate the presence of keratinocytes in seconds and to quantify the keratinocytes size in the en face plane as a function of depth. Using this system, the algorithm can identify any irregularities in maturation and differentiation of keratinocytes, thereby signaling the possible presence of cancer.
Testing the applicability of mathematical models with carefully designed experiments is a powerful tool in the investigations of the effects of ionizing radiation on cells. The modeling and cellular studies complement each other, for modeling provides guidance for designing critical experiments which must provide definitive results, while the experiments themselves provide new input to the model. Based on previous experimental results the model for the accumulation of damage in Chlamydomonas reinhardi has been extended to include various multiple two-event combinations. Split dose survival experiments have shown that models tested to date predict most but not all the observed behavior. Stationary-phase mammalian cells, required for tests of other aspects of the model, have been shown to be at different points in the cell cycle depending on how they were forced to stop proliferating. These cultures also demonstrate different capacities for repair of sublethal radiation damage
Endy, Drew; Brent, Roger
2001-01-01
Representations of cellular processes that can be used to compute their future behaviour would be of general scientific and practical value. But past attempts to construct such representations have been disappointing. This is now changing. Increases in biological understanding combined with advances in computational methods and in computer power make it possible to foresee construction of useful and predictive simulations of cellular processes.
Predictive Modelling of Cellular Load
Carolan, Emmett; McLoone, Seamus; Farrell, Ronan
2015-01-01
This work examines the temporal dynamics of cellular load in four Irish regions. Large scale underutilisation of network resources is identified both at the regional level and at the level of individual cells. Cellular load is modeled and prediction intervals are generated. These prediction intervals are used to put an upper bound on usage in a particular cell at a particular time. Opportunities for improvements in network utilization by incorporating these upper bounds on usage are identifie...
李岩; 陈宽民; 过秀成
2013-01-01
In order to analyze the impact of stretching-segment on the saturated flow rate of signalized intersection approach, an improved cellular automation model was proposed to estimate its saturated flow rate. The NaSch model was improved by adding different slow probabilities, turning deceleration rules and modified lane changing rules. The relationship between the saturated flow rate of stretching-segments and adjacent lanes was tested in numerical simulation. The length of stretching-segment, cycle length and green time were selected as impact factors of the cellular automation model. The simulation result indicates that the geometrics design of stretching-segment and the traffic signal timing scenario have major effects on the saturated flow rate of the intersection approach. The saturated flow rate will continually increase with increasing stretching-segment length until it reaches a threshold. After reaching the threshold, the stretching-segment can be treated as a separate lane. The green time is approximately linearly related to the threshold length of the stretching-segment. An optimum cycle length exists when the length of the stretching-segment is not long enough, and it is approximately linearly related to the length of stretching-segment.
Coordination and Emergence in the Cellular Automated Fashion Game
Cao, Zhigang; Qu, Xinglong; Yang, Mingmin; Yang, Xiaoguang
2012-01-01
We investigate a heterogeneous cellular automaton, where there are two types of agents, conformists and rebels. Each agent has to choose between two actions, 0 and 1. A conformist likes to choose an action that most of her neighbors choose, while in contrast a rebel wants to be different with most of her neighbors. Theoretically, this model is equivalent to the matching pennies game on regular networks. We study the dynamical process by assuming that each agent takes a myopic updating rule. An uniform updating probability is also introduced for each agent to study the whole spectrum from synchronous updating to asynchronous updating. Our model characterizes the phenomenon of fashion very well and has a great potential in the study of the finance and stock markets. A large number of simulations show that in most case agents can reach extraordinarily high degree of coordination. This process is also quite fast and steady. Considering that these dynamics are really simple, agents are selfish, myopic, and have ve...
Cellular automata a parallel model
Mazoyer, J
1999-01-01
Cellular automata can be viewed both as computational models and modelling systems of real processes. This volume emphasises the first aspect. In articles written by leading researchers, sophisticated massive parallel algorithms (firing squad, life, Fischer's primes recognition) are treated. Their computational power and the specific complexity classes they determine are surveyed, while some recent results in relation to chaos from a new dynamic systems point of view are also presented. Audience: This book will be of interest to specialists of theoretical computer science and the parallelism challenge.
Automated sample preparation in a microfluidic culture device for cellular metabolomics.
Filla, Laura A; Sanders, Katherine L; Filla, Robert T; Edwards, James L
2016-06-21
Sample pretreatment in conventional cellular metabolomics entails rigorous lysis and extraction steps which increase the duration as well as limit the consistency of these experiments. We report a biomimetic cell culture microfluidic device (MFD) which is coupled with an automated system for rapid, reproducible cell lysis using a combination of electrical and chemical mechanisms. In-channel microelectrodes were created using facile fabrication methods, enabling the application of electric fields up to 1000 V cm(-1). Using this platform, average lysing times were 7.12 s and 3.03 s for chips with no electric fields and electric fields above 200 V cm(-1), respectively. Overall, the electroporation MFDs yielded a ∼10-fold improvement in lysing time over standard chemical approaches. Detection of multiple intracellular nucleotides and energy metabolites in MFD lysates was demonstrated using two different MS platforms. This work will allow for the integrated culture, automated lysis, and metabolic analysis of cells in an MFD which doubles as a biomimetic model of the vasculature. PMID:27118418
Automated parking garage system model
Collins, E. R., Jr.
1975-01-01
A one-twenty-fifth scale model of the key components of an automated parking garage system is described. The design of the model required transferring a vehicle from an entry level, vertically (+Z, -Z), to a storage location at any one of four storage positions (+X, -X, +Y, +Y, -Y) on the storage levels. There are three primary subsystems: (1) a screw jack to provide the vertical motion of the elevator, (2) a cam-driven track-switching device to provide X to Y motion, and (3) a transfer cart to provide horizontal travel and a small amount to vertical motion for transfer to the storage location. Motive power is provided by dc permanent magnet gear motors, one each for the elevator and track switching device and two for the transfer cart drive system (one driving the cart horizontally and the other providing the vertical transfer). The control system, through the use of a microprocessor, provides complete automation through a feedback system which utilizes sensing devices.
Understanding cisplatin resistance using cellular models.
STORDAL, BRITTA KRISTINA
2007-01-01
PUBLISHED Many mechanisms of cisplatin resistance have been proposed from studies of cellular models of resistance including changes in cellular drug accumulation, detoxification of the drug, inhibition of apoptosis and repair of the DNA adducts. A series of resistant models were developed from CCRF-CEM leukaemia cells with increasing doses of cisplatin from 100 ng/ml. This produced increasing resistance up to 7-fold with a treatment dose of 1.6 ?g/ml. Cisplatin resistance i...
Understanding cisplatin resistance using cellular models
Stordal, Britta; Davey, Mary
2007-01-01
Many mechanisms of cisplatin resistance have been proposed from studies of cellular models of resistance including changes in cellular drug accumulation, detoxification of the drug, inhibition of apoptosis and repair of the DNA adducts. A series of resistant models were developed from CCRF-CEM leukaemia cells with increasing doses of cisplatin from 100 ng/ml. This produced increasing resistance up to 7-fold with a treatment dose of 1.6 microg/ml. Cisplatin resistance in these cells correlated...
Conjure Revisited: Towards Automated Constraint Modelling
Akgun, Ozgur; Hnich, Brahim; Jefferson, Chris; Miguel, Ian
2011-01-01
Automating the constraint modelling process is one of the key challenges facing the constraints field, and one of the principal obstacles preventing widespread adoption of constraint solving. This paper focuses on the refinement-based approach to automated modelling, where a user specifies a problem in an abstract constraint specification language and it is then automatically refined into a constraint model. In particular, we revisit the Conjure system that first appeared in prototype form in 2005 and present a new implementation with a much greater coverage of the specification language Essence.
Animal and cellular models of human disease
Arends, Mark; White, Eric; Whitelaw, Christopher
2016-01-01
In this eighteenth (2016) Annual Review Issue of The Journal of Pathology, we present a collection of 19 invited review articles that cover different aspects of cellular and animal models of disease. These include genetically-engineered models, chemically-induced models, naturally-occurring models, and combinations thereof, with the focus on recent methodological and conceptual developments across a wide range of human diseases.
A Modified Sensitive Driving Cellular Automaton Model
GE Hong-Xia; DAI Shi-Qiang; DONG Li-Yun; LEI Li
2005-01-01
A modified cellular automaton model for traffic flow on highway is proposed with a novel concept about the variable security gap. The concept is first introduced into the original Nagel-Schreckenberg model, which is called the non-sensitive driving cellular automaton model. And then it is incorporated with a sensitive driving NaSch model,in which the randomization brake is arranged before the deterministic deceleration. A parameter related to the variable security gap is determined through simulation. Comparison of the simulation results indicates that the variable security gap has different influence on the two models. The fundamental diagram obtained by simulation with the modified sensitive driving NaSch model shows that the maximumflow are in good agreement with the observed data, indicating that the presented model is more reasonable and realistic.
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity
Louis, S.J.; Raines, G.L.
2003-01-01
We use a genetic algorithm to calibrate a spatially and temporally resolved cellular automata to model mining activity on public land in Idaho and western Montana. The genetic algorithm searches through a space of transition rule parameters of a two dimensional cellular automata model to find rule parameters that fit observed mining activity data. Previous work by one of the authors in calibrating the cellular automaton took weeks - the genetic algorithm takes a day and produces rules leading to about the same (or better) fit to observed data. These preliminary results indicate that genetic algorithms are a viable tool in calibrating cellular automata for this application. Experience gained during the calibration of this cellular automata suggests that mineral resource information is a critical factor in the quality of the results. With automated calibration, further refinements of how the mineral-resource information is provided to the cellular automaton will probably improve our model.
Test automation for Markov Chain Usage Models
Bettinotti, Adriana M.; Garavaglia, Mauricio
2011-01-01
Statistical testing with Markov Chain Usage Models is an effective method to be used by programmers and testers during web sites development, to guarantee the software reliability. The JUMBL software works on this models; it supports model construction with the TML language and analysis, tests generation and execution and analysis of tests results. This paper is targeted at test automation for web sites development with JUMBL and JWebUnit.
Automating Risk Analysis of Software Design Models
Maxime Frydman
2014-01-01
Full Text Available The growth of the internet and networked systems has exposed software to an increased amount of security threats. One of the responses from software developers to these threats is the introduction of security activities in the software development lifecycle. This paper describes an approach to reduce the need for costly human expertise to perform risk analysis in software, which is common in secure development methodologies, by automating threat modeling. Reducing the dependency on security experts aims at reducing the cost of secure development by allowing non-security-aware developers to apply secure development with little to no additional cost, making secure development more accessible. To automate threat modeling two data structures are introduced, identification trees and mitigation trees, to identify threats in software designs and advise mitigation techniques, while taking into account specification requirements and cost concerns. These are the components of our model for automated threat modeling, AutSEC. We validated AutSEC by implementing it in a tool based on data flow diagrams, from the Microsoft security development methodology, and applying it to VOMS, a grid middleware component, to evaluate our model's performance.
Automating risk analysis of software design models.
Frydman, Maxime; Ruiz, Guifré; Heymann, Elisa; César, Eduardo; Miller, Barton P
2014-01-01
The growth of the internet and networked systems has exposed software to an increased amount of security threats. One of the responses from software developers to these threats is the introduction of security activities in the software development lifecycle. This paper describes an approach to reduce the need for costly human expertise to perform risk analysis in software, which is common in secure development methodologies, by automating threat modeling. Reducing the dependency on security experts aims at reducing the cost of secure development by allowing non-security-aware developers to apply secure development with little to no additional cost, making secure development more accessible. To automate threat modeling two data structures are introduced, identification trees and mitigation trees, to identify threats in software designs and advise mitigation techniques, while taking into account specification requirements and cost concerns. These are the components of our model for automated threat modeling, AutSEC. We validated AutSEC by implementing it in a tool based on data flow diagrams, from the Microsoft security development methodology, and applying it to VOMS, a grid middleware component, to evaluate our model's performance. PMID:25136688
Ancel, Ersin; Shih, Ann T.
2014-01-01
This paper highlights the development of a model that is focused on the safety issue of increasing complexity and reliance on automation systems in transport category aircraft. Recent statistics show an increase in mishaps related to manual handling and automation errors due to pilot complacency and over-reliance on automation, loss of situational awareness, automation system failures and/or pilot deficiencies. Consequently, the aircraft can enter a state outside the flight envelope and/or air traffic safety margins which potentially can lead to loss-of-control (LOC), controlled-flight-into-terrain (CFIT), or runway excursion/confusion accidents, etc. The goal of this modeling effort is to provide NASA's Aviation Safety Program (AvSP) with a platform capable of assessing the impacts of AvSP technologies and products towards reducing the relative risk of automation related accidents and incidents. In order to do so, a generic framework, capable of mapping both latent and active causal factors leading to automation errors, is developed. Next, the framework is converted into a Bayesian Belief Network model and populated with data gathered from Subject Matter Experts (SMEs). With the insertion of technologies and products, the model provides individual and collective risk reduction acquired by technologies and methodologies developed within AvSP.
RCrane: semi-automated RNA model building
RCrane is a new tool for the partially automated building of RNA crystallographic models into electron-density maps of low or intermediate resolution. This tool helps crystallographers to place phosphates and bases into electron density and then automatically predicts and builds the detailed all-atom structure of the traced nucleotides. RNA crystals typically diffract to much lower resolutions than protein crystals. This low-resolution diffraction results in unclear density maps, which cause considerable difficulties during the model-building process. These difficulties are exacerbated by the lack of computational tools for RNA modeling. Here, RCrane, a tool for the partially automated building of RNA into electron-density maps of low or intermediate resolution, is presented. This tool works within Coot, a common program for macromolecular model building. RCrane helps crystallographers to place phosphates and bases into electron density and then automatically predicts and builds the detailed all-atom structure of the traced nucleotides. RCrane then allows the crystallographer to review the newly built structure and select alternative backbone conformations where desired. This tool can also be used to automatically correct the backbone structure of previously built nucleotides. These automated corrections can fix incorrect sugar puckers, steric clashes and other structural problems
A Mathematical Model for Cisplatin Cellular Pharmacodynamics
Ardith W. El-Kareh
2003-03-01
Full Text Available A simple theoretical model for the cellular pharmacodynamics of cisplatin is presented. The model, which takes into account the kinetics of cisplatin uptake by cells and the intracellular binding of the drug, can be used to predict the dependence of survival (relative to controls on the time course of extracellular exposure. Cellular pharmacokinetic parameters are derived from uptake data for human ovarian and head and neck cancer cell lines. Survival relative to controls is assumed to depend on the peak concentration of DNA-bound intracellular platinum. Model predictions agree well with published data on cisplatin cytotoxicity for three different cancer cell lines, over a wide range of exposure times. In comparison with previously published mathematical models for anticancer drug pharmacodynamics, the present model provides a better fit to experimental data sets including long exposure times (∼100 hours. The model provides a possible explanation for the fact that cell kill correlates well with area under the extracellular concentration-time curve in some data sets, but not in others. The model may be useful for optimizing delivery schedules and for the dosing of cisplatin for cancer therapy.
Automating Risk Analysis of Software Design Models
Maxime Frydman; Guifré Ruiz; Elisa Heymann; Eduardo César; Barton P. Miller
2014-01-01
The growth of the internet and networked systems has exposed software to an increased amount of security threats. One of the responses from software developers to these threats is the introduction of security activities in the software development lifecycle. This paper describes an approach to reduce the need for costly human expertise to perform risk analysis in software, which is common in secure development methodologies, by automating threat modeling. Reducing the dependency on security e...
Cellular automata modelling of hantarvirus infection
Hantaviruses are a group of viruses which have been identified as being responsible for the outbreak of diseases such as the hantavirus pulmonary syndrome. In an effort to understand the characteristics and dynamics of hantavirus infection, mathematical models based on differential equations have been developed and widely studied. However, such models neglect the local characteristics of the spreading process and do not include variable susceptibility of individuals. In this paper, we develop an alternative approach based on cellular automata to analyze and study the spatiotemporal patterns of hantavirus infection.
Cellular automata modelling of hantarvirus infection
Abdul Karim, Mohamad Faisal [School of Distance Education, Universiti Sains Malaysia, Minden 11800, Penang (Malaysia)], E-mail: faisal@usm.my; Md Ismail, Ahmad Izani [School of Mathematical Sciences, Universiti Sains Malaysia, Minden 11800, Penang (Malaysia)], E-mail: izani@cs.usm.my; Ching, Hoe Bee [School of Mathematical Sciences, Universiti Sains Malaysia, Minden 11800, Penang (Malaysia)], E-mail: Bee_Ching_Janice_Hoe@dell.com
2009-09-15
Hantaviruses are a group of viruses which have been identified as being responsible for the outbreak of diseases such as the hantavirus pulmonary syndrome. In an effort to understand the characteristics and dynamics of hantavirus infection, mathematical models based on differential equations have been developed and widely studied. However, such models neglect the local characteristics of the spreading process and do not include variable susceptibility of individuals. In this paper, we develop an alternative approach based on cellular automata to analyze and study the spatiotemporal patterns of hantavirus infection.
Recent advances in automated system model extraction (SME)
In this paper we present two different techniques for automated extraction of system models from FEA models. We discuss two different algorithms: for (i) automated N-DOF SME for electrostatically actuated MEMS and (ii) automated N-DOF SME for MEMS inertial sensors. We will present case studies for the two different algorithms presented
Spatial game in cellular automaton evacuation model
von Schantz, Anton; Ehtamo, Harri
2015-11-01
For numerical simulations of crowd dynamics in an evacuation we need a computationally light environment, such as the cellular automaton model (CA). By choosing the right model parameters, different types of crowd behavior and collective effects can be produced. But the CA does not answer why, when, and how these different behaviors and collective effects occur. In this article, we present a model, where we couple a spatial evacuation game to the CA. In the game, an agent chooses its strategy by observing its neighbors' strategies. The game matrix changes with the distance to the exit as the evacuation conditions develop. In the resulting model, an agent's strategy choice alters the parameters that govern its behavior in the CA. Thus, with our model, we are able to simulate how evacuation conditions affect the behavior of the crowd. Also, we show that some of the collective effects observed in evacuations are a result of the simple game the agents play.
Automated statistical modeling of analytical measurement systems
The statistical modeling of analytical measurement systems at the Idaho Chemical Processing Plant (ICPP) has been completely automated through computer software. The statistical modeling of analytical measurement systems is one part of a complete quality control program used by the Remote Analytical Laboratory (RAL) at the ICPP. The quality control program is an integration of automated data input, measurement system calibration, database management, and statistical process control. The quality control program and statistical modeling program meet the guidelines set forth by the American Society for Testing Materials and American National Standards Institute. A statistical model is a set of mathematical equations describing any systematic bias inherent in a measurement system and the precision of a measurement system. A statistical model is developed from data generated from the analysis of control standards. Control standards are samples which are made up at precise known levels by an independent laboratory and submitted to the RAL. The RAL analysts who process control standards do not know the values of those control standards. The object behind statistical modeling is to describe real process samples in terms of their bias and precision and, to verify that a measurement system is operating satisfactorily. The processing of control standards gives us this ability
Chen Shijia
2013-11-01
Full Text Available Dans le domaine du soudage, les propriétés finales du cordon sont fortement liées à la structure de grains développée au cours des procédés de fusion / resolidification. La maîtrise des propriétés de l'assemblage final passe ainsi par une amélioration de la connaissance de sa structure de ce domaine. Dans cet objectif, un modèle couplé Automates Cellulaires – Eléments Finis est proposé pour simuler le développement, en volume, de cette structure, dans le cadre du soudage TIG. Ce modèle est appliqué au soudage d'acier Duplex 2202 et l'évolution de la structure de grains selon les paramètres procédés est discutée. In the welding area, the final properties of the weld bead are mainly induced by the grain structure developed during the melting and solidification steps. The mastery of the properties of the joining will be achieved with a better knowledge of the developed grain structure. A 3D coupled Cellular Automaton – Finite Element model is proposed in order to simulate the grains development in TIG process. This model is applied to the welding of a duplex stainless steel grade. The grain structure evolution is discussed for the various process parameters.
A cellular automata model for ant trails
Sibel Gokce; Ozhan Kayacan
2013-05-01
In this study, the unidirectional ant traffic flow with U-turn in an ant trail was investigated using one-dimensional cellular automata model. It is known that ants communicate with each other by dropping a chemical, called pheromone, on the substrate. Apart from the studies in the literature, it was considered in the model that (i) ant colony consists of two kinds of ants, goodand poor-smelling ants, (ii) ants might make U-turn for some special reasons. For some values of densities of good- and poor-smelling ants, the flux and mean velocity of the colony were studied as a function of density and evaporation rate of pheromone.
Modeling the topological organization of cellular processes.
Giavitto, Jean-Louis; Michel, Olivier
2003-07-01
The cell as a dynamical system presents the characteristics of having a dynamical structure. That is, the exact phase space of the system cannot be fixed before the evolution and integrative cell models must state the evolution of the structure jointly with the evolution of the cell state. This kind of dynamical systems is very challenging to model and simulate. New programming concepts must be developed to ease their modeling and simulation. In this context, the goal of the MGS project is to develop an experimental programming language dedicated to the simulation of this kind of systems. MGS proposes a unified view on several computational mechanisms (CHAM, Lindenmayer systems, Paun systems, cellular automata) enabling the specification of spatially localized computations on heterogeneous entities. The evolution of a dynamical structure is handled through the concept of transformation which relies on the topological organization of the system components. An example based on the modeling of spatially distributed biochemical networks is used to illustrate how these notions can be used to model the spatial and temporal organization of intracellular processes. PMID:12915272
Cellular automata modelling of biomolecular networks dynamics.
Bonchev, D; Thomas, S; Apte, A; Kier, L B
2010-01-01
The modelling of biological systems dynamics is traditionally performed by ordinary differential equations (ODEs). When dealing with intracellular networks of genes, proteins and metabolites, however, this approach is hindered by network complexity and the lack of experimental kinetic parameters. This opened the field for other modelling techniques, such as cellular automata (CA) and agent-based modelling (ABM). This article reviews this emerging field of studies on network dynamics in molecular biology. The basics of the CA technique are discussed along with an extensive list of related software and websites. The application of CA to networks of biochemical reactions is exemplified in detail by the case studies of the mitogen-activated protein kinase (MAPK) signalling pathway, the FAS-ligand (FASL)-induced and Bcl-2-related apoptosis. The potential of the CA method to model basic pathways patterns, to identify ways to control pathway dynamics and to help in generating strategies to fight with cancer is demonstrated. The different line of CA applications presented includes the search for the best-performing network motifs, an analysis of importance for effective intracellular signalling and pathway cross-talk. PMID:20373215
Cellular automata modeling of cooperative eutectic growth
E. Olejnik
2010-01-01
Full Text Available The model and results of the 2D simulation of the cooperative growth of two phases in the lamellar eutectic are presented. The pro-posed model takes into account heat transfer, components diffusion and nonstationary concentration distribution in the liquid and solid phases, non-equlibrium nature of the phase transformation and kinetics of the growth, influence of the surface energy and interface curva-ture on the conditions of the thermodynamic equilibrium. For the determination of the phase interface shape the Cellular Automata tech-nique (CA was used. For the calculation of temperature and concentration distribution the numerical solution of the Fourier equation was used. The partial differential equations were solved by Finite Differences Method (FDM. The spatial position and cell sizes of CA lattice and FDM mesh are equal.Proposed model can predict the steady state growth with a constant interlamellar spacing in the regular plate eutectic, as well as some transient processes that bring to the changes of that parameters. Obtained simulation data show the solid-liquid interface changes result in the termination of lamella and enlargement of interlamellar spacing. Another simulation results illustrate a pocket formation in the center of one phase that forestalls nucleation (or intergrowth of the new lamellae of another phase. The data of the solidification study of the transparent material (CBr4 – 8,4% C2Cl6 obtained in the thin layer demonstrate the qualita-tive agreement of the simulation.
Modeling cellular effects of coal pollutants
The goal of this project is to develop and test models for the dose and dose-rate dependence of biological effects of coal pollutants on mammalian cells in tissue culture. Particular attention is given to the interaction of pollutants with the genetic material (deoxyribonucleic acid, or NDA) in the cell. Unlike radiation, which can interact directly with chromatin, chemical pollutants undergo numerous changes before the ultimate carcinogen becomes covalently bound to the DNA. Synthetic vesicles formed from a phospholipid bilayer are being used to investigate chemical transformations that may occur during the transport of pollutants across cellular membranes. The initial damage to DNA is rapidly modified by enzymatic repair systems in most living organisms. A model has been developed for predicting the effects of excision repair on the survival of human cells exposed to chemical carcinogens. In addition to the excision system, normal human cells also have tolerance mechanisms that permit continued growth and division of cells without removal of the damage. We are investigating the biological effect of damage passed to daughter cells by these tolerance mechanisms
Analytical Modeling of Uplink Cellular Networks
Novlan, Thomas D; Andrews, Jeffrey G
2012-01-01
Cellular uplink analysis has typically been undertaken by either a simple approach that lumps all interference into a single deterministic or random parameter in a Wyner-type model, or via complex system level simulations that often do not provide insight into why various trends are observed. This paper proposes a novel middle way that is both accurate and also results in easy-to-evaluate integral expressions based on the Laplace transform of the interference. We assume mobiles and base stations are randomly placed in the network with each mobile pairing up to its closest base station. The model requires two important changes compared to related recent work on the downlink. First, dependence is introduced between the user and base station point processes to make sure each base station serves a single mobile in the given resource block. Second, per-mobile power control is included, which further couples the locations of the mobiles and their receiving base stations. Nevertheless, we succeed in deriving the cov...
Bayesian Safety Risk Modeling of Human-Flightdeck Automation Interaction
Ancel, Ersin; Shih, Ann T.
2015-01-01
Usage of automatic systems in airliners has increased fuel efficiency, added extra capabilities, enhanced safety and reliability, as well as provide improved passenger comfort since its introduction in the late 80's. However, original automation benefits, including reduced flight crew workload, human errors or training requirements, were not achieved as originally expected. Instead, automation introduced new failure modes, redistributed, and sometimes increased workload, brought in new cognitive and attention demands, and increased training requirements. Modern airliners have numerous flight modes, providing more flexibility (and inherently more complexity) to the flight crew. However, the price to pay for the increased flexibility is the need for increased mode awareness, as well as the need to supervise, understand, and predict automated system behavior. Also, over-reliance on automation is linked to manual flight skill degradation and complacency in commercial pilots. As a result, recent accidents involving human errors are often caused by the interactions between humans and the automated systems (e.g., the breakdown in man-machine coordination), deteriorated manual flying skills, and/or loss of situational awareness due to heavy dependence on automated systems. This paper describes the development of the increased complexity and reliance on automation baseline model, named FLAP for FLightdeck Automation Problems. The model development process starts with a comprehensive literature review followed by the construction of a framework comprised of high-level causal factors leading to an automation-related flight anomaly. The framework was then converted into a Bayesian Belief Network (BBN) using the Hugin Software v7.8. The effects of automation on flight crew are incorporated into the model, including flight skill degradation, increased cognitive demand and training requirements along with their interactions. Besides flight crew deficiencies, automation system
Chang-Hua Zou
2009-01-01
Full Text Available Problem statement: Cardiovascular Diseases (CVD continued to be the leading cause of death. Failure or abnormal cardiac cellular or sub-cellular vibrations (oscillations could lead failure or abnormal heart beats that could cause CVD. Understanding the mechanisms of the vibrations (oscillations could help to prevent or to treat the diseases. Scientists have studied the mechanisms for more than 100 years. To our knowledge, the mechanisms are still unclear today. In this investigation, based on published data or results, conservation laws of the momentum as well as the energy, in views of biology, biochemistry, informatics and physics (BioChemInfoPhysics, we proposed our models of cardiac cellular and sub-cellular vibrations (oscillations of biological components, such as free ions in Biological Fluids (BF, Biological Membranes (BM, Ca++H+ (Ca++ and Na+K+ ATPases, Na+Ca++ exchangers (NCX, Ca++ carriers and myosin heads. Approach: Our models were described with 4-D (x, y, z, t or r, ?, z, t momentum transfer equations in mathematical physics. Results: The momentum transfer equations were solved with free and forced, damped, un-damped and over-damped, vibrations (oscillations. The biological components could be modeled as resonators or vibrators (oscillators, such as liquid plasmas, membranes, active springs, passive springs and active swings. Conclusion: We systematically provided new insights of automation (ignition and maintain, transportation, propagation and orientation of the cardiac cellular and sub-cellular vibrations (oscillations and resonances, with our BioChemInfoPhysics models of 4-D momentum transfer equations. Our modeling results implied: Auto-rhythmic cells (Sinoatrial Node Cells (SANC, Atrioventricular Node Cells (AVNC, Purkinje fibers, non-Auto-rhythmic ventricular myocytes and their Sarcoplasmic Reticulums (SR work as Biological Liquid Plasma Resonators (BLPR. The resonators were
Hardy Craig Hall
2016-02-01
Full Text Available While novel whole-plant phenotyping technologies have been successfully implemented into functional genomics and breeding programs, the potential of automated phenotyping with cellular resolution is largely unexploited. Laser scanning confocal microscopy has the potential to close this gap by providing spatially highly resolved images containing anatomic as well as chemical information on a subcellular basis. However, in the absence of automated methods, the assessment of the spatial patterns and abundance of fluorescent markers with subcellular resolution is still largely qualitative and time-consuming. Recent advances in image acquisition and analysis, coupled with improvements in microprocessor performance, have brought such automated methods within reach, so that information from thousands of cells per image for hundreds of images may be derived in an experimentally convenient time-frame. Here, we present a MATLAB-based analytical pipeline to 1 segment radial plant organs into individual cells, 2 classify cells into cell type categories based upon random forest classification, 3 divide each cell into sub-regions, and 4 quantify fluorescence intensity to a subcellular degree of precision for a separate fluorescence channel. In this research advance, we demonstrate the precision of this analytical process for the relatively complex tissues of Arabidopsis hypocotyls at various stages of development. High speed and robustness make our approach suitable for phenotyping of large collections of stem-like material and other tissue types.
Typhoid fever as cellular microbiological model
Andrade Dahir Ramos de; Andrade Júnior Dahir Ramos de
2003-01-01
The knowledge about typhoid fever pathogenesis is growing in the last years, mainly about the cellular and molecular phenomena that are responsible by clinical manifestations of this disease. In this article are discussed several recent discoveries, as follows: a) Bacterial type III protein secretion system; b) The five virulence genes of Salmonella spp. that encoding Sips (Salmonella invasion protein) A, B, C, D and E, which are capable of induce apoptosis in macrophages; c) The function of ...
Model-based automated testing of critical PLC programs.
Fernández Adiego, B; Tournier, J-C; González Suárez, V M; Bliudze, S
2014-01-01
Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model based approach which uses the BIP (Behavior, Interactions and Priorities) framework to perform automated testing of PLC programs developed with the UNICOS (UNified Industrial COntrol System) framework. This paper defines the translation procedure and rules from UNICOS to BIP which can be fully automated in order to hide the complexity of the underlying model from the control engineers. The approach is illustrated and validated through the study of a water treatment process.
Typhoid fever as cellular microbiological model
Andrade Dahir Ramos de
2003-01-01
Full Text Available The knowledge about typhoid fever pathogenesis is growing in the last years, mainly about the cellular and molecular phenomena that are responsible by clinical manifestations of this disease. In this article are discussed several recent discoveries, as follows: a Bacterial type III protein secretion system; b The five virulence genes of Salmonella spp. that encoding Sips (Salmonella invasion protein A, B, C, D and E, which are capable of induce apoptosis in macrophages; c The function of Toll R2 and Toll R4 receptors present in the macrophage surface (discovered in the Drosophila. The Toll family receptors are critical in the signalizing mediated by LPS in macrophages in association with LBP and CD14; d The lines of immune defense between intestinal lumen and internal organs; e The fundamental role of the endothelial cells in the inflammatory deviation from bloodstream into infected tissues by bacteria. In addition to above subjects, the authors comment the correlation between the clinical features of typhoid fever and the cellular and molecular phenomena of this disease, as well as the therapeutic consequences of this knowledge.
Typhoid fever as cellular microbiological model.
de Andrade, Dahir Ramos; de Andrade Júnior, Dahir Ramos
2003-01-01
The knowledge about typhoid fever pathogenesis is growing in the last years, mainly about the cellular and molecular phenomena that are responsible by clinical manifestations of this disease. In this article are discussed several recent discoveries, as follows: a) Bacterial type III protein secretion system; b) The five virulence genes of Salmonella spp. that encoding Sips (Salmonella invasion protein) A, B, C, D and E, which are capable of induce apoptosis in macrophages; c) The function of Toll R2 and Toll R4 receptors present in the macrophage surface (discovered in the Drosophila). The Toll family receptors are critical in the signalizing mediated by LPS in macrophages in association with LBP and CD14; d) The lines of immune defense between intestinal lumen and internal organs; e) The fundamental role of the endothelial cells in the inflammatory deviation from bloodstream into infected tissues by bacteria. In addition to above subjects, the authors comment the correlation between the clinical features of typhoid fever and the cellular and molecular phenomena of this disease, as well as the therapeutic consequences of this knowledge. PMID:14502344
Automation Marketplace 2010: New Models, Core Systems
Breeding, Marshall
2010-01-01
In a year when a difficult economy presented fewer opportunities for immediate gains, the major industry players have defined their business strategies with fundamentally different concepts of library automation. This is no longer an industry where companies compete on the basis of the best or the most features in similar products but one where…
Modeling In Vitro Cellular Responses to Silver Nanoparticles
Dwaipayan Mukherjee
2014-01-01
Full Text Available Engineered nanoparticles (NPs have been widely demonstrated to induce toxic effects to various cell types. In vitro cell exposure systems have high potential for reliable, high throughput screening of nanoparticle toxicity, allowing focusing on particular pathways while excluding unwanted effects due to other cells or tissue dosimetry. The work presented here involves a detailed biologically based computational model of cellular interactions with NPs; it utilizes measurements performed in human cell culture systems in vitro, to develop a mechanistic mathematical model that can support analysis and prediction of in vivo effects of NPs. The model considers basic cellular mechanisms including proliferation, apoptosis, and production of cytokines in response to NPs. This new model is implemented for macrophages and parameterized using in vitro measurements of changes in cellular viability and mRNA levels of cytokines: TNF, IL-1b, IL-6, IL-8, and IL-10. The model includes in vitro cellular dosimetry due to nanoparticle transport and transformation. Furthermore, the model developed here optimizes the essential cellular parameters based on in vitro measurements, and provides a “stepping stone” for the development of more advanced in vivo models that will incorporate additional cellular and NP interactions.
Oh, Eung Seok; Heo, Chaejeong; Kim, Ji Seon; Lee, Young Hee; Kim, Jong Min
2013-05-01
Parkinson's disease (PD) is characterized by progressive dopaminergic cell loss in the substantianigra (SN) and elevated iron levels demonstrated by autopsy and with 7-Tesla magnetic resonance imaging. Direct visualization of iron with live imaging techniques has not yet been successful. The aim of this study is to visualize and quantify the distribution of cellular iron using an intrinsic iron hyperspectral fluorescence signal. The 1-methyl-4-phenylpyridinium (MPP+)-induced cellular model of PD was established in SHSY5Y cells. The cells were exposed to iron by treatment with ferric ammonium citrate (FAC, 100 μM) for up to 6 hours. The hyperspectral fluorescence imaging signal of iron was examined usinga high- resolution dark-field optical microscope system with signal absorption for the visible/ near infrared (VNIR) spectral range. The 6-hour group showed heavy cellular iron deposition compared with the small amount of iron accumulation in the 1-hour group. The cellular iron was dispersed in a small, particulate form, whereas extracellular iron was detected in an aggregated form. In addition, iron particles were found to be concentrated on the cell membrane/edge of shrunken cells. The cellular iron accumulation readily occurred in MPP+-induced cells, which is consistent with previous studies demonstrating elevated iron levels in the SN in PD. This direct iron imaging methodology could be applied to analyze the physiological role of iron in PD, and its application might be expanded to various neurological disorders involving other metals, such as copper, manganese or zinc.
Cellular automaton for realistic modelling of landslides
E. Segre
1995-01-01
Full Text Available A numerical model is developed for the simulation of debris flow in landslides over a complex three dimensional topography. The model is then validated by comparing a simulation with reported field data. Our model is in fact a realistic elaboration of simpler "sandpile automata", which have in recent years been studied as supposedly paradigmatic of "self-organized criticality". Statistics and scaling properties of the simulation are examined, and show that the model has an intermittent behaviour.
Body composition analysis: Cellular level modeling of body component ratios
Z. Wang; Heymsfield, S. B.; PI-SUNYER, F.X.; Gallagher, D.; PIERSON, R.N.
2008-01-01
During the past two decades, a major outgrowth of efforts by our research group at St. Luke’s-Roosevelt Hospital is the development of body composition models that include cellular level models, models based on body component ratios, total body potassium models, multi-component models, and resting energy expenditure-body composition models. This review summarizes these models with emphasis on component ratios that we believe are fundamental to understanding human body composition during growt...
Modeling cellular deformations using the level set formalism
Yang Liu
2008-07-01
Full Text Available Abstract Background Many cellular processes involve substantial shape changes. Traditional simulations of these cell shape changes require that grids and boundaries be moved as the cell's shape evolves. Here we demonstrate that accurate cell shape changes can be recreated using level set methods (LSM, in which the cellular shape is defined implicitly, thereby eschewing the need for updating boundaries. Results We obtain a viscoelastic model of Dictyostelium cells using micropipette aspiration and show how this viscoelastic model can be incorporated into LSM simulations to recreate the observed protrusion of cells into the micropipette faithfully. We also demonstrate the use of our techniques by simulating the cell shape changes elicited by the chemotactic response to an external chemoattractant gradient. Conclusion Our results provide a simple but effective means of incorporating cellular deformations into mathematical simulations of cell signaling. Such methods will be useful for simulating important cellular events such as chemotaxis and cytokinesis.
Computational model of cellular metabolic dynamics
Li, Yanjun; Solomon, Thomas; Haus, Jacob M;
2010-01-01
Identifying the mechanisms by which insulin regulates glucose metabolism in skeletal muscle is critical to understanding the etiology of insulin resistance and type 2 diabetes. Our knowledge of these mechanisms is limited by the difficulty of obtaining in vivo intracellular data. To quantitatively...... cytosol and mitochondria. The model simulated skeletal muscle metabolic responses to insulin corresponding to human hyperinsulinemic-euglycemic clamp studies. Insulin-mediated rate of glucose disposal was the primary model input. For model validation, simulations were compared with experimental data...... type 2 diabetes....
Modeling cellular deformations using the level set formalism
Yang Liu; Effler Janet C; Kutscher Brett L; Sullivan Sarah E; Robinson Douglas N; Iglesias Pablo A
2008-01-01
Abstract Background Many cellular processes involve substantial shape changes. Traditional simulations of these cell shape changes require that grids and boundaries be moved as the cell's shape evolves. Here we demonstrate that accurate cell shape changes can be recreated using level set methods (LSM), in which the cellular shape is defined implicitly, thereby eschewing the need for updating boundaries. Results We obtain a viscoelastic model of Dictyostelium cells using micropipette aspiratio...
Cellular automata modeling of cooperative eutectic growth
E. Olejnik; E. Fraś; D. Gurgul; A. Burbelko
2010-01-01
The model and results of the 2D simulation of the cooperative growth of two phases in the lamellar eutectic are presented. The pro-posed model takes into account heat transfer, components diffusion and nonstationary concentration distribution in the liquid and solid phases, non-equlibrium nature of the phase transformation and kinetics of the growth, influence of the surface energy and interface curva-ture on the conditions of the thermodynamic equilibrium. For the determination of the phase ...
Development and validation of computational models of cellular interaction
Smallwood, R H; Holcombe, W.M.L.; Walker, D C
2004-01-01
In this paper we take the view that computational models of biological systems should satisfy two conditions – they should be able to predict function at a systems biology level, and robust techniques of validation against biological models must be available. A modelling paradigm for developing a predictive computational model of cellular interaction is described, and methods of providing robust validation against biological models are explored, followed by a consideration of soft...
Cellular Automaton Model for Immunology of Tumor Growth
Voitikova, M
1998-01-01
The stochastic discrete space-time model of an immune response on tumor spreading in a two-dimensional square lattice has been developed. The immunity-tumor interactions are described at the cellular level and then transferred into the setting of cellular automata (CA). The multistate CA model for system, in which all statesoflattice sites, composing of both immune and tumor cells populations, are the functions of the states of the 12 nearest neighbors. The CA model incorporates the essential featuresof the immunity-tumor system. Three regimes of neoplastic evolution including metastatic tumor growth and screen effect by inactive immune cells surrounding a tumor have been predicted.
Simulation Model of Automated Peat Briquetting Press Drive
A. Marozka; Y. Petrenko
2014-01-01
The paper presents the developed fully functional simulation model of an automated peat briquetting press drive. The given model makes it possible to reduce financial and time costs while developing, designing and operating a double-stamp peat briquetting press drive.
Simulation Model of Automated Peat Briquetting Press Drive
A. Marozka
2012-01-01
Full Text Available The paper presents the developed fully functional simulation model of an automated peat briquetting press drive. The given model makes it possible to reduce financial and time costs while developing, designing and operating a double-stamp peat briquetting press drive.
A cellular automata evacuation model considering friction and repulsion
SONG Weiguo; YU Yanfei; FAN Weicheng; Zhang Heping
2005-01-01
There exist interactions among pedestrians and between pedestrian and environment in evacuation. These interactions include attraction, repulsion and friction that play key roles in human evacuation behaviors, speed and efficiency. Most former evacuation models focus on the attraction force, while repulsion and friction are not well modeled. As a kind of multi-particle self-driven model, the social force model introduced in recent years can represent those three forces but with low simulation efficiency because it is a continuous model with complex rules. Discrete models such as the cellular automata model and the lattice gas model have simple rules and high simulation efficiency, but are not quite suitable for interactions' simulation. In this paper, a new cellular automata model based on traditional models is introduced in which repulsion and friction are modeled quantitatively. It is indicated that the model can simulate some basic behaviors, e.g.arching and the "faster-is-slower" phenomenon, in evacuation as multi-particle self-driven models, but with high efficiency as the normal cellular automata model and the lattice gas model.
Modeling diffusion of innovations with probabilistic cellular automata
Boccara, Nino; Fuks, Henryk
1997-01-01
We present a family of one-dimensional cellular automata modeling the diffusion of an innovation in a population. Starting from simple deterministic rules, we construct models parameterized by the interaction range and exhibiting a second-order phase transition. We show that the number of individuals who eventually keep adopting the innovation strongly depends on connectivity between individuals.
Modeling integrated cellular machinery using hybrid Petri-Boolean networks.
Natalie Berestovsky
Full Text Available The behavior and phenotypic changes of cells are governed by a cellular circuitry that represents a set of biochemical reactions. Based on biological functions, this circuitry is divided into three types of networks, each encoding for a major biological process: signal transduction, transcription regulation, and metabolism. This division has generally enabled taming computational complexity dealing with the entire system, allowed for using modeling techniques that are specific to each of the components, and achieved separation of the different time scales at which reactions in each of the three networks occur. Nonetheless, with this division comes loss of information and power needed to elucidate certain cellular phenomena. Within the cell, these three types of networks work in tandem, and each produces signals and/or substances that are used by the others to process information and operate normally. Therefore, computational techniques for modeling integrated cellular machinery are needed. In this work, we propose an integrated hybrid model (IHM that combines Petri nets and Boolean networks to model integrated cellular networks. Coupled with a stochastic simulation mechanism, the model simulates the dynamics of the integrated network, and can be perturbed to generate testable hypotheses. Our model is qualitative and is mostly built upon knowledge from the literature and requires fine-tuning of very few parameters. We validated our model on two systems: the transcriptional regulation of glucose metabolism in human cells, and cellular osmoregulation in S. cerevisiae. The model produced results that are in very good agreement with experimental data, and produces valid hypotheses. The abstract nature of our model and the ease of its construction makes it a very good candidate for modeling integrated networks from qualitative data. The results it produces can guide the practitioner to zoom into components and interconnections and investigate them
A catalog of automated analysis methods for enterprise models.
Florez, Hector; Sánchez, Mario; Villalobos, Jorge
2016-01-01
Enterprise models are created for documenting and communicating the structure and state of Business and Information Technologies elements of an enterprise. After models are completed, they are mainly used to support analysis. Model analysis is an activity typically based on human skills and due to the size and complexity of the models, this process can be complicated and omissions or miscalculations are very likely. This situation has fostered the research of automated analysis methods, for supporting analysts in enterprise analysis processes. By reviewing the literature, we found several analysis methods; nevertheless, they are based on specific situations and different metamodels; then, some analysis methods might not be applicable to all enterprise models. This paper presents the work of compilation (literature review), classification, structuring, and characterization of automated analysis methods for enterprise models, expressing them in a standardized modeling language. In addition, we have implemented the analysis methods in our modeling tool. PMID:27047732
WWW Business Applications Based on the Cellular Model
Toshio Kodama; Tosiyasu L. Kunii; Yoichi Seki
2008-01-01
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving invariants from a general level to a specific one. We have developed a data processing system called the Cellular Data System (CDS). In the development of business applications, you can prevent combinatorial explosion in the process of business design and testing by using CDS. In this paper, we have first designed and implemented wide-use algebra on the presentation level. Next, we have developed and verified the effectiveness of two general business applications using CDS: 1) a customer information management system, and 2) an estimate system.
Lattice gas cellular automata and lattice Boltzmann models an introduction
Wolf-Gladrow, Dieter A
2000-01-01
Lattice-gas cellular automata (LGCA) and lattice Boltzmann models (LBM) are relatively new and promising methods for the numerical solution of nonlinear partial differential equations. The book provides an introduction for graduate students and researchers. Working knowledge of calculus is required and experience in PDEs and fluid dynamics is recommended. Some peculiarities of cellular automata are outlined in Chapter 2. The properties of various LGCA and special coding techniques are discussed in Chapter 3. Concepts from statistical mechanics (Chapter 4) provide the necessary theoretical background for LGCA and LBM. The properties of lattice Boltzmann models and a method for their construction are presented in Chapter 5.
Modeling evolution and immune system by cellular automata
Bezzi, M. [Scuola Internazionale Superiore di Studi Avanzati, Trieste (Italy); Istituto Nazionale di Fisica della Materia, Florence (Italy)
2001-07-01
In this review the behavior of two different biological systems is investigated using cellular automata. Starting from this spatially extended approach it is also tried, in some cases, to reduce the complexity of the system introducing mean-field approximation, and solving (or trying to solve) these simplified systems. It is discussed the biological meaning of the results, the comparison with experimental data (if available) and the different features between spatially extended and mean-field versions. The biological systems considered in this review are the following: Darwinian evolution in simple ecosystems and immune system response. In the first section the main features of molecular evolution are introduced, giving a short survey of genetics for physicists and discussing some models for prebiotic systems and simple ecosystems. It is also introduced a cellular automaton model for studying a set of evolving individuals in a general fitness landscape, considering also the effects of co-evolution. In particular the process of species formation (speciation) is described in sect. 5. The second part deals with immune system modeling. The biological features of immune response are discussed, as well as it is introduced the concept of shape space and of idiotypic network. More detailed reviews which deal with immune system models (mainly focused on idiotypic network models) can be found. Other themes here discussed: the applications of CA to immune system modeling, two complex cellular automata for humoral and cellular immune response. Finally, it is discussed the biological data and the general conclusions are drawn in the last section.
Modeling evolution and immune system by cellular automata
In this review the behavior of two different biological systems is investigated using cellular automata. Starting from this spatially extended approach it is also tried, in some cases, to reduce the complexity of the system introducing mean-field approximation, and solving (or trying to solve) these simplified systems. It is discussed the biological meaning of the results, the comparison with experimental data (if available) and the different features between spatially extended and mean-field versions. The biological systems considered in this review are the following: Darwinian evolution in simple ecosystems and immune system response. In the first section the main features of molecular evolution are introduced, giving a short survey of genetics for physicists and discussing some models for prebiotic systems and simple ecosystems. It is also introduced a cellular automaton model for studying a set of evolving individuals in a general fitness landscape, considering also the effects of co-evolution. In particular the process of species formation (speciation) is described in sect. 5. The second part deals with immune system modeling. The biological features of immune response are discussed, as well as it is introduced the concept of shape space and of idiotypic network. More detailed reviews which deal with immune system models (mainly focused on idiotypic network models) can be found. Other themes here discussed: the applications of CA to immune system modeling, two complex cellular automata for humoral and cellular immune response. Finally, it is discussed the biological data and the general conclusions are drawn in the last section
A sub-cellular viscoelastic model for cell population mechanics.
Yousef Jamali
Full Text Available Understanding the biomechanical properties and the effect of biomechanical force on epithelial cells is key to understanding how epithelial cells form uniquely shaped structures in two or three-dimensional space. Nevertheless, with the limitations and challenges posed by biological experiments at this scale, it becomes advantageous to use mathematical and 'in silico' (computational models as an alternate solution. This paper introduces a single-cell-based model representing the cross section of a typical tissue. Each cell in this model is an individual unit containing several sub-cellular elements, such as the elastic plasma membrane, enclosed viscoelastic elements that play the role of cytoskeleton, and the viscoelastic elements of the cell nucleus. The cell membrane is divided into segments where each segment (or point incorporates the cell's interaction and communication with other cells and its environment. The model is capable of simulating how cells cooperate and contribute to the overall structure and function of a particular tissue; it mimics many aspects of cellular behavior such as cell growth, division, apoptosis and polarization. The model allows for investigation of the biomechanical properties of cells, cell-cell interactions, effect of environment on cellular clusters, and how individual cells work together and contribute to the structure and function of a particular tissue. To evaluate the current approach in modeling different topologies of growing tissues in distinct biochemical conditions of the surrounding media, we model several key cellular phenomena, namely monolayer cell culture, effects of adhesion intensity, growth of epithelial cell through interaction with extra-cellular matrix (ECM, effects of a gap in the ECM, tensegrity and tissue morphogenesis and formation of hollow epithelial acini. The proposed computational model enables one to isolate the effects of biomechanical properties of individual cells and the
Station Model for Rail Transit System Using Cellular Automata
XUN Jing; NING Bin; LI Ke-Ping
2009-01-01
In this paper, we propose a new cellular automata model to simulate the railway traffic at station.Based on NaSch model, the proposed station model is composed of the main track and the siding track.Two different schemes for trains passing through station are considered.One is the scheme of "pass by the main track, start and stop by the siding track".The other is the scheme of "two tracks play the same role".We simulate the train movement using the proposed model and analyze the traffic flow at station.The simulation results demonstrate that the proposed cellular automata model can be successfully used for the simulations of railway traffic.Some characteristic behaviors of railway traffic flow can be reproduced.Moreover, the simulation values of the minimum headway are close to the theoretical values.This result demonstrates the dependability and availability of the proposed model.
Cellular worlds: a framework for modeling micro - macro dynamics
H Couclelis
1985-01-01
Cellular spaces have recently received a lot of attention in computer science and elsewhere as models capable of bridging the gap between disaggregate and aggregate description. Despite their obvious spatial interpretation, standard cell-space models are too constrained by their background conventions to be useful in realistic geographic applications. In this paper, a generalization of the cell-space principle is presented, based on discrete model theory, and then applied to a hypothetical bu...
A Modified Cellular Automaton Model for Traffic Flow
葛红霞; 董力耘; 雷丽; 戴世强
2004-01-01
A modified cellular automaton model for traffic flow was proposed. A novel concept about the changeable security gap was introduced and a parameter related to the variable security gap was determined. The fundamental diagram obtained by simulation shows that the maximum flow more approaches to the observed data than that of the NaSch model, indicating that the presented model is more reasonable and realistic.
On automation of the procedure for crystal structure model refinement
The methods of automation of the procedure for crystal structure model refinement from experimental diffraction data, implemented in the ASTRA program package, are described. Such tools as statistical tests, parameter scanning, and data scanning reduce the time necessary for structural investigation. At strong correlations between parameters, especially when the data set is limited, parameter scanning has an advantage over the full-matrix refinement.
Automating sensitivity analysis of computer models using computer calculus
An automated procedure for performing sensitivity analysis has been developed. The procedure uses a new FORTRAN compiler with computer calculus capabilities to generate the derivatives needed to set up sensitivity equations. The new compiler is called GRESS - Gradient Enhanced Software System. Application of the automated procedure with direct and adjoint sensitivity theory for the analysis of non-linear, iterative systems of equations is discussed. Calculational efficiency consideration and techniques for adjoint sensitivity analysis are emphasized. The new approach is found to preserve the traditional advantages of adjoint theory while removing the tedious human effort previously needed to apply this theoretical methodology. Conclusions are drawn about the applicability of the automated procedure in numerical analysis and large-scale modelling sensitivity studies
Automating sensitivity analysis of computer models using computer calculus
An automated procedure for performing sensitivity analyses has been developed. The procedure uses a new FORTRAN compiler with computer calculus capabilities to generate the derivatives needed to set up sensitivity equations. The new compiler is called GRESS - Gradient Enhanced Software System. Application of the automated procedure with ''direct'' and ''adjoint'' sensitivity theory for the analysis of non-linear, iterative systems of equations is discussed. Calculational efficiency consideration and techniques for adjoint sensitivity analysis are emphasized. The new approach is found to preserve the traditional advantages of adjoint theory while removing the tedious human effort previously needed to apply this theoretical methodology. Conclusions are drawn about the applicability of the automated procedure in numerical analysis and large-scale modelling sensitivity studies. 24 refs., 2 figs
The brittleness model of complex system based on cellular automata
LIN De-ming; JIN Hong-zhang; LI Qi; WU Hong-mei
2004-01-01
Now the research on the complex system is a hot spot. Brittleness is one of the basic characteristics of a complex system. In a complex system, after one of subsystems is struck to be collapsed, the whole system will collapse. Meanwhile, cellular automata is a discrete dynamic system. When the rule is given, the cellular automata could be defined. Then it can imitate the complex action. Cellular automata is used to simulate the brittleness action in this study. Entropy was used to analyze the action and get the rule. Then,three normal brittleness models were given. The result shows that the brittleness of complex system is existent and in addition some important behavior mode of complex system brittleness has been achieved.
Automated adaptive inference of phenomenological dynamical models
Daniels, Bryan C.; Nemenman, Ilya
2015-08-01
Dynamics of complex systems is often driven by large and intricate networks of microscopic interactions, whose sheer size obfuscates understanding. With limited experimental data, many parameters of such dynamics are unknown, and thus detailed, mechanistic models risk overfitting and making faulty predictions. At the other extreme, simple ad hoc models often miss defining features of the underlying systems. Here we develop an approach that instead constructs phenomenological, coarse-grained models of network dynamics that automatically adapt their complexity to the available data. Such adaptive models produce accurate predictions even when microscopic details are unknown. The approach is computationally tractable, even for a relatively large number of dynamical variables. Using simulated data, it correctly infers the phase space structure for planetary motion, avoids overfitting in a biological signalling system and produces accurate predictions for yeast glycolysis with tens of data points and over half of the interacting species unobserved.
Fire Spread Model for Old Towns Based on Cellular Automaton
GAO Nan; WENG Wenguo; MA Wei; NI Shunjiang; HUANG Quanyi; YUAN Hongyong
2008-01-01
Old towns like Lijiang have enormous historic,artistic,and architectural value.The buildings in such old towns are usually made of highly combustible materials,such as wood and grass.If a fire breaks out,it will spread to multiple buildings,so fire spreading and controlling in old towns need to be studied.This paper presents a fire spread model for old towns based on cellular automaton.The cellular automaton rules were set according to historical fire data in empirical formulas.The model also considered the effects of climate.The simulation results were visualized in a geography information system.An example of a fire spread in Lijiang was investigated with the results showing that this model provides a realistic tool for predicting fire spread in old towns.Fire brigades can use this tool to predict when and how a fire spreads to minimize the losses.
Model Search: Formalizing and Automating Constraint Solving in MDE Platforms
Kleiner, Mathias; Del Fabro, Marcos Didonet; Albert, Patrick
Model Driven Engineering (MDE) and constraint programming (CP) have been widely used and combined in different applications. However, existing results are either ad-hoc, not fully integrated or manually executed. In this article, we present a formalization and an approach for automating constraint-based solving in a MDE platform. Our approach generalizes existing work by combining known MDE concepts with CP techniques into a single operation called model search. We present the theoretical basis for model search, as well as an automated process that details the involved operations. We validate our approach by comparing two implemented solutions (one based on Alloy/SAT, the other on OPL/CP), and by executing them over an academic use-case.
An intelligent floor field cellular automata model for pedestrian dynamics
Kirik, Ekaterina; Krouglov, Dmitriy
2009-01-01
A stochastic cellular automata (CA) model for pedestrian dynamics is presented. Our goal is to simulate different types of pedestrian movement, from regular to panic. But here we emphasize regular situations which imply that pedestrians analyze environment and choose their route more carefully. And transition probabilities have to depict such effect. The potentials of floor fields and environment analysis are combined in the model obtained. People patience is included in the model. This makes simulation of pedestrians movement more realistic. Some simulation results are presented and comparison with basic FF-model is made.
A cellular automata model of Ebola virus dynamics
Burkhead, Emily; Hawkins, Jane
2015-11-01
We construct a stochastic cellular automaton (SCA) model for the spread of the Ebola virus (EBOV). We make substantial modifications to an existing SCA model used for HIV, introduced by others and studied by the authors. We give a rigorous analysis of the similarities between models due to the spread of virus and the typical immune response to it, and the differences which reflect the drastically different timing of the course of EBOV. We demonstrate output from the model and compare it with clinical data.
Car Deceleration Considering Its Own Velocity in Cellular Automata Model
LI Ke-Ping
2006-01-01
In this paper, we propose a new cellular automaton model, which is based on NaSch traffic model. In our method, when a car has a larger velocity, if the gap between the car and its leading car is not enough large, it will decrease. The aim is that the following car has a buffer space to decrease its velocity at the next time, and then avoid to decelerate too high. The simulation results show that using our model, the car deceleration is realistic, and is closer to thefield measure than that of NaSch model.
Simulations of Living Cell Origins Using a Cellular Automata Model
Ishida, Takeshi
2014-04-01
Understanding the generalized mechanisms of cell self-assembly is fundamental for applications in various fields, such as mass producing molecular machines in nanotechnology. Thus, the details of real cellular reaction networks and the necessary conditions for self-organized cells must be elucidated. We constructed a 2-dimensional cellular automata model to investigate the emergence of biological cell formation, which incorporated a looped membrane and a membrane-bound information system (akin to a genetic code and gene expression system). In particular, with an artificial reaction system coupled with a thermal system, the simultaneous formation of a looped membrane and an inner reaction process resulted in a more stable structure. These double structures inspired the primitive biological cell formation process from chemical evolution stage. With a model to simulate cellular self-organization in a 2-dimensional cellular automata model, 3 phenomena could be realized: (1) an inner reaction system developed as an information carrier precursor (akin to DNA); (2) a cell border emerged (akin to a cell membrane); and (3) these cell structures could divide into 2. This double-structured cell was considered to be a primary biological cell. The outer loop evolved toward a lipid bilayer membrane, and inner polymeric particles evolved toward precursor information carriers (evolved toward DNA). This model did not completely clarify all the necessary and sufficient conditions for biological cell self-organization. Further, our virtual cells remained unstable and fragile. However, the "garbage bag model" of Dyson proposed that the first living cells were deficient; thus, it would be reasonable that the earliest cells were more unstable and fragile than the simplest current unicellular organisms.
Mathematical model for flood routing based on cellular automaton
Xin CAI
2014-04-01
Full Text Available Increasing frequency and severity of flooding have caused tremendous damage in China, requiring more essential countermeasures to alleviate the damage. In this study, the dynamic simulation property of a cellular automaton was used to make further progress in flood routing. In consideration of terrain’s influence on flood routing, we regarded the terrain elevation as an auxiliary attribute of a two-dimensional cellular automaton in path selection for flood routing and developed a mathematical model based on a cellular automaton. A numerical case of propagation of an outburst flood in an area of the lower Yangtze River was analyzed with both the fixed-step and variable-step models. The results show that the flood does not spread simultaneously in all directions, but flows into the lower place first, and that the submerged area grows quickly at the beginning, but slowly later on. The final submerged areas obtained from the two different models are consistent, and the flood volume balance test shows that the flood volume meets the requirement of the total volume balance. The analysis of the case shows that the proposed model can be a valuable tool for flood routing.
Modeling self-organizing traffic lights with elementary cellular automata
Gershenson, Carlos
2009-01-01
There have been several highway traffic models proposed based on cellular automata. The simplest one is elementary cellular automaton rule 184. We extend this model to city traffic with cellular automata coupled at intersections using only rules 184, 252, and 136. The simplicity of the model offers a clear understanding of the main properties of city traffic and its phase transitions. We use the proposed model to compare two methods for coordinating traffic lights: a green-wave method that tries to optimize phases according to expected flows and a self-organizing method that adapts to the current traffic conditions. The self-organizing method delivers considerable improvements over the green-wave method. For low densities, the self-organizing method promotes the formation and coordination of platoons that flow freely in four directions, i.e. with a maximum velocity and no stops. For medium densities, the method allows a constant usage of the intersections, exploiting their maximum flux capacity. For high dens...
Modeling automated worlds: A performance shaping factors perspective
This paper presents preliminary findings regarding a modeling framework under development for use in human reliability analysis (HRA) for automated systems. This framework supports the review of cognitive factors thought to be important for crew performance in control rooms modified by the introduction of digital control systems and advanced information presentation systems. The modeling framework proposed in this paper provides a means conceptualizing the dynamic sharing of responsibilities and information that occurs as a natural part of human machine systems interaction in advanced systems. Performance shaping factors (PSFs) are presented as the interface between plant status and the crew. Special emphasis is placed on the evaluation of traditional versus non-traditional PSFs. Many of the non-traditional PSFs are cognitive in nature. A number of issues pertaining to crew performance in automated environments are discussed. Data collection activities in the form of field studies and controlled experiments necessary to support PSF evaluation methods are discussed
A Cellular Model for Screening Neuronal Nitric Oxide Synthase Inhibitors
Fang, Jianguo; Silverman, Richard B.
2009-01-01
Nitric oxide synthase (NOS) inhibitors are potential drug candidates because it has been well demonstrated that excessive production of NO critically contributes to a range of diseases. Most inhibitors have been screened in vitro using recombinant enzymes, leading to the discovery of a variety of potent compounds. To make inhibition studies more physiologically relevant and bridge the gap between the in vitro assay and in vivo studies, we report here a cellular model for screening NOS inhibit...
Cellular-Based Statistical Model for Mobile Dispersion
Abdulla, Mouhamed; Shayan, Yousef R.
2013-01-01
While analyzing mobile systems we often approximate the actual coverage surface and assume an ideal cell shape. In a multi-cellular network, because of its tessellating nature, a hexagon is more preferred than a circular geometry. Despite this reality, perhaps due to the inherent simplicity, only a model for circular based random spreading is available. However, if used, this results an unfair terminal distribution for non-circular contours. Therefore, in this paper we specifically derived an...
Automated Reasoning on Feature Models via Constraint Programming
Alvarez Divo, Carlos Eduardo
2011-01-01
Feature models are often used in software product lines to represent a set of products and reason over their properties, similarities and differences, costs, etc. The problem becomes automating such reasoning which translates into a positive impact in terms of production, cost, and creation of the final products. To approach this matter we take advantage of the benefits of the constraint programming technology, which has proven to be most effective when solving problems of large complexity. T...
Automated refinement and inference of analytical models for metabolic networks
Schmidt, Michael D.; Vallabhajosyula, Ravishankar R.; Jenkins, Jerry W.; Hood, Jonathan E.; Soni, Abhishek S.; Wikswo, John P.; Lipson, Hod
2011-10-01
The reverse engineering of metabolic networks from experimental data is traditionally a labor-intensive task requiring a priori systems knowledge. Using a proven model as a test system, we demonstrate an automated method to simplify this process by modifying an existing or related model--suggesting nonlinear terms and structural modifications--or even constructing a new model that agrees with the system's time series observations. In certain cases, this method can identify the full dynamical model from scratch without prior knowledge or structural assumptions. The algorithm selects between multiple candidate models by designing experiments to make their predictions disagree. We performed computational experiments to analyze a nonlinear seven-dimensional model of yeast glycolytic oscillations. This approach corrected mistakes reliably in both approximated and overspecified models. The method performed well to high levels of noise for most states, could identify the correct model de novo, and make better predictions than ordinary parametric regression and neural network models. We identified an invariant quantity in the model, which accurately derived kinetics and the numerical sensitivity coefficients of the system. Finally, we compared the system to dynamic flux estimation and discussed the scaling and application of this methodology to automated experiment design and control in biological systems in real time.
Automated refinement and inference of analytical models for metabolic networks
The reverse engineering of metabolic networks from experimental data is traditionally a labor-intensive task requiring a priori systems knowledge. Using a proven model as a test system, we demonstrate an automated method to simplify this process by modifying an existing or related model-–suggesting nonlinear terms and structural modifications–-or even constructing a new model that agrees with the system's time series observations. In certain cases, this method can identify the full dynamical model from scratch without prior knowledge or structural assumptions. The algorithm selects between multiple candidate models by designing experiments to make their predictions disagree. We performed computational experiments to analyze a nonlinear seven-dimensional model of yeast glycolytic oscillations. This approach corrected mistakes reliably in both approximated and overspecified models. The method performed well to high levels of noise for most states, could identify the correct model de novo, and make better predictions than ordinary parametric regression and neural network models. We identified an invariant quantity in the model, which accurately derived kinetics and the numerical sensitivity coefficients of the system. Finally, we compared the system to dynamic flux estimation and discussed the scaling and application of this methodology to automated experiment design and control in biological systems in real time
Modelling of detonation cellular structure in aluminium suspensions
Briand, A.; Veyssiere, B.; Khasainov, B. A.
2010-12-01
Heterogeneous detonations involving aluminium suspensions have been studied for many years for industrial safety policies, and for military and propulsion applications. Owing to their weak detonability and to the lack of available experimental results on the detonation cellular structure, numerical simulations provide a convenient way to improve the knowledge of such detonations. One major difficulty arising in numerical study of heterogeneous detonations involving suspensions of aluminium particles in oxidizing atmospheres is the modelling of aluminium combustion. Our previous two-step model provided results on the effect on the detonation cellular structure of particle diameter and characteristic chemical lengths. In this study, a hybrid model is incorporated in the numerical code EFAE, combining both kinetic and diffusion regimes in parallel. This more realistic model provides good agreement with the previous two-step model and confirms the correlations found between the detonation cell width, and particle diameter and characteristic lengths. Moreover, the linear dependence found between the detonation cell width and the induction length remains valid with the hybrid model.
A cellular automaton model for tumor growth in heterogeneous environment
Jiao, Yang; Torquato, Sal
2011-03-01
Cancer is not a single disease: it exhibits heterogeneity on different spatial and temporal scales and strongly interacts with its host environment. Most mathematical modeling of malignant tumor growth has assumed a homogeneous host environment. We have developed a cellular automaton model for tumor growth that explicitly incorporates the structural heterogeneity of the host environment such as tumor stroma. We show that these structural heterogeneities have non-trivial effects on the tumor growth dynamics and prognosis. Y. J. is supported by PSOC, NCI.
Cellular automata model of magnetospheric-ionospheric coupling
Kozelov, B. V.; Kozelova, T. V.
2003-01-01
We propose a cellular automata model (CAM) to describe the substorm activity of the magnetospheric-ionospheric system. The state of each cell in the model is described by two numbers that correspond to the energy content in a region of the current sheet in the magnetospheric tail and to the conductivity of the ionospheric domain that is magnetically connected with this region. The driving force of the system is supposed to be provided by the solar wind that is convected along the two b...
A Realistic Cellular Automaton Model for Synchronized Traffic Flow
ZHAO Bo-Han; HU Mao-Bin; JIANG Rui; WU Qing-Song
2009-01-01
A cellular automaton model is proposed to consider the anticipation effect in drivers' behavior. It is shown that the anticipation effect can be one of the origins of synchronized traffic flow. With anticipation effect, the congested traffic flow simulated by the model exhibits the features of synchronized flow. The spatiotemporal patterns induced by an on-ramp are also consistent with the three-phaee traffic theory. Since the origin of synchronized flow is still controversial, our work can shed some light on the mechanism of synchronized flow.
Cellular automata modelling of phase-change memories
Wanhua Yu; David Wright
2008-01-01
A novel approach to modelling phase-transition processes in phase change materials used for optical and electrical data storage applications is presented. The model is based on a cellular automaton (CA) approach to predict crystallization behaviour that is linked to thermal and electrical simulations to enable the study of the data writing and erasing processes. The CA approach is shown to be able to predict the evolution of the microstructure during the rapid heating and cooling cycles pertinent to data storage technology, and maps crystallization behaviour on the nanoscale. A simple example based on possible future nonvolatile phase-change random access solid-state memory is presented.
Modeling and simulation for train control system using cellular automata
LI; KePing; GAO; ZiYou; YANG; LiXing
2007-01-01
Train control system plays a key role in railway traffic. Its function is to manage and control the train movement on railway networks. In our previous works, based on the cellular automata (CA) model, we proposed several models and algorithms for simulating the train movement under different control system conditions. However, these models are only suitable for some simple traffic conditions. Some basic factors, which are important for train movement, are not considered. In this paper, we extend these models and algorithms and give a unified formula. Using the proposed method, we analyze and discuss the space-time diagram of railway traffic flow and the trajectories of the train movement. The numerical simulation and analytical results demonstrate that the unified CA model is an effective tool for simulating the train control system.
Cellular automaton model considering headway-distance effect
Hu, Shou-Xin; Gao, Kun; Wang, Bing-Hong; Lu, Yu-Feng
2008-05-01
This paper presents a cellular automaton model for single-lane traffic flow. On the basis of the Nagel-Schreckenberg (NS) model, it further considers the effect of headway-distance between two successive cars on the randomization of the latter one. In numerical simulations, this model shows the following characteristics. (1) With a simple structure, this model succeeds in reproducing the hysteresis effect, which is absent in the NS model. (2) Compared with the slow-to-start models, this model exhibits a local fundamental diagram which is more consistent to empirical observations. (3) This model has much higher efficiency in dissolving congestions compared with the so-called NS model with velocity-dependent randomization (VDR model). (4) This model is more robust when facing traffic obstructions. It can resist much longer shock times and has much shorter relaxation times on the other hand. To summarize, compared with the existing models, this model is quite simple in structure, but has good characteristics.
A model for automation of radioactive dose control
The paper presents a proposal for automation of the personnel dose control system to be used in nuclear medicine environments. The model has considered the Standards and rules of the National Commission of Nuclear Energy (CNEN) and of the Health Ministry. The advantages of the model is a robust management of the integrated dose and technicians qualification status. The software platform selected to be used was the Lotus Notes and an analysis of the advantages, disadvantages of the use of this platform is also presented. (author)
Automated Decomposition of Model-based Learning Problems
Williams, Brian C.; Millar, Bill
1996-01-01
A new generation of sensor rich, massively distributed autonomous systems is being developed that has the potential for unprecedented performance, such as smart buildings, reconfigurable factories, adaptive traffic systems and remote earth ecosystem monitoring. To achieve high performance these massive systems will need to accurately model themselves and their environment from sensor information. Accomplishing this on a grand scale requires automating the art of large-scale modeling. This paper presents a formalization of [\\em decompositional model-based learning (DML)], a method developed by observing a modeler's expertise at decomposing large scale model estimation tasks. The method exploits a striking analogy between learning and consistency-based diagnosis. Moriarty, an implementation of DML, has been applied to thermal modeling of a smart building, demonstrating a significant improvement in learning rate.
Structural modeling of sandwich structures with lightweight cellular cores
T. Liu; Z. C. Deng; T. J. Lu
2007-01-01
An effective single layered finite element (FE) computational model is proposed to predict the structural behavior of lightweight sandwich panels having two dimensional (2D) prismatic or three dimensional (3D) truss cores.Three different types of cellular core topology are considered: pyramidal truss core (3D), Kagome truss core (3D) and corrugated core (2D), representing three kinds of material anisotropy: orthotropic, monoclinic and general anisotropic. A homogenization technique is developed to obtain the homogenized macroscopic stiffness properties of the cellular core. In comparison with the results obtained by using detailed FE model, the single layered computational model cangive acceptable predictions for both the static and dynamic behaviors of orthotropic truss core sandwich panels. However, for non-orthotropic 3D truss cores, the predictions are not so well. For both static and dynamic behaviors of a 2D corrugated core sandwich panel, the predictions derived by the single layered computational model is generally acceptable when the size of the unit cell varies within a certain range, with the predictions for moderately strong or strong corrugated cores more accurate than those for weak cores.
A Fluid Model for Performance Analysis in Cellular Networks
Coupechoux Marceau
2010-01-01
Full Text Available We propose a new framework to study the performance of cellular networks using a fluid model and we derive from this model analytical formulas for interference, outage probability, and spatial outage probability. The key idea of the fluid model is to consider the discrete base station (BS entities as a continuum of transmitters that are spatially distributed in the network. This model allows us to obtain simple analytical expressions to reveal main characteristics of the network. In this paper, we focus on the downlink other-cell interference factor (OCIF, which is defined for a given user as the ratio of its outer cell received power to its inner cell received power. A closed-form formula of the OCIF is provided in this paper. From this formula, we are able to obtain the global outage probability as well as the spatial outage probability, which depends on the location of a mobile station (MS initiating a new call. Our analytical results are compared to Monte Carlo simulations performed in a traditional hexagonal network. Furthermore, we demonstrate an application of the outage probability related to cell breathing and densification of cellular networks.
Integrating cellular metabolism into a multiscale whole-body model.
Markus Krauss
Full Text Available Cellular metabolism continuously processes an enormous range of external compounds into endogenous metabolites and is as such a key element in human physiology. The multifaceted physiological role of the metabolic network fulfilling the catalytic conversions can only be fully understood from a whole-body perspective where the causal interplay of the metabolic states of individual cells, the surrounding tissue and the whole organism are simultaneously considered. We here present an approach relying on dynamic flux balance analysis that allows the integration of metabolic networks at the cellular scale into standardized physiologically-based pharmacokinetic models at the whole-body level. To evaluate our approach we integrated a genome-scale network reconstruction of a human hepatocyte into the liver tissue of a physiologically-based pharmacokinetic model of a human adult. The resulting multiscale model was used to investigate hyperuricemia therapy, ammonia detoxification and paracetamol-induced toxication at a systems level. The specific models simultaneously integrate multiple layers of biological organization and offer mechanistic insights into pathology and medication. The approach presented may in future support a mechanistic understanding in diagnostics and drug development.
Robustness of a Cellular Automata Model for the HIV Infection
Figueirêdo, P H; Santos, R M Zorzenon dos
2008-01-01
An investigation was conducted to study the robustness of the results obtained from the cellular automata model which describes the spread of the HIV infection within lymphoid tissues [R. M. Zorzenon dos Santos and S. Coutinho, Phys. Rev. Lett. 87, 168102 (2001)]. The analysis focussed on the dynamic behavior of the model when defined in lattices with different symmetries and dimensionalities. The results illustrated that the three-phase dynamics of the planar models suffered minor changes in relation to lattice symmetry variations and, while differences were observed regarding dimensionality changes, qualitative behavior was preserved. A further investigation was conducted into primary infection and sensitiveness of the latency period to variations of the model's stochastic parameters over wide ranging values. The variables characterizing primary infection and the latency period exhibited power-law behavior when the stochastic parameters varied over a few orders of magnitude. The power-law exponents were app...
Fluctuation in option pricing using cellular automata based market models
Gao, Yuying; Beni, Gerardo
2005-05-01
A new agent-based Cellular Automaton (CA) computational algorithm for option pricing is proposed. CAs have been extensively used in modeling complex dynamical systems but not in modeling option prices. Compared with traditional tools, which rely on guessing volatilities to calculate option prices, the CA model is directly addressing market mechanisms and simulates price fluctuation from aggregation of actions made by interacting individual market makers in a large population. This paper explores whether CA models can provide reasonable good answers to pricing European options. The Black-Scholes model and the Binomial Tree model are used for comparison. Comparison reveals that CA models perform reasonably well in pricing options, reproducing overall characteristics of random walk based model, while at the same time providing plausible results for the 'fat-tail' phenomenon observed in many markets. We also show that the binomial tree model can be obtained from a CA rule. Thus, CA models are suitable tools to generalize the standard theories of option pricing.
Extraction Error Modeling and Automated Model Debugging in High-Performance Low Power Custom Designs
Yang, Yu-Shen; Veneris, Andreas; Thadikaran, Paul; Venkataraman, Srikanth
2005-01-01
Test model generation is common in the design cycle of custom made high performance low power designs targeted for high volume production. Logic extraction is a key step in test model generation to produce a logic level netlist from the transistor level representation. This is a semi-automated process which is error prone. This paper analyzes typical extraction errors applicable to clocking schemes seen in high-performance designs today. An automated debugging solution for these errors in des...
Simulation of root forms using cellular automata model
This research aims to produce a simulation program for root forms using cellular automata model. Stephen Wolfram in his book entitled “A New Kind of Science” discusses the formation rules based on the statistical analysis. In accordance with Stephen Wolfram’s investigation, the research will develop a basic idea of computer program using Delphi 7 programming language. To best of our knowledge, there is no previous research developing a simulation describing root forms using the cellular automata model compared to the natural root form with the presence of stone addition as the disturbance. The result shows that (1) the simulation used four rules comparing results of the program towards the natural photographs and each rule had shown different root forms; (2) the stone disturbances prevent the root growth and the multiplication of root forms had been successfully modeled. Therefore, this research had added some stones, which have size of 120 cells placed randomly in the soil. Like in nature, stones cannot be penetrated by plant roots. The result showed that it is very likely to further develop the program of simulating root forms by 50 variations
A hybrid parallel framework for the cellular Potts model simulations
Jiang, Yi [Los Alamos National Laboratory; He, Kejing [SOUTH CHINA UNIV; Dong, Shoubin [SOUTH CHINA UNIV
2009-01-01
The Cellular Potts Model (CPM) has been widely used for biological simulations. However, most current implementations are either sequential or approximated, which can't be used for large scale complex 3D simulation. In this paper we present a hybrid parallel framework for CPM simulations. The time-consuming POE solving, cell division, and cell reaction operation are distributed to clusters using the Message Passing Interface (MPI). The Monte Carlo lattice update is parallelized on shared-memory SMP system using OpenMP. Because the Monte Carlo lattice update is much faster than the POE solving and SMP systems are more and more common, this hybrid approach achieves good performance and high accuracy at the same time. Based on the parallel Cellular Potts Model, we studied the avascular tumor growth using a multiscale model. The application and performance analysis show that the hybrid parallel framework is quite efficient. The hybrid parallel CPM can be used for the large scale simulation ({approx}10{sup 8} sites) of complex collective behavior of numerous cells ({approx}10{sup 6}).
Simulation of root forms using cellular automata model
Winarno, Nanang; Prima, Eka Cahya; Afifah, Ratih Mega Ayu
2016-02-01
This research aims to produce a simulation program for root forms using cellular automata model. Stephen Wolfram in his book entitled "A New Kind of Science" discusses the formation rules based on the statistical analysis. In accordance with Stephen Wolfram's investigation, the research will develop a basic idea of computer program using Delphi 7 programming language. To best of our knowledge, there is no previous research developing a simulation describing root forms using the cellular automata model compared to the natural root form with the presence of stone addition as the disturbance. The result shows that (1) the simulation used four rules comparing results of the program towards the natural photographs and each rule had shown different root forms; (2) the stone disturbances prevent the root growth and the multiplication of root forms had been successfully modeled. Therefore, this research had added some stones, which have size of 120 cells placed randomly in the soil. Like in nature, stones cannot be penetrated by plant roots. The result showed that it is very likely to further develop the program of simulating root forms by 50 variations.
Simulation of root forms using cellular automata model
Winarno, Nanang, E-mail: nanang-winarno@upi.edu; Prima, Eka Cahya [International Program on Science Education, Universitas Pendidikan Indonesia, Jl. Dr. Setiabudi no 229, Bandung40154 (Indonesia); Afifah, Ratih Mega Ayu [Department of Physics Education, Post Graduate School, Universitas Pendidikan Indonesia, Jl. Dr. Setiabudi no 229, Bandung40154 (Indonesia)
2016-02-08
This research aims to produce a simulation program for root forms using cellular automata model. Stephen Wolfram in his book entitled “A New Kind of Science” discusses the formation rules based on the statistical analysis. In accordance with Stephen Wolfram’s investigation, the research will develop a basic idea of computer program using Delphi 7 programming language. To best of our knowledge, there is no previous research developing a simulation describing root forms using the cellular automata model compared to the natural root form with the presence of stone addition as the disturbance. The result shows that (1) the simulation used four rules comparing results of the program towards the natural photographs and each rule had shown different root forms; (2) the stone disturbances prevent the root growth and the multiplication of root forms had been successfully modeled. Therefore, this research had added some stones, which have size of 120 cells placed randomly in the soil. Like in nature, stones cannot be penetrated by plant roots. The result showed that it is very likely to further develop the program of simulating root forms by 50 variations.
The Application of the Cumulative Logistic Regression Model to Automated Essay Scoring
Haberman, Shelby J.; Sinharay, Sandip
2010-01-01
Most automated essay scoring programs use a linear regression model to predict an essay score from several essay features. This article applied a cumulative logit model instead of the linear regression model to automated essay scoring. Comparison of the performances of the linear regression model and the cumulative logit model was performed on a…
National Oceanic and Atmospheric Administration, Department of Commerce — The purpose of this project is to adapt cellular in vitro assay systems of the rainbow trout pituitary, liver and ovary for high-throughput screening (HTS) of...
Cellular automaton model of cell response to targeted radiation
It has been shown that the response of cells to low doses of radiation is not linear and cannot be accurately extrapolated from the high dose response. To investigate possible mechanisms involved in the behaviour of cells under very low doses of radiation, a cellular automaton (CA) model was created. The diffusion and consumption of glucose in the culture dish were computed in parallel to the growth of cells. A new model for calculating survival probability was introduced; the communication between targeted and non-targeted cells was also included. Early results on the response of non-confluent cells to targeted irradiation showed the capability of the model to take account for the non-linear response in the low-dose domain
Cellular automaton model of coupled mass transport and chemical reactions
Mass transport, coupled with chemical reactions, is modelled as a cellular automaton in which solute molecules perform a random walk on a lattice and react according to a local probabilistic rule. Assuming molecular chaos and a smooth density function, we obtain the standard reaction-transport equations in the continuum limit. The model is applied to the reactions a + b ↔c and a + b →c, where we observe interesting macroscopic effects resulting from microscopic fluctuations and spatial correlations between molecules. We also simulate autocatalytic reaction schemes displaying spontaneous formation of spatial concentration patterns. Finally, we propose and discuss the limitations of a simple model for mineral-solute interaction. (author) 5 figs., 20 refs
Global Network Model based on Earth Grid and Cellular
Dongqi Lu
2014-06-01
Full Text Available We aim to understand the current health state of the Earth and find how human activities influence it. Based on the theory of Earth’s Grid and Cellular Automata, we define and test a global network model, analyze the mutual interactions and feedbacks of ecosystem, hydrologic circle and atmosphere. In addition, we consult a lot of data to find a benchmark for the “Earth Health Map”, with the ecosystem distribution on it, which can be helpful for making a strategic decision for policy makers and prediction. Our model can be extended to other similar fields. In the end, we discuss the sensitivity of parameters selection, and the superiorities and weaknesses of our model.
A cellular automata-based mathematical model for thymocyte development.
Hallan Souza-e-Silva
Full Text Available Intrathymic T cell development is an important process necessary for the normal formation of cell-mediated immune responses. Importantly, such a process depends on interactions of developing thymocytes with cellular and extracellular elements of the thymic microenvironment. Additionally, it includes a series of oriented and tunely regulated migration events, ultimately allowing mature cells to cross endothelial barriers and leave the organ. Herein we built a cellular automata-based mathematical model for thymocyte migration and development. The rules comprised in this model take into account the main stages of thymocyte development, two-dimensional sections of the normal thymic microenvironmental network, as well as the chemokines involved in intrathymic cell migration. Parameters of our computer simulations with further adjusted to results derived from previous experimental data using sub-lethally irradiated mice, in which thymus recovery can be evaluated. The model fitted with the increasing numbers of each CD4/CD8-defined thymocyte subset. It was further validated since it fitted with the times of permanence experimentally ascertained in each CD4/CD8-defined differentiation stage. Importantly, correlations using the whole mean volume of young normal adult mice revealed that the numbers of cells generated in silico with the mathematical model fall within the range of total thymocyte numbers seen in these animals. Furthermore, simulations made with a human thymic epithelial network using the same mathematical model generated similar profiles for temporal evolution of thymocyte developmental stages. Lastly, we provided in silico evidence that the thymus architecture is important in the thymocyte development, since changes in the epithelial network result in different theoretical profiles for T cell development/migration. This model likely can be used to predict thymocyte evolution following therapeutic strategies designed for recovery of the
Automated extraction of knowledge for model-based diagnostics
Gonzalez, Avelino J.; Myler, Harley R.; Towhidnejad, Massood; Mckenzie, Frederic D.; Kladke, Robin R.
1990-01-01
The concept of accessing computer aided design (CAD) design databases and extracting a process model automatically is investigated as a possible source for the generation of knowledge bases for model-based reasoning systems. The resulting system, referred to as automated knowledge generation (AKG), uses an object-oriented programming structure and constraint techniques as well as internal database of component descriptions to generate a frame-based structure that describes the model. The procedure has been designed to be general enough to be easily coupled to CAD systems that feature a database capable of providing label and connectivity data from the drawn system. The AKG system is capable of defining knowledge bases in formats required by various model-based reasoning tools.
Motor Schema-Based Cellular Automaton Model for Pedestrian Dynamics
Weng, Wenguo; Hasemi, Yuji; Fan, Weicheng
A new cellular automaton model for pedestrian dynamics based on motor schema is presented. Each pedestrian is treated as an intelligent mobile robot, and motor schemas including move-to-goal, avoid-away and avoid-around drive pedestrians to interact with their environment. We investigate the phenomenon of many pedestrians with different move velocities escaping from a room. The results show that the pedestrian with high velocity have predominance in competitive evacuation, if we only consider repulsion from or avoiding around other pedestrians, and interaction with each other leads to disordered evacuation, i.e., decreased evacuation efficiency. Extensions of the model using learning algorithms for controlling pedestrians, i.e., reinforcement learning, neural network and genetic algorithms, etc. are noted.
Critical Behavior in a Cellular Automata Animal Disease Transmission Model
Morley, P D; Chang, Julius
2003-01-01
Using a cellular automata model, we simulate the British Government Policy (BGP) in the 2001 foot and mouth epidemic in Great Britain. When clinical symptoms of the disease appeared on a farm, there is mandatory slaughter (culling) of all livestock on an infected premise (IP). Those farms that neighbor an IP (contiguous premise, CP), are also culled, aka nearest neighbor interaction. Farms where the disease may be prevalent from animal, human, vehicle or airborne transmission (dangerous contact, DC), are additionally culled, aka next-to-nearest neighbor iteractions and lightning factor. The resulting mathematical model possesses a phase transition, whereupon if the physical disease transmission kernel exceeds a critical value, catastrophic loss of animals ensues. The non-local disease transport probability can be as low as .01% per day and the disease can still be in the high mortality phase. We show that the fundamental equation for sustainable disease transport is the criticality equation for neutron fissio...
Automated Modeling of Microwave Structures by Enhanced Neural Networks
Z. Raida
2006-12-01
Full Text Available The paper describes the methodology of the automated creation of neural models of microwave structures. During the creation process, artificial neural networks are trained using the combination of the particle swarm optimization and the quasi-Newton method to avoid critical training problems of the conventional neural nets. In the paper, neural networks are used to approximate the behavior of a planar microwave filter (moment method, Zeland IE3D. In order to evaluate the efficiency of neural modeling, global optimizations are performed using numerical models and neural ones. Both approaches are compared from the viewpoint of CPU-time demands and the accuracy. Considering conclusions, methodological recommendations for including neural networks to the microwave design are formulated.
Multiscale Model of Colorectal Cancer Using the Cellular Potts Framework
Osborne, James M
2015-01-01
Colorectal cancer (CRC) is one of the major causes of death in the developed world and forms a canonical example of tumorigenesis. CRC arises from a string of mutations of individual cells in the colorectal crypt, making it particularly suited for multiscale multicellular modeling, where mutations of individual cells can be clearly represented and their effects readily tracked. In this paper, we present a multicellular model of the onset of colorectal cancer, utilizing the cellular Potts model (CPM). We use the model to investigate how, through the modification of their mechanical properties, mutant cells colonize the crypt. Moreover, we study the influence of mutations on the shape of cells in the crypt, suggesting possible cell- and tissue-level indicators for identifying early-stage cancerous crypts. Crucially, we discuss the effect that the motility parameters of the model (key factors in the behavior of the CPM) have on the distribution of cells within a homeostatic crypt, resulting in an optimal parameter regime that accurately reflects biological assumptions. In summary, the key results of this paper are 1) how to couple the CPM with processes occurring on other spatial scales, using the example of the crypt to motivate suitable motility parameters; 2) modeling mutant cells with the CPM; 3) and investigating how mutations influence the shape of cells in the crypt. PMID:26461973
Computer Modeling of the Earliest Cellular Structures and Functions
Pohorille, Andrew
2000-03-01
In the absence of extinct or extant record of protocells (the earliest ancestors of contemporary cells), the most direct way to test ourunderstanding of the origin of cellular life is to construct laboratory models of protocells. Such efforts are currently underway in the NASA Astrobiology Program. They are accompanied by computational studies aimed at explaining self-organization of simple molecules into ordered structures and developing designs for molecules that perform protocellular functions. Many of these functions, such as import of nutrients, capture and storage of energy, and response to changes in the environment are carried out by proteins bound to membranes. We will discuss a series of large-scale, molecular-level computer simulations which demonstrate (a) how small proteins (peptides)organize themselves into ordered structures at water-membrane interfaces and insert into membranes, (b) how these peptides aggregate to form membrane-spanning structures (e.g. channels), and (c) by what mechanisms such aggregates perform essential protocellular functions, such as proton transport of protons across cell walls, a key step in cellular bioenergetics. The simulations were performed using the molecular dynamics method, in which Newton's equations of motion for each atom in the system are solved iteratively. The problems of interest required simulations on multi-nanosecond time scales, which corresponded to 10^6-10^8 time steps.
Load-Aware Modeling and Analysis of Heterogeneous Cellular Networks
Dhillon, Harpreet S; Andrews, Jeffrey G
2012-01-01
Random spatial models are attractive for modeling heterogeneous cellular networks (HCNs) due to their realism, tractability, and scalability. A major limitation of such models to date in the context of HCNs is the neglect of network traffic and load: all base stations (BSs) have typically been assumed to always be transmitting. Small cells in particular will have a lighter load than macrocells, and so their contribution to the network interference may be significantly overstated in a fully loaded model. This paper incorporates a flexible notion of BS load by introducing a new idea of conditionally thinning the interference field. For a $K$-tier HCN where BSs across tiers differ in terms of transmit power, supported data rate, deployment density, and now load, we derive the coverage probability for a typical mobile, which connects to the strongest BS signal. Conditioned on this connection, the interfering BSs of the $i^{th}$ tier are assumed to transmit independently with probability $p_i$, which models the lo...
A Computational Model of Cellular Response to Modulated Radiation Fields
Purpose: To develop a model to describe the response of cell populations to spatially modulated radiation exposures of relevance to advanced radiotherapies. Materials and Methods: A Monte Carlo model of cellular radiation response was developed. This model incorporated damage from both direct radiation and intercellular communication including bystander signaling. The predictions of this model were compared to previously measured survival curves for a normal human fibroblast line (AGO1522) and prostate tumor cells (DU145) exposed to spatially modulated fields. Results: The model was found to be able to accurately reproduce cell survival both in populations which were directly exposed to radiation and those which were outside the primary treatment field. The model predicts that the bystander effect makes a significant contribution to cell killing even in uniformly irradiated cells. The bystander effect contribution varies strongly with dose, falling from a high of 80% at low doses to 25% and 50% at 4 Gy for AGO1522 and DU145 cells, respectively. This was verified using the inducible nitric oxide synthase inhibitor aminoguanidine to inhibit the bystander effect in cells exposed to different doses, which showed significantly larger reductions in cell killing at lower doses. Conclusions: The model presented in this work accurately reproduces cell survival following modulated radiation exposures, both in and out of the primary treatment field, by incorporating a bystander component. In addition, the model suggests that the bystander effect is responsible for a significant portion of cell killing in uniformly irradiated cells, 50% and 70% at doses of 2 Gy in AGO1522 and DU145 cells, respectively. This description is a significant departure from accepted radiobiological models and may have a significant impact on optimization of treatment planning approaches if proven to be applicable in vivo.
A cellular automaton model for neurogenesis in Drosophila
Luthi, Pascal O.; Chopard, Bastien; Preiss, Anette; Ramsden, Jeremy J.
1998-07-01
A cellular automaton (CA) is constructed for the formation of the central nervous system of the Drosophila embryo. This is an experimentally well-studied system in which complex interactions between neighbouring cells appear to drive their differentiation into different types. It appears that all the cells initially have the potential to become neuroblasts, and all strive to this end, but those which differentiate first block their as yet undifferentiated neighbours from doing so. The CA makes use of observational evidence for a lateral inhibition mechanism involving signalling products S of the ‘proneural’ or neuralizing genes. The key concept of the model is that cells are continuously producing S, but the production rate is lowered by inhibitory signals received from neighbouring cells which have advanced further along the developmental pathway. Comparison with experimental data shows that it well accounts for the observed proportion of neuroectodermal cells delaminating as neuroblasts.
Development of an automated core model for nuclear reactors
Mosteller, R.D.
1998-12-31
This is the final report of a three-year, Laboratory Directed Research and Development (LDRD) project at the Los Alamos National Laboratory (LANL). The objective of this project was to develop an automated package of computer codes that can model the steady-state behavior of nuclear-reactor cores of various designs. As an added benefit, data produced for steady-state analysis also can be used as input to the TRAC transient-analysis code for subsequent safety analysis of the reactor at any point in its operating lifetime. The basic capability to perform steady-state reactor-core analysis already existed in the combination of the HELIOS lattice-physics code and the NESTLE advanced nodal code. In this project, the automated package was completed by (1) obtaining cross-section libraries for HELIOS, (2) validating HELIOS by comparing its predictions to results from critical experiments and from the MCNP Monte Carlo code, (3) validating NESTLE by comparing its predictions to results from numerical benchmarks and to measured data from operating reactors, and (4) developing a linkage code to transform HELIOS output into NESTLE input.
Development of an automated core model for nuclear reactors
This is the final report of a three-year, Laboratory Directed Research and Development (LDRD) project at the Los Alamos National Laboratory (LANL). The objective of this project was to develop an automated package of computer codes that can model the steady-state behavior of nuclear-reactor cores of various designs. As an added benefit, data produced for steady-state analysis also can be used as input to the TRAC transient-analysis code for subsequent safety analysis of the reactor at any point in its operating lifetime. The basic capability to perform steady-state reactor-core analysis already existed in the combination of the HELIOS lattice-physics code and the NESTLE advanced nodal code. In this project, the automated package was completed by (1) obtaining cross-section libraries for HELIOS, (2) validating HELIOS by comparing its predictions to results from critical experiments and from the MCNP Monte Carlo code, (3) validating NESTLE by comparing its predictions to results from numerical benchmarks and to measured data from operating reactors, and (4) developing a linkage code to transform HELIOS output into NESTLE input
Cellular automaton model of mass transport with chemical reactions
The transport and chemical reactions of solutes are modelled as a cellular automaton in which molecules of different species perform a random walk on a regular lattice and react according to a local probabilistic rule. The model describes advection and diffusion in a simple way, and as no restriction is placed on the number of particles at a lattice site, it is also able to describe a wide variety of chemical reactions. Assuming molecular chaos and a smooth density function, we obtain the standard reaction-transport equations in the continuum limit. Simulations on one-and two-dimensional lattices show that the discrete model can be used to approximate the solutions of the continuum equations. We discuss discrepancies which arise from correlations between molecules and how these discrepancies disappear as the continuum limit is approached. Of particular interest are simulations displaying long-time behaviour which depends on long-wavelength statistical fluctuations not accounted for by the standard equations. The model is applied to the reactions a + b ↔ c and a + b → c with homogeneous and inhomogeneous initial conditions as well as to systems subject to autocatalytic reactions and displaying spontaneous formation of spatial concentration patterns. (author) 9 figs., 34 refs
COMPARATIVE ANALYSIS OF CONGESTION CONTROL MODELS FOR CELLULAR WIRELESS NETWORK
Falade A. J
2015-08-01
Full Text Available Cellular wireless systems like GSM suffer from congestion resulting in overall system degradation and poor service delivery. When the traffic demand in a geographical area is high, the input traffic rate will exceed thecapacity of the output lines. This work focused on homogenous wireless network (the network traffic and resource dimensioning that are statistically identical such that the network performance evaluation can be reduced to a system with single cell and a single traffic type. Such system can employa queuing model to evaluate the performance metric of a cell in terms of blocking probability. Five congestion control models were compared in the work to ascertain their peculiarities, they are Erlang B, Erlang C, Engset (cleared, Engset (buffered, and Bernoulli. To analyze the system, an aggregate onedimensional Markov chain wasderived, such that it describes a call arrival process under the assumption that it is Poisson distributed. The models were simulated and their results show varying performances, however the Bernoulli model (Pb5 tends to show a situation that allows more users access to the system and the congestion level remain unaffected despite increase in the number of users and the offered traffic into the system.
An Automated 3d Indoor Topological Navigation Network Modelling
Jamali, A.; Rahman, A. A.; Boguslawski, P.; Gold, C. M.
2015-10-01
Indoor navigation is important for various applications such as disaster management and safety analysis. In the last decade, indoor environment has been a focus of wide research; that includes developing techniques for acquiring indoor data (e.g. Terrestrial laser scanning), 3D indoor modelling and 3D indoor navigation models. In this paper, an automated 3D topological indoor network generated from inaccurate 3D building models is proposed. In a normal scenario, 3D indoor navigation network derivation needs accurate 3D models with no errors (e.g. gap, intersect) and two cells (e.g. rooms, corridors) should touch each other to build their connections. The presented 3D modeling of indoor navigation network is based on surveying control points and it is less dependent on the 3D geometrical building model. For reducing time and cost of indoor building data acquisition process, Trimble LaserAce 1000 as surveying instrument is used. The modelling results were validated against an accurate geometry of indoor building environment which was acquired using Trimble M3 total station.
Cellular automaton model of crowd evacuation inspired by slime mould
Kalogeiton, V. S.; Papadopoulos, D. P.; Georgilas, I. P.; Sirakoulis, G. Ch.; Adamatzky, A. I.
2015-04-01
In all the living organisms, the self-preservation behaviour is almost universal. Even the most simple of living organisms, like slime mould, is typically under intense selective pressure to evolve a response to ensure their evolution and safety in the best possible way. On the other hand, evacuation of a place can be easily characterized as one of the most stressful situations for the individuals taking part on it. Taking inspiration from the slime mould behaviour, we are introducing a computational bio-inspired model crowd evacuation model. Cellular Automata (CA) were selected as a fully parallel advanced computation tool able to mimic the Physarum's behaviour. In particular, the proposed CA model takes into account while mimicking the Physarum foraging process, the food diffusion, the organism's growth, the creation of tubes for each organism, the selection of optimum tube for each human in correspondence to the crowd evacuation under study and finally, the movement of all humans at each time step towards near exit. To test the model's efficiency and robustness, several simulation scenarios were proposed both in virtual and real-life indoor environments (namely, the first floor of office building B of the Department of Electrical and Computer Engineering of Democritus University of Thrace). The proposed model is further evaluated in a purely quantitative way by comparing the simulation results with the corresponding ones from the bibliography taken by real data. The examined fundamental diagrams of velocity-density and flow-density are found in full agreement with many of the already published corresponding results proving the adequacy, the fitness and the resulting dynamics of the model. Finally, several real Physarum experiments were conducted in an archetype of the aforementioned real-life environment proving at last that the proposed model succeeded in reproducing sufficiently the Physarum's recorded behaviour derived from observation of the aforementioned
Conceptual model of an automated information system of marketing at the enterprise
Raiko, D. V.; L.E. Lebedeva
2014-01-01
The aim of the article. The purpose of this paper is to create a conceptual model of an automated information system of marketing that has a certain theoretical and practical value. The results of the analysis. The main advantage of this model - a comprehensive disclosure of the relationship of concepts such as automated information technology, marketing information system, automated information system that solve the problem of processing large volumes of data in a short period of time, pr...
Flightdeck Automation Problems (FLAP) Model for Safety Technology Portfolio Assessment
Ancel, Ersin; Shih, Ann T.
2014-01-01
NASA's Aviation Safety Program (AvSP) develops and advances methodologies and technologies to improve air transportation safety. The Safety Analysis and Integration Team (SAIT) conducts a safety technology portfolio assessment (PA) to analyze the program content, to examine the benefits and risks of products with respect to program goals, and to support programmatic decision making. The PA process includes systematic identification of current and future safety risks as well as tracking several quantitative and qualitative metrics to ensure the program goals are addressing prominent safety risks accurately and effectively. One of the metrics within the PA process involves using quantitative aviation safety models to gauge the impact of the safety products. This paper demonstrates the role of aviation safety modeling by providing model outputs and evaluating a sample of portfolio elements using the Flightdeck Automation Problems (FLAP) model. The model enables not only ranking of the quantitative relative risk reduction impact of all portfolio elements, but also highlighting the areas with high potential impact via sensitivity and gap analyses in support of the program office. Although the model outputs are preliminary and products are notional, the process shown in this paper is essential to a comprehensive PA of NASA's safety products in the current program and future programs/projects.
Some properties of the floor field cellular automata evacuation model
Gwizdałła, Tomasz M.
2015-02-01
We study the process of evacuation of pedestrians from the room with the given arrangement of doors and obstacles by using the cellular automata technique. The technique which became quite popular is characterized by the discretization of time as well as space. For such a discretized space we use so-called floor field model which generally corresponds to the description of every cell by some monotonic function of distance between this cell and the closest exit. We study several types of effects. We start from some general features of model like the kind of a neighborhood or the factors disrupting the motion. Then we analyze the influence of asymmetry and size on the evacuation time. Finally we show characteristics concerning different arrangements of exits and include a particular approach to the proxemics effects. The scaling analyses help us to distinguish these cases which just reflect the geometry of the system and those which depend also on the simulation properties. All calculations are performed for a wide range of initial densities corresponding to different occupation rates as described by the typical crowd counting techniques.
From equilibrium spin models to probabilistic cellular automata
The general equivalence between D-dimensional probabilistic cellular automata (PCA) and (D + 1)-dimensional equilibrium spin models satisfying a disorder condition is first described in a pedagogical way and then used to analyze the phase diagrams, the critical behavior, and the universality classes of some automato. Diagrammatic representations of time-dependent correlation functions PCA are introduced. Two important classes of PCA are singled out for which these correlation functions simplify: (1) Quasi-Hamiltonian automata, which have a current-carrying steady state, and for which some correlation functions are those of a D-dimensional static model PCA satisfying the detailed balance condition appear as a particular case of these rules for which the current vanishes. (2) Linear (and more generally affine) PCA for which the diagrammatics reduces to a random walk problem closely related to (D + 1)-dimensional directed SAWs: both problems display a critical behavior with mean-field exponents in any dimension. The correlation length and effective velocity of propagation of excitations can be calculated for affine PCA, as is shown on an explicit D = 1 example. The authors conclude with some remarks on nonlinear PCA, for which the diagrammatics is related to reaction-diffusion processes, and which belong in some cases to the universality class of Reggeon field theory
Modeling chemical systems using cellular automata a textbook and laboratory manual
Kier, Lemont B; Cheng, Chao-Kun
2006-01-01
Provides a practical introduction to an exciting modeling paradigm for complex systems. This book discusses the nature of scientific inquiry using models and simulations, and describes the nature of cellular automata models. It gives descriptions of how cellular automata models can be used in the study of a variety of phenomena.
Automating Weaving of Interaction Models in The Aspect Oriented Model Driven Framework using Kermeta
2007-01-01
The Aspect Oriented Model Driven Framework (AOMDF) is a software design approach facilitating multidimensional separation of crosscutting concerns in a model driven software development setting. This thesis provides a proof-of-concept of automated weaving (composition) of interaction models (sequence diagrams) in AOMDF. The contribution is twofold; Firstly, we develop a metamodel that orthogonally extends UML2 and introduces new abstract syntax concepts for modeling of interaction aspects and...
Relationship between cellular response models and biochemical mechanisms
In most cellular response experiments, survival reflects the kinetics of a variety of damage and repair processes. Unfortunately, biochemical studies of molecular repair deal with mechanisms which cannot be readily correlated with these kinetic observations. The difference in these approaches sometimes leads to confusion over terms such as potentially-lethal and sublethal damage. These terms were introduced with operation definitions, derived from kinetic studies of cell survival, but some researchers have since attempted to associate them with specific biochemical mechanisms. Consequently, the terms are often used in totally different ways be different investigators. The use of carefully constructed models originating either out of assumptions based on mechanisms, or on kinetics, can be used to design experiments to eliminate some alternative kinetic schemes. In turn, some mechanisms may also be eliminated, resulting in a reduction in the number of mechanisms which must be investigated biochemically. One must take advantage of a wide range of specialized radiation procedures in order to accomplish this. Examples of the use of such specialized experimental designs, which have led to a more detailed understanding of the kinetics of both algal and mammalian cell responses, are discussed
Modeling and Performance Analyses of Hybrid Cellular and Broadcasting Networks
Peter Unger
2009-01-01
Full Text Available Mobile communication services are getting more and more important and, in particular, multimedia services have attracted the interest of the users. Mobile TV is one of the most demanded candidates. Powerful and efficient communication systems are needed, which provide high capacities, especially at the downlink. Furthermore, interactivity is essential for supporting the user needs and to extend the service offering. As one possible solution to meet the mentioned requirements, we consider the combination of the cellular network UMTS and the mobile broadcast network DVB-H, which form a hybrid network. We investigate the performance of hybrid networks and develop a system model, which describes the hybrid network and the load switching between both networks. One of the contributions is the definition of the switching bound concept, which represents an efficient tool to assess the necessity and the feasibility of hybrid networks and the amount of load switching. The performance indicators cell load and grade of service are analyzed by using theoretical and realistic scenarios.
Cellular automata model of magnetospheric-ionospheric coupling
B. V. Kozelov
Full Text Available We propose a cellular automata model (CAM to describe the substorm activity of the magnetospheric-ionospheric system. The state of each cell in the model is described by two numbers that correspond to the energy content in a region of the current sheet in the magnetospheric tail and to the conductivity of the ionospheric domain that is magnetically connected with this region. The driving force of the system is supposed to be provided by the solar wind that is convected along the two boundaries of the system. The energy flux inside is ensured by the penetration of the energy from the solar wind into the array of cells (magnetospheric tail with a finite velocity. The third boundary (near to the Earth is closed and the fourth boundary is opened, thereby modeling the flux far away from the tail. The energy dissipation in the system is quite similar to other CAM models, when the energy in a particular cell exceeds some pre-defined threshold, and the part of the energy excess is redistributed between the neighbouring cells. The second number attributed to each cell mimics ionospheric conductivity that can allow for a part of the energy to be shed on field-aligned currents. The feedback between "ionosphere" and "magnetospheric tail" is provided by the change in a part of the energy, which is redistributed in the tail when the threshold is surpassed. The control parameter of the model is the z-component of the interplanetary magnetic field (Bz IMF, "frozen" into the solar wind. To study the internal dynamics of the system at the beginning, this control parameter is taken to be constant. The dynamics of the system undergoes several bifurcations, when the constant varies from - 0.6 to - 6.0. The Bz IMF input results in the periodic transients (activation regions and the inter-transient period decreases with the decrease of Bz. At the same time the onset of activations in the array shifts towards the "Earth". When the modulus of the Bz IMF exceeds some
Millimeter Wave Channel Modeling and Cellular Capacity Evaluation
Akdeniz, Mustafa Riza; Liu, Yuanpeng; Samimi, Mathew K.; Sun, Shu; Rangan, Sundeep; Rappaport, Theodore S.; Erkip, Elza
2013-01-01
With the severe spectrum shortage in conventional cellular bands, millimeter wave (mmW) frequencies between 30 and 300 GHz have been attracting growing attention as a possible candidate for next-generation micro- and picocellular wireless networks. The mmW bands offer orders of magnitude greater spectrum than current cellular allocations and enable very high-dimensional antenna arrays for further gains via beamforming and spatial multiplexing. This paper uses recent real-world measurements at...
A Cellular Automata Model for the Study of Landslides
Liucci, Luisa; Suteanu, Cristian; Melelli, Laura
2016-04-01
Power-law scaling has been observed in the frequency distribution of landslide sizes in many regions of the world, for landslides triggered by different factors, and in both multi-temporal and post-event datasets, thus indicating the universal character of this property of landslides and suggesting that the same mechanisms drive the dynamics of mass wasting processes. The reasons for the scaling behavior of landslide sizes are widely debated, since their understanding would improve our knowledge of the spatial and temporal evolution of this phenomenon. Self-Organized Critical (SOC) dynamics and the key role of topography have been suggested as possible explanations. The scaling exponent of the landslide size-frequency distribution defines the probability of landslide magnitudes and it thus represents an important parameter for hazard assessment. Therefore, another - still unanswered - important question concerns the factors on which its value depends. This paper investigates these issues using a Cellular Automata (CA) model. The CA uses a real topographic surface acquired from a Digital Elevation Model to represent the initial state of the system, where the states of cells are defined in terms of altitude. The stability criterion is based on the slope gradient. The system is driven to instability through a temporal decrease of the stability condition of cells, which may be thought of as representing the temporal weakening of soil caused by factors like rainfall. A transition rule defines the way in which instabilities lead to discharge from unstable cells to the neighboring cells, deciding upon the landslide direction and the quantity of mass involved. Both the direction and the transferred mass depend on the local topographic features. The scaling properties of the area-frequency distributions of the resulting landslide series are investigated for several rates of weakening and for different time windows, in order to explore the response of the system to model
Chen Shijia; Guillemot Gildas; Gandin Charles-André
2013-01-01
Dans le domaine du soudage, les propriétés finales du cordon sont fortement liées à la structure de grains développée au cours des procédés de fusion / resolidification. La maîtrise des propriétés de l'assemblage final passe ainsi par une amélioration de la connaissance de sa structure de ce domaine. Dans cet objectif, un modèle couplé Automates Cellulaires – Eléments Finis est proposé pour simuler le développement, en volume, de cette structure, dans le cadre du soudage TIG. Ce modèle est ap...
Individual Differences in Response to Automation: The Five Factor Model of Personality
Szalma, James L.; Taylor, Grant S.
2011-01-01
This study examined the relationship of operator personality (Five Factor Model) and characteristics of the task and of adaptive automation (reliability and adaptiveness--whether the automation was well-matched to changes in task demand) to operator performance, workload, stress, and coping. This represents the first investigation of how the Five…
Worm, G.I.M.
2012-01-01
The objective of this research is to limit the risks of fully automated operation of drinking water treatment plants and to improve their operation by using an integrated system of process models and emulated process automation software. This thesis contains the design of such an integrated system.
Aviation Safety: Modeling and Analyzing Complex Interactions between Humans and Automated Systems
Rungta, Neha; Brat, Guillaume; Clancey, William J.; Linde, Charlotte; Raimondi, Franco; Seah, Chin; Shafto, Michael
2013-01-01
The on-going transformation from the current US Air Traffic System (ATS) to the Next Generation Air Traffic System (NextGen) will force the introduction of new automated systems and most likely will cause automation to migrate from ground to air. This will yield new function allocations between humans and automation and therefore change the roles and responsibilities in the ATS. Yet, safety in NextGen is required to be at least as good as in the current system. We therefore need techniques to evaluate the safety of the interactions between humans and automation. We think that current human factor studies and simulation-based techniques will fall short in front of the ATS complexity, and that we need to add more automated techniques to simulations, such as model checking, which offers exhaustive coverage of the non-deterministic behaviors in nominal and off-nominal scenarios. In this work, we present a verification approach based both on simulations and on model checking for evaluating the roles and responsibilities of humans and automation. Models are created using Brahms (a multi-agent framework) and we show that the traditional Brahms simulations can be integrated with automated exploration techniques based on model checking, thus offering a complete exploration of the behavioral space of the scenario. Our formal analysis supports the notion of beliefs and probabilities to reason about human behavior. We demonstrate the technique with the Ueberligen accident since it exemplifies authority problems when receiving conflicting advices from human and automated systems.
Cellular Automata Models Applied to the Study of Landslide Dynamics
Liucci, Luisa; Melelli, Laura; Suteanu, Cristian
2015-04-01
Landslides are caused by complex processes controlled by the interaction of numerous factors. Increasing efforts are being made to understand the spatial and temporal evolution of this phenomenon, and the use of remote sensing data is making significant contributions in improving forecast. This paper studies landslides seen as complex dynamic systems, in order to investigate their potential Self Organized Critical (SOC) behavior, and in particular, scale-invariant aspects of processes governing the spatial development of landslides and their temporal evolution, as well as the mechanisms involved in driving the system and keeping it in a critical state. For this purpose, we build Cellular Automata Models, which have been shown to be capable of reproducing the complexity of real world features using a small number of variables and simple rules, thus allowing for the reduction of the number of input parameters commonly used in the study of processes governing landslide evolution, such as those linked to the geomechanical properties of soils. This type of models has already been successfully applied in studying the dynamics of other natural hazards, such as earthquakes and forest fires. The basic structure of the model is composed of three modules: (i) An initialization module, which defines the topographic surface at time zero as a grid of square cells, each described by an altitude value; the surface is acquired from real Digital Elevation Models (DEMs). (ii) A transition function, which defines the rules used by the model to update the state of the system at each iteration. The rules use a stability criterion based on the slope angle and introduce a variable describing the weakening of the material over time, caused for example by rainfall. The weakening brings some sites of the system out of equilibrium thus causing the triggering of landslides, which propagate within the system through local interactions between neighboring cells. By using different rates of
Model-Based Control for Postal Automation and Baggage Handling
Tarau, A.N.
2010-01-01
In this thesis we focus on two specific transportation systems, namely postal automation and baggage handling. Postal automation: During the last decades the volume of magazines, catalogs, and other plastic wrapped mail items that have to be processed by post sorting centers has increased considerably. In order to be able to handle the large volumes of mail, state-of-the-art post sorting centers are equipped with dedicated mail sorting machines. The throughput of a post sorting machine is def...
Automated medical diagnosis with fuzzy stochastic models: monitoring chronic diseases.
Jeanpierre, Laurent; Charpillet, François
2004-01-01
As the world population ages, the patients per physician ratio keeps on increasing. This is even more important in the domain of chronic pathologies where people are usually monitored for years and need regular consultations. To address this problem, we propose an automated system to monitor a patient population, detecting anomalies in instantaneous data and in their temporal evolution, so that it could alert physicians. By handling the population of healthy patients autonomously and by drawing the physicians' attention to the patients-at-risk, the system allows physicians to spend comparatively more time with patients who need their services. In such a system, the interaction between the patients, the diagnosis module, and the physicians is very important. We have based this system on a combination of stochastic models, fuzzy filters, and strong medical semantics. We particularly focused on a particular tele-medicine application: the Diatelic Project. Its objective is to monitor chronic kidney-insufficient patients and to detect hydration troubles. During two years, physicians from the ALTIR have conducted a prospective randomized study of the system. This experiment clearly shows that the proposed system is really beneficial to the patients' health. PMID:15520535
The similia principle: results obtained in a cellular model system.
Wiegant, Fred; Van Wijk, Roeland
2010-01-01
This paper describes the results of a research program focused on the beneficial effect of low dose stress conditions that were applied according to the similia principle to cells previously disturbed by more severe stress conditions. In first instance, we discuss criteria for research on the similia principle at the cellular level. Then, the homologous ('isopathic') approach is reviewed, in which the initial (high dose) stress used to disturb cellular physiology and the subsequent (low dose) stress are identical. Beneficial effects of low dose stress are described in terms of increased cellular survival capacity and at the molecular level as an increase in the synthesis of heat shock proteins (hsps). Both phenomena reflect a stimulation of the endogenous cellular self-recovery capacity. Low dose stress conditions applied in a homologous approach stimulate the synthesis of hsps and enhance survival in comparison with stressed cells that were incubated in the absence of low dose stress conditions. Thirdly, the specificity of the low dose stress condition is described where the initial (high dose) stress is different in nature from the subsequently applied (low dose) stress; the heterologous or 'heteropathic' approach. The results support the similia principle at the cellular level and add to understanding of how low dose stress conditions influence the regulatory processes underlying self-recovery. In addition, the phenomenon of 'symptom aggravation' which is also observed at the cellular level, is discussed in the context of self-recovery. Finally, the difference in efficiency between the homologous and the heterologous approach is discussed; a perspective is indicated for further research; and the relationship between studies on the similia principle and the recently introduced concept of 'postconditioning hormesis' is emphasized. PMID:20129172
Implementing the WebSocket Protocol Based on Formal Modelling and Automated Code Generation
Simonsen, Kent,; Kristensen, Lars,
2014-01-01
Model-based software engineering offers several attractive benefits for the implementation of protocols, including automated code generation for different platforms from design-level models. In earlier work, we have proposed a template-based approach using Coloured Petri Net formal models with pragmatic annotations for automated code generation of protocol software. The contribution of this paper is an application of the approach as implemented in the PetriCode tool to obtain protocol softwar...
Context based mixture model for cell phase identification in automated fluorescence microscopy
Zhou Xiaobo
2007-01-01
Full Text Available Abstract Background Automated identification of cell cycle phases of individual live cells in a large population captured via automated fluorescence microscopy technique is important for cancer drug discovery and cell cycle studies. Time-lapse fluorescence microscopy images provide an important method to study the cell cycle process under different conditions of perturbation. Existing methods are limited in dealing with such time-lapse data sets while manual analysis is not feasible. This paper presents statistical data analysis and statistical pattern recognition to perform this task. Results The data is generated from Hela H2B GFP cells imaged during a 2-day period with images acquired 15 minutes apart using an automated time-lapse fluorescence microscopy. The patterns are described with four kinds of features, including twelve general features, Haralick texture features, Zernike moment features, and wavelet features. To generate a new set of features with more discriminate power, the commonly used feature reduction techniques are used, which include Principle Component Analysis (PCA, Linear Discriminant Analysis (LDA, Maximum Margin Criterion (MMC, Stepwise Discriminate Analysis based Feature Selection (SDAFS, and Genetic Algorithm based Feature Selection (GAFS. Then, we propose a Context Based Mixture Model (CBMM for dealing with the time-series cell sequence information and compare it to other traditional classifiers: Support Vector Machine (SVM, Neural Network (NN, and K-Nearest Neighbor (KNN. Being a standard practice in machine learning, we systematically compare the performance of a number of common feature reduction techniques and classifiers to select an optimal combination of a feature reduction technique and a classifier. A cellular database containing 100 manually labelled subsequence is built for evaluating the performance of the classifiers. The generalization error is estimated using the cross validation technique. The
Cellular-automata model of the dwarf shrubs populations and communities dynamics
A. S. Komarov; E. V. Zubkova; P. V. Frolov
2015-01-01
The probabilistic cellular-automata model of development and long-time dynamics of dwarf shrub populations and communities is developed. It is based on the concept of discrete description of the plant ontogenesis and joint model approaches in terms of probabilistic cellular automata and L-systems by Lindenmayer. Short representation of the basic model allows evaluation of the approach and software implementation. The main variables of the model are a number of partial bushes in clones or area...
Stochastic Models of Vesicular Sorting in Cellular Organelles
Vagne, Quentin
2016-01-01
The proper sorting of membrane components by regulated exchange between cellular organelles is crucial to intra-cellular organization. This process relies on the budding and fusion of transport vesicles, and should be strongly influenced by stochastic fluctuations considering the relatively small size of many organelles. We identify the perfect sorting of two membrane components initially mixed in a single compartment as a first passage process, and we show that the mean sorting time exhibits two distinct regimes as a function of the ratio of vesicle fusion to budding rates. Low ratio values leads to fast sorting, but results in a broad size distribution of sorted compartments dominated by small entities. High ratio values result in two well defined sorted compartments but is exponentially slow. Our results suggests an optimal balance between vesicle budding and fusion for the rapid and efficient sorting of membrane components, and highlight the importance of stochastic effects for the steady-state organizati...
Mathematical models and multiscale simulations of cellular secretion processes
González-Vélez, Virginia
2011-01-01
Exocytosis is the cellular process whereby a product such as a hormone or a neurotransmitter is released as a response to stimulation. There are a lot of exocytotic cells in mammals, and each cell type has their specific subcellular mechanisms, needed to achieve the final substance release. Therefore, unveiling the role of subcellular mechanisms in secretion processes is highly relevant to understand disease evolution and possible therapies. The efficiency of the coupling between stimulus...
A Large Deformation Model for the Elastic Moduli of Two-dimensional Cellular Materials
HU Guoming; WAN Hui; ZHANG Youlin; BAO Wujun
2006-01-01
We developed a large deformation model for predicting the elastic moduli of two-dimensional cellular materials. This large deformation model was based on the large deflection of the inclined members of the cells of cellular materials. The deflection of the inclined member, the strain of the representative structure and the elastic moduli of two-dimensional cellular materials were expressed using incomplete elliptic integrals. The experimental results show that these elastic moduli are no longer constant at large deformation, but vary significantly with the strain. A comparison was made between this large deformation model and the small deformation model proposed by Gibson and Ashby.
Automating the Extraction of Model-Based Software Product Lines from Model Variants
Martinez, Jabier; Ziadi, Tewfik; Klein, Jacques; Le Traon, Yves
2015-01-01
International audience We address the problem of automating 1) the analysis of existing similar model variants and 2) migrating them into a software product line. Our approach, named MoVa2PL, considers the identification of variability and commonality in model variants, as well as the extraction of a CVL-compliant Model-based Software Product Line (MSPL) from the features identified on these variants. MoVa2PL builds on a generic representation of models making it suitable to any MOF-based ...
Towards an Integrated System Model for Testing and Verification of Automation Machines
Peter Braun; Benjamin Hummel
2016-01-01
The models and documents created during the development of automation machines typically can be categorized into mechanics, electronics, and software/controller. The functionality of an automation machine is, however, usually realized by the interaction of all three of these domains. So no single model covering only one development category will be able to describe the behavior of the machine thoroughly. For early planning of the machine design, virtual prototypes, and especially for the form...
A mathematical model of amphibian skin epithelium with two types of transporting cellular units
Larsen, Erik Hviid; Rasmussen, B E
1985-01-01
A computer model of ion transport across amphibian skin epithelium containing two types of cellular units, their relative number and sizes, and a paracellular pathway has been developed. The two cellular units are, a large Na+ transporting compartment representing the major epithelium from stratum...
Predictive model to describe water migration in cellular solid foods during storage
Voogt, J.A.; Hirte, A.; Meinders, M.B.J.
2011-01-01
BACKGROUND: Water migration in cellular solid foods during storage causes loss of crispness. To improve crispness retention, physical understanding of this process is needed. Mathematical models are suitable tools to gain this physical knowledge. RESULTS: Water migration in cellular solid foods invo
Corker, Kevin; Pisanich, Gregory; Condon, Gregory W. (Technical Monitor)
1995-01-01
A predictive model of human operator performance (flight crew and air traffic control (ATC)) has been developed and applied in order to evaluate the impact of automation developments in flight management and air traffic control. The model is used to predict the performance of a two person flight crew and the ATC operators generating and responding to clearances aided by the Center TRACON Automation System (CTAS). The purpose of the modeling is to support evaluation and design of automated aids for flight management and airspace management and to predict required changes in procedure both air and ground in response to advancing automation in both domains. Additional information is contained in the original extended abstract.
The Problem of Automation in Dynamic Models Visualization
Krasnoproshin, V.; Mazouka, D.
2012-01-01
This paper describes a methodology for the graphics pipeline extension. The introduced approach is based on specialized formal language called visualization algebra. We argue that this technique can lower visualization software development costs and build a way for further computer graphics automation.
Côte de Resyste : Automated Model Based Testing
Tretmans, Jan; Brinksma, Ed; Schweizer, M.
2002-01-01
Systematic testing is very important for assessing and improving the quality of embedded software. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The project Cˆote de Resyste has been working since 1998 on methods, techniques and tools for automating specification
TorX: Automated Model-Based Testing
Tretmans, Jan; Brinksma, Ed; Hartman, A.; Dussa-Ziegler, K.
2003-01-01
Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project Côte de Resyste worked on methods, techniques and tools for automating speci
Excellent approach to modeling urban expansion by fuzzy cellular automata: agent base model
Khajavigodellou, Yousef; Alesheikh, Ali A.; Mohammed, Abdulrazak A. S.; Chapi, Kamran
2014-09-01
Recently, the interaction between humans and their environment is the one of important challenges in the world. Landuse/ cover change (LUCC) is a complex process that includes actors and factors at different social and spatial levels. The complexity and dynamics of urban systems make the applicable practice of urban modeling very difficult. With the increased computational power and the greater availability of spatial data, micro-simulation such as the agent based and cellular automata simulation methods, has been developed by geographers, planners, and scholars, and it has shown great potential for representing and simulating the complexity of the dynamic processes involved in urban growth and land use change. This paper presents Fuzzy Cellular Automata in Geospatial Information System and remote Sensing to simulated and predicted urban expansion pattern. These FCA-based dynamic spatial urban models provide an improved ability to forecast and assess future urban growth and to create planning scenarios, allowing us to explore the potential impacts of simulations that correspond to urban planning and management policies. A fuzzy inference guided cellular automata approach. Semantic or linguistic knowledge on Land use change is expressed as fuzzy rules, based on which fuzzy inference is applied to determine the urban development potential for each pixel. The model integrates an ABM (agent-based model) and FCA (Fuzzy Cellular Automata) to investigate a complex decision-making process and future urban dynamic processes. Based on this model rapid development and green land protection under the influences of the behaviors and decision modes of regional authority agents, real estate developer agents, resident agents and non- resident agents and their interactions have been applied to predict the future development patterns of the Erbil metropolitan region.
New E-Commerce Model Based on Multi-Agent Automated Negotiation
向传杰; 贾云得
2003-01-01
A new multi-agent automated negotiation model is developed and evaluated, in which two competitive agents, such as the buyer and seller, have firm deadlines and incomplete information about each other. The negotiation is multi-dimensional in different cases. The model is discussed in 6 kinds of cases with different price strategies, warrantee strategies and time strategies. The model improves the model of Wooldridge and that of Sycara to a certain extent. In all possible situations, the optimal negotiation strategy is analyzed and presented, and an e-commerce model based on multi-agent automated negotiation model is also illustrated for the e-commerce application in the future.
L. Liu
2014-09-01
Full Text Available Flash floods have occurred frequently and severely in the urban areas of South China. An effective process-oriented urban flood inundation model becomes an urgent demand for urban storm water and emergency management. This study develops an effective and flexible cellular automaton (CA model to simulate storm water runoff and the flood inundation process during extreme storm events. The process of infiltration, inlets discharge and flow dynamic can be simulated only with little pre-processing on commonly available basic urban geographic data. In this model, a set of gravitational diverging rules are implemented in a cellular automation (CA model to govern the water flow in a 3 x 3 cell template of a raster layer. The model is calibrated by one storm event and validated by another in a small urban catchment in Guangzhou of Southern China. The depth of accumulated water at the catchment outlet is interpreted from street monitoring sensors and verified by on-site survey. A good level of agreement between the simulated process and the reality is reached for both storm events. The model reproduces the changing extent and depth of flooded areas at the catchment outlet with an accuracy of 4 cm in water depth. Comparisons with a physically-based 2-D model (FloodMap results show that the model have the capability of simulating flow dynamics. The high computational efficiency of CA model can satisfy the demand of city emergency management. The encouraging results of the simulations demonstrate that the CA-based approach is capable of effectively representing the key processes associated with a storm event and reproducing the process of water accumulation at the catchment outlet for making process-considered city emergency management decisions.
Dynamic modeling of cellular response to DNA damage based on p53 stress response networks
Jinpeng Qi; Yongsheng Ding; Shihuang Shao
2009-01-01
Under acute perturbations from the outside, cells can trigger self-defensive mechanisms to fight against genome stress. To investigate the cellular response to continuous ion radiation (IR), a dynamic model for p53 stress response networks at the cellular level is proposed. The model can successfully be used to simulate the dynamic processes of double-strand breaks (DSBs) generation and their repair, switch-like ataxia telangiectasia mutated (ATM) activation, oscillations occurring in the p53-MDM2 feedback loop, as well as toxins elimination triggered by p53 stress response networks. Especially, the model can predict the plausible outcomes of cellular response under different IR dose regimes.
Modeling and Analysis of Cellular Networks using Stochastic Geometry: A Tutorial
ElSawy, Hesham
2016-03-22
This paper presents a tutorial on stochastic geometry (SG) based analysis for cellular networks. This tutorial is distinguished by its depth with respect to wireless communication details and its focus on cellular networks. The paper starts by modeling and analyzing the baseband interference in a basic cellular network model. Then, it characterizes signal-tointerference- plus-noise-ratio (SINR) and its related performance metrics. In particular, a unified approach to conduct error probability, outage probability, and rate analysis is presented. Although the main focus of the paper is on cellular networks, the presented unified approach applies for other types of wireless networks that impose interference protection around receivers. The paper then extends the baseline unified approach to capture cellular network characteristics (e.g., frequency reuse, multiple antenna, power control, etc.). It also presents numerical examples associated with demonstrations and discussions. Finally, we point out future research directions.
Feed forward neural networks and genetic algorithms for automated financial time series modelling
Kingdon, J. C.
1995-01-01
This thesis presents an automated system for financial time series modelling. Formal and applied methods are investigated for combining feed-forward Neural Networks and Genetic Algorithms (GAs) into a single adaptive/learning system for automated time series forecasting. Four important research contributions arise from this investigation: i) novel forms of GAs are introduced which are designed to counter the representational bias associated with the conventional Holland GA, ii) an...
Haas, B J; Salzberg, S L; Zhu, W; Pertea, M; Allen, J E; Orvis, J; White, O; Buell, C R; Wortman, J R
2007-12-10
EVidenceModeler (EVM) is presented as an automated eukaryotic gene structure annotation tool that reports eukaryotic gene structures as a weighted consensus of all available evidence. EVM, when combined with the Program to Assemble Spliced Alignments (PASA), yields a comprehensive, configurable annotation system that predicts protein-coding genes and alternatively spliced isoforms. Our experiments on both rice and human genome sequences demonstrate that EVM produces automated gene structure annotation approaching the quality of manual curation.
Enhancing Formal Modelling Tool Support with Increased Automation
Lausdahl, Kenneth
Progress report for the qualification exam report for PhD Student Kenneth Lausdahl. Initial work on enhancing tool support for the formal method VDM and the concept of unifying a abstract syntax tree with the ability for isolated extensions is described. The tool support includes a connection to ...... UML and a test automation principle based on traces written as a kind of regular expressions....
Model-Based Test Automation Strategies for Data Processing Systems
Di Nardo, Daniel
2016-01-01
Data processing software is an essential component of systems that aggregate and analyse real-world data, thereby enabling automated interaction between such systems and the real world. In data processing systems, inputs are often big and complex files that have a well-defined structure, and that often have dependencies between several of their fields. Testing of data processing systems is complex. Software engineers, in charge of testing these systems, have to handcraft complex data files of...
Kapitanov, Georgi I.; Wang, Xiayi; Ayati, Bruce P; Brouillette, Marc J.; Martin, James A.
2016-01-01
A severe application of stress on articular cartilage can initiate a cascade of biochemical reactions that can lead to the development of osteoarthritis. We constructed a multiscale mathematical model of the process with three components: cellular, chemical, and mechanical. The cellular component describes the different chondrocyte states according to the chemicals these cells release. The chemical component models the change in concentrations of those chemicals. The mechanical component cont...
Automated comparison of Bayesian reconstructions of experimental profiles with physical models
In this work we developed an expert system that carries out in an integrated and fully automated way i) a reconstruction of plasma profiles from the measurements, using Bayesian analysis ii) a prediction of the reconstructed quantities, according to some models and iii) an intelligent comparison of the first two steps. This system includes systematic checking of the internal consistency of the reconstructed quantities, enables automated model validation and, if a well-validated model is used, can be applied to help detecting interesting new physics in an experiment. The work shows three applications of this quite general system. The expert system can successfully detect failures in the automated plasma reconstruction and provide (on successful reconstruction cases) statistics of agreement of the models with the experimental data, i.e. information on the model validity. (author)
Spaulding, Trent Joseph
2011-01-01
The objective of this research is to understand how a set of systems, as defined by the business process, creates value. The three studies contained in this work develop the model of process-based automation. The model states that complementarities among systems are specified by handoffs in the business process. The model also provides theory to…
Model of informational system for freight insurance automation based on digital signature
Maxim E. SLOBODYANYUK
2009-01-01
Full Text Available In the article considered a model of informational system for freight insurance automation based on digital signature, showed architecture, macro flowchart of information flow in model, components (modules and their functions. Described calculation method of costs on interactive cargo insurance via proposed system, represented main characteristics and options of existing transport management systems, conceptual cost models.
Simulation Modeling by Classification of Problems: A Case of Cellular Manufacturing
Afiqah, K. N.; Mahayuddin, Z. R.
2016-02-01
Cellular manufacturing provides good solution approach to manufacturing area by applying Group Technology concept. The evolution of cellular manufacturing can enhance performance of the cell and to increase the quality of the product manufactured but it triggers other problem. Generally, this paper highlights factors and problems which emerge commonly in cellular manufacturing. The aim of the research is to develop a thorough understanding of common problems in cellular manufacturing. A part from that, in order to find a solution to the problems exist using simulation technique, this classification framework is very useful to be adapted during model building. Biology evolution tool was used in the research in order to classify the problems emerge. The result reveals 22 problems and 25 factors using cladistic technique. In this research, the expected result is the cladogram established based on the problems in cellular manufacturing gathered.
Yuli eCao
2016-02-01
Full Text Available The mechanisms involved in traumatic brain injury (TBI have yet to be fully characterized. One mechanism that, especially in high energy trauma, could be of importance is cavitation. Cavitation can be described as a process of vaporization, bubble generation and bubble implosion as a result of a decrease and subsequent increase in pressure. Cavitation as an injury mechanism is difficult to visualize and model due to its short duration and limited spatial distribution. One strategy to analyze the cellular response of cavitation is to employ suitable in vitro models. The flyer plate is an in vitro high energy trauma model that includes cavitation as a trauma mechanism. A copper fragment is accelerated by means of a laser, hits the bottom of a cell culture well causing cavitation and shock waves inside the well and cell medium. We have found the flyer plate model to be efficient, reproducible and easy to control. In this study we have used the model to analyze the cellular response to microcavitation in SH-SY5Y neuroblastoma, Caco-2, and C6 glioma cell lines. Mitotic activity in neuroblastoma and glioma was investigated with BrdU staining, and cell numbers were calculated using automated time-lapse imaging. We found variations between cell types and between different zones surrounding the lesion with these methods. It was also shown that the injured cell cultures released S-100B in a dose dependent manner. Using gene expression microarray a number of gene families of potential interest were found to be strongly, but differently regulated in neuroblastoma and glioma at 24 hr post trauma. The data from the gene expression arrays may be used to identify new candidates for biomarkers in cavitation trauma. We conclude that our model is useful for studies of trauma in vitro and that it could be applied in future treatment studies.
Model-driven design using IEC 61499 a synchronous approach for embedded and automation systems
Yoong, Li Hsien; Bhatti, Zeeshan E; Kuo, Matthew M Y
2015-01-01
This book describes a novel approach for the design of embedded systems and industrial automation systems, using a unified model-driven approach that is applicable in both domains. The authors illustrate their methodology, using the IEC 61499 standard as the main vehicle for specification, verification, static timing analysis and automated code synthesis. The well-known synchronous approach is used as the main vehicle for defining an unambiguous semantics that ensures determinism and deadlock freedom. The proposed approach also ensures very efficient implementations either on small-scale embedded devices or on industry-scale programmable automation controllers (PACs). It can be used for both centralized and distributed implementations. Significantly, the proposed approach can be used without the need for any run-time support. This approach, for the first time, blurs the gap between embedded systems and automation systems and can be applied in wide-ranging applications in automotive, robotics, and industri...
Cellular cardiac electrophysiology modeling with Chaste and CellML
Cooper, Jonathan; Spiteri, Raymond J.; Mirams, Gary R
2014-01-01
Chaste is an open-source C++ library for computational biology that has well-developed cardiac electrophysiology tissue simulation support. In this paper, we introduce the features available for performing cardiac electrophysiology action potential simulations using a wide range of models from the Physiome repository. The mathematics of the models are described in CellML, with units for all quantities. The primary idea is that the model is defined in one place (the CellML file), and all model...
Modelling lava flows by Cellular Nonlinear Networks (CNN: preliminary results
C. Del Negro
2005-01-01
Full Text Available The forecasting of lava flow paths is a complex problem in which temperature, rheology and flux-rate all vary with space and time. The problem is more difficult to solve when lava runs down a real topography, considering that the relations between characteristic parameters of flow are typically nonlinear. An alternative approach to this problem that does not use standard differential equation methods is Cellular Nonlinear Networks (CNNs. The CNN paradigm is a natural and flexible framework for describing locally interconnected, simple, dynamic systems that have a lattice-like structure. They consist of arrays of essentially simple, nonlinearly coupled dynamic circuits containing linear and non-linear elements able to process large amounts of information in real time. Two different approaches have been implemented in simulating some lava flows. Firstly, a typical technique of the CNNs to analyze spatio-temporal phenomena (as Autowaves in 2-D and in 3-D has been utilized. Secondly, the CNNs have been used as solvers of partial differential equations of the Navier-Stokes treatment of Newtonian flow.
Study of phase separation using liquid-gas model of lattice-gas cellular automata
This report describes the study of phase separation by the liquid gas model of lattice gas cellular automata. The lattice gas cellular automaton is one model for simulating fluid phenomena which was proposed by Frisch, Hasslacher and Pomeau in 1986. In 1990, Appert and Zaleski added a new long-range interaction to lattice gas cellular automata to construct a model, the liquid-gas model, which could simulate phase separation using lattice-gas cellular automata. Gerits et al formulated the liquid-gas model mathematically using the theory of statistical dynamics in 1993 and explained the mechanism of phase separation in the liquid-gas model using the equation of state. At first this report explains the FHP model of lattice gas cellular automata and derives fluid dynamics equations such as the equation of continuity and the Navier-Stokes equation. Then the equation of state for the liquid-gas model which was derived by Gerits et al is modified by adding the interactions which were proposed by Appert but not considered by Gerits et al. The modified equation of state is verified by the computer simulation using the liquid gas model. The relation between phase separation and the equation of state is discussed. (author)
Model of automated computer aided NC machine tools programming
J. Balic
2006-04-01
Full Text Available Purpose: Modern companies tend towards the greatest possible automation in all areas. The new control concepts of manufacturing processes required development of adequate tools for the introduction of automated control in a certain area. The paper presents such system for automated programming of CNC machine tools.Design/methodology/approach: The system is based on the previously incorporated know-how and the rules of it implementation in tool – shop. The existing manufacturing knowledge of industry tool production was collected and analysing. On this bases flow chart of all activities were made. Theoretical contribution is made in systemization of technological knowledge, which is now accessible for all workers in NC preparation units.Findings: Utilization of technology knowledge. On the basis of the recognized properties it has worked out the algorithms with which the process of manufacture, the tool and the optimum parameters selected are indirectly determined, whereas the target function was working out of the NC programme. We can first out that with information approaching of the CAM and CAPP the barriers between them, strict so far, disappear.Research limitations/implications: Till now, the system is limited to milling, drilling and similar operation. It could be extended to other machining operations (turning, grinding, wire cutting, etc. with the same procedure. In advanced, some methods of artificial intelligence could be use.Practical implications: It is suitable for industry tools, dies and moulds production, while the system was proved in the real tool shop (production of tools for casting. The system reduces the preparation time of NC programs and could be used with any commercial available CAD/CAM/NC programming systems. Human errors are avoid or at lover level. It is important for engineers in CAD/CAM field and in tool – shops.Originality/value: The developed system is original and was not found in the literature or in the
Modeling the Energy Use of a Connected and Automated Transportation System (Poster)
Gonder, J.; Brown, A.
2014-07-01
Early research points to large potential impacts of connected and automated vehicles (CAVs) on transportation energy use - dramatic savings, increased use, or anything in between. Due to a lack of suitable data and integrated modeling tools to explore these complex future systems, analyses to date have relied on simple combinations of isolated effects. This poster proposes a framework for modeling the potential energy implications from increasing penetration of CAV technologies and for assessing technology and policy options to steer them toward favorable energy outcomes. Current CAV modeling challenges include estimating behavior change, understanding potential vehicle-to-vehicle interactions, and assessing traffic flow and vehicle use under different automation scenarios. To bridge these gaps and develop a picture of potential future automated systems, NREL is integrating existing modeling capabilities with additional tools and data inputs to create a more fully integrated CAV assessment toolkit.
ZHU Ming-fang; CAO Wei-sheng; CHEN Shuang-lin; XIE Fan-you; HONG Chunpyo; CHANG Y. Austin
2006-01-01
A modified cellular automaton (MCA) model has been extended to the ternary alloy system by coupling thermodynamic and phase equilibrium calculation engine PanEngine. In the present model the dendrite growth is driven by the difference between the local equilibrium liquidus temperature and local actual temperature, incorporating the effect of curvature. The local equilibrium liquidus temperature is calculated with PanEngine according to the local liquid concentrations of two solutes, which are determined by numerically solving the species transport equation in the domain. Model validation was carried out through the comparison of the simulated values to the prediction of the Scheil model for solute profiles in the primary dendrites. The simulated data with zero solid diffusivity and limited liquid diffusivity were increasingly close to the Scheil profiles as the solidification rate decreased. The simulated microstructure and microsegregation in an Al-Cu-Mg ternary alloy were compared with those obtained experimentally.
Jeans type instability for a chemotactic model of cellular aggregation
Chavanis, Pierre-Henri
2008-01-01
We consider an inertial model of chemotactic aggregation generalizing the Keller-Segel model and we study the linear dynamical stability of an infinite and homogeneous distribution of cells (bacteria, amoebae, endothelial cells,...) when inertial effects are accounted for. These inertial terms model cells directional persistance. We determine the condition of instability and the growth rate of the perturbation as a function of the cell density and the wavelength of the perturbation. We discuss the differences between overdamped (Keller-Segel) and inertial models. Finally, we show the analogy between the instability criterion for biological populations and the Jeans instability criterion in astrophysics.
From cellular to tissue scales by asymptotic limits of thermostatted kinetic models
Bianca, Carlo; Dogbe, Christian; Lemarchand, Annie
2016-02-01
Tumor growth strictly depends on the interactions occurring at the cellular scale. In order to obtain the linking between the dynamics described at tissue and cellular scales, asymptotic methods have been employed, consisting in deriving tissue equations by suitable limits of mesoscopic models. In this paper, the evolution at the cellular scale is described by thermostatted kinetic theory that include conservative, nonconservative (proliferation, destruction and mutations), stochastic terms, and the role of external agents. The dynamics at the tissue scale (cell-density evolution) is obtained by performing a low-field scaling and considering the related convergence of the rescaled framework when the scaling parameter goes to zero.
Cellular cardiac electrophysiology modeling with Chaste and CellML.
Cooper, Jonathan; Spiteri, Raymond J; Mirams, Gary R
2014-01-01
Chaste is an open-source C++ library for computational biology that has well-developed cardiac electrophysiology tissue simulation support. In this paper, we introduce the features available for performing cardiac electrophysiology action potential simulations using a wide range of models from the Physiome repository. The mathematics of the models are described in CellML, with units for all quantities. The primary idea is that the model is defined in one place (the CellML file), and all model code is auto-generated at compile or run time; it never has to be manually edited. We use ontological annotation to identify model variables describing certain biological quantities (membrane voltage, capacitance, etc.) to allow us to import any relevant CellML models into the Chaste framework in consistent units and to interact with them via consistent interfaces. This approach provides a great deal of flexibility for analysing different models of the same system. Chaste provides a wide choice of numerical methods for solving the ordinary differential equations that describe the models. Fixed-timestep explicit and implicit solvers are provided, as discussed in previous work. Here we introduce the Rush-Larsen and Generalized Rush-Larsen integration techniques, made available via symbolic manipulation of the model equations, which are automatically rearranged into the forms required by these approaches. We have also integrated the CVODE solvers, a 'gold standard' for stiff systems, and we have developed support for symbolic computation of the Jacobian matrix, yielding further increases in the performance and accuracy of CVODE. We discuss some of the technical details of this work and compare the performance of the available numerical methods. Finally, we discuss how this is generalized in our functional curation framework, which uses a domain-specific language for defining complex experiments as a basis for comparison of model behavior. PMID:25610400
A study of a main-road cellular automata traffic flow model
黄乒花; 孔令江; 刘慕仁
2002-01-01
A main-road cellular automata traffic flow model on two dimensions is presented based on the Biham-Middleton-Levine traffic model. Its evolution equations are given and the self-organization and organization cooperation phenomenain this model are also studied by using computer simulation.
Propagation Path Loss Models for 5G Urban Micro- and Macro-Cellular Scenarios
Sun, Shu; Rappaport, Theodore S.; Rangan, Sundeep;
2016-01-01
This paper presents and compares two candidate large-scale propagation path loss models, the alpha-beta-gamma (ABG) model and the close-in (CI) free space reference distance model, for the design of fifth generation (5G) wireless communication systems in urban micro- and macro-cellular scenarios...
Jokar Arsanjani, J.; Helbich, M.; Kainz, W.; Boloorani, A.
2013-01-01
This research analyses the suburban expansion in the metropolitan area of Tehran, Iran. A hybrid model consisting of logistic regression model, Markov chain (MC), and cellular automata (CA) was designed to improve the performance of the standard logistic regression model. Environmental and socio-eco
On Modeling Coverage and Rate of Random Cellular Networks under Generic Channel Fading
Al-Hourani, Akram; Kandeepan, Sithamparanathan
2016-01-01
In this paper we provide an analytic framework for computing the expected downlink coverage probability, and the associated data rate of cellular networks, where base stations are distributed in a random manner. The provided expressions are in computable integral forms that accommodate generic channel fading conditions. We develop these expressions by modelling the cellular interference using stochastic geometry analysis, then we employ them for comparing the coverage resulting from various c...
A cellular network model with Ginibre configured base stations
Miyoshi, Naoto; Shirai, Tomoyuki
2014-01-01
Stochastic geometry models for wireless communication networks have recently attracted much attention. This is because the performance of such networks critically depends on the spatial configuration of wireless nodes and the irregularity of the node configuration in a real network can be captured by a spatial point process. However, most analysis of such stochastic geometry models for wireless networks assumes, owing to its tractability, that the wireless nodes are deployed...
Data for Environmental Modeling (D4EM): Background and Applications of Data Automation
The Data for Environmental Modeling (D4EM) project demonstrates the development of a comprehensive set of open source software tools that overcome obstacles to accessing data needed by automating the process of populating model input data sets with environmental data available fr...
A Binary Programming Approach to Automated Test Assembly for Cognitive Diagnosis Models
Finkelman, Matthew D.; Kim, Wonsuk; Roussos, Louis; Verschoor, Angela
2010-01-01
Automated test assembly (ATA) has been an area of prolific psychometric research. Although ATA methodology is well developed for unidimensional models, its application alongside cognitive diagnosis models (CDMs) is a burgeoning topic. Two suggested procedures for combining ATA and CDMs are to maximize the cognitive diagnostic index and to use a…
Tan Chan Sin
2014-01-01
Full Text Available Automated line is widely applied in industry especially for mass production with less variety product. Productivity is one of the important criteria in automated line as well as industry which directly present the outputs and profits. Forecast of productivity in industry accurately in order to achieve the customer demand and the forecast result is calculated by using mathematical model. Mathematical model of productivity with availability for automated line has been introduced to express the productivity in terms of single level of reliability for stations and mechanisms. Since this mathematical model of productivity with availability cannot achieve close enough productivity compared to actual one due to lack of parameters consideration, the enhancement of mathematical model is required to consider and add the loss parameters that is not considered in current model. This paper presents the investigation parameters of productivity losses investigated by using DMAIC (Define, Measure, Analyze, Improve, and Control concept and PACE Prioritization Matrix (Priority, Action, Consider, and Eliminate. The investigated parameters are important for further improvement of mathematical model of productivity with availability to develop robust mathematical model of productivity in automated line.
Model for spatial synthesis of automated control system of the GCR type reactor
This paper describes the model which was developed for synthesis of spatial distribution of automated control elements in the reactor. It represents a general reliable mathematical model for analyzing transition states and synthesis of the automated control and regulation systems of GCR type reactors. One-dimensional system was defined under assumption that the time dependence of parameters of the neutron diffusion equation are identical in the total volume of the reactor and that spatial distribution of neutrons is time independent. It is shown that this assumption is satisfactory in case of short term variations which are relevant for safety analysis
Conceptual model of an automated information system of marketing at the enterprise
D.V. Raiko
2014-09-01
Full Text Available The aim of the article. The purpose of this paper is to create a conceptual model of an automated information system of marketing that has a certain theoretical and practical value. The results of the analysis. The main advantage of this model - a comprehensive disclosure of the relationship of concepts such as automated information technology, marketing information system, automated information system that solve the problem of processing large volumes of data in a short period of time, providing continuous communication with partners and customers and makes it possible to react quickly to market changes, and this in turn contributes to the competitiveness of the domestic and foreign markets. Scientific novelty of this model is, firstly, the assertion that the information system is based on automated information technology presents an automated information the system. Secondly, the marketing information system is an integral part of information system, structural elements are responsible for the transformation of data from internal and external sources of information to information necessary for managers and specialists of marketing services. Thirdly, the most important component of ensuring the functioning of the marketing information system and information system is an automated information technology. Due to the fact that these systems consist of human resources, work within them organized with the help of workstations. Conclusions and directions of further researches. Determined that this conceptual model provides a multi-variant calculations of rational decision-making, including real-time organization of complex accounting and economic analysis, and provides reliability and efficiency obtained and used in the management of information. The results of this model, testing the example of several industries, confirming its practical significance.
A cellular automata model for simulating fed-batch penicillin fermentation process
Yu Naigong; Ruan Xiaogang
2006-01-01
A cellular automata model to simulate penicillin fed-batch fermentation process(CAPFM)was established in this study,based on a morphologically structured dynamic penicillin production model,that is in turn based on the growth mechanism of penicillin producing microorganisms and the characteristics of penicillin fed-batch fermentation.CAPFM uses the three-dimensional cellular automata as a growth space,and a Moore-type neighborhood as the cellular neighborhood.The transition roles of CAPFM are designed based on mechanical and structural kinetic models of penicillin batch-fed fermentation processes.Every cell of CAPFM represents a single or specific number of penicillin producing microorganisms,and has various state.The simulation experimental results show that CAPFM replicates the evolutionary behavior of penicillin batch-fed fermentation processes described by the structured penicillin production kinetic model accordingly.
Mathematical Modeling Predicts How Proteins Affect Cellular Communication
Lee Ethan; Salic Adrian; Krüger Roland; Heinrich Reinhart; Kirschner Marc W
2003-01-01
Wnt signaling plays an important role in both oncogenesis and development. Activation of the Wnt pathway results in stabilization of the transcriptional coactivator beta-catenin. Recent studies have demonstrated that axin, which coordinates beta-catenin degradation, is itself degraded. Although the key molecules required for transducing a Wnt signal have been identified, a quantitative understanding of this pathway has been lacking. We have developed a mathematical model for the canonical Wnt...
Cellular automata cell structure for modeling heterogeneous traffic
Pal, Dibyendu; C.Mallikarjuna
2010-01-01
Gap maintaining behavior significantly affects the traffic flow modeling under heterogeneous traffic conditions. The clearance between two adjacent moving vehicles varies depending on several traffic conditions. From the data collected on the gap maintaining behavior it has been observed that vehicles maintain different gaps when travelling under different traffic conditions and this is also influenced by lateral position of the vehicle. Mallikarjuna (2007) has found that this variable gap ma...
Cellular models and therapies for age-related macular degeneration
David L. Forest
2015-05-01
Full Text Available Age-related macular degeneration (AMD is a complex neurodegenerative visual disorder that causes profound physical and psychosocial effects. Visual impairment in AMD is caused by the loss of retinal pigmented epithelium (RPE cells and the light-sensitive photoreceptor cells that they support. There is currently no effective treatment for the most common form of this disease (dry AMD. A new approach to treating AMD involves the transplantation of RPE cells derived from either human embryonic or induced pluripotent stem cells. Multiple clinical trials are being initiated using a variety of cell therapies. Although many animal models are available for AMD research, most do not recapitulate all aspects of the disease, hampering progress. However, the use of cultured RPE cells in AMD research is well established and, indeed, some of the more recently described RPE-based models show promise for investigating the molecular mechanisms of AMD and for screening drug candidates. Here, we discuss innovative cell-culture models of AMD and emerging stem-cell-based therapies for the treatment of this vision-robbing disease.
Equal Distribution Model of Epidemic Drugs Based on a Cellular Automata Model
Huang Xinyi
2015-01-01
Full Text Available The epidemic spreading of infectious disease is a process of evolution over time. Based on the cellular automata model[1], this paper analyzes the epidemic spreading rules, and establishes an efficient equal distribution model of drugs in a broad sense. For multiple regions, in case of demand of drugs exceeding supply, the drugs shall be distributed according to the proportion of a total number of people in each region, the number of patients, the number of the isolated, and the number of deaths. It is necessary to simulate based on these four schemes to obtain simulation results. The results show that, when the drugs are distributed by the proportion of the number of deaths, it is optimal for controlling over epidemic situations.
Stochastic Model of Maturation and Vesicular Exchange in Cellular Organelles
Vagne, Quentin
2016-01-01
The dynamical organization of membrane-bound organelles along intracellular transport pathways relies on vesicular exchange between organelles and on biochemical maturation of the organelle content by specific enzymes. The relative importance of each mechanism in controlling organelle dynamics remains controversial, in particular for transport through the Golgi apparatus. Using a stochastic model, we show that full maturation of membrane-bound compartments can be seen as the stochastic escape from a steady-state in which export is dominated by vesicular exchange. We show that full maturation can contribute a significant fraction of the total out-flux for small organelles such as endosomes and Golgi cisternae.
Designing and implementing a regional urban modeling system using the SLEUTH cellular urban model
Jantz, C.A.; Goetz, S.J.; Donato, D.; Claggett, P.
2010-01-01
This paper presents a fine-scale (30 meter resolution) regional land cover modeling system, based on the SLEUTH cellular automata model, that was developed for a 257000 km2 area comprising the Chesapeake Bay drainage basin in the eastern United States. As part of this effort, we developed a new version of the SLEUTH model (SLEUTH-3r), which introduces new functionality and fit metrics that substantially increase the performance and applicability of the model. In addition, we developed methods that expand the capability of SLEUTH to incorporate economic, cultural and policy information, opening up new avenues for the integration of SLEUTH with other land-change models. SLEUTH-3r is also more computationally efficient (by a factor of 5) and uses less memory (reduced 65%) than the original software. With the new version of SLEUTH, we were able to achieve high accuracies at both the aggregate level of 15 sub-regional modeling units and at finer scales. We present forecasts to 2030 of urban development under a current trends scenario across the entire Chesapeake Bay drainage basin, and three alternative scenarios for a sub-region within the Chesapeake Bay watershed to illustrate the new ability of SLEUTH-3r to generate forecasts across a broad range of conditions. ?? 2009 Elsevier Ltd.
Yoshikazu Kamiya
2011-04-01
Full Text Available At present, most of the digital data acquisition methods generate Digital Surface Model (DSM and not a Digital Elevation Model (DEM. Conversion from DSM to DEM still has some drawbacks, especially the removing of off terrain point clouds and subsequently the generation of DEM within these spaces even though the methods are automated. In this paper it was intended to overcome this issue by attempting to project off terrain point clouds to the terrain in forest areas using Artificial Neural Networks (ANN instead of removing them and then filling gaps by interpolation. Five sites were tested and accuracies assessed. They all give almost the same results. In conclusion, the ANN has ability to obtain the DEM by projecting the DSM point clouds and greater accuracies of DEMs were obtained. If the size of the hollow areas resulting from the removal of DSM point clouds are larger the accuracies are reduced.
Modelling Cellular Processes using Membrane Systems with Peripheral and Integral Proteins
Cavaliere, Matteo; Sedwards, Sean
2006-01-01
Membrane systems were introduced as models of computation inspired by the structure and functioning of biological cells. Recently, membrane systems have also been shown to be suitable to model cellular processes. We introduce a new model called Membrane Systems with Peripheral and Integral Proteins. The model has compartments enclosed by membranes, floating objects, objects associated to the internal and external surfaces of the membranes and also objects integral to the membranes. The floati...
Automated modelling of complex refrigeration cycles through topological structure analysis
We have developed a computational method for analysis of refrigeration cycles. The method is well suited for automated analysis of complex refrigeration systems. The refrigerator is specified through a description of flows representing thermodynamic sates at system locations; components that modify the thermodynamic state of a flow; and controls that specify flow characteristics at selected points in the diagram. A system of equations is then established for the refrigerator, based on mass, energy and momentum balances for each of the system components. Controls specify the values of certain system variables, thereby reducing the number of unknowns. It is found that the system of equations for the refrigerator may contain a number of redundant or duplicate equations, and therefore further equations are necessary for a full characterization. The number of additional equations is related to the number of loops in the cycle, and this is calculated by a matrix-based topological method. The methodology is demonstrated through an analysis of a two-stage refrigeration cycle.
Evaluation of BACE1 Silencing in Cellular Models
Barbara Nawrot
2009-01-01
Full Text Available Beta-secretase (BACE1 is the major enzyme participating in generation of toxic amyloid-beta (Aβ peptides, identified in amyloid plaques of Alzheimer's disease (AD brains. Its downregulation results in decreasing secretion of Aβ. Thus, BACE1 silencing by RNAi represents possible strategy for antiamyloid therapy in the treatment of AD. In this study, a series of newly designed sequences of synthetic and vector-encoded siRNAs (pSilencer, pcPURhU6, and lentivirus were tested against overexpressed and endogenous BACE1 in several cell lines and in adult neural progenitor cells, derived from rat hippocampus. SiRNAs active in human, mouse, and rat cell models were shown to diminish the level of BACE1. In HCN A94 cells, two BACE1-specific siRNAs did not alter the expression of genes of BACE2 and several selected genes involved in neurogenesis (Synapsin I, βIII-Tubulin, Calbidin, NeuroD1, GluR2, CREB, MeCP2, PKR, however, remarkable lowering of SCG10 mRNA, coding protein of stathmin family, important in the development of nervous system, was observed.
Automated Discovery and Modeling of Sequential Patterns Preceding Events of Interest
Rohloff, Kurt
2010-01-01
The integration of emerging data manipulation technologies has enabled a paradigm shift in practitioners' abilities to understand and anticipate events of interest in complex systems. Example events of interest include outbreaks of socio-political violence in nation-states. Rather than relying on human-centric modeling efforts that are limited by the availability of SMEs, automated data processing technologies has enabled the development of innovative automated complex system modeling and predictive analysis technologies. We introduce one such emerging modeling technology - the sequential pattern methodology. We have applied the sequential pattern methodology to automatically identify patterns of observed behavior that precede outbreaks of socio-political violence such as riots, rebellions and coups in nation-states. The sequential pattern methodology is a groundbreaking approach to automated complex system model discovery because it generates easily interpretable patterns based on direct observations of sampled factor data for a deeper understanding of societal behaviors that is tolerant of observation noise and missing data. The discovered patterns are simple to interpret and mimic human's identifications of observed trends in temporal data. Discovered patterns also provide an automated forecasting ability: we discuss an example of using discovered patterns coupled with a rich data environment to forecast various types of socio-political violence in nation-states.
Modeling Multiple Human-Automation Distributed Systems using Network-form Games
Brat, Guillaume
2012-01-01
The paper describes at a high-level the network-form game framework (based on Bayes net and game theory), which can be used to model and analyze safety issues in large, distributed, mixed human-automation systems such as NextGen.
Automated Test Assembly for Cognitive Diagnosis Models Using a Genetic Algorithm
Finkelman, Matthew; Kim, Wonsuk; Roussos, Louis A.
2009-01-01
Much recent psychometric literature has focused on cognitive diagnosis models (CDMs), a promising class of instruments used to measure the strengths and weaknesses of examinees. This article introduces a genetic algorithm to perform automated test assembly alongside CDMs. The algorithm is flexible in that it can be applied whether the goal is to…
Evaluation of automated cell disruptor methods for oomycetous and ascomycetous model organisms
Two automated cell disruptor-based methods for RNA extraction; disruption of thawed cells submerged in TRIzol Reagent (method QP), and direct disruption of frozen cells on dry ice (method CP), were optimized for a model oomycete, Phytophthora capsici, and compared with grinding in a mortar and pestl...
Tools and Models for Integrating Multiple Cellular Networks
Gerstein, Mark [Yale Univ., New Haven, CT (United States). Gerstein Lab.
2015-11-06
CRIT for correlation analysis in systems biology [5]. For Aim 3, we have further investigated the scaling relationship that the number of Transcription Factors (TFs) in a genome is proportional to the square of the total number of genes. We have extended the analysis from transcription factors to various classes of functional categories, and from individual categories to joint distribution [6]. By introducing a new analytical framework, we have generalized the original toolbox model to take into account of metabolic network with arbitrary network topology [7].
AUTOMATED FORMATION OF CALCULATION MODELS OF TURBOGENERATORS FOR SOFTWARE ENVIRONMENT FEMM
Milykh, V. I.; Polyakova, N. V.
2015-01-01
Attention is paid to the popular FEMM (Finite Element Method Magnetics) program which is effective in the numerical calculations of the magnetic fields of electrical machines. The main problem of its using - high costs in time on the formation of a graphical model representing the design and on the formation of the physical model representing the materials properties and the winding currents of machines – is solved. For this purpose, principles of the automated formation of such models are de...
Thomas E. Watts III; Robyn A. Snow; Brown, Aaron W.; J. C. York; Greg Fantom; Paul S. Simone Jr.; Gary L. Emmert
2015-01-01
An automated, on-site trihalomethanes concentration data set from a conventional water treatment plant was used to optimize powdered activated carbon and pre-chlorination doses. The trihalomethanes concentration data set was used with commonly monitored water quality parameters to improve an empirical model of trihalomethanes formation. A calibrated model was used to predict trihalomethanes concentrations the following year. The agreement between the models and measurements was evaluated. The...
An automated construction of error models for uncertainty quantification and model calibration
Josset, L.; Lunati, I.
2015-12-01
To reduce the computational cost of stochastic predictions, it is common practice to rely on approximate flow solvers (or «proxy»), which provide an inexact, but computationally inexpensive response [1,2]. Error models can be constructed to correct the proxy response: based on a learning set of realizations for which both exact and proxy simulations are performed, a transformation is sought to map proxy into exact responses. Once the error model is constructed a prediction of the exact response is obtained at the cost of a proxy simulation for any new realization. Despite its effectiveness [2,3], the methodology relies on several user-defined parameters, which impact the accuracy of the predictions. To achieve a fully automated construction, we propose a novel methodology based on an iterative scheme: we first initialize the error model with a small training set of realizations; then, at each iteration, we add a new realization both to improve the model and to evaluate its performance. More specifically, at each iteration we use the responses predicted by the updated model to identify the realizations that need to be considered to compute the quantity of interest. Another user-defined parameter is the number of dimensions of the response spaces between which the mapping is sought. To identify the space dimensions that optimally balance mapping accuracy and risk of overfitting, we follow a Leave-One-Out Cross Validation. Also, the definition of a stopping criterion is central to an automated construction. We use a stability measure based on bootstrap techniques to stop the iterative procedure when the iterative model has converged. The methodology is illustrated with two test cases in which an inverse problem has to be solved and assess the performance of the method. We show that an iterative scheme is crucial to increase the applicability of the approach. [1] Josset, L., and I. Lunati, Local and global error models for improving uncertainty quantification, Math
Mondry Adrian
2004-08-01
Full Text Available Abstract Background Many arrhythmias are triggered by abnormal electrical activity at the ionic channel and cell level, and then evolve spatio-temporally within the heart. To understand arrhythmias better and to diagnose them more precisely by their ECG waveforms, a whole-heart model is required to explore the association between the massively parallel activities at the channel/cell level and the integrative electrophysiological phenomena at organ level. Methods We have developed a method to build large-scale electrophysiological models by using extended cellular automata, and to run such models on a cluster of shared memory machines. We describe here the method, including the extension of a language-based cellular automaton to implement quantitative computing, the building of a whole-heart model with Visible Human Project data, the parallelization of the model on a cluster of shared memory computers with OpenMP and MPI hybrid programming, and a simulation algorithm that links cellular activity with the ECG. Results We demonstrate that electrical activities at channel, cell, and organ levels can be traced and captured conveniently in our extended cellular automaton system. Examples of some ECG waveforms simulated with a 2-D slice are given to support the ECG simulation algorithm. A performance evaluation of the 3-D model on a four-node cluster is also given. Conclusions Quantitative multicellular modeling with extended cellular automata is a highly efficient and widely applicable method to weave experimental data at different levels into computational models. This process can be used to investigate complex and collective biological activities that can be described neither by their governing differentiation equations nor by discrete parallel computation. Transparent cluster computing is a convenient and effective method to make time-consuming simulation feasible. Arrhythmias, as a typical case, can be effectively simulated with the methods
Wimol San-Um
2015-12-01
Full Text Available This paper presents a robust cellular associative memory for pattern recognitions using composite trigonometric chaotic neuron models. Robust chaotic neurons are designed through a scan of positive Lyapunov Exponent (LE bifurcation structures, which indicate the quantitative measure of chaoticity for one-dimensional discrete-time dynamical systems. The proposed chaotic neuron model is a composite of sine and cosine chaotic maps, which are independent from the output activation function. Dynamics behaviors are demonstrated through bifurcation diagrams and LE-based bifurcation structures. An application to associative memories of binary patterns in Cellular Neural Networks (CNN topology is demonstrated using a signum output activation function. Examples of English alphabets are stored using symmetric auto-associative matrix of n-binary patterns. Simulation results have demonstrated that the cellular neural network can quickly and effectively restore the distorted pattern to expected information.
Platinum nanozymes recover cellular ROS homeostasis in an oxidative stress-mediated disease model
Moglianetti, Mauro; de Luca, Elisa; Pedone, Deborah; Marotta, Roberto; Catelani, Tiziano; Sartori, Barbara; Amenitsch, Heinz; Retta, Saverio Francesco; Pompa, Pier Paolo
2016-02-01
In recent years, the use of nanomaterials as biomimetic enzymes has attracted great interest. In this work, we show the potential of biocompatible platinum nanoparticles (Pt NPs) as antioxidant nanozymes, which combine abundant cellular internalization and efficient scavenging activity of cellular reactive oxygen species (ROS), thus simultaneously integrating the functions of nanocarriers and antioxidant drugs. Careful toxicity assessment and intracellular tracking of Pt NPs proved their cytocompatibility and high cellular uptake, with compartmentalization within the endo/lysosomal vesicles. We have demonstrated that Pt NPs possess strong and broad antioxidant properties, acting as superoxide dismutase, catalase, and peroxidase enzymes, with similar or even superior performance than natural enzymes, along with higher adaptability to the changes in environmental conditions. We then exploited their potent activity as radical scavenging materials in a cellular model of an oxidative stress-related disorder, namely human Cerebral Cavernous Malformation (CCM) disease, which is associated with a significant increase in intracellular ROS levels. Noteworthily, we found that Pt nanozymes can efficiently reduce ROS levels, completely restoring the cellular physiological homeostasis.In recent years, the use of nanomaterials as biomimetic enzymes has attracted great interest. In this work, we show the potential of biocompatible platinum nanoparticles (Pt NPs) as antioxidant nanozymes, which combine abundant cellular internalization and efficient scavenging activity of cellular reactive oxygen species (ROS), thus simultaneously integrating the functions of nanocarriers and antioxidant drugs. Careful toxicity assessment and intracellular tracking of Pt NPs proved their cytocompatibility and high cellular uptake, with compartmentalization within the endo/lysosomal vesicles. We have demonstrated that Pt NPs possess strong and broad antioxidant properties, acting as superoxide
AUTOMATED FORMATION OF FUNCTIONAL MODELS OF RAILWAY STATIONS
Д. Н. КОЗАЧЕНКО; ВЕРНИГОРА Р.В.; МАЛАШКИН, В. В.
2015-01-01
Effective means of analysis and quantitative assessment of the functioning of the railway stations is a simulation processes. Ergatic model railway stations provide high adequacy of simulation. In such models, the person directly involved in the process of modeling, acting as Station Manager.For the functioning of ergatic model are used data files of a special structure in which is encrypted formalized technical equipment and technological process of the station. Experience of creating ergati...
Kirchner, Ansgar; Schadschneider, Andreas
2002-01-01
We present simulations of evacuation processes using a recently introduced cellular automaton model for pedestrian dynamics. This model applies a bionics approach to describe the interaction between the pedestrians using ideas from chemotaxis. Here we study a rather simple situation, namely the evacuation from a large room with one or two doors. It is shown that the variation of the model parameters allows to describe different types of behaviour, from regular to panic. We find a non-monotoni...
Color Graphs: An Efficient Model For Two-Dimensional Cellular Automata Linear Rules
Nayak, Birendra Kumar; Rout, Sushant Kumar
2008-01-01
Two-dimensional nine neighbor hood rectangular Cellular Automata rules can be modeled using many different techniques like Rule matrices, State Transition Diagrams, Boolean functions, Algebraic Normal Form etc. In this paper, a new model is introduced using color graphs to model all the 512 linear rules. The graph theoretic properties therefore studied in this paper simplifies the analysis of all linear rules in comparison with other ways of its study.
A Modified Cellular Automaton Approach for Mixed Bicycle Traffic Flow Modeling
Xiaonian Shan; Zhibin Li; Xiaohong Chen; Jianhong Ye
2015-01-01
Several previous studies have used the Cellular Automaton (CA) for the modeling of bicycle traffic flow. However, previous CA models have several limitations, resulting in differences between the simulated and the observed traffic flow features. The primary objective of this study is to propose a modified CA model for simulating the characteristics of mixed bicycle traffic flow. Field data were collected on physically separated bicycle path in Shanghai, China, and were used to calibrate the C...
Lattice gas cellular automata model for rippling and aggregation in myxobacteria
Alber, Mark S.; Jiang, Yi; Kiskowski, Maria A.
2004-01-01
A lattice-gas cellular automaton (LGCA) model is used to simulate rippling and aggregation in myxobacteria. An efficient way of representing cells of different cell size, shape and orientation is presented that may be easily extended to model later stages of fruiting body formation. This LGCA model is designed to investigate whether a refractory period, a minimum response time, a maximum oscillation period and non-linear dependence of reversals of cells on C-factor are necessary assumptions f...
Özen, Şükrü; Köylü, Halis
2010-01-01
ABSTRACTThere is a necessity of tissue equivalent (phantom) models in research of electromagnetic (EM) effects in biologic tissues. Recently, many kinds of tissue models depend on the different aim were proposed. So many studies were carried on the interaction of human-head and cellular phone. The most of them are related to numerical models. Owing to difficulty of study on human body, simulation of human tissues is required. In this study two different, for 900MHz and for 1800MHz, brain equi...
Thomas E. Watts III
2015-10-01
Full Text Available An automated, on-site trihalomethanes concentration data set from a conventional water treatment plant was used to optimize powdered activated carbon and pre-chlorination doses. The trihalomethanes concentration data set was used with commonly monitored water quality parameters to improve an empirical model of trihalomethanes formation. A calibrated model was used to predict trihalomethanes concentrations the following year. The agreement between the models and measurements was evaluated. The original model predicted trihalomethanes concentrations within ~10 μg·L−1 of the measurement. Calibration improved model prediction by a factor of three to five times better than the literature model.
Automating Measurement for Software Process Models using Attribute Grammar Rules
Abdul Azim Abd. Ghani
2007-08-01
Full Text Available The modelling concept is well accepted in software engineering discipline. Some software models are built either to control the development stages, to measure program quality or to serve as a medium that gives better understanding of the actual software systems. Software process modelling nowadays has reached a level that allow software designs to be transformed into programming languages, such as architecture design language and unified modelling language. This paper described the adaptation of attribute grammar approach in measuring software process model. A tool, called Software Process Measurement Application was developed to enable the measurement accordingly to specified attribute grammar rules. A context-free grammar to read the process model is depicted from IDEF3 standard, and rules were attached to enable the measurement metrics calculation. The measurement metric values collected were used to aid in determining the decomposing and structuring of processes for the proposed software systems.
Automated Predicate Abstraction for Real-Time Models
Bahareh Badban
2009-11-01
Full Text Available We present a technique designed to automatically compute predicate abstractions for dense real-timed models represented as networks of timed automata. We use the CIPM algorithm in our previous work which computes new invariants for timed automata control locations and prunes the model, to compute a predicate abstraction of the model. We do so by taking information regarding control locations and their newly computed invariants into account.
Semi-Automated Design Space Exploration for Formal Modelling
Grov, Gudmund; Ireland, Andrew; Llano, Maria Teresa; Kovacs, Peter; Colton, Simon; Gow, Jeremy
2016-01-01
Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. Here, we propose Design Space Exploration, an approach that aims to assist a designer by automatically providing high-level modelling guidance in real-time. More specifically, through the combination of common p...
Herbert, Luke Thomas; Hansen, Zaza Nadja Lee
2016-01-01
This article presents a framework for the automated restructuring of stochastic workflows to reduce the impact of faults. The framework allows for the modelling of workflows by means of a formalised subset of the BPMN workflow language. We extend this modelling formalism to describe faults and...... model resources, associated with a workflow. The approach is fully automated and only the modelling of the production workflows, potential faults and the expression of the goals require manual input. We present the design of a software tool implementing this framework and explore the practical utility...... of this approach through an industrial case study in which the risk of production failures and their impact are reduced by restructuring the workflow....
Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking
Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Jacobsen, Peter
2014-01-01
This paper presents a framework for the automated restructuring of workflows that allows one to minimise the impact of errors on a production workflow. The framework allows for the modelling of workflows by means of a formalised subset of the Business Process Modelling and Notation (BPMN) language......, a well-established visual language for modelling workflows in a business context. The framework’s modelling language is extended to include the tracking of real-valued quantities associated with the process (such as time, cost, temperature). In addition, this language also allows for an intention...... by means of a case study from the food industry. Through this case study we explore the extent to which the risk of production faults can be reduced and the impact of these can be minimised, primarily through restructuring of the production workflows. This approach is fully automated and only the...
Embryonic stem cells as an ectodermal cellular model of human p63-related dysplasia syndromes.
Rostagno, P.; Wolchinsky, Z.; Vigano, A.M.; Shivtiel, S.; Zhou, H.; Bokhoven, J.H.L.M. van; Ferone, G.; Missero, C.; Mantovani, R.; Aberdam, D.; Virolle, T.
2010-01-01
Heterozygous mutations in the TP63 transcription factor underlie the molecular basis of several similar autosomal dominant ectodermal dysplasia (ED) syndromes. Here we provide a novel cellular model derived from embryonic stem (ES) cells that recapitulates in vitro the main steps of embryonic skin d
An agent-based model of cellular dynamics and circadian variability in human endotoxemia.
Tung T Nguyen
Full Text Available As cellular variability and circadian rhythmicity play critical roles in immune and inflammatory responses, we present in this study an agent-based model of human endotoxemia to examine the interplay between circadian controls, cellular variability and stochastic dynamics of inflammatory cytokines. The model is qualitatively validated by its ability to reproduce circadian dynamics of inflammatory mediators and critical inflammatory responses after endotoxin administration in vivo. Novel computational concepts are proposed to characterize the cellular variability and synchronization of inflammatory cytokines in a population of heterogeneous leukocytes. Our results suggest that there is a decrease in cell-to-cell variability of inflammatory cytokines while their synchronization is increased after endotoxin challenge. Model parameters that are responsible for IκB production stimulated by NFκB activation and for the production of anti-inflammatory cytokines have large impacts on system behaviors. Additionally, examining time-dependent systemic responses revealed that the system is least vulnerable to endotoxin in the early morning and most vulnerable around midnight. Although much remains to be explored, proposed computational concepts and the model we have pioneered will provide important insights for future investigations and extensions, especially for single-cell studies to discover how cellular variability contributes to clinical implications.
Guedes, J.M.; Rodrigues, H.C.; Bendsøe, Martin P.
2003-01-01
This paper describes a computational model, based on inverse homogenization and topology design, for approximating energy bounds for two-phase composites under multiple load cases. The approach allows for the identification of possible single-scale cellular materials that give rise to the optimal...
Model Perubahan Penggunaan Lahan Menggunakan Cellular Automata-Markov Chain di Kawasan Mamminasata
Vera Damayanti Peruge, Tiur
2012-01-01
Telah dilakukan penelitian tentang perubahan penggunaan lahan di kawasan Mamminasata menggunakan model Cellular Automata-Markov Chain. Tujuan dari penelitian ini adalah menganalisis perubahan penggunaan lahan melalui peta penggunaan lahan kawasan Mamminasata tahun 2004 dan 2009 untuk memperoleh penggunaan lahan tahun 2012 berbasis Markov Chain dengan analisis probabilitas transisi Markov. Hasil analisis yang diperoleh dilakukan validasi dengan validasi Kappa m...
Gaia: automated quality assessment of protein structure models
Kota, Pradeep; Ding, Feng; Ramachandran, Srinivas; Dokholyan, Nikolay V.
2011-01-01
Motivation: Increasing use of structural modeling for understanding structure–function relationships in proteins has led to the need to ensure that the protein models being used are of acceptable quality. Quality of a given protein structure can be assessed by comparing various intrinsic structural properties of the protein to those observed in high-resolution protein structures.
PDB_REDO: automated re-refinement of X-ray structure models in the PDB
Joosten, R.P.; Salzemann, J.; Bloch, V.; Stockinger, H.; Berglund, A; Blanchet, C.; Bongcam-Rudloff, E.; Combet, C.; Da Costa, A.L.; Deleage, G.; Diarena, M.; Fabbretti, R.; Fettahi, G.; Flegel, V.; Gisel, A.
2009-01-01
Structural biology, homology modelling and rational drug design require accurate three-dimensional macromolecular coordinates. However, the coordinates in the Protein Data Bank (PDB) have not all been obtained using the latest experimental and computational methods. In this study a method is presented for automated re-refinement of existing structure models in the PDB. A large-scale benchmark with 16 807 PDB entries showed that they can be improved in terms of fit to the deposited experimenta...
Cornaglia, Matteo; Krishnamani, Gopalan; Mouchiroud, Laurent; Sorrentino, Vincenzo; Lehnert, Thomas; Auwerx, Johan; Gijs, Martin A. M.
2016-01-01
Background While many biological studies can be performed on cell-based systems, the investigation of molecular pathways related to complex human dysfunctions – e.g. neurodegenerative diseases – often requires long-term studies in animal models. The nematode Caenorhabditis elegans represents one of the best model organisms for many of these tests and, therefore, versatile and automated systems for accurate time-resolved analyses on C. elegans are becoming highly desirable tools in the field. ...
Kachewar, Rohan R.
2013-01-01
Automated testing improves the efficiency of testing practice at various levels of projects in the organization. Unfortunately, we do not have a common architecture or common standards for designing frameworks across different test levels, projects and test tools which can assist developers, testers and business analysts. To address the above problem, in this paper, I have first proposed a unique reference model and then a design architecture using the proposed model for designing any Data Dr...
MLP based Reusability Assessment Automation Model for Java based Software Systems
Surbhi Maggo
2014-08-01
Full Text Available Reuse refers to a common principle of using existing resources repeatedly, that is pervasively applicable everywhere. In software engineering reuse refers to the development of software systems using already available artifacts or assets partially or completely, with or without modifications. Software reuse not only promises significant improvements in productivity and quality but also provides for the development of more reliable, cost effective, dependable and less buggy (considering that prior use and testing have removed errors software with reduced time and effort. In this paper we present an efficient and reliable automation model for reusability evaluation of procedure based object oriented software for predicting the reusability levels of the components as low, medium or high. The presented model follows a reusability metric framework that targets the requisite reusability attributes including maintainability (using the Maintainability Index for functional analysis of the components. Further Multilayer perceptron (using back propagation based neural network is applied for the establishment of significant relationships among these attributes for reusability prediction. The proposed approach provides support for reusability evaluation at functional level rather than at structural level. The automation support for this approach is provided in the form of a tool named JRA2M2 (Java based Reusability Assessment Automation Model using Multilayer Perceptron (MLP, implemented in Java. The performance of JRA2M2 is recorded using parameters like accuracy, classification error, precision and recall. The results generated using JRA2M2 indicate that the proposed automation tool can be effectively used as a reliable and efficient solution for automated evaluation of reusability.
Software Test Case Automated Generation Algorithm with Extended EDPN Model
Jinlong Tao
2013-08-01
Full Text Available To improve the sufficiency for software testing and the performance of testing algorithms, an improved event-driven Petri network model using combination method is proposed, abbreviated as OEDPN model. Then it is applied to OATS method to extend the implementation of OATS. On the basis of OEDPN model, the marked associate recursive method of state combination on category is presented to solve problems of combined conflict. It is also for test case explosion generated by redundant test cases and hard extension of OATS method. Meanwhile, the generation methods on interactive test cases of extended OATS are also presented by research on generation test cases.
Hannan, Shabab B; Dräger, Nina M; Rasse, Tobias M; Voigt, Aaron; Jahn, Thomas R
2016-04-01
Abnormal tau accumulations were observed and documented in post-mortem brains of patients affected by Alzheimer's disease (AD) long before the identification of mutations in the Microtubule-associated protein tau (MAPT) gene, encoding the tau protein, in a different neurodegenerative disease called Frontotemporal dementia and Parkinsonism linked to chromosome 17 (FTDP-17). The discovery of mutations in the MAPT gene associated with FTDP-17 highlighted that dysfunctions in tau alone are sufficient to cause neurodegeneration. Invertebrate models have been diligently utilized in investigating tauopathies, contributing to the understanding of cellular and molecular pathways involved in disease etiology. An important discovery came with the demonstration that over-expression of human tau in Drosophila leads to premature mortality and neuronal dysfunction including neurodegeneration, recapitulating some key neuropathological features of the human disease. The simplicity of handling invertebrate models combined with the availability of a diverse range of experimental resources make these models, in particular Drosophila a powerful invertebrate screening tool. Consequently, several large-scale screens have been performed using Drosophila, to identify modifiers of tau toxicity. The screens have revealed not only common cellular and molecular pathways, but in some instances the same modifier has been independently identified in two or more screens suggesting a possible role for these modifiers in regulating tau toxicity. The purpose of this review is to discuss the genetic modifier screens on tauopathies performed in Drosophila and C. elegans models, and to highlight the common cellular and molecular pathways that have emerged from these studies. Here, we summarize results of tau toxicity screens providing mechanistic insights into pathological alterations in tauopathies. Key pathways or modifiers that have been identified are associated with a broad range of processes