Academic Digital Library (Akademickiej Bibliotece Cyfrowej)
Not a member yet
13174 research outputs found
Sort by
Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS rozprawa doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2009.Zawiera bibliogr. i indeks.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Algebry Procesów, historia algebr procesów, Calculus of Communicating Systems, Communicating Sequential Processes, Algebra of Communicating Processes, Language of Temporal Ordering Specification, narzędzia, CADP, Edinburgh Concurrency Workbench, CWB-NC, MOTOR, zastosowania, rachunek elementarny, rozszerzenie czasowe TCCS, rachunek z przesyłaniem danych, równoważność modeli CCS, logika Hennessy-Milnera, warstwa graficzna, algebraiczna, reguły konstruowania modelu, konwersja diagramów XCCS do algebry CCS, eliminacja elementów junction, numerowanie, wyliczanie priorytetów agentów, reetykietowanie połączonych portów, eliminacja niepożądanych połączeń, operatora przeplatania, generacja skryptu CCS, model pięciu filozofów, sygnalizacji świetlnej, czuwak aktywny, algebra XCSS z przesyłaniem danych, deklaracje, modelowanie z wykorzystaniem VP-XCCS, konwersja diagramów XCCS do algebry VP-CCS, producent - konsument, czytelnicy, pisarze, Inez XCCS Editor, architektura programowa, użytkowanie edytora, tworzenie diagramów, agentów, portów, podstawowe operacje edycyjne, tworzenie połączeń, skalowanie diagramu, siatka, okno ustawień, eksport diagramów, menu aplikacji, format danych, modelowanie systemów wbudowanych z wykorzystaniem VP-XCCS na przykładzie robota, robot Hexor, koncepcja systemu sterującego, test modelu, implementacja, gramatyka wyrażeń dla rachunku elementarnego XCCS, z przesyłaniem danyc
Controlling operacyjny jako narzędzie zarządzania zakładami opieki zdrowotnej praca doktorska /
No full textZawiera bibliogr.
Wpływ uprawnień zbywalnych do emisji zanieczyszczeń powietrza na wyniki finansowe elektrowni w Polsce rozprawa doktorska /
No full textZawiera bibliogr.
Analysis of UML representation for XTT and ARD rule design methods
No full textTyt. z ekranu tytułowego.Bibliogr.Tryb dostępu: Internet
Welding sequence analysis PhD thesis /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2009.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Methods for controlling residual stresses, distortion induced by welding sequence antecedents, advantages of residual stress and distortion control, methods to control welding-induced residual stress, distortion, definition of weld parameter, weld procedure, fixture design, precambering, prebending, thermal tensioning, heat sink welding, preheating, post-weld heat treatment, corrective methods, classification, for single, multiple pass welds, welding sequence selection based on empiric rules, matrix of the antecedents, proposal of a numeric simulation of the welding process, numeric simulation of the welding sequence in an l-type structure, by finite element method, thermal, mechanical model, geometric configuration of the l-type specimen subject to tension, material selection, temperature-dependent thermal, mechanical properties of ASTM A36, finite element model, points of interest, residual stresses to tension obtained, comparison between the numerical, experimental results, welding sequence in a L-type structure, geometric configuration, localization of the point of interest, distortion profile, experimental tests, selection, measurement of distortion on L-type specimens, welding sequence analysis in a stiffened symmetric plane frame, residual stress-distortion relations, order of importance of the welding sequences to reduce residual stress, relation between both parameters, formulation of the proper welding sequences, improve the relation between both critical parameters, hypothesis to determine, three dimensional unitary cell-type symmetric structure, hypothesis to determine, selection of the number of weld beads, symmetry axis selection, formation of the concentric spheres, fillet weld shape used, localization of the points of interest, different welding sequences analyzed, maximum von Mises residual stress, distortion modes, numeric comparison between the proper welding sequence, methodology of experimental tests, specimen material selection, metal transfer mode, operating variables, arc voltage, welding current, speed, wire feed rate, contact tip to work distance selection, electrode orientation, diameter, shielding gas composition, gas flow rate, design, fabrication of the equipment to needed to run the test, mounting locks, relief of residual stresses caused by the manufacturing process, transportation, handling, storage, cutting of the plates, measurement of the initial distortion, holder-mounting device to hold the plates, square-mounting device to square, application, measurement of the distortion after applying the welding tacks, installation, removing the run-off tabs from the welded structure, after applying the welding, final distortion, results of the experimental tests in three-dimensional unitary cell-type specimens, comparison of distortion modes, procedures to determine the proper welding sequences, symmetric, no-symmetric structures in the plane/space, plasticity theory applied to welding process and its formulation by finite element method, common symmetric structures in the plane and in the space based on the hypothesis developed, listing of commands, welding sequence most appropriate with weld bead
Badania modelowe właściwości metrologicznych układu do pomiaru stężenia tlenu w gazie wydechowym z zastosowaniem czujnika eletrochemicznego rozprawa doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2009.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Zagadnienia pomiarowe w aparaturze medycznej do pomiaru parametrów wysiłkowych, konstrukcja aparatury, przykładowy opis wykonania testu metabolicznego, przykład testu wysiłkowego, czujniki stężenia tlenu, paramagnetyczne, cyrkonowe, elektrochemiczne, porównanie parametrów wybranych czujników, model części pneumatycznej układu analizatora stężenia tlenu z czujnikiem elektrochemicznym, opis modelu części pneumatycznej, w gazie wydechowym, modele wężyków łączących elementy układu, osuszacza płaszczowego, pompki membranowej, komory czujnika wraz z krótkimi wężykami łączącymi, pełny model, identyfikacja parametrów modelu matematycznego pneumatycznego układu pobierania próbki gazu wydechowego, ocena jakości modelu części pneumatycznej, model elektrochemicznego czujnika stężenia tlenu, budowa modelowanego czujnika, modelu fizykalnego obejmującego charakter zjawisk w czujniku, odwzorowującego charakter odpowiedzi czujnika na pobudzenie, identyfikacja parametrów modelu fizykalnego elektrochemicznego czujnika MOX-1, MOX-20, identyfikacja parametrów modelu sklejanego elektrochemicznego czujnika FOS65, ocena wpływu temperatury na czujnik, zbiorcza ocena jakości stosowanych w rozprawie modeli czujników elektrochemicznych, badania łącznego modelu układu analizatora stężenia tlenu, łączny model, weryfikacja łącznego modelu analizatora, korekcja statycznych, dynamicznych właściwości z zastosowaniem jego modelu, analizator z korektorem właściwości dynamicznych, konstrukcja korektora, implementacja algorytmu korektora w mikrokontrolerze, ocena jakości działania korektor
Wpływ wybranych czynników chemicznych i fizycznych na właściwości zużytych płuczek wiertniczych rozprawa doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2009.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Rodzaje płuczek wiertniczych, systemy oczyszczania, analiza metod unieszkodliwiania, zagospodarowania zużytych płuczek wiertniczych, program, metody badań odpadów powstałych z odwodnienia płuczek, badanie właściwości fizykochemicznych, analiza składu granulometrycznego, składu fazowego, właściwości mikrostrukturalnych, kompozytów powstałych z zużytych płuczek z dodatkami mineralnymi, zaczynów cementowych z dodatkiem produktów prażenia zużytych płuczek, oznaczenie parametrów technologicznych świeżych zaczynów, badania stwardniałych zaczynów cementowych, rodzaje, charakterystyka surowców, cementu hutniczego CEM III/A 32,5, popiołów lotnych, tlenku wapnia, cieczy zarobowych, pod kątem możliwości wykorzystania w geotechnice, skład granulometryczny, badanie składu fazowego, mikrostruktury, właściwości buforowych, określenie wpływu temperatury, promieniowania uv-a na przemiany odpadowych płuczek, analiza wpływu promieniowania UV-A na odpadowe płuczki, modyfikacja właściwości płuczek pod wpływem temperatury, dodatków mineralnych, proces granulacji, proces obróbki termicznej, badanie fizyczno-mechanicznych właściwości kruszyw otrzymanych z zużytych płuczek, właściwości chemicznych powstałych kruszyw, składu fazowego, wpływ produktów prażenia odpadowych płuczek na parametry technologiczne zaczynów, badanie wpływu wprowadzenia zużytych płuczek na właściwości stwardniałych zaczynów, wpływ zużytych płuczek na wymywalność substancji szkodliwych, na skład fazowy, na mikrostrukturę, opracowanie sposobu zagospodarowania zużytych płuczek wiertniczyc
Dobór technologii utrzymywania wyrobisk przyścianowych w jednostronnym otoczeniu zrobów na podstawie pomiarów przemieszczeń górotworu praca doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2009.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Problematyka utrzymywania wyrobisk przyścianowych w świetle przeglądu literatury, własnych doświadczeń, obserwacji, obudowa górniczych wyrobisk korytarzowych, cele, zadania, współpraca obudowy z górotworem, obudowa łukowa podatna, ŁP, opinka, wzdłużna stabilizacja odrzwi, wykładka pustek za obudową, dobór obudowy wyrobisk korytarzowych, deformacje, empiryczne metody obliczeń wartości konwergencji chodników, badanie przemieszczeń obudowy łukowej, sposoby wzmacniania obudowy, wzmacnianie obudowy przed frontem ściany, zabezpieczenie skrzyżowań ścian z wyrobiskami przyścianowymi, utrzymywanie wyrobisk w jednostronnym otoczeniu zrobów, sposób realizacji badań, opis warunków górniczo-geologicznych rejonu prowadzonych badań, technologie utrzymywania chodników za frontem ścian w KWK Ziemowit, metodyka prowadzenia badań, analiza wyników, wyniki badań prowadzonych w chodnikach 061, 062, pomiarów rozwarstwień skał stropowych chodnika, konwergencji, w chodniku podścianowym 065, badania wytrzymałości skał stropowych penetrometrem otworowym, strefy spękań kamerą introskopową, badań prowadzonych w chodniku nadścianowym 064, szczelinowatości strop
