Wyniki wyszukiwania - BazTech

1

Verification of Dynamic Behaviour in Qualitative Molecular Networks Describing Gene Regulation, Signalling and Whole-cell Metabolism

Grabowski M., Bokota G., Sroka J., Kierzek A.

Fundamenta Informaticae

|

2018

|

Vol. 160, nr 1/2

199--219

EN

We present a tool for the verification of qualitative biological models. These models formalise observed behaviours and interrelations of molecular and cellular mechanisms. During its development a model is continuously verified. Predicted behaviours are compared with behaviours observed in experimental data. Moreover, the model must not exhibit behaviours which contradict existing knowledge about capabilities of the biological system under investigation. Model development is an iterative process involving many rounds of prediction, verification and refinement. Due to the complexity of biological systems this process is laborious and error prone, which motivates the development of “model debugging” tools. The qualitative models we investigate represent large-scale molecular interaction networks describing gene regulation, signalling and whole-cell metabolism. We integrate a steady state model of whole-cell metabolism with a dynamic model of gene regulation and signalling represented as a Petri net. This Quasi-Steady State Petri Net (QSSPN) representation allows the generation of dynamic sequences of molecular events satisfying substrate, activator, inhibitor and metabolic flux requirements at every state transition. The reachability graph of the dynamic part of the model is examined and for every transition in this graph the satisfaction of metabolic flux requirements is verified by well-established linear programming techniques. Our approach is based on network connectivity alone and does not require any kinetic parameters. We demonstrate the applicability of our method by analysing a large-scale model of a nuclear receptor network regulating bile acid homeostasis in human hepatocyte. To date, simulation and verification of QSSPN models have been performed exclusively by Monte Carlo simulation. Random walks through the state space were used to find examples of behaviour satisfying properties of interest. Here, we provide for the first time for QSSPN models an exhaustive analysis of the state space up to a finite depth, which is possible due to several effective optimisations. Contrary to the Monte Carlo approach, we can prove that certain behaviour cannot be realised by the model within a given number of steps. This allows rejection of models which are not capable to reproduce experimentally observed behaviours, as well as verification that biologically unrealistic behaviours cannot occur in the simulation. We show an example of how these features improve identification of problems in large scale network models.

2

On Determining the AND-OR Hierarchy in Workflow Nets

Sroka J., Hidders J.

Fundamenta Informaticae

|

2017

|

Vol. 156, nr 1

95--123

EN

This paper presents a notion of reduction where a WF net is transformed into a smaller net by iteratively contracting certain well-formed subnets into single nodes until no more of such contractions are possible. This reduction can reveal the hierarchical structure of a WF net, and since it preserves certain semantic properties such as soundness, can help with analysing and understanding why a WF net is sound or not. The reduction can also be used to verify if a WF net is an AND-OR net. This class of WF nets was introduced in earlier work, and arguably describes nets that follow good hierarchical design principles. It is shown that the reduction is confluent up to isomorphism, which means that despite the inherent non-determinism that comes from the choice of subnets that are contracted, the final result of the reduction is always the same up to the choice of the identity of the nodes. Based on this result, a polynomial-time algorithm is presented that computes this unique result of the reduction. Finally, it is shown how this algorithm can be used to verify if a WF net is an AND-OR net.

3

Wyznaczanie współczynnika wnikania ciepła podczas wrzenia naturalnych czynników chłodniczych w kanałach poziomych

Sroka J.

Zeszyty Naukowe. Inżynieria Środowiska / Politechnika Opolska

|

2016

|

nr 359, z. 9

75--78

EN

Article present analysis of calculation methods to predict heat transfer coefficient of in-pipe boiling natural refrigerants like carbon dioxide, ammonia and propane. Analysis were perform for existing calculation methods prepared for synthetic refrigerants and consisted of number of points within ±50%, mean absolute error and average deviation.

4

Nanokrystaliczne metale wielowarstwowe jako materiały konstrukcyjne: własności i proces wytwarzania

Bajda S., Kwiecień M., Sroka J., Krzyżanowski M.

Hutnik, Wiadomości Hutnicze

|

2016

|

Vol. 83, nr 2

72--77

PL

W artykule przedstawiono charakterystykę procesu wytwarzania nanokrystalicznych wielowarstwowych materiałów konstrukcyjnych. Omówiono zalety i wady poszczególnych rozwiązań technologicznych, a także potencjalne zastosowania wyrobów gotowych. Przeprowadzono analizę numeryczną procesu „duplex” z wykorzystaniem metody elementów skończonych i modelowania wieloskalowego oraz uzyskano rozkład naprężeń i odkształceń wokół utelniających się powierzchni rozdziału. Uwzględniono obecność klastrów zgorzelinowych o różnych wymiarach. Wyniki numeryczne są zbliżone do wyników badań doświadczalnych.

EN

Processing of the nano-crystallised multilayered metallic materials designed for structural applications is discussed in the work. Advantages and disadvantages of different technological approaches as well as the potential product applications are discussed. As an example, numerical analysis of a duplex technique is presented. The analysis is based on application of the finite element multi-level methodology. The stress and strain distributions around the oxidised interface of the multilayered metallic material are analysed. Numerical results show a good agreement with available experimental data.

5

Towards processing of multilayered metallic materials : constrained compression testing

Bajda S., Krzyzanowski M., Kwiecień M., Majta J., Lisiecki Ł., Sroka J.

Computer Methods in Materials Science

|

2016

|

Vol. 16, No. 2

76--86

EN

The complex analysis of the interface behaviour has been performed during constrained compression testing of 316L steel plates as a way towards processing of the multilayered metallic materials. The approach is based on a combination of experiments under appropriate operating conditions and computer modelling based on finite element (FE) methodology for interpretation of the test results. Multilayered metallic structure was successfully obtained using the applied constrained compression testing technique. The specially designed die and compression specimens allowed for joining of the steel plates together even at room temperatures. The performed numerical analysis using the ABAQUS/Standard FE software revealed the strain and stress localisation areas within the multilayered structure among other features that are described in the paper. The results are in agreement with experimental observations.

PL

Przeprowadzono kompleksową analizę ewolucji naprężeń i odkształceń w pobliżu granic rozdziału podczas ograniczonego ściskania płytek ze stali 3I6L w celu opracowania procesów wytwarzania wielowarstwowych materiałów metalicznych, w tym o budowie nanostrukturalnej. Przeprowadzone badania są oparte na połączeniu badań doświadczalnych w odpowiednich warunkach / modelowaniem komputerowym opartym o metodę elementów skończonych (MES) w celu interpretacji wykonywanych prób. Przeprowadzone badania pozwoliły na uzyskanie wielowarstwowej struktury metalicznej obserwowanej w przekroju poprzecznym próbek poddanych ograniczonemu ściskaniu. Specjalnie zaprojektowana matryca oraz próbki do ściskania pozwoliły na połączenie stalowych płytek nawet w temperaturze pokojowej. Przeprowadzona analiza numeryczna z wykorzystaniem oprogramowania ABAQUS/Standard ujawniła obszary lokalizacji naprężeń i odkształceń wewnątrz wielowarstwowej struktury, a także inne elementy, które zostały opisane w pracy. Wyniki analizy numerycznej są zgodne z wynikami badań doświadczalnych.

6

Modelling of transient temperature field and phase transformation change : a way for residual stress management in large size forgings

Sroka J., Talamantes-Silva J., Krzyzanowski M., Rainforth W. M.

Computer Methods in Materials Science

|

2016

|

Vol. 16, No. 2

87--96

EN

The paper is devoted to development of the modelling approach based on 3D finite-element (FE) analysis of the transient temperature fields and the thermally induced phase transformations as a way towards residual stress management in large size forgings. Heating, holding and cooling stages are under consideration and modelling of both the austenite formation and decomposition are taken into account. The thermal-mechanical FE model capable of taking into account changes in the specific volume during ferrite/austenite transformation is coupled with the relevant phase transformation model in order to allow simulation of the transient stresses due to both thermal contraction and the dilatometric effect. The model is capable of taking into account different boundary conditions for the heat transfer problem based on the available data. To improve the predictive abilities, the following two commercial FE codes, such as MSC Marc 2013.1.0 and Abaqus/Standard 6.12, are used for solving the non-steady state 3D problem of the metal expansion/contraction during consecutive heating, holding and cooling stages. Although all the mentioned process steps are considered, the model is dedicated to be used for modelling the cooling stages of large forgings and castings.

PL

W artykule przedstawiono wyniki modelowania numerycznego 3D procesów obróbki cieplnej wielkogabarytowych odkuwek o masie 300÷600 ton. W celu obliczenia niestacjonarnego pola temperatur oraz zachodzących podczas procesu nagrzewania i chłodzenia zmian w przebiegu cieplnie indukowanej przemiany fazowej wykorzystano metodę elementów skończonych (MES). Zaproponowany zestaw modeli może stanowić narzędzie do badań naprężeń własnych, powstających podczas obróbki cieplnej odkuwek charakteryzujących się dużą masą i wymiarami. W modelu uwzględniono etapy nagrzewania, wytrzymania w danej temperaturze i chłodzenia materiału. Modelowanie przemian fazowych odbywa się w osobnym, powiązanym z proponowanym modelem podprogramie, gdzie przewidywane są zmiany objętości odkuwki podczas przemian ferrytycznej i austenitycznej. Umożliwia to odpowiednią symulację powstawania naprężeń chwilowych, wynikających z cieplnego skurczu materiału. Model może uwzględniać różne warunki brzegowe w celu dostosowania do danego problemu cieplnego. W celu poprawy dokładności uzyskiwanych wyników wykorzystano komercyjne oprogramowanie MES tj. MSC Marc 2013.1.0 oraz Abaqus/Standard 6.12. To oprogramowanie zostało wykorzystane w celu rozwiązania równań nieustalonego stanu materiału, tj zmian objętości podczas kolejnych stadiów nagrzewania, wytrzymania i chłodzenia. Efekty działania zaproponowanego modelu zostały przedstawione na przykładzie wybranego etapu chłodzenia.

7

Ocena możliwości wykorzystania istniejących metod obliczeniowych wyznaczania wartości współczynnika wnikania ciepła podczas wrzenia propanu w kanałach poziomych

Sroka J., Witczak S.

TTS Technika Transportu Szynowego

|

2015

|

R. 22, nr 12

2122--2126, CD

PL

W artykule omówiona została ocena możliwości wykorzystania istniejących metod obliczeniowych wyznaczania wartości współczynnika wnikania ciepła, które zostały opracowane dla syntetycznych czynników chłodniczych, w kontekście możliwości ich wykorzystania dla wrzenia propanu w kanałach poziomych. Analizie zostały poddane wybrane, często cytowane w literaturze, metody obliczeniowe w porównaniu z dostępnymi w literaturze wynikami badań eksperymentalnych dla różnych warunków cieplno-przepływowych wrzenia propanu.

EN

Paper discuss the assessment of possibility of using existing calculation methods, which has been developed for synthetic refrigerants, to predict heat transfer coefficient of propane boiling in horizontal channels. The analysis was made for selected calculation methods compared with experimental results taken from literature in various thermal-flow conditions for boiling propane.

8

Analiza metod obliczeniowych wyznaczania wartości współczynnika wnikania ciepła podczas wrzenia dwutlenku węgla w rurach poziomych

Sroka J., Witczak S.

Inżynieria i Aparatura Chemiczna

|

2015

|

Nr 6

358--359

PL

Przedstawiono analizę istniejących metod obliczeniowych wyznaczania współczynnika wnikania ciepła podczas wrzenia dwutlenku węgla w rurach poziomych. Stworzono bazę danych eksperymentalnych z literatury dotyczących wrzenia dwutlenku węgla. Obliczono wartości współczynnika wnikania ciepła przy użyciu różnych istniejących metod obliczeniowych. Następnie dokonano porównania obliczonych i eksperymentalnych wartości współczynnika wnikania ciepła.

EN

The paper present analysis of existing heat transfer coefficient calculation methods for a case of carbon dioxide boiling inside horizontal channels. During the research a data base was prepared comprising the experimental data taken from literature and dealing with carbon dioxide boiling heat transfer coefficient. The heat transfer coefficient values were calculated employing different existing methods. A comparison between experimental and calculated heat transfer coefficient values is also shown.

9

On Generating Hierarchical Workflow Nets and their Extensions and Verifying Hierarchicality

Sroka J., Chrząstowski-Wachtel P., Hidders J.

Fundamenta Informaticae

|

2015

|

Vol. 141, nr 4

367--398

EN

For designing and analyzing complex workflow nets the notion of hierarchical decomposition can be essential for keeping the structure of the workflow comprehensible. In this paper we study two classes of nets: hierarchical nets and extended hierarchical nets. The first have a simple hierarchical structure and can be defined in terms of five simple refinement rules. We show that for arbitrary nets it can be easily verified if they can be constructed this way, thus confirming their good design and the properties following from it. As we prove, this can be done by performing the refinements in reverse, i.e., by contracting subnets into single nodes. It is shown that the choice of the contracted subnet does not change the final result of the process, and therefore this procedure for checking the hierarchical structure requires no back-tracking. The second class, extended hierarchical nets, is an extension of the first class where two types of extra refinements are introduced that allow to indicate (1) the synchronization between two parallel running subworkflows or (2) the transfer of a thread from one subworkflow to another one. These refinements come with natural and necessary preconditions that ensure that result is still a sound workflow net. In case (1) where we want to synchronize two actions in two subworkflows, we should convince ourselves that the subworkflows represent parallel threads which always execute together, otherwise a deadlock could easily arise. Dually, in case (2), if after the moment that a choice was made between two subworkflows we at a later point in the workflow want to allow a transfer between them, this can be done safely provided that we did not enter any thread fork in the meantime. We show that the class of extended hierarchical nets, which is defined by adding these two additional types of refinement, is a proper superset of the hierarchical nets, but still all such nets exhibit the correctness property of *-soundness. We do this by showing that the class is a proper subset of the AND-OR nets which were in earlier work shown to have this property.

10

|ΔNSASAC| > 4dB – i co dalej?

Sroka J.

Przegląd Elektrotechniczny

|

2014

|

R. 90, nr 7

14--17

PL

Pojęcie tłumienia środowiska jest rozszerzeniem na zjawiska polowe pojęcia tłumienia używanego w teorii obwodów. Zależy ono od anten użytych do jego pomiaru i dlatego nie może być wykorzystywane jako obiektywny wskaźnik przydatności komór częściowo bezodbiciowych oraz poligonów pomiarowych do badań emisji promieniowanej. Za taki wskaźnik przyjęto w dokumencie CISPR 16-1-4 znormalizowane tłumienie środowiska normalized site attenuation NSA. Normalizacja ta zasadza się na takiej modyfikacji tłumienia środowiska, aby usunąć z niego zależność od użytych anten. Na przykładzie „pomiarów” tłumienia środowiska zestawem anten izotropowych i dipoli Hertza pokazano w artykule, że taka ekstrakcja jest możliwa. Pomiarów takich nie da się przeprowadzić, natomiast tłumienie pomierzone innym zestawem anten da się przeliczyć na wartości tłumienia jakie uzyskałoby się z wykorzystaniem anten izotropowych lub dipoli Hertza. Kryterium przydatności komór do badań jest odchyłka NSA od wartości teoretycznej o mniej niż ±4dB. Artykuł pokazuje też jak obliczać teoretyczną wartość NSA. Komór w których |ΔNSASAC| > 4dB można używać do badań jeśli pomierzy się dla nich współczynnik komory chamber factor CF oraz współczynnik szarości gray factor GF. Według terminologii statystyki matematycznej pierwszy ze współczynników jest wartością oczekiwaną i można go użyć jako poprawki, drugi jest błędem granicznym do wykorzystania w bilansie niepewności pomiaru.

EN

The term site attenuation is used in the theory of electromagnetic fields as extension of the term attenuation well known in the circuit theory. The site attenuation depends on the antennas’ set it is measured with. Therefore it is not an objective indicator in evaluation of the test sites such as semi anechoic chambers SAC and open area test sites OATS, intended for testing of radiated interference. The so called normalized site attenuation NSA is defined as such indicator CISPR 16-1-4. This is the site attenuation after extraction of dependence on antennas’ parameters. With the site attenuation “measured” with the isotropic antennas and Hertz dipoles the independence of the NSA from the antennas parameters is confirmed in the paper. Moreover the formulas derived here give the hints for calculation of the theoretical NSA, that is the reference by the evaluation of the test sites. The test site is conform with the requirements of CISPR 16-1-4 if the measured NSA does not deviate about more than ±4dB from the theoretical one. Chambers with |ΔNSASAC| > 4dB can still be used for testing, provide they have the chamber factor CF and the gray factor GF measured. In the terminology of the mathematical statistics the first one is the expected value and can be used for correction. The second is the maximal error and can be used in the measurement uncertainty budget. |ΔNSASAC| > 4dB – and what’s next?

11

Profilaktyka chorób odzwierzęcych innych niż kleszczowe

Dutkiewicz J, Wójcik-Fatla A., Zając V., Sroka J., Cisak E.

Bezpieczeństwo Pracy : nauka i praktyka

|

2014

|

nr 6

12-14

PL

W Polsce występuje co najmniej 31 ważnych patogenów (wirusy, bakterie, grzyby, pierwotniaki, robaki), wywołujących zawodowe choroby odzwierzęce inne niż odkleszczowe. Spośród tych patogenów 9 przekazywanych jest głównie drogą powietrzną, 9 - drogą pokarmową i 13 - drogą kontaktu bezpośredniego przez skórę i/lub błony śluzowe. Najważniejsze kierunki profilaktyki chorób odzwierzęcych obejmują: utrzymywanie czystości w pomieszczeniach dla zwierząt i dokonywanie okresowych dezynfekcji, stosowanie odzieży ochronnej i sprzętu ochrony osobistej, profilaktykę medyczną, wybijanie zagrożonych stad, tępienie gryzoni, szczepienia ochronne ludzi i zwierząt, zachowanie szczególnej ostrożności przy odbieraniu porodów u przeżuwaczy, przestrzeganie zasad higieny przy spożywaniu pokarmów i wody i edukację zdrowotną.

EN

In Poland, there are at least 31 important pathogens (viruses, bacteria, fungi, protozoa, helminths) causing occupational zoonotic diseases other than tick-borne. Of that number, 9 are transmitted mainly by airborne route, 9 by alimentary route and 13 by direct contact through the skin and/or mucous membranes.The main directions using protective clothing and equipment, medical prophylaxis, eradicating endangered flocks, combating rodents, vaccinating humans and animals, taking precautions at parturitions of ruminants, maintaining hygiene at food and water consumption, and health education.

12

Profilaktyka chorób odkleszczowych

Dutkiewicz J, Cisak E., Wójcik-Fatla A., Zając V., Sroka J.

Bezpieczeństwo Pracy : nauka i praktyka

|

2014

|

nr 4

21-23

PL

Chorobami odkleszczowymi nazywamy choroby zakaźne przenoszone za pośrednictwem drobnych pajęczaków, zwanych kleszczami (lxodida). W Polsce są one wywoływane przez co najmniej 5 gatunków (lub grup gatunków) mikroorganizmów (wirusów, bakterii, pierwotniaków). Spośród nich największe znaczenie ma krętek Borrelia burgdorferi wywołujący boreliozę z Lyme, który jest częstą przyczyną chorób zawodowych u leśników i rolników. Główne kierunki profilaktyki chorób odkleszczowych obejmują: szczepienia ochronne przeciwko kleszczowemu zapaleniu mózgu i opon mózgowo-rdzeniowych, unikanie spożywania surowego mleka, stosowanie odpowiedniej odzieży ochronnej podczas pracy w lesie lub na obrzeżach lasu, przegląd ciała i wzięcie natrysku po powrocie z pracy w lesie, szybkie i umiejętne usuwanie kleszczy przyssanych do ciała, stosowanie repelentów, edukację zdrowotną, opiekę medyczną nad zagrożonymi pracownikami leśnictwa i rolnictwa, działania prewencyjne ze strony pionu bhp lasów państwowych, redukcję liczebności kleszczy w środowisku naturalnym.

EN

Tick-borne diseases are infectious diseases transmitted by small arachnids called ticks (lxodida). In Poland, these diseases are caused by at least five species (or groups of species) of microorganisms (viruses, bacteria. protozoa). Of which, the most important is the spirochete Borrelia burgdorferi causing Lyme borreliosis, which is the frequent cause of occupational diseases in the forestry and agricultural workers. The main directions of the prevention of tick-borne diseases include: vaccination against tick-borne encephalitis, avoiding of the consumption of raw milk, use of the proper clothing during work in the forest, inspection of the body and taking shower after coming from forest. quick and proper removing of ticks adhered to body, use of repelltents, health education, providing medical care for endangered forestry and agricultural workers, preventive actions pursued by the management of the forest service, reduction of the tick number of natural environment.

13

Pomiar współczynnika podziału napięcia (VDF) dla sieci AMN/LISN

Sroka J., Dróżdż T., Bąbka R.

Śląskie Wiadomości Elektryczne

|

2013

|

Nr 2 (107)

19--23

PL

W artykule przedstawiono metodę pomiaru współczynnika podziału napięcia na zasadzie bezpośredniego pomiaru parametrów rozproszenia czwórnika za pomocą wektorowego analizatora parametrów S danej sieci sztucznej. Procedura pomiarowa VDF jest alternatywnym rozwiązaniem do stosowanego obecnie i prowadzi pośrednio do uzyskania mniejszych niepewności pomiarowych w badaniach EMI dla oceny propagacji zaburzeń przewodzonych.

EN

The paper deals with the measurement of voltage division factor by means of direct measurement of complex scattering parameters of four-terminal network and with use of vector network analyzer of parameters S of the given artificial grid. The VDF measurement procedure is the alternative solution for the one in use and guides indirectly to obtain the less uncertainty in measurement in the EMI investigation for the estimation of propagation of disturbance of conduction.

14

Mismatch Error by Measurement of Radiated Disturbances in EMC Testing

Sroka J.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 2

92-95

EN

Radiated disturbances by EMC testing are sensed with an antenna and transmitted via the 50[omega] coaxial path to the receiver. The recalculation factor between the receiver signal and the measurand is defined with neglecting mismatching. As a matter of course the mismatch error appears. It is not determined but estimated and built-in into the measurement uncertainty budget. Formulas for the mismatch error by the junction antenna-receiver and with the inserted path are derived. Two approaches to estimation of the mismatch error in the bands C and D in the frequency range from 30MHz to 1GHz: the first recommended in the document CISPR 16-4-2 and the second with the Monte Carlo method are presented and illustrated with the numerical calculations. Evidently the first approach is to pessimistic and gives vastly overestimated error.

PL

Zaburzenia promieniowane w badaniach kompatybilności elektromagnetycznej mierzone są anteną połączonaą z miernikiem zaburzeń koncentrycznym torem pomiarowym o impedancji charakterystycznej 50�[omega]. Wspóczynnik przeliczeniowy sygnalu miernika na wielkość mierzoną anteną (mezurand) zdefiniowany jest z pominięciem niedopasowań w torze pomiarowym. Jest to jeden ze składników błędu pomiaru. Błędu tego nie da sie wyznaczy�ć w sposób deterministyczny. Jest on szacowany i wbudowany w bilans niepewno�ści pomiaru. Wyprowadzono wzory na dwa rodzaje błędu niedopasowania: dla bezpośredniego połączenia anteny z odbiornikiem oraz z wtrąconym torem pomiarowym. Estymacjeę błędu niedopasowania polecaną w dokumencie CISPR 16-4-2 oraz z wykorzystaniem metody Monte Carlo zilustrowano obliczeniami numercznymi dla pomiaru pola elektrycznego zaburze�ń promieniowanych w pasmach C i D, w przedziale częstotliwości od 30MHz do 1GHz. Podej�ście proponowne w dokumencie CISPR 16-4-2 jest zbyt pesymistyczne i prowadzi do znacznego przeszacowania błędu.

15

Improvement of the E-Field antenna for susceptibility testing

Starzyński J., Sroka J.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 4a

114-116

EN

The paper deals wit shape optimization of the E-Field generating antenna for susceptibility testing according to military EMC standard. An optimized antenna shapes allows to minimize the cost of power amplifier used for testing and thus brings substantial economical benefits. The optimal design uses numerical FEM model of antenna and applies Levenberg-Marquardt algorithm to minimize the objective function correlated with non-symmetrical pattern of generated field.

PL

Artykuł przedstawia metodykę optymalnego projektowania anteny generującej pole elektryczne do testów narażeniowych zgodnych z wojskowymi standardami kompatybilności elektromagnetycznej. Zoptymalizowana antena umożliwia zmniejszenie kosztów układu zasilającego przy zachowaniu nie gorszych parametrów generowanego pola elektrycznego. Do optymalnego projektowania wykorzystano algorytm Levenberga- Marquardta i numeryczny model otoczenia anteny wykonany za pomocą metody elementów skończonych.

16

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part I

Sroka J., Hidders J.

Fundamenta Informaticae

|

2009

|

Vol. 92, nr 3

279-299

EN

Workflow development and enactment workbenches are becoming a standard tool for conducting in silico experiments. Their main advantages are easy to operate user interfaces, specialized and expressive graphical workflow specification languages and integration with a huge number of bioinformatic services. A popular example of such a workbench is Taverna, which has many additional useful features like service discovery, storing intermediate results and tracking data provenance. We discuss a detailed formal semantics for Scufl - the workflow definition language of the Taverna workbench. It has several interesting features that are notmet in other models including dynamic and transparent type coercion and implicit iteration, control edges, failure mechanisms, and incominglinks strategies. We study these features and investigate their usefulness separately as well as in combination, and discuss alternatives. The formal definition of such a detailed semantics not only allows to exactly understand what is being done in a given experiment, but is also the first step toward automatic correctness verification and allows the creation of auxiliary tools that would detect potential errors and suggest possible solutions to workflow creators, the same way as Integrated Development Environments aid modern programmers. A formal semantics is also essential for work on enactment optimization and in designing the means to effectively query workflow repositories. This paper is the first of two. It defines, explains and discusses fundamental notions for describing Scufl graphs and their semantics. Then, in the second part, we use these notions to define the semantics and show that our definition can be used to prove properties of Scufl graphs.

17

Towards a Formal Semantics for the Process Model of the Taverna Workbench. Part II

Sroka J., Hidders J.

Fundamenta Informaticae

|

2009

|

Vol. 92, nr 4

373-396

EN

Workflow development and enactment workbenches are becoming a standard tool for conducting in silico experiments. Their main advantages are easy to operate user interfaces, specialized and expressive graphical workflow specification languages and integration with a huge number of bioinformatic services. A popular example of such a workbench is Taverna, which has many additional useful features like service discovery, storing intermediate results and tracking data provenance. We discuss a detailed formal semantics for Scufl - the workflow definition language of the Taverna workbench. It has several interesting features that are notmet in other models including dynamic and transparent type coercion and implicit iteration, control edges, failure mechanisms, and incominglinks strategies. We study these features and investigate their usefulness separately as well as in combination, and discuss alternatives. The formal definition of such a detailed semantics not only allows to exactly understand what is being done in a given experiment, but is also the first step toward automatic correctness verification and allows the creation of auxiliary tools that would detect potential errors and suggest possible solutions to workflow creators, the same way as Integrated Development Environments aid modern programmers. A formal semantics is also essential for work on enactment optimization and in designing the means to effectively query workflow repositories. This paper is the second of two. In the first one [13] we have defined, explained and discussed fundamental notions for describing Scufl graphs and their semantics. Here, in the second part, we use these notions to define the semantics and show that our definition can be used to prove properties of Scufl graphs.

18

Rola lokalnych źródeł współpracujących z siecią dystrybucyjną 110 kV w procesie obrony i odbudowy krajowego systemu elektroenergetycznego

Rychlak J., Kuczyński R., Sroka J., Grządzielski I.

Archiwum Energetyki

|

2009

|

T. 39, nr 1

17-28

PL

Praca wyspowa ciepłowniczych bloków parowych w elektrociepłowniach miejskich może być rozwiązaniem bardzo korzystnym dla poprawy bezpieczeństwa energetycznego dużej aglomeracji miejskiej. W artykule przedstawiono problematykę możliwości pracy elektrociepłowni podczas zakłóceń, w tym przede wszystkim identyfikacji granicznych warunków technicznych oraz identyfikacji ograniczeń wynikających z lokalizacji takich źródeł. Podjęto próby oceny możliwości technicznych przejścia, jednostek wytwórczych elektrociepłowni do pracy wydzielonej z systemu oraz opisano warunki odbudowy zdolności wytwórczych elektrociepłowni przy zasilaniu z zewnątrz.

EN

Island-type operation of cogeneration steam units in municipal heat and power stations can be an advantageous solution leading to the improvement of power security in a large municipal agglomeration. In the paper, questions referring to the operating conditions of heat and power stations under disturbances have been presented, and the identification of limiting technical conditions as well as identification of limitations resulting from the location of such sources have been underlined. Technical possibilities to change the operation of generating units in a combined heat and power station into the isolated operation mode have been assessed and the conditions for restoration of its generating capabilities with external feeding have been described.

19

Rola oficera łącznikowego w systemie dowodzenia międzynarodowej operacji pokojowej na przykładzie sił Kosovo Forces (KFOR)

Sroka J.

Zeszyty Naukowe AON

|

2005

|

nr 1(58)

246-253

EN

Currently almost all peace operations are multinational. The article describes a complicated specific character of commanding multinational forces and shows the topology of liaison officers in international operation command system basing on the KFOR forces seen from the multinational brigade level. It also presents liaison officers' role and tasks in the multinational brigade command system on the example of Multinational Brigade East of KFOR forces.

20

Radio frequency unintentional emission from arrangements of power

Sroka J.

Przegląd Elektrotechniczny

|

2005

|

R. 81, nr 4

7-16

EN

Power electronics arrangements such as frequency converters or switched mode power supplies are sources of unintentional emission electromagnetic energy. It is due to switching DC circuit under load. The nowadays power transistors are very fast. Their slopes go down to several ns. Frequency spectrum of such transients goes up to several tenth of MHz. Contemporary arrangements of power electronics emit disturbances in radio frequency range. In EMC standards measurement methods of emission of radio frequency disturbances are defined. It is presumed that for apparatus in conformity with those standards, conformity with protection requirements of the EMC directive deems to exist. The first and crucial part of these measurements is emission of conducted disturbances in the AC supply line. The paper describes this measurement methods, set ups and instrumentations according to EN55011, EN55022 standards and CISPR 16-1 document. Moreover operation principle of the receiver of electromagnetic disturbances is explained. This enable the reader to interpret properly the measurement results. Measurement strategy with peak, Quasi peak and Average detectors commonly used for speeding up measurement time is presented. Measuring in independent EMC laboratory with prospect of ,,go-not-go" verdict is not a clever way to cope with EMC problems. Knowledge about how to improve EMC of arrangement is of great worth. There are several systematic EMC principles which have to be complied by each EUT and specially by power electronics arrangements. Most important among them are filter installation and shielding. These principles are discussed in the paper.

PL

Urządzenia elektroniki przemysłowej, takie jak zasilacze impulsowe czy przekształtnik częstotliwości są źródłem niepożądanej emisji energii elektromagnetycznej, która powstaje w wyniku przełączania napięcia stałego pod obciążeniem. Tranzystory mocy najnowszej generacji mają bardzo krótkie czasy przełączania, sięgające kilku ns. Widmo częstotliwości takich zaburzeń rozciąga się do kilkudziesięciu MHz. Dlatego współczesne urządzenia elektroniki przemysłowej emitują zaburzenia w zakresie częstotliwości radiowych. Normy EMC wymagają pomiaru emisji zaburzeń częstotliwości radiowych. Zakłada się, że dla urządzeń spełniających te normy można oczekiwać spełnienia wymagań ochrony zdefiniowanych w dyrektywie EMC. Podstawowym pomiarem jest emisja przewodzona do sieci zasilającej AC. W artykule opisana jest metoda pomiarów emisji przewodzonej, stanowiska oraz przyrządy pomiarowe zgodne z normami EN55011, EN55022 oraz dokumentem CISPP16-1. Wyjaśniona jest zasada pracy miernika zaburzeń elektromagnetycznych. Znajomość ta pozwala czytelnikowi właściwie interpretować wyniki pomiaru. Dalej przedstawiono strategię pomiaru z użyciem detektora wartości szczytowej, quasi-szczytowej oraz średniej. Zlecenie pomiarów niezależnemu laboratorium i uzyskanie wyników pozytywnych lub negatywnych nie jest dobrą metodą na poradzenie sobie z problemami EMC. Bardzo cenna jest wiedza na temat, jak poprawić kompatybilność urządzenia. Istnieją usystematyzowane zasady budowy kompatybilnych urządzeń elektronicznych, a urządzeń elektroniki mocy w szczególności. Do najważniejszych z nich należy filtracja oraz ekranowanie. Zagadnienia te są omówione w artykule.