Wyniki wyszukiwania - BazTech

1

Hardware reduction for LUT-based mealy FSMs

Barkalov A., Titarenko L., Mielcarek K.

International Journal of Applied Mathematics and Computer Science

|

2018

|

Vol. 28, no. 3

595--607

EN

A method is proposed targeting a decrease in the number of LUTs in circuits of FPGA-based Mealy FSMs. The method improves hardware consumption for Mealy FSMs with the encoding of collections of output variables. The approach is based on constructing a partition for the set of internal states. Each state has two codes. It diminishes the number of arguments in input memory functions. An example of synthesis is given, along with results of investigations. The method targets rather complex FSMs, having more than 15 states.

2

Wspomaganie realizacji studenckich grupowych projektów IT – rozwój systemu SVN i przykłady zastosowania

Mielcarek K., Pławiak-Mowna A.

Pomiary Automatyka Kontrola

|

2013

|

R. 59, nr 11

1231--1234

PL

Rozwój wdrożonego systemu obejmuje funkcjonalność związaną z generowaniem raportów wg rozmaitych kryteriów (np. nazwisko prowadzącego) oraz zmianę wizualizacji danych. Wykorzystanie przeglądarki internetowej jako warstwy prezentacji daje możliwość zdalnego śledzenia rozwoju prac, również na urządzeniach mobilnych. Wdrożenie systemu kontroli wersji w ramach zajęć z udziałem grup projektowych skutecznie wspomaga proces nabywania kompetencji miękkich związanych z pracą w grupie.

EN

The system was originally designed, implemented and deployed in the academic year 2011/12 at the Faculty of Electrical Engineering, Computer Science and Telecommunications, University of Zielona Gora, Poland. The purpose of the project was to support teaching activities during the of student group work. The system development includes change in the reporting functionality to widen the reporting criteria; the other change is upgrade of visualization mechanisms. Reports are generated in two steps: (1) data collecting, based on Unix-specific mechanisms such as cyclic script execution and pipelining, (2) acquired data processing and report generating. Implementation of the new functionality requires exploiting, besides the currently employed SVN repository server [3], additional solutions: (1) Apache web server, (2) PHP module (implementation of data processing and consolidation), (3) XML module (data collecting and processing) and (4) GD module (online graphic generation [4]). The use of a web browser as the presentation layer gives ability to track students work remotely, even from mobile devices. Implementation of the version control system in the student group work courses supports learning the soft skills associated with group work effectively. Further development of the system will cover: (1) separate access levels, based on username and password authentication as well as (2) simplifying new repositories creation process.

3

Dostosowanie funkcjonalności systemu edukacji w zakresie kardioimplantów do potrzeb osób z dysfunkcjami

Pławiak-Mowna A., Mielcarek K.

Pomiary Automatyka Kontrola

|

2012

|

R. 58, nr 1

44-47

PL

W artykule została przedstawiona problematyka zdalnej edukacji pacjentów wspomaganych kardioimplantami. Ten rodzaj edukacji pozwala na efektywne kształcenie społeczeństwa z ominięciem barier społecznych, geograficznych i organizacyjnych. Przedstawiono możliwości praktycznego zwiększenia dostępności systemu przez wspomaganie obsługi aplikacji od strony użytkownika specjalizowanymi urządzeniami wejścia-wyjścia oraz właściwe zaprojektowanie szaty graficznej, co pozwala na włączenie w edukację pacjentów z różnego rodzaju dysfunkcjami (np. osoby niedowidzące, ze schorzeniami narządów ruchu).

EN

