Programmable Automata Research Articles

Simulation of Pitting Corrosion Under Stress Based on Cellular Automata and Finite Element Method

Abstract A new cellular automaton (CA) program was written in python language to simulate the random pitting evolution process, which can not only obtain a variety of different corrosion products but also obtain a variety of common corrosion morphologies on the surface of metal pipes, bridge steel members, etc. In addition, commercial finite element (FE) software abaqus was redeveloped using python scripting language, and the FE mesh with the same size as the cellular mesh was established based on the consistent mesh algorithm, which ensured the efficiency and accuracy of the cyclic iterative algorithm. The stress and strain fields were calculated in real-time by applying the force load, the dissolution probability parameter P was updated in python according to the force-chemical coupling model, and a new corrosion morphology was obtained in python. At the same time, the birth and death element method was applied in abaqus to kill the corrosion elements in this iterative step simultaneously, and the new stress-strain field was recalculated in abaqus. The established consistent grid modeling strategy and cyclic iterative algorithm can significantly improve the solving efficiency of pitting evolution under the coupled action of corrosive medium and load. The results show that the stress concentration caused by pit expansion and the corrosion acceleration effect dominated by plastic deformation will promote each other, leading to the continuous growth of pitted pits. The established modeling strategy and cyclic iterative algorithm can significantly improve the solving efficiency of pitting evolution under the coupled action of corrosive medium and load.

Searching for Systems with Planar Hexacoordinate Carbons

Here, we present evidence that the D2h M2C50/2+ (M = Li-K, Be-Ca, Al-In, and Zn) species comprises planar hexacoordinate carbon (phC) structures that exhibit four covalent and two electrostatic interactions. These findings have been made possible using evolutionary methods for exploring the potential energy surface (AUTOMATON program) and the Interacting Quantum Atoms (IQA) methodology, which support the observed bonding interactions. It is worth noting, however, that these structures are not the global minimum. Nonetheless, incorporating two cyclopentadienyl anion ligands (Cp) into the CaC52+ system has enhanced the relative stability of the phC isomer. Moreover, cycloparaphenylene ([8]CPP) provides system protection and kinetic stability. These results indicate that using appropriate ligands presents a promising approach for expanding the chemistry of phC species.

Метод восстановления протокольных автоматов по бинарному коду

Security analysis of network programs includes set of reverse engineering tasks of network protocols. Data formats restoring and implemented protocol automaton are the previous task issues. Unlike quite researched problem of formats restoring where there are lots of scientist’s papers, finding out the protocol's automaton program implementation looks like terra incognita and the cornerstone is a protocol state description currently undefined. There are two general ways to retrieve the implemented protocol automaton: an analysis of the network traces and looking into binary trace of the target application. This article offers a second one method. The first aim of the paper is the way to describe a mathematical model of a protocol automaton and a method for projecting it onto an executing application binary code. The second is concept of the protocol state definition and a principle to detect the states transitions based on some "global" binary trace objects, are described. Thirdly, there is suggested a protocol automaton precising manner by in-memory fuzzing based on a "floating" fork-server to manage states transitions. Finally, developed toolset's scheme and experiments on its using with a real VPN client, are shown.

The Scale Effect of Coarse-Grained Materials by Triaxial Test Simulation

The scale effect is an unavoidable problem in the laboratory test of coarse-grained materials. By combining the self-developed cellular automaton program with laboratory experiments, a method of simulating the triaxial test of coarse-grained materials was proposed in this paper, and a triaxial test numerical specimen that can characterize the discontinuous, nonuniform, and heterogeneous characteristics of bulk geotechnical materials was established. The parallel grading method was adopted to create six grading curves for numerical simulation based on one in situ grading curve. The failure process and the scale effect on the strength and deformation of coarse-grained materials were analyzed and discussed. The results showed that under the same confining pressure, the peak stress and initial deformation modulus E i increased with the increase of the maximum particle size d max , while the degree of shear shrinkage and Poisson’s ration υ decreased. As the confining pressure increased, the scale effect of coarse-grained materials would be magnified. If particle breakage and migration were assumed to be neglected, the internal friction angle φ and d max would be roughly proportional, the cohesive force c fluctuated with the increase of d max , and the empirical relations between d max and c and φ were established, respectively, which provides a reference for estimating the actual shear strength parameters of coarse-grained materials on-site. The research results can provide a way of thinking for the study of the scale effect of coarse-grained materials and also have certain reference significance for inferring the strength parameters of the original-graded coarse-grained materials.

Cellular Automata Approach to Hydration Heat of Concrete Based on Equivalent Time

