Wyniki wyszukiwania - Biblioteka Nauki

1

An effective hybrid method for analysis the large-scale reliability block diagram model

100%

Ping Y. , Ren Y. , Li Z. , Yang D. , Yang C.

Eksploatacja i Niezawodność

|

2023

|

tom Vol. 25, no. 3

art. no. 169408

EN

The reliability block diagram (RBD) is a graphical tool used for reliability modeling and analysis in various industries, including shipbuilding, aviation, and aerospace. Typically, RBDs are transformed into Bayesian networks for quantitative analysis of systems. Bayesian networks are probabilistic graphical models that can capture the uncertainties and causal relationships in complex systems. They can provide various reliability metrics such as failure probability, mean time to failure, availability, etc. However, these techniques have several drawbacks, especially for large-scale models, such as being extremely time and memory-consuming. To address these issues, we propose a hybrid method for quantitative analysis of large-scale RBDs based on the structure identification approach and binary decision diagrams. Theoretical analysis and case verification demonstrate that the proposed method is significantly more efficient than the current one.

2

Mathematical modeling of Website quality characteristics in dynamics

63%

Pasichnyk N. , Dyvak M. , Pasichnyk R.

Journal of Applied Computer Science

|

2014

|

tom Vol. 22, nr 1

171--182

EN

The article oﬀers a set of dynamic models of prognosing the Website attendance. The numerical experiments were conducted to identify these models. It allowed to structure an adequate model to prognoze overall and target attendance, basing on the analysis of the business processes’ characteristics of an object, that this Website represents.

3

Analiza możliwości tomografii termicznej w diagnostyce oparzeń

63%

Bajorek M. , Nowakowski A.

Pomiary Automatyka Kontrola

|

2009

|

tom R. 55, nr 11

919-922

PL

Praca dotyczy możliwości zastosowania metody tomografii termicznej do oceny głębokości rany oparzeniowej. Zdefiniowano podstawowe założenia dla przyjętego modelu termicznego przypływu ciepła w strukturach biologicznych. Omówiono możliwe do postawienia typy rozwiązania zagadnienia odwrotnego. W celu weryfikacji jakości metody pokazano wyniki rekonstrukcji parametrów termicznych dla ran oparzeniowych pochodzących z badań na zwierzętach oraz z badań klinicznych. Przedstawiono właściwości zaproponowanych rozwiązań oraz opisano problemy związane z zastosowaniem tomografii termicznej. Omówiono ograniczenia metody.

EN

The possibility of using the thermal tomography method for estimation of the position and depth of burn wounds is discussed. The full procedure of thermal tomography means reconstruction of distribution of thermal parameters which represent the structure properties of a tested object. It requires solution of the following problems: working out a true thermal model of the tested object and setting the proper heat transfer conditions; elaboration of measurement procedures enabling registration of transient temperature distributions forced by the employed excitation; performing the forward problem procedure simulations based on the chosen thermal model; elaboration of the foundation concerning conditions of structure identification in the inverse problem based on comparison of the simulation and experiment results. In the investigations performed by the authors, the most important is the analysis of transient processes of heat exchange taking place in a tested biological tissue. The main assumptions for the accepted heat exchange model in biological structures are defined. The types of possible solutions of the inverse problem in burn diagnostics are given. The results of thermal parameter reconstruction of burn wounds are presented for in vivo animal experiments as well as for clinical cases. The problems and limitations concerning implementation of the thermal tomography method in medical applications are discussed.

4

Interval model of dynamics of dispersion of harmful pollution from vehicular traffic

63%

Dyvak M. , Stakhiv P. , Pukas A. , Voytyuk I. , Porplytsya N. , Maslyiak Y.

Journal of Applied Computer Science

|

2016

|

tom Vol. 24, nr 3

49--60

EN

The method of structure identification of interval discrete dynamic models, based on principles of the bee colonies functioning is represented. An example of the implementation of method for modeling of air pollution by harmful vehicle emissions is considered.

5

Identyfikacja defektów strukturalnych z wykorzystaniem uproszczonego algorytmu tomografii termicznej

63%

Bajorek M. , Nowakowski A.

Pomiary Automatyka Kontrola

|

2011

|

tom R. 57, nr 10

1146-1149

PL