The paper presents problems of distance and remote education of physically handicapped cardiac implant patients. According to the data available on the website of the National Consultant in the field of cardiology [5], the annual number of cardiac rhythm device implanted in Poland is on the increase. The data of the Government Plenipotentiary for Pysicially Handicaped People [10] shows that in 2002 the number of people with disabilities in general was close to 5.5 million. The designed website ePacemaker [11] is dedicated for use by cardiac implant patients and their families, physicians (cardiac electrophysiologist). By using new technology it is possible to exchange expert information and realize remote physically handicapped patient education. The scopes of ePacemakers are (Fig. 1): (1) to educate for better understanding of EMF-cardiac implant device interaction (cardiac implant wearers, their families and physician), (2) to collect data from questionnaires (volunteers interview for examination of pacemaker implanted in the human body, volunteers interview for other study related to EMI in daily lives, and so on.), (3) to educate medical staff, (4) to cooperate in scientific research. Application of special equipment (e.g. IntelliKeys, Maltron, IntegraMouse or BlinkIt) and special website design for the handicapped persons expanding a group of portal ePacemaker users are presented in Subsection 2.3 (Figs. 2-6) and Subsection 2.4, respectively . The presented service will be installed and tested at one of implantation centers.

4

Spawanie aluminium - zastosowanie nowoczesnych źródeł inwertorowych z możliwością modulacji częstotliwości

Białucki P., Lange A., Winnicki M., Mielcarek K.

Spajanie Materiałów Konstrukcyjnych

|

2011

|

Nr 2 (12)

14--16

PL

Aluminium oraz ich stopy należą do materiałów konstrukcyjnych o coraz większym znaczeniu. W związku z ich zastosowaniem istnieje potrzeba wykonywania zarówno połączeń jednoimiennych, jak i różnoimiennych. Istotnymi problemami występującymi podczas spawania są duża przewodność cieplna oraz bardzo duże powinowactwo aluminium do tlenu, a powstający tlenek Al2O3 występuje na powierzchni w postaci szczelnej i trudno topliwej warstwy.

5

Doskonała sieć Petriego w projektowaniu współbieżnych układów sterujących

Adamski M., Kołopieńczyk M., Mielcarek K.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 6

656-660

PL

W artykule wskazano na korzyści płynące z wykorzystania doskonałych bezpiecznych sieci Petriego w projektowaniu współbieżnych układów sterujących. Przedstawiono sposób sprawdzenia, czy sieć Petriego jest siecią doskonałą poprzez analizę jej stanów globalnych i badanie relacji miedzy jej stanami lokalnymi. Potwierdzono, że grafy współbieżności i sekwencyjności między miejscami sieci są grafami doskonałymi. Konsekwencją doskonałości sieci jest możliwość wykorzystania algorytmów o złożoności wielomianowej do jej analizy dynamicznej i statycznej.

EN

This paper is pointing out benefits from application of perfect and safe Petri Nets to design process of parallel control circuits. There is presented a method for verifying the perfectness of Petri Net achieved by analysis of Petri Net global states and relation between Petri Net local states. There is also proved that the concurrency and sequencing graphs of a given Petri Net are perfect. Static and dynamic analysis can be performed using algorithms with polynomial complexity. The presented dependences can also be used to decompose a given Petri Net into components, i.e. state machines, and analyze and verify the project correctness. Petri net analysis is discussed on an example of a real-life object of the beverages mixing system. This paper is divided into five parts. The first section is a brief introduction to issues of perfect and safe Petri Nets. The second section is the theoretical introduction to the subject matter. In the third section an example of perfect Petri nets is presented. In the fourth section the method of constructing the perfect Petri Nets is presented. The last section contains the sum-mary.

6

Wspomaganie realizacji grupowego projektu IT w oparciu o system SVN

Mielcarek K., Pławiak-Mowna A.

Metody Informatyki Stosowanej

|

2011

|

nr 2

81-89

EN

In the paper was presented a practical approach to application of example of version control system in educational process in University of Zielona Góra, Poland, Faculty of Electrical Engineering, Computer Science and Telecommunications. Competence in effective working with design documentation is one of the most important aspects of technical education of engineers. The presented tools [5, 6, 7] allows to monitor versions of project files of any type and to simulate real-life IT project development. There has been presented principles of group work (different phases, section 2, [1, 3]) with great stress on analysis of requirements, planning, designing and testing which fulfils guidelines of education standards for Group IT Project including preservation of details in documentation, team building and leader selection. Presented practical approach preserve guidelines of education standards including hierarchical structure of project teams, team’s leaders and superior role for teacher (superior access rights). There has been presented in a short way how to configure, create and manage repositories based on real life application on University of Zielona Góra servers. In addition to this, applying SVN gives ability of working with widely used version control system, increase mobility and simplifies creating and moving workspace. The same team division can be achieved in classes and outside University. All presented software is free of charge, is easy to obtain and simple to configure.

