Browsing by Subject "CSM"

Now showing 1 - 2 of 2

Access status: Open Access ,
Algorytm wyznaczania rozkładu potencjału elektrycznego dla trójwymiarowej tomografii pojemnościowej oparty na metodzie symulowanego ładunku
(Wydawnictwa AGH, 2007) Banasiak, Robert; Mazurkiewicz, Łukasz; Wajman, Radosław
Najczęściej stosowane w trójwymiarowej elektrycznej tomografii pojemnościowej techniki wyznaczania rozwiązania problemu prostego opierają się na metodzie elementów skończonych MES. Metoda elementów skończonych zastosowana dla zagadnienia 3D pochłania znaczne ilości zasobów sprzętowych komputera, jest czasochłonna obliczeniowo i wymaga podziału rekonstruowanej przestrzeni procesu na skończoną liczbą trójwymiarowych pikseli tworzących siatką 3D. W obrębie każdego elementu siatki definiuje się jednorodny materiał reprezentujący przenikalność elektryczną. Rozkład potencjału elektrycznego wyznacza się przy pomocy odpowiednich równań liniowych, aproksymujących równanie Laplace'a lub Poissona. Wady MES niekorzystnie stymulują rozwój systemów ECT 3D w kierunku zastosowań on-line. Autorzy [proponują] nowy algorytm wyznaczania rozkładu potencjału elektrycznego, który definiuje przenikalność elektryczną materiału dla węzłów siatki a wyznaczenie rozkładu potencjału elektrycznego odbywa się za pomocą metody symulowanego ładunku. Nowy algorytm pozwala w znaczący sposób zredukować czas przeprowadzenia etapu rozwiązywania zagadnienia prostego dla symulacji komputerowej systemu ECT 3D zachowując dokładność wyniku jaki generuje MES 3D przy znacznie wiąkszej uniwersalności zastosowań.
Access status: Open Access ,
Code generation for CSM/ECSM models in COSMA environment
(2007) Grabski, Waldemar; Nowacki, Michał
The COSMA software environment, developed in the Institute of Computer Science, WUT, was designed primarily for model checking of reactive systems specified in terms of Concurrent State Machines (CSM). However, COSMA supports also Extended CSM (ECSM). The extensions allow for using complex data types and pieces of C/C++ code, attributed to CSM states and/or transitions. Because of these extensions, ECSM models cannot be verifed by model checking, but they can be used as an intermediate step in code generation. The underlying CSM represent then the flow of control within cooperating components and the communication among them while the extensions specify the data structures and the details of their processing. The paper discusses the code generation from ECSM diagrams. The approach is illustrated with an example.