Wyniki wyszukiwania - BazTech

1

Assessment of the possibility of using Bayesian nets and Petri nets in the process of selecting additive manufacturing technology in a manufacturing company

Topczak Marcin, Śliwa Małgorzata

Applied Computer Science

|

2021

|

Vol. 17, no 1

5--16

EN

The changes caused by Industry 4.0 determine the decisions taken by manufacturing companies. Their activities are aimed at adapting processes and products to dynamic market requirements. Additive manufacturing technologies (AM) are the answer to the needs of enterprises. The implementation of AM technology brings many benefits, although for most 3D printing techniques it is also relatively expensive. Therefore, the implementation process should be preceded by an appropriate analysis, in order, finally, to assess the solution. This article presents the concept of using the Bayesian network when planning the implementation of AM technology. The use of the presented model allows the level of the success of the implementation of selected AM technology, to be estimated under given environmental conditions.

2

Zastosowanie wybranych reprezentacji graficznych do analizy aplikacji wielowątkowych

Giebas D., Wojszczyk R.

Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej

|

2018

|

Nr 13

5--25

PL

Artykuł zawiera zestawienie reprezentacji graficznych, do których możliwa jest transformacja kodu źródłowego aplikacji wielowątkowych. Zestawienie powszechnie wykorzystywanych reprezentacji, jakimi są Control Flow Graph i Sieci Petriego, pozwoliło na analizę tych reprezentacji, pod kątem przydatności do znajdywania popularnych i niepożądanych zjawisk w aplikacjach wielowątkowych. Jako alternatywa dla Control Flow Graph i Sieci Petriego przedstawiono reprezentację Systemów Współbieżnych Procesów. Wszystkie trzy reprezentacje zostały wykorzystane do reprezentacji przykładowej aplikacji napisanej w języku C, zawierającej zjawisko race condition. W podsumowaniu dokonana została ocena, która zależała od tego czy dana reprezentacja pozwoli odnaleźć wspomniane zjawisko.

EN

The article contains a list of graphical representations to which it is possible to transform the source code of multithreaded applications. Comparison of commonly used representations, such as Control Flow Graph and Petri Network, allowed to analyze these representations in terms of their usefulness in finding popular and undesirable phenomena in multithreaded applications. As an alternative to Control Flow Graph and Petri Network, the representation of Concurrent Processing Systems is presented. All three representations were used to represent a sample Clanguage application containing race condition. In conclusion, an assessment was made, which depended on whether the representation would allow to find the phenomenon.

3

The integration of an automatic reserve switching controller into a railway traffic control system power supply through the use of a Petri net and a graphical programming

Mielnik R.

Technical Transactions

|

2018

|

Vol. 115, iss. 8

155--166

EN

The requirement for high reliability and safety in the operation of measuring and control systems is particularly relevant in critical applications in which system failure can lead to large material losses and can constitute threat to health and even to life. Railway traffic control systems are one such application. There is a requirement for the use of powerful tools and methods of modelling the function and operation of this system. The purpose of this publication is to present the use of a Petri net in modelling automatic reserve switching device controllers of railway traffic control system power. The publication also shows the practical implementation of such a controller. It was implemented using the hardware platform of the NI CompactRIO family of controllers and an application made in the National LabView graphical programming environment.

PL

Wysoka niezawodność i rzetelne działanie systemów pomiarowo-sterujacych w zastosowaniach krytycznych w obecnej dobie jest coraz bardziej wymagany. Niewłaściwa praca takich systemów może doprowadzić do dużych strat materialnych, a nawet utraty zdrowia i życia ludzi. Dlatego też uwarunkowania te wymuszają stosowania narzędzi i metod do formalnego modelowania funkcji oraz symulowania pracy powyższych systemów. W artykule zaproponowano wykorzystanie Sieci Petriego w procesie modelowania funkcji sterownika układu automatycznego załączania rezerwy urządzeń zasilania systemów sterowania ruchem kolejowym. W artykule przedstawiono także praktyczną realizację sterownika wspomnianego wcześniej układu. Zrealizowano go na platformiie sprzętowej rodziny sterowników NI CompactRIO oraz aplikacji wykonanej w graficznym środowisku programowania LabView firmy National Instruments.