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.
EN
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.
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.
EN
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.
4
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
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.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.