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ę "logika wielowartościowa" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 16
Tytuł:
Pierwsze próby konstrukcji logik nieklasycznych inspirowanych mechaniką kwantową: Zygmunt Zawirski i John von Neumann
Autorzy:
Drozdowska, Elżbieta
Powiązania:
https://bibliotekanauki.pl/articles/31233789.pdf
Data publikacji:
2023
Wydawca:
Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
Tematy:
Zygmunt Zawirski
John von Neumann
logika kwantowa
logika wielowartościowa
filozofia mechaniki kwantowej
Opis:
Logika kwantowa pojawiła się w latach 30. XX wieku w wyniku postawienia pytania o to, czy konceptualne zmiany zapoczątkowane w fizyce przez mechanikę kwantową wymagają rewizji logiki. W literaturze anglojęzycznej za prekursora logiki kwantowej uznaje się Johna von Neumanna, natomiast w literaturze polskiej wskazuje się Zygmunta Zawirskiego. Zawirski był pierwszym badaczem, który zasugerował, że mechanika kwantowa może kierować się inną logiką niż logika klasyczna. Był pierwszym badaczem w ramach nurtu wielowartościowej logiki kwantowej, jednak jego wpływ okazał się ostatecznie niewielki. Z kolei John von Neumann wraz z Garrettem Birkhoffem zapoczątkowali dominujący dziś nurt algebraicznej logiki kwantowej. Okazuje się, że pomimo różnic założeń i metod, łączy ich podporządkowanie projektu logiki kwantowej dwóm wymaganiom – uwzględnieniu zasady nieoznaczoności Heisenberga i uzgodnieniu uzyskanej logiki z rachunkiem prawdopodobieństwa.
Źródło:
Filozofia i Nauka; 2023, 11; 133-160
2300-4711
2545-1936
Pojawia się w:
Filozofia i Nauka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Model funkcjonalno-diagnostyczny hybrydowego systemu zasilania z wykorzystaniem odnawialnych źródeł energii
Autorzy:
Duer, Radosław.
Powiązania:
Biuletyn Wojskowej Akademii Technicznej 2019, nr 4, s. 57-68
Współwytwórcy:
Wrzesień, Paweł. Autor
Duer, Stanisław. Autor
Data publikacji:
2019
Tematy:
Diagnostyka techniczna
Wnioskowanie diagnostyczne (technika)
Logika wielowartościowa
Sztuczna inteligencja
Postęp techniczny
Artykuł z czasopisma naukowego
Artykuł z czasopisma technicznego
Opis:
Artykuł przedstawia problematykę budowania diagnostycznej bazy wiedzy, dotyczącej hybrydowego systemu zasilania na potrzeby badania stanu danego obiektu.
Bibliografia, netografia na stronie 67.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Reguły diagnostyczne dla systemu ekspertowego (WPPES) wnioskującego o stanie urządzeń farmy wiatrowej
Autorzy:
Duer, Stanisław.
Powiązania:
Biuletyn Wojskowej Akademii Technicznej 2019, nr 3, s. 133-146
Data publikacji:
2019
Tematy:
Diagnostyka techniczna
Wnioskowanie diagnostyczne (technika)
Logika wielowartościowa
Sztuczna inteligencja
Elektrownie wiatrowe
Postęp techniczny
Artykuł z czasopisma naukowego
Artykuł z czasopisma technicznego
Opis:
Artykuł przedstawia problematykę związaną z budowaniem diagnostycznej bazy wiedzy dotyczącej hybrydowego systemu zasilania. Aby pozyskać informację diagnostyczną potrzebna jest analiza funkcjonalno-diagnostyczna badanego obiektu. Efektem tego procesu są wykonane modele, które stanowią narzędzia pomocnicze przy budowaniu baz wiedzy ekspertowych dla danych obiektów.
Bibliografia, netografia na stronach 145-146.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Informacja diagnostyczna z obiektu technicznego wykorzystana do tworzenia ekspertowej bazy wiedzy
Autorzy:
Duer, Radosław.
Powiązania:
Biuletyn Wojskowej Akademii Technicznej 2017, nr 2, s. 91-106
Współwytwórcy:
Duer, Stanisław. Autor
Data publikacji:
2017
Tematy:
Logika wielowartościowa
Sztuczna inteligencja
Wnioskowanie diagnostyczne (technika)
Postęp techniczny
Artykuł z czasopisma naukowego
Artykuł z czasopisma technicznego
Opis:
Rysunki, tabele.
Bibliografia na stronach 105-106.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Możliwości zastosowania tablic decyzyjnych w inżynierii projektowania konstrukcyjnego i technologicznego
Possibilities of using decision tables in engineering of structural design and technology
Autorzy:
Partyka, M. A.
Paszek, A.
Powiązania:
https://bibliotekanauki.pl/articles/304148.pdf
Data publikacji:
2017
Wydawca:
Wydawnictwo Druk-Art
Tematy:
tablica decyzyjna
wielowartościowa tablica decyzyjna
rozwiązania decyzyjne
reguły projektowania
inżynieria wiedzy
logika symboliczna
decision table
multiple-valued decision table
decision solutions
design rules
knowledge engineering
symbolic logic
Opis:
W pracy przedstawiono możliwości zastosowania tablic decyzyjnych w inżynierii projektowania w zakresie konstrukcji i technologii. Scharakteryzowano podstawową budowę i własności tablic decyzyjnych w przetwarzaniu informacji bazującej na regułach projektowania. Porównano klasyczne oraz wielowartościowe tablice decyzyjne wspomagające obliczenia cieplne zbiornika ożebrowanego. Pokazano przykłady opracowań tablic decyzyjnych stosowanych w diagnostyce łożyska hydrodynamicznego oraz w opisie stanów automatu skończonego. W obszarze projektowania technologicznego zaprezentowano opracowanie klasycznej tablicy decyzyjnej w projektowaniu obróbki tłoczysk oraz modalną tablicę decyzyjną w projektowaniu półfabrykatów dla produkcji dławnic siłowników hydraulicznych.
The text has been described the basic structure of decision tables in date processing based on design rules. We compared classic and multiple-valued decision tables supporting the thermal calculations of hydraulic tank. There are shown examples of decision solutions in diagnostics of hydrodynamic bearing and in the description of a finite automata. Furthermore, it has been shown that it is possible to build the classic decision table in the design of piston rod machining. The article describes modal decision tables in the design of semi-finished products for the production of hydraulic cylinder glands.
Źródło:
Napędy i Sterowanie; 2017, 19, 10; 108-116
1507-7764
Pojawia się w:
Napędy i Sterowanie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wnioskowanie diagnostyczne o stanie obiektu technicznego w logice k-wartościowej
Autorzy:
Duer, Stanisław.
Powiązania:
Biuletyn Wojskowej Akademii Technicznej 2017, nr 1, s. 115-126
Data publikacji:
2017
Tematy:
Logika wielowartościowa
Wnioskowanie diagnostyczne (technika)
Artykuł problemowy
Artykuł z czasopisma naukowego
Artykuł z czasopisma technicznego
Opis:
Rysunek.
Bibliografia na stronach 125-126.
Dostawca treści:
Bibliografia CBW
Artykuł
Tytuł:
Twórczość i wolność w ujfciu Kazimierza Ajdukiewicza*
Autorzy:
Jadacki, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/705747.pdf
Data publikacji:
2013
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
twórczość
wolność
logika wielowartościowa
prawda
Opis:
Artykuł stanowi rekonstrukcję bardzo ważnej i owocnej dyskusji między przed-stawicielami Szkoły Lwowsko-Warszawskiej, która miała miejsce na począt-ku XX wieku. Dyskusja ta dotyczyła zagadnienia prawdy, a jej ubocznym skutkiem było stworzenie przez Jana Łukasiewicza logiki wielowartościowej. Rekonstrukcja opiera się częściowo na dwóch nieznanych tekstach Kazimierza Ajdukiewicza, odnalezionych ostatnio w jednym z dzienników lwowskich tego okresu.
Źródło:
Przegląd Filozoficzny. Nowa Seria; 2013, 4; 459-468
1230-1493
Pojawia się w:
Przegląd Filozoficzny. Nowa Seria
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przetwornik logiki binarnej na logikę trójwartościową i czterowartościową
Signal converter of the binary logic to ternary and quaternary logic
Autorzy:
Walecki, M.
Urbańczyk, M.
Słota, M.
Wituła, R.
Powiązania:
https://bibliotekanauki.pl/articles/154484.pdf
Data publikacji:
2012
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
modelowanie matematyczne
logika binarna i wielowartościowa
przetworniki logiki
binary logic
logic conversion
Opis:
Praca dotyczy modelowania przetworników logiki binarnej na logikę trójwartościową i czterowartościową. Podano przykładowe rozwiązanie zagadnienia wyznaczenia zależności opisującej stan logiczny jednego z wyjść przetwornika logiki binarnej na logikę wielowartościową (synteza układu logicznego). Analizę wykonano na platformie pakietu Mathematica. W pracy zastosowano automatyczną, programową filtrację możliwych rozwiązań na postać funkcji logicznych opisujących stan wyjścia przetworników w odniesieniu do przyjętych kryteriów wyboru. Na podstawie uzyskanych wyników w programie oraz wzoru ogólnego na stan logiczny drugiego wyjścia przetwornika przedstawiono przykładowy teoretyczny model przetwornika sygnałów logiki dwuwartościowej na trójwartościową i czterowartościową (2/3, 2/4) dla dowolnych poziomów napięciowych sygnałów logicznych. Wykonano symulacje przetworników w programie SPICE dla modeli idealnych i rzeczywistych. W modelu przetworników wykorzystano wielowejściowe napięciowe wzmacniacze operacyjne, jako układy sumujące i różnicowe.
The paper deals with the modeling of converters of binary to ternary and quaternary logics. En exemplary solution of determining the relation describing the logical state of one of outputs of the converter of binary logics to multivalue logics has been quoted, i.e. the synthesis of a logical system. The analysis was performed on the platform of the software Mathematica. An automatic program filtration of possible solutions of logical functions was applied, describing output states of converters in compliance with the accepted criteria of the proper choice. Basing on the obtained results in this program and on the general formula concerning the logical state of the other output of the converter an exemplary theoretical model of the converter of signals of binary to ternary and quaternary logics has been presented (2/3 and 2/4) concerning any arbitrary voltage level of logical signals. Simulations of converters in the SPICE program have been performed for ideal and real models. In the model of the converters multi-input voltage amplifiers have been applied, operating as adding and subtracting signal systems.
Źródło:
Pomiary Automatyka Kontrola; 2012, R. 58, nr 10, 10; 857-862
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie matematyczne przetworników logiki binarnej na logikę wielowartościową oraz realizacja praktyczna przetwornika
Mathematical modelling of binary to multivalued logic converters and practical converter design
Autorzy:
Walecki, M.
Urbańczyk, M.
Słota, D.
Wituła, R.
Powiązania:
https://bibliotekanauki.pl/articles/154286.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
modelowanie matematyczne
logika binarna i wielowartościowa
enkoder
mathematical modelling
multivalued logic converter
practical converter
Opis:
Podano przykładowe rozwiązanie zagadnienia wyznaczenia zależności opisującej stan logiczny jednego z wyjść przetwornika logiki binarnej na logikę wielowartościową (synteza układu logicznego). Analizę wykonano na platformie pakietu Mathematica. Przedstawiono funkcjonalny schemat blokowy użytego programu. Na podstawie uzyskanych wyników w programie oraz wzoru ogólnego na stan logiczny drugiego wyjścia przetwornika przedstawiono przykładowy teoretyczny model przetwornika sygnałów logiki dwuwartościowej na ośmiowartościową (2/8), dla dowolnych poziomów napięciowych sygnałów logicznych. Wykonano symulacje przetwornika w programie SPICE dla układu idealnego. Zaproponowano realizację przetwornika sygnałów logicznych dwuwartościowych na ośmiowartościowe z zastosowaniem dwóch napięciowych wzmacniaczy operacyjnych (działających jako sumatory). Układ przetwornika zrealizowano praktycznie. Wyniki testów przetwornika 2/8 przedstawiono na oscylogramach.
The paper deals with application of the sum conjunction method in Mathematica software to determination of logic state of one of the multivalued logic converter outputs. Basing on the results of the mathematical modeling and using the general equation for the second converter output, a theoretical model of the binary to eight-state logic (2/8) converter for arbitrary levels of the logic signal voltage is proposed. The general scheme of the converter is also presented in the paper. The two-state to eight-state-logic converter practical realization with use of two multiple input voltage operational amplifiers is proposed. In the converter these operational amplifiers works as adders. The converter output signals are obtained from simulations. The simulations were performed when assuming the single-pole role-off characteristic of the amplifier. The converter of logic signals (2/8) was practically constructed and tested. The investigation results are shown on oscillograms. The converter works correctly within the frequency range up to 20 kHz. For higher frequencies of the input signal there are observed distortions of the output signal because of parasitic capacitances.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 5, 5; 447-451
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Polowa analiza siłowników elektromagnetycznych i transformatorów
Field analysis of electromagnetic actuators and transformers
Autorzy:
Tomczuk, B.
Koteras, R.
Waindok, A.
Zimon, J.
Powiązania:
https://bibliotekanauki.pl/articles/157315.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika wielowartościowa
enkoder
multi-valued logic
encoder
Opis:
W artykule zamieszczono wybrane wyniki badań siłowników o ruchu liniowym i nowoczesnych transformatorów. Przedstawiono zarówno modele fizyczne analizowanych obiektów, jak i ich modele matematyczne. Praca zawiera wyniki obliczeń rozkładu pola magnetycznego oraz jego parametrów całkowych dla nowoczesnego siłownika liniowego do badań zmęczeniowych, dla siłownika łożyska magnetycznego oraz transformatora z rdzeniem z blach amorficznych. Prototypy wymienionych obiektów charakteryzują się parametrami spełniającymi wymagania przyszłych użytkowników. Należy także podkreślić dobrą zgodność wyników obliczeń i pomiarów.
Selected investigation results of linear actuators and modern transformers are presented in the paper. Both, physical and mathematical models of the analysed objects are shown. There are given results of calculating the magnetic field distribution and its integral parameters for three objects: a modern linear actuator for fatigue tests, a magnetic bearing actuator and amorphous core transformer. The prototypes of the mentioned objects are characterised by parameters which fulfill the future user's needs. One should underline good conformity of the calculation and measurement results. In the introduction (Section 1), the up-to-date information on linear actuators [2, 3, 4, 5, 6, 7, 8] and transformers [1, 9, 10 11] is given. In Section 2 numerical models of the analysed objects are described. In all cases the finite element method was used [12, 13, 14, 15]. The next three sections include the calculation results and measurement verification for: the linear actuator for fatigue tests (Section 3), the magnetic bearing actuator [16, 17] (Section 4) and the amorphous core transformer [18] (Section 5).
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 264-268
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Przetwornik sygnałów logiki dwuwartościowej na trójwartościową z zastosowaniem wielowejściowego wzmacniacza operacyjnego
The signal converter of two-state- into three-state-logic signal with use of multiple input operational amplifier
Autorzy:
Walecki, M.
Urbańczyk, M.
Powiązania:
https://bibliotekanauki.pl/articles/157318.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
logika wielowartościowa
enkoder
multi-valued logic
encoder
Opis:
Opisano teoretyczny model przetwornika sygnałów dwuwartościowej logiki boolowskiej na trójwartościową, dla dowolnych poziomów liczbowych wartości logicznych. Pokazano jego schemat ogólny. Zaproponowano realizację przetwornika sygnałów logicznych dwuwartościowych na trójwartościowe z zastosowaniem dwóch wielowejściowych napięciowych wzmacniaczy operacyjnych. Przedstawiono wyniki symulacji modelu układu o jednobiegunowej charakterystyce wzmocnienia.
The paper describes the theoretical model of a two-state logic into a three-state logic converter for which the value of the logic levels is arbitrary. For the purpose of analysing the converter, the number of binary inputs is set to two. The general diagram of the converter is shown. The realization of a two-state-logic converter into a three-state-logic signal with use of two multiple input voltage operational amplifiers is proposed. The converter output signals obtained from simulations are presented. Numerical simulations of the converter were performed when assuming single-pole role-off characteristics of the amplifier. The goal of the analysis is to examine the converter dynamics for different periods T of the input test signals. At the given distance between the consecutive output logic levels equal to 1 V, the converter generates signals of frequency up to 1 MHz. The upper limit of this logic converter frequency range results from the operational amplifier frequency characteristics. The main advantage of the converter with a multi-input operational amplifier is its simple construction and no additional passive elements required.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 3, 3; 261-263
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wielowartościowość a pojęcia epistemiczne
Many Values and Epistemic Concepts
Autorzy:
Lechniak, Marek
Powiązania:
https://bibliotekanauki.pl/articles/2013395.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika epistemiczna
logika wielowartościowa
przekonanie
epistemic logic
many-valued logic
belief
Opis:
The paper presents several attempts to express intuition concerning the understanding of knowledge and conviction by means of the conceptual apparatus of many-valued logic. J. Łoś’s pioneer system has been presented here, the system constructed by Ngoc Duc Ho, in which the internal logic in this system is used by the knowing subject as the three-valued logic of Łukasiewicz and the third logical value is understood as “unjustified”, and the four-valued system of N. Belnap, the system that allows for the occurrence of propositions which are evaluated both as true and false.
Źródło:
Roczniki Filozoficzne; 2006, 54, 2; 375-390
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Synteza diagnostycznego modelu układu sterowania z wykorzystaniem metod identyfikacji i wielowartościowego kodowania
Synthesis of a control system diagnostic model with use of identification methods and multivalent encoding
Autorzy:
Borowczyk, H.
Powiązania:
https://bibliotekanauki.pl/articles/328732.pdf
Data publikacji:
2004
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
diagnostyka
identyfikacja
kodowanie
logika wielowartościowa
układ sterowania
diagnostics
identyfication
encoding
multiple-valued logic
control system
Opis:
Przedstawiono metodę tworzenia diagnostycznego modelu układu sterowania na podstawie wyników eksperymentalnych badań diagnostycznych, z wykorzystaniem metod identyfikacji oraz wielowartościowego kodowania parametrów modelu dynamicznego.
A method of a control system diagnostic model creation, based on experimental results of diagnostic examination with use of identification methods and multivalent encoding of dynamic model parameters, was presented.
Źródło:
Diagnostyka; 2004, 30, T. 1; 83-86
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 16

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