Business processes present business logic of enterprises and or web services. In current Internet based dynamic business environment, business logic and resource allocation may have to change more frequently than before to match various business conditions in time. Business process deployment is a very costly procedure. It is desirable that a business process reengineering action could be verif...

This paper presents a rule-based fuzzy logic controller applied to a scalar closed loop Volts/Hz induction motor (IM) control with slip regulation and its simulation results. They are also compared with those of a PID controller. The IM is model in terms of d-q windings, with synchronous frame associated with the frequency ωs of the stator excitation. The results obtained in the simulation are ...

The paper presents temporal logic methods for proving simulation and reenement relations between programs. After introducing the notions of fair transition systems and the speciication language of temporal logic, we present proof rules for verifying properties of programs. We then deene the relations of simulation and reenement between programs and relate them to inclusion relations between com...

The aim of the paper is to present the application of type-2 fuzzy logic controllers (T2FLCs) to the control of a fed-batch fermentation reactor in which the penicillin production is carried out. The performance of the control system using T2FLCs is compared by simulation with that of a control system using type-1 fuzzy logic controllers (T1FLCs). The non linear model used for the simulation st...

In this research, a fast methodology to calculate the exact value of the average dynamic power consumption for CMOS combinational logic circuits is developed. The delay model used is the unit-delay model where all gates have the same propagation delay. The main advantages of this method over other techniques are its accuracy, as it is deterministic and it requires less computational effort comp...

This paper presents a rule-based fuzzy logic controller applied to a scalar closed loop Volts/Hz induction motor (IM) control with slip regulation and its simulation results. The IM is model in terms of d-q windings, with synchronous frame associated with the frequency ωs of the stator excitation. The results obtained in the simulation are interesting, considering the presence of strong non-lin...

In recent years Arvind’s Group at MIT has shown the usefulness of term rewriting theory for the specification of processor architectures. In their approach processors specified by term rewriting systems are translated into a standard hardware description language for simulation purposes. In this work we present our current investigation on the use of Rewriting-Logic, which is a more powerful th...

A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open. However, special attention has to be payed to cut-simulation, which may render cu...

In this paper a new approach is introduced for implementing the basic logic functions using analog current-mode techniques. By expanding the logic functions in power series expressions, and using summers and multipliers, realization of the basic logic functions is simplified. To illustrate the proposed technique, a CMOS circuit for simultaneous realization of the logic functions NOT, OR, NAND a...

Verification of digital circuits by Cycle-based simulation can be performed in parallel. The parallel implementation requires two phases: the compilation phase, that sets up the data needed for the execution of the simulation, and the simulation phase, that consists in executing the parallel simulation of the considered circuit for a certain number of cycles. During the early phase of design, c...