Automatyka / Automatics
Loading...
ISSN 1429-3447
e-ISSN: 2353-0952
Issue Date
2013
Volume
Vol. 17
Number
No. 1
Description
Journal Volume
Automatyka / Automatics
Vol. 17 (2013)
Projects
Pages
Articles
ITS: Intelligent Transportation Systems - Multi-Criteria Control Problems
(Wydawnictwa AGH, 2013) Adamski, Andrzej; Florek, Krzysztof
Inteligentne Systemy Transportowe oferują znaczne możliwości implementacji zaawansowanych wielokryterialnych systemów sterowania ruchem drogowym. Podstawowe problemy w tym obszarze związane są z odpowiednią elastycznością sterowania w reakcji na szacowany i przewidywany popyt. ITS oferujące usługi, takie jak: znaki zmiennej treści, komunikacja między pojazdami oraz infrastrukturą drogową, a także systemy wyznaczania tras, wpływają na wzorce zachowań użytkowników sieci drogowej, jednak wpływ ten jest trudny do oszacowania. Z kolei dane dotyczące natężeń ruchu są podstawowe dla problemów optymalnego sterowania i koordynacji obszarowej. W pracy przedstawiono propozycję systemu rozpoznawania wzorców zachowań na różnych poziomach Hierarchicznego Zintegrowanego Systemu Transportowego (HITS), które stanowią podstawę działania inteligentnego wielokryterialnego sterowania ruchem. Zalety proponowanej metody zilustrowano rzeczywistymi przykładami.
A Study of Real-time Memory Management - Evaluating Operating System's Performance
(Wydawnictwa AGH, 2013) Coleman, Andon; Zalewski, Janusz
Artykuł dotyczy zarządzania pamięcią w komputerach używanych do zastosowań w czasie rzeczywistym. Przeanalizowano dwa podstawowe algorytmy alokacji pamięci, Hoard i Jemalloc, oraz algorytm domyślny dla każej z rozważnych platform. Wykonano eksperymenty dla czterech platform, Mac OS X, Linux, Windows NT i VxWorks, dla których zebrano i przeanalizowano odpowiednie dane.
Running and Testing the Programs Created in IEC 61131-3 Languages
(Wydawnictwa AGH, 2013) Jamro, Marcin; Trybus, Bartosz
W artykule przedstawiono nowe rozszerzenia pakietu inżynierskiego CPDev umożliwiające testowanie i uruchamianie jednostek organizacyjnych oprogramowania zdefiniowanych w normie IEC 61131-3 (PN/EN 61131-3). Testowanie realizowane jest za pomocą symulacji lub w trybie on-line. Mechanizm źródeł danych umożliwia testowanie programów uruchamianych na różnych platformach docelowych. Przedstawiono narzędzia umożliwiające debugowanie programów utworzonych w językach graficznych FBD i LD oraz wykorzystywane w końcowej fazie rozruchu (commissioning). Ostatnio wprowadzono w środowisku CPDev możliwość definiowania testów zorientowanych na jednostki organizacyjne oprogramowania takie jak funkcje, bloki funkcjonalne lub programy. Takie testy jednostkowe można określać za pomocą specjalizowanego języka CPTest lub w formie tabeli.
A critical overview of methods for rules interoperability: position paper
(Wydawnictwa AGH, 2013) Kaczor, Krzysztof; Nalepa, Grzegorz Jacek
Reguły są powszechnie stosowana metoda deklaratywnej reprezentacji wiedzy. Dawniej wykorzystywane w ekspertowych systemach regułowych, dzisiaj znajdują nowe zastosowania. Pomimo swojej dojrzałości wciąż aktualny jest problem wymiany wiedzy pomiędzy różnymi reprezentacjami i formatami reguł. Istniejące technologie nie dostarczają efektywnych metod, a ponadto zawierają skomplikowane modele reprezentacji wiedzy, co skutkuje brakiem wsparcia narzędziowego. Niniejszy artykuł prezentuje obecny stan badań w obszarze wymiany wiedzy regułowej.
From workflow design patterns to logical specifications
(Wydawnictwa AGH, 2013) Klimek, Radosław
Praca dotyczy zagadnień związanych z automatyczną generacją i modelowaniem specyfikacji logicznej. Specyfikacja logiczna może być wygenerowana bezpośrednio z modeli oprogramowania. Tak uzyskana specyfikacja następnie może być wykorzystana w procesie formalnej weryfikacji przy wykorzystaniu podejścia dedukcyjnego. Wygenerowana specyfikacja reprezentowana jest przez zbiór formuł logiki temporalnej, również weryfikowane własności systemu mogą i powinny być wyrażone w logice temporalnej. Proces ekstrakcji opiera się na założeniu, aby cały analizowany model oprogramowania został zbudowany w oparciu o przyjęte, dowolne, ale najlepsze dla danej klasy zastosowań, wzorce projektowe. Została zaproponowana metoda automatycznej translacji wzorców projektowych (przepływów) do postaci formuł logiki temporalnej. Formuły te składają się na logiczną specyfikację i mogą stanowić pierwszy krok w kierunku formalnej weryfikacji poprawności systemów z wykorzystaniem dowolnej metody wnioskowania dedukcyjnego. Zastosowanie przedstawionych koncepcji umożliwia połączenie naturalności i intuicyjności samego wnioskowania logicznego oraz praktycznego zastosowania tych metod w przypadku modeli oprogramowania.