Temat: CCL - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Hydrodechlorination of tetrachloromethane over silica-supported palladium-gold alloys
Autorzy:: Karpiński, Zbigniew
Bonarowska, Magdalena
Juszczyk, Wojciech
Powiązania:: https://bibliotekanauki.pl/articles/778269.pdf
Data publikacji:: 2014
Wydawca:: Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:: Pd-Au/SiO2
CCl4 hydrodechlorination
synergy
selectivity for hydrocarbons
catalyst deactivation
Opis:: Compared with the monometallic palladium, bimetallic Pd-Au/SiO2 catalysts show much higher activity and better stability in the reaction of hydrodechlorination of tetrachloromethane, also providing higher selectivity to longer than methane hydrocarbon products. Reasonably mixed Pd-Au particles show better catalytic performance during ~60 h operation, whereas the monometallic palladium and very rich in palladium catalysts suffer rapid deactivation. Smaller amounts of carbon- and chlorine-containing deposits found after reaction on Pd-Au catalysts correspond to their superior catalytic behavior.
Źródło:: Polish Journal of Chemical Technology; 2014, 16, 4; 101-105
1509-8117
1899-4741
Pojawia się w:: Polish Journal of Chemical Technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Characteristic of physicochemical properties of Pd/MgO catalysts used in the hydrodechlorination process with CCl4
Autorzy:: Góralski, J.
Szczepaniak, B.
Grams, J.
Maniukiewicz, W.
Paryjczak, T.
Powiązania:: https://bibliotekanauki.pl/articles/777889.pdf
Data publikacji:: 2007
Wydawca:: Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
Tematy:: katalizator palladowy
tlenek magnezu
wodoroodchlorowanie
CCl4
palladium catalyst
basic properties of MgO
hydrodechlorination
Opis:: The aim of this paper was to investigate the physicochemical properties of palladium catalyst containing basic support MgO which was used in hydrodechlorination reaction with carbon tetrachloride. In order to characterize the investigated sample the catalyst was put to tests of XRD, TOF - SIMS, TG-DTA-MS and TPR(H2), measurements, activity tests were also performed. The XRD and TPR results demonstrated the presence of PdOxCly species whose decomposition takes place above 700°C. The calcination of the Pd/MgO catalyst at 700°C resulted in the transformation of PdOxCly to PdO.
Źródło:: Polish Journal of Chemical Technology; 2007, 9, 3; 77-80
1509-8117
1899-4741
Pojawia się w:: Polish Journal of Chemical Technology
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

Tytuł:: Concurrent systems modeling with CCL
Modelowanie systemu w CCL
Autorzy:: Kułakowski, K.
Powiązania:: https://bibliotekanauki.pl/articles/282097.pdf
Data publikacji:: 2012
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:: CCL
DFD
inżynieria oprogramowania
metody formalne
eksplozja stanów
software engineering
formal methods
state explosion problem
Opis:: One of the challenges facing software engineering is to conduct research into new methods of modeling systems. The CCL notation shown in the article tries to follow in this direction. The solutions and methods presented here indicate its practical application to modeling complex eomputer systems using the struetural, dataflowcentric approach. The basis for the proposed integration between CCL and struetural methods is the newly defined externalization mechanism. It allows the details of inter-process communication to be abstracted away, thereby reducing the size of the submodels which are subject to further verification. Thanks to the methods adopted here, the overall picture of the system becomes morę readable for humans, and, due to the significant submodel state space reduction, the effective use of formal methods for their analysis becomes possible.
Jednym z podstawowych zadań związanych z inżynierią oprogramowania jest szukanie nowych i optymalizacja istniejących metod modelowania systemów informatycznych. Przedstawiona w pracy notacja CCL stara się wpisywać w ten nurt badań. Prezentowane podejście pokazuje jej użyteczność w kontekście użycia metod strukturalnych (diagramy przepływu danych) do modelowania złożonych systemów informatycznych. Podstawą proponowanej integracji pomiędzy CCL i metodami modelowania strukturalnego jest nowowprowadzone pojęcie eksternalizacji. Pozwala ono abstrahować od szczegółów implementacyjnych komunikacji międzyprocesowej, redukując tym samym wielkość modeli podlegających dalszej weryfikacji. Dzięki przyjętemu rozwiązaniu modele stają się bardziej czytelne dla projektantów, oraz dzięki znaczącej redukcji przestrzeni stanów, możliwe staje się efektywne wykorzystanie metod formalnych w celu ich dalszej analizy.
Źródło:: Automatyka / Automatics; 2012, 16, 2; 115-125
1429-3447
2353-0952
Pojawia się w:: Automatyka / Automatics
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "CCL" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język