Cellular automata can be used to analyze a physical system which is satisfying differential equations. A cellular automata program for a thermal analysis of hydration heat was developed. Based on the fundamental theory of cellular automata, the heat conduction equation was deduced for validating the cellular automata approach. By introduction of the concept of equivalent time, the variation of the chemical reaction rate of hydration heat with temperature was studied by use of the Arrhenius function. The relationship between the adiabatic temperature rise and equivalent time was determined by analyzing testing data．A parametric analysis of ambient temperature and concrete slab thickness was also conducted. The temperature rise of concrete increases with increasing ambient temperature and thickness of the slab.

Evaluation of restricted probabilistic cellular automata on the exploration of the potential energy surface of Be6B11−

Herein the performance of a modification within the hybrid algorithm implemented in the AUTOMATON program is introduced and evaluated. For the creation of the initial population, AUTOMATON combines a probabilistic automata procedure with a genetic algorithm used to evolve this population. The proposed modification is addressed to efficiently identify the minimum energy structures of systems composed of more than one type of atom and with a low computational cost. The effectiveness of this approach is evaluated in the determination of the minimum energy structures of Be6B11−. The modification, aimed to explore the potential energy surface, consisted of filling the cells first with Be atoms in the process of creating the initial population. This order obeys the structural pattern established in the Be–B clusters reported to date. The results show that this variation not only identifies a more significant number of viable isomers but also to find a better putative global minimum than those previously reported in the literature. Therefore, it is recommended to be used as a complement to the standard searching process.

Do Mundo Pedagógico-Filosófico em Wittgenstein

This dissertation aims to understand, in the light of Wittgenstein’s Investigations, language as a match or a game, whose performance is trained by using certain rules, taking in traditions and those techniques that propel the young shoots to the integration in the world. In order to this, it will be developed the argument that sustains that the learning process, which is incompatible with an automatic system of direct and instantaneous print of information – considering that there is no way that children resemble programmable automata, such as the film Kynodontas simulates –, should go hand in hand with the manner of doing philosophy, given its irreplaceable role in the formation and development, on the one hand, of perspicuity and elucidation, on the other, of thinking, imagination and personality of children. At this point, it must be clear that what is up to educators and tutors is nothing more than introduce the world to the young shoots as it is seen and conceived, through what is known and actually it is, but mainly to invite them to participate in it.

Fractal evaluation aspects in characterizing the roughness of a driving wheel from a locomotive

For comprehending tribological phenomena such as wear, friction, contact deformation and tightness of contact joints is the essential characterisation of the multiple scale topography of roughness surfaces. Wheel roughness obtained through direct measurement and then a description of wheel roughness has been obtained using the fractal function. The statistical parameters and fractal sizes for drive wheels which ran 2000 km and another ones new wheels have been analysed.By registering the results and programmable automaton of the roughness, the principal statistical characteristics were determined to be stands out the Abbott-Firestone curve and respectively, the fractal character. The appearance of roughness on the surface of the wheel causes the production of vertical vibrations that act on the complex wheel-rail system.In the analysis of the wheel irregularity, the fractal geometry was applied, so that to obtain the fractal parameters Dw, respectively Ltw (opothesy length), the method of the structure function was used [1, 2]. Therefore, the experimental measurement and obtained results processed presented.

Programmable Cellular Automata Based Random Key Generation for One-Time Pad Encryption Using Unity Attractors

Due to the heterogeneous nature of the devices and data communication protocols used in the Internet of Things (IoT), security becomes an important issue. Hence, this article attempts to enhance the security of IoT data in healthcare scenario and proposes a programmable cellular automaton based one-time pad framework. A theoretical analysis has been carried out and a mathematical model is developed to prevent chosen plaintext and brute force attacks. The performance of OTP is analyzed using simulation with respect to size, lifetime, iteration, integrity, computation time of algorithm and the results show that it is efficient for protecting security of IoT healthcare data.

Design and Construction of a Cost-Effective Didactic Robotic Arm for Playing Chess, Using an Artificial Vision System

This paper presents the design and construction of a robotic arm that plays chess against a human opponent, based on an artificial vision system. The mechanical design was an adaptation of the robotic arm proposed by the rapid prototyping laboratory FabLab RUC (Fabrication Laboratory of the University of Roskilde). Using the software Solidworks, a gripper with 4 joints was designed. An artificial vision system was developed for detecting the corners of the squares on a chessboard and performing image segmentation. Then, an image recognition model was trained using convolutional neural networks to detect the movements of pieces on the board. An image-based visual servoing system was designed using the Kanade–Lucas–Tomasi method, in order to locate the manipulator. Additionally, an Arduino development board was programmed to control and receive information from the robotic arm using Gcode commands. Results show that with the Stockfish chess game engine, the system is able to make game decisions and manipulate the pieces on the board. In this way, it was possible to implement a didactic robotic arm as a relevant application in data processing and decision-making for programmable automatons.

