W artykule przedstawiono krótki rys historii metalurgii w Polsce, klasyfikację oraz metody przerobu i recyklingu złomu stalowego na potrzeby hutnictwa stali oraz kryteria jego identyfikacji i oceny.
EN
The article presents outline of metalllurgy history in Poland, classifi cation and methods of steel scrap processing and recycling for steel industry as well as steel scrap identifi cation and evaluation.
W pracy przedstawiono porównawczą analizę techniczną i elementarną różnego rodzaju paliw: biomasy, osadów ściekowych, węgla kamiennego, węgla brunatnego, antracytu oraz mułu węglowego. Ponadto zestawiono charakterystyczne temperatury topliwości popiołu wspomnianych wyżej paliw. Analizy zawarte w opracowaniu stają się niezwykle pomocne w wyjaśnieniu zachowania się różnych paliw podczas wysokotemperaturowego fizyczno-chemicznego procesu. Jednocześnie należy podkreślić, iż w polskiej energetyce węgiel to paliwo podstawowe. Jednak z uwagi na nowe uwarunkowania prawne, związane z koniecznością obniżenia emisji zanieczyszczeń do atmosfery, czy unieszkodliwianiem paliw odpadowych, spalanie biomasy oraz termiczna utylizacja osadów ściekowych, a także mułów węglowych staje się niezwykle istotna.
EN
The paper presents a comparative analysis of the technical and elemental various types of fuel: biomass, sewage sludge, hard coal, brown coal, anthracite and coal mule. Furthermore, also summarized characteristic temperatures of ash melting of the above mentioned fuels. The analyzes contained in the paper of are extremely helpful in explaining the behavior of different fuels during the high physico-chemical process. At the same time it should be emphasized that in the Polish power sector coal is the primary fuel. However, due to new legal regulations related to the need to reduce the emission of pollutants into the atmosphere, or disposal of waste fuels, biomass combustion and thermal utilization of sewage sludge and coal mule becomes extremely important.
A classification of dependence relations representing exact dependences in program loops is presented. The class of a relation causes the choice of techniques for program loop parallelization. Techniques to recognize the class of a relation are presented. The implementation of these techniques by means of the Omega library is discussed. Results of an experimental study aimed at recognizing classes of dependence relations extracted for popular benchmarks (Livermore Loops, NAS, and UTDSP) are outlined.
PL
W artykule dokonano podziału relacji zależności występujących w pętlach programowych. Na podstawie przeprowadzonych obserwacji wyodrębniono sześć podstawowych klas takich relacji. Trafne rozpoznanie danej klasy relacji opisującej zależności, determinuje dobór odpowiedniej techniki transformacji pętli programowej i tym samym pozwala na uzyskanie znacznie większego jej stopnia równoległości w porównaniu z metodami bazującymi na rozwiązaniach przybliżonych. Rozwiązania takie, zawierają zdecydowanie większą liczbę zależności, aniżeli ich faktyczna liczba wystąpień. W celu ułatwienia procesu identyfikacji poszczególnych klas relacji zależności, przedstawiono szereg formalnych metod ich rozpoznania wykorzystujących szeroki wachlarz mechanizmów zawartych w bibliotece Omega. Na potrzeby przeprowadzonych badań zaimplementowano narzędzie, w ramach którego przeanalizowano zestawy pętli trzech popularnych benchmarków : Livermoore, NAS i UTDSP. Uzyskane wyniki pozwoliły wyciągnąć wnioski odnośnie procentowego udziału relacji zależności w zaproponowanych przez autorów klasach.
Przedstawiliśmy w artykule sposoby obliczenia domknięcia przechodniego sparametryzowanych relacji nie należących do klasy relacji d-form. Do takich relacji należą relacje, których ograniczenia tranzytywnego domknięcia mają nieliniowe wyrażenia oraz relacje hybrydowe czyli takie, których część odpowiadających sobie składowych krotki wejściowej i wyjściowej jest charakterystyczna dla relacji d-form [9], a pozostała pozwala na zastosowanie techniki opartej na utworzeniu i rozwiązaniu układu równań rekurencyjnych [7]. Przedstawione podejścia pozwalają na rozszerzenie możliwości obliczania tranzytywnego domknięcia relacji, a znaczy znajdowanie równoległości dla większego spektrum pętli programowych.
EN
Approaches for calculating the exact transitive closure of a single dependence relation are presented. These approaches are based on calculating firstly the power k of a relation, then transitive closure is easily formed by making k in the formula received to be existentially quantified. Supposed approaches permit for enlarging the scope of dependence relations for which it is possible to calculale exact transitive closure. This enlarges the scope of program loops for which it is possible to extract both fine- and coarse-grained paralIelism. Results of experiments with popular benchmarks are presented.
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ć.