Academic Digital Library (Akademickiej Bibliotece Cyfrowej)
Not a member yet
13174 research outputs found
Sort by
Konwersja Bazy Danych Topograficznych do postaci 3D : rozprawa doktorska /
No full textRecenzenci pracy: Tadeusz Chrobak, Robert Olszewski.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2012.Bibliogr. s. 135-141.Stan wiedzy w zakresie GIS 3D, baz danych topograficznych, rozwój informacji przestrzennej, GIS, w kierunku 3D, pozyskiwanie, modele reprezentacji, struktury danych 3D w systemach DBMS, trójwymiarowe modele topologiczne, trójwymiarowe analizy przestrzenne, możliwości systemów GIS w zakresie GIS 3D, bazy danych topograficznych na świecie, omówienie założeń, budowy Bazy Danych Topograficznych, założenia ogólne, zakres informacyjny, organizacja systemu, zasób podstawowy, zasób kartograficzny, standard wymiany, źródła danych TBD, przegląd najważniejszych źródeł danych geograficznych w Polsce, sposoby pozyskiwania trójwymiarowych modeli budynków na świecie, model konceptualny TBD w postaci, 3D, TBD3D, model pojęciowy TBD3D, systematyka wybranych obiektów, wielorozdzielczość, dokładność obiektów, połączenie modelu poglądowego, znakowego, model reprezentacji obiektów, źródła danych, reguły pozyskiwania obiektów, system zarządzania TBD3D, wizualizacja danych, standard wymiany danych TBD3D, katalog symboli 3D dla wybranych obiektów TBD3D, symbole 3D, główne założenia przyjęte przy projektowaniu symboli 3D, wybór symboli 3D na drodze ankietyzacji, katalog symboli 3D, zasady przedstawiania budynków w TBD3D, próba połączenia modelu poglądowego, znakowego, formy, szczegółowość przedstawiania budynków w TBD3D, opracowanie metod, źródeł pozyskania danych 3D dla potrzeb TBD3D, pozyskanie trójwymiarowych danych o obiektach liniowych, powierzchniowych, punktowych, symbole 3D, pozyskanie trójwymiarowych danych o budynkach, modelowanie budynków 3D na podstawie danych pozyskanych z ewidencji gruntów, budynków, modelowanie budynków 3D na podstawie danych z lotniczego skaningu laserowego, na podstawie zdjęć lotniczych, pozyskiwanie informacji trójwymiarowej o pozostałych obiektach przedstawianych w TBD3D w rzeczywistej zgeneralizowanej postaci 3D, analiza przydatności metod pozyskania danych TBD3D dla wybranych obszarów testowych, porównanie metody wykorzystującej dane z lotniczego skaningu laserowego z metodą bazującą na stereodigitalizacji zdjęć lotniczych, ocena dokładności modeli 3D budynków pozyskanych z danych ewidencyjnych, przykładowe opracowanie TBD3D, opracowanie TBD3D dla fragmentu miasta na poziomie LOD1, LOD2, standard wymiany danych TBD3D, budowa, główne założenia schematu aplikacyjnego TBD3DGML, wykonanie schematu aplikacyjnego TBD3DGML, przeprowadzone testy, kontrol
Procesy wulkaniczne i zjawiska związane z wulkanizmem w wybranych rejonach Karpat Zachodnich w aspekcie geoturystycznym : rozprawa doktorska /
No full textRecenzenci pracy: Marek Doktor, Andrzej Ślączka.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2012.Bibliogr. k. 136-155.Związek zjawisk wulkanicznych z ewolucją orogenu karpackiego, regiony występowania reliktów form wulkanicznych w Karpatach Zachodnich, cieszyńska prowincja magmowa, budowa geologiczna regionu, wiek skał cieszynitowych, formy wulkaniczne, przegląd skał, geneza skał cieszynitowych, metamorfizm kontaktowy, pienińska linia andezytowa, budowa geologiczna regionu, wiek andezytów pienińskich, formy wulkaniczne, geneza andezytów pienińskich, centralny słowacki obszar wulkaniczny, wiek zjawisk wulkanicznych, budowa geologiczna regionu, podłoże przedwulkaniczne, struktury wulkaniczne, ich rozwój, geneza zjawisk wulkanicznych, mineralizacja kruszcowa, przeobrażenia hydrotermalne, południowy słowacki obszar wulkaniczny, Cerova vrchovina, podłoże przedwulkaniczne, rozwój aktywności wulkanicznej, geoturystyka, przedmiot zainteresowania geoturystyki, pozycja geoturystyki w systemie nauk, dziedzin pokrewnych, ocena geoturystyczna, przegląd literatury z zakresu waloryzacji przyrody nieożywionej, metodyka oceny geoturystycznej, prace wstępne, etapy, inwentaryzacja, kwantyfikacja, kategoryzacja, ocena geoturystyczna obiektów stanowiących relikty form wulkanicznych w wybranych regionach Karpat Zachodnich, stan, perspektywy zagospodarowania geoturystycznego, odsłonięcia reliktów form wulkanicznych, ślady górnictwa kruszcowego, propozycja trasy geoturystyczne
Wpływ szczelin tektonicznych jako dróg migracji fluidów na cementacje piaskowców płaszczowiny magurskiej rozprawa doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2012.Zawiera bibliogr. i indeks.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Budowa geologiczna obszaru badań, prace terenowe, metody badań, standardowa analiza petrograficzna płytek cienkich, barwnikowa piaskowców, żył mineralnych, katodoluminescencyjna, CL, komputerowa analiza obrazu, oznaczenie składu chemicznego w piaskowcach, żyłach mineralnych, iłowcach, marglach, badania w elektronowym mikroskopie skaningowym, SEM, mikrosondzie energetycznej, EDS, badania rentgenowskie, badania izotopowe, inkluzji fluidalnych w żyłach mineralnych, charakterystyka petrograficzna, skład chemiczny żył mineralnych, piaskowców, iłowców, margli, zawartość głównych, wybranych pierwiastków w żyłach mineralnych, węglanach z piaskowców, zawartość pierwiastków ziem rzadkich, REE, itru, Y, identyfikacja minerału mieszanopakietowego illit/smektyt w piaskowcach, iłowcach, analizy izotopowe, skład izotopowy strontu w żyłach mineralnych, skład izotopów tlenu, węgla, charakterystyka, analiza mikrotermometryczna inkluzji fluidalnych w żyłach mineralnyc
Zastosowanie metod formalnych do specyfikacji oraz weryfikacji systemów agentowych praca doktorska /
No full textTyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2012.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Metody formalne w inżynierii oprogramowania, systemy agentowe, weryfikacja aspektów systemów agentowych, przez model, stosowalność weryfikacji do systemów agentowych, weryfikacja aspektów systemów agentowych, aspekt ´środowiska, zasobów, komunikacji, rozumowania, współpracy, integralności funkcjonalnej, mobilności, przegląd narzędzi do weryfikacji przez model, SPIN, NuSMV, MCK, VerICS, MCMAS, MABLE, MOCHA, AgentSpeak(F), przegląd logik temporalnych, logika czasu liniowego LTL, drzew obliczeniowych CTL, epistemiczna CTLK, czasu naprzemiennego ATL, semantyka formuł języka logiki temporalnej, bezstronność, przegląd algorytmów weryfikacji, optymalizacji, konstrukcja modelu, algorytmy weryfikacji, optymalizacje struktury Krippkego, złożoność obliczeniowa, przegląd metod specyfikacji systemów, specyfikacja w algebrach procesów, algebra join-calculus, uzasadnienie wyboru algebry join-calculus, studium weryfikacji aspektów systemów agentowych, projekt narzędzia do weryfikacji, założenia konstrukcyjne narzędzia, tryb przetwarzania języka, język specyfikacji, białe znaki, komentarze, stałe, słowa kluczowe, identyfikatory, typy danych, wyrażenia, instrukcje, etykiety instrukcji, reguły reakcji, wyrażenia logiki CTL, niezmienniki, bezstronność, zakres widzialności nazw, semantyka wywołań reguł reakcji, przekazywanie wiadomości przez parametr, kompilacja, konstrukcja automatu, interpreter, powstawanie procesów, konstrukcja modelu, wybór algorytmów weryfikacji, optymalizacji, źródła eksplozji stanów, normalizacja formuł logiki CTL, przykłady specyfikacji aspektów systemów agentowych, przeplot instrukcji, wymiana wiadomości, przemieszczanie nazw kanałów komunikacyjnych, kodu, agentów, środowisk wykonawczych, specyfikacja systemów w bibliotece JADE, przykłady weryfikacji systemów agentowych, synchroniczne, asynchroniczne wysłanie komunikatu, przeplot instrukcji, semafor, rendezvous, rozmiar, czas weryfikacji, problematyka syntezy systemów agentowych, oprogramowania, platformy, języki programowania systemów agentowych, język programowania JoCAML, join-calculus, biblioteka programowa JADE, inne systemy implementacji, przykłady specyfikacji metod synchronizacji, protokołów, bufor, bariera, kanał asynchroniczny, synchroniczny, obliczenie współbieżne, aplet, protokół z przemiennym bitem, elementy implementacji narzędzia, generacja kodu, skaner, parser, drzewo wyprowadzenia, kontrola zakresu widzialności nazw, typów, pozostałe kontrole semantyczne, generacja kodu interpretera, normalizacja formuł logiki CTL, kompilacja, weryfikacja kodu, przydział pamięci, automatyczne zarządzanie pamięcią, interpreter, zarządca procesów, światy, struktura Krippkego, budowa struktury, weryfikacja formuł logiki CTL, poszukiwanie kontrprzykładów, podręcznik narzędzia, zawartość pakietu, instalacja, opis kodów błędów, licencja, gramatyka narzędzia do weryfikacj
Sposób i układ sterowania indukcyjnego generatora pierścieniowego elektrowni wiatrowej opis patentowy nr 207390 /
No full textTyt. z ekranu tyt.Zgłoszono 29 lipca 2003 r.Nr zgłoszenia P 361492.Zgłoszenie ogłoszono 7 lutego 2005 BUP 03/05.O udzieleniu patentu ogłoszono 31 grudnia 2010 WUP 12/10.Pozostali twórcy wynalazku: Jerzy Skwarczyński, Aleksander Dziadecki, Janusz Grzegorski, Józef Skotniczny.Dostępny także w wersji drukowanej.Tryb dostępu: Internet
Urządzenie do kontroli położenia i obecności przedmiotów w gniazdach formy technologicznej opis patentowy nr 207250 /
No full textTyt. z ekranu tyt.Zgłoszono 27 listopada 2003 r.Nr zgłoszenia P 363765.Zgłoszenie ogłoszono 30 maja 2005 BUP 11/05.O udzieleniu patentu ogłoszono 30 listopada 2010 WUP 11/10.Dostępny także w wersji drukowanej.Tryb dostępu: Internet
Rozwój gospodarczy nowoczesnej wsi polskiej. T. 2
No full textTyt. z ekranu tytułowego.Publikacja dostępna również w formie drukowanej.Tryb dostępu: Internet
Sposób eksploatacyjnego monitorowania i lokalizacji uszkodzeń zbrojonej taśmy przenośnika opis patentowy nr 207764 /
No full textTyt. z ekranu tyt.Zgłoszono 16 maja 2006 r.Nr zgłoszenia P 379709.Zgłoszenie ogłoszono 26 listopada 2007 BUP 24/07.O udzieleniu patentu ogłoszono 31 stycznia 2011 WUP 01/11.Dostępny także w wersji drukowanej.Tryb dostępu: Internet
Dystrybutor płynu i cząstek ciała stałego do aparatu z warstwą z ograniczoną fluidyzacją opis patentowy nr 208529 /
No full textTyt. z ekranu tyt.Zgłoszono 5 czerwca 2006 r.Nr zgłoszenia P 379850.Zgłoszenie ogłoszono 10 grudnia 2007 BUP 25/07.O udzieleniu patentu ogłoszono 31 maja 2011 WUP 05/11.Dostępny także w wersji drukowanej.Tryb dostępu: Internet
Przegub kulisty opis patentowy nr 208486 /
No full textTyt. z ekranu tyt.Zgłoszono 28 czerwca 2004 r.Nr zgłoszenia P 368789.Zgłoszenie ogłoszono 9 stycznia 2006 BUP 01/06.O udzieleniu patentu ogłoszono 31 maja 2011 WUP 05/11.Dostępny także w wersji drukowanej.Tryb dostępu: Internet