Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: modelowanie czasowe

Sortuj według:

Ogranicz wyniki do:

Application of time concepts from the MARTE profile in a Model- Driven Development case study

Derezińska A., Szczykulski M.

Przegląd Elektrotechniczny

2015

R. 91, nr 11

178-181

Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.

Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.

Modelowanie czasowe w systemach przepływu pneumatycznego z zastosowaniem metody Monte Carlo łańcuchów Markowa

Romanowski A., Grudzień K.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

2004

T. 8, z. 3

409-414

W niniejszym artykule przedstawiono wyniki zastosowania teorii Bayesa i algorytmu Monte Carlo łańcuchów Markowa (MCMC) do modelowania części przemysłowego procesu transportu pneumatycznego materiałów stałych. Zaproponowane podejście pozwoliło na opracowanie czasowego modelu zjawisk zachodzących w trakcie formowania złogu (slug) podczas przepływu w sekcji poziomej instalacji transportowej. Efektywność zaimplementowanych metod statystycznych została zweryfikowana na bazie symulacji danych pomiarowych odpowiadających wycinkowi procesu wykonanych przy użyciu pojemnościowej tomografii procesowej (ECT).

This paper presents effects of Bayes approach coupled with Markov chain Monte Carlo (MCMC) algorithm application to modeling of part of solids pneumatic conveying process. Proposed methods enabled formulation of temporal model of phenomena occurring during slug formation in the horizontal section of pneumatic conveyer. Implemented statistical methods are validated on the basis of electrical capacitance tomography (ECT) measurement data simulation of above-mentioned part of pneumatic conveying process.