Praca dotyczy możliwości zastosowania metody tomografii termicznej do szybkiej rekonstrukcji parametrów termicznych oraz geometrycznych w badanych strukturach. Zdefiniowano uproszczoną procedurę zagadnienia odwrotnego pozwalającą na wstępne rekonstrukcje parametrów termicznych badanych struktur. Głównym założeniem algorytmu rekonstrukcyjnego jest wykorzystanie w pierwszym kroku rekonstrukcji jednowymiarowego modelu wymiany ciepła, by w kolejnym kroku dokonać analizy struktury 3-D. W celu weryfikacji jakości metody zaprezentowano wyniki symulacji oraz odpowiadające im wyniki rekonstrukcji parametrów termicznych.

EN

A simplified procedure applied to solve the inverse problem of thermal tomography (Fig. 1) is described. In order to reduce the identification time of thermal parameters, two steps in the reconstruction procedure are proposed. The main idea is to introduce in the first phase of reconstruction a one-dimensional (1-D) model of heat exchange (Fig. 2) followed by analysis of a 3-D model using the preliminary 1-D data. In addition, some procedures for limiting the input data for the full reconstruction algorithm are introduced (Fig. 3). The concept is based on extracting basic information on properties of the tested object from one-dimensional simulations: detection of defect position - initial indication of the depth and its approximate size. In order to analyze properties of the algorithm, series of simulations that define the conditions for deployment of various defects (Fig.4. Tab. 1) are shown. The reconstruction results are presented in Section 5 as a graphical representation of the reconstructed depths of defects (Figs. 5 and 6). In addition, the absolute error and the defect depth reconstruction accuracy are given in Tabs. 2 and 3, respectively . Interpretation of the results shows that it is reasonable to use the 1-D model of heat transfer for reconstruction, however further development of algorithms and solutions is necessary to allow automatic transfer of appropriate results for the 3-D structure.

6

Macromodelling of fermentation process of municipal solid organic waste at biogas plants on the acidogenesis stage

51%

Hural I. , Dyvak M. , Stakhiv P.

Journal of Applied Computer Science

|

2016

|

tom Vol. 24, nr 1

17--35

EN

In this work the task of modeling processes of anaerobic microbiological fermentation with keeping the balance on the stages of hydrolysis and acidogenesis was considered. It was proposed and justified to build the model at the stage of acidogenesis in the form of interval difference operator (IDO). The structure identification method of IDO on the principles of honey bee colony functioning in the food search process, which provides the possibility of obtaining simple IDO structures with specified prognostic properties relative to existing methods, was substantiated.

7

Modelowanie liniowych systemów stacjonarnych za pomocą systemów Laguerre'a

38%

Ciesielski G.

Kwartalnik Elektroniki i Telekomunikacji

|

2000

|

tom Vol. 46, nr 2

129-147

PL

Artykuł omawia zagadnienia identyfikacji strukturalnej i parametrycznej modeli liniowych systemów stacjonarnych. Do opisu przyjęto strukturę modeli Laguerre'a. Przedstawiona tu teoria wynika z jednolitej ogólnej teorii operatorowej systemów, zarówno liniowych jak i nieliniowych. Jednolita ogólna teoria operatorowa systemów jest rozwijana przez autorów artykułu od szeregu lat ([7] - [24]). W artykule omówiono również program Turbo Wiener TM, opracowany i rozwijany przez autora dla systemu operacyjnego MS Windows, który pozwala wyznaczyć modele i korektory systemów stacjonarnych, zarówno liniowych jak i nieliniowych, wykorzystując przy tym wspomnianą jednolitą ogólną teorię operatorową systemów. Przedstawiono tu również wyniki obliczeń otrzymanych za pomocą programu Turbo Wiener TM, dla typowych liniowych systemów stacjonarnych.

EN

The problem of structure and parameter identifications of models of linear time - invariant system is presented in this paper. The structure of Laguerre models is applied to they describes. Presented theory invoves from uniform general operator's theory of systems linear as well as nonlinear. Uniform general operator's theory of systems has evaluated by author of this paper, from several years ([7] - [24]). In this paper, the Turbo Wiener TM program, designed and evaluated by authors for MS Windows operational system, is presented. This program lets to calculate the models and correctors of time - invariant systems which are linear nonlinear. There is applied uniform general operator's theory of systems. This paper presents too the results of computation by use of program Turbo Wiener TM for typical linear time - invariant systems.

8

Korekcja liniowych systemów stacjonarnych za pomocą systemów Laguerre'a

38%

Ciesielski G.

Kwartalnik Elektroniki i Telekomunikacji

|

2000

|

tom Vol. 46, nr 2

149-161

PL

