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

Znaleziono wyników: 8

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 Rapid design and development of control applications for electrical engineering
Wojnicki I., Rad M.
Automatyka / Automatics
|
2013
|
Vol. 17, no. 2
263--270
EN
This paper presents a control application programming concept based on attributive logic and context-based reasoning. General features and benefits, comparied with other contemporary approaches, are given. The proposed solution is targeted at electric machine tests and diagnostics. An illustrative example of programming an induction motor no-load test which compares the proposed solution with a Matlab-based application is also given.
PL
Artykuł prezentuje koncepcję programowania aplikacji kontrolno-pomiarowych opartą na logice atrybutowej i wnioskowaniu kontekstowym. Przedstawione są ogólne zasady proponowanego podejścia i osiągane korzyści w stosunku do używanych obecnie metod. Przykładem, na którym omówiono sposób tego rodzaju programowania są aplikacje kontrolno-pomiarowe tworzone z myślą o próbach i diagnostyce maszyn elektrycznych. Zamieszczono przykład zaimplementowanej procedury pomiarowej: próby biegu jałowego maszyny indukcyjnej.
2
Content available Evaluation of a dynamic map architecture with ATAM
Szwed P., Wojnicki I., Ernst S., Głowacz A.
Automatyka / Automatics
|
2013
|
Vol. 17, no. 1
127--139
EN
Dynamic Map can be considered a complex information system, composed of spatial databases, storing static and dynamic data relevant for urban traffic, as well as a set of software modules responsible for data collection, interpretation and provision. The data originates from a network of sensors, both fixed (e.g. video detectors, acoustic sensors, inductive loops) and on-board GPS receivers installed in vehicles. Clients of the Dynamic Map are various software modules performing such tasks as visualization, route planning, traffic optimization, object tracking and threat detection. The paper discusses experiences with an evaluation of the system architecture using the ATAM (Architectural Tradeoffs Analysis Method). The stages of evaluation eomprise describing architectural views, identification of key scenarios and evaluation of risks of their realization.
PL
Mapa dynamiczna jest złożonym systemem informatycznym składającym się z przestrzennych baz danych przechowujących statyczne i dynamiczne informacje dotyczące ruchu drogowego oraz modułów oprogramowania odpowiedzialnych za zbieranie danych, ich interpretację oraz udostępnianie. Dane monitorowania pochodzą z sieci czujników, zarówno stałych, w tym detektory wideo, czujniki akustyczne i pętle indukcyjne, jak i odbiorników GPS zainstalowanych w pojazdach. Klientami mapy dynamicznej są systemy odpowiedzialne za wizualizację, planowanie trasy, śledzenie obiektów oraz wykrywanie zagrożeń. W artykule omówiono doświadczenia zebrane podczas przeprowadzonej oceny architektury z wykorzystaniem metody ATAM. Etapy oceny obejmują opis architektury, identyfikację kluczowych scenariuszy oraz ocenę ryzyka ich realizacji.
3
Content available Towards al-based distributed lighting control systems
Wojnicki I., Sędziwy A., Kotulski L.
Automatyka / Automatics
|
2012
|
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.
4
Content available Od Drzew Tablicowych do Sieciowych Tablic Decyzyjnych: ewolucja zmodularyzowanych reprezentacji wiedzy
Wojnicki I.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 12
173-177
PL
Stosując systemy regułowe, można wyróżnić dwie klasy problemów: efektywność procesu projektowania oraz wydajność procesu uruchamiania. Niniejszy artykuł przeglądowo opisuje metody projektowania reguł opracowane w Katedrze Automatyki AGH pod kątem rozwiązywania ww. problemów. Proponowane podejścia opierają się w dużej mierze na modularyzacji bazy wiedzy i odpowiedniej jej wizualizacji. Przedstawiono ich ewolucję, jak również wyniki najnowszych badań dotyczących wnioskowania kontekstowego.
EN
There are two common issues while dealing with rules and rule-based systems. These are efficiency of the design process and performance of rule interpretation. This paper discusses briefly several design approaches developed at the Department of Automatics, AGH which tackle these issues. The proposed solutions are mainly based on modularization and appropriate visualization of the knowledge base being designed. Evolution of selected approaches and results of recent research regarding application of context-based reasoning are presented as well.
5
Content available Separating I/O from application logic for rule-based control systems
Wojnicki I.
Decision Making in Manufacturing and Services
|
2011
|
Vol. 5, no. 1-2
79-89
EN
One of the main reasons of using a rule-based approach to program control systems is that they can be formally verified. For such systems communication with the environment is often encoded within the knowledge base. Such inclusion may lead to issues with portability, extendibility, maintainability, and interoperability. The paper proposes a four layer architecture to solve these issues. A proof-of-concept RBS, targeted at control systems, and an example case are also given.
6
Content available From content to knowledge: a perspective on CMS
Nalepa G.J., Ligęza A., Wojnicki I.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2007
|
T. 11, z. 1-2
217-226
EN
Building efficient tools for supporting Knowledge Management is a hot research topic and a great challenge for modern computer science. Increasing functionality of web applications and almost unlimited computational power of modern hardware seems to promise that solving this problem is a matter of time. Up to now efficient database technology has been developed and web technology has achieved relatively satisfactory level. However, the goal to build a real knowledge servers seem still far from being realistic. The paper discusses certain issues concerning the so-called Content Management Systems (CMS) which can be regarded as a partial solution with respect to knowledge storing, retrieval and presentation. Contemporary tools and techniques applied in CMS are presented in brief and future problems to be solve are identified.
PL
Tworzenie systemów wspierających proces zarządzania wiedzą jest ważnym kierunkiem badań, oraz nieustającym wyzwaniem we współczesnej informatyce. Wydawać się może, iż zaawansowane technologie internetowe, bazodanowe, oraz szybko wzrastająca moc obliczeniowa komputerów, rozwiążą problemy pojawiające się przy konstruowaniu takich systemów. W praktyce okazuje się jednak, iż wciąż jesteśmy odlegli od stworzenia prawdziwych serwerów wiedzy. W artykule omawiane są systemy zarządzające treścią (CMS), które są obecnie podstawowym rozwiązaniem w tej dziedzinie, dostarczając mechanizmów przechowywania, wyszukiwania i prezentacji treści. Artykuł omawia rozwiązania, na których opierają się te systemy, a także prezentuje krytyczne spojrzenie na ich możliwości zarządzania szeroko rozumianą wiedzą.
7
Content available remote Jelly Views: extending relational database systems toward deductive database systems
Wojnicki I.
Computer Science
|
2004
|
Vol. 6
95-112
EN
This paper regards the Jelly View technology, which provides a new, practical methodology for knowledge decomposition, storage, and retrieval within Relational Database Management Systems (RDBMS). Intensional Knowledge clauses (rules) are decomposed and stored in the RDBMS founding reusable components. The results of the rule-based processing are visible as regular views, accessible through SQL. From the end-user point of view the processing capability becomes unlimited (arbitrarily complex queries can be constructed using Intensional Knowledge), while the most external queries are expressed with standard SQL. The RDBMS functionality becomes extended toward that of the Deductive Databases.
PL
Niniejsza publikacja prezentuje technologię Jelly View, która udostępnia nową, praktyczną metodologię dekompozycji, przechowywania i przetwarzania wiedzy w Systemach Zarządzania Relacyjnymi Bazami Danych (SZRBD). Klauzule Wiedzy Intensjonalnej (reguły) przechowywane są w SZRBD w formie zdekomponowanej, tworząc modularne komponenty. Rezultaty przetwarzania regułowego reprezentowane są jako widoki, których stan dostępny jest za pomocą zapytań SQL. Z punktu widzenia końcowego użytkownika możliwości przetwarzania danych stają się nieograniczone (wykorzystując reguły), podczas gdy zapytania wyrażane są wciąż w języku SQL. Jako rezultat, funkcjonalność SZRBD zostaje zwiększona do poziomu funkcjonalności Dedukcyjnych Baz Danych.
8
Content available remote Analysis, verification and design of tabular systems. Logical, algebraic and graphical methods
Ligęza A., Nalepa G. J., Szmuc T., Szpyrka M., Szwed P., Wojnicki I.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2001
|
T. 5, z. 1/2
345-354
EN
This paper is devoted to presentation of certain issues concerning analysis and verification of tabular systems. Such systems constitute an extension of relational databases and attributive decision tables. In order to assure safe and reliable performance of tabular systems, certain logical properties should be verified. The paper provides a logical model of tabular systems and states logical definitions of features such as completeness, consistency with constraints and determinism. Further, an algebraic approach to verification of these properties is proposed. A graphical interpretation and use of some graphical methods is also discussed.
PL
W pracy przedstawiono zagadnienia analizy, weryfikacji i projektowania tablicowych systemów regułowych. Systemy takie stanowią istotne rozszerzenie relacyjnych baz danych i atrybutowych tablic decyzyjnych. Aby zapewnić ich niezawodną i bezpieczną pracę, pewne własności logiczne powinny zostać zweryfikowane. W pracy przedstawiono model logiczny systemów tablicowych oraz podano definicje logiczne własności takich, jak zupełność, zgodność z ograniczeniami i determizm. Zaproponowano elementy algebraicznego podejścia do weryfikacji tych własności. Przedstawiono także ideę zastosowania podejścia graficznego do wspomagania projektowania.
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ć.