Wyniki wyszukiwania - BazTech

1

Eksploatacyjne uwarunkowania budowy systemów monitorujących

Korbiel T.

Przegląd Mechaniczny

|

2016

|

nr 10

18--25

PL

W rozwoju diagnostyki technicznej jako dziedziny nauki można wyróżnić trzy główne kierunki: rozwój układów sensorycznych, rozwój metod przetwarzania i analizy danych oraz rozwój warstwy sprzętowej. Układy diagnostyczne ewoluowały od prostych urządzeń wskaźnikowych do rozbudowanych systemów monitorujących. Dynamiczny rozwój | mikroelektroniki, spadek cen specjalistycznych komponentów oraz dostępność zaawansowanych metod numerycznych skutkuje coraz większą opłacalnością projektowania i użytkowania systemów monitorujących maszyny i urządzenia. W artykule przedstawiono wnioski dotyczące projektowania oraz użytkowania systemów monitorujących, w szczególności opracowanych i wdrożonych przez autora.

EN

In the development of technical diagnostics as a science can be divided into three main directions: the development of sensory systems, the development of methods of data processing and data analysis and the development of the hardware. Diagnostic systems have evolved from simple indicator devices to complex monitoring systems. The dynamic development of microelectronics, price decline of specialized components and the availability of advanced numerical methods results in increasing cost effectiveness of design and operation of monitoring systems and equipment. The paper presents a number of conclusions arising from the design and the use of monitoring systems in particular developed and implemented by the author.

2

Experimental Comparison of Synthesis Tools Altera Quartus II and Synthagate

Węgrzyn M., Karatkevich A.

International Journal of Electronics and Telecommunications

|

2013

|

Vol. 59, No. 4

357-362

EN

The paper presents comparison between efficiency of an industrial FPGA design software tool Altera Quartus II and similar design software tool Synthagate by Syntezza company of an academic origin. The experiments were performed using a series of examples describing the Mealy finite state machines; onehot state encoding was used in all cases. Area (number of used logical blocks) was the main parameter used for the comparison. Influence of the way of FSM description (in VHDL language) on the quality of synthesis was studied. The obtained results show that Synthagate in almost all cases performs synthesis more efficiently and essentially quicker than Altera Quartus. Section I presents motivation of the research. Section II reminds the notion of FSM. Section III describes problems which had to be solved to provide correctness of experimental comparison. Section IV presents some details about state encoding way used in the experiments. In Section V, the experimental results are presented. Section VI describes the problems related to the comparison which still have to be solved. Section VII presents the conclusions from the experiments. Section VIII suggests possible reasons of the detected situation.

3

Deadlock detection in networks of automata communicating via flags

Karatkevich A.

Przegląd Elektrotechniczny

|

2010

|

R. 86, nr 9

126-129

EN

A range of digital systems can be represented as the state machine networks in which FSMs communicate with the help of flip-flops. The article presents a method of detecting possible deadlocks in such networks. The method is illustrated by applying it to a project of a pipeline processor.

PL

Szereg systemów cyfrowych może być prezentowany w postaci połączonych automatów stanów, które komunikują się ze sobą przy pomocy przerzutników. W artykule opisano metodę wykrywania możliwych zakleszczeń w takich systemach. Metoda została zilustrowana przykładem jej zastosowania do projektu procesora z potokowym przetwarzaniem danych.

4

Scripting language in serious games for psychology

Grudziński T., Mikuszewski R., Szczęsna A., Szynalik M., Urbanek K.

Journal of Medical Informatics & Technologies

|

2010

|

Vol. 16

61--68

EN

Computer and video games are more and more used for serous purposes not only for entertainment. In few last years we can observe very fast market development of serious games. They are used to education, simulation, research, health and therapy purposes. This paper describes main features of serious games used for psychology. Specialists prepare scenarios of games with therapeutic points. To fast, easy and efficient implementing such scenario of game the scripting language can be used. In this paper the main features of the scripting language the Sciptarin to support implementing serious games for psychology were described.

5

General morphisms of Petri nets

Bednarczyk M., Borzyszkowski A.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

1999

|

nr 874

3-24

EN

A new notion of a general morphism of Petri nets is introduced. The new morphisms are shown to properly include the morphisms considered so far. The resulting category of general Petri nets is shown to admit products. Here, it is shown that the new notion turns out to be indispensable to facilitate functoriality of synthesis of transition systems by means of (labelled) state machines. In the companion paper this result is used to synthesize concrete asynchronous systems studied by Morin as a mixed products of state machines.

PL

W pracy zaproponowano nowe, uogolnione pojęcie morfizmu dla sieci Petriego. Pokazano, że klasa tych morfizmów jest istotnie bogatsza od dotychczas rozważanych klas morfizmów. Otrzymana w ten sposób kategoria sieci Petriego posiada produkty. W niniejszej pracy pokazano, iż uogólnione morfizmy są niezbędne do zapewnienia funktorialności procesu syntezy tranzycji za pomocą (etykietowanych) maszyn stanowych. W innej pracy autorów pokazano, iz rezultat ten można zastosować w procesie syntezy konkretnych systemów asynchronicznych badanych przez Morin'a poprzez produkty mieszane maszyn stanowych.