China
Africa
Explore chapters and articles related to this topic
An Intelligent Hybrid System for Wastewater Treatment
Published in Abraham Kandel, Gideon Langholz, Lotfi A. Zadeh, Hybrid Architectures for Intelligent Systems, 2020
Srinivas Krovvidy, William G. Wee
The generalized rule learning requirement guides us to build an intermediate representation (IR) for the production rules. The IR has been designed in the form of a knowledge tree. A grammar-based approach is used to describe the IR. Analogous to metaprogramming systems which are extensively used in source-to-source program transformation [8] we design a metaknowledge system with the following features: – Take a knowledge base and convert it into an intermediate representation (IR).– Take the IR and generate knowledge rules for any given target system from its grammar.
Automatic Reengineering of IEC 61131-Based Control Applications into IEC 61499
Published in Alois Zoitl, Thomas Strasser, Distributed Control Applications, 2017
Monika Wenger, Alois Zoitl, Georg Schitter
To automate language migration, "program transformation is often the most effective technology because the necessary changes are structural (rather than textual) in nature, and must be made pervasively across large bodies of application source code" [9]. For a transformation, the application has to be prepared so that the structural information is accessible by a transformation engine. The representation of the subject system in a structured form is the primary task of reverse engineering.
Divide-and-conquer checkpointing for arbitrary programs with no user annotation
Published in Optimization Methods and Software, 2018
Jeffrey Mark Siskind, Barak A. Pearlmutter
So far, we have formulated divide-and-conquer checkpointing via a CPS evaluator. This can be – and has been – used to construct an interpreter. A compiler can be – and has been – constructed by generating target code in CPS that is instrumented with step counting, step limits, and limit checks that lead to interrupts. Code in direct style can be automatically converted to CPS using a program transformation known in the programming language community as CPS conversion. Many existing compilers, such as sml/nj for sml, perform CPS conversion as part of the compilation process [4].