Wyniki wyszukiwania - BazTech

1

Wykorzystanie pseudostanów historii do modelowania sytuacji awaryjnych w maszynie stanów UML

Bazydło G., Adamski M., Stefanowicz Ł.

Pomiary Automatyka Kontrola

|

2014

|

R. 60, nr 7

513--515

PL

W artykule przedstawiono zagadnienia związane z modelowaniem obsługi sytuacji awaryjnych opierając się na metodzie syntezy behawioralnej sterowników logicznych opisanych diagramami maszyny stanowej UML. Szczególną uwagę zwrócono na wykorzystanie pseudostanów historii a także zdarzeń i przejść zakończenia (typu completion event), przejść wysokiego poziomu, stanów końcowych i przejść bezwarunkowych. Celem zaproponowanej metody jest takie przekształcenie modelu hierarchicznej maszyny stanów UML, aby otrzymać opis układu w języku opisu sprzętu Verilog. Metoda została poparta stosownym przykładem układu sterowania.

EN

The paper presents the design methodology for deriving Verilog descriptions from UML state machine diagrams (Figs. 2, 3) in order to capture the behavioral hierarchy in the array structure of an embedded system. The exception handling is introduced at the top level of the graphical specification. As an intuitive example the interrupt is introduced. It illustrates the case of a system failure, when the control is temporarily transferred to exceptional safe and determined behavior. The precise semantic interpretation of the UML 2.4 state machine diagrams ensures, under the proposed structural design rules, that the Verilog description conserves modular properties of an initial specification. The behavioral hierarchy of the UML state machine is directly mapped into a structural hierarchy inside the designed reconfigurable controller. The tree of properly encapsulated submachines allows independent simulation and modification of particular parts of the behavioral model. In the paper the emphasis is put on the support of modeling an emergency situation with use of history pseudostates, high-level transitions and completion events. The way of hardware implementation of storing the information about the previously active state is also presented (Fig. 5). The most important algorithm of the proposed method is illustrated by an appropriate example (Fig. 1).

2

Algorytm selekcji wykorzystujący teorię hipergrafów

Stefanowicz Ł., Wiśniewski R., Adamski M.

Pomiary Automatyka Kontrola

|

2014

|

R. 60, nr 7

516--518

PL

Artykuł porusza kwestię selekcji określonych elementów zbioru z wykorzystaniem teorii hipergrafów. Przedstawiona została idea wspólnego algorytmu selekcji, w przypadku takich problemów, jak selekcja podsieci automatowych w dekompozycji sieci Petriego, a także selekcja implikantów prostych w procesie miminalizacji funkcji logicznych. Jako bazowy algorytm, wykorzystano metodę transwersal dokładnych, jednocześnie usprawniając ją o alternatywną scieżkę w przypadku, kiedy dany hipergraf selekcji nie należy do klasy hipergrafu transwersal dokładnych. Jak pokazują badania, metoda może być dobrą alternatywą obok wykorzystywanych metod tradycyjnych.

EN

The paper deals with the selection problem based on the hypergraph theory. There is presented an idea of a common selection algorithm for selection of State Machine Components and Prime Implicants. The exact transversal method was used as a baseline algorithm. It was improved by supporting it with an optional path when a given selection hypergraph did not belong to the xt-class (class of the exact transversal hypergraph). In this case, the exact transversal was searched. When it was unsuccessful, the regular transversal was searched. The studies prove that the method allows obtaining the exact solution when the selection hypergraph does not belong to the xt-class, but has an exact transversal. The presented results show that a hypergraph which does not belong to the xt-class may have an exact transversal enabling obtaining a solution which would be as good as the one obtained with the backtracking method. The exact solution was also obtained with the use of an ordinary transversal, which de facto indicated that the regular transversals allowed, in certain cases, obtaining the exact solution. It seems to confirm the aptly determined class of solutions of the proposed improvements. In some cases, the solution contained one extra subnet, but in one tested case, the solution turned out to be much worse than the exact one.

3