7

Aspekty bezpieczeństwa telemetrii w medycynie w ramach transmisji internetowej

Mielcarek K., Pławiak-Mowna A.

Metody Informatyki Stosowanej

|

2011

|

nr 1

73-79

PL

Przy przesyłaniu danych z wykorzystaniem sieci Internet należy wziąć pod uwagę aspekt bezpieczeństwa przesyłanych danych, często pomijany lub traktowany na niewystarczającym poziomie. Dyskusja środowiska medycznego związanego z etyczną stroną nieautoryzowanego dostępu i manipulacji danych pochodzących z implantów medycznych oraz stosunkowo niska świadomość Polaków dotycząca zdalnego pozyskiwania danych w medycynie stanowi tło do niniejszego opracowania. Zagadnienie jest bardzo rozległe i możliwość wystąpienia luki w zabezpieczeniach jest bardzo prawdopodobna. Dane kliniczne oraz osobowe pacjentów powinny być objęte szczególną ochroną. Dlatego też koncepcja uzupełniającego zabezpieczenia transmisji danych via Internet (oprócz zabezpieczeń, w które mogą być wyposażone są systemy i urządzenia medyczne) powinna być wykorzystana do zmniejszenia nieautoryzowanego dostępu do danych pacjentów. Pomimo, że komputery użytkowników będą należycie zabezpieczone oraz dane przesyłane zabezpieczone najnowszymi dostępnymi metodami nie można zakładać pełni bezpieczeństwa. Istnieją grupy wyspecjalizowane w łamaniu zabezpieczeń, dlatego należy zawsze mieć na uwadze bezpieczeństwo danych. Przedstawione aspekty bezpieczeństwa i miejsca występowania zagrożeń oraz proponowane rozwiązania pozwalają zapewnić skuteczną ochronę danych na wystarczająco dobrym poziomie.

EN

In the paper was presented some aspects of security of medical data transmitted via the Internet. In 2008 American scientists (Daniel Halperin et al. [3]) published information aboutpossibility of intercepting medical datafrom implantable cardioverter-defibrillator. The medical community has taken a lot of technical discussions on the ethical and practical side ofmanipulating implantable medical devices data (e.g. cardiac pacemakers, implantable cardioverter-defibrillators). At risk are also other implantable devices - infusion pumps or neurostimulators. Detection of the risks to sensitive data of implanted device [3] taking into account the communication needsfor treatment or rescue life [14] it was the basis for further discussion. The were presented the weak points in security of data transmitted by public media. Authors did not analyze construction of implantable cardiac pacemaker and their vulnerability to attack. It were analyzed selected methods of data transmission via Internet. The authors presented a new type of problems with data transmission and remote access to medical implants.

8

Czy prawidłowa sieć Petriego jest siecią doskonałą?

Mielcarek K., Adamski M., Zając W.

Metody Informatyki Stosowanej

|

2010

|

nr 3 (23)

169-176

PL

W wyniku analizy materiałów literaturowych oraz przeprowadzonych na ich podstawie prac własnych można dojść do wniosku, że sieci Petriego, których graf współbieżności jest opisany grafem doskonałym, są sieciami bezpiecznymi przy spełnieniu (6). Jednocześnie na podstawie grafu osiągalności sieci (określenia jej parametrów) można określić czy sieć ta będzie siecią żywą.

EN

In this paper Petri nets properties have been analyzed for their application in reachability graph researches. There has been proved that proper nets [1] describe global states space and they could be analyzed in polynomial time with perfect graphs algorithms.

9

Wyszukiwanie dziur nieparzystych jako jeden z aspektów rozpoznania grafów doskonałych w automatycznej syntezie układów cyfrowych

Mielcarek K.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

84-86

PL

