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-5 z 5
    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ł:
    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-5 z 5

      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