Wyniki wyszukiwania - BazTech

1

Mikrosystemy cyfrowe stosowane w pojazdach szynowych i złożoność obliczeniowa półgrupy charakterystycznej automatu asynchronicznego spójnego

Bocian S.

TTS Technika Transportu Szynowego

|

2013

|

R. 20, nr 10

1701--1708, CD

PL

W artykule omówiono mikrosystemy cyfrowe stosowane w pojazdach szynowych. Umożliwiają one programowanie w oparciu o zaimplementowane bloki funkcjonalne wejść i wyjść oraz funkcje przejścia (maszyna stanowa - automat) w oparciu o sporządzony wcześniej graf automatu. Przedstawiono także twierdzenie i przeprowadzono dowód na złożoność obliczeniową półgrupy charakterystycznej automatu asynchronicznego spójnego.

EN

The article discusses the digital microsystems used in the rail vehicles. They allow to program based on the functional implemented blocks of the input and outputs and the transfer functions (state machine - automation) based on the previously drawn graph of the automation. The theorem is also presented and the evidence of the computational complexity of the characteristic semigroup of the asynchronous consistent automaton is also carried out.

2

Złożoność półgrupy charakterystycznej iloczynu prostego automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń dla każdego słowa z języka znak sumowania n-elementów ciągu+ =(sigma 0 suma zbiorów sigma 1)+

Bocian S.

Pojazdy Szynowe

|

2011

|

Nr 1

13-38

PL

Niniejsza publikacja kontynuuje cykl artykułów [6,7,8,9,12,14,15,16,17] dotyczący złożoności obliczeniowej półgrupy charakterystycznej automatów asynchronicznych silnie spójnych i ustalonych analogów ich rozszerzeń. W projektowaniu sterowania pojazdów szynowych wykorzystuje się coraz częściej mikrosystemy cyfrowe do realizowania sterowania inteligentnego, rozproszonego. W mikrosystemach cyfrowych tworzenie oprogramowania możliwe jest z wykorzystaniem maszyny stanowej (automatu), któryumożliwia tworzenie oprogramowania w oparciu o sporządzony wcześniej graf automatu. Umożliwia to analizę pracy mikrosystemu cyfrowego w pojazdach szynowych i oszacowanie złożoności obliczeniowej półgrup charakterystycznych automatów. Ma to istotny wpływ na złożoność czasową obliczeń, jak również wielkości pamięci, potrzebnej do rozwiązania problemu. Artykuł powstał w wyniku realizacji projektu badawczego MN i SzW nr N N509 398236 "Mikrosystemy cyfrowe do inteligentnego, rozproszonego i współbieżnego sterowania pojazdami szynowymi".

EN

This publication continues the series of articles [6,7,8,9,12,14,15,16,17] concerning the computational complexity of the characteristic semi-group of the asynchronous automatons of the strongly connected and determined analogs of their extensions. In the designing of rail vehicles control are used more and more the digital microsystems for realization the intelligent, scattered and synchronous control. In the digital microsystems it is possible to create the software using the state machine (automaton) and create the software based on the previously drawn up graph of the automaton. This allows the analysis of the digital microsystem work in the rail vehicles and estimation of the computational complexity of characteristic semigroups of the automatons. This has an important impact on the time complexity of calculations, as well as the amount of memory needed to solve the problem. This article was written as a result of the Research Project of the Ministry of Science and Higher Education No. N N509 398236 "Digital microsystems for the intelligent, scattered and synchronous rail vehicles control".

3

Optymalizacja realizacji układowej hierarchicznych sieci Petriego

Stasiak A.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

108-110

PL

