Wyniki wyszukiwania - BazTech

1

Context-driven Maintenance: an eMaintenance approach

Galar D.

Management Systems in Production Engineering

|

2014

|

nr 3 (15)

112--120

EN

All assets necessarily suffer wear and tear during operation. Prognostics can assess the current health of a system and predict its remaining life based on features capturing the gradual degradation of its operational capabilities. Prognostics are critical to improve safety, plan successful work, schedule maintenance, and reduce maintenance costs and down time. Prognosis is a relatively new area but has become an important part of Condition-based Maintenance (CBM) of systems. As there are many prognostic techniques, usage must be attuned to particular applications. Broadly stated, prognostic methods are either data-driven, rule based, or model-based. Each approach has advantages and disadvantages; consequently, they are often combined in hybrid applications. A hybrid model can combine some or all model types; thus, more complete information can be gathered, leading to more accurate recognition of the fault state. This approach is especially relevant in systems where the maintainer and operator know some of the failure mechanisms, but the sheer complexity of the assets precludes the development of a complete model-based approach. The paper addresses the process of data aggregation into a contextual awareness hybrid model to get RUL values within logical confidence intervals so that the life cycle of assets can be managed and optimised.

PL

Wszystkie środki techniczne w trakcie użytkowanie podlegają procesom zużycia i starzenia. Metody i narzędzia prognostyczne pozwala na ocenę bieżącego stanu systemu i przewiduje pozostały czas życia, w oparciu o identyfikację stopniowego pogarszania jego możliwości operacyjnych. Prognozowanie jest niezbędne do poprawy bezpieczeństwa, skutecznego planowania i harmonogramowania prac obsługowo-naprawczych oraz obniżenia kosztów konserwacji i przestojów. Prognozowanie jest stosunkowo nowym obszarem, ale stało się ważnym elementem strategii eksploatacji według stanu technicznego (ang. Condition Based Maintenance). Ponieważ istnieje wiele technik prognozowania, ich wykorzystanie musi być dopasowane do poszczególnych zastosowań. Ogólnie mówiąc, metody prognostyczne oparte są albo na analizie danych, albo na regułach albo na modelach. Każde podejście posiada swoje wady i zalety; z tego też względu są one często łączone w ramach zastosowań hybrydowych. Model hybrydowy może łączyć kilka lub wszystkie typy modeli; w ten sposób, można pozyskać pełniejszą informację, prowadząc do bardziej dokładnego rozpoznania zdarzenia. To podejście jest szczególnie istotne w systemach, w których operator i serwisant posiadają wiedzę na temat mechanizmów powstawania wybranych uszkodzeń, ale sama złożoność obiektów technicznych wyklucza opracowanie podejścia zorientowanego modelowo. Artykuł lokuje proces agregacji danych w obszar kontekstowej świadomości modeli hybrydowych, w celu uzyskania wartości przydatności resztkowej RUL (ang. RUL-Remaining Useful Life) w obrębie logicznych przedziałów ufności, tak aby cykl życia obiektów mógł być zarządzany i optymalizowany.

2

SMT-Based Reachability Checking for Bounded Time Petri Nets

Półrola A., Cybula P., Męski A.

Fundamenta Informaticae

|

2014

|

Vol. 135, nr 4

467--482

EN

Time Petri nets by Merlin and Farber are a powerful modelling formalism. However, symbolic model checking methods for them consider in most cases the nets which are 1-safe, i.e., allow the places to contain at most one token. In our paper we present an approach which applies symbolic verification to testing reachability for time Petri nets without this restriction. We deal with the class of bounded nets restricted to disallow multiple enabledness of transitions, and present the method of reachability testing based on a translation into a satisfiability modulo theory (SMT).

3

Symboliczne cmentarze ludzi gór w krajobrazie regionu

Marek A., Narożna D.

Prace Komisji Krajobrazu Kulturowego

|

2013

|

nr 22

41--51

PL

W artykule przedstawiono symboliczne cmentarze i miejsca pamięci ludzi gór znajdujące się na Słowacji, w Czechach i w Polsce. Stanowią one swoisty układ przestrzenny i wycinek przestrzeni geograficznej istotny w turystyce górskiej. Wkomponowane w krajobraz stały się walorem danego regionu, obiektem zainteresowania turystów oraz częścią składową produktu turystycznego. Pełnią funkcję informacyjną i edukacyjną upamiętniając wielkie osobistości wpisane w historię eksploracji gór. Są przestrogę dla żyjących a także miejscem wyjątkowej refleksji i zadumy.

EN

This article presents a symbolic cemeteries and memorial places the people of mountains situated in Slovakia, the Czech Republic and Poland. They represent a kind of spatial and geographical space as clipping important in mountain tourism. Integrated into the landscape became the asset of a region of interest to tourists and part of the tourism product. Act as information and education commemorating the great personalities in the history of exploration the mountains. They are a warning to the living as well as a unique place for reflection and meditation.

4

Proof Methods for Corecursive Programs

Gibbons J., Hutton G.

Fundamenta Informaticae

|

2005

|

Vol. 66, nr 4

353--366

EN

Recursion is a well-known and powerful programming technique, with a wide variety of applications. The dual technique of corecursion is less well-known, but is increasingly proving to be just as useful. This article is a tutorial on the four main methods for proving properties of corecursive programs: fixpoint induction, the approximation (or take) lemma, coinduction, and fusion.