Zastosowanie hipergrafów w procesie selekcji implikantów prostych

Wiśniewski R., Stefanowicz Ł.

Pomiary Automatyka Kontrola

|

2013

|

R. 59, nr 11

1195--1197

PL

W referacie przedstawiona została nowa koncepcja selekcji implikantów prostych w procesie dwupoziomowej minimalizacji funkcji logicznych. Aktualnie znane metody selekcji bazują na połączeniu metod dokładnych z przybliżonymi. W artykule zaproponowana została nowatorska metoda selekcji, która w całości opiera się na algorytmach dokładnych, poprzez zastosowanie teorii hipergrafów. Najbardziej istotną zaletą proponowanego rozwiązania jest wielomianowa złożoność obliczeniowa całej operacji selekcji, która w przypadku ogólnym ma złożoność wykładniczą.

EN

: In the paper a new idea for the selection of prime implicants is proposed. The method is based on the two-level minimization process of the Boolean functions, according to the Quine-McCluskey approach. Initially, the set of prime implicants for the logic function ought to be calculated. Next, the selection process is applied to achieve the minimal formula. Such an operation is a typical covering problem and in general case it has exponential computational complexity. In the paper we propose a new prime implicants selection method. An idea is based on the hypergraph theory. The prime implicants table is formed as a selection hypergraph. If the selection hypergraph belongs to the Exact Transversal Hypergraph class (xt-class), the solution may be obtained in a polynomial time, which is not possible in a general case. The proposed method is illustrated by an example. All necessary steps are shown in order to apply the proposed selection algorithm to minimize an exemplary Boolean function.

4

Application of hypergraphs to the reduction of the memory size in the Microprogrammed Controllers with Address Converter

Adamski M., Wiśniewska M., Wiśniewski R., Stefanowicz Ł.

Przegląd Elektrotechniczny

|

2012

|

R. 88, nr 8

134-136

EN

In the article the method of reduction of the control memory size in the microprogrammed controllers with address converter is proposed. The idea is based on the two-level reduction of the memory size. The first step includes application of an additional block (address converter) in the structure of the controller. Such a module improves the addressing of microinstructions to reduce the volume of the control memory. Next, the hypergraph theory is applied for further reduction of the control memory, where concurrent microoperations are encoded together.

PL

W artykule zaproponowano metodę redukcji pojemności pamięci sterowników mikroprogramowanych z konwerterem adresów. Metoda bazuje na dwupoziomowej redukcji pamięci sterownika. Pierwszy etap to usprawnienie kodowania mikroinstrukcji, poprzez wprowadzenie konwertera adresów do struktury układu mikroprogramowanego. Właściwa redukcja pamięci sterownika stanowi drugi krok proponowanej metody. W tym celu zastosowano teorię hipergrafów oraz specyficzne własności tych struktur.

5

Zastosowanie układów reprogramowalnych FPGA w projekcie "Inteligentny Dom"

Stefanowicz Ł., Wiśniewski R., Węgrzyn M.

Pomiary Automatyka Kontrola

|

2012

|

R. 58, nr 7

614-616

PL

W artykule zaprezentowano zastosowanie układów reprogramowalnych FPGA do zdalnego sterowania elementami wyposażenia domu. Wykorzystano rozwiązania zdalne w oparciu o najnowsze technologie: Android, Windows Mobile. W referacie przedstawiono architekturę zaproponowanego systemu, możliwości oraz podstawowe funkcjonalności, a także porównano z innymi systemami tego typu. Opisywany system został zaprezentowany podczas masowych imprez popularyzujących najnowsze rozwiązania techniczne (Międzynarodowy Piknik Naukowy, Festiwale Nauki, itp.).

EN

