Search
Filters
total: 1817
filtered: 1397
-
Catalog
- Publications 1397 available results
- People 79 available results
- Inventions 8 available results
- Projects 32 available results
- Laboratories 2 available results
- Research Teams 5 available results
- e-Learning Courses 195 available results
- Events 64 available results
- Open Research Data 35 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: obieg narzedzi
-
Godna praca – koncepcja, pomiar i praktyka w wymiarze rynkowym i organizacyjnym
PublicationW opracowaniu przedstawiono koncepcję „godnej pracy”, podejmując próbę analizy definicyjnej tego złożonego pojęcia. Dokonano analizy istniejących podejść, wychodząc od prac Międzynarodowej Organizacji Pracy służących wzmacnianiu godnej pracy w wymiarze globalnym, a także działań podejmowanych na rzecz rozwoju koncepcji „jakości pracy” w wymiarze europejskim. Dokonano przeglądu metod pomiaru godnej pracy oraz pracy wysokiej jakości,...
-
Od zajęć wspomaganych narzędziami internetowymi do kursów online – Efektywność nowych środowisk uczenia się w opiniach stu-dentów
PublicationRóżne czynniki wpływają na efektywność procesu edukacyjnego przebiegającego w nowych środowiskach uczenia się i nauczania. Zarówno multimedialne zasoby, jak i interaktywne aktywności, przyczyniają się do zwiększenia efektywności pracy na kursach e-learningowych, blended learningowych i na zajęciach wspomaganych modułami edukacyjnymi zbudowanymi przy pomocy narzędzi internetowych. Nowoczesne metody prowadzenia zajęć są często w...
-
Uzupełnianie brakujących danych w macierzach porównań parami.
PublicationMetoda porównywania parami jest jednym z popularnych narzędzi stosowanych w wieloatrybutowych zagadnieniach podejmowania decyzji. W metodzie tej otrzymuje się macierze ocen jako rezultat porównywania parami skończonej, zazwyczaj niewielkiej liczby wariantów. Czasami jednak zdarza się, że ekspert nie jest w stanie wyrazić swojej opinii dotyczącej pewnej pary wariantów. W takiej sytuacji macierze ocen są niekompletne i pojawia...
-
Multihomed Wireless Terminals: MAC Configuration and Network Selection Games
PublicationW artykule rozpatruje się rozdział pasma pomiędzy zbiór racjonalnych terminali bezprzewodowych dołączonych do wielu sieci lokalnych. Przy pomocy narzędzi analitycznych teorii gier pokazuje się, w jaki sposób można zniechęcać terminale do agresywnej konfiguracji protokołu MAC. Analizowana jest ilościowo rola prędkości generacji informacji zwrotnej z sieci w stosunku do częstości generacji żądań dostępu terminala do sieci. Wykazano,...
-
Vibration surveillance in modern milling machines by the spindle speed control.
PublicationPraca poświęcona jest nadzorowaniu drgań wirujących narzędzi w nowo-czesnych frezarkach. Polega ono na zastosowaniu sterowania programo-wego w układach niestacjonarnych. Dotyczy to zamkniętych układów obra-biarek, kiedy to istotną rolę odgrywają drgania samowzbudne typu chat-ter. Sygnałem sterującym jest chwilowa zmiana prędkości obrotowej. Rozważano frezowanie czołowe smukłym frezem trzpieniowym na pionowym centrum frezarskim....
-
Quality inspection system in flexible manufacturing cell.
PublicationPublikacja dotyczy struktury procesu produkcyjnego w środowisku komputerowo zintegrowanego wytwarzania (computer integrated manufacturing - CIM). Ukazuje ona aspekty kontroli jakości wykonania części na różnych etapach procesu wytwórczego, podkreślając jego istotność. W celu dokonania szczegółowej analizy problemu zebrano dane o jakości wykonania części na poszczególnych poziomach wytwarzania. Analizy dowiodły, że jakość wykonania...
-
Wirtualny analizator stanów logicznych na bazie układu typu "System on a Chip"
PublicationW dobie dominacji układów cyfrowych, jednym z ważniejszych narzędzi uruchomieniowych jest analizator stanów logicznych (ASL). Komercyjne przyrządy nie są tanie, choć ich możliwości diagnostyczne uzasadniają cenę. W artykule przedstawiono ASL w konwencji przyrządu wirtualnego połączonego z PC poprzez interfejs USB, co obniża koszt urządzenia bez znaczącego pogorszenia jego możliwości. Wykorzystano układ typu SoC "System on a Chip"...
-
Dylematy polityki wspierania małych i średnich przedsiębiorstw
PublicationAutor sformułował i opisał 7 podstawowych dylematów polityki wspierania MSP przez państwo. Pierwszą grupę stanowią dylematy wyborów pomiędzy:1. ochroną MSP a promowaniem ich rozwoju;2. protekcjonizmem wobec firm istniejących a ułatwieniami w zakładaniu firm nowych;3. wspieraniem wszystkich MSP a wspieraniem wybranych grup spośród nich.W drugiej grupie mieszczą się dylematy wyboru:4. szczebla na jakim polityka wspierania jest projektowana...
-
Procedury odwzorowania i łączenia ontologii dziedzinowych
PublicationW trakcie prac nad rozprawą opracowano oryginalną metodę integracji ontologii na podstawie analizy leksykalnej jej elementów. Zaproponowany algorytm został zaimplementowany w postaci biblioteki w języku Java oraz włączony do systemu OCS. Opracowano również procedury i narzędzia pomocnicze wspierające proces integracji wiedzy, w tym autorską bibliotekę wizualizacji ontologii SOVA.Zaprojektowano i zaimplementowano ontologię bezpieczeństwa...
-
Inżynieria ontologii dla potrzeb integracji systemów
PublicationInżynieria ontologii to gałąź inżynierii wiedzy, która zajmuje się metodami i metodologiami budowy ontologii. Zajmuje się m. in. procesem wytwarzania, cyklem życia oraz narzędziami wspomagającymi wytwarzanie ontologii. W publikacji przedstawiono różne metodologie wytwarzania ontologii oraz wspierające te metodologie narzędzia. Omówiono edytor ontologii OCS, opracowany przez Katedrę ASK Wydziału ETI PG, oraz wykorzystaną w nim,...
-
Sztuka i matematyka -algorytmiczne i parametryczne detale
PublicationOpracowanie dotyczy wykorzystania komputerowych metod obliczeniowych do projektowania dzieł architektonicznych, w których geometria formy, detal struktury i efekty materiałowe są wynikiem spójnej reguły generatywnej. Nowatorskie biura tworzą własne narzędzia na poziomie języków programowania czerpiąc idee z abstrakcyjnych koncepcji i procedur matematycznych. W konsekwencji algorytmiczne i parametryczne strategie projektowania w...
-
Relacyjne i obiektowe bazy danych w zarządzaniu przedsiębiorstwem – przegląd i analiza porównawcza
PublicationBazy danych są obecnie powszechnie wykorzystywanymi aplikacjami w życiu codziennym i zawodowym do gromadzenia, przetwarzania i zarządzania danymi. Stanowią one podstawowe narzędzie komputerowe wspomagające funkcjonowanie przedsiębiorstw bez względu na rodzaj prowadzonej działalności. Najpopularniejszymi rozwiązaniami oferowanymi przez firmy informatyczne są relacyjne i obiektowe bazy danych. W artykule dokonano przeglądu dostępnych...
-
Zastosowanie nagniatania w technologii złącz rurowych
PublicationW pracy przedstawiono wyniki badań i możliwości zastosowania nagniataków do tworzenia złączy rurowych przez nagniatanie zewnętrzne. Jako narzędzia do nagniatania zastosowano nagniatak jednokrążkowy z dociskiem sprężystym oraz wielorolkową głowicę z nastawianym wciskiem nagniatania. Obiektem badań było złącze rura-wkładka z aluminium AA6060 o różnych ukształtowaniach powierzchni wkładki (rowki i radełkowanie). Złącza uzyskane przez...
-
Analiza celowości i możliwości rewitalizacji linii kolejowych w województwie dolnośląskim
PublicationSamorządy wojewódzkie jako podmioty odpowiadające za organizację regionalnych przewozów kolejowych stają przed odpowiednim wyborem linii do rewitalizacji. Dla popularyzacji systemu wybór odpowiedniej linii ma znaczenie fundamentalne, jako tzw. dobry przykład. Hierarchizacja linii jest wynikiem zastosowania podejścia wielokryterialnego. Można tego dokonać wykorzystując informatyczne narzędzia prognostyczne i wizualizacyjne. Województwo...
-
Quadratic Cohen representations in spectral analysis of serration process in Al-Mg alloys
PublicationIstotny z mechanicznego punktu widzenia efekt Portevina Le-Chateliera charakteryzuje się skomplikowanym profilem widmowym. Jako typowy przykład procesu niestacjonarnego, wymaga specjalnego podejścia umożliwiającego analizę zmian rozkładu energii fluktuacji naprężenia w funkcji odkształcenia. Jako narzędzie umożliwiające realizację powyższego założenia autorzy proponują zastosowanie rodziny przekształceń kwadratowych znanych jako...
-
Application of the electrochemical quartz crystal microbalance in corrosionstudies
PublicationPrzegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...
-
Zastosowania elektrochemicznej mikrowagi kwarcowej w badaniach korozyjnych
PublicationPrzegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...
-
ANALIZA SKUTECZNOŚCI DETEKCJI SYGNAŁÓW GMSK W KANALE Z PROPAGACJĄ WIELODROGOWĄ PRZY UŻYCIU METOD GŁĘBOKIEGO UCZENIA
PublicationOdbiór sygnałów radiowych w środowisku wewnątrzbudynkowym jest istotnym problemem współczesnej radiokomunikacji. W celu zwiększenia skuteczności istniejących metod odbioru radiowego coraz częściej wykorzystuje się narzędzia z obszaru uczenia maszynowego. Niniejszy artykuł prezentuje analizę skuteczności głębokiej sieci neuronowej w odbiorze sygnałów GMSK w kanale z zanikami i propagacją wielodrogową. Prezentowane wyniki porównane...
-
Klasyfikator rozmyty użyteczny we wstępnym doborze profili łopatkowych turbin parowych
PublicationW artykule przedstawiona została próba stworzenia wstępnego modelu klasyfikatora rozmytego użytecnego we wstępnym doborze profili łopatkowych turbin parowych. Dobór odpowiedniego rozwiązania dokonywany jest na podstawie parametrów przepływu czynnika przez wieńce turbiny. Tego typu narzędzie decyzyjne może okazać się przydatne zarówno w przypadku modernizacji istniejących już obiektów, w których zdiagnozowane uszkodzenia wymuszają...
-
Nowe trasy drogowe a krajobraz warowny Gdańska.
PublicationArtykuł przedstawia zagrożenia krajobrazu historycznego Gdańska przy budowie nowych przedsięwzięć drogowych oraz skuteczne narządzie do jego ochrony i kształtowania, jakim jest procedura oceny oddziaływania na środowisko (OOS). Krajobraz zachowanych fortyfikacji nowożytnych Gdańska, zagrożonych planowanymi inwestycjami komunikacyjnymi - drogami i węzłami, służy jako tło do rozważań na temat możliwości wykorzystania procedury...
-
Paradygmaty kariery przedsiębiorcy
PublicationKariery przedsiębiorców charakteryzują się pewnym uniwersalizmem, ale mają też swoją odrębną specyfikę. Ramy teoretyczne, modele i narzędzia badań bariery przedsiębiorcy wytyczają: ogólna teoria kariery i motywacji, teoria przedsiębiorczości wspomagana przez socjologię, psychologię i nauki o zarządzaniu przedsiębiorstwem orientacja kariery - w sensie ogólnym - wyraża się w zakładaniu firmy, jej przedsiębiorczym prowadzeniu, poszukiwaniu...
-
Język UML 2.0 w modelowaniu systemów informatycznych
PublicationKsiążka ''Język UML 2.0 w modelowaniu systemów informatycznych'' to szczegółowy opis najnowszej specyfikacji tego języka w kontekście zastosowania go w procesie wytwarzania oprogramowania. Zawiera omówienie elementów języka UML oraz zasad projektowania obiektowego. Przedstawia zastosowanie diagramów UML 2.0 oraz różnice pomiędzy modelowaniem analitycznym i biznesowym. Ponadto wyjaśnia podstawy metodyki RUP oraz prezentuje wybrane...
-
Model organizacji ruchu na sieci kolejowej z uwzględnieniem rekuperacji energii
PublicationNa wstępie przeanalizowano aktualny stan wiedzy z zakresu metod wykorzystywania energii z rekuperacji oraz istniejących modeli optymalizujących ich efektywność. Na tej podstawie za główny cel pracy wyznaczono opracowanie metody modyfikacji kolejowego rozkładu jazdy, która doprowadzi do zwiększenia efektywności wykorzystania energii pochodzącej z rekuperacji. W związku z powyższym postawiono tezę, że możliwe jest zwiększenie efektywności...
-
Modele przetwarzania aplikacji na klastrach obliczeniowych
PublicationW dzisiejszych czasach badania prowadzone w różnych dziedzinach nauki a także różnego rodzaju aplikacje i wdrożone systemy operują na coraz większych wolumenach danych przy jednocześnie rosnących wymaganiach dotyczących czasu wykonania. Z tego powodu coraz częściej do obliczeń wykorzystuje się klastry obliczeniowe, gdzie do dyspozycji użytkowników pozostaje ogromna moc obliczeniowa (liczona w tera a nawet peta flopach), terabajty...
-
Jak wykorzystać potencjał „ustawy krajobrazowej”? : Instrumenty prawne i propozycje. Przewodnik dla samorządu gminnego
Publication11 września 2015 r. weszła w życie ustawa z dnia 24 kwietnia 2015 r. o zmianie niektórych ustaw w związku ze wzmocnieniem narzędzi ochrony krajobrazu, zwana potocznie ustawą krajobrazową. Regulacja wyczekiwana była przez samorządowców, architektów i wszystkich tych, którym wygląd naszych miast nie pozostawał obojętny. Powstała z inicjatywy Kancelarii Prezydenta RP ustawa jest odpowiedzią na bezsilność samorządów, niewyposażonych...
-
Monitoring wizyjny w systemach zabezpieczenia transportu wodnego. Koncepcja implementacyjna
PublicationW artykule autorzy przedstawiają koncepcję zastosowania własnych badań nad pomiarem prędkości przepływu cieczy do zastosowań praktycznych w pomiarach przepływu wody w kanałach otwartych i rzekach. Jako narzędzie pomiarowe wykorzystują zestaw aparatów synchronicznych, które rejestrują indykatory przepływu znajdujące się na powierzchni analizowanej cieczy. Aparat matematyczny przedstawiony w rozwiązaniu sprowadza się do stosowania...
-
Oceny środowiskowe w lokalizacji węzłów integracyjnych : przykład węzła integracyjnego "Czerwony Most" w Gdańsku
PublicationArtykuł prezentuje system ocen oddziaływania na środowisko (OOŚ) jako narzędzie przewidywania, oceny i łagodzenia skutków środowiskowych, wynikających z realizacji i funkcjonowania wielkich inwestycji infrastrukturalnych, jakimi są węzły zintegrowane oraz dworce kolejowe, zwłaszcza gdy są one lokowane na obszarach o dużych wartościach historycznych i estetycznych. Procedura OOŚ jest pokazana nie tylko jako formalny wymóg niezbędny...
-
Ekologiczna sanitacja. Część II – rozdział i zagospodarowanie ścieków żółtych
PublicationW ostatnich latach zaobserwować można coraz większe zainteresowanie sanitacją ekologiczną. Dzięki ekologicznej sanitacji odpady bytowe są usuwane i ponownie poddane zagospodarowaniu, przy całkowitym zapewnieniu odpowiednich warunków higienicznych oraz odzysku substancji odżywczych. Ten niedrogi i łatwy w użytkowaniu sposób stanowi alternatywę tradycyjnej kanalizacji „end-of-pipe”. Jednym z rozwiązań sanitacji ekologicznej jest...
-
Scattering of electrons from 1-butene, H2C=CHCH2CH3, and 2-methylpropene,H2C=C(CH3)2, molecules
PublicationZmierzono, wykorzystując liniową technikę transmisyjną, całkowite absolutne przekroje czynne (TCS) na rozpraszanie elektronów na cząsteczce 1-butenu (H2C=CHCH2CH3) oraz 2-metylpropene (H2C=C(CH3)2) w zakresie energii padających elektronów, od 1 do 400 eV oraz od 1 do 350 eV. Kształt przekroju czynnego dla obu badanych izomerów butenu jest podobny. Dwie struktury w uzyskanych krzywych TCS, są wyraźnie widoczne: mały pik w okolicy...
-
Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
PublicationRozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...
-
Zrobotyzowany system docierania powierzchni płaskich z zastosowaniem plików CL Data
PublicationObecnie wymagania stawiane częściom maszyn są coraz większe. Jedną z najczęściej stosowanych obróbek precyzyjnych jest docieranie. Docieranie powierzchni płaskich odbywa się na docierarkach z układem pierścieniowym. Symulacje komputerowe wykazały, że zmiana kinematyki docierania ma istotny wpływ na zużycie narzędzia. Opracowano koncepcję zestawienia robota i docierarki jednotarczowej, która umożliwia wprowadzenie dodatkowego ruchu...
-
Wybrane aspekty projakościowej orientacji w zarządzaniu polskimi uczelniami
PublicationW pierwszej czêoeci artyku³u omówiono rolê wiedzy w integracji projakooe- ciowego podejoecia do zarz¹dzania w oerodowisku akademickim, odnosz¹c siê do oryginalnego modelu rozwojowego proponowanego przez autora. W drugiej czêoeci opracowania przedstawiono ocenê, w jaki sposób systemy zarz¹dzania ja- kooeci¹ mog¹ przyczyniæ siê do poprawy zarz¹dzania uczelni¹. Ostatnia czêoeæ przedstawia modele doskona³ooeci jako najbardziej zaawansowane...
-
TWORZENIE MAP SIECI KOMPUTEROWYCH Z WYKORZYSTANIEM PROTOKOŁÓW TYPU LLDP
PublicationDla administratorów systemów sieciowych niezwykle istot-nym jest posiadanie narzędzia tworzącego dynamicznie mapę sieci do celów zarządzania, diagnostyki, zapobiegania awariom i włamaniom. Artykuł prezentuje protokoły wspierające tworzenie map sieci a także własne badania nad usprawnieniem istniejących algorytmów. Proponowane rozwiązania to: budowa map z użyciem protokołu LLDP i SNMP, odkrywanie wąskich gardeł w sieciach dzięki...
-
Uczenie na błędach w nauczaniu programowania w systemie e-learningu
PublicationJedną z kluczowych umiejętności, które muszą posiąść adepci programowania, stanowi umiejętność poprawiania kodu programu zawierającego błędy. Jest to działanie bardzo złożone, wymagające znajomości składni języka, rozumienia semantyki kodu, znajomości zasad testowania oraz rozumienia działania algorytmu. W artykule autor proponuje własną metodę kształtowania umiejętności poprawiania kodu programu wykorzystującą narzędzia do nauczania...
-
Podstawowe mechanizmy systemu Linux w przetwarzaniu rozproszonym
PublicationLinux to otwarty, ciągle rozwijany system operacyjny. Dostępność kodu źródłowego oraz pełnej dokumentacji zaowocowała rozwojem wielumechanizmów wspierających przetwarzanie rozproszone. W systemie Linuxzaimplementowane zostały proste mechanizmy typu gniazda czy potoki jak i bardziej zaawansowane typu współdzielenie systemu plików czy możliwość tworzenia klastrów opartych o migracji procesów czy przekazywanie komunikatów. Narzędzia...
-
Możliwości wdrożenia koncepcji zarządzanie wiedzą w uczelni
PublicationWyższe uczelnie wydają się z natury rzeczy organizacjami, w których problemy z zarządzaniem wiedzą nie powinny występować. Rola uczelni wyższych w procesie tworzenia wiedzy jest niezaprzeczalna. Czy jednak same uczelnie potrafią zarządzać wiedzą, która tworzą? Czy istnieją mechanizmy i narzędzia wspomagające procesy związane z zarządzaniem wiedzą? Czy tak jest w istocie? Niniejsze opracowanie jest raczej próbą nakreślenia pewnych...
-
Bezpieczeństwo handlu elektronicznego
PublicationRozpatrzono i scharakteryzowano wielowarstwowe architektury systemów informatycznych wspomagających handel elektroniczny. Zasygnalizowano niezbędne różnego typu mechanizmy zabezpieczeń dla podstawowych usług i określonych klas zagrożeń. Główną uwagę zwrócono na podpisy cyfrowe. Na tej podstawie wprowadzono model zaufania oraz zdefiniowano metryki pozwalające na oszacowanie ryzyka przeprowadzanych transakcji. Zaprezentowano również...
-
Wyznaczanie odległości pomiędzy przedmiotem obrabianym i czynną powierzchnią docieraka tarczowego
PublicationRzeczywista wielkość szczeliny pomiędzy przedmiotem obrabianych i docierakiem zależy od wielkości ziaren ściernych, zastosowanego nacisku jednostkowego jak również od twardości przedmiotu i docieraka. Możliwe jest również wyznaczenie ilości ziaren ściernych biorących udział w procesie mikroskrawania. W referacie przedstawiono jeden ze sposobów wyznaczenia odległości przedmiotu od narzędzia i metodę obliczenia ziaren biorących udział...
-
Parametryzacja głosów śpiewaczych.
PublicationReferat przedstawia podział parametrów głosu śpiewaczego z punktu widzenia metod praktycznego ich wyznaczenia. W oparciu o zaprezentowany model narządu śpiewu omówione są zarówno parametry statyczne jak i dynamiczne ze szczególnym uwzględnieniem metod parametryzacji formantów, tonu krtaniowego i efektu wibrato. W referacie przedstawiono zaimplementowane w środowisku MATLAB narzędzia do analizy śpiewu umożliwiające wyznaczenie jego...
-
Zintegrowany regionalny system gromadzenia i analizy danych energetyczno-środowiskowych
PublicationPrzedstawiono strukturę serwisu internetowego ewidencji opłat za użytkowanie środowiska systemu. Częścią systemu jest baza danych wykorzystywana jako narzędzie ewidencji zużycia energii i emisji zanieczyszczeń w podziale na powiaty, sektory gospodarki i paliwa. Dane zbierane w systemie mogą być wykorzystane do obliczeń depozycji zanieczyszczeń i oceny zagrożenia ekosystemów za pomocą polskiej wersji modelu RAINS. Model ten na drodze...
-
Reduction of vibration level by the spindle speed optimisation during ball end milling of flexible details
PublicationPraca dotyczy nadzorowania drgań podczas skrawania przedmiotów podatnych frezem kulistym. Przedsatwiono wspomaganą komputerowo procedurę nadzorowania z optymalizacją prędkości obrotowej narzędzia. Przy modelowaniu wykorzystano niestacjonarny model obliczeniowy. Rezultatem modelowania jest układ hybrydowy, w którym oddzielono podukłady: modalny, łączący i strukturalny. Metoda wymaga identyfikacji częstości własnych co może być wykonane...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Wpływ składu chemicznego ścieków i odcieków na specjację, konwersje i usuwanie azotu w oczyszczalniach hydrofitowych
PublicationW niniejszej pracy przedstawiono wyniki badań konwersji i usuwania związków azotu w złożach trzcinowych pracujących w wielostopniowych systemach hydrofitowych (WSH). Badania były prowadzone w trzech WSH: dwóch oczyszczalniach ścieków bytowych i obiekcie pilotowym w skali technicznej przeznaczonym do oczyszczania odcieków z odwadniania przefermentowanych osadów w konwencjonalnej oczyszczalni ścieków. Przeprowadzone badania i analiza...
-
Strategic risk modelling in highway engineering = Modelowanie ryzyka strategicznego w inżynierii drogowej
PublicationRyzyko strategiczne w inżynierii drogowej wybranego kraju związane jest realizacją celów strategicznych funkcjonowania kraju, jakimi są: ochrona życia i zdrowia uczestników ruchu drogowego, ochrona krytycznej infrastruktury i wzmocnienie systemu ratownictwa. Przedstawiono przegląd koncepcji modelowania ryzyka w ruchu drogowym, wykorzystywanych do budowy narzędzi do podejmowania decyzji strategicznych dla potrzeb bezpieczeństwa...
-
Systemy Wspomagania Zarządzania Należnościami (DRMS) jako nowa klasa systemów informatycznych
PublicationW polskim obrocie gospodarczym powszechnym zjawiskiem stało się niepłacenie przez dłużników swoich zobowiązań. Dla wierzyciela kluczowym procesem biznesowym staje się zarządzanie swoimi należnościami, od skuteczności którego zależy niejednokrotnie utrzymanie przezeń płynności finansowej. By zarządzanie owo było efektywne, niezbędny jest stały monitoring wielu informacji w firmie - począwszy od analizy kwot i dat wymagalności faktur,...
-
Środowisko testowe i symulacyjne do weryfikacji bezpieczeństwa kooperacyjnego w sieciach bezprzewodowych
PublicationWraz z rozwojem bezprzewodowych sieci komputerowych rośnie potrzeba zapewnienia zadowalającego poziomu bezpieczeństwa ich unkcjonowania. Potrzeba taka istniała już w przypadku klasycznych sieci przewodowych, lecz środowisko sieci bezprzewodowej okazuje się szczególnie podatne na różnorodne zagrożenia, poczynając od atakówtypu DoS, poprzez zagrożenia poufności i integralności danych oraz manipulację informacją o tożsamości użytkowników,...
-
Standard IEC 61850 w sieci rozdzielczej średniego napięcia CERN
PublicationArtykuł stanowi skrótowy opis wyników pracy autora w okresie od 01.10.2009 do 30.09.2010 w Engineering Department, High-Voltage Section w CERN. Przedstawiono system zasilania elektroenergetycznego obiektów CERN wraz automatyką ATS w sieci 18 kV. Zdefiniowano założenia dla automatyki w ramach planowanych modernizacji sieci średniego napięcia, wskazując na wymóg zgodności ze standardem IEC 61850. Zaproponowano trójpierścieniową topologię...
-
Kierunki standaryzacji w zdalnym nauczaniu
PublicationDziedzina zdalnego nauczania rozwija się dzięki wielu współpracującym organizacjom i konsorcjom. Opracowały one kilkadziesiąt specyfikacji i modeli referencyjnych, z których część została zaakceptowana jako standardy takich organizacji jak ISO czy IEEE. Artykuł zawiera przegląd najważniejszych instytucji zajmujących się dziedziną zdalnego nauczania oraz wskazuje ich wkład w dotychczasowe dokonania dziedziny. Wskazano także obszary,...
-
Wykorzystanie technologii portletów do budowy usług uczelnianych
PublicationW dobie Internetu użytkownicy systemów akademickich wymagają szybkiego i łatwego dostępu do wszystkich zasobów informacyjnych uczelni, w dowolnym czasie i niezależnie od urządzenia, z którego korzystają. aniesie to zasobą konieczność zapewnienia większej elastyczności i dostępności aplikacji. Te wymagania pozwala realizować koncepcja architektury zorientowanej na usługi w połączeniu z portalami internetowymi. Portale są to środowiska,...
-
The labor market in industrial cluster analysis
PublicationThe paper offers a description of methodologies used in industrial cluster analysis in conjunction with the labor market analysis. The author explores many tools utilized in cluster identi-fication: quantitative methods (LQ, shift-share), qualitative methods (MSQA) and mixed tools (cluster analysis in conjunction with discriminant analysis, spider diagram, GEM model, ne-twork analysis). Each tool is described in terms of its connection...