Development of a Tool for Automatic Generation of GRAFCET Control Code Using Arduino IDE

In this work, the development and the implementation of a computer platform to establish control actions in pneumatic and hydraulic systems are shown, as a tool to improve the practical knowledge of the students of professional careers on process control for equipment and systems. For this reason, the research has been divided into two phases: the formulation of a Boolean model for the translation of GRAFCET diagrams to the Arduino® code, and the design of a graphical environment in order to simulate circuit sequences by means of GRAFCET diagrams and the communication with programmable automata. The GRAFINO® tool developed in the latter has been conceived as a Graphical User Interface (GUI) for the Windows operating systems described, implementing the patterns V, Model-View-Controller (MVC) and Object-Oriented Programming (OOP) in the design environment. The GRAFINO® tool has been validated by its application to a case study of automation and has showed a high potential as an adequate alternative to the more expensive PLC hardware and as a didactic tool for educational purposes and its extension to other commercial software, such as MATLAB and Octave.

Reduction of Energy Consumption in Hotels with Aerothermal Energy. Case Study: Canary Islands (Spain)

This article presents a management model and control of energy efficiency in hotels adapted to the consumption patterns that ensure the comfort requirements of customers and integrated into the environment of an intelligent tourist complex. The analysis of the hot water system (DHW) of two hotels in the Canary Islands (Spain) in relation to their occupation, yields a solution based on renewable energies using high temperature heat pumps with aerothermal dissipation and supported by boilers of existing LPG propane. The control by programmable automatons (PLC) integrated in a system of control and acquisition of data (SCADA) optimizes the systems to maintain the maximum accumulated energy during the periods of cheapest electric tariff, by means of a system of opening and closing of hydraulic Valves that It manages to adjust the demand of DHW consumption to achieve the highest energy accumulation during the hours with the cheapest electricity tariff. The result after two and a half years of activity registration is a faster return on investment due to the optimized energy management of the system, through the control of operating hours adjusted to the needs of customers and the hourly rate. It has also been predicted that during the estimated 12 years of the system will have saved more than € 1,179,737 and thermal 8,780,005 kWh in a hotel 1 and € 1,315,104 and thermal 9,522,301 kWh in the hotel 2. This model shown can be seen how economically and energetically very efficient.

Intelligent Robots and the Question of their Legal Rights: An Islamic Perspective


 Ismail al-Jazari was a prominent inventor in the Islamic world and is known today as the father of robotics. His magnum opus, The Book of Knowledge of Ingenious Mechanical Devices, gathered together instructions for building 100 devices he had designed. He invented a variety of water-rising machines, clocks, and humanoid automata, such as a drink-serving waitress, a hand-washer with flush mechanisms, a peacock fountain with automated servants, and a musical robot band. The latter was an early programmable automaton invented in 1206, making al-Jazari the first person to introduce the concept of programming and automation.

Software and Hardware for managing Scratch Pad Memory

<p>This paper proposes a low-cost architecture to improve the management SPM (Scratch Pad Memory) in dynamic and multitasking modes. In this context, our management strategy SPM based on Programmable Automaton implemented in Xilinx Vertex-5 FPGA is entirely different from prior research works. SPM is generally managed by software (by a strong programming logic or by compilation). But our Programmable Automaton facilitates access to SPM in order to move code or data and liberates space in SPM. After this step, software takes over content management of SPM (what part of code or data should be placed in SPM, locates spaces of Heap and Stack). So the performance of the programs is actually improved thanks to minimization of the access latency at the DRAM (Dynamic Random Access Memory or Main Memory).</p>

Cellular Automata as an Example for Advanced Beginners’ Level Coding Exercises in a MOOC on Test Driven Development

Programming tasks are an important part of teaching computer programming as they foster students to develop essential programming skills and techniques through practice. The design of educational problems plays a crucial role in the extent to which the experiential knowledge is imparted to the learner both in terms of quality and quantity. Badly designed tasks have been known to put-off students from practicing programming. Hence, there is a need for carefully designed problems. Cellular Automata programming lends itself as a very suitable candidate among problems designed for programming practice. In this paper, we describe how various types of problems can be designed using concepts from Cellular Automata and discuss the features which make them good practice problems with regard to instructional pedagogy. We also present a case study on a Cellular Automata programming exercise used in a MOOC on Test Driven Development using JUnit, and discuss the automated evaluation of code submissions and the feedback about the reception of this exercise by participants in this course. Finally, we suggest two ideas to facilitate an easier approach of creating such programming exercises.

