Academic Digital Library (Akademickiej Bibliotece Cyfrowej)
Not a member yet
13174 research outputs found
Sort by
Wieloskalowy numeryczny model przemiany austenit - ferryt uwzględniający wpływ wydzieleń węglikoazotków niobu rozprawa doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2008.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Idea modelowania wieloskalowego, zastosowane modele, modelowanie przemiany fazowej austenit-ferryt, temperatura początku przemiany γ-α, model wykorzystujący równanie różniczkowe kinetyki rozpadu przechłodzonego austenitu, wpływ odkształcenia austenitu, metoda elementów skończonych, model analizy odwrotnej, modele konstytutywne, konwencjonalne, zmiennej wewnętrznej, rola mikrododatków stopowych, rozpuszczalność węglików, azotków, wpływ wydzieleń na wielkość ziarna, model kinetyki procesu wydzielania związków, termodynamiczny, zarodkowanie, wzrost wydzieleń, metoda przewidywania czasu pojawienia się wydzieleń w austenicie odkształconym, nieodkształconym, przeróbka cieplno-plastyczna stali z mikrododatkami stopowymi, wpływ kinetyki wydzieleń, gęstości dyslokacji na przemianę fazową γ – α, badania doświadczalne, materiał do badań, badania plastometryczne, dylatometryczne, metalograficzne, pomiary twardości, doświadczenie w warunkach przemysłowych, koncepcja modelu, wyniki badań, naprężenie uplastyczniające, kinetyka przemiany, procesu wydzieleniowego Nb (C,N), analiza wrażliwości modelu przemiany względem współczynników tego modelu, zmiany gęstości dyslokacji, rozwój mikrostruktury, wielostopniowe odkształcenie, weryfikacja doświadczalna opracowanych modeli w warunkach półprzemysłowych, testy numeryczne modelu wieloskalowego dla procesu przemysłoweg
Synteza i weryfikacja algorytmów konwersji protokołów komunikacyjnych w polowych magistralach rozgłoszeniowych praca doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2008.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Polowe magistrale komunikacyjne w systemach sterowania, magistrale z komunikacją nadrzędną, magistrala standardu CAN, konwersja protokołów, analiza problemu, techniki konwersji protokołów, metoda formalnego opisu i weryfikacji systemów komunikacyjnych, przegląd formalnych metod specyfikacji, system weryfikacji prototypów PVS, komendy dowodzenia modułu prover, schemat weryfikacji twierdzeń za pomocą prover, specyfikacja protokołu komunikacji nadrzędnej, master-slave, protokół Modbus RTU, typy danych, specyfikacja komunikatu, operatory logiki MTL w PVS, funkcje komunikacyjne, specyfikacje procesów stacji, weryfikacja protokołu komunikacji nadrzędnej, specyfikacja warunków żywotności, bezpieczeństwa, twierdzenia o spełnieniu specyfikacji ogólnej, drzewo dowodu żywotności transakcji Read, przebieg, dowód warunku bezpieczeństwa, weryfikacja protokołu z komunikacją rozgłoszeniową, protokół CANpsw w minisystemie rozproszonym, formalny opis systemu rozgłoszeniowego, weryfikacja specyfikacji ogólnej, synteza algorytmu konwersji CANpsw na Modbus, konwersja typu rozgłoszeniowy-na-nadrzędny, opis algorytmu z buforowaniem danych, weryfikacja algorytmu konwersji komunikacji rozgłoszeniowej, funkcje konwertujące komunikaty nadrzędny-na-nadrzędny, dowód żywotności konwersji komunikat-na-komunikat, konwersja wybranych funkcji protokołu CANopen, specyfikacja protokołu CANopen w systemie PVS, konwersja komunikatów PDO na protokół typu master-slave, weryfikacja żywotności fragmentu algorytmu konwersji komunikatów PDO, prototyp konwertera, dowód lematu sendreclem_
Symulacje zapisu qubitów i działania kwantowych bramek logicznych realizowanych na kropkach kwantowych rozprawa doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2008.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Idea komputera kwantowego, algorytmy kwantowe, fizyczne modele kwantowych obliczeń, słabe punkty kwantowych algorytmów, podstawy, informacja klasyczna, kwantowa, jej przetwarzanie, qubity na orbitalnych stopniach swobody, oddziaływanie układu z falą elektromagnetyczną, wyciekanie prawdopodobieństwa, model kwantowej bramki kontrolowanej negacji, symulacje działania bramki, qubity na spinowych stopniach swobody, model dynamiki spinów w podwójnej kropce kwantowej, ustawienia eksperymentu obliczeniowego, wyniki symulacji dla pionowo sprzężonych kropek kwantowych, dla bocznie sprzężonyc
O początkach piśmiennictwa technicznego w Polsce odczyt wygłoszony na IV Zjeździe Techników polskich w Krakowie 9 września 1899 r. /
No full textTyt. z ekranu tytułowego.Projekt archiwizacji Skryptów Uczelnianych AGH i innych wydawnictw książkowych.Dostępny także w wersji drukowanej.Tryb dostępu: Internet
Design of XCCS models with Inez XCCS Editor
No full textTyt. z ekranu tytułowego.Bibliogr.Tryb dostępu: Internet
Oddziaływania nadsubtelne, właściwości magnetyczne i elektryczne związków międzymetalicznych o składzie elektronowym 4d-3d praca doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2008.Zawiera bibliogr. Indeks.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Struktura krystaliczna związków międzymetalicznych, składniki, itr, gadolin w podsieci ziemi rzadkiej, metale przejściowe, faza Lavesa typu MgCu2, synteza materiałów, Y (Mn1−xFex)2, Y (Fe1−xCox)2, Y (Co1−xNix)2, (Y1−xGdx)(Fe0.7Co0.3)2, parametry komórek elementarnych w związkach (Y/Gd)(M/L)2, (M,L metale 3d), zależność parametru komórki elementarnej, parametry komórek elementarnych w związkach R(M1−xLx)2, (R = Y,Dy, Gd; M,L metale 3d), oporność elektryczna właściwa, metoda pomiaru, zastosowanie wzoru Matthiesena, R(M/L)2, zależności od n, od a, temperatury Curie, wyznaczanie temperatur Curie z oporności elektrycznej, przy pomocy efektu Mössbauera, zależność temperatur Curie od n średniej liczby elektronów, oddziaływania nadsubtelne w podstawianych związkach, właściwości probabilistyczne sieci krystalicznej, oś łatwa namagnesowania, metoda pomiaru, dopasowania widm mössbauerowskich, zależności magnetycznego pola nadsubtelnego, przesunięcia izomerycznego, nadsubtelne pola magnetyczne, obliczenia struktury elektronowej metodą FLAPW, zastosowanie metod rachunku prawdopodobieństwa do opisu struktury elektronowej, gęstości stanów, dystrybuanty, momenty magnetyczne, energia rozszczepienia podpasm, korelacje pomiędzy wielkościami fizycznymi, temperaturami Curie a nadsubtelnym polem magnetycznym, energiami rozszczepienia podpasm 3d, energią, momentem magnetycznym, opornością magnetyczn
Sufficient conditions for existence of long cycles in graphs PhD thesis /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2008.Praca doktorska. Laboratoire de recherche en informatique (Orsay), 2008.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Long cycles in simple graphs, orientations of cycles in digraphs, long cycles in bipartite graphs, hamiltonicity, bipancyclicity, size condition, Erdős-type condition, orientations of long cycles in digraphs, problem for general digraphs, cycles in bipartite digraph
Zastosowanie izotopów promieniotwórczych. Cz. 1
No full textTyt. z ekranu tytułowego.Projekt archiwizacji Skryptów Uczelnianych AGH i innych wydawnictw książkowych.Bibliogr.Dostępny także w wersji drukowanej.Tryb dostępu: Internet
Analiza zjawisk wywołanych przepływem nieustalonego strumienia przez reaktor katalityczny silnika spalinowego 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.Proces wylotu spalin w silniku spalinowym, cechy układu wylotu, budowa reaktorów katalitycznych, monolityczne rdzenie reaktorów, warstwa pośrednia, uszczelniająca, izolująca, katalityczna, metale szlachetne, obudowa reaktora, eksploatacja, fenomenologiczny opis budowy, działania rdzenia, opis działania, badania wstępne modeli, wizualizacja zjawisk, stanowisko, modele do wizualizacji przepływu, bezsilnikowe stanowisko badawcze, charakterystyka zaworu proporcjonalnego, czujników, przetworników temperatury, model rdzenia, metodyka badań na bezsilnikowym stanowisku badawczym, przetworniki piezorezystancyjne, przepływomierz laminarny, opracowanie wyników pomiarów, analiza widmowa, statystyczna, pomiaru temperatury, rozkładu ciśnienia czynnika przepływającego przez rdzeń, przebiegu ciśnienia w poszczególnych punktach pomiarowych, przebiegu ciśnienia w funkcji częstotliwości, zestawienie wyników z analizy widmowej, modelowanie przepływu przez rdzeń reaktora katalitycznego przy użyciu komputerowej mechaniki płynów, CFD, Computational Fluid Dynamics, Komputerowa Mechanika Płynów, modelowanie procesów przepływowych w rdzeniu reaktora katalitycznego, analiza numeryczna modelu podstawowego, przeprowadzona na modelu ze zwężonymi o 40 % szczelinami, z dodatkowymi przegrodami w komorac
Badania relaksacji naprężeń w materiałach metalicznych o zróżnicowanych cechach reologicznych 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.Relaksacja naprężeń, pełzanie, opis cech reologicznych materiału, negatywne efekty procesów reologicznych w technicznych wieloelementowych układach połączeń, model reologiczny, analiza układów szeregowo połączonych elementów o różnych modułach Young’a, odkształcenia układów zbudowanych, moduł sprężystości wzdłużnej układów zbudowanych z ciał o zróżnicowanych modułach Young’a, analiza statyczna naprężeń w procesie relaksacji naprężeń, analiza układów równolegle połączonych elementów, wpływ temperatury na zmianę naprężeń w układach wieloelementowych, moduł lepkości układów zbudowanych z ciał o zróżnicowanych cechach reologicznych, materiał do badań, program, badania relaksacji naprężeń w materiałach o jednorodnych cechach reologicznych, badania modułu sprężystości wzdłużnej układów, stanowiska badawcze, problemy natury technicznej, badania własności wytrzymałościowych, modułu sprężystości wzdłużnej układów o zróżnicowanych cechach sprężystych, charakterystyki relaksacji naprężeń w drutach, druty aluminiowe w stanie półtwardym, Al1, w stanie twardym, Al2, druty miedziane, Cu1, Cu2, ze stopu miedzi, CuNi2Si, układy dwuelementowe, trójelementowe, moduły sprężystości układów wieloelementowych, metoda analizy wyników badań, wyznaczanie parametrów uogólnionej funkcji relaksacji naprężeń, eksperymentalno-analityczna metoda wyznaczania lepkości dynamicznej materiałów, uogólniona funkcja relaksacji naprężeń materiałów metalicznych o jednorodnych cechach reologicznych, lepkość układów o zróżnicowanych cechach reologicznych, symulacja, algorytm, dane wejściowe do obliczeń, układy szeregowe, równoległe, porównanie układów szeregowych, równoległych, relaksacja naprężeń w układach połączeń kolejowej górnej sieci trakcyjnej, badania eksperymentalne relaksacji sił docisku w wybranych połączeniach, analiza relaksacji naprężeń w osprzęcie trakcyjnym przy użyciu metody elementów skończonyc