The paper presents application of reprogrammable devices (FPGAs) in a Smart House project. The aim of the proposed system was to create an "intelligent" platform that permitted to control various elements of a Smart Building; like home appliances, temperature control, lightning, window and door operations, etc. The management of the whole system can be performed remotely via the Internet, a local area network or Mobile (GSM). An FPGA device is the most important part of the presented solution. It is the "heart" of a system and its role is to execute proper commands in order to control the devices and elements of the Smart House (Smart Building). The system can be managed via mobile devices (mobile computers, phones, tablets) that are based on various operating systems (Android, Windows Mobile, Symbian). The communication between the FPGA and mobile devices is encrypted. To achieve better encryption performance, the modified digital signature algorithm was implemented. The proposed system was compared with existing solutions. The main concept of the presented system was not to replace other Smart House projects but to co-operate with them. It is one of the further tasks that can be performed to extend the system performance. The preliminary results of experiments are given. The described system was introduced during mass events popularizing the latest technology (International Scientific Picnic in Warsaw in 2011; Festival of Science, Zielona Gora 2010, 2011, etc.).

6

Akceleracja obliczeń komputerowych za pomocą układów graficznych z wykorzystaniem technologii CUDA

Stefanowicz Ł., Wiśniewski R., Wiśniewska M.

Pomiary Automatyka Kontrola

|

2011

|

R. 57, nr 8

954-956

PL

W artykule zaprezentowano możliwość zastosowania układów graficznych celem przyspieszenia obliczeń komputerowych. Przedstawiono technologię oraz architekturę CUDA firmy nVidia, a także podstawowe rozszerzenia względem standardów języka C. W referacie omówiono autorskie algorytmy testowe oraz metodykę badań, które przeprowadzono w celu określenia skuteczności akceleracji obliczeń komputerowych z wykorzystaniem procesorów graficznych GPU w porównaniu do rozwiązań tradycyjnych, opartych o CPU.

EN

The paper deals with application of the graphic processor units (GPUs) to acceleration of computer operations and computations. The traditional computation methods are based on the Central Processor Unit (CPU), which ought to handle all computer operations and tasks. Such a solution is especially not effective in case of distributed systems where some sub-tasks can be performed in parallel. Many parallel threads can accelerate computing, which results in a shorter execution time. In the paper a new CUDA technology and architecture is shown. The presented idea of CUDA technology bases on application of the GPU processors to compu-tation to achieve better performance in comparison with the traditional methods, where CPUs are used. The GPU processors may perform multi-thread calculation. Therefore, especially in case of tasks where concurrency can be applied, CUDA may highly speed-up the computation process. The effectiveness of CUDA technology was verified experimentally. To perform investigations and experiments, the own test modules were used. The library of benchmarks consists of various algorithms, from simple iteration scripts to video processing methods. The results obtained from calculations performed via CPU and via GPU are compared and discussed.

7

Programowanie kontrolerów gier i aplikacji w systemie Windows

Stefanowicz Ł., Łabiak G.

Metody Informatyki Stosowanej

|

2010

|

nr 3 (23)

221-232

PL

W przypadku każdego urządzenia wymagane jest wykonanie pewnych kroków inicjalizacyjnych, umożliwiających w dalszym etapie pobieranie danych. Stan urządzenia należy sprawdzać co pewien czas. Z reguły wystarczające jest sprawdzanie 10 razy na sekundę. Możliwość obsługi kontrolerów gier i aplikacji w systemie Windows jest umiejętnością pożądaną przez każdego programistę gier oraz przez twórców oprogramowania systemowego, wymagającego określonych właściwości danego kontrolera. Użycie w tym celu biblioteki DirectX firmy Microsoft dostarcza wszystkich niezbędnych funkcjonalności, pozwalających na efektywną obsługę peryferyjnych urządzeń sterujących. Informacje przedstawione w artykule mogą zostać z powodzeniem wykorzystane przy realizacji obsługi zarówno kontrolerów gier, jak i specjalizowanych aplikacji sterujących.

EN

A paper in systematic way presents a technique of processing data from a joystick, or other game controller. DirectX component as part of Windows operating system is a technology which directly support communication between operating system and peripheral devices. The paper concentrates particularly on joypad, joystic and steering wheel and demonstrates pieces of C language code programming their usage.