This paper describes a method that tries to improve the accuracy of a machine vision algorithm for frayed edge detection in coldrolled electrical grain oriented steel plate with usage of the Singular Value Decomposition. The algorithm being improved is based on preprocessing the image with the Multi Scale Retinex algorithm, application of the Sobel filter and additional evaluation logic.

How to reconfigure a logic gate for a variety of functions is an interesting topic. In this paper, a different method of designing logic gates are proposed. Initially, due to the training ability of the multilayer perceptron neural network, it was used to create a new type of logic and full adder gates. In this method, the perceptron network was trained and then tested. This network was 100% ac...

In order to represent speech acts, in a multi-agent context, we choose a knowledge representation based on the modal logic of knowledge KT4 which is defined by Sato. Such a formalism allows us to reason about knowledge and represent knowledge about knowledge, the notions of truth value and of definite reference.

In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorithms for multi-valued model checking. We first show how to reduce multi-valued model checking with any distributive DeMorgan lattice to standard, two-valued model checking. We then present a direct, automata-theoretic a...

in this paper, design and application of a new digital protective relay based on fuzzy logicand value estimation to a radial power system protection was presented. a novel approach based onvalue estimation was investigated for the proposed fuzzy logic based protective relay. in addition to thetheoretical aspect of fuzzy logic, mathematical definition of value estimation, detection andmeasuremen...

This paper presents a way of constructing a multi-agent nonmonotonic logic from any propositional preference logic (the base logic). The multi-agent logic will \correctly" extend the base logic for each agent, that is, each agent will reason in the base logic, and the reasoning of each agent is independent of each other. If the base logic is propositional circumscription then the extended logic...

Background and Objectives: In recent decades, due to the effect of the short channel, the use of CMOS transistors in the nanoscale has become a major concern. One option to deal with this issue is the use of nano-transistors. Methods: Using nano-transistors and multi-valued logic (MVL) can reduce the level of chips and connections and have a direct impact on power consumption. The present study...

Uncertain logic is a branch of multi-valued logic for dealing with subjective information, which explains formulas as uncertain variables and defines their truth values as uncertain measures. In this paper, uncertain satisfiability is proposed to verify the consistency of a set of truth values for the formulas. Furthermore, for a set of satisfiable formulas with given truth values, the problem ...

We provide complexity characterizations of model checking multi-pushdown systems. We consider three standard notions for boundedness: context boundedness, phase boundedness and stack ordering. The logical formalism is a linear-time temporal logic extending well-known logic CaRet but dedicated to multi-pushdown systems in which abstract operators are parameterized by stacks. We show that the pro...