Artykuł omawia zagadnienia identyfikacji strukturalnej i parametrycznej modeli korektorów liniowych systemów stacjonarnych. Do ich opisu przyjęto strukturę modeli Laguerre'a. Przedstawiona tu teoria wynika z jednolitej ogólnej teorii operatorowej systemów, zarówno liniowych jak i nieliniowych. Jednolita ogólna teoria operatorowa systemów jest rozwijana przez autora artykułu od szeregu lat ([7] - [24]). W artykule omówiono również program Turbo Wiener TM, opracowany i rozwijany przez autora dla systemu operacyjnego MS Windows, który pozwala wyznaczyć modele i korektory systemów stacjonarnych, zarówno liniowych jak i nieliniowych, wykorzystując przy tym wspomnianą jednolitą ogólną teorię operatorową systemów. Przedstawiono tu również wyniki obliczeń otrzymanych za pomocą programu Turbo Wiener TM, dla korektorów typowych liniowych systemów stacjonarnych.

EN

The problem of structure and parameter identifications of correctors models of linear time-invariant system is presented in this paper. The structure of Laguerre models is applied to they describes. Presented theory involes from uniform general operator's theory of systems linear as well as nonlinear. Uniform general operator's theory of systems has evaluated by author of this paper, from several years ([7] - [24]). In this paper, the Turbo Wiener TM program, designed and evaluated by autors for MS Windows operational system, is presented. This program lets to calculated the models and correctors of time - invariant systems, which are linear or nonlinear. There is applied uniform general operator's general theory of systems. This paper presents too the results of computation by use of program Turbo Wirner TM for correctors of typical linear time - invariant systems.

9

Korekcja wielowymiarowych systemów stacjonarnych przyczynowych

38%

Ciesielski G.

Kwartalnik Elektroniki i Telekomunikacji

|

2000

|

tom Vol. 46, nr 1

5-19

PL

Artykuł dotyczy korekcji wielowymiarowych systemów stacjonarnych (niekoniecznie liniowych). Rozważane są tu systemy, które dają się opisać za pomocą odwzorowań nazywanych operatorami. Autor artykułu od szeregu lat pracuje nad jednolitą ogólna teorią operatorową modelowania i korekcji wspomnianych tu systemów. Prace te doprowadziły go do uniwersalnego rozwiazania problemu doboru korektora w tych systemach. Okazuje się, że problem korekcji daje się sprowadzić do zadania modelowania operatora wzorcowego, który pojawia się w zadaniu korekcji. Rozwiązaniem pojawiającego się tu problemu jest zatem twierdzenie rozwiązujące zadanie modelowania wielowymiarowych systemów stacjonarnych ciągłych, o których mowa jest w rozprawie habilitacyjnej autora [8], s. 51 oraz w artykułach [10] i [14]. Uzyskane wyniki, podobnie jak w rozprawie habilitacyjnej [8], s. 51 oraz w artykułach o modelowaniu [10] i [14], są na tyle ogólne, że nie są bezpośrednio związane z żadnym ze znanych operatorów (np. Volterry, czy Wienera). Wytyczają one jedynie ścisłe granice, których nie można przekroczyć w każdym procesie korekcji wspomnianych wcześniej systemów. Streszczony tu artykuł jest naturalną kontynuacją prac autora prezentowanych w latach: 1992 i 1995, w Kwartalniku Elektroniki i Telekomunikacji oraz w latach 1992, 1994 i 1996 - 1998, na sympozjach dotyczących modelowania i symulacji systemów.

EN

This papers refers to the correction of multidimensional time-invariant systems (not necessarily linear). There are considering the systems, which can be described by maps, which are called operators. Author of this paper for several years has researched on the uniform general operator theory of modeling and correction of the mentiones systems. This research led him to the versatile resolution of the corrector choice problem for these systems. It appears that correction problem can be resolve itself into the task of reference operator modeling. This operator appears in the correction task. Resolution of appeared problem is then the theorem, which resolves the task of the multidimensional time-invariant continuos system modeling. This theorem is presented in the author's past PhD thesis [8], p. 51 and papers: [10] and [11]. The obtained results, similary to the past PhD thesis [8], p. 51, and papers [10] and [11] on modeling are such versatile that it is not directly related to the no one know operators (e.g. Volterra's or Wiener's). This results points out the formal limits, which are not to transgress in any one correction process of systems mentioned before. The summarized papers is natural continuation of autor's works presented in the years: 1994, and 1995, in Electronic and Telecommunication Quarterly, and in the years: 1992, 1994, and 1996 - 1998, on the symposiums on modeling and simulation of systems.