Autor: Macko, P. - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Some properties of coalgebras and their role in computer science
Autorzy:: Steingartner, W.
Radakovic, D.
Valkosak, F.
Macko, P.
Powiązania:: https://bibliotekanauki.pl/articles/973618.pdf
Data publikacji:: 2016
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Tematy:: coalgebra
functor
induction
internal state of program
observable behavior of program
SLGeometry software
koalgebra
funktor
indukcja
endofunktor
Opis:: This paper introduces basic theoretical knowledge of coalgebras in computer science. Coalgebras are, specifically in category theory, structures defined according to an endofunctor. For both algebra and coalgebra, a functor is a convenient and general way of defining a signature. We present practical usage of the coalgebras in an example. We observe a behavior of a simple Sequencer developed in SLGeometry framework. We model its behavior with the simple program written in Python, and we describe its behavior within coalgebra of endofunctor. The computation of the values stored in internal states is performed coinductively. Our approach can be used in the teaching process of formal methods for young software engineers.
Źródło:: Journal of Applied Mathematics and Computational Mechanics; 2016, 15, 4; 145-156
2299-9965
Pojawia się w:: Journal of Applied Mathematics and Computational Mechanics
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 2.

Tytuł:: Medical and military applications of 3D printing
Autorzy:: Mikołajewska, E.
Macko, M.
Mikołajewski, D.
Ziarnecki, Ł.
Stańczak, S.
Kawalec, P.
Powiązania:: https://bibliotekanauki.pl/articles/1395618.pdf
Data publikacji:: 2016
Wydawca:: Akademia Wojsk Lądowych imienia generała Tadeusza Kościuszki
Tematy:: 3D printing
3D scanning
reverse engineering
military applications
biomedical applications
Opis:: 3D printing, 3D scanning and reverse engineering may constitute a significant breakthrough in research all over the world, especially within medical and military technologies. Particularly 3D printing seems to be a promising method to produce 3D objects manufactured layer-by-layer. The broader use of the above technologies may allow customization of various products and lower costs of design and production. At the same time progress in 3D printing technologies needs to be monitored and analyzed in order to deal with possible future threats. This article aims at investigating the extent to which the military and biomedical applications of 3D scanners and 3D printers are exploited, including in the framework of the authors’ own concepts, studies and observations.
Źródło:: Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki; 2016, 1; 128-141
1731-8157
Pojawia się w:: Zeszyty Naukowe / Wyższa Szkoła Oficerska Wojsk Lądowych im. gen. T. Kościuszki
Dostawca treści:: Biblioteka Nauki

Artykuł

Skocz do pozycji: 3.

Tytuł:: Analizy numeryczne wybranych konstrukcji rozdrabniacza
Numerical and constructional analysis of grinders
Autorzy:: Macko, M.
Soboczyński, A.
Zybert, G.
Zgórski, Ł.
Jędrzejewski, Ł.
Wieczorek, P.
Wysocki, M.
Powiązania:: https://bibliotekanauki.pl/articles/2070317.pdf
Data publikacji:: 2009
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:: rozdrabniacz bijakowy
rozdrabnianie
symulacja numeryczna
hammer mill
milling
numerical simulation
Opis:: Praca dotyczy zagadnień konstrukcyjnych rozdrabniaczy bijakowych oraz analiz numerycznych przeprowadzonych w środowisku CAD/CAE. Przedstawiono wybrane wyniki procesu dla wybranego zakresu prędkości obrotowych. Wyniki uzyskane w badaniach symulacyjnych porównano w dalszym etapie z wynikami badań laboratoryjnych.
The CAD/CAE emdronment was used for checking some constructional issues and numerical analysis of hammer mills. Results for a selected rangę of rotational yelocity arę presented. The simulation results were compared with those obtained in laboratory-scale tests.
Źródło:: Inżynieria i Aparatura Chemiczna; 2009, 2; 92-93
0368-0827
Pojawia się w:: Inżynieria i Aparatura Chemiczna
Dostawca treści:: Biblioteka Nauki

Artykuł

Informacja