Filters
total: 6286
-
Catalog
- Publications 3438 available results
- Journals 95 available results
- Publishing Houses 10 available results
- People 1135 available results
- Inventions 20 available results
- Projects 55 available results
- Laboratories 7 available results
- Research Teams 29 available results
- e-Learning Courses 1415 available results
- Events 82 available results
displaying 1000 best results Help
Search results for: inzynieria srodowiska
-
Konstrukcja wzmocniona. Polimeryzacja betonu
PublicationPoprawa jakości wyrobów betonowych stosowanych w inżynierii środowiska oraz w inżynierii wodnej drogą wprowadzania natryskowych powłok (polimery) ochronnych.
-
Z badań nad wpływem antropopresji na środowisko
Journals -
Problematyka wiejska w nauczaniu projektowania jako konieczny warunek zachowania wartości środowiska kulturowego i naturalnego obszarów wiejskich
Publicationkrajobrazy wiejskie będące obrazem środowiska kulturowego wsi, są jedenym ze źródeł tradycji w jej wieloaspektowej integralnej postaci, która obejmuje zarówno wartości przyrodnicze, kulturowe jak i społeczne. architektura i krajobraz stanowią ściśle powiązane elementy. wzajemne relacje architektura-krajobraz są różne i zależą od wartości przestrzennych, charakteru kulturowego i oddziaływania psychologicznego krajobrazu. dlatego...
-
Zagrożenia dla środowiska naturalnego w działaniach firm regionu gdańskiego związanych z organizacją EURO 2012 a współpraca PPP
PublicationSukces ekonomiczny przedsiębiorców w Gdańsku może być wiekszy, jeżeli losowanie druzyn rozgrywających mecze w Gdańsku będzie korzystne. Jeśli druzyny europejskie przyjadą do Gdańska wraz ze swoimi kibicami, przedsiebiorca branż hotelowej i gastronomicznej mogą uzyskać wieksze dochody. Należy mieć na uwadze ochronę wód powierzchniowych i podziemnych Gdańska. Główne ujęcia wód podziemnych znajdują się w sąsiedztwie stadionu PGE...
-
Zastosowanie połączenia mikroekstrakcji do fazy stacjonarnej i chromatografii gazowej do oceny zanieczyszczenia środowiska bojowymi środkami chemicznymi
PublicationChromatografia gazowa to niezastąpione narzędzie do oznaczania lotnych zanieczyszczeń w próbkach środowiskowych. Najczęściej wymaga ona jednak wprowadzenia etapu przygotowania próbek. Wygodnym sposobem jest mikroekstrakcja analitów do fazy stacjonarnej. Anality mogą być ekstrahowane z gazu lub cieczy lub też z fazy nadpowierzchniowej cieczy lub ciała stałego do włókna pokrytego sorbentem. Desorpcja analitów następuje w dozowniku...
-
Materiały biologiczne pochodzące od ptaków morskich oraz renifera Svalbardzkiego, jako źródło informacji o zanieczyszczeniu środowiska polarnego
PublicationWykorzystanie nie-destrukcyjnie pobranych tkanek takich jak sierść oraz pióra umożliwia pobieranie próbek od żywych osobników, nie naruszając struktury populacji oraz kwestii moralnych związanych z odłowem. W związku z tym możliwe jest śledzenie zmian spowodowanych podwyższonym poziomem zanieczyszczeń. W ostatnich latach, wykorzystanie próbek pobranych nie-destrukcyjnie staje się istotną częścią badań środowiskowych. Poziomy zanieczyszczeń...
-
Metody genetycznej identyfikacji i numerycznej oceny skutków oddziaływań antropogenicznych, na wody podziemne obszarów o rozproszonej zabudowie
PublicationWody podziemne narażone są na różnego typu zanieczyszczenia, stając się zagrożeniem dla życia i zdrowia ludzi z nich korzystających. W ostatnich latach wzrosło zainteresowanie próbami zatrzymania lub odwrócenia stale postępującej degradacji środowiska przyrodniczego, wywołanej czynnikami pochodzenia antropogenicznego. Skuteczność podjętych działań w ramach rekultywacji, zabezpieczenia i ochrony gruntów oraz zasobów naturalnych...
-
Elastic protection coating for ship fuel tanks, intended for the increasing of environment protection level
PublicationW opracowaniu przedstawiono problemy związane z wprowadzeniem nowego rozwiązania dla podniesienia bezpieczeństwa zbiorników paliwowych, poprzez zainstalowanie we wnętrzu zbiornika drugiej elastycznej bariery ochronnej opartej na warstwie wypełniacza. Przedstawiono wyniki prac związanych z doborem parametrów warstwy drugiej bariery jak również materiału wypełniacza.
-
Marcin Stienss dr inż.
PeopleMarcin Stienss (urodzony w 1982 r. w Malborku) specjalizuje się w tematyce infrastruktury drogowej. Jego główne obszary badawcze dotyczą mieszanek mineralno-asfaltowych, badań i diagnostyki nawierzchni oraz szeroko pojętego procesu projektowania dróg. W roku 2006 roku uzyskał na Wydziale Inżynierii Lądowej i Środowiska Politechniki Gdańskiej stopień magistra inżyniera na kierunku Budownictwo Lądowe w specjalności Inżynieria Transportowa,...
-
Nowy empiryczny model propagacyjny do projektowania ruchomych systemów radiokomunikacyjnych pracujących w środowisku uprzemysłowionym
PublicationNiniejszy referat zawiera opis nowego modelu do szacowania tłumienia propagacyjnego w bezprzewodowych łączach radiowych systemów ruchomych, pracujących w środowisku uprzemysłowionym na przykładzie terminalu kontenerowego.
-
Analiza przydatności metody TWR dla potrzeb lokalizacji osób i mienia w środowisku wewnątrzbudynkowym
PublicationW artykule przedstawiono analizę przydatności metody TWR (Two-Way Ranging) dla potrzeb lokalizowania osób i mienia w środowisku wewnątrzbudynkowym. Artykuł skupia się na problemie doboru wybranych parametrów pracy węzłów sieci sensorowej (modemów), mierzącychodległości na podstawie znajomości czasów RTT (Round Trip Time). Opisano sposób doboru tych parametrów w przykładowej sieci sensorowej, który został uzupełniony o wyniki analizy...
-
Związki endokrynne w środowisku. Problemy i wyzwania cz. I Emisja i los środowiskowy
PublicationWzrost świadomości dotyczącej niekorzystnego wpływu działalności człowieka na stan środowiska oraz dynamiczny rozwój technik analitycznych spowodował, że w ostatnich latach wzrosło zainteresowanie problematyką związków zakłócających prawidłowe funkcjonowanie układu endokrynnego. W opracowaniu zamieszczono informacje o niektórych związkach z grupy estrogenów, ich losie środowiskowym oraz oddziaływaniu na organizmy żywe.
-
Idea przeobrażenia świata w środowisku rosyjskiej inteligencji [The Idea of the Transformation of the World among the Russian Intelligentsia]
Publication -
Michał Wyrostkiewicz, Osoba i środowisko. Studia teologiczno-ekologiczne, Towarzystwo Naukowe KUL, Lublin 2019
Publication -
Analiza przydatności wybranych modeli propagacyjnych do projektowaniaruchomych systemów radiowych w środowisku terminalu kontenerowego
PublicationNa wstępie krótko scharakteryzowano specyfikę propagacyjną w warunkach terminalu kontenerowego. Opisano modele propagacyjne będące przedmiotemanalizy oraz zastosowaną metodologię badań propagacyjnych. Omówiono wyniki takiej analizy i wynikające z niej wnioski. Wskazano potrzebę opracowania nowego modelu propagacyjnego przeznaczonego do wyznaczania tłumienia fali radiowej w takim środowisku.
-
Hamburg : The European Green Capital Award 2011 : miasto o zrownoważonym rozwoju, przyjaznym środowisku naturalnemu
PublicationW roku 2011 nagrodę "The European Green Capital Award" otrzymał Hamburg, jako miasto, które ustanowiło kompleksowy program ochrony klimatu oraz w sposób ekologiczny rozwiązuje liczne problemy wiążące się z zarządzaniem metropolią. Publikacja przedstawia różnorodne inicjatywy miasta na rzecz ochrony środowiska: od przyjaznego transportu publicznego po rozbudowę terenów zielonych. Miasto wyznaczyło sobie ambitny cel redukcji emisji...
-
Wykorzystanie wyników badań składu wód atmosferycznych orazpowierzchniowych do oceny oddziaływania transportu drogowegona środowisko
PublicationZasadniczym celem pracy doktorskiej było określenie poziomu stężeń szeregu toksycznych składników śladowych obecnych w próbkach opadów atmosferycznych i wód spływnych oraz powierzchniowych zbieranych na terenie miejskim (centrum Gdańska) oraz na obszarze zlokalizowanym w zasięgu oddziaływania arterii komunikacyjnej o wysokim natężeniu ruchu pojazdów mechanicznych (Obwodnica Trójmiejska). Założeniem wykonanych badań było: (1) opracowanie...
-
Badanie i analiza dokładności radiolokalizowania terminali ruchomych w środowisku miejskim w systemie LTE
PublicationW ramach pracy doktorskiej, przeprowadzono kompleksową analizę i badanie efektywności metody OTDoA, służącej do estymacji położenia terminala ruchomego w sieci LTE. Opracowano algorytm, którego zastosowanie pozwala na zwiększenie dokładności radiolokalizowania poprzez detekcję pierwszej składowej odebranego sygnału zbiorczego z możliwie dużą dokładnością. Algorytm ten opiera się na dynamicznym wyznaczaniu progu detekcji (w zależności...
-
Propozycja modelu tłumienia systemowego dla radiowej sieci BAN pracującej w środowisku promu pasażerskiego
PublicationW referacie opisano propozycję empirycznego modelu do szacowania tłumienia systemowego dla radiowych sieci BAN pracujących w środowisku promu pasażerskiego przy częstotliwości 2,45 GHz dla komunikacji typu off-body. Badania pomiarowe przeprowadzono dla scenariuszy dynamicznych w pomieszczeniu dyskoteki promu pasażerskiego. Zaproponowana postać analityczna modelu składa się z trzech składowych: tłumienia średniego, tłumienia wynikającego...
-
Zanieczyszczenia powietrza w środowisku pracy podczas przecinania ściernicowego ręcznego i możliwości ich ograniczenia
PublicationW artykule przedstawiono zagrożenie środowiska zanieczyszczeniami powietrza pyłami i gazami w pomiesz-czeniu zamkniętym podczas przecinania ręcznego prętów stalowych ściernicami elektrokorundowymi. Ocenę porównawczą zanieczyszczeń powietrza wewnętrznego, z użyciem ściernic o średnicy 230 mm pięciu producen-tów, dokonano na podstawie 30. przecięć każdą ściernicą pręta stalowego o średnicy 20 mm. W zależności od producenta ściernicy...
-
Wpływ intensywności prędkości uderzenia na niszczenie cząstkami stałymi w środowisku wodnym stali X10CrAlSi18
PublicationErozja cząstkami stałymi w środowisku wodnym jest złożonym zjawiskiem ze względu na jednoczesne oddziaływanie wielu czynników, takich jak prędkość i kąt uderzenia, koncentracja cząstek, własności materiału i cząstek stałych, prowadząc do efektu synergicznego. Zmiana jakiegokolwiek parametru procesu erozyjnego prowadzi do zmiany szybkości erozji. Z tego względu istotne jest badanie wpływu poszczególnych czynników na proces niszczenia....
-
Metodyka tworzenia dynamicznych map hałasu w środowisku aglomeracji miejskiej z zastosowaniem gridu superkomputerowego
PublicationW rozprawie przedstawiono i zweryfikowano opracowaną przez autora metodę sporządzania aktualizowanych dynamicznie map hałasu. Oryginalnym podejściem jest zastosowanie potencjału gridu superkomputerowego jako środowiska do przeprowadzania obliczeń numerycznych w procesie modelowania źródeł i propagacji dźwięku. Dzięki temu możliwe stało się przeliczanie mapy hałasu obszaru wielkości dużego miasta w krótkich odstępach czasu. Autor...
-
INTERDYSCYPLINARNOŚĆ W EDUKACJI STUDENTÓW ARCHITEKTURY. NA PRZYKŁADZIE BADANIA ZJAWISK WIATROWYCH W ŚRODOWISKU ZABUDOWANYM
PublicationCelem artykułu jest prezentacja możliwości włączenia badań w zakresie aerodynamiki w proces kształcenia studentów wydziałów architektury. Opisano metodę pracy ze studentami uwzględniającą badania eksperymentalne w tunelu aerodynamicznym. Pozwala ona na rozpoznanie charakteru badanych zjawisk oraz na szersze spojrzenie na interdyscyplinarność w projektowaniu architektonicznym.
-
Wpływ wielkości równoważnika węgla na spawalność stali o podwyższonej wytrzymałości w środowisku wodnym
PublicationZ roku na rok coraz większe zastosowanie na konstrukcje offshore znajdują stale o podwyższonej wytrzymałości. Konstrukcje takie, ze względu na środowisko, w którym pracują wymagają częstszych napraw, niż w przypadku konstrukcji lądowych. Ze względów ekonomicznych naprawy odbywają się w warunkach podwodnych, jednakże woda znacząco pogarsza spawalność stali. W pracy przedstawiono wyniki próby spawalności CTS dla stali S460ML i S460N,...
-
Wytwarzanie oprogramowania protokołu SIP dla urządzenia z systemem typu embedded w środowisku Linux
PublicationW pracy został zawarty opis procesu wytwarzania oprogramowania protokołu SIP dla potrzeb urządzenia z systemem typu embedded, którym był Abonencki Terminal Kablowy ATK DGT 7410. Na początku referatu przedstawiono obserwowane obecnie trendy rozwojowe w metodologii i sposobie wytwarzania oprogramowania wykorzystywanego w sieciach telekomunikacyjnych VoIP. Następnie przedstawiono krótki opis urządzenia ATK i podano uproszczony algorytm...
-
Cynnik ludzki i rozwiązania organizacyjne w zarządzaniu projektami innowacyjnymi w dynamicznym środowisku wieloprojektowym.
PublicationW pracy poruszono zagadnienia organizacyjne związane z równoległą realizacją wielu projektów innowacyjnych. Projekty te tworzą pewne środowisko tzw. wieloprojektowe, charakteryzujące się znaczną dynamiką. W pracy zidentyfikowano podmioty funkcjonujące na poszczególnych poziomach zarządzania, zaprezentowano główne rozwiązania w zakresie budowy zespołów wykonawczych i struktur organizacyjnych. Zestawiono elementy kultury organizacyjnej...
-
Robert Jankowski prof. dr hab. inż.
PeopleHe was born on December 26, 1968 in Gdynia. A graduate of the High School at the Consulate of Poland in Benghazi, Libya (1987), a student at the Gdańsk University of Technology (MSc studies, 1987-1991 and 1992-1993), University of Sheffield, England (BSc studies, 1991-1992), University of Roskilde, Denmark (MSc course, 1993) and University of Tokyo, Japan (PhD studies, 1994-1997). From the beginning of his professional career associated...
-
Harmonogramowanie realizacji projektów - przegląd modeli. W: Inżynieria za- rządzania przedsięwzięciami. Red. L. Zawadzka. Gdańsk: P. Gdań.**2003 s. 33-52 bibliogr. 124 poz.
PublicationNiniejszy rozdzial dotyczy obszru harmonogramowania ptojektów, problemów, które były przedmiotem badań w ostatnich latach wraz z próbą klasyfikacji wykorzystywanych modeli oparta na wybranych kryteriach: zakresu decyzji i rodzaju uwzględnionych ograniczeń.
-
Ekonomia obliczeniowa oparta na systemach agendowych. W: Inżynieria zarzą- dzania przedsięwzięciami. Red. L. Zawadzka. Gdańsk: P. Gdań.**2003 s. 19-22bibliogr. 6 poz.
PublicationNiniejszy artykuł prezentuje problematykę ekonomii obliczeniowej opartej nasystemach agentowych. Przedstawiono ogólne założenia systemów ACE, koncepcje rozwiązań dotyczące architektury i implementacji oraz dokonano prezentacji wybranych obszarów badawczych nad systemami ACE.
-
Piotr Grudowski dr hab. inż.
PeopleProfessor Dr hab. Eng. Piotr Grudowski heads the Department of Quality and Commodity Management at the Faculty of Management and Economics of Gdansk University of Technology. In the years 1987-2009 he worked at the Faculty of Mechanical Engineering of the Gdansk University of Technology, where he obtained a doctoral degree in technical sciences in the discipline of construction and operation of machines and he headed the Department...
-
Ocena stopnia akustycznego zagrożenia środowiska w związku z funkcjonowaniem projektowanej bazy logistycznej w Strykowie przy ul. Brzezińskiej
PublicationObliczono rozkład poziomu hałasu w środowisku, wytwarzany przez TIRy manewrujące wokół projektowanej bazy logistycznej. Uwzględniono zróżnicowane sytuacje związane z ruchem pojazdów. Obliczenia wykonano przy użyciu programu komputerowego HPZ'2001.
-
Terminologia i funkcje geosyntetyków
PublicationPodstawowe definicje, klasyfikacja i funkcje geosyntetyków w budownictwie i inżynierii środowiska
-
development of an open source software to transform acoustic data for classification of benthic habitat
Publication.
-
Performance analysis of untraceability protocols for mobile agents using an adaptable framework
PublicationArtykuł przedstawia środowisko oceny wydajności protokołów ochrony przed tropieniem agentów mobilnych oraz wyniki analiz przeprowadzonych za jego pomocą. Chociaż środowisko projektowano i implementowano z myślą o ewaluacji zaproponowanych przez nas protokołów ochrony przed tropieniem, w trakcie badań okazało się, że może ono zostać również wykorzystane do badań całej klasy protokołów bezpieczeństwa dla agentów mobilnych. Chodzi...
-
Wydajność środowisk J2SE i C++ / OpenCV w zagadnieniu sterowania komputerem za pomocą gestów
PublicationW rozdziale przedstawiono interfejs sterowania komputerem za pomocą gestów rąk, należący do grupy systemów czasu rzeczywistego o łagodnych granicach (ang. soft real-time). Komponentami systemu są: komputer klasy PC, kamera internetowa, rzutnik multimedialny i ekran dla rzutnika. Oprogramowanie interfejsu opracowano w oparciu o środowiska J2SE i Visual Studio C++ z użyciem biblioteki OpenCV. Moduł systemu realizujący interpretację...
-
Prace Naukowe Instytutu Inżynierii Lądowej Politechniki Wrocławskiej
Journals -
Revista Facultad de Ingenieria-Universidad de Antioquia
Journals -
BADANIA SYMULACYJNE PROWADZONE W ŚRODOWISKU SYSTEMU EKSPERTOWEGO STOSOWANE DO WSPOMAGANIA PROJEKTOWANIA UKŁADÓW AUTOMATYKI STATKU
PublicationW referacie przedstawiono wykorzystanie badań symulacyjnych jako źródła wiedzy dla systemu ekspertowego. Omawiany system służy wspomaganiu doboru elementów steru strumieniowego. Elementami tego systemu są: biblioteka struktur, biblioteka modeli, baza elementów oraz baza wiedzy. Jako przykład przedstawiono badania symulacyjne struktury steru strumieniowego zawierającej silnik indukcyjny, wał śrubowy, śrubę o skoku nastawnym oraz...
-
Modelowanie trakcyjnego układu napędowego z silnikiem ipm ze sterownikiem cyfrowym w środowisku matlab/simulink
PublicationReferat przedstawia model symulacyjny trakcyjnego układu napędowego z silnikiem IPM. Omówiono strukturę układu oraz algorytm sterowania momentem silnika. Opisano model symulacyjny uwzględniający technikę modulacji napięć wyjściowych falownika typu SVM oraz dyskretne działanie sterownika cyfrowego. Przedstawiono wybrane wyniki symulacyjne i skonfrontowano je z otrzymanymi z rzeczywistego układu napędowego. Opisano przyczyny różnic...
-
Modelowanie procesów migracji zanieczyszczeń organicznych w środowisku wodnym = Modelling of migration of organic xenobiotics in aquatic environment
PublicationPrzedstawiono zagadnienia związane z modelowaniem migracji związków chemicznych w środowisku. Zamieszczono także sposób konstruowania modeli i przegląd najważniejszych typów modeli migracji wraz z przykładami oraz wyniki, jakie można uzyskać za pomocą poszczególnych grup modeli. W pracy zawarto również podział modeli migracji ze względu na sposób przedstawienia transportu zanieczyszczeń, poziom kompilacji i zakres obszaru modelowania....
-
Środowisko naturalne a działania przedsiębiorców związane z EURO 2004 w regionie Minho-Lima w Portugalii
PublicationŚrodowisko w pracy przedstawiono wpływ środowiska naturalnego na działania przedsiębiorców przed i w trakcie przygotowań do turnieju Euro 2004 w regionie Minho-Lima w Portugalii oraz omówiono zagrożenia dla środowiska naturalnego związane z przygotowaniem i rozgrywaniem EURO 2004. Omówiono warunki klimatyczne Portugalii, skupiając się na regionie Minho. Przedstawiono również nadzwyczajne zdarzenia pogodowe, do których doszło przed...
-
Inteligentne wspomaganie podejmowania decyzji z wykorzystaniem metod sztucznej inteligencji w środowisku obliczeniowym typu grid
PublicationPodejmowanie decyzji jest uważane za jedno z najbardziej krytycznych działań w organizacji. W celu wsparcia tego złożonego procesu dla osób odpowiedzialnych różne niezależne, samodzielne systemy wspomagania decyzji zostały opracowane głównie w ostatnich dwóch dekadach. Patrząc w sposób komplementarny na te systemy, wiążemy je z rolą i funkcją, którą musi spełniać z punktu widzenia użytkownika. W rozdziale opisano systemy wspomagania...
-
Detekcja warunków LOS i NLOS w środowisku wewnątrz budynkowym przy użyciu algorytmu głębokiego uczenia
PublicationW środowisku wewnątrzbudynkowym występuje wiele czynników negatywnie wpływających na transmitowane sygnały. Niniejszy artykuł przedstawia metodę opartą na koncepcji głębokich sieci neuronowych, służącą do detekcji warunków LOS i NLOS w środowisku wewnątrzbudynkowym. Algorytm opracowany i przetestowany został na podstawie pomiarów sygnałów UWB przeprowadzonych w rzeczywistym środowisku wewnątrzbudynkowym.
-
Empiryczny model tłumienia systemowego w łączu radiowym sieci BAN pracującej w środowisku promu pasażerskiego
PublicationW referacie zaprezentowano empiryczny model do szacowania tłumienia systemowego dla radiowych sieci BAN pracujących w środowisku promu pasażerskiego przy częstotliwości 2,45 GHz dla komunikacji typu off-body. Badania pomiarowe przeprowadzono dla scenariuszy dynamicznych w pomieszczeniu dyskoteki promu pasażerskiego. Postać analityczna modelu składa się z trzech składowych: tłumienia średniego, tłumienia wynikającego ze zmiennej...
-
Osoby ze spektrum zaburzeń autystycznych w cyfrowym środowisku pracy – przegląd rozwiązań technologicznych wspierających integrację
PublicationCelem artykułu jest analiza możliwości wykorzystania technologii wspomagających w obszarze modyfikacji środowiska pracy w celu integracji w jego obrębie osób ze spektrum zaburzeń autystycznych (ASD). Rozwiązaniem może być szersze wykorzystywanie elektronicznych form komunikacji, jak komunikatory, chaty i chatboty. Ponadto wprowadzenie elektronicznych systemów monitorujących poziom stresu i ułatwiających jego kontrolowanie, a w...
-
Korozja naprężeniowa stali 14hnmbcu w środowisku wody morskiej.Stress corrosion cracking of 14hnmbcu steel in sea-water.
PublicationW pracy przedstawiono zagadnienia niszczenia środowiskowego stali o wysokiej wytrzymałości na konstrukcje morskie. Podatność stali 14HNMBCu i jej złącza spawanego na naprężeniowe pękanie korozyjne badano w oparciu o próbę powolnego rozciągania. Próby wykonano w środowisku powietrza oraz wody morskiej przy polaryzacji katodowej.
-
A model of occurrence of the situations endangering inland waterways passanger ships and the environment
PublicationZaproponowano czterostanowy semimarkowski model pojawiania się sytuacji zagrażających pasażerskim statkom śródlądowym. Model ten został opracowany w formie semimarkowskiego procesu dyskretnego w stanach i ciągłego w czasie, którego wartościami są rodzaje stanów, interpretowanych jako sytuacje: normalna, skomplikowana, niebezpieczna oraz awaryjna. Zobrazowano przykładową realizację procesu zmian sytuacji, jakie mogą pojawić się...
-
Assessment of the impact of a phosphatic fertilizer plant on the adjecent environment using fuzzy logic
PublicationZbadano wpływ zakładów nawozów fosforowych na otaczające środowisko. W próbkach trawy i gleby oraz produktów i produktu ubocznego oznaczono wybrane pierwiastki ziem rzadkich, metale ciężkie i metaloidy. Zbadano rozkład stężeń pierwiastków oznaczonych w próbkach gleby i trawy wzdłuż południowego i wschodniego kierunku, porównując ją ze stężeniami oznaczonymi w glebie i trawie z terenu zakładów oraz w substratach i produktach. Wyniki...
-
Kazimierz Jamroz dr hab. inż.
People -
A model-based approach to analysis of security protocols - a case study
PublicationArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...