Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "logic" wg kryterium: Wszystkie pola

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 36
Tytuł:
Application of deontic logic in role-based access control
Autorzy:
Kołaczek, G.
Powiązania:
https://bibliotekanauki.pl/articles/907988.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
formal logic
access control
RBAC
system security
reasoning automation
Opis:
The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Knowledge, Vagueness and Logic
Autorzy:
Wybraniec-Skardowska, U.
Powiązania:
https://bibliotekanauki.pl/articles/908372.pdf
Data publikacji:
2001
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
zbiór rozmyty
logika formalna
vague knowledge
fuzzy sets
rough sets
vague sets
formal logic
Opis:
The aim of the paper is to outline an idea of solving the problem of the vagueness of concepts. The starting point is a definition of the concept of vague knowledge. One of the primary goals is a formal justification of the classical viewpoint on the controversy about the truth and object reference of expressions including vague terms. It is proved that grasping the vagueness in the language aspect is possible through the extension of classical logic to the logic of sentences which may contain vague terms. The theoretical framework of the conception refers to the theory of Pawlak's rough sets and is connected with Zadeh's fuzzy set theory as well as bag (or multiset) theory. In the considerations formal logic means and the concept system of set theory have been used. The paper can be regarded as an outline of the logical theory of vague concepts.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2001, 11, 3; 719-737
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decomposition-based logic synthesis for PAL-based CPLDs
Autorzy:
Opara, A.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/907756.pdf
Data publikacji:
2010
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
rozkład
odwzorowanie technologiczne
optymalizacja logiczna
BDD
CPLD
decomposition
technology mapping
logic optimization
Opis:
The paper presents one concept of decomposition methods dedicated to PAL-based CPLDs. The proposed approach is an alternative to the classical one, which is based on two-level minimization of separate single-output functions. The key idea of the algorithm is to search for free blocks that could be implemented in PAL-based logic blocks containing a limited number of product terms. In order to better exploit the number of product terms, two-stage decomposition and BDD-based decomposition are to be used. In BDD-based decomposition methods, functions are represented by Reduced Ordered Binary Decision Diagrams (ROBDD)). The results of experiments prove that the proposed solution is more effective, in terms of the usage of programmable device resources, compared with the classical ones.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2010, 20, 2; 367-384
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synthesis of finite state machines for CPLDs
Autorzy:
Czerwiński, R.
Kania, D.
Powiązania:
https://bibliotekanauki.pl/articles/930019.pdf
Data publikacji:
2009
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
synteza logiczna
FSM
kodowanie stanów
optymalizacja logiczna
CPLD
logic synthesis
state assignment
logic optimization
Opis:
The paper presents a new two-step approach to FSM synthesis for PAL-based CPLDs that strives to find an optimum fit of an FSM to the structure of the CPLD. The first step, the original state assignment method, includes techniques of two-level minimization and aims at area minimization. The second step, PAL-oriented multi-level optimization, is a search for implicants that can be shared by several functions. It is based on the graph of outputs. Results of experiments prove that the presented approach is especially effective for PAL-based CPLD structures containing a low number of product terms.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2009, 19, 4; 647-659
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
www-Based Boolean Function Minimization
Autorzy:
Tomaszewski, S. P.
Celik, I. U.
Antoniou, G. E.
Powiązania:
https://bibliotekanauki.pl/articles/908086.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
digital logic
logic design
Boolean function
Boolean minimization
Quine-McCluskey metod
Opis:
In this paper a Boolean minimization algorithm is considered and implemented as an applet in Java. The application is based on the Quine-McCluskey simplification technique with some modifications. The given application can be accessed on line since it is posted on the World Wide Web (WWW), with up to four variables, at the URL http://www.csam.montclair.edu/~antoniou/bs. After extensive testing, the performance of the algorithm has been found to be excellent. The proposed application is a useful aid for students and professors in the fields of electrical and computer engineering and computer science as well as a valuable tool for digital designers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 4; 577-583
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy logic gain scheduling for non-linear servo tracking
Autorzy:
Brdyś, M. A.
Littler, J. J.
Powiązania:
https://bibliotekanauki.pl/articles/908000.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
elektrotechnika
tracking
servo control
gain scheduling
fuzzy logic
stiction friction
hard non-linearities
Opis:
This paper proposes the use of gain scheduling as a method of controlling a servo system with hard non-linear elements. The servo controls two elements of a tracker mounted on a ship at sea. There is stiction at the zero velocity point and non-linear friction against the motion of each tracker axis. A dual feedback loop control structure is employed. Fuzzy logic is used to provide smoothly varying non-linear scheduling functions to map the velocity of the servo relevant to the deck of the ship onto the rate loop controller parameters. Consideration is given to the use of a derivative signal as a secondary input to the fuzzy inference system. Results are presented which demonstrate that this method of controlling the servo system gives a dramatic improvement over the traditional linear control methodology for low velocity tracking performance. A linear PID controller is used in the outer loop and its design is also given some consideration.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 209-219
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy-Logic Fault Diagnosis of Industrial Process Actuators
Autorzy:
Kościelny, J. M.
Syfert, M.
Bartyś, M.
Powiązania:
https://bibliotekanauki.pl/articles/908282.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
wykrywanie błędu
logika rozmyta
urządzenie uruchamiające
system diagnostyczny
fault diagnosis
fuzzy logic
actuators
decentralised
diagnostic systems
Opis:
The paper presents an idea of decomposition of diagnostic tasks in complex systems. Such decomposition consists in splitting basic diagnostic functions into lower-level units existing in decentralised structures of automatic control and supervision of the process. An example of a unit that realises this concept and includes a positioner that controls and diagnoses an assembly consisting of a servomotor and a pneumatic control valve is also given. An application of fuzzy logic to the actuator diagnosing algorithm is presented and results of the corresponding fault detection tests in an industrial environment are discussed.
Źródło:
International Journal of Applied Mathematics and Computer Science; 1999, 9, 3; 653-666
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Fuzzy-Logic Fault Isolation in Large-Scale Systems
Autorzy:
Kościelny, J. M.
Sędziak, D.
Zakroczymski, K.
Powiązania:
https://bibliotekanauki.pl/articles/908284.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
logika rozmyta
wyodrębnianie uszkodzeń
system na wielką skalę
diagnostics
fuzzy logic
fault isolation
large-scale systems
Opis:
Application of fuzzy logic in fault isolation is proposed. The introduced methods assume the industrial requirements such as integration of different detection algorithms, system complexity, data and knowledge uncertainties. Algorithms of decreasing the calculation expenditures for diagnosing large-scale systems are also introduced. An example of the application is also shown. The proposed technique is a development of the Dynamic State Tables method.
Źródło:
International Journal of Applied Mathematics and Computer Science; 1999, 9, 3; 637-652
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic
Autorzy:
Meissner, A.
Powiązania:
https://bibliotekanauki.pl/articles/907821.pdf
Data publikacji:
2011
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
wnioskowanie równoległe
logika opisowa
parallel reasoning
lean deduction
ALC description logic
Oz language
Opis:
A computation rule determines the order of selecting premises during an inference process. In this paper we empirically analyse three particular computation rules in a tableau-based, parallel reasoning system for the ALC description logic, which is built in the relational programming model in the Oz language. The system is constructed in the lean deduction style, namely, it has the form of a small program containing only basic mechanisms, which assure soundness and completeness of reasoning. In consequence, the system can act as a convenient test-bed for comparing various inference algorithms and their elements. We take advantage of this property and evaluate the studied methods of selecting premises with regard to their efficiency and speedup, which can be obtained by parallel processing.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2011, 21, 1; 83-95
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decomposition of the fuzzy inference system for implementation in the FPGA structure
Autorzy:
Wyrwoł, B.
Hrynkiewicz, E.
Powiązania:
https://bibliotekanauki.pl/articles/330759.pdf
Data publikacji:
2013
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
fuzzy logic
fuzzy inference algorithm
decomposition
digital fuzzy logic controller
FPGA
logika rozmyta
algorytm wnioskowania rozmytego
sterownik rozmyty
Opis:
The paper presents the design and implementation of a digital rule-relational fuzzy logic controller. Classical and decomposed logical structures of fuzzy systems are discussed. The second allows a decrease in the hardware cost of the fuzzy system and in the computing time of the final result (fuzzy or crisp), especially when referring to relational systems. The physical architecture consists of IP modules implemented in an FPGA structure. The modules can be inserted into or removed from the project to get a desirable fuzzy logic controller configuration. The fuzzy inference system implemented in FPGA can operate with a much higher performance than software implementations on standard microcontrollers.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2013, 23, 2; 473-483
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modeling of distributed objects computing pattern combinations using a formal specification language
Autorzy:
Taibi, T.
Ngo, D. C. L.
Powiązania:
https://bibliotekanauki.pl/articles/908185.pdf
Data publikacji:
2003
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
Balanced Pattern Specification Language (BPSL)
First-Order Logic (FOL)
Temporal Logic of Actions (TLA)
substitution
addition
elimination
Opis:
Design patterns help us to respond to the challenges faced while developing Distributed Object Computing (DOC) applications by shifting developers' focus to high-level design concerns, rather than platform specific details. However, due to the inherent ambiguity of the existing textual and graphical descriptions of the design patterns, users are faced with difficulties in understanding when and how to use them. Since design patterns are seldom used in isolation but are usually combined to solve complex problems, the above-mentioned difficulties have even worsened. The formal specification of design patterns and their combination is not meant to replace the existing means of describing patterns, but to complement them in order to achieve accuracy and to allow rigorous reasoning about them. The main problem of the existing formal specification languages for design patterns is the lack of completeness. This is mainly because they tend to focus on specifying either the structural or behavioral aspects of design patterns but not both of them. Moreover, none of them even ventured in specifying DOC patterns and pattern combinations. We propose a simple yet Balanced Pattern Specification Language (BPSL) aimed to achieve equilibrium by specifying both the aspects of design patterns. The language combines two subsets of logic: one from the First-Order Logic (FOL) and the other from the Temporal Logic of Actions (TLA).
Źródło:
International Journal of Applied Mathematics and Computer Science; 2003, 13, 2; 239-253
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design of Mealy Finite-state Machines with the Transformation of Object Codes
Autorzy:
Barkalov, A. A.
Barkalov, A. A., Jr.
Powiązania:
https://bibliotekanauki.pl/articles/908476.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
programowalny układ logiczny
automat skończony
bramka logiczna
finite state machine
programmable logic device
object
design
logic circuit
Opis:
An optimization method of the logic circuit of a Mealy finite-state machine is proposed. It is based on the transformation of object codes. The objects of the Mealy FSM are internal states and sets of microoperations. The main idea is to express the states as some functions of sets of microoperations (internal states) and tags. The application of this method is connected with the use of a special code converter in the logic circuit of an FSM. An example of application is given. The effectiveness of the proposed method is also studied.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2005, 15, 1; 151-158
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Design and Stability of Fuzzy Logic Multi-Regional Output Controllers
Autorzy:
Domański, P.
Brdyś, M. A.
Tatjewski, P.
Powiązania:
https://bibliotekanauki.pl/articles/908274.pdf
Data publikacji:
1999
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
sterowanie nieliniowe
sterowanie wewnętrzne
zbiór rozmyty
model Takagi-Sugeno
nonlinear output control
fuzzy logic
Takagi-Sugeno models
stability conditions
Opis:
Design and stability analysis of fuzzy multi-regional digital controllers is considered in the paper. The controllers are based on a notion of NARMAX systems, very similar to the Takagi-Sugeno fuzzy model. The nonlinear system is approximated by a number of linear subsystems. Linear controllers are designed for all subsystems. It can be made in a classical way due to the subsystems linearity. The controllers are blended into one controller by employing fuzzy logic, the result being the fuzzy multi-regional controller (FuMR). The stability analysis of nonlinear systems with FuMR controllers composed of dynamic output feedback local linear controllers is provided. Examples illustrate the design procedure and the meaning of the stability criterion.
Źródło:
International Journal of Applied Mathematics and Computer Science; 1999, 9, 4; 883-897
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Fuzzy Logic Based Approach to Linguistic Summaries of Databases
Autorzy:
Kacprzyk, J.
Yager, R. R.
Zadrożny, S.
Powiązania:
https://bibliotekanauki.pl/articles/911154.pdf
Data publikacji:
2000
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
logika rozmyta
baza danych
podsumowanie lingwistyczne
zgłębianie danych
fuzzy logic
linguistic summary
computing with words
data mining
fuzzy querying
Opis:
In this paper, we present basic ideas and perspectives related to the use of fuzzy logic for the derivation of linguistic summaries of data (databases). We concentrate on the issue of how to measure the goodness of a linguistic summary, and on how to embed data summarization within the fuzzy querying environment, for an effective and efficient implementation. In particular, we propose how to efficiently implement Kacprzyk and Yager's (2000) new quality indicators of linguistic summaries to derive summaries via Kacprzyk and Zadrozny's (1994; 1995a; 1995b; 1996) fuzzy querying add-on. Finally, we present an implementation for deriving linguistic summaries of a sales database at a computer retailer, and show how the linguistic summaries obtained can be useful for supporting decisions of the business owner.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2000, 10, 4; 813-834
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
FSM encoding for BDD representations
Autorzy:
Gosti, W.
Villa, T.
Saldanha, A.
Sangiovanni-Vincentelli, A. L.
Powiązania:
https://bibliotekanauki.pl/articles/911255.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
binarny diagram decyzyjny
kodowanie
automat skończony
synteza logiczna
weryfikacja formalna
binary decision diagram
encoding
finite state machine
logic synthesis
formal verification
logic representation
Opis:
We address the problem of encoding the state variables of a finite state machine such that the BDD representing the next state function and the output function has the minimum number of nodes. We present an exact algorithm to solve this problem when only the present state variables are encoded. We provide results on MCNC benchmark circuits.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2007, 17, 1; 113-128
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 36

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies