PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Mercury content in refuse-derived fuels
Hryb W., Matyasik P.
Archives of Environmental Protection
|
2018
|
Vol. 44, no. 4
65--72
EN
The paper presents the results of testing the mercury content in fuels derived from different types of waste. Legal and technical issues related to preventing mercury from getting into the environment are taken into account with respect to refuse-derived fuels used in cement plants. The mercury content in refuse-derived fuels is usually smaller compared to conventional fossil fuels such as coal. For this reason, the requirement imposed on the fuel suppliers that it must not exceed the limit of 0.3 ppm (in dry matter (DM)) seems over-restrictive and unjustified. The paper presents the sources of mercury contamination of waste with attention drawn to the significance of selective waste collection and the need to educate the public in this area. Presented are results of the testing of the mercury content in waste types characterized by a great variation of the parameter depending on the origin of the waste combustible fractions and their possible contact with waste containing mercury. Depending on the fuel origin (ballast from selective collection of waste, residue from mixed municipal waste sorting, bulky waste, car industry waste, sewage sludge), the average content of mercury in the fuels under analysis is included in the range of 0.1–1.15 ppm (DM).
PL
W artykule przedstawiono wyniki badań zawartości rtęci w paliwach z odpadów różnego pochodzenia. Uwzględniono zagadnienia prawne i techniczne związane z ograniczaniem przedostawania się rtęci do środowiska w aspekcie paliw z odpadów wykorzystywanych w cementowniach. W pracy przedstawiono źródła zanieczyszczeń rtęcią odpadów zwracając uwagę na znaczenie selektywnej zbiórki i konieczność edukacji społeczeństwa w tym zakresie. Analiza przebiega według własnej procedury badawczej przy pomocy analizatora rtęci MA-2 firmy Nippon Instruments Corperation. Analizator MA-2 jest przeznaczony do mierzenia zawartości rtęci w próbkach ciekłych, stałych i gazowych, bez konieczności uprzedniej mineralizacji próbek. Granica oznaczania wynosi 0,005 ng Hg. Gazem nośnym jest oczyszczone, suche powietrze. Urządzenie składa się z analizatora rtęci oraz komputera osobistego. Średnia zawartość rtęci w badanych paliwach w zależności od ich pochodzenia: balast z selektywnej zbiórki odpadów, pozostałość po sortowaniu odpadów komunalnych zmieszanych, odpady wielkogabarytowe, odpady z przemysłu samochodowego, osady ściekowe była w zakresie 0,1-1,15 ppm (s.m.). Zaprezentowano wyniki badań zawartości rtęci w paliwach z odpadów, które charakteryzowały się dużą zmiennością tego parametru w zależności od pochodzenia frakcji palnej odpadów i ewentualnego kontaktu z nimi odpadów zawierających rtęć. np. w przypadku odpadów komunalnych zmieszanych i wielkogabarytowych można zauważyć dużo większe wahania tego parametru. W skrajnych przypadkach dyskwalifikuje to te odpady do podania do produkcji paliwa bez specjalnych zabiegów przygotowawczych. Wiąże się to z tym, że do tych odpadów trafiają elementy zawierające rtęć takie jak zużyte świetlówki, baterie, termometry rtęciowe itp., które mieszkańcy niesegregujący odpadów umieszczają w pojemnikach na odpady.
2
Content available A survey of Alvis communication modes
Szpyrka M., Biernacki J., Matyasik P., Wypych M.
International Journal of Microelectronics and Computer Science
|
2017
|
Vol. 8, nr 1
1--9
EN
Concurrent systems appear natural and intuitive solution for many real IT problems. However, designing a more complex concurrent system is a difficult task. The main problem is that for systems that have more than several subsystems it becomes difficult to control their properties at the design stage. Applications of formal methods in the development process may remarkable reduce the problem. An important issue is to choose a suitable formal modelling language, that supports the required methods of communication between subsystems. The paper provides a survey of communication modes introduced to the Alvis modelling language and discusses how the communication modes may be used while modelling concurrent systems.
3
Content available remote Formal Description of Alvis Language with α0 System Layer
Szpyrka M., Matyasik P., Mrówka R., Kotulski L.
Fundamenta Informaticae
|
2014
|
Vol. 129, nr 1/2
161--171
EN
The paper presents a formal description of a subset of the Alvis language designed for the modelling and formal verification of concurrent systems. Alvis combines possibilities of a formal models verification with flexibility and simplicity of practical programming languages. Alvis provides a graphical modelling of interconnections among agents and a high level programming language used for the description of agents behaviour. Its semantic depends on the so-called system layer. The most universal system layer α0, described in the paper, makes Alvis similar to other formal languages like Petri nets, process algebras, time automata, etc.
4
Content available Communication with Environment in Alvis Models
Szpyrka M., Matyasik P., Mrówka R., Kotulski L.
International Journal of Electronics and Telecommunications
|
2012
|
Vol. 58, No. 3
247-254
EN
Alvis is a modelling language defined for the design and a formal verification of embedded systems. An Alvis model is a system of agents that usually run concurrently, communicate one with another, compete for shared resources etc. Due to the fact that an embedded system usually collects inputs that come from its environment and provides outputs that go to the environment it is necessary to provide a mechanism to describe such a communication. In contrast to another formal languages used to model embedded systems it is not necessary, using Alvis, to design such an environment as a part of a model. The paper deals with the problem of modelling a communication with an embedded system environment with Alvis.
5
Content available Introduction to modelling embedded systems with Alvis
Szpyrka M., Matyasik P., Mrówka R., Witalec W., Baniewicz J., Kotulski L.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2011
|
T. 15, z. 2
435-442
EN
Alvis is a modelling language for concurrent and real-time systems. It combines hierarchical graphical modelling with a Haskell-based high level programming language. The graphical layer is used to define data and control flow among agents. The code layer is used to describe the behaviour of individual agents. An Alvis model is transformed into a labelled transition system (LTS) that is used for formal verification of the model. The paper discusses some aspects of modelling embedded systems with Alvis.
PL
Alvis jest językiem modelowania rozwijanym z myślą o systemach współbieżnych w szczególności systemach wbudowanych. Łączy on w sobie graficzny język modelowania, przeznaczony do definiowania połączeń komunikacyjnych między agentami, z językiem programowania wysokiego poziomu, przeznaczonym do definiowania zachowania poszczególnych agentów. W artykule przedstawiono wybrane aspekty modelowania systemów wbudowanych z użyciem języka Alvis.
6
Alvis approach to Hexor robot controller development
Szpyrka M., Matyasik P., Mrówka R.
Elektronika : konstrukcje, technologie, zastosowania
|
2010
|
Vol. 51, nr 11
63-66
PL
Alvis jest językiem modelowania, rozwijanym głównie z myślą o projektowaniu i weryfikacji systemów wbudowanych. Wywodzi się on z algebr procesów CCS i XCCS, ale w języku tym równania algebraiczne zostały zastąpione przez język programowania wysokiego poziomu oparty na języku Haskell. W przeciwieństwie do algebr procesów, które umożliwiają wyłącznie tekstowy opis systemów wbudowanych, w języku Alvis struktura projektowanego systemu, z punktu widzenia przepływu danych i sterowania, przedstawiana jest graficznie za pomocą diagramów komunikacji. Poniższy artykuł zawiera wprowadzenie do języka Alvis zilustrowane modelem sterownika dla robota mobilnego Hexor II.
EN
Alvis is a novel modelling language defined especially for the embedded systems design and verification. The language has its origin in CCS and XCCS process algebras, but algebraic equations have been replaced with a Haskell based high level programming language. Moreover, Alvis provides communication diagrams for the visual modelling of an embedded system structure, especially from the control and data-flow point of view. This paper presents an introduction to Alvis based on a model of a controller for the Hexor II mobile robot.
7
Content available remote A formal approach to modelling of real-time systems using RTCP-nets
Szpyrka M., Szmuc T., Matyasik P., Szmuc W.
Foundations of Computing and Decision Sciences
|
2005
|
Vol. 30, No. 1
61-71
EN
The paper deals with an application of formal methods for modelling of real-time systems. The main objective of this approach is to support development of these systems in order to ensure that the produced software artefacts are correct, as well as to improve the development process. The Real-Time Coloured Petri nets (RTCP-nets), which are a subclass of time coloured Petri nets, are used as a modelling tool. To make the nets more suitable for modelling and analysis RTCP-nets are derived from coloured Petri nets. Applications of RTCP-nets as a modelling and verification tool are strongly supported by the so-called Adder Tools. The formal description of RTCP-nets is not presented here since the paper focuses on the main properties of these and the supporting facilities of the Adder Tools. The approach is illustrated by a practical example, that shows the expressiveness of RTCP-nets for modelling and verification of real-time systems. 1 1Supported by KBN Research Project No 4 T11C 035 24
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.