Filters
total: 6619
filtered: 5447
-
Catalog
- Publications 5447 available results
- Journals 9 available results
- People 202 available results
- Inventions 20 available results
- Projects 73 available results
- Laboratories 3 available results
- Research Teams 23 available results
- e-Learning Courses 768 available results
- Events 34 available results
- Open Research Data 40 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: METODYKI OZNACZANIA
-
Quality problems in the determination of organic compounds in environmental samples, such as PAHs and PCBs
PublicationPrzedstawiono i skomentowano wyniki badań międzylaboratoryjnych w zakresie oznaczania wybranych związków organicznych w próbkach środowiskowych. Oznaczenia wykonane były przez niezależne laboratoria analityczne, które stosowały różne procedury przygotowania próbek do analizy.Badania wskazują, że wynik oznaczania poszczególnych analitów zależny był od stosowanej przez laboratorium procedury izolacji i oznaczania. Stwierdzono różnice...
-
A review of structures, properties and analysis of volatile amines in the environment
PublicationOmówiono właściwości i źródła wytwarzania lotnych amin alifatycznych. Uwzględniono również ich wpływ na organizmy żywe. Przedstawiono liczne naturalne i antropogeniczne źródła amin. Omówiono problemy analityczne związane z oznaczaniem amin w próbkach środowiskowych, przygotowaniem próbek do analizy chromatograficznej oraz nowe techniki oznaczania lotnych amin alifatycznych.
-
Sztuczna słodzycz wokół nas
PublicationSyntetyczne słodziki o dużej mocy słodzącej stanowią ważną klasę dodatków do żywności, które są szeroko stosowane w przemyśle spożywczym. Główną cechą tych zwykle niskokalorycznych środków jest bardzo intensywny słodki smak. Producenci żywności, mając na uwadze osiągnięcie lepszych doznań smakowych, stosują coraz to nowe typy słodzików bądź ich różne mieszaniny. Zapotrzebowanie na żywność z substancjami słodzącymi nieustannie rośnie....
-
Porównywanie topologii drzew i sieci filogenetycznych z wykorzystaniem metryki błędu
PublicationPodstawowymi modelami historii ewolucji organizmów są drzewa i sieci filogenetyczne. Ponieważ algorytmy konstrukcji filogenów zwracają różne wyniki dla tych samych danych wejściowych, powstaje problem oceny, który filogen najlepiej reprezentuje historię ewolucji dla zadanego zbioru gatunków. W pracy podano definicję metryki dla przestrzeni drzew o n liściach, zwanej metryką błędu. Dokonano przeglądu miar odległości na przestrzeni...
-
Determination of non-steroidal anti-inflammatory drugs in natural waters using off-line and on-line SPE followed by LC coupled with DAD-MS
PublicationOpisano dwie metody pozwalające na jednoczesne oznaczanie zawartości niesterydowych leków przeciwzapalnych (difluisal, diklofenak, naproksen, tolmetin, fenoprofen, ibuprofen) w próbkach wodnych. Próbki przygotowywano do analizy z użyciem techniki ekstrakcji do fazy stałej (off-line i on-line). Natomiast oznaczeń końcowych dokonano z użyciem LC-DAD-MS. Sprawdzono kilka różnych kolumienek ekstrakcyjnych i wybrano RP-18 jako najlepsze...
-
Wykorzystanie techniki chromatografii jonowej w analityce surfaktantów w próbkach wód powierzchniowych
PublicationSurfaktanty stanowią grupę związków charakteryzujących się specyficznymi właściwościami fizykochemicznymi i z tego względu są one wykorzystywane w wielu sferach działalności człowieka. Związki powierzchniowo-czynne ulegają różnorodnym przemianom fizykochemicznym, co umożliwia ich migrację między różnymi elementami środowiska i może prowadzić do jego zanieczyszczenia. Dlatego też istnieje konieczność określania losu środowiskowego...
-
Sterowanie systemem produkcyjnym w warunkach niepewności z możliwością zmian strukturalnych
PublicationW pracy przedstawia się metodykę rozwiązania problemu sterowania systemami produkcyjnymi w warunkach niepewności. Do celów wyznaczania wektora steru - stosowana jest metoda wielohoryzontowa. Rozpatrywane są systemy o ciągłych i okresowo ciągłych procesach produkcyjnych. Niepewność uwzględniana jest w podproblemie wyznaczania obciążeń - liniowe styczne modele niedeterministyczne. Dla rozwiązań określa się odpowiednie miary dopuszczalności...
-
Kapilarna chromatografia gazowa fazy nad-powierzchniowej – HS-CGC w badaniach składu lotnych produktów hydrolizy biomasy ligno-celulozowej – BMLC
PublicationW pracy przedstawiono sposoby obróbki biomasy ligno-celulozowej, których celem jest rozpulchnienie struktury surowca i zwiększenie dostępności struktur dla czynników hydrolizujących. Na podstawie przeglądu literatury wskazano na możliwe do zidentyfikowania związki obecne w hydrolizatach z biomasy ligno-celulozowej. Opracowano metodykę oraz zbadano możliwość oznaczania lotnych produktów hydrolizy chemicznej z wykorzystaniem techniki...
-
Determination of solvents residues in vegetable oils and pharmaceuticals by headspace analysis and capillary gas chromatography.
PublicationPrzedstawiono wyniki zastosowania techniki analizy fazy nadpowierzchniowej w połączeniu z kapilarną chromatografią gazową do oznaczania wybranych rozpuszczalników organicznych w próbkach olejów jadalnych i produktów farmaceutycznych. Oznaczane rozpuszczalniki to: benzen, toluen, heksan oraz chlorowcopochodne węglowodorów alifatycznych. Opracowaną procedurę poddano walidacji. Wyznaczono granicę wytrzymalności, oznaczalności, liniowość...
-
A comparison of the spectrophotometric Winkler method and HPLC technique in the determination of 5-Hydroxymethylfurfural in natural honey
PublicationPorównano technikę HPLC i klasyczną metodę spektrofotometryczną Winklera pod względem odzysku, precyzji, wykrywalności i oznaczalności 5-hydroksymetylofurfuralu (HMF) w miodach naturalnych. Zawartości HMF obiema metodami oznaczono w 15 różnych miodach naturalnych. Sześć miodów pochodziło z trójmiejskich punktów handlowych, 9 miodów pozyskano bezpośrednio od pszczelarzy z sześciu pasiek. Testem t-Studenta oszacowano istotność różnic...
-
Determination of volatile aliphatic amines in air by solid phase microex traction coupled with gas chromatography with flame ionization detection.
PublicationOpisano nową metodę oznaczania lotnych amin alifatycznych w powietrzu. Metodyka oparta jest na zastosowaniu techniki mikroekstrakcji do fazy stacjonarnej na etapie pobierania próbek oraz zestawu GC-FID do rozdzielania i oznaczania poszczególnych analitów.Badaniom poddano nowe typy faz stacjonarnych.Zbadano wpływ wilgotności powietrza na proces pobierania próbek analitów z powietrza.
-
Studies on development of headspace - gas chromatographic determination of volatile fatty acids in troublesome environmental samples
PublicationBadania nad opracowaniem procedur oznaczania LKT w silnie zanieczyszczonych próbkach środowiskowych za pomocą techniki analizy fazy nadpowierzchniowej w połączeniu z chromatografią gazową z wykorzystaniem detektora płomieniowo-jonizacyjnego na etapie oznaczeń końcowych. Dobrano warunki ekstrakcji LKT do fazy nadpowierzchniowej oraz warunki chromatograficzne. Metodyka pozwala oznaczać LKT w bardzo skomplikowanych próbkach ciekłych...
-
Geodezyjny monitoring deformacji słupów w badaniach eksperymentalnych
PublicationW referacie przedstawiono opis procesu badań niszczących słupów żelbetowych, uzwojonych i zespolonych. Zaprezentowano metodykę geodezyjnego monitoringu ugięć słupów na tle metodyki teoretycznego wyznaczania zmiany linii ugięcia słupów pod wpływem przyrastającego obciążenia. Opisano geodezyjny monitoring deformacji obiektów inżynierskich realizowany w przestrzeni trójwymiarowej, zaaplikowany do pomiarów ugięć słupów. Dopełnieniem...
-
CP2015 – zmodyfikowana metodyka przewidywania hałasu powstającego na parkingach, stacjach paliw, MOP-ach i punktach poboru opłat
PublicationW przypadku przedsięwzięć „mogących zawsze lub potencjalnie znacząco oddziaływać na środowisko” pierwszą decyzją, którą należy uzyskać w ramach procedury inwestycyjnej, jest decyzja o środowiskowych uwarunkowaniach (w skrócie: decyzja środowiskowa, DŚU). Procedura związana z uzyskaniem DŚU została opisana w Ustawie z 3 października 2008 r. o udostępnianiu informacji o środowisku i jego ochronie, udziale społeczeństwa w ochronie...
-
Wpływ specyficznych właściwości czynnych systemów wodociągowych w Polsce na metodykę pomiarów terenowych i interpretacje ich wyników
PublicationW opracowaniu scharakteryzowano trzy następujące cechy: 1) przewymiarowanie sieci wodociągowej, 2) pozorną chropowatość przewodów z odłożonymi osadami, 3) pulsację ciśnienia w układzie wodociągowym. Następnie wskazano na utrudnienia jakie one powodują w przygotowaniu pomiarów, ich przeprowadzeniu, a niekiedy interpretacji uzyskanych wyników. W efekcie dowiedziono, że normalne warunki eksploatacji nie pozwalają na bezpośrednie pomiary...
-
Analiza konwencjonalnych nośników energii z biomasą do celów grzewczych. Cz. 1. Charakterystyka problemu oraz metodyka badań
PublicationW artykule przedstawiono istotę problemu zastosowania konwencjonalnych źródeł energii (węgla kamiennego, gazu ziemnego, oleju opałowego oraz energii elektrycznej pozyskiwanej z krajowego systemu elektroenergetycznego – KSE) w odniesieniu do odnawialnego źródła energii – OZE (jakie stanowi biomasa). Przedstawiona w artykule metodyka stanowi podstawę ilościowej realizacji analizy ekonomicznej i ekologicznej ww. nośników energii,...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Quantification of Radiation-Induced Single-Strand Breaks in Plasmid DNA using a TUNEL/ELISA-Based Assay
PublicationWprowadzono nową metodę służącą do oznaczania in vitro pojedynczych pęknięć nici DNA powstałych pod wpływem naświetlań. Porównano wyniki otrzymane z nowej metody z modelem teoretycznym. Porównano wyniki z szeroko używaną metodą elektroforezy żelowej. Pokazano, że poziom pojedynczych pęknięć powstających w niciach DNA pod wpływem promieniowania VUV jest wyższy niż zakładany na podstawie wyników otrzymywanych metodami standardowymi.
-
Design framework and simulation investigation of cellular parts manufacturing applications
PublicationPrzedstawiono koncepcję projektowania przebiegów grupowego wytwarzania asortymentu przedmiotów w systemach typu przepływowego, z wykorzystaniem algorytmu analizy podobieństwa ciągów znakowych, reprezentujących marszruty procesów, i jego oceny wg kryterium odległości Levenshteina, zgodnie z paradygmatem oszczędnej produkcji. Efektywność proponowanej metodyki weryfikowano symulacyjnie wg określonych scenariuszy, opisujących wariantowe...
-
Nowe metody do badań składników obcych w miodach pszczelich
PublicationPszczoły, zbierając nektar, pyłek kwiatowy i spadź narażone są na częsty kontakt ze szkodliwymi substancjami (stosowanymi w rolnictwie) osadzonymi na roślinach i przenoszą te zanieczyszczenia - na powierzchni ciała lub wraz z pożytkami - do ula, i w konsekwencji zanieczyszczenia przedostają się do miodu.W związku z możliwością zanieczyszczenia miodu przez pestycydy należące do różnych klas związków chemicznych, pomocne okazuje...
-
Metody oceny jakości łączy bezprzewodowych wykorzystywanych w systemie netBaltic
PublicationPrzedstawiono metodę oceny jakości łączy, opracowaną w ramach projektu netBaltic, która powstała w wyniku analizy danych zgromadzonych podczas wielu kampanii pomiarowych na wodach Morza Bałtyckiego oraz badań i testów prowadzonych w środowisku laboratoryjnym. Przedstawiono definicję parametru LQI (Link Quality Indicator) oraz sposób jego wyznaczania dla sieci komórkowych 3G i LTE oraz dla łączy bezprzewodowych WiFi. Zaprezentowano...
-
Metody budowania strategicznej karty wyników na przykładzie Wirtualnej Polski.
PublicationJedną z metod przełożenia strategii na cele operacyjne firmy oraz kontroli jej wykonania jest ''strategiczna karta wyników'' ( ang. Balanced Scorecard,skrót: BSC), w której odpowiednio dobrane mierniki pozwalają na mierzenie wykonania strategii w perspektywie nie tylko finansowej, ale także: klienta,procesów wewnętrznych oraz nauki i rozwoju. Celem artykułu jest zaprezentowanie sposobu, w jaki prowadzono prace nad zbudowaniem...
-
Zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW
PublicationW artykule przedstawiono zastosowanie metody QFD do doskonalenia jakości użytkowej serwisów WWW o charakterze handlowym. W omawianym podejściu zostają zidentyfikowane wymagania klienta-użytkownika oraz czynniki techniczne, które budują sukces serwisu WWW oraz związanego z nim przedsięwzięcia gospodarczego. Następnie w macierzy domu jakości zostaje wydzielony ''rdzeń'' serwisu, zawierający najważniejsze dla klienta funkcje, oraz...
-
Metody oceny wyników usprawniania działalności operacyjnej (przykład zasto-sowań)
PublicationArtykuł omawia warunki, jakie należy spełniać przy doborze miar i procesie dokonywania pomiaru efektów usprawniania działalności operacyjnej. Prezentuje metody oceny wyników działalności operacyjnej, wśród których znaczące miejsce ma zdolność produkcyjna, produktywność, przepustowość i skuteczność. Wskazuje również na potrzebę powiązania miar z celami całego przedsiębiorstwa.
-
Zastosowanie metody AHP do oceny zagrożeń na stanowiskach pracy.
PublicationW artykule przedstawiono podstawy wielokryterialnej metody wspomagania decyzji AHP (ang. Analytic Hierarchy Process) oraz jej zastosowanie do oceny zagrożeń na stanowiskach pracy.
-
Wspomaganie projektowania automatyki siłowni statku przy zastosowaniu metody CBR.
PublicationW referacie zaprezentowano metodologię CBR (wnioskowania na podstawie przypadków), zastosowano w systemie ekspertowym wspomagania projektowania automatyki okrętowej na podstawie informacji o statkach zbudowanych oraz modelu dziedzinowego.
-
Metody badań skłonności stali do pęknięć zimnych przy spawaniu
PublicationW artykule przedstawiono charakterystykę pęknięć zimnych oraz metody badania skłonności do ich powstawania, które podzielono na analityczne i eksperymentalne. Zaprezentowano również zakres stosowania metod analitycznych i porównanie metod eksperymentalnych.
-
Statystyczno-ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.
PublicationW rozdziale zostały omówione podstawowe definicje z zakresu upadłości i przetrwania przedsiębiorstw. Ponadto przedstawiono klasyfikacje upadłości oraz statystyczno - ekonometryczne metody analizy czynnikowej zdolności do przetrwania przedsiębiorstw.W pierwszej części rozdziału omówiono podstawowe pojęcia dotyczące zagadnień bankructwa, upadłości i likwidacji przedsiębiorstw. W drugiej częsci rozdziału przedstawiono podstawy teoretyczne...
-
Metody udostępniania materiałów multimedialnych w sieciach LAN i WAN.
PublicationW referacie przedstawiono możliwości wzbogacania treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio oraz wideo daje zupełnie nową jakość . Opisano jak stworzyć taki materiał, jaki jest potrzebny do realizacji oraz jak bardzo czasochłonny jest ten proces. Wnioski i spostrzeżenia zostały przedstawione na podstawie praktycznej realizacji wykładu dot. Systemu...
-
Metody udostępniania materiałów multimedialnych w sieciach LAN I WAN.
PublicationWraz z rozpowszechnianiem usług szerokopasmowych zmniejsza się ograniczenie co do objętości oferowanych materiałów edukacyjnych udostępnianych w sieciach LAN i WAN. W referacie przedstawiono możliwości wzbogacenia treści edukacyjnych dzięki wykorzystaniu technik multimedialnych. Uzupełnienie materiału edukacyjnego w postaci plików audio i wideo daje zupełnie nową jakość. Opisano jak stworzyć taki materiał, jaki sprzęt jest potrzebny...
-
Implementacja zmodyfikowanej metody biliniowej 2D w elektronicznym systemie wbudowanym
PublicationPrzedstawiono implementację zmodyfikowanej metody biliniowej 2D diagnostyki sieci analogowych we wbudowanych mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda cechuje się prostym algorytmem diagnostycznym, który z powodzeniem można zaimplementować w 8-bitowych, powszechnie stosowanych mikrokontrolerach z interfejsem SPI, oraz nie wymaga nadmiernej rozbudowy mikrosystemu o część testującą (BIST). Zaletą metody...
-
Zastosowanie metody analizy obrazu w określaniu odporności kawitacyjnej materiałów
PublicationPrzedstawiono optyczną metodę określania właściwości kawitacyjnych materiału oraz charakterystyki kawitacyjnej stanowiska przy zastosowaniu komputerowej analizy obrazu erodowanej powierzchni uzyskanego w mikroskopie świetlnym.
-
Nowoczesne metody usuwania śniegu i lodu z powierzchni użytkowych
PublicationW artykule zostały przedstawione klasyczne metody usuwania śniegu i lodu z nawierzchni użytkowych. Dokonano analizy skutków wykorzystywania środków chemicznych. Opisano szacunkowe koszty wynikające z konieczności utrzymania nawierzchni użytkowych „niszczonych” w skutek zmian temperaturowych i wykorzystywanych środków chemicznych. Przedstawiono nowoczesne metody odmrażania oparte o zastosowanie systemów podgrzewania elektrycznego...
-
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
PublicationCelem niniejszej rozprawy oraz stypendium odbytego w ramach projektu było opracowanie numerycznie efektywnego rozwiązania algorytmicznego i sprzętowego, które umożliwia przyspieszenie analizy problemów elektromagnetycznych metodą elementów skończonych (MES) z funkcjami bazowymi wysokiego rzędu. Metoda elementów skończonych w dziedzinie częstotliwości stanowi wydajne i uniwersalne narzędzie analizy układów mikrofalowych (rys....
-
Modernizacja układów geometrycznych toru z wykorzystaniem metody oceny wielokryterialnej
PublicationW pracy przedstawiono główne założenia opracowanej metody wielokryterialnej oceny stosowanej przy przebudowie układów geometrycznych toru. Określono kryteria wpływające na inwestycje modernizacyjne. Zdefiniowano zastosowaną w analizie funkcję celu. Przedstawiono przykład zastosowania algorytmu optymalizacyjnego z wykorzystaniem programu komputerowego
-
PORÓWNANIE PROJEKTÓW BUDOWY FARM WIATROWYCH Z WYKORZYSTANIEM METODY AHP
PublicationW referacie opisano porównanie projektów budowy farm wiatrowych będących w różnych stadiach realizacji przygotowania inwestycji. Metodą, którą wykorzystano do porównania projektów jest metodą analizy wielokryterialnej AHP (Analytic Hierarchy Process). Referat przedstawia opis metody oraz kryteriów, pod względem których porównano projekty. Wykazano, że dla projektu P2 czas zdobycia wszystkich niezbędnych...
-
Metody wymiarowania zasobów sieci w architekturze IIP Internetu Przyszłości
PublicationNiniejszy artykuł omawia założenia, strukturę oraz metody wymiarowania zasobów sieci wdrożone w architekturze Internetu Przyszłości w ramach projektu Inżynieria Internetu Przyszłości (IIP) realizowanego w latach 2010-2013. W szczególności artykuł opisuje założenia proponowanych modeli programowania liniowego wykorzystanych w celu rozdziału zasobów sieci (przepustowości łączy, mocy przetwarzania węzłów) pomiędzy Równoległymi Internetami....
-
Metody symulacji przetwornika z impulsowym sygnałem wyjściowym modulowanym częstotliwościowo
PublicationW artykule przedstawiono porównanie zaproponowanych przez autorów metod symulacji wyjściowego sygnału impulsowego przetwornika napięcie-częstotliwość U/F. Pierwsza z analizowanych metod oparta jest na modelu fizycznym przetwornika, druga na jego równaniu matematycznym. Mimo odmiennego podejścia otrzymano zbliżone wyniki. W pierwszej metodzie uzyskano wyniki obarczone błędami kwantowania o rozkładzie jak w rzeczywistym układzie...
-
Nowoczesne metody termografii w systemie monitorowania stanu sieci przesyłowych
PublicationW artykule przedstawiono obecnie stosowane metody inspekcji termowizyjnej, skupiając się na prewencyjnej diagnostyce stanu sieci przesyłowej. Badanie termowizyjne ma różne wymiary wpływu na efektywność energetyczną. Z jednej strony wykorzystuje się ją do inspekcji szczelności termoizolacji budynków, wpływając na świadomość, że „najtańsza energia to ta zaoszczędzona”, z drugiej strony jest narzędziem dla operatorów sieci dystrybucyjnych...
-
Współczesne metody zapewniania jakości oprogramowania. Od klasyki do zwinności
PublicationKsiążka opisuje problematykę jakości w kontekście metod wytwarzania oprogramowania. Składa się z 22 rozdziałów podzielonych na 6 części: Znaczenie jakości oprogramowania, Podstawowe pojęcia i problemy jakości, Jakość w ujęciu klasycznym, Pomiary jakości, Dokumentacja i normy jakości procesu, Jakość w podejściu zwinnym. Zebrany materiał pokazuje ewolucję podejścia do jakości w klasycznych metodykach wytwarzania (od modelu kaskadowego...
-
Efektywne metody lokalizowania terminala ruchomego w systemie WCDMA/FDD
PublicationZaproponowano, poddano analizie i zbadano na drodze symulacyjnej dwie nowe, efektywne metody lokalizowania terminala ruchomego w systemie WCDMA/FDD (Wideband Code Division Multiple Access/Frequency Division Duplex). Metody te umożliwiają estymację położenia terminala ruchomego bez konieczności znajomości różnicy czasów w synchronizacji stacji bazowych RTD (Relative Time Difference). Eliminacja różnicy czasów RTD znacząco upraszcza...
-
Metody przydatne do wspomaganego komputerem projektowania wstępnego statków śródlądowych
PublicationMonografia zawiera zbiór metod przydatnych do projektowania wstępnego statków śródlądowych. Metody opracowano w wyniku badań inspirowanych potrzebą rozwiązywania konkretnych zagadnień projektowych, jakie pojawiały się przy realizacji projektowych prac studialnych prowadzonych w ramach tematu: "Nowa generacja przyjaznych środowiskowo statków śródlądowych i przybrzeżnych dla polskiego systemu dróg wodnych relacji Wschód-Zachód" -...
-
Metody różnicowe dla równań parabolicznych z silną zależnością funkcyjną
Publication -
Metody ustalania cen produktów na rynku usług w Polsce
Publication -
Zastosowanie metody estymacji rozkładem dyskretnym do oceny niezawodności fundamentu
PublicationPraca dotyczy oceny nośności granicznej stochastycznego podłoża gruntowego. Przyjmując jako miarę bezpieczeństwa wskaźnik niezawodności, analizę przeprowadzono metodą estymacji rozkładem dyskretnym (PEM - Point Estimate Method). W metodzie tej ciągłą zmienną losową zastępuje się składającą się z impulsów dyskretną zmienną losową i aproksymuje charakterystyki statystyczne. Obliczenia wykonano dla przypadku obciążonej pionowo i osiowo...
-
Metody i narzędzia prewencyjne w projektowaniu i eksploatacji dróg
PublicationSpośród wielu systemowych elementów zarządzania bezpieczeństwem infrastruktury drogowej, wyróżnić można cztery rodzaje działań mające charakter prewencyjny, a mianowicie: Ocena oddziaływania na bezpieczeństwo ruchu, Audyt bezpieczeństwa ruchu drogowego, Zarządzanie bezpiecezństwem sieci drogowej i Przeglądy dróg. Działania te, jako środki prewencyjne w projektowaniu i eksploatacji dróg powinny stanowić spójny system ocen projektowanych...
-
CartoMetric: Ocena semantycznych właściwości ontologii za pomocą metody kartograficznej
PublicationW ostatnich latach, głównie dzięki rozwojowi inicjatywy Sieci Semantycznej (ang. Semantic Web), staliśmy się świadkami powstawania coraz większej liczby gwałtownie ewoluujących ontologii. W takiej sytuacji zarówno użytkownicy Sieci, jak i komputerowe agenty potrzebują metody oceny właściwości ontologii, w szczególności takiej, która uwzględni jej cechy semantyczne, czyli kształt przestrzeni dozwolonych modeli. Niniejsza praca prezentuje...
-
Metody wnioskowania kontekstowego z danych zapisanych w zewnętrznych źródłach
PublicationW poprzednich pracach autorów został przedstawiony system wnioskowania z danych zapisanych w zewnętrznych źródłach - KL (Knowledge Layer). Metody SED (Semantic Enrichment of Data) i RED (Reasoning over External Data) zastosowane w tym systemie umożliwiają wzbogacenie danych o semantykę oraz wnioskowanie z tych danych analogicznie jak z ontologicznego opisu świata. Dane zapisane w źródłach zewnętrznych są wzbogacone o terminologię...
-
Metody pomiarowe stosowane na platformach powietrznych w badaniach geologicznych
PublicationW pracy przedstawiono metody pomiarowe stosowane w pomiarach geologicznych z zastosowaniem platform powietrznych, takich jak samoloty, śmigłowce i bezpilotowe pojazdy (UVA). W wykrywaniu różnego rodzaju złóż bogactw mineralnych stosowana jest metoda magnetometryczna, elektromagnetyczna oraz grawimetryczna.
-
Metody i jezyki opisu scenariuszy zachowań aplikacji przetwarzania wszechobecnego
PublicationPrzedstawiono opis przetwarzania scenariuszy zachowań aplikacjiprzetwarzania wszechobecnego. Zaprezentowano charakterystykę porównawczą języków wykorzystywanych do opisu takich scenariuszy. Przytoczono prace, w których podjęto próby wykorzystania języków formalnych do weryfikowania poprawności scenariuszy na etapie ich defniowania.