Temat: Boolean algebra - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: The application of Boolean algebra in modelling of leakage condition of a car hydraulic braking system
Autorzy:: Idzikowski, A.
Salamon, S.
Powiązania:: https://bibliotekanauki.pl/articles/265849.pdf
Data publikacji:: 2013
Wydawca:: Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:: układ hamulcowy
układ hydrauliczny
wyciek
algebra Boole'a
modelowanie
braking system
hydraulic circuit
leakage
Boolean algebra
modelling
Opis:: A general characteristics of a car hydraulic braking system (CHBS) is presented in this publication. A graphical model of properties-component objects is developed for the above-mentioned system. Moreover, four mathematical models in terms of logic, the set theory and the Boolean algebra of Boolean functions are developed. The examination is ended with a general model of the CHBS for n - Boolean variables and the construction and mathematical-technical interpretation of this model is presented.
Źródło:: International Journal of Applied Mechanics and Engineering; 2013, 18, 2; 353-363
1734-4492
2353-9003
Pojawia się w:: International Journal of Applied Mechanics and Engineering
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Modelowanie dynamiki obserwacji procesów nieszczelności podsystemów HSUH o dwóch komorach w pompie hamulcowej
Modeling of the dynamics of observation of leakage processes in HUSH subsystems with two chambers in the master cylinder
Autorzy:: Salamon, Szymon
Powiązania:: https://bibliotekanauki.pl/articles/2200315.pdf
Data publikacji:: 2022
Wydawca:: Stowarzyszenie Menedżerów Jakości i Produkcji
Tematy:: pojazd samochodowy
układ hamulcowy
strukturalizacja badania szczelności
algebra Boole'a
motor vehicle
braking system
structuring of leak testing
Boolean algebra
Opis:: Układy hamulcowe współczesnych pojazdów samochodowych są systemami technicznymi o rozbudowanej strukturze konstrukcyjnej i funkcjonalnej. Układy te muszą charakteryzować się podstawowym wymaganiem jakim jest szczelność tego systemu. Badanie szczelności rozproszonej konstrukcyjnie zamkniętej przestrzeni roboczej (a taką konstrukcją jest układ hamulcowy pojazdu samochodowego) jest poważnym wyzwaniem dla diagnostyki stanu technicznego tego systemu. W naturalny sposób ujawnia się potrzeba optymalizacji (strukturalizacji) procesu diagnozowania w szczególności jego szczelności. Autor w niniejszym artykule prezentuje podejście do tego zagadnienia w świetle algebry Boole’a. Podejście to przedstawiono na przykładzie samochodowego hydraulicznego układu hamulcowego dwuobwodowego, posiadającego obwód hamowania kół przednich i tylnych.
Braking systems of modern motor vehicles are technical systems with an extensive structural and functional structure. These systems must be characterized by the basic requirement which is the tightness of the system. Testing the tightness of a dispersed constructionally closed working space (and such a structure is the braking system of a motor vehicle) is a serious challenge for the diagnosis of the technical condition of this system. The need to optimize (structurize) the diagnosis process, in particular its tightness, appears naturally. In this article, the author presents an approach to this issue in the light of Boolean algebra. This approach is illustrated by the example of an automotive hydraulic dual circuit braking system having front and rear wheel braking circuits.
Źródło:: Archiwum Wiedzy Inżynierskiej; 2022, 7, 1; 17--20
2544-2449
Pojawia się w:: Archiwum Wiedzy Inżynierskiej
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Conception of partial specification of logic controller deterministic state machine
Koncepcja niepełnej specyfikacji deterministycznej maszyny stanów sterownika logicznego
Autorzy:: Łabiak, G.
Powiązania:: https://bibliotekanauki.pl/articles/156340.pdf
Data publikacji:: 2012
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: deterministyczna maszyna stanów
diagramy statechart
sterownik logiczny
konflikty tranzycji
predykaty
algebra Boole'a
deterministic state machine
statechart diagrams
logic controller
transition conflicts
predicates
Boolean algebra
symbolic methods
metody symboliczne
Opis:: Zagadnienie stworzenia deterministycznego opisu zachowania sterownika logicznego (bez konfliktów między tranzycjami) opisanego diagramami statecharts [2, 9] jest zagadnieniem o złożoności problemu spełnialności i jego rozwiązanie poprzez "ręczne" konstrukcje predykatów tranzycji może być dla projektanta bardzo trudne o ile w ogóle możliwe. Referat skupia się na problemie automatycznego doboru predykatów tranzycji w warunkach niepełnej specyfikacji, tak aby maszyna stanów [2, 9] (diagram statechart, rys. 3a) modelowała zachowanie w sposób deterministyczny. W proponowanej metodzie projektant podaje najistotniejsze zdarzenia warunkujące przejścia, a system CAD automatycznie rozwiązuje konflikty tranzycji niepełnej specyfikacji. Podstawową koncepcją automatycznego rozwiązywania konfliktów tranzycji jest utworzenie własnego zestawu wszystkich zmiennych dla każdej tranzycji osobno (podrozdz. 4.1). Nowo utworzone zmienne wyznaczają bazę symbolicznej przestrzeni wektorowej, w której można przestawić wszystkie możliwe predykaty (podrozdz. 4.2). W przestrzeni symbolicznej w łatwy sposób można opisać wyrażeniem logicznym zbiór wszystkich predykatów ortogonalnych oraz zbiory odpaleń wynikające z niepełnej specyfikacji (podrozdz. 4.3). Iloczyn w przestrzeni symbolicznej zbiorów predykatów ortogonalnych i zbiorów odpaleń wyznacza zbiór zestawów ortogonalnych predykatów wynikających z częściowej specyfikacji (podrozdz. 4.4). Wszystkie operacja na zbiorach wykonywane są jako logiczne przekształcenia odpowiednich funkcji charakterystycznych, które efektywnie mogą być implementowane za pomocą binarnych diagramów decyzyjnych [7].
The issue of creating a deterministic behaviour description (without conflicts between transitions) of a logic controller is an issue of computational complexity equal to a classic satisfiability problem. Its solution through by-hand transition predicates construction can be very painstaking and tedious, if possible at all. The paper focuses on automatic transition predicates construction where transition predicates are partially specified by a designer giving only the most essential information necessary to comprehend the controller behaviour. This partial specification causes that a state machine (statechart diagram) is nondeterministic (and hence cannot be technically implemented) and the CAD system task is to transform automatically this partial specification into a corresponding deterministic form.
Źródło:: Pomiary Automatyka Kontrola; 2012, R. 58, nr 1, 1; 76-79
0032-4140
Pojawia się w:: Pomiary Automatyka Kontrola
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: Boolean Algebra of One-Point Local Compactifications
Autorzy:: Polański, Artur
Powiązania:: https://bibliotekanauki.pl/articles/1818646.pdf
Data publikacji:: 2020
Wydawca:: Politechnika Rzeszowska im. Ignacego Łukasiewicza. Oficyna Wydawnicza
Tematy:: local
compactification
boolean
algebra
ends
algebra Boole'a
kompaktowanie
przestrzeń Hausdorffa
Opis:: For a given locally compact Hausdorff space we introduce a Boolean algebra structure on the family of all its one-point local compactifications.
Źródło:: Journal of Mathematics and Applications; 2020, 43; 113--121
1733-6775
2300-9926
Pojawia się w:: Journal of Mathematics and Applications
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "Boolean algebra" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język