Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: dangerous states

Sortuj według:

Ogranicz wyniki do:

Wspomaganie diagnozowania stanów niebezpiecznych w kości miednicznej człowieka z wykorzystaniem metod komputerowych mechaniki

John A., Wysota P.

Aktualne Problemy Biomechaniki

2010

z. 4

91--96

Przedmiotem pracy jest problem ułatwienia wykrywania stanów niebezpiecznych w układzie kostnym na przykładzie kości miednicznej człowieka. Rozpoznanie tych stanów we wczesnej fazie może przyczynić się do przeciwdziałania urazom kostnym. W artykule przedstawiono najważniejsze etapy zaproponowanego postępowania: począwszy od zdjęć tomograficznych i w wyniku kolejnych przekształceń pozyskanie informacji o badanym układzie kostnym. Kluczową kwestią procesu wspomagania diagnozowania sytuacji niebezpiecznych jest wychwycenie zależności między obrazami tomograficznymi a stanem wytężenia kości.

In the paper the issue of aid of diagnosis of the dangerous states in pelvic bone was raised. Detection of these states in early phase can contribute to counteraction of bone injuries. In the article the most important stages of proposed method was presented: beginning from QCT images and by subsequent conversions obtaining information about the X-rayed bone. The crucial point of the process of aid diagnosing dangerous situations in pelvic bone was subordinating CT images suitable the effort of the bone.

Modelling of IEC 61499 function blocks a clue to their verification

Vyatkin V., Hanisch H.M.

Prace Naukowe Instytutu Technologii Maszyn i Automatyzacji Politechniki Wrocławskiej. Konferencje

2000

Vol. 76, nr 35

59-68

Suggests a way of modelling of discrete measurement and control applications following the new international standard IEC 61499. The applications which are distributed and event driven, require an adequate formalism, clear enough to be adopted by engineers. The presented formalism of signal/net systems proved to be suitable for modelling of distributed applications alone, as well as for the interconnected systems combined with the model of the plant. Based on the modelling, numerous problems of verification can be effectively solved. The model checking is performed by a bunch of developed analysing tools, including VEDA (verification environment for distributed applications) and SESA (signal/event systems analyser). It includes: test for reachability of dangerous states, search of the never executable code, and validation or invalidation of arbitrary input/output specifications.