Search
Filters
total: 3803
-
Catalog
- Publications 2432 available results
- Journals 39 available results
- Publishing Houses 4 available results
- People 521 available results
- Inventions 23 available results
- Projects 54 available results
- Laboratories 4 available results
- Research Teams 12 available results
- e-Learning Courses 657 available results
- Events 57 available results
displaying 1000 best results Help
Search results for: ŚRODOWISKO ZAMKNIĘTE
-
Rational portfolio manager - środowisko do wspomagania zarządzania przedsięwzięciami informatycznymi
PublicationW rozdziale omówiono zastosowanie aplikacji Rational Portfolio Manager, oferowanej przez firmę IBM, do zarządzania grupą przedsięwzięć informatycznych. Rozdział obejmuje 5 głównych części: w pierwszej przedstawiono charakterystykę aplikacji a w następnej omówiono szkolenia, jakim poddany był autor. W kolejnych częściach przedstawiono zastosowanie RPM w zarządzaniu pięcioma rzeczywistymi projektami, ocenę jego przydatności do zarządzania...
-
Powstawanie oceanicznych aerozoli siarczanowych i ich wpływ na środowisko
PublicationW pracy przedstawiono problem wpływu aerozoli morskich na środowisko i kształtowanie klimatu. Opisano cykl biogeochemiczny siarki w przyrodzie i źródła jej emisji. Główną uwagę poświecono związkom siarki powstającym w morzach i oceanach, a w szczególności dimetylosulfidowi (DMS) i procesom jego tworzenia. Wykazano jego znaczącą rolę w tworzeniu aerozoli siarczanowych. Przedstawiono hipotezę CLAW, która uwzględniając obieg związków...
-
Nowoczesne miasta – infrastruktura i środowisko (na marginesie krakowskiej konferencji)
PublicationPrzedstawiono szereg zasadniczych problemów rozwoju współczesnych miast. Zwrócono uwagę na problemy ekonomiczne nieodpowiednich działań w zakresie infrastruktury, w tym bardzo poważne rozbieżności w Polsce. Problemy w zakresie braków planów zagospodarowania przestrzennego, niska jakość wielu planów (studium, miejscowy plan). Przygotowanie procesu inwestycyjnego. Wnioski z krakowskiej konferencji
-
KASKADA - środowisko do wytwarzania i uruchamiania multimedialnych aplikacji równoległych
PublicationOpisano podstawowe cechy platformy KASKADA jako środowiska do tworzenia i uruchamiania multimedialnych aplikacji rozproszonych. Przedstawiono funkcjonalność wspierającą konstrukcję algorytmów, zaimplementowanych jako zadania obliczeniowe wykonujące analizę danych wejściowych, usług prostych umożliwiających uruchamianie zadań obliczeniowych oraz usług złożonych agregujących usługi proste za pomocą scenariuszy wykonania. Zaprezentowano...
-
Wpływ wraków na środowisko na przykładzie s/s ''Stuttgart''
PublicationGłównym celem pracy doktorskiej była próba określenia charakteru i wielkości oddziaływania na środowisko zatopionego podczas II wojny światowej wraku statku s/s Stuttgart. W celu określenia stopnia zagrożenia dla środowiska wykonano analizy chemiczne i badania ekotoksykologiczne próbek wody morskiej, osadów powierzchniowych i rdzeni. Odpowiednio przygotowane próbki wody morskiej i osadów poddane zostały analizom w celu oznaczenia...
-
Wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne
PublicationW artykule przedstawiono wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne w oparciu o raporty stanu oceny radiologicznej eksploatowanych źródeł technologii jądrowych. Na podstawie analizy wyników pomiarów z ostatnich piętnastu lat przedstawiono trendy zmian w wybranych elementach środowiska naturalnego na terenie i w otoczeniu ośrodka Świerk. Ponadto zaprezentowano wpływ wyników badań z piętnastoletniego...
-
Jakość, środowisko i bhp w systemach zarządzania. Wyd. 2
PublicationKsiążka przedstawia podstawy oraz wymagania dotyczące trzech najczęściej stosowanych w praktyce normatywnych systemów zarządzania - jakością (ISO 9001), środowiskiem (ISO 14001) oraz BHP (PN-N 18001). Omówiono podobieństwa i różnice tych systemów wskazując kontekst ich integracji w jednym systemie zarządzania. W wydaniu drugim (wydanie I -2003r.) wprowadzono uzupełnienia i korekty związane ze zmianami w omawianych standardach.
-
Ocena cyklu życia - wieloaspektowa analiza oddziaływania produktu na środowisko
PublicationPrzedstawiono zasady oceny wpływu na środowisko techniką LCA zgodnie z normami Międzynarodowej Organizacji Standaryzacji. Technika LCA jest ekologicznym wskaźnikiem stanowiącym podstawę dokonania wyboru w kwestiach środowiskowych towarzyszących procesom produkcyjnym i usługowym, lub innej działalności człowieka. Zaletą tej techniki jest porównywanie wielkości oddziaływania na środowisko przez dwa lub większą liczbę produktów, różne...
-
Budynek jako środowisko - od teoretycznych postulatów do przezroczystej architektury.
PublicationWspółcześnie dyskurs teoretyczny staje się komplementarny z dyskursem realizowanym poprzez wzniesione obiekty architektury. W szczególności rozwijany jest w tych obiektach, które kształtowane są odniesieniami do natury. Budynki takie stają się środowiskami, obszarami generującymi zdarzenia i nieoczekiwane zmiany. Architektura staje się nierozłączną częścią takiego środowiska i staje się wobec niego przezroczysta.
-
Wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne
PublicationW artykule, na podstawie raportów oceny stanu ochrony radiologicznej eksploatowanych źródeł technologii jądrowych, przedstawiono wpływ pracy doświadczalnego reaktora jądrowego na krajowe środowisko naturalne. Korzystając z analiz wyników pomiarów przeprowadzonych w ostatnich 15 latach, przedstawiono trendy zmian w wybranych elementach środowiska naturalnego na terenie i w otoczeniu ośrodka Świerk. Ponadto zaprezentowano wpływ...
-
Heterogeniczne środowisko testowe na potrzeby weryfikacji mechanizmów systemu netBaltic
PublicationPrzedstawiono heterogeniczne środowisko testowe integrujące różne techniki transmisji, wykorzystywane w testach elementów systemu netBaltic. Omówiono poszczególne istotne komponenty systemu testowego: sieć nabrzeżną, instalację na jednostkach pływających oraz instalację na boi pomiarowej. Jako ilustrację możliwości systemu zaprezentowano przykładowe wyniki uzyskane w opisanym środowisku.
-
Jacek Namieśnik prof. dr hab. inż.
PeopleScientific discipline: chemistryRector in 2016-2019 He was born on 10 December, 1949 in Mogilno. He graduated in 1972 at the Faculty of Chemistry at Gdańsk University of Technology, obtaining a master's degree in chemical engineering. In 1972 he started working at Gdańsk University of Technology, where in 1978 he defended his doctoral thesis and in 1985 he completed his habilitation. He was appointed an associate professor in 1991...
-
Medycyna Środowiskowa - Environmental Medicine
Journals -
Awaria rurociągu zrzutowego posadowionego w środowisku wodnym
PublicationAnaliza sytuacji, która doprowadziła do awarii rurociągu wylotu morskiego gdańskiej OC Wschód. Błędy popełnione w trakcie realizacji - rozpoczynając od powstania ogólnej koncepcji. Ułomność elementu ''ekologicznego''
-
Związki endokrynne w środowisku: problemy i wyzwania
PublicationPoszczególne elementy środowiska od wielu lat było traktowane jako miejsce zrzutu substancji stanowiących odpady bądź też produkty uboczne procesów produkcyjnych i/lub dóbr konsumpcyjnych. Zanieczyszczenia rozpoznane przez naukowców podlegają regulacjom prawnym podającym dopuszczalne poziomy ich istnienia w środowisku. Istnieją jednak grupy związków o których istnieniu wiemy a których niebezpieczny charakter naukowcy zaczynają...
-
Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu
PublicationW rozdziale zaprezentowano wyniki grupy badawczej Knowledge Management Group at Gdańsk University of Technology (KMG@GUT) w zakresie nowych metod reprezentacji i przetwarzania wiedzy sformułowanej w formie ontologii. Metody te wpisują się w aktualne kierunki rozwojowe inicjatywy Semantic Web: wykorzystują do zapisu ontologii logikę opisową (a więc są zgodne ze standardem OWL-DL), biorą pod uwagę rozproszenie wiedzy pomiędzy różne...
-
Prawne aspekty ochrony środowiska przy robotach rozbiórkowych
PublicationW artykule podano przepisy prawne oraz wynikające z nich zasady postępowania i procedury, jakich musi przestrzegać wykonawca robót przy rozbiórce obiektów budowlanych i gospodarce materiałami rozbiórkowymi. Inwestor planując realizację przedsięwzięcia powinien uwzględniać czas i koszt związany z zachowaniem tych procedur.
-
Implementacja Sztucznych sieci neuronowych w środowisku LabVIEW.
PublicationPrzedstawiono możliwości oraz strukturę zrealizowanego przez autora modułu do implementacji sztucznych sieci neuronowych w środowisku LabVIEW.
-
Symulator robota mobilnego w środowisku matlab-simulink
PublicationOpisano symulator robota mobilnego opracowanego w środowisku MATLAB-SIMULINK. Podano główne przesłanki do opracowania aplikacji oraz jej najważniejsze zadania. Przedstawiono strukturę symulatora składającego się z czterech głównych bloków. Opisano model fizycznej platformy robota mobilnego oraz zależności matematyczne pozwalające rozwiązać zagadnienie kinematyki i dynamiki odwrotnej ruchu urządzenia na płaszczyźnie. Opisano sposób...
-
Problemy bezpieczeństwa informacji w środowisku przetwarzania wszechobecnego
PublicationPrzetwarzanie wszechobecne jest dziedziną informatyki, któracoraz szerzej zaczyna pojawiać się w życiu przeciętnego człowieka, ułatwiając mu wykonywanie codziennych czynności. Przedstawiono pryncypia mechanizmów bezpieczeństwa, które należy bra pod uwagę przy implementacji tego typu systemu. Pokrótce opisano ideę przetwarzania wszechobecnego oraz aplikacji agentowych. Omówiono najważniejsze mechanizmy zabezpieczeń komunikacji...
-
Architektura zintegrowanego środowiska usług wspomagających funkcjonowanie uczelni
PublicationZaprezentowano koncepcję środowiska zintegrowanego e-uczelni. Przedstawiono architekturę zorientowaną na usługi dostępne dla poszczególnych kategorii użytkowników. Uzasadniono wybór takiego podejścia oraz przeanalizowano aspekty bezpieczeństwa. Omówiono również zasady integracji istniejących już systemów.
-
Wykorzystanie metod akustycznych do monitoringu środowiska morskiego
PublicationW artykule przedstawiono metody i urządzenia wykorzystywane podczas obserwacji środowiska morskiego. Celem artykułu jest pokazanie możliwości odwzorowania środowiska morskiego w zależności od typu urządzenia, jego zasady działania i parametrów technicznych. Pokazane zostaną sposoby zobrazowania podwodnego za pomocą stosowanych obecnie w hydroakustyce urządzeń. Artykuł zawiera opis najczęściej stosowanych systemów wykorzystujących...
-
Biotesty - narzędzia do oceny stopnia zanieczyszczenia środowiska
PublicationW dobie szybkiego postępu technologicznego oraz nierozerwalnie związanego z nim wzrostu antropopresji coraz więcej uwagi należy poświęcić monitoringowi stanu środowiska.
-
Analityka i monitoring zanieczyszczeń środowiska. Tendencje rozwojowe.
PublicationW artykule przedstawiono informacje o najwazniejszych kierunkach rozwojowych w zakresie analityki i monitoringu środowiskowego. Coraz więcej uwagi poświęca się spełnieniu zasad zielonej chemii analitycznej. Dlatego też wzrasta znaczenie; -zielonych technik analitycznych, - bezpośrednich technik pomiaru szerokiego spektrum ksenobiotyków w poszczegolnych elementach środowiska
-
Scenariusze hierarchicznej klasteryzacji wykonywane w środowisku BeesyCluster
PublicationPrzedstawiono szczególnego rodzaju porządkowanie zbioru danychz użyciem tzw. hierarchicznej klasteryzacji. Metoda ta, przy użyciu określonej miary podobieństwa, łączy podobne do siebie dane w grupy tworząc tzw. klastry, które wcześniej nie były dane explicite. Opisano klasteryzację typu skupiającego, typu dzielącego oraz zaproponowano typ mieszany. Przedstawiono koncepcje realizacji algorytmów klasteryzacji poprzez scenariusze...
-
Zastosowanie elektronicznego nosa w analityce zanieczyszczeń środowiska
PublicationProblem jakości powietrza jest przedmiotem coraz większego zainteresowania ze względu na wpływ na środowisko, komfort życia i zdrowie ludzi. Wzrost stężenia niektórych zanieczyszczeń w powietrzu związany jest głównie z emisją tych składników ze źródeł antropogenicznych. Substancje złowonne, zwane odorami, wywołują najwięcej skarg i zażaleń ze strony ludzi, głównie tych którzy mieszkają i/lub pracują na terenach leżących w zasięgu...
-
Struktury wsparcia a efektywność w środowisku e-learningowym
PublicationNarzędzia wykorzystywane do realizowania zajęć w środowisku e-learningowym oferują afordancje umożliwiające wprowadzenie zróżnicowanych struktur wsparcia zapewnianych zarówno przez stronę kursu, materiały edukacyjne, nauczyciela, jak i pochodzących od studentów, zwiększając tym samym efektywność nauczania. Przemyślany układ i kształt zasobów, ich wizualizacja, zintegrowanie tekstu z zadaniami refleksyjnymi oraz pozwalającymi uczącemu...
-
Skutki zanieczyszczenia środowiska związane z generowaniem energii
PublicationNa całym świecie (dane z 2020 roku) spalanie paliw kopalnych takich jak węgiel, ropa naftowa i gaz ziemny dostarczyło ok. 84% całej zużywanej energii pierwotnej. W przypadku Polski konwencjonalne źródła energii stanowiły ponad 93%. Gigantyczne zużycie konwencjonalnych paliw powoduje wielkie straty w środowisku, objawiające się m.in. skażeniem powietrza, które stanowi największe środowiskowe zagrożenie dla zdrowia ludzi na świecie...
-
Biotesty - nowe podejście w analityce zanieczyszczeń środowiska.
PublicationZmiany zachodzące w środowisku np. wskutek pojawienia się zanieczyszczenia substancjami chemicznymi mogą wywoływać różnorakie niekorzystne efekty, zarówno bezpośrednio po ekspozycji, jak i w okresie późniejszym tzw. ''odległe skutki toksyczne''. Na podstawie zmian obserwowanych w różnych okresach czasu a jednocześnie na rzónych poziomach biologicznej organizacji można wnioskować o stanie zanieczyszczeń poszczególnych elementów...
-
Koncepcja środowiska umożliwiającego symulację działań obiektów militarnych.
PublicationPraca zawiera opis najbardziej popularnych platform symulacji walki robotów militarnych. Przeanalizowano ich główne wady i ograniczenia programowe oraz nieadekwatność odtworzenia rzeczywistych warunków i przebiegu walki. Na tym tle przedstawiono oryginalną koncepcję oraz założenia projektowe środowiska symulacji działań autonomicznych obiektów (robotów) militarnych. Proponowana platforma ma umożliwić:- porównanie jakości taktyk...
-
Metoda hydrofitowa w ochronie środowiska w Polsce
PublicationW pracy podane są przykłady wraz wynikami prowadzonych badan nad zastosowaniem metody hydrofitowej do ochrony wód powierzchniowych, oczyszczania ścieków oraz odwadniania i stabilizacji osadów ściekowych.
-
Wirtualne sieci lokalne w środowisku sieci IPv6.
PublicationZaprezentowane jest nowe spojrzenie na wirtualne sieci prywatne z perspekty-wy rozwiązań standardowo oferowanych przez rozinę protokołów IPv6. Omówionyjest przegląd rozwiązań VPN w środowisku sieci IPv6 ze szczególnym uwzględ-nieniem standardowo oferowanych z nową wersją stosu sieciowego IP.
-
Elementy elektroniczne w środowisku dużej emisji elektromagnetycznej
PublicationW referacie przedstawiono rodzaje narażeń powodowanych impulsowymi zakłóceniami elektromagnetycznymi występującymi w środowisku urządzeń energoelektronicznych. Przedstawiono poziomy energii i źródła zakłóceń które stanowią wyładowania elektrostatyczne, przebiegi łączeniowe w obwodach indukcyjnych i wyładowania atmosferyczne. Przedstawiono sposoby badania odporności na zakłócenia impulsowe. Zaprezentowano wyniki uzyskane z przeprowadzonych...
-
Wykorzystanie technik chemometrycznych w badaniach analitycznych środowiska
PublicationOmówiono teorię planowania pomiarów, rozkładów empirycznych, procedur przy-gotowania danych a także najczęściej wykorzystywane techniki analizy danych.Wspomniano równiez o nowoczesnych technikach analizy danych, zaliczanych dogrupy technik opartych na wykorzystaniu sztucznej inteligencji. Opis teore-tyczny w każdym przypadku wzbogacono o przykłady zastosowań w konkretnychproblemach analitycznych.
-
Ewolucja chemotaksji organizmów jednokomórkowych w dwuwymiarowym środowisku
PublicationOpracowany przez nas model środowiska oparty jest na fizyce dyfuzji płynów i umożliwia symulację dyfuzji morfogenów. Sztuczne organizmy w tym środowisku wykazują chemotaksję: poruszają się reagując na zmianę stężenia substancji chemicznych. Organizm sterowany jest za pomocą sieci genowej kodowanej w liniowym genomie. Organizmy rozmnażają się przez podział. Przeprowadziliśmy szereg doświadczeń pozwalających na obserwację zachowania...
-
Optoelektroniczne sensory fluorescencyjne dla monitoringu zanieczyszczeń środowiska
Publicationw pracy zaproponowano i opisano optoelektroniczny fluorescencyjny sensor do pomiaru stężenia kobaltu w wodzie. opisano zasadę działania tego typu sensorów. zaproponowano konfigurację laboratoryjnego stanowiska pomiarowego i przeprowadzono dobór niektórych jego komponentów. przedstawiono także etapy dalszych prac badawczych nad konstrukcją sensora.
-
Zarządzanie przedsięwzięciami innowacyjnymi w dynamicznym środowisku wieloprojektowym
PublicationW przypadku, gdy w określonej organizacji gospodarczej realizowanych jest jednocześnie wiele przedsięwzięć (projektów) innowacyjnych, można wówczas mówić o występowaniu w tej organizacji środowiska wieloprojektowego. W środowisku takim projekty nie są rozpatrywane jako wyizolowane jednostki, ale w relacji z innymi projektami, z którymi często posiadają większe lub mniejsze powiązania oraz oddziaływania. Tym samym specyfika zarządzania...
-
MODELOWANIE ZANIKÓW W ŚRODOWISKU MORSKIEGO TERMINALU KONTENEROWEGO
PublicationW referacie przedstawiono analizę zaników wolnozmiennych i szybkozmiennych w środowisku terminalu kontenerowego. Zaproponowano model analityczny parametrów rozkładów gęstości prawdopodobieństwa dla zaników, który umożliwia estymowanie wartości tych parametrów dla różnych uwarunkowań systemowych i środowiskowych. W ogólności dla zaników wolnozmiennych najlepiej dopasowany jest rozkład logarytmicznonormalny, natomiast dla zaników...
-
Technologie ochrony środowiska w przemyśle i energetyce
PublicationPublikacja prezentuje metody oczyszczania powietrza, wody i gleby skażonych podczas produkcji energii w zakładach energetycznych, przemysłowych oraz gospodarstwach domowych. Przedstawia technologie ochrony środowiska w ujęciu chemicznym, fizycznym, mechanicznym
-
Zastosowanie technologii holonowych w środowisku chmurowym przedsiębiorstwa
PublicationCelem artykułu jest wskazanie możliwości stosowania technologii holonowych dla implementacji chmurowego przetwarzania danych (cloud computing, CC) oraz chmurowego wytwarzania (cloud manufacturing, CM) w przedsiębiorstwie wirtualnym. Przyjęto następujący schemat wywodu: wyszczególnienie cech wspólnych oraz wyróżniających, występujących pomiędzy chmurą obliczeniową a wytwarzaniem chmurowym przedsiębiorstwa wirtualnego, a następnie...
-
Pękanie zimne stali spawanej w środowisku wodnym
PublicationW pracy scharakteryzowano zagrożenia spawalności stali konstrukcyjnych związane z przeniesieniem spawania do środowiska wodnego. Przedstawiono stan wiedzy oraz wyniki własnych prac badawczych dotyczących wpływu warunków i parametrów spawania najczęściej stosowanymi pod wodą procesami na wrażliwość do pękania zimnego stali konstrukcyjnych. Zwrócono uwagę na aktualne trendy badawcze oraz nieścisłości w informacjach związanych z rozpatrywanymi...
-
Macierzowa analiza konstrukcji prętowych w środowisku MATLAB®
PublicationNiniejsza książka poświęcona jest metodzie przemieszeń w ujęciu macierzowym, znanej także pod nazwą bezpośredniej lub komputerowej metody przemieszczeń. Podejście to jest szczególnym przypadkiem metody elementów skończonych (MES), która jest od wielu lat powszechnie stosowana w działalności inżynierskiej, w tym do analizowania różnorodnych problemów mechaniki. Metoda przemieszczeń jest dedykowana rozwiązywaniu układów prętowych....
-
Immunoanalityka – użyteczne podejście analityczne w badaniach środowiska
PublicationWażnym krokiem w rozwoju bezpośrednich metodyk analitycznych było opracowanie technik immunoanalitycznych. Początkowo znalazły one zastosowanie praktyczne w analityce medycznej a później także w analityce środowiskowej. Dzięki temu możliwe jest ilościowe oznaczenie stosunkowo szerokiego spektrum ksenobiotyków w próbkach charakteryzujących się złożonym składem matrycy bez praco- i czasochłonnego etapu przygotowania tych próbek do...
-
Wykorzystanie narzędzi współpracy on-line w środowisku akademickim
PublicationWspółpraca on-line to temat coraz częściej poruszany w środowisku naukowym i biznesowym. Odpowiednie wykorzystanie dostępnych narzędzi informatycznych wspomaga komunikację i planowanie eksperymentów, a także podejmowanie decyzji i konsultacje na odległość zarówno przed, jak i na poszczególnych etapach realizacji danego projektu. Zastosowanie nowoczesnych rozwiązań powinno mieć miejsce także w środowisku akademickim, a studenci...
-
Innowacja urbanistyczna w kontekście kształtowania środowiska mieszkaniowego
Publication.
-
Biofumigacja jako przyjazna środowisku technologia ochrony roślin
PublicationWobec rosnącej świadomości co do szkodliwości syntetycznych pestycydów, biofumigacja może stanowić alternatywną metodykę ochrony roślin. Proces ten polega na wykorzystaniu naturalnych związków antybiologicznych, zawartych m.in. w roślinach z rodziny kapustowatych, do zwalczania agrofagów. Do oceny skuteczności tej przyjaznej środowisku technologii ochrony roślin niezbędna jest znajomość metodyk oznaczania aktywności enzymatycznej...
-
Wykorzystanie substancji znacznikowych w badaniach stanu środowiska
PublicationMonitoring środowiska stanowi jeden z głównych obszarów analityki chemicznych, którego rozwój obserwuje się na przestrzeni ostatnich lat. Dzięki temu możliwe jest rozwiązywanie problemów związanych ze zmianami zachodzącymi w różnych ekosystemach z uwzględnieniem poszanowania środowiska. Jedną z form uzyskiwania miarodajnych informacji na temat stanu środowiska może być stosowanie substancji znacznikowych, których stosowanie umożliwia...
-
METODY KONTROLI OLEJOW SMAROWYCH EMITOWANYCH DO ŚRODOWISKA
PublicationEmitowane do środowiska oleje smarowe wykorzystywane w otwartych układach tnących, głowicach harwesterów, powinny zawierać wyłącznie biodegradowalne składniki. Składniki środków smarowych produkowanych z ropy naftowej wykazują negatywne oddziaływanie na środowisko i zdrowie, dlatego ich stosowanie w otwartych układach tnących powinno być zabronione, a użycie karane.
-
Znaczenie potencjału energetycznego osadów ściekowych w aspekcie gospodarki o obiegu zamkniętym – przykład oczyszczalni w Gdańsku
PublicationW artykule przedstawiono ciepło spalania, wartość opałową oraz skład pierwiastkowy osadów ściekowych na kolejnych etapach przeróbki w oczyszczalni ścieków "Wschód" w Gdańsku. Osad ściekowy jest cennym źródłem energii. Średnia wartość ciepła spalania (HHV) osadów ściekowych w oczyszczalni ścieków w Gdańsku wynosi 14-15 MJ/kg dla osadów przefermentowanych i 17,5 MJ/kg dla osadów przed fermentacją. Niestety wysoka ich wilgotność,...
-
An integrated framework for security protocol analysis
PublicationAssurance of security protocols needs particular attention. Flaws in a protocol can devastate security of the applications that rely on it. Analysis of the protocols is difficult and it is recommended that formal methods are employed to provide for higher levels of assurance. However, the formal methods can cover only a part of the scope of the problem. It is important that the formal models are valid representations of the protocol...