The development of control programs for PLCs is mainly carried out by direct implementation. We propose to switch formal methods obtain these laws. For this we use a task-based structural analysis approach assisted algebraic synthesis. law in ST language allowing ensure the functional behaviour defined specifications. This makes generation PLC more reliable and efficient.

This paper looks at an algebraic formulation of one dimensional cellular automata. Using the formulation, certain properties become apparent and connections to combinatorial structures and graph theory become clear. Strong results about uniqueness and isomorphism allows us to outline eeective algorithms for the generation of exhaustive lists of reversible one dimensional cellular automata, and ...

This report describes a Maple package created for exploring the techniques of Winograd, Nussbaumer, and others for computing “fast” convolution algorithms. After codifying known convolution techniques into a common framework of bilinear algorithms built from parameterized matrices and algebraic operators, Maple’s symbolic and algebraic computation facilities are used to derive and manipulate th...

Origin Tracking is a technique which, in the framework of rst-order term rewriting systems, establishes relations between each subterm t of a normal form and a set of subterms, the origins of t, in the initial term. Origin tracking is based on the notion of residuals. It has been used successfully for the generation of error handlers and de-buggers from algebraic speciications of programming la...

this study focuses on the effect of social and cultural determinants on generation gap in tehranian families in 2011. the purpose of this study is to determine effective factors on generation gap in tehranian families, analytical and empirical patterns and be surveyed by related theories and effective factors. the research was prepared by questions including whether there is a relationship betw...

let $f$ be a finite extension of $bbb q$‎, ‎${bbb q}_p$ or a global‎ ‎field of positive characteristic‎, ‎and let $e/f$ be a galois extension‎. ‎we study the realization fields of‎ ‎finite subgroups $g$ of $gl_n(e)$ stable under the natural‎ ‎operation of the galois group of $e/f$‎. ‎though for sufficiently large $n$ and a fixed‎ algebraic number field $f$ every its finite extension $e$ is‎ ‎re...