PL
 |
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 16

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
"Silikaty Polska" w Europie
100%
Kotulski L.
Ceramika Budowlana i Silikaty
|
2000
|
tom R. 42, nr 4
2-2
2
Content available Parallel allocation of the distributed software using node label controlled graph grammars
100%
Kotulski L.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2008
|
tom T. 12, z. 2
321-337
EN
Centralization of a graph's data is useful while we consider properties of some system specification but it seems to be not acceptable in the case of the support an efficient, high reliably system with a dynamic software allocation. In the paper, we introduce the aedNLC graph grammar, that has both polynomial computational complexity and enough descriptive power to coordinate parallel modification of a few local graphs (representing parts of the system), in such a way that the global consistency of the distributed system specification can be maintained.
PL
Rozważając własności specyfikacji systemów, utrzymujemy grafy w postaci scentralizowanej, ale dla efektywnego wspierania dynamicznej alokacji oprogramowania w środowisku rozproszonym, struktury grafowe powinny być również rozproszone. W artykule przedstawiamy gramatykę aedNLC, która zachowując wielomianową złożoność obliczeniową parsingu, ma wystarczającą moc opisową dla koordynacji równoległych modyfikacji lokalnych grafów (reprezentujących podsystemy) w taki sposób, że globalna spójność specyfikacji systemu rozproszonego będzie zachowana.
3
Content available GRADIS - środowisko dla Rozproszonych Transformacji Grafowych (z perspektywy pięciu lat badań)
100%
Kotulski L.
Pomiary Automatyka Robotyka
|
2011
|
tom R. 15, nr 12
150-151
PL
W niniejszym artykule zaprezentowano historię prowadzonych w Katedrze Automatyki pod kierunkiem Autora badań w zakresie przetwarzania transformacji grafowych w środowisku rozproszonym.
EN
The article presents a brief history of investigation made in the area of the distributed graph transformation. Their effect is designing the multiagent GRADIS environment.
4
System informatyczny nadzoru i sterowania dużej turbiny wiatrowej na przykładzie innowacyjnej turbiny ANew-S1 z pionową osią obrotu
100%
Kotulski L.
Energetyka
|
2018
|
tom nr 7
406--409
PL
Każda turbina wiatrowa składa się co najmniej z dwóch systemów – mechanicznego i elektroniczno-elektrycznego. W nowoczesnych turbinach wiatrowych do dwóch powyższych systemów dochodzi dodatkowo system informatyczny. System komputerowy dużej turbiny wiatrowej realizuje kilka zadań. Do najważniejszych należą: sterowanie na poziomie wyższym niż elektroniczny, inteligentny monitoring i wczesne ostrzeganie, zarządzanie danymi, w szczególności ich zbieranie i archiwizacja, diagnostyka (oparta na przebiegu monitoringu i zarchiwizowanych danych), predykcja warunków pracy turbiny, optymalizacja pracy turbiny, co jest ściśle związane ze sterowaniem, wspomaganie decyzji związanych z eksploatacją, m.in. planowaniem remontów. System informatyczny innowacyjnej turbiny wiatrowej z pionową osią obrotu typu ANew-S1 [4,5] jest przykładem systemu informatycznego dedykowanego dla dużej turbiny wiatrowej. Zarówno sama turbina jak i jej system komputerowy zostały stworzone w ramach grantu NCBiR przez konsorcjum, złożone z firmy Stalprodukt, firmy ANew oraz Akademii Górniczo-Hutniczej. Turbina ANew-S1 została zaprojektowana przez firmę ANew i wyprodukowana przez Stalprodukt. Opisany system informatyczny turbiny ANew-S1 został już zaimplementowany i wstępnie przetestowany. Na obecnym etapie testy wykazały prawidłową, zgodną z oczekiwaniami pracę systemu.
EN
Every wind turbine consists of at least two systems – mechanical and electrical-electronic ones. In modern wind turbines we can find one more system – the IT one. The computer system of a big wind turbine performs several tasks to which belong the control on the level higher than the electronic one, intelligent monitoring and early warning, management of the data (especially collecting and archiving), diagnostics based on the course of monitoring and archived data, prediction of the turbine working conditions, optimization of the turbine operation which is closely connected with its control and also the support in making decisions regarding turbine operation like planning of repairs. The IT system of the innovative vertical axis rotation ANew-S1 type wind turbine (VAWT) is an example of a system dedicated for a big wind turbine. Both the turbine and its computer system were developed under a NCBiR grant by the consortium comprised of Stalprodukt and ANew companies and the AGH University of Science and Technology in Cracov. The ANew-S1 turbine was designed by ANew and produced by Stalprodukt companies. The described IT system of the ANew-S1 turbine has already been implemented and pre-tested and at the present stage tests show that the system works in a proper way and in line with expectations.
5
Piwnice z silikatów
75%
Kotulski L.
Ceramika Budowlana i Silikaty
|
2000
|
tom R. 42, nr 5
12-12
6
Content available Intelligent city lighting supported by graph-based multiagent system
63%
Sędziwy A. , Kotulski L.
Automatyka / Automatics
|
2013
|
tom Vol. 17, no. 1
103--114
EN
The growing costs of energy and environmental care stimulate the development of technologies reducing the energy usage. In this paper we discuss the case of an intelligent city lighting system which acts towards fitting the actual enyironment needs related to lighting. It is accomplished by performing some actions when an enyironment state ehanges but also by predieting the state ehanges on the basis of data proyided by sensors. The problem complexity requires using formal model of a system enabling a problem decomposition and processing parallelization.
PL
Rosnące koszty energii, a także troska o środowisko naturalne stymulują rozwój technologii zmniejszających zużycie energii. W artykule dyskutowany jest inteligentny system oświetlenia miejskiego, którego celem jest dostosowywanie pracy oświetlenia do aktualnych potrzeb. Osiąga się to przez podejmowanie odpowiednich akcji w warunkach zmiany stanu środowiska, ale także przez predykcję jego stanu, na podstawie otrzymywanych danych sensorycznych. Złożoność obliczeniowa tak postawionego zadania sterowania wymaga użycia formalnego modelu systemu, pozwalającego na dekompozycję problemu i zrównoleglenie obliczeń.
7
Systemy dynamicznego oświetlenia ulic - przykład rozwiązań Smart City
63%
Kotulski L. , Kotulska K.
Aura
|
2018
|
nr 04
8
Content available remote On the support UML diagrams understanding during the software maintenance
63%
Kotulski L. , Basiura A.
Computer Methods in Materials Science
|
2007
|
tom Vol. 7, No. 3
366-375
EN
NOTE It was previously reviewed as :On the support image understanding during the software maintenance. Abstract. UML diagrams are generally accepted technique of supporting computing modeling and maintenance systems that are independent from the domain supported by the created system. Final model describes the system with help of object oriented techniques such as class inheritance, packages or the final software deployment diagrams. The mentioned techniques introduce some hierarchy of the developed concepts. An UML model describing all aspects of a system is hard to fully visualized. Usually they contain thousands of elements and relations which are difficult to present in form that can be easy to understand. Unfortunately, we are not able to represent such structures with help of the 2-dimensions manner (monitor screens or paper sheets) so we present only some "flat" aspects of these structures; it is desirable that we should be able move from one "flat" visualization of the hierarchical structure to another one. In this paper, we formalize the term "a flat visualization of the hierarchical graph", and specify the synthesis and analysis operations, that allow us to move between different flat forms. Practical aspect of this proposition is discussed for UML deployment and class diagrams.
PL
Diagramy UML są powszechnie stosowaną techniką wspomagającą modelowanie systemów obiektowych; stają się również wysoce użyteczne podczas modyfikacji systemu spowodowanej zmianami wymagań użytkowników. Pełny model systemu ilustruje jednak wielowymiarowe relacje pomiędzy setkami (tysiącami) składników, często opisywanych w różnych kontekstach (typach diagramów) i poziomach szczegółowości. Takie nasycenie elementów i relacji pomiędzy nimi powoduje bardzo często że model systemu przekracza możliwości percepcyjne człowieka i często jest on pomijany podczas procesu rozwoju. W artykule podejmujemy próbę czytelnego przedstawienia tych powiązań na dwuwymiarowym ekranie komputera. Proponujemy wyświetlanie informacji przedstawiającą tylko jedną perspektywę (tzw. płaską wizualizację grafu) zawierającą przefiltrowany zbiór informacji dotyczących danej części systemu (logicznej lub fizycznej). Udostępniamy użytkownikowi możliwość iteratywnej zmiany tej prospektywny na inną, która z nią jest powiązana. Proces ten opieramy na bazie grafów hierarchicznych, podajemy formalną specyfikację pojęcia płaskiej wizualizacji grafu, oraz definiujemy operacje analizy i syntezy pozwalające zmienić analizowaną perspektywę na inną bardziej (mniej) szczegółową. Wykorzystanie wprowadzonego aparatu formalnego, przedstawione jest na przykładzie analizy diagramów klas i diagramów wdrożenia.
9
Content available Zastosowanie gramatyk grafowych typu double pushout w środowisku GRADIS
63%
Kotulski L. , Sędziwy A.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2009
|
tom T. 13, z. 3/1
911-920
PL
Równoległe przetwarzanie podnosi efektywność systemu informatycznego. Platforma wieloagentowa GRADIS umożliwia wykonanie transformacji grafowych w środowisku rozproszonym. W niniejszym artykule szacujemy narzut obliczeniowy wywołany kooperacją agentów dla jednego z najpowszechniejszych mechanizmów transformacji grafowych - gramatyk typu double pushout.
EN
Parallel graph computations improve a system effectiveness. GRADIS multiagent framework is offered to support this idea. In the paper we evaluate an overhead generated by a cooperation in a set of the agents in the distributed environment, for the case of the one of most popular graph grammars - double pushout grammar.
10
Content available Stochastyczne metody generacji IE-grafów
63%
Kotulski L. , Sędziwy A.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2008
|
tom T. 12, z. 3
853-861
PL
W artykule omówiono metody probabilistycznej generacji struktur grafowych, tzw. IE-grafów, stanowiących formalizm dla opisu szerokiego spektrum problemów, w szczególności w dziedzinie rozpoznawania obrazów. W pracy przedstawione zostały metody opisu (za pomocą tzw. deskryptorów) oraz własności otrzymanych IE-grafów. Prezentowane metody generacji pozwalają na tworzenie struktur o zadanych właściwościach.
EN
In the article the probabilistic methods of graph structures generation are discussed. That class of graphs known also as IE graphs allows to formalize a variety of problems including pattern recognition area. In the paper we also present the methods of description of the obtained IE graphs (by using so called descriptors) and their properties. Generation methods being presented here allow to create the graphs having the desired properties.
11
Content available Algorytm scalania diagramów stanu w modelowaniu systemów wbudowanych
63%
Kotulski L. , Sędziwy A.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2011
|
tom T. 15, z. 3
377-388
PL
W artykule przedstawiono aspekt implementacyjny algorytmu scalania grafów stanu, modelujących kooperujące systemy wbudowane, a także wykazano jego wielomianową złożoność. Znajomość takiego grafu jest istotna, ponieważ pozwala na analizę zachowania złożonego systemu, a w szczególności na wykrywanie sytuacji niepożądanych, takich jak zakleszczenia. Nawet dla małej liczby prostych podsystemów, o niewielkiej liczbie stanów, diagram otrzymany w wyniku scalenia może charakteryzować się znaczna liczbą stanów, co praktycznie wyklucza jego ręczną generację. Z tego powodu niezbędne jest posiadanie narzędzia umożliwiającego automatyzację tego procesu.
EN
In the paper implementation issues related to algorithm of merging state diagrams for cooperating embedded systems, are shown. Its polynomial complexity is also proven. The knowledge of such a merged graph enables one to detect deadlocks or other unwanted effects. Even for a few smali graphs a resultant graph being their superposition may be large enough to make a manual merging impossible. For that reason one needs a tool automatizing that task.
12
Content available Comparison of requirements for vibration-based condition monitoring of a vertical-axis vs. horizontal-axis wind turbine
63%
Kotulski L. , Jabłoński A.
Diagnostyka
|
2018
|
tom Vol. 19, No. 3
95--100
EN
The paper compares the requirements for vibration-based condition monitoring system for two seemingly similar rotary machines, namely horizontal and vertical-axis wind turbines. The paper shows that the differences in the design have a significant influence on both, operational parameters and wind energy conversion, and what are the consequences from condition monitoring point-of-view. In addition, the authors present a list of obstacles during worldwide development of vibration-based guidelines, which has led to major constraints within practical data acquisition and processing. Finally, the paper presents comparison of experimental data and complete schemes of mechanical components of drive trains of both types of turbines.
PL
W artykule porównano wymagania dla systemu monitorowania dwóch pozornie podobnych maszyn wirnikowych, mianowicie turbin wiatrowych o poziomej i pionowej osi obrotu wału głównego. Autorzy pokazali analizę, z której wynika, że różnice w konstrukcji mają znaczący wpływ zarówno na parametry eksploatacyjne, jak i na konwersję energii wiatrowej oraz jakie są konsekwencje tych różnic z punktu widzenia oceny stanu technicznego. Ponadto, autorzy przedstawili listę powodów, które sprawiły, że do dnia dzisiejszego, światowym organizacjom udało się opracować się jedynie normy odnoszące się do analizy niektórych typów maszyn w wąskim przedziale warunków operacyjnych. Na koniec przedstawiono porównanie danych eksperymentalnych i schematów mechanicznych elementów układów napędowych obu typów turbin.
13
Content available Communication with Environment in Alvis Models
51%
Szpyrka M. , Matyasik P. , Mrówka R. , Kotulski L.
International Journal of Electronics and Telecommunications
|
2012
|
tom 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.
14
Content available remote Formal Description of Alvis Language with α0 System Layer
51%
Szpyrka M. , Matyasik P. , Mrówka R. , Kotulski L.
Fundamenta Informaticae
|
2014
|
tom 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.
15
Content available Towards al-based distributed lighting control systems
51%
Wojnicki I. , Sędziwy A. , Kotulski L.
Automatyka / Automatics
|
2012
|
tom Vol. 16, no. 2
189-198
EN
The paper discusses an approach which is targeted at obtaining maximal benefits of contemporary advanced lighting systems. The benefits are expressed in terms of improved energy efficiency (i.e. lower power consumption) or citizens ąuality of life. Applying proposed solution one could use intelligent control methods which functionality goes far beyond simple preset lighting scenarios as it is present in existing commercial systems. The main problem tackled here is a high complexity of control algorithms related to a size of a state space compound of lighting profiles, fixtures' working parameters and varying environment conditions. The proposed method, designed for solving this issue, is using decom-posable graph representations of the environment under control, and multiagent system deployed on it. An important component of the system is a rule-based engine, adapting lighting control parameters to actual environment needs.
PL
Artykuł przedstawia podejście nastawione na maksymalizację korzyści płynących z zastosowania zaawansowanych systemów oświetlenia tj. poprawę wydajności energetycznej (np. zmniejszenie poboru energii) oraz polepszenie jakości życia. Proponowane rozwiązanie, bazujące na koncepcji inteligentnego sterowania, udostępnia funkcje dotychczas niespotykane w oferowanych komercyjnie produktach. Problemem, w przypadku systemów oświetlenia, jest duża złożoność obliczeniowa algorytmów sterujących. Związane jest to z rozbudowaną przestrzenią stanów dla takiego systemu reprezentującą różne profile oświetlenia, parametry pracy punktów świetlnych oraz warunki środowiska. Zaproponowane podejście rozwiązuje ten problem poprzez zastosowanie dekomponowalnej reprezentacji grafowej oraz środowiska wieloagentowego przetwarzającego takie grafy. Istotnym elementem rozwiązania jest system regułowy określający parametry sterowania dla poszczególnych punktów świetlnych w zależności od zapotrzebowania.
16
Content available Introduction to modelling embedded systems with Alvis
38%
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
|
tom 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.
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ć.