Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: parallel processes

Sortuj według:

Ogranicz wyniki do:

The use of Petri Nets for inclusive education IT-support

Shestakevych T., Pasichnyk V.

ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes

2015

Vol. 4, No 2

33--38

The work is devoted to inclusive education process modeling by means of Petri nets with the aim to formalize the requirements to information technology support of such learning. The analysis of mathematical model of the inclusive education process allowed identifying factors of influence on this process. The study of specific interaction of external and internal factors and their influence on the output parameters was carried out, using the analysis of the procedure of educational aim achievement and additional conditions. Petri net of the education process of a person with special needs was developed. The decomposition process of inclusive education in the form of serial and parallel implementation of relevant educational tasks allowed developing functional requirements to a complex information technology of inclusive education support. For the design of information technology for information storage and structuring in the process of inclusive education, a mathematical model of subject domain description formation process was used.

Zrównoleglanie algorytmów sterowania w systemach klasy PLC

Andrzejewski G., Skowroński Z.

Pomiary Automatyka Kontrola

2006

R. 52, nr 6 bis

62-64

W artykule przedstawiono metodykę projektowania algorytmów sterowania, w których można wydzielić procesy współbieżne. Wskazano możliwość wykorzystania profesjonalnych narzędzi wspomagających projektowanie systemów cyfrowych, a w szczególności automatycznego translatora opisu HDL do interpretowanej sieci Petriego. Przedstawiono zarys algorytmu zrównoleglania procesów sekwencyjnych, a także metodę realizacji automatów skończonych i interpretowanych sieci Petriego, z wykorzystaniem języka LD (IEC 61131-3).

A method for designing controller algorithms (with some concurrent processes) has been discussed. Particularly, this paper presents a usage of computer-aided design tools to solve synthesis problems of digital controllers and describes a method for transforming their specifications that are frequently given in sequential form - for example, processes in HDL into interpreted Petri nets. A paper also shows a parallelising process of control algorithms and a method of implementation of FSM and Petri nets with LD language (IEC 61131-3).