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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    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ł:
    Polioptymalizacja rozmyta w MATLABie
    on tools for wood machining
    Autorzy:
    Tarnowski, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/152712.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    polioptymalizacja
    optymalizacja wielokryterialna
    logika rozmyta
    sterowanie rozmyte
    kryteria lingwistyczne
    model matematyczny
    zbiór Pareto
    zbiór rozwiązań kompromisowych
    poly-optimisation
    Multi Attribute Decision Making (MADM)
    fuzzy logic
    fuzzy control
    linguistic criteria
    mathematical models
    Pareto solutions
    trade-off solutions
    Opis:
    Skutecznym sposobem wdrożenia optymalizacji do praktyki może być wykorzystanie logiki rozmytej do tworzenia modeli matematycznych zadania optymalizacji, jeśli jest dostępna wiedza ekspercka dotycząca obiektu optymalizacji. Dzięki temu: a) unika się żmudnego procesu budowania modelu analitycznego i b) umożliwia się uwzględnienie w modelu rozmytych kryteriów i ograniczeń. W pracy pokazano procedurę wspomagania optymalizacji za pomocą pakietu MATLAB na przykładzie z dwoma i z trzema kryteriami optymalizacji, w ujęciu polioptymalizacyjnym. Wyciągnięto wnioski metodologiczne.
    As for now, optimization techniques are not very popular in real engineering, though they are taught at universities and are recognized as very useful in design and management. Probably the main reason is that mathematical models of objects are difficult to device and, what more criteria may not be precisely defined. A way to enhance an effective implementation of optimisation and MADM techniques to a real practice is a fuzzy logic approach to modelling an optimisation problem, if only the expert knowledge is at hand. It yields: a) avoiding the laborious and often not possible process of building an analytical model, b) makes it possible to use fuzzy and imprecise notions and aspects. In the paper there is proposed a procedure how to device and handle such models in the MATLAB environment to get a Pareto set solutions, in poly-optimisation. The methodology is illustrated on an example of a chemical reactor. The poly-optimal control is to be found. First, having stated criteria, as fuzzy and/or non-fuzzy notions (product quality and effectiveness, in the example), an expert arbitrarily defines decision variables (process temperature, time and mixing velocity), and their membership functions, then a mathematical model is established as a set of rules if - then (Fig. 1). This model may be intuitively verified and corrected by graphical presentations, as in Fig. 2. Then, a poly-optimisation is completed: either by survey of all possible solutions (Fig. 3) and reducing the set to the Pareto solutions (Figs. 4 - 6), or by mathematical optimization algorithms. In the example a first approach is adopted. The example is extended: a third non-fuzzy criterion is introduced (cost). (Figs. 7 - 9).Methodological conclusions are formulated, too.
    Źródło:
    Pomiary Automatyka Kontrola; 2011, R. 57, nr 9, 9; 1059-1062
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      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