A group of multi-input-single-output fuzzy logic controllers are designed for a nuclear power plant to control turbine power, reactor pressure, and reactor water level based on input-output data from plant simulations with conventional PI controllers. Simulations show that fuzzy logic control may result in faster reference signal tracking and final value holding. Milder control actions of fuzzy...

The main purpose of logic optimization lies in architecting integrated switching circuits. It is thus a topic well covered electrical engineering. Some subfields the social sciences have also employed algorithms for since mid-1980s to infer about cause-effect relations. Most notably, political scientists and sociologists developed Qualitative Comparative Analysis (QCA), configurational comparat...

in this article, a finite horizon, multi product and multi period economic order quantity like seasonal items is considered where demand rate is deterministic and known but variable in each period. the order quantities of items come in batch sizes and the end of the period order quantity and, consequently, demand of customers are zero. in addition, storage space is constrained and the problem ...

in this paper, a new approach is proposed in order to select an optimal membership function for inputs of wind speed prediction system. then using a fuzzy method and the stochastic characteristics of wind speed in the previous year, the wind speed modeling is performed and the wind speed for the future year will be predicted. in this proposed method, the average and the standard deviation of in...

The subject of the study is design of multi-valued (analog) CMOS fuzzy controllers. A functional completeness of summing amplifier with saturation in a multivalued logic of an arbitrary value proven in previous works gives a theoretical background for analog implementation of fuzzy devices. Compared with the traditional approach based on explicit fuzzification / defuzzification procedures analo...

This paper describes our multi-valued symbolic modelchecker χChek. χChek is a generalization of an existing symbolic model-checking algorithm for a multi-valued extension of the temporal logic CTL. Multi-valued modelchecking supports reasoning with values other than just TRUE and FALSE. Multi-valued logics are useful in software engineering because they support explicit modeling of uncertainty,...

Value creation of today is often a co-production in multi-organizational settings. This requires knowledge about how to conceive multi-organizational actor roles as foundations for co-ordinating and efficiently co-produce customer value. Some contemporary business process modelling approaches builds upon modelling interaction between two business parties (i.e. dyadic interaction), but do not ac...

We present a neural net based implementation of propositional [0, 1]-valued multiadjoint logic programming. The implementation needs some preprocessing of the initial program to transform it in a homogeneous program; then, transformation rules carry programs into neural networks, where truth-values of rules relate to output of neurons, truth-values of facts represent input, and network function...

A neural net based development of multi-adjoint logic programming is presented. Transformation rules carry programs into neural networks, where truth-values of rules relate to output of neurons, truth-values of facts represent input, and network functions are determined by a set of general operators; the output of the net being the values of propositional variables under its minimal model. Some...