Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

NIE dla korozji cz. I

Gottschalk-Gaudig G., Broda S., Adamczyk F., Kreilos K.

Energetyka Cieplna i Zawodowa

2013

Nr 5

38--42

Instalacje odsiarczania spalin są tymi, w których rury ciśnieniowe pracują w warunkach sprzyjających korozji. Powstaje pytanie, jak chronić instalacje? Co zrobić, aby ograniczyć niekorzystne zjawisko korozji lub całkowicie je wyeliminować? Okazuje się, że ciekawym rozwiązaniem jest zastosowanie tworzyw sztucznych na rury ciśnieniowe. Jakie można uzyskać efekty?

NIE dla korozji. Cz. 2

Gottschalk-Gaudig G., Broda S., Adamczyk F., Kreilos K.

Energetyka Cieplna i Zawodowa

2013

Nr 6

115--118

W pierwszej części artykułu dowiedzieliśmy się m.in. jakie są struktury i typy tworzyw całkowicie fluorowanych, jak wyglądają procesy ich produkcji, a także gdzie i jak można je (tworzywa) zastosować w branży energetycznej. Teraz kilka słów o różnicach między typami tworzyw całkowicie fluorowanych głównie pod katem stosowania na wężach ciśnieniowych oraz o doświadczeniach z wężami ciśnieniowymi PFA dla różnych paliw.

Counting a type's (principal) inhabitants

Broda S., Damas L.

Fundamenta Informaticae

2001

Vol. 45, nr 1,2

33-51

We present a Counting Algorithm that computes the number of l-terms in b-normal form that have a given type t as a principal type and produces a list of these terms. The design of the algorithm follows the lines of Ben-Yelles' algorithm for counting normal (not necessarily principal) inhabitants of a type t. Furthermore, we show that one can use similar algorithms with adequate limits to count normal and principal normal inhabitants in the lI-calculus.