Projektowanie wysokiego poziomu systemów cyfrowych dotyczy szeregu aspektów związanych bezpośrednio z wybraną metodologią projektowania, modelem formalnym, algorytmami syntezy sprzętowej i programowej opisu behawioralnego. Rozważając sieci Petriego jako model formalny projektowanego systemu, szczególnie interpretowane hierarchiczne sieci Petriego, projektant ma do dyspozycji bogaty zbiór algorytmów analizy formalnej, metod syntezy programowej i sprzętowej. Jednak znane rozwiązania dotyczą przede wszystkim opisu zachowania funkcjonalnego sterowników logicznych, gdzie miejsce sieci reprezentuje logiczną operację przypisania poziomu '0' lub '1' do wyjścia układu (jeden bit lub wektor). Zauważalny jest jednak brak propozycji naukowych wspierających projektowanie systemu opisanego sieciami Petriego, gdzie w miejscu sieci realizowane są złożone instrukcje arytmetyczne lub logiczne. Przykładem sieci Petriego wspierającej w pełni projektowanie systemu sprzętowo-programowego jest siec PNHSDM (ang. Petri Net for Hardware So-ftware Digital Microsystem). Artykuł w sposób ogólny przedstawia model formalny sprzętowo-programowych sieci Petriego PNSHDM, skupiając się szczególnie na metodzie optymalizacji algorytmu syntezy sprzętowej sieci PNHSDM do reprogramowalnych układów FPGA. W pracy podjęto tematykę szeregowania zadań (ASAP, ALAP). Rozwiązano problem systemu przełączania sprzętowych modułów wykonawczych w kontekście planowanych do wykonania zadań. Wyznaczono wzór pozwalający na oszacowanie kosztów realizacji sprzętowej systemu przełączania, który zależny jest od liczby instancjacji i złożoności harmonogramowanej instrukcji.

EN

The high level designing concerns several aspects that are directly related to the designing methodology as well as formal model definition, hardware/software synthesis algorithms, etc. When a Petri nets are considered as a formal model of developing system, especially hierarchical interpreted Petri nets, then a designer has a lot of ready to use and very well documented algorithms dedicated for formal verification, hardware and software synthesis, transformations, etc. However, most of the know solutions for Petri nets concerns designing logic controllers, where a one net place implements simple assigning operation of logical state to the output. There is lack of solutions that use a Petri nets to formalize and describe really system, where a place implements complex algebraic or logic functions. A formal model based on Petri nets for hardware-software digital microsystems (PNHSDM) has been elaborated to eliminate this gap. This paper shortly describes PNHSDM model, but author have concentrate on optimization of hardware Petri nets synthesis algorithm that is responsible to translate functional description into VHDL-RTL language. This approach takes into consideration task scheduling (ASAP, ALAP), presents elaborated solution of switching system for PNHSDM Petri nets as well as provides static hardware cost estimations of the switching system.

4

Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego

Stasiak A., Skowroński Z.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

111-113

PL

Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.

EN

The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.

5

Model formalny sprzętowo-programowych systemów cyfrowych

Stasiak A., Skowroński Z.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 6 bis

17-19

PL

Projektowanie sprzętowo-programowych zintegrowanych systemów cyfrowych jest jedną z najnowszych i wciąż rozwijanych technologii projektowania systemów osadzonych. Innowacja polega na zmianie punktu decyzyjnego w procesie projektowym, tj. punktu podziału systemu na dwie części: sprzęt i program. Podczas procesu projektowego, który operuje na modelu pośrednim systemu, decyzja podziału jest opóźniana tak długo jak to możliwe. W chwili, gdy znane są wszelkie aspekty dotyczące wydajności i ograniczeń analizowanego systemu (takich jak: czas, koszty, interfejs wewnętrzny, i inne), wówczas możliwy jest właściwy podział systemu na część programową i sprzętową. Projektowanie heterogenicznych systemów z wykorzystaniem metodologii projektowania zintegrowanego, wymaga posługiwania się sformalizowanym, matematycznym modele formalnym, który jest pryzmatem budowy modelu pośredniego systemu. Artykuł prezentuje nowy model formalny bazujący na sieciach Petriego, dedykowany dla heterogenicznych systemów zintegrowanych.

EN

The hardware/software co-design is the one of a few newest and still under development design technologies dedicated for embedded systems. The innovation depends on change of the point decision in the design flow, which the design flow concerns system partitioning process. The partitioning decision is delayed as long as it is possible while processing decomposition operations on permanently integrated design. The decision is taken, when there are known all detailed data about possibilities and limitations of analyzed system, e.g.: time, costs, interconnections, etc. To design heterogonous system using hardware-software co-design methodology, there is required (good) formulated, mathematic model that describes complete system functionality, its properties and configuration. This paper presents a new formal model for hardware-software digital systems based on Petri nets.