Wyniki wyszukiwania - BazTech

1

Komunikacja w niewielkich systemach kontrolno-pomiarowych

Pelc L.

Zeszyty Naukowe Politechniki Rzeszowskiej. Elektrotechnika

|

2012

|

z. 32 [287]

17--30

PL

W artykule przedstawiono zagadnienie wymiany danych w ramach niewielkiej sieci urządzeń aparatowych, realizujących zadania związane z cyklicznym pomiarem, sterowaniem czy regulacją. Komunikacja w takim systemie musi uwzględniać ograniczenia czasowe na terminowość wymiany danych. Ponadto, ze względu na zadania takiego systemu, komunikacja bywa cykliczna lub wyzwalana. W związku z tym zaproponowano protokół komunikacyjny, który łączy zalety obu tych rodzajów komunikacji, gwarantując jednocześnie zachowanie stałego cyklu komunikacyjnego. Warstwa fizyczna przedstawionego protokołu może być oparta na ciągle bardzo popularnym w zastosowaniach przemysłowych standardzie RS-485 albo CAN. W artykule wskazano także globalne parametry komunikacyjne, które pozwalają określić ograniczenia czasowe niesione przez dany protokół. Zaprezentowano praktyczne obliczenia dla protokołów typu master-slave, wchodzących w skład proponowanego protokołu z przeplotem.

EN

This paper presents the problem of data exchange within a small network. Each node in the network performs the task of cyclic measurement and control. Communication in the system must take into account the time constraints on timeliness of data exchange. Furthermore, due to the task of such a system, communication is sometimes cyclic or triggered. Therefore, the proposed communication protocol, which combines the advantages of both of these types of communications, while guaranteeing to maintain constant communication cycle. The paper also indicated global communication parameters that allow to set time limits carried by the protocol. Practical calculations are presented for master-slave protocols, which are used in the proposed protocol.

2

Recognition of actions in meeting videos using timed automata

Pelc L., Kwolek B.

Machine Graphics and Vision

|

2006

|

Vol. 15, No. 3/4

577-584

EN

This paper addresses the problem of action recognition in meeting videos. A declarative knowledge provided graphically by the user together with person positions extracted by a tracking algorithm are used to generate the data for recognition. The actions have been formally specified using timed automata. The specification was verified on the basis of simulation tests as well as an analysis. The tracking is accomplished using a particle filter built on cues such as color, gradient and shape.

3

Specyfikacja formalna protokołów prostych magistral polowych

Pelc L., Trybus L.

Pomiary Automatyka Kontrola

|

2005

|

R. 51, nr 1

14-15

PL

Scharakteryzowano problem formalnego specyfikowania protokołów komunikacyjnych dla magistral polowych. Wskazano dwa sposoby uwzględniania upływu czasu oraz omówiono zagadnienie jawnego specyfikowania ograniczeń czasowych komunikacji. Weryfikację poprawności systemu ze specyfikowanym protokołem ograniczono do testów. Zastosowano język specyfikacji LOTOS oraz jego czasowe rozszerzenie RT-LOTOS. Rozważania zilustrowano prostym przykładem protokołu Master-Slave, powszechnie stosowanym w małych systemach rozproszonych.

EN

The problem of fieldbus protocol formal specification is characterized. Two techniques of time elapsing are indicated. Explicit specification of time constraints is described. Verification of a system that uses specified protocol is carried out by means of tests, LOTOS specification language and its RT-LOTOS real time extension is used. Considerations are illustrated by simple example of Master-Slave protocol employed for vertical communication in small distributed system.