Wyniki wyszukiwania - BazTech

1

Some properties of coalgebras and their role in computer science

Steingartner W., Radakovic D., Valkosak F., Macko P.

Journal of Applied Mathematics and Computational Mechanics

|

2016

|

Vol. 15, nr 4

145-156

EN

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.

2

Weak homomorphisms of coalgebras beyond Set

Kianpi M.

Demonstratio Mathematica

|

2014

|

Vol. 47, nr 3

555--580

EN

We study the notion of weak homomorphisms between coalgebras of different types generalizing thereby that of homomorphisms for similarly typed coalgebras. This helps extend some results known so far in the theory of Universal coalgebra over Set. We find conditions under which coalgebras of a set of types and weak homomorphisms between them form a category. Moreover, we establish an Isomorphism Theorem that extends the so-called First Isomorphism Theorem, showing thereby that this category admits a canonical factorization structure for morphisms.

3

Funktory a model projektowania nowych elektronicznych urządzeń pomiarowych

Długosz S.

Zeszyty Naukowe Politechniki Rzeszowskiej. Elektrotechnika

|

2005

|

z. 28 [223]

55-60

PL

Wzrastające zapotrzebowanie na jakość projektowania nowych generacji elektronicznych urządzeń pomiarowych. Sytuacja ta przyczynia się do podejmowania tematyki działań zmierzających do ich osiągania. Przedstawiono charakterystykę pomiarowych środków technicznych wyrażających własności i właściwości współczesnych urządzeń pomiarowych. Omówiono podstawowe wielkości projektowe. Przedstawiono model wieloetapowego procesu działań technicznych i określono rolę obserwatora w tym procesie.

EN

New electronics measurement instruments are build with using new generation eleetronic circuit. They are further called "functors". Their application to get unifiedfuncional scheme of measuring instruments. Their use simplifies assembling. It describes technical means for measurement purposes. The MM"s is created as a result of realizalion of multistage process of technical operations. The process can be divided into to parts. The first one contains "creations" and another contains "products". The model presented can be useful for training future engineers with respect to creation and understanding the creation process.