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ę "system logic" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 105
Tytuł:
A Robust Control Strategy for Microgrid Energy Using Fuzzy Logic
Autorzy:
Meliani, Meryem
El Barkany, Abdellah
El Abbassi, Ikram
Absi, Rafik
Jeffali, Faouaz
Powiązania:
https://bibliotekanauki.pl/articles/2201185.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
energy control
renewable energy sources
fuzzy logic system
microgrid
storage system
smart grid
Opis:
This paper highlights the storage charging and discharging issue. The study objective is to manage the energy inputs and outputs of the principal grid at the same time in order to maximize profit while decreasing costs, as well as to ensure the availability of energy according to demand and the decisions to either save or search for energy. A fuzzy logic control model is applied in MATLAB Simulink to deal with the system’s uncertainties in scheduling the storage battery technology and the charging- discharging. The results proved that the fuzzy logic model has the potential to efficiently lower fluctuations and prolong the lifecycle.
Źródło:
Management and Production Engineering Review; 2023, 14, 1; 127--136
2080-8208
2082-1344
Pojawia się w:
Management and Production Engineering Review
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Architecture for Making Judgments Using Computing With Words
Autorzy:
Mendel, J. M.
Powiązania:
https://bibliotekanauki.pl/articles/908008.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
computing with words
footprint of uncertainty
perceptual computer
type-2 fuzzy logic system
judgments
Opis:
Our thesis is that computing with words needs to account for the uncertainties associated with the meanings of words, and that these uncertainties require using type-2 fuzzy sets. Doing this leads to a proposed architecture for making judgments by means of computing with words, i.e., to a perceptual computer - the Per-C. The Per-C includes an encoder, a type-2 rule-based fuzzy logic system, and a decoder. It lets all human-computer interactions be performed using words. In this paper, a quantitative language is established for the Per-C, and many open issues about the perceptual computer are described.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 3; 325-335
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Prolegomena do studiów nad wojną, konfliktem i ładem międzynarodowym
Prolegomena to the Studies into the War, Conflict and International Order
Autorzy:
Komorowski, Krzysztof
Powiązania:
https://bibliotekanauki.pl/articles/1601621.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
war
military art
geopolitical analysis
philosophical reflection
methodology of history
system logic
logic of defining
international order
peace
fight
conflict
logika systemów
metodologia historii
refleksja filozoficzna
analiza geopolityczna
logika definiowania
ład międzynarodowy
pokój
walka
konflikt
wojna
sztuka wojenna
Opis:
Wprowadzenie wyjaśniające do tematu wojen i konfliktów zbrojnych jako czynników kształtujących ład międzynarodowy odnosi się do zasadniczej terminologii i problematyki, z uwzględnieniem ich przedmiotu, zakresu znaczeniowego i kontekstu narracyjnego. Dotyczy to takich zjawisk i faktów historycznych jak wojna, konflikt, sztuka wojenna, walka, pokój, ład międzynarodowy, przełomy i cykle hegemoniczno/geopolityczne, które są najczęściej definiowane i przyjmowane przez pryzmat poszczególnych dyscyplin naukowych, m.in. historii, socjologii, prawa, politologii, stosunków międzynarodowych i wojskowości. Zatem nie stanowią domeny doświadczeń stricte militarnych. Odwieczna wykładnia określa bowiem wojnę jako narzędzie i środek do osiągnięcia politycznego celu jakim jest pożądany pokój. Konflikty międzynarodowe zaś występują tu głównie nie jako podrzędne wobec wojny starcia militarne, a jako kategorie niezgodności między stronami dążącymi do dominacji religijnej, etnicznej, gospodarczej, społecznej itp. Postrzeganie zjawiska pokoju zdeterminowane kantowskim "wiecznym pokojem" należałoby natomiast interpretować jako okresy geopolityczne/hegemoniczne, wyznaczane osiągnięciami militarnymi dla utrzymania lub zdobycia dominacji (władzy, panowania).
An introduction explaining the character of wars and armed conflicts as factors shaping the international order refers to the basic terminology and the main issues, including their subject, their scope of meaning and their narrative context. It deals with such phenomena and historical facts as war, conflict, military art, fight, peace, international order, turning points, and geopolitical/hegemonic cycles. They are most frequently defined and accepted from the angle of particular scientific disciplines, among other things history, sociology, law, political science, international relations, and military science. As a result, they do not fall only into the domain of military questions. An old interpretation of war is that it is a tool and means to achieve the political aim, which is peace. International conflicts are interpreted here not as military confrontations subordinate to war, but as categories of incompatibility between the sides that aspire to a dominance of some type: religious, ethnic, economic, social, and the like. On the other hand, the perception of the phenomenon of peace determined by Kant’s perpetual peace should be interpreted as political/hegemonic periods, marked by military achievements to maintain or acquire dominance (of power).
Źródło:
Studia Maritima; 2016, 29; 5-21
0137-3587
2353-303X
Pojawia się w:
Studia Maritima
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
UAV flight safety system based on fuzzy logic
System bezpieczeństwa lotów UAV oparty na metodach logiki rozmytej
Autorzy:
Shcherban, Anastasiia
Ieremenko, Volodymyr
Powiązania:
https://bibliotekanauki.pl/articles/36434002.pdf
Data publikacji:
2020
Wydawca:
Sieć Badawcza Łukasiewicz - Instytut Lotnictwa
Tematy:
LPAB
unmanned aircraft
fuzzy logic system
method of decision-making
UAV
bezzałogowy statek powietrzny
metody logiki rozmytej
podejmowanie decyzji
Opis:
The article proposes a method of deciding on the continuation or termination of the UAV flight on the basis of fuzzy logic to ensure its trouble-free flight, which will be used in the future to build an onboard monitoring system of the power supply of the unmanned aerial vehicle. The developed method of decision-making allows to determine the residual battery life on the basis of data on current voltage, battery temperature, temperature on board the UAV and the direction and strength of the wind, using which the computer system will make recommendations for continuing or terminating the UAV flight task. The method of decision-making using fuzzy logic involves the formation of linguistic variables, which are the input information parameters and the output decision, their linguistic terms and membership functions, as well as a system of rules for decision-making. The voltage at the output of the battery, its surface temperature and the wind direction on board the UAV were used as input variables, and the residual battery life was used as the output linguistic variable.
W artykule zaproponowano sposób podejmowania decyzji o kontynuacji lub zakończeniu lotu UAV w oparciu o logikę rozmytą zapewniający jego bezproblemowy lot, który posłuży w przyszłości do budowy pokładowego systemu monitoringu zasilania bezzałogowego pojazdu powietrznego. Opracowana metoda podejmowania decyzji pozwala określić resztkową żywotność baterii na podstawie danych o aktualnym napięciu, temperaturze baterii, temperaturze na pokładzie UAV oraz kierunku i sile wiatru, na podstawie których system komputerowy będzie zalecał kontynuację lub zakończenie zadania UAV. Metoda podejmowania decyzji z wykorzystaniem logiki rozmytej polega na tworzeniu zmiennych lingwistycznych, którymi są parametry informacji wejściowej i decyzja wyjściowa, ich terminy językowe i funkcje przynależności, a także system reguł podejmowania decyzji. Napięcie na wyjściu akumulatora, jego temperatura powierzchni i kierunek wiatru zostały wykorzystane jako zmienne wejściowe, a pozostała żywotność akumulatora została wykorzystana jako wyjściowa zmienna językowa.
Źródło:
Transactions on Aerospace Research; 2020, 4 (261); 71-80
0509-6669
2545-2835
Pojawia się w:
Transactions on Aerospace Research
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Arthura W. Burksa twierdzenie o dodawaniu zbędnego warunku
Arthur W. Burks’s Theorem on Adding a Superfluous Condition
Autorzy:
Modrzejewska, Anna
Powiązania:
https://bibliotekanauki.pl/articles/2013942.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
twierdzenie o dodawaniu zbędnego warunku
kontrfaktyczna i kauzalna implikacja
system logiki zdań kauzalnych
theorem on adding a superfluous condition
counterfactual and causal implication
system of logic of causal propositions
Opis:
In the first part of the article true expressions and false expressions are presented that served A. W. Burks to build a formal system of logic of causal propositions along with considering their later use in the system built in 1963. In the second part of the article the possibility of conducting an axiomatic proof of the theorem on adding a superfluous condition is analyzed. The consequences are also shown of substituting a negation of the same propositional variable for the propositional variable and conditions are analyzed of substitution for propositional variables and possibilities of avoiding those difficulties.
Źródło:
Roczniki Filozoficzne; 2005, 53, 1; 183-196
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Assesment of existing reinforced concrete structures with usage of the fuzzy logic - based expert system
Autorzy:
Tur, Viktar
Yalavaya, Yuliya
Powiązania:
https://bibliotekanauki.pl/articles/132073.pdf
Data publikacji:
2019
Wydawca:
Centrum Rzeczoznawstwa Budowlanego Sp. z o.o.
Tematy:
expert system
fuzzy logic
existing structures
Opis:
Fuzzy logic is a useful tool when assessing the existing reinforced concrete structures. The introduction of expert system in assessing the technical condition of the existing structures built on the fuzzy logic represents a transition to a new and higher-quality level for the survey of constructions sites. As a result, it is seen that the assessment of the existing building with the usage of the proposed expert system complies with the estimation of the qualified experts.
Źródło:
Modern Engineering; 2019, 2; 61-70
2450-5501
Pojawia się w:
Modern Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A short note on $L_{CBA}$ - fuzzy logic with a non-associative conjunction
Autorzy:
Kolařík, Miroslav
Powiązania:
https://bibliotekanauki.pl/articles/728850.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Zielonogórski. Wydział Matematyki, Informatyki i Ekonometrii
Tematy:
axiomatic system
non-associativity
fuzzy logic
Opis:
We significantly simplify the axiomatic system $L_{CBA}$ for fuzzy logic with a non-associative conjunction.
Źródło:
Discussiones Mathematicae - General Algebra and Applications; 2016, 36, 1; 113-116
1509-9415
Pojawia się w:
Discussiones Mathematicae - General Algebra and Applications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the Leibniz congruences
Autorzy:
Font, Josep
Powiązania:
https://bibliotekanauki.pl/articles/1361077.pdf
Data publikacji:
1993
Wydawca:
Polska Akademia Nauk. Instytut Matematyczny PAN
Tematy:
deductive system
protoalgebraic logic
Gentzen calculus
closure operator
abstract logic
algebraizable logic
Leibniz congruence
selfextensional logic
logical matrices
algebraic logic
Opis:
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory the interderivability relation modulo the theory). For protoalgebraic deductive systems the class of algebras associated in general turns out to be the class of algebra reducts of reduced matrices, which is the algebraic counterpart usually considered for this large class of deductive systems; but in the general case the new class of algebras shows a better behaviour.
Źródło:
Banach Center Publications; 1993, 28, 1; 17-36
0137-6934
Pojawia się w:
Banach Center Publications
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
Autorzy:
Płaczek, Paweł
Powiązania:
https://bibliotekanauki.pl/articles/1023344.pdf
Data publikacji:
2020-11-13
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Substructural logic
Lambek calculus
nonassociative linear logic
sequent system
PTime complexity
Opis:
Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the nonassociative version of this logic. Like Lambek, we consider a left-sided system, but the result also holds for its right-sided version, by a natural symmetry. The treatment of nonassociative sequent systems involves some subtleties, not appearing in associative logics. We also prove the PTime complexity of the multiplicative fragment of NBL.
Źródło:
Bulletin of the Section of Logic; 2021, 50, 1; 55-80
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Computational optimization and implementation of control system for mechatronic treadmill with body weight support system
Autorzy:
Gembalczyk, G.
Duda, S.
Świtoński, E.
Powiązania:
https://bibliotekanauki.pl/articles/281400.pdf
Data publikacji:
2018
Wydawca:
Polskie Towarzystwo Mechaniki Teoretycznej i Stosowanej
Tematy:
gait reeducation
control system
optimization
fuzzy logic
Opis:
The purpose of this paper is to present a novel mechatronic system for gait re-education which consists of a body weight support system (BWS system) and a treadmill. This publication covers mainly issues related to the design and optimization process of a control algorithm dedicated for the unloading system. The proposed control system is based on a fuzzy logic controller coupled with a PID regulator. The optimization of parameters for regulators has been conducted based on numerical simulations in which a hybrid optimization method combining a genetic algorithm with a gradient algorithm has been used. The developed control system has been tested experimentally.
Źródło:
Journal of Theoretical and Applied Mechanics; 2018, 56, 4; 1179-1191
1429-2955
Pojawia się w:
Journal of Theoretical and Applied Mechanics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using fuzzy logic to support maintenance decisions according to Resilience-Based Maintenance concept
Autorzy:
Bukowski, Lech
Werbińska-Wojciechowska, Sylwia
Powiązania:
https://bibliotekanauki.pl/articles/1841743.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
maintenance
system resilience
maintenance capability
fuzzy logic
uncertainty
Opis:
Many authors have highlighted the importance of physical assets maintenance management in relation to resilience engineering, especially for systems operating under significant uncertainty. Thus, the authors presented a new approach to system maintenance based on resilience concept implementation. They introduced Maintenance Support Potentials (MSP) as a measure of an organization's maintenance support capacity. Moreover, based on the MSP definition, they developed a fuzzy-based organization's maintenance support potential level assessment method. The proposed approach takes into account two main MSP parameters – potential readiness level and process regency. It followed four main steps, including organization's MSP identification/evaluation, MSP weights assessment, Maintenance Support Capacity assessment, and final reasoning. A case study of a global manufacturer from the automotive industry is presented to illustrate the method's applicability. The authors also indicated further research directions to optimize the maintenance strategy based on Resilience-Based Maintenance concept.
Źródło:
Eksploatacja i Niezawodność; 2021, 23, 2; 294-307
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
CZYM JEST PLURALIZM LOGICZNY? (STANOWISKO J.C. BEALLA I GREGA RESTALLA)
WHAT IS LOGICAL PLURALISM? (J.C. BEALL’S AND GREG RESTALL’S STANDPOINT)
Autorzy:
Czernecka-Rej, Bożena
Powiązania:
https://bibliotekanauki.pl/articles/488487.pdf
Data publikacji:
2013
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
pluralizm logiczny
wynikanie logiczne
poprawny system logiczny
logika klasyczna
logika intuicjonistyczna
logika relewantna
logical pluralism
logical consequence
correct logical system
classical logic
intuitionistic logic
relevant logic
Opis:
C. Beall and Greg Restall are advocates of a comprehensive pluralist approach to logic, which they call Logical Pluralism (LP). According to LP, there is not one correct logic, but many equally acceptable logical systems. The authors share Tarski’s conviction and follow the mainstream in thinking about logic as the discipline that investigates the notion of logical consequence. LP is the pluralism about logical consequence – a pluralist maintains that there is more than one relation of logical consequence. According to LP, classical, intuitionistic and relevant logics are not rivals, but they all are equally correct, they all count as genuine logics. The purpose of this paper is to present some remarks concerning J.C. Beall’s and Greg Restall’s exposition of LP. At the beginning, the definition of the relation of logical consequence, which is central to their proposal, is shown. According to Beall and Restall, argument is valid if, and only if, in every case when the premisses are true, then the conclusion is, too. They argue that by considering different types of cases the logical pluralist obtains different logics. The paper — apart from presenting LP — also gives a critical discussion of this approach. It seems, that the thesis of LP is far from being clear. It is even unclear what exactly LP is and where is stops. It is unclear what “equally good”, “equally correct”, “equally true” mean. It is not clear, how to explain, in scope of logic, that the system of logic, is a model of real logical connections.
Źródło:
Roczniki Filozoficzne; 2013, 61, 1; 5-22
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The use of fuzzy expert system for an automatic control of the propulsion system in the aircraft ZLIN 143LSi
Autorzy:
Krok, B.
Grzesik, N.
Kuźma, K.
Powiązania:
https://bibliotekanauki.pl/articles/242523.pdf
Data publikacji:
2018
Wydawca:
Instytut Techniczny Wojsk Lotniczych
Tematy:
fuzzy logic
fuzzy expert system
propulsion system
aircraft Zlin 143LSi
Opis:
The article discusses the manner of controlling the propulsion system in the aircraft Zlin 143LSi, which is equipped with a piston engine driving a variable-pitch propeller. All the operating procedures are carried out manually by the pilot in accordance with the flight manual. The authors attempted at developing the project of a controller based on fuzzy logic, whose main goal was automating the control system of the propulsion unit, thus lowering the level of difficulty of pilotage, and increasing the economics of the operation. The project was made in an interactive environment FuzzyLogic Toolbox of the MATLAB programme. In the analysis, three input parameters were taken into account, exerting an impact on changing the rotational speed of the propeller: the charging pressure of the propulsion unit expressed in inches of mercury, the speed of the aircraft (TAS) in knots and the angle of attack, at which the flight is made, expressed in degrees. On the basis of the above-mentioned input signals, the rotation speed of the propeller was determined, by changing the blade pitch and the recommended angle of attack for the parameters in order to make an optimal use of the data of the flight conditions. The article presents the project of the controller and its optimization. The authors simulated the controller operation in the package MATLAB “Simulink”. The article ends with data analysis and final conclusions.
Źródło:
Journal of KONES; 2018, 25, 3; 307-314
1231-4005
2354-0133
Pojawia się w:
Journal of KONES
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The use of voice messages generators in the integrated control and supervision systems installed in laboratory rooms
Wykorzystanie generatorów komunikatów głosowych w zintegrowanych systemach sterowania i nadzoru w pomieszczeniach laboratoryjnych
Autorzy:
Buczaj, M.
Sumorek, A.
Powiązania:
https://bibliotekanauki.pl/articles/791964.pdf
Data publikacji:
2014
Wydawca:
Komisja Motoryzacji i Energetyki Rolnictwa
Tematy:
control system
supervising system
integrated control
voice message
logic controller
microprocessor based system
Źródło:
Teka Komisji Motoryzacji i Energetyki Rolnictwa; 2014, 14, 3
1641-7739
Pojawia się w:
Teka Komisji Motoryzacji i Energetyki Rolnictwa
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
TEORIA SZARYCH SYSTEMÓW A PROGNOZOWANIE W NAUKACH SPOŁECZNYCH. PRZYCZYNEK DO DYSKUSJI
THE USE OF GREY SYSTEM THEORY IN FORECASTING SOCIAL PHENOMENA. SELECTED PROBLEMS
Autorzy:
Donaj, Łukasz
Powiązania:
https://bibliotekanauki.pl/articles/642276.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
Grey System Theory
fuzzy logic
political system
forecasting
szary system
logika rozmyta
system polityczny
prognozowanie
Opis:
The aim of the publication is to present selected forecasting problems in social sciences. The article focuses on the method of Grey Theory System. Particular attention is paid to the complexity of such systems as the political system, and consequently the shortcomings of traditional research methods such as system analysis. The purpose of the publication is to signal the use of such an exotic “methodology” for political science as grey-scale methodology and fuzzy modeling for forecasting political phenomena.
Treścią publikacji jest przedstawienie wybranych problemów prognozowania w naukach społecznych. W artykule skoncentrowano się na teorii szarych systemów. Zwrócono także szczególną uwagę na kwestię komplikacji wynikających ze złożoności takich systemów, jak system polityczny, a w konsekwencji na niedostatki tradycyjnych metod badawczych – takich jak chociażby metoda analizy systemowej. Celem publikacji jest zasygnalizowanie możliwości wykorzystania tak zdawałoby się egzotycznej dla „politologów” metodologii szarych systemów oraz modelowania rozmytego do prognozowania zjawisk politycznych.
Źródło:
Przegląd Strategiczny; 2017, 10; 43-52
2084-6991
Pojawia się w:
Przegląd Strategiczny
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 105

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