PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 5

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  reducibility
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Process engineering in iron production
Pustejovska P., Jursova S.
Chemical and Process Engineering
|
2013
|
Vol. 34, nr 1
63--76
EN
Balance, thermodynamic and mainly kinetic approaches using methods of process engineering enable to determine conditions under which iron technology can actually work in limiting technological states, at the lowest reachable fuel consumption (reducing factor) and the highest reachable productivity accordingly. Kinetic simulation can be also used for variant prognostic calculations. The paper deals with thermodynamics and kinetics of iron making process. It presents a kinetic model of iron oxide reduction in a low temperature area. In the experimental part it deals with testing of iron ore feedstock properties. The theoretical and practical limits determined by heat conditions, feedstock reducibility and kinetics of processes are calculated.
2
Content available remote Reducibility Proofs in the λ-Calculus
Kamareddine F., Rahli V., Wells J. B.
Fundamenta Informaticae
|
2012
|
Vol. 121, nr 1/4
121-152
EN
Reducibility, despite being quite mysterious and inflexible, has been used to prove a number of properties of the λ-calculus and is well known to offer general proofs which can be applied to a number of instantiations. In this paper, we look at two related but different results in λ-calculi with intersection types. 1. We show that one such result (which aims at giving reducibility proofs of Church-Rosser, standardisation and weak normalisation for the untyped λ-calculus) faces serious problems which break the reducibility method. We provide a proposal to partially repair the method. 2. We consider a second result whose purpose is to use reducibility for typed terms in order to show the Church-Rosser of &lbeta;-developments for the untyped terms (and hence the Church- Rosser of β-reduction). In this second result, strong normalisation is not needed. We extend the second result to encompass both βI- and βη-reduction rather than simply β-reduction.
3
Zaawansowany system nadzoru atmosfery roboczej w urządzeniu do oznaczania redukcyjności rud żelaza
Ryciak S., Grotkowski Ł., Kiełczewski R.
Elektronika : konstrukcje, technologie, zastosowania
|
2010
|
Vol. 51, nr 7
211-214
PL
Artykuł opisuje zaawansowany system nadzoru atmosfery roboczej wchodzący w skład urządzenia do badania redukcyjności rud żelaza. Normy jakościowe i wymagania technologiczne narzucają zastosowanie zaawansowanych rozwiązań dystrybucji gazów (w tym toksycznego tlenku węgla) oraz niezawodnej ochrony zdrowia personelu. Układy rozproszone oraz użycie sterownika PLC umożliwiają realizację tych zadań.
EN
The article describes advenced system of working atmosphere surveillance in ironstone reducibility determination unit - one of devicesinvented in Tele & Radio Researcg Institute. Quality standards and technological requirements impose application of advenced solutions for gas distribution. Distributed system and use of PLC controller allow accomplishment of these problems.
4
Badania wpływu składu chemicznego katalizatorów Cu-Zn-Al do parowego reformingu metanolu na przebieg ich aktywacji termicznej
Próchniak W., Kowalik P., Borowiecki T.
Karbo
|
2009
|
Nr 1
45-48
PL
Przedstawiono wyniki badań nad wpływem składu chemicznego współstrącanych katalizatorów Cu-Zn-Al przeznaczonych do reakcji parowego reformingu metanolu na ich kalcynację i redukcję. Dokonano oceny właściwości fizykochemicznych modelowych próbek badając skład fazowy i przebieg kalcynacji prekursorów oraz redukowalność katalizatorów. Ustalono optymalne warunki obróbki termicznej prekursorów i katalizatorów.
EN
The paper presents investigation results of chemical composition effect of coprecipitated Cu-Zn-Al catalysts for steam reforming of methanol on their calcination and reduction. Physico-chemical properties of model samples were evaluated by analysis of phase composition, precursors' calcination and catalyst reducibility. Optional conditions of precursor and catalyst thermal processing were determined.
5
Content available remote Reducibility of symmetric polynomials
Schinzel A.
Bulletin of the Polish Academy of Sciences. Mathematics
|
2005
|
Vol. 53, no 3
251-258
EN
A necessary and sufficient condition is given for reducibility of a symmetric polynomial whose number of variables is large in comparison to degree.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.