Using Stochastic Automaton for Data Consolidation

Background. Development of methods and algorithms for efficient search of relevant information on demand. The article deals with the consolidation of data for subsequent use in the information and analytical systems. Objective. The aim of the paper is to identify capabilities and build relevant information search algorithms from disparate sources by analyzing the probability information identifying the possible presence of relevant documents in these sources. Methods. To find the relevant information for search queries the approach based on the use of probability estimates of relevant documents available in the sources of further increasing the number of selected documents from these sources to analyze their relevance to the query is used. Results. A stochastic programmable automaton structure to ensure selection of the most possible information sources by relevance parameters and information retrieval algorithm based on the use of stochastic automaton were developed. Conclusions. The described algorithm using stochastic automaton for data consolidation allows developing a set of software tools, provides plenty full and holistic data consolidation problem-solving for diverse systems which search for information from information sources different in composition and presentation type.

Monitoring a Group of Hydraulic Pumps Connected to the Water Feeding System of a Civil Building

The paper describes the method that can be used to monitoring of a water feeding system of a civil building and its subsystems, using a graphic interface of a soft-ware pack – SCADA (Supervisory Control and data Acquisition), WinCC Flexible. The effective adjustment of the pressure of the water feeding system implies using specific elements: sensors, execution elements, programmable automatons and monitoring devices. In the paper, also is analysed the situation in which three centrifugal pumps are utilized as execution elements, a pressure sensor – to measure the pressure of the water feeding system of the consumer, three sensors that detect the presence of water in each well and a Siemens programmable automaton, from the SIMATIC S7-300 series, which controls the process and a PC for the acquisition of data and for monitoring. Thus, it presents a schematic system operating water supply, logic operation sequence control, protection, signage and display alarms

Developing a software system for automata-based code generation

This paper is devoted to the development of the State Machine Generator system meant for automatic code generation based on the principles of automata-based programming. This system models program logic in terms of the finite-state automaton transition graph and generates program code on its basis. Basic functions of the developed software system and the mechanism of their implementation are described. This paper also proposes a new pattern for designing automaton programs. As an example, State Machine Generator is used to develop a bug tracker system for software testing.

Time dependent driving forces and the kinetics of tricalcium silicate hydration

Simulations of tricalcium silicate (C3S) hydration using a kinetic cellular automaton program, HydratiCA, indicate that the net rate depends both on C3S dissolution and on hydration product growth. Neither process can be considered the sole rate-controlling step because the solution remains significantly undersaturated with respect to C3S yet significantly supersaturated with respect to calcium silicate hydrate (C–S–H). The reaction rate peak is attributed to increasing coverage of C3S by C–S–H, which reduces both the dissolution rate and the supersaturation of C–S–H. This supersaturation dependence is included in a generalized boundary nucleation and growth model to describe the kinetics without requiring significant impingement of products on separate cement grains. The latter point explains the observation that paste hydration rates are insensitive to water/cement ratio. The simulations indicate that the product layer on C3S remains permeable; no transition to diffusion control is indicated, even long after the rate peak.

Synchronization of regional contractions of human labor; direct effects of region size and tissue excitability

The mechanisms used to coordinate organ-level contractions of human labor are not universally accepted. We previously proposed a dual mechanism, where electrical activity coordinates cellular contractions into tissue-level regional contractions, and mechanotransduction synchronizes the regional contractions into organ-level contractions. The simulation of this model successfully recapitulates the phasic pressure rises typical of human labor. In this work we extend the simulation to probe the effects of three critical parameters: electrical coupling (which defines functional regions within the uterine wall), enhancement of contractile responses during action potential bursts (action potential multiplier), and the threshold for mechanical recruitment of regional myometrial contractions (threshold). We test how changing the values of these parameters modulates the ability of the uterus to generate synchronized organ-level contractions. Simulations are performed using Mathematica and a non-classical cellular automaton program we recently published. At least 15 regions are necessary to generate physiologically relevant, synchronized contractions. Organ-level synchronization was improved using higher values for the action potential multiplier. At lower values of the action potential multiplier, synchronized contractions were inhibited when the number of regions was between 32 and 44, suggesting a critical level of electrical coupling is necessary at the onset of labor. Large numbers of low threshold regions resulted in contraction patterns suggestive of hyperstimulation. This work furthers support for the electrical–mechanotransduction mechanism for organ-level synchronization of uterine contractions. The mathematical simulation provides insight regarding how cellular- and tissue-level physiology converge to express synchronized contractions of human labor.