نتایج جستجو برای: multi value logic

تعداد نتایج: 1296814  

Journal: :Theor. Comput. Sci. 1997
Mehmet A. Orgun Weichang Du

This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs ...

Journal: :Journal of Applied Logic 2003

Journal: :journal of optimization in industrial engineering 2014
zahra sadat hosseini javad hassan pour emad roghanian

in this paper, a novel mathematical model for a preemption multi-mode multi-objective resource-constrained project scheduling problem with distinct due dates and positive and negative cash flows is presented. although optimization of bi-objective problems with due dates is an essential feature of real projects, little effort has been made in studying the p-mmrcpsp while due dates are included i...

Journal: :Electronic Proceedings in Theoretical Computer Science 2013

Journal: :Notre Dame Journal of Formal Logic 1971

Journal: :International Journal of Islamic Business and Economics (IJIBEC) 2018

2007
Vı́tězslav Švejdar

Gödel-Dummett logic in general is a multi-valued logic where a truth value of a formula can be any number from the real interval [0, 1] and where implication → is evaluated via the Gödel implication function. As to truth values, 0 (falsity) and 1 (truth) are the extremal truth values whereas the remaining truth values are called intermediate. Gödel implication function ⇒ is defined as follows: ...

Ali Ghasemi, Mohammad Eslami, Mohammad Javad Golkar

A multi objective Honey Bee Mating Optimization (HBMO) designed by online learning mechanism is proposed in this paper to optimize the double Fuzzy-Lead-Lag (FLL) stabilizer parameters in order to improve low-frequency oscillations in a multi machine power system. The proposed double FLL stabilizer consists of a low pass filter and two fuzzy logic controllers whose parameters can be set by the ...

Journal: :journal of computational and applied research in mechanial engineering - jcarme 0
k. alipour department of mechatronics engineering, faculty of new sciences and technologies, university of tehran, tehran, iran m. ghiasvand department of electrical, biomedical and mechatronics engineering, islamic azad university, qazvin branch, qazvin, iran b. tarvirdizadeh department of mechatronics engineering, faculty of new sciences and technologies, university of tehran, tehran, iran

in this paper, the important formation control problem of nonholonomic wheeled mobile robots is investigated via a leader-follower strategy. to this end, the dynamics model of the considered wheeled mobile robot is derived using lagrange equations of motion. then, using adams multi-body simulation software, the obtained dynamics of the wheeled system in matlab software is verified. after that, ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید