Filtry
wszystkich: 1509
wybranych: 1353
-
Katalog
- Publikacje 1353 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Wynalazki 8 wyników po odfiltrowaniu
- Laboratoria 2 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Kursy Online 64 wyników po odfiltrowaniu
- Wydarzenia 22 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 39 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: SPECYFIKOWANIE WYMAGAŃ
-
Śródlądowe budowle wodne -aspekty geotechniczne
PublikacjaW niniejszej pracy przedstawiono ogólne zasady programowanie badań geotechnicznych przyjęcia parametrów obliczeniowych, wymagań odnośnie mozliwych stanów granicznych oraz obciążenia działające na budowlę wodną wraz z analizą współczynników bezpieczeństwa stosowanych w budownictwie wodnym. W kolejnych rozdziałach omówiono metody badania bezpieczeństwa oraz weryfikacji stateczności ziemnych budowli wodnych, w tym stany graniczne...
-
Przeglad metod skanowania w bezprzewodowych sieciach likalnych standardu IEEE 802.11
PublikacjaProcedura skanowania dostępnych sieci bezprzewodowych odgrywa istotną role w trakcie podłączania stacji roboczej do punktu dostępowego sieci IEEE 802.11. Ma ona także istotny wpływ na efektywność przełączania w przypadku zmiany punktu podłączenia do sieci WIFI dla węzłów mobilnych. Prace badawcze wskazują, że procedura ta, realizowana zgodnie ze standardowymi mechanizmami, może być krytycznym czynnikiem uniemożliwiającym spełnienie...
-
Dobór rodzaju funkcjonalnego PG asfaltów według metody Superpave w zależności od stref klimatycznych w Polsce.
PublikacjaObecnie w Polsce, podobnie jak i w pozostałych krajach Unii Europejskiej, asfalty drogowe są badane i klasyfikowane głównie w oparciu o wynik oznaczenia penetracji w temperaturze 25ºC niezależnie od warunków klimatycznych, w jakich potem mają one pracować w nawierzchni drogowej. Pod koniec ubiegłego wieku w ramach amerykańskiego programu SHRP opracowano i wdrożono nowy system klasyfikacji asfaltów. Ideą wprowadzenia nowego systemu...
-
Oddziaływanie przekształtników energoelektronicznych dużej mocy na jakość energii elektrycznej
PublikacjaW referacie przedstawiono zagadnienia związane z oddziaływaniem układów przekształtnikowych AC/DC na sieć zasilającą poprzez generowanie prądów odkształconych. Przedstawione wyniki badań porównawczych emisji zaburzeń przewodzonych układów prostownikowych klasycznych (diodowych) oraz nowoczesnych (tranzystorowych) wykazują znaczne zwiększenie emisji w zakresie stosowanych częstotliwości modulacji w typowych aplikacjach przemysłowych....
-
Zastosowanie barier geosyntetycznych w budownictwie wodnym
PublikacjaW artykule opisano właściwości wymagane w odniesieniu barier geosyntetycznych (polimerowych, bitumicznych i iłowych) stosowanych do budowy zbiorników wodnych, zapór i kanałów.
-
Śródmieście Gdyni jako Pomnik Historii
PublikacjaZespół Śródmieścia Gdyni jest zespołem o wysokich walorach historycznych i artystycznych. Stanowi wyrazisty symbol polskich dokonań architektonicznych i inżynierskich dwudziestolecia międzywojennego i symbol morskiej stolicy II Rzeczypospolitej. Zespół ten wymaga dziś przemyślanego i całościowego programi ochrony, a jego ranga i unikatowość dziejowa predystynuje go do miana Pomnika Historii.
-
Zastosowanie danych syntetycznych do testowania algorytmów detekcji potencjałów wzrokowych.
PublikacjaDetekcja wywołanych potencjałów wzrokowych w perymetrii wymaga opracowania i zaaplikowania efektywnych algorytmów analizy EEG. Krokiem pośrednim, umożliwiającym ocenę przydatności nowego algorytmu może być modelowa symulacja sygnałów. Przedstawiona praca dotyczy badań modelowych będących krokiem pośrednim we wdrażaniu nowego algorytmu detekcji potencjałów wzrokowych w celu doskonalenia techniki badania perymetrycznego.
-
Wytyczne akustyczne do projektu wnętrza sali koncertowej Akademii Muzycznej w Gdańsku = Acoustical recommendations to interior design of the concert hall at the Academy of Music in Gdańsk
PublikacjaProjektowana sala jest przeznaczona do wykonywania muzyki symfonicznej oraz dzieł oratoryjnych (orkiestra symf. + chór + soliści) oraz inscenizacji operowych w zredukowanych dekoracjach. Funkcją drugoplanową jest wykorzystanie sali do celów konferencyjnych. Taki zestaw funkcji wymaga odmiennych warunków akustycznych. Praca przedstawia zalecenia akustyczne do projektu wnętrza, spełniajace te oczekiwania.
-
Jak badać i oceniać efekty współoddziaływania substancji na organizmy żywe?
PublikacjaOcena ryzyka i/lub zdrowotnego wymaga uwzględnienia wzajemnych współoddziaływań występujących pomiędzy związkami zanieczyszczającymi środowisko. Obiecującym narzędziem wspomagającym ten cel są biotesty. Przeprowadzone studium literaturowe wskazuje na przydatność testu Microtox z użyciem bakterii Vibrio fischeri w badaniach zjawiska współoddziaływania substancji zarówno w warunkach modelowych jak i rzeczywistych.
-
Przedsiębiorczość społeczna przestrzeń rozwiązywania problemów społecznych i realizacja szans przedsiębiorczych - analiza zjawiska
PublikacjaZjawisko przedsiębiorczości społecznej wymaga wielowymiarowej analizy a analiza dorobku w ty zakresie, wskazuje, że jest ono zbadane jeszcze w niewystarczającym zakresie. W dyskursie publicznym, naukowym na gruncie polskim rzadko kiedy porusza się problemy związane z innowacyjnością, poszukiwaniem nisz rynkowych tj. społecznych. W artykule dokonano identyfikacji tego obszaru.
-
Zapotrzebowanie społeczności regionalnej na podnoszenie kompetencji informatycznych
PublikacjaKreowanie regionalnego społeczeństwa informacyjnego, w którym informacja jest intensywnie wykorzystywana w życiu ekonomicznym, społecznym, kulturalnym i politycznym, wymaga nie tylko rozwoju informatycznej infrastruktury technicznej, ale przede wszystkim stałego podnoszenia poziomu kompetencji IT mieszkańców regionu. W pracy przedstawiono analizę zapotrzebowania na regionalną działalność edukacyjną w zakresie technologii informatycznych.
-
ZAGADNIENIE OPTYMALIZACJI KSZTAŁTOWNIKA STALOWEGO Z PUNKTU WIDZENIA KOSZTÓW PRODUKCJI
PublikacjaOptymalizacja procesu produkcji systemu budowlanego z kształtowników stalowych wymaga określenia kryteriów optymalizacji oraz ograniczeń wynikających z założeń projektowych narzuconych przez projektanta i architekta, warunków nośności, stateczności i użytkowalności oraz technologii produkcji. W pracy szczegółowo przedstawiono sposób określania funkcji celu oraz wpływ ograniczeń technologicznych na koszty produkcji.
-
Konstrukcja układu obciążenia węzła badawczego w głowicy SOOG.
PublikacjaW referacie przedstawiono wybrane problemy projektowe i konstrukcyjne układu obciążającego próbek do badań tribologicznych w warunkach mikrooscylacji. Specyficzny układ próbek i przeciwpróbki w węźle badawczym głowicy SOOG wymagał zastosowania oryginalnej postaci konstrukcyjnej ramki. Uzyskanie wymaganego kształtu elementu, było możliwe dzięki przeprowadzeniu szeregu symulacji numerycznych stanu odkształceń i naprężeń wykonanych...
-
Sterowanie predykcyjne hydrauliką i jakością wody w SW
PublikacjaEfektywne sterowanie hydrauliką i jakością systemu wodociągowego (SW) wymaga zintegrowanej wiedzy o nim oraz zaawansowanych algorytmów sterowania. Ponieważ związek między hydrauliką a jakością wody jest jednostronny (hydraulika, poprzez rozpływ wody w sieci ma wpływ na jej jakość), to problem sterowania systemem wodociągowym należy rozpatrywać w odniesieniu do tych dwóch aspektów.
-
The influence of selected parameters of idd on vibrations of contact in ac hybrid breaker
PublikacjaWzrost mocy systemów zasilania na statkach wymaga poszukiwania nowych rozwiązań wyłączników dc oraz ac. Od kilku lat trwają prace nad modelowaniem ultra szybkiego hybrydowego wyłącznika prądu. Czas wyłączenia prądu wyłącznika zależy od wielu parametrów. W pracy przedstawiono wyniki badań eksperymentalnych i symulacyjnych wyłącznika ze szczególnym uwzględnieniem rezystancji zestyku.
-
Tutoring - dlaczego edukacja spersonalizowana ma sens
PublikacjaW artykule autorki przedstawiają koncepcję tutoringu akademickiego. Ostatnie lata przyniosły wzmożone zainteresowanie nowymi formami pracy z uczniem. Wielu specjalistów z zakresu edukacji twierdzi, że osiąganie wysokich rezultatów jest możliwe, ale wymaga zindywidualizowanej pracy z drugą osobą. Tutoring wpisuje się właśnie w ten nurt zindywidualizowanej pracy i relacji mistrz - student.
-
POMIARY SATELITARNE TORÓW TRAMWAJOWYCH. - cz. II
PublikacjaStosowanie geodezji tradycyjnej do określania przebiegu trasy kolejowej lub tramwajowej wymaga jej podziału na mniejsze części, które są rozpatrywane oddzielnie. Staje się to źródłem dodatkowych błędów, a całościowa ocena danego układu jest bardzo utrudniona. Alternatywą dla tego rozwiązania może być wykorzystanie precyzyjnych pomiarów satelitarnych opartych o systemy GPS i Glonass.
-
PROPERTIES OF PARAMETRIC ALGORITHMIC DESIGN OF RESIDENTIAL HOUSES IN URBAN CONTEXT
PublikacjaDesign explorations of architectural avant-garde resulted in the development of digital techniques that allow solving very complex and demanding contemporary design challenges. In the architectural discourse the new design workshop seems to be symbolized mainly by the projects of sports facilities, cultural, administrative or multifunctional high-rise buildings. However for the quality of society life is more important to exploit...
-
Algorytmy genetyczne w wielokryterialnej optymalizacji obserwatorów detekcyjnych.
PublikacjaW rozdziale przedstawia się możliwości zastosowania podejścia genetycznego do zagadnień wielokryterialnej optymalizacji w przestrzeniach wielowymiarowych z wykorzystaniem koncepcji optymalności w sensie Pareto. Jako przykład ilustrujący rozważane podejście daje się zadanie syntezy obserwatorów stanu służących wykrywaniu błędów występujących w układzie sterowania bezzałogowego statku latającego oraz w układzie napędowym jednostki...
-
Hazard prevention by forced time constraints
PublikacjaMinimalne Zbiory Przyczyn powstałe podczas analizy Drzew Błędów wskazują zdarzenia, które jeśli nastąpią razem, mogą doprowadzić do Hazardu. W niektórych zastosowaniach opis zdarzeń może zostać poszerzony o informację czasową, wtedy zdarzenia z MZP mogą doprowadzić do Hazardu tylko jeśli wystąpi pomiędzy nimi określona zależność czasowa. W tym artykule przedstawione zostało jak informacja czasowa może zostać wprowadzona do Drzew...
-
Ultradźwiękowy moduł antymaskingu dla czujek ruchu PIR
PublikacjaPrzedstawiono podstawowe założenia, jakie powinien spełniać moduł funkcji antymaskingu, stosowany wraz z czujnikami ruchu opartymi o technologię PIR, umożliwiający spełnienie podstawowych wymagań zawartych w normach serii EN50131. W oparciu o wymagania, stworzono układ spełniający wszystkie wymagania zawarte w normach i dostosowano go do zainstalowania w istniejących obudowach czujek. W pracy przybliżone zostaną podstawy teoretyczne...
-
Ekranowanie i zabezpieczanie urządzeń oraz systemów - wymagania i badania
PublikacjaOmówiono zagadnienie badania skuteczności ekranowania urządzeń. Dokonano przeglądu norm i dokumentów normatywnych, dotyczących dopuszczalnych poziomów emisji zaburzeń elektromagnetycznych promieniowanych oraz metodykę ich pomiaru. Opisano wymagania na tłumienność struktur ekranujących (NO-06-A501, NO-06-A201, IEEE 299) w kontekście ograniczania emisji zaburzeń elektromagnetycznych promieniowanych, a także ochrony przed dostępem...
-
A new approach to provide the differentiated levels of network survivability under a double node failure
PublikacjaW artykule zaproponowano klasową metodę ochrony strumieni ruchu w sieciach WDM zapewniającą szybkie odtwarzanie połączeń w sytuacji jednoczesnej awarii jej dwóch elementów. Szczególny nacisk położono na zagadnienie zapewnienia zróżnicowanych poziomów przeżywalności w celu ich lepszego dopasowania do zróżnicowanych wymagań użytkowników. Pokazano, że w celu zapenienia ochrony przed awarią dwóch elementów, wymagania dotyczące przepustowości...
-
Przebudowa mostu kolejowego przez rzekę Pilicę z przystosowaniem do dużych prędkości
PublikacjaJednym z podstawowych założeń modernizacji polskich linii kolejowych jest przystosowanie ich do dużych prędkości ruchu (300 - 350 km/h). Wzrost prędkości ruchu powoduje zwiększenie efektów dynamicznych oddziaływania taboru na konstrukcję. Fakt ten niesie za sobą szereg dodatkowych wymagań stawianych nowym lub modernizowanym obiektom inżynierskim. W referacie przedstawiono proces projektowania i przebudowy mostu nad rzeką Pilicą,...
-
Grid Implementation of a Parallel Multiobjective Genetic Algorithm for Optimized Allocation of Chlorination Stations in Drinking Water Distribution Systems: Chojnice Case Study
PublikacjaSolving multiobjective optimization problems requires suitable algorithms to find a satisfactory approximation of a globally optimal Pareto front. Furthermore, it is a computationally demanding task. In this paper, the grid implementation of a distributed multiobjective genetic algorithm is presented. The distributed version of the algorithm is based on the island algorithm with forgetting island elitism used instead of a genetic...
-
Metodyczne aspekty projektowania systemów zarządzania zmianą. Procesy planistyczno-sterujące produkcją w zarządzaniu operacyjnym
PublikacjaNiniejsza monografia dotyczy problematyki zaawansowanych systemów produkcyjnych, a w szczególności zagadnień zarządzania zmianą w obszarze procesów planistyczno-sterujących. Przez zaawansowane systemy produkcyjne w niniejszej monografii rozumiane są elastyczne systemy produkcyjne FMS (Flexible Manufacturing System) oraz dalsze systemy wynikające z ich doskonalenia i rozwoju (warunkowanego przede wszysztkim technologiami informacyjnymi...
-
Edukacja jako niezbędny element w budowaniu przewagi konkurencyjnej przedsiębiorstw
PublikacjaWysoko wykwalifikowana kadra oraz nieustanne podnoszenie kwalifikacji pracowników staje się najistotniejszym elementem budowania przewagi konkurencyjnej na rynku. W artykule pokazano, jak kształtuje się zjawisko kształcenia personelu w Polsce na tle krajów Unii Europejskiej. Z przedstawionej analizy wynika, że budowanie Europejskiego Społeczeństwa Wiedzy w Polsce wymaga jeszcze wielu nakładów i zmian.
-
Plaża i park w nadmorskim kurorcie-przestrzeń zdrowa czy przestrzeń czekająca na uzdrowienie?
Publikacjaprzestrzeń publiczna miasta namorskiego wymaga szczegolnej uwagi i dbałosci w zagospodarowaniu terenu i realizacji kubatur na styku plazy i terenu miasta, w tym przypadku miasta kurortu.Nagromadzenie kubatury usługowych budynków w Parku Nadmorskim odgradza miasto od morza, a tym samym niszczy niepowtarzalnosc przestrzeni nadmorskiej, która jest dobrem wspólnym mieszkańców i przyjezdnych gości.
-
Bezczujnikowy napęd trakcyjny z silnikiem IPMSM.
PublikacjaW artykule przedstawiono metodę estymacji położenia kątowego wirnika silnika synchronicznego z magnesami trwałymi zagłębionymi w wirniku. Metoda wymaga wielokrotnego pomiaru wartości prądów fazowych silnika w okresie modulacji. Do obliczeń wykorzystywane są szybkości zmian prądów związane z modulacją napięcia za pomocą falownika tranzystorowego. Przedstawiono algorytm matematyczny metody oraz jego symulacyjną weryfikację.
-
Konstrukcja struktury modelu regionalnego systemu podnoszenia kompetencji IT
PublikacjaDynamiczny rozwój technologii informacyjnych i komunikacyjnych wymaga ustawicznego podnoszenia kompetencji IT, tzn. zarówno wiedzy i umiejętności, jak również odpowiednich postaw w zakresie powszechnego posługiwania się informacją. Kształcenie społeczeństwa w zakresie IT jest jednym z istotnych warunków rozwoju społeczeństwa informacyjnego. W pracy przedstawiono założenia do konstrukcji modelu rozwoju kompetencji informatycznych...
-
Ochrona przeciwporażeniowa w sieciach i instalacjach niskiego napięcia
PublikacjaUżytkowanie sieci i instalacji elektroenergetycznych jest związane z wieloma zagrożeniami, a jednym z nich jest zagrożenie porażeniem prądem elektrycznym. Obowiązkiem osób projektujących te sieci i instalacje, a także osób odpowiedzialnych za ich eksploatację jest zastosowanie środków zapewniających skuteczną ochronę przeciwporażeniową. Wymagania ochrony przeciwporażeniowej są nadrzędne w stosunku do innych wymagań technicznych,...
-
Europejskie nowe i globalne podejście. Nowe i globalne zasady logistyki HL w zakresie maszyn
PublikacjaPrzedstawiono zasady postępowania przy wytwarzaniu maszym, wymagane przez postanowienia określone przepisami Nowego Podejścia oraz Globalnego podejścia. Omówiono procedury oceny zgodności z dyrektywami i wystawienia deklaracji CE.
-
Semantic memory architecture for knowledge acquisition and management
PublikacjaRozumienie informacji zawartej w tekście przez komputer wymaga wiedzy stojacej za systemem informatycznym. Wiedza ta nie jest implicite zapisanej w analizowanym tekscie. Zapisana może być ona w postaci ontologii badanej dziedziny. Zasadniczym zagadnieniem jest konstrukcja takiej ontologii. Artykuł przedstawia podeście oparte na grze 20 pytań do budowy przestrzeni semantycznej dla wybranej dziedziny.
-
Automatyzacja sprawdzania dokładności elementów układu do pomiaru prądu. Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaDla diagnostyki silnika indukcyjnego przy wykorzystaniu pomiarów prądu został stworzony układ pomiarowy, składający się z przetworników pomiarowych, filtrów, komputera z kartą aktywizacji danych. Ocena jakości uzyskiwanych informacji diagnostycznych wymaga m.in. wiedzy o dokładności użytego sprzętu. Dla oceny dokładności zastosowanych elementów zbudowano skomputeryzowany system pomiarowy. Przedstawiono strukturę systemu jak...
-
Wyższa uczelnia jako fraktalna organizacja wiedzy
PublikacjaAutorzy wychodzą z założenia, że uczelnia w warunkach konkurencyjności powinna poszukiwać nowych, niekonwencjonalnych rozwiązań organizacyjnych. W opracowaniu autorzy szkicują koncepcję uczelni jako organizacji opartej na wiedzy oraz analizują możliwości implementacji w uczelni elementów charakterystycznych dla organizacji fraktalnej. Intencją autorów jest poszukiwanie nowych rozwiązań organizacyjnych, jednak podkreślają, że w...
-
Hybrid Monte-Carlo simulations of fluorescence anisotropy decayin three-component donor-mediator-acceptor systems in the presenceof energy transfer
PublikacjaW pracy przedstawiono nowy hybrydowy algorytm symulacji Monte-Carlo układu trójskładnikowego donor-mediator-akceptor. Działanie algorytmu zilustrowano na przykładzie zaników anizotropii emisji fluorescencji powyższego układu. Porównano wyniki hybrydowej symulacji Monte-Carlo z wynikami klasycznej metody ''step by step''. Stwierdzono bardzo dobrą zgodność wyników obu symulacji, przy czym algorytm hybrydowy wymaga znacznie krótszego...
-
Klastry i inicjatywy klastrowe w gospodarce
PublikacjaNiniejszy artykuł stanowi naukową refleksję nad doprecyzowaniem podstawowych pojęć z problematyki klasteringu. Autorzy dokonują prze-glądu i próby strukturyzacji najważniejszych podejść teoretycznych doty-czących gron oraz proponują ustalenie granic i warunków poprawnej używalności pojęć "klaster" i "inicjatywa klastrowa". Zdaniem autorów koncepcja klastra wymaga dopracowania teoretycznego, a przede wszyst-kim jednoznacznego określenia...
-
Metody ekstrakcji ustrukturalizowanej treści z Wikipedii
PublikacjaWikipedia jest od dawna przedmiotem zainteresowania badaczy. Jednym z obszarów zainteresowania jest pozyskiwanie wiedzy z treści Wikipedii a to wymaga parsowania tekstu artykułów. W tym rozdziale przedstawiono analizę porównawczą różnych możliwości parsowania treści Wikipedii, wskazując problemy, z jakimi muszą się mierzyć autorzy parserów. Dzięki temu można zrozumieć, dlaczego proces wydobywania wiedzy z Wikipedii jest trudny
-
Entropia w algorytmach opartych na ewolucji populacji
PublikacjaZastosowanie entropii w analizie zachowania się różnorodnych systemów daje podstawy do podjęcia próby wykorzystania entropii w algorytmach opartych na ewolucji populacji. Koncepcja badania proponowana przez autorów oparta jest na pewnej propozycji intelektualnej i wymaga zdefiniowania niezbędnych pojęć teoretycznych. Dlatego też celem rozdziału jest zdefiniowanie pojęć: entropii a priori potencjalnego rozwiązania oraz średniej...
-
Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności
PublikacjaW rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....
-
Continuous-time active-RC filters: general model and its applications.
PublikacjaW pracy przedstawiono ogólny model filtru aktywnego RC opartego na wzmacniaczach odwracających fazę. Model analizowany jest przy użyciu równań macierzowych. Podano jawną formułę określającą funkcję przenoszenia filtru w ogólnym przypadku. Przedstawiono rozszerzenia modelu pozwalające uwzględniać nieidealności wzmacniaczy operacyjnych, w tym skończone wzmocnienie i pasmo przenoszenia oraz niezerową rezystancję wyjściową. Zastosowanie...
-
Realizacja stanowiska badawczego synchronizacji obiektów elektroenergetycznych = The realization of the reserch station of synchronazing power generators
PublikacjaW artykule opisano sposób realizacji układu automatycznej synchronizacji obiektów elektroenergetycznych pracującego według opracowanej metody. Skupiono się na opisie sposobu praktycznej realizacji układu, nie zaś na opisie samej metody synchronizacji, której opis można znaleźć w podanych w przypisach pozycjach literaturowych. Dokonano charakterystyki stanowiska badawczego z podaniem wymagań oraz wyróżnieniem poszczególnych składowych...
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł 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...
-
Genetics algorithms in multi-objective optimization of detection observer
PublikacjaW rozdziale przedstawia się możliwości zastosowania podejścia genetycznegodo zagadnień wielokryterialnej optymalizacji w przestrzeniach wielowymiaro-wych z wykorzystaniem koncepcji optymalności w sensie Pareto. Jako przykładilustrujący rozważane podejście daje się zadanie syntezy obserwatorów stanusłużących wykrywaniu błądów występujących w układzie sterowania bezzałogowe-go statku latającego oraz w układzie napędowym jednostki...
-
Bezpieczeństwo sieci wodociągowych oraz kanalizacyjnych.
PublikacjaPrzedstawiono problemy charakterystyczne dla aktualnych warunków funkcjonowania wodociągów i kanalizacji. Zwrócono uwagę na zagrożenia wynikające ze zmian systemowych po 1990 roku oraz z bardzo szybko zmieniającej się oferty materiałowej. W szczególności konieczne jestuwzględnianie wymagań charakterystycznych dla konkretnej grupy wyrobów, w tym wręcz odnoszących się do oferty poszczególnych producentów. Zwrócono uwagę na konieczność...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Analiza społeczno-ekonomiczna produkcji biogazu z odpadów organicznych
PublikacjaW odniesieniu do obaw społecznych dotyczących systemu zarządzania odpadami można wyróżnić główne kategorie wpływu: życie i zdrowie ludzkie, środowisko oraz zasoby naturalne. Zaostrzenie wymagań prawnych w zakresie ochrony środowiska i wykorzystania odnawialnych źródeł energii wymuszają poszukiwania nowych i rozwoju istniejących już metod zagospodarowania odpadów w sposób pozwalający na zmniejszenie ich niekorzystnego oddziaływania....
-
Wpływ prawa na systemy informatyczne - studia przypadków
PublikacjaZgodność systemów informatycznych z prawem jest jednym z podstawowych wymagań względem systemów. Jednak transformacja przepisów prawa na wymagania względem oprogramowania nie jest łatwym zadaniem. W referacie zaprezentowano trzy różne rodzaje wpływu prawa na systemy informatyczne. W przypadku pierwszym, prawo reguluje określoną dziedzinę pozostawiając dowolność wyboru sposobu realizacji przepisów. W drugim przypadku, przepisy...
-
Czy należy bać się E?
PublikacjaW ciągu ostatnich lat nastąpił gwałtowny rozwój rynku żywnościowego. Producenci chcąc utrzymać się na rynku dopasowują się do nowych wymagań i rosnących potrzeb konsumenta. Duża konkurencja w branży żywnościowej zmusza wytwórców do ciągłego obniżania kosztów produkcji przy jednoczesnym zachowaniu atrakcyjności wyrobu. Obecnie można kupić niemal wszystko: kilka rodzajów chleba, masła, serów, wędlin i... czego tylko dusza zapragnie....
-
Zasady ochrony przeciwporażeniowej w liniach elektroenergetycznych wysokiego napięcia
PublikacjaPrzedstawiono zasady ochrony przeciwporażeniowej w liniach napowietrznych wysokiego napięcia, zawarte w szczególności w aktualnej normie PN-EN 50341-1:2013-03E. Podobnie jak poprzednio, nie określa ona wymagań odnośnie do ochrony podstawowej (ochrony przed dotykiem bezpośrednim). Formułuje natomiast wymagania w zakresie ochrony przy uszkodzeniu (ochrony przy dotyku pośrednim), które w dużym stopniu zależą od miejsca posadowienia...