Many-valued tableau calculi for decision logic based on approximation regions in VPRS

2021 ◽  
Vol 13 (4) ◽  
pp. 235
Author(s):  
Yotaro Nakayama ◽  
Seiki Akama ◽  
Tetsuya Murai
Keyword(s):  
Decision Logic ◽  
Tableau Calculi

scholarly journals Four-valued Tableau Calculi for Decision Logic of Rough Set

2018 ◽  
Vol 126 ◽  
pp. 383-392
Author(s):  
Yotaro Nakayama ◽  
Seiki Akama ◽  
Tetsuya Murai
Keyword(s):  
Rough Set ◽  
Decision Logic ◽  
Tableau Calculi

Many-valued tableau calculi for decision logic based on approximation regions in VPRS

2021 ◽  
Vol 13 (4) ◽  
pp. 235
Author(s):  
Seiki Akama ◽  
Tetsuya Murai ◽  
Yotaro Nakayama
Keyword(s):  
Decision Logic ◽  
Tableau Calculi

scholarly journals JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

2017 ◽  
Vol 150 (1) ◽  
pp. 119-142 ◽  
Author(s):  
Mauro Ferrari ◽  
Camillo Fiorentini ◽  
Guido Fiorino
Keyword(s):  
Tableau Calculi

Development of L1-norm sliding mode observer for sensor fault diagnosis of an industrial gas turbine

2021 ◽  
pp. 095965182199617
Author(s):  
Mahyar Akbari ◽  
Abdol Majid Khoshnood ◽  
Saied Irani
Keyword(s):  
Fault Detection ◽  
State Space ◽  
Gas Turbine ◽  
Sliding Mode ◽  
State Space Model ◽  
Sensor Fault ◽  
Space Model ◽  
Decision Logic ◽  
Sensor Fault Detection ◽  
Industrial Gas Turbine

In this article, a novel approach for model-based sensor fault detection and estimation of gas turbine is presented. The proposed method includes driving a state-space model of gas turbine, designing a novel L1-norm Lyapunov-based observer, and a decision logic which is based on bank of observers. The novel observer is designed using multiple Lyapunov functions based on L1-norm, reducing the estimation noise while increasing the accuracy. The L1-norm observer is similar to sliding mode observer in switching time. The proposed observer also acts as a low-pass filter, subsequently reducing estimation chattering. Since a bank of observers is required in model-based sensor fault detection, a bank of L1-norm observers is designed in this article. Corresponding to the use of the bank of observers, a two-step fault detection decision logic is developed. Furthermore, the proposed state-space model is a hybrid data-driven model which is divided into two models for steady-state and transient conditions, according to the nature of the gas turbine. The model is developed by applying a subspace algorithm to the real field data of SGT-600 (an industrial gas turbine). The proposed model was validated by applying to two other similar gas turbines with different ambient and operational conditions. The results of the proposed approach implementation demonstrate precise gas turbine sensor fault detection and estimation.

Feature Based Comparison and Selection of SDN Controller

2019 ◽  
Vol 16 (05) ◽  
pp. 1950029
Author(s):  
Mohammed Abdul Rahman AlShehri ◽  
Shailendra Mishra
Keyword(s):  
Network Performance ◽  
Campus Network ◽  
Analytic Hierarchy ◽  
Decision Logic ◽  
Feature Based ◽  
Efficient Processing ◽  
Hierarchy Process ◽  
Entire Network ◽  
Sdn Controller ◽  
Selection Of

Software defined network (SDN) controller selection in SDN is a key challenge to the network administrator. In SDN, control plane is an isolated process and operate on control layer. The controller provides a universal view of the entire network and support applications and services. The three focused parameters for controller selection are productivity, campus network and open source. In SDN, it is vital to have a good device for the efficient processing of all requests made by the switch and for good behavior of the network. For selecting best controller for the specified parameters, decision logic has to be developed that allow us to do comparison of the available controllers. Therefore, in this research we have suggested a methodology that uses analytic-hierarchy-process (AHP) to find a best controller. The approach has been studied and verified for a big organization network setup of Al-Majmaah University, Saudi Arabia. The approach is found to be more effective and increase the network performance significantly.

Tabular Decision Logic for Structural Design

1966 ◽  
Vol 92 (6) ◽  
pp. 473-490 ◽  
Author(s):  
Steven J. Fenves
Keyword(s):  
Structural Design ◽  
Decision Logic

Formulation of Decision Logic Tables

1971 ◽  
Vol 97 (1) ◽  
pp. 439-461
Author(s):  
Jimmy L. Noland ◽  
Chuan C. Feng
Keyword(s):  
Decision Logic

Decision logic of an active braking system for powered two wheelers

2012 ◽  
Vol 226 (8) ◽  
pp. 1026-1036 ◽  
Author(s):  
Giovanni Savino ◽  
Marco Pierini ◽  
Niccolò Baldanzini
Keyword(s):  
Braking System ◽  
Decision Logic

scholarly journals Modeling of quantum-like cognitive phenomena by the Fourier-holography technique under the choice of alternatives

2021 ◽  
Vol 45 (4) ◽  
pp. 551-561
Author(s):  
A.V. Pavlov
Keyword(s):  
Physical Nature ◽  
Correlation Radius ◽  
Reference Image ◽  
Total Probability ◽  
Natural Experiments ◽  
Classical Formula ◽  
Decision Logic ◽  
Ring Architecture ◽  
Logic Inference ◽  
Formula Of Total Probability

The article is dedicated to the search for a biologically motivated mechanism of the cognitive phenomenon of violation of the classical formula of total probability for the disjunction of incompatible events, which is considered by a number of researchers as a quantum-like phenomenon. A classical mechanism implemented by the 6f Fourier holography scheme of the resonant architecture that does not require reference to quantum mechanics either in its physical nature or at the level of formalism is demonstrated. In the analysis, the decision-making is interpreted as a choice of alternatives by using the non-cooperative game "Prisoner's Dilemma". The approach to the task is based on the search for a mechanism for forming a conditional estimate under a condition that contradicts the rule of monotonous decision logic. It is demonstrated that this estimate, in contrast to the unconditional and conditional one with a non-contradictory condition, is formed by logic with exception. The ring architecture of the holographic setup corresponds to the biologically inspired neural network concept of the excitation ring and implements cognitive dissonance on logic with exception. Conditions and ranges of violation of the classical formula of total probability in relation to the correlation radius of the reference image recorded in a hologram storing the monotone logic inference rule are analytically determined. The analytical model is confirmed by a quantitative coincidence of the results of numerical modeling with the published results of natural experiments.

Tableau Calculi for Preference-Based Conditional Logics

2003 ◽  
pp. 81-101 ◽  
Author(s):  
Laura Giordano ◽  
Valentina Gliozzi ◽  
Nicola Olivetti ◽  
Camilla Schwind
Keyword(s):  
Tableau Calculi
Sign in / Sign up

Export Citation Format

Share Document