Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 5

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: wykres

Sortuj według:

Ogranicz wyniki do:

Wykresy regulacyjne zautomatyzowanych komunalnych systemów ciepłowniczych

100%

Wasilewski W.

2009

tom R. 40, nr 12

5-8

Algorytmy i wykresy do wymiarowania zbrojenia na ścinanie według Eurokodu 2

100%

Knauff M. , Klempka K.

1998

tom R. 54, nr 2

78-80

Przedstawiono algorytmy i wykresy do projektowania zbrojenia na ścinanie według EC 2 (metodą uzmiennionego kąta) oraz przykłady wymiarowania. Stosowanie wykresów jest szczególnie korzystne w przypadku zbrojenia mieszanego.

The design charts, the algorithms and the examples for shear design acc. to the variable strut inclination method are presented. The design charts are especially effective in the case of mixed reinforcement.

Podstawy analizy rozmytej interpretowanej sieci Petriego

100%

Gniewek L.

2010

tom nr 3 (23)

87-96

W pracy opisano formalne podstawy rozmytej interpretowanej sieci Petriego oraz na prostym przykładzie pokazano różnice pomiędzy tą siecią, a klasycznymi sieciami Petriego. Omówiono algebraiczną reprezentację rozmytej interpretowanej sieci Petriego oraz zdefiniowano jej graf pokrycia. W ten sposób przygotowano podstawy do przeprowadzenia badań nad własnościmi tych sieci. Dalsze prace będą zmierzały do stworzenia oprogramowania, które będzie weryfikować poprawność diagramu tej sieci, generować graf osiągalności i macierz incydencji oraz umożliwi symulację jej działania.

The Petri nets enable not only designing of algorithms in which parallel processes are appearing, but also formal analysis of their properties. It is playing a significant role at the permanently increasing complexity of algorithms and the growth of the requirements concerning their functionality. In this paper the algebraic representation and the coverability graph of the fuzzy interpreted Petri net are defined. It can be used for the verification of the correctness of the discussed net. Moreover formal bases of the fuzzy interpreted Petri net are described. The differences between this net and classical nets are shown at the simple example.

Graph methods in kinematical analysis of multi-speed epicyclic gears

84%

Drewniak J. , Zawiślak S.

tom Vol. 17, no. 3

791-798

Multi-speed epicyclic gears are used automatic gear boxes when they are equipped with a control system. The methods of analysis of these gears are discussed in the paper. Graph based methods can be used for modelling and kinematic analysis of gears. The methods are roughly described. They were applied for modelling and analysis of an exemplary gear box. Their advantages consist in simplicity, algorithmic approach and usefulness. A comparison of results obtained by means of the graph and Willis approaches is presented. The equivalence of results confirms, the correctness of theoretical modelling.

Documents protection by personalization of protection means

67%

Korostil J.

2011

tom nr 1

43-51

In this work are examined methods of construction of personalizing document protection means for situations when document can legally belong to different users. As a protection means are selected graphical protection means which are abstract images like grids, vignettes and other patterns. In this work are built models of graphical protection means in theframe-work of which are developed methods of protection personalization.