Search

A mutating finite automaton (MFA) is a nondeterministic finite automaton (NFA) which changes its morphology over discrete time by a sequence of mutations, one mutation at each time instant. A mutation involves the insertion and/or removal of a set of states and/or transitions. This results in a sequence of NFAs, one mutated NFA for each mutation. Some application domains, including model-based diagnosis and monitoring of active systems in artificial intelligence and model-based testing in software engineering, require online determinization of MFAs. Determinizing an MFA online means generating a deterministic finite automaton (DFA) as soon as a mutation occurs, which is equivalent to the mutated NFA. Since the classical Subset Construction determinization algorithm may be inadequate for MFAs, a conservative algorithm is proposed, called Subset Restructuring, that generates the new DFA by restructuring the previous DFA based on the mutation occurred, instead of building it from scratch. Experimental results indicate the effectiveness of the approach, especially so when large MFAs change in time by small mutations.

Since the beginning of cement manufacturing, innovative process technologies have continuously evolved, aimed at making the cement process more energy efficient. In the last thirty years, WHR power systems have advanced globally with steam (SRC) and organic (ORC) Rankine cycles for power generation. With the advancement of additional environmental emission reductions, heat transfer techniques from one section of the cement process to provide re-heating for catalytic processes for DeNOx and THC/oHAP reductions requiring an optimum "temperature window" have evolved. On balance, today the technology for conservation and recovery of energy in cement has advanced, along with enhanced environmental control capability for catalytic processes requiring heat transfer management. Details of operating experience with process design and economic analysis for energy recovery and heat transfer process by thermal oil experience are presented in this paper. An additional benefit is that CO2 emissions are reduced by offsetting the need for additional fuel usage.