Obserwujemy gwałtowny rozwój elektroniki i wszechobecną miniaturyzację, objawiającą się coraz większą ilością urządzeń realizujących coraz bardziej skomplikowane zadania. Ten rozwój pociąga za sobą konieczność opracowywania nowych, bardziej efektywnych metod panowania nad takim ogromem zależności. Złożoność problemów występujących w czasie automatycznego przygotowania układów cyfrowych powoduje, że w praktyce stosowane są algorytmy heurystyczne, dające wyniki przybliżone i nie zawsze w najkrótszym możliwym czasie. Pogoń za nowymi rozwiązaniami doprowadziła do pomysłu wykorzystania grafów doskonałych, które przez swoje własności pozwalają zmniejszyć wymagania czasowe a zatem i wymaganą moc obliczeniową, dając w zamian wyniki optymalne. Zanim można będzie operować na grafach doskonałych należy sprawdzić czy dany graf jest grafem doskonałym. Najnowsze prace wskazują, że grafy doskonałe można rozpoznawać (pośród innych metod) z użyciem algorytmów wyszukiwania dziur nieparzystych. Jednocześnie obserwuje się, że znacząca większość grafów opisujących rzeczywiste układy zawiera się w podklasach grafów doskonałych. W roku 1960, Claude Berge wysunął tezę mówiącą ze graf jest doskonały wtedy i tylko wtedy, gdy nie zawiera ani dziur nieparzystych ani anty-dziur nieparzystych. Teza jest znana jako Strong Perfect Graph Conjecture. (Chvátal i Sbihi zaproponowali nazwę grafu Bergea) wg propozycji dziura natomiast, jest bezcięciwowym cyklem, o długości przynajmniej cztery, zaś anty-dziura jest dopełnieniem takiego cyklu. Dziury i anty-dziury są natomiast parzyste i nieparzyste zgodnie z parzystością ich liczby wierzchołków. Nieparzysta dziura jak i nieparzysta anty-dziura nie są doskonałe, bowiem ich liczby klikowe wynoszą odpowiednio 2 oraz 2k+1 natomiast liczby chromatyczne mają odpowiednio 3 oraz k+1, co jednoznacznie uniemożliwia im być grafem doskonałym (liczba chromatyczna grafu doskonałego G, jest równa liczbie kliki grafu, dla każdego indukowanego podgrafu grafu G).

EN

This paper should to point out potential strenght of prerfect graph algorithms - especially algorithms with use of odd-hole-free graph - for automated synthesis of digital circuits. Typically known problems are NP-complete, but using perfect graphs, complexity is decreasing to polynomial. Studies in this matter show that plenty of dependencies describing real-life sequential circuits can be described using perfect graphs. There shown simplified methods to recognize perfect graphs, placed basic knowledge about the subject and shown simplified analysis of digital controller described in SFC. In this analysis some methods for recognizing perfect graphs was used.

10

Grafy doskonałe metodą dziur nieparzystych w automatycznej syntezie sterowników

Mielcarek K.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 7

72-74

PL

Obserwowany rozwój elektroniki i wszechobecna miniaturyzacja, obja-wiającą się coraz większą ilością urządzeń realizujących coraz bardziej skomplikowane zadania. Rozwój pociąga za sobą konieczność opracowy-wania nowych, bardziej efektywnych metod panowania nad ogromem zależności. Złożoność układów dawno przerosła możliwości pojedynczej osoby i obecnie takimi zadaniami obciąża się specjalizowane systemy komputerowe, jednak tego typu system należy odpowiednio przygotować. Pożądane jest, aby dawał wyniki optymalne w jak najkrótszym czasie. Złożoność problemów występujących w czasie automatycznego przygotowania układów cyfrowych powoduje, że w praktyce stosowane są algorytmy heurystyczne, dające wyniki przybliżone i nie zawsze w najkrótszym możliwym czasie. Pogoń za nowymi rozwiązaniami doprowadziła do pomysłu wykorzystania grafów doskonałych, które przez swoje własności pozwalają zmniejszyć wymagania czasowe a zatem i wymaganą moc obliczeniową, dając w zamian wyniki optymalne. Algorytmy wykorzystujące specyficzne własności grafów doskonałych charakteryzują się złożonością obliczeniową na poziomie wielomianowym. Zanim można będzie operować na grafach doskonałych należy sprawdzić czy dany graf jest grafem doskonałym. Najnowsze prace wskazują, że grafy doskonałe można rozpoznawać (pośród innych metod) z użyciem algorytmów wyszukiwania dziur nieparzystych. Jednocześnie obserwuje się, że znacząca większość grafów opisujących rzeczywiste układy zawiera się w podklasach grafów doskonałych. W roku 1960, Claude Berge wysunął tezę mówiącą ze graf jest doskonały wtedy i tylko wtedy, gdy nie zawiera ani dziur nieparzystych ani anty-dziur nieparzystych. Teza jest znana jako Strong Perfect Graph Conjecture. (Chvátal i Sbihi zaproponowali nazwę grafu Bergea) wg propozycji Dziura natomiast, jest bezcięciwowym cyklem o długości przynajmniej cztery, zaś anty-dziura jest dopełnieniem takiego cyklu. Dziury i anty-dziury są natomiast parzyste i nieparzyste zgodnie z parzystością ich liczby wierzchołków. Nieparzysta dziura jak i nieparzysta anty-dziura nie są doskonałe, bowiem ich liczby klikowe wynoszą odpowiednio 2 oraz 2k+1 natomiast liczby chromatyczne mają odpowiednio 3 oraz k+1, co jednoznacznie uniemożliwia im być grafem doskonałym (liczba chromatyczna grafu doskonałego G, jest równa liczbie kliki grafu, dla każdego indukowanego podgrafu grafu G). Artykuł ma na celu wskazanie potencjalnej użyteczności algorytmów do rozpoznawania grafów doskonałych. Zagadnienia występujące w procesach automatycznej syntezy dają się rozwiązać w czasie wielomianowym, gdzie dla grafów w ogólności problem złożoności należy do klasy problemów NP-zupełnych. Zastosowanie grafów doskonałych jako pośredniego modelu formalnego jest o tyle użyteczne, że znacząca większość zależności, opisujących rzeczywiste układy sekwencyjne, daje w wyniku grafy nale-żące do podklasy grafów doskonałych [5].

EN

This paper should to point out potential strenght of prerfect graph algorithms - specially algorithms with use of odd-hole-free graph - for automated synthesis of digital circuits. Typically known problems are NP-complete but using perfect graphs complexity is decreasing to polynomial. Studies in this matter shows that plenty of dependencies describing real sequential circuits can be described using perfect graphs. There shown the analysis of digital controller described in SFC. In analysis was used methods for testing perfect graphs.

11

Rozpoznawanie grafów doskonałych na potrzeby automatycznej syntezy układów cyfrowych

Mielcarek K.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 6 bis

14-16

PL

Niniejszy artykuł ma na celu wskazanie potencjalnej użyteczności algorytmów do rozpoznawania grafów doskonałych. Zagadnienia prezentowane poniżej dają się rozwiązać w czasie wielomianowym, gdzie dla grafów w ogólności problem złożoności należy do klasy problemów NP-zupełnych. Zastosowanie grafów doskonałych jako pośredniego modelu formalnego jest o tyle użyteczne, że znacząca większość zależności, opisujących rzeczywiste układy sekwencyjne, daje w wyniku grafy należące do podklasy grafów doskonałych. Badania w tej dziedzinie są prowadzone w wielu ośrodkach światowych mają na celu przy-spieszenie procesów automatycznej analizy i syntezy układów dyskretnych. Referat jest związany z wykorzystaniem sieci Petriego do opisu układów cyfrowych, a w szczególności rekonfigurowalnych sterowników logicznych. Pokazano przykład analizy dyskretnej przestrzeni stanów lokalnych automatu współbieżnego, modelującego program sterownika logicznego przedstawionego w języku SFC. Do analizy wykorzystano metody badania grafów doskonałych.

EN

: This paper should to point out potential strength of perfect graph algorithms for automated synthesis of digital circuits. Typically known problems are NP-complete but using perfect graphs complexity is decreasing to polynomial. Studies in this matter shows that plenty of dependencies describing real sequential circuits can be described using perfect graphs. There shown the analysis of digital controller described in SFC. In analysis was used methods for testing perfect graphs.