Filtry
wszystkich: 4375
-
Katalog
- Publikacje 2997 wyników po odfiltrowaniu
- Czasopisma 2 wyników po odfiltrowaniu
- Osoby 365 wyników po odfiltrowaniu
- Wynalazki 7 wyników po odfiltrowaniu
- Projekty 34 wyników po odfiltrowaniu
- Laboratoria 14 wyników po odfiltrowaniu
- Zespoły Badawcze 37 wyników po odfiltrowaniu
- Aparatura Badawcza 10 wyników po odfiltrowaniu
- Kursy Online 874 wyników po odfiltrowaniu
- Wydarzenia 34 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: OPROGRAMOWANIE SYSTEMOWE
-
Identyfikacja i analiza procesów jako element integracji systemów zarządzania.
PublikacjaW niniejszym rozdziale omówiono problematykę integracji systemów zarządzania Autor wskazuje istotne znaczenie identyfikacji i analizy procesów dla możliwości integracji systemu zarządzania jakością, środowiskiem i bezpieczeństwem pracy. Przedstawia czynniki wspomagające integrację i korzyści z niej wynikające.
-
Zastosowanie zintegrowanych środowisk programistycznych w laboratorium organizacji systemów pomiarowych.
PublikacjaArtykuł przedstawia opracowane i zrealizowane w 2002 roku w Katedrze Miernictwa Elektronicznego laboratorium Interfejsy i Organizacja Systemów Elektronicznych. Zaprezentowano ogólną koncepcję laboratorium, polegającą na wstępnym przeszkoleniu ze środowiska programistycznego, a następnie łączeniu w ramach dalszych ćwiczeń zadań wprowadzających (odtwórczych) i zadań projektowych. Opisano korzyści płynące z zastosowania zintegrowanego...
-
Wyznaczanie tłumienia propagacyjnego w systemie dostępowym w warunkach miejskich
PublikacjaOpisano zagadnienie wyznaczania strat propagacyjnych w mieście, dla potrzeb projektowania systemów dostępowych. Omówiono wyniki wykonanych badań pomiarowych.
-
Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.
PublikacjaArtykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...
-
Badanie jakości transmisji w systemie UMTS z wykorzystaniem turbokodowania
PublikacjaW referacie przedstawiono budowę turbokodera zastosowanego w systemie UMTS. Przedstawiono wyniki badań symulacyjnych. Dekoder turbokodu zaimplementowany w programie symulacyjnym pracował w oparciu o algorytm SOVA.
-
Czynniki warunkujące planowanie rozmieszczenia stacji bazowych w systemie UMTS
PublikacjaW referacie opisano metodologię planowania rozmieszczenia stacji bazowych w systemie UMTS. Przedstawiono wielopłaszczyznową analizę czynników, których wpływ należy uwzględnić w procesie planowania pokrycia radiowego w systemie UMTS.
-
Zastosowanie hybrydowych systemów ekspertowych do wspomagania projektowania układów elektronicznych.
PublikacjaW pracy przedstawiono koncepcję i praktyczną realizację obiektowo zorientowanego hybrydowego systemu ekspertowego sterowanego regułami, współpracującego ze sztuczną siecią neuronową, systemem klasyfikatorów genetycznych i systemem z rozumowaniem sytuacyjnym. Jest to system hybrydowy i może być efektywnie wykorzystany do budowy złożonych systemów ekspertowych.
-
Efektywność pracy wzmacniacza mocy terminala ruchomego w systemie UMTS.
PublikacjaW pracy opisano problem efektywności pracy wzmacniacza mocy terminala ruchomego systemu UMTS/FDD w warunkach przetwarzania sygnałów o różnych szybkościach transmisji.
-
Zmodyfikowany model COST 231 HATY do projektowania systemów dostępnych
PublikacjaW pracy przedstawiono zagadnienie wyznaczania strat propagacyjnych sygnału radiowego w radiowym łączu dostępowym pracującym w warunkach miejskich. Podano zmodyfikowaną postać modelu COST 231 Haty, opracowaną na podstawie wykonanych obszernych badań eksperymentalno-pomiarowych, przeprowadzonych w dużych aglomeracjach miejskich na terenie całego kraju
-
Szybka synteza prototypów filtrów rezonatorowych dla systemów telekomunikacji bezprzewodowej.
PublikacjaW niniejszym komunikacie opisana jest szybka technika syntezy macierzy sprzężeń. Synteza oparta jest na rozwiązaniu problemu programowania kwadratowego.Takie sformułowanie zagadnienia pozwala na znalezienie wartości sprzężeń miedzy poszczególnymi rezonatorami oraz miedzy rezonatorami a źródłem i obciążeniem jedynie wkilku krokach.
-
Zastosowanie sondy wejściowej w komputerowym systemie pomiarowymdo spektroskopii wysokoimpedancyjnej.
PublikacjaW pracy przedstawiono komputerowy system pomiarowy do spektroskopii wysokoimpedancyjnej, w którym zastosowano sondę wejściową umożliwiającą pomiary impedancji do |Zx|<100Gohm w szerokim zakresie częstotliwości od 10uHz do 100kHz. Przeanalizowano wpływ głównych źródeł niepewności na dokładność wyznaczenia modułu i argumentu zespolonego stosunku sygnałów wydzielanych w sondzie. Podano wyniki symulacji komputerowych, które pozwoliły...
-
Nowy algorytmy działania automatyki odciążającej w Krajowym Systemie Elektroenergetycznym.
PublikacjaW referacie przedstawiono nowy algorytm automatyki odciążającej oparty na elementach logiki rozmytej. Zastosowanie układu Rozmytej Adaptacyjnej Automatyki Odciążającej (RAAO) umożliwia znaczną poprawę zarówno skuteczności jak i jakości procesu odciążania. W referacie zamieszczono przykładowe wyniki badań symu-lacyjnych weryfikujących skuteczność działania zaproponowanego algorytmu. Otrzy-mane wyniki porównano z wynikami uzyskanymi...
-
Wdrażanie systemów ERPp - organizacja szkoleń - na przykładzie systemu HR.
PublikacjaW artykule opisano metodyki wdrażania systemów informatycznych klasy ERP stoso-wanych w polskich przedsiębiorstwach. Artykuł stanowi próbę naświetlenia problematyki związanej z przeprowadzaniem szkoleń podczas wdrażania systemów. Podkreślono rów-nież możliwość obniżania kosztów implementacji systemów poprzez optymalizację organi-zacji szkoleń.
-
Optymalizacja lokalizacji i parametrów stabilizatorów systemowych w systemie elektroenergetycznym.
PublikacjaCelem pracy było opracowanie metod optymalizacji: parametrów, lokalizacji w systemie elektroenergetycznym i struktury stabilizatorów systemowych.W rozprawie opracowano dwuetapową metodę optymalizacji parametrów stabilizatorów systemowych. Metoda może być wykorzystana przy syntezie stabilizatorów systemowych jednowejściowych opartych o pomiar mocy czynnej generatora, prędkości wirnika generatora lub dwuwejściowych wykorzystujących...
-
Eksploatacja systemów wodociągowych i kanalizacyjnych. Doświadczenia krajowe i zagraniczne.
PublikacjaOmówiono przebieg konferencji eksploatacyjnej. Wykazano podstawowe problemy, którymi są: likwidacja masy powstającego osadu nadmiernego z oczysczalni ścieków, następstwa przewymiarowania obiektów oraz nadal aktualny problem błędnego i niechlujnego wykonawstwa.
-
Polskie systemy diagnostyki sieci trakcyjnej w transeuropejskim systemie kolejowym.
PublikacjaW artykule dokonano charakterystyki potencjału diagnostycznego sieci trakcyjnej spółki PKP Energetyka, ze szczególnym uwzględnieniem możliwości najnowszego systemu diagnostycznego DST2000. Omówiono zakres pomiarów, scharakteryzowano sprzęt i oprogramowanie systemu. Dużo miejsca poświęcono metodzie programowej lokalizacji wyników pomiarów. Przedstawiono metodykę tworzenie plików bazowych oraz ich wykorzystanie w procesie przetwarzania...
-
Interferencje wspólnokanałowe w łączu w górę w systemie UMTS
PublikacjaW pracy przedstawiono wyniki analizy oraz badań symulacyjnych zmienności mocy interferencji wspólnokanałowych w łączu w górę w systemie UMTS. Omówiono modele matematyczne do analitycznych metod szacowania mocy interferencji. Przedstawiono program symulacyjny do badania wpływu interferencji na parametry funkcjonalne systemu UMTS.
-
Miękko przełączane sterowanie predykcyjne w zastosowaniu do systemów ściekowych
PublikacjaNie zawsze jest możliwe sterowanie układami czy systemami przy pomocy jednej uniwersalnej strategii sterowania pozwalającej na efektywne sterowanie w pełnym zakresie warunków operacyjnych. Istnieje wówczas potrzeba stosowania dwóch lub większej liczby układów sterowania w zależności od stanu układu bądź postawionych przed nim celów. To implikuje konieczność znalezienia mechanizmu umożliwiającego ich przełączanie. Nie zawsze jest...
-
Realizacja środowiska współbieżnej symulacji i emulacji heterogenicznych systemów wbudowanych
PublikacjaW niniejszej pracy przedstawiono realizację środowiska współbieżnej symulacji heterogenicznych systemów wbudowanych. Jako prezentację opisanej koncepcji przedstawiono kompletny system współbieżnej weryfikacji systemów heterogenicznych wykorzystujący symulator HDL Active-HDL firmy Aldec, kartę akceleratora HES firmy Alatek, debugger AxD dla procesorów ARM oraz kartę prototypową dla procesorów ARM. Przedstawiono możliwości konfiguracyjne...
-
Modelowanie propagacji wiązek optycznych dla potrzeb konstrukcji systemów ramanowskich
PublikacjaW komunikacie zaproponowano wykorzystanie metody propagacji wiązki BPM do wspomagania procesu projektowania systemów ramanowskich przeznaczonych do badania struktur. Modelowania komputerowe zostało wykorzystane do optymalizacji wprowadzania wiązki laserowej do materiału, co zapewni zwiększenie efektywności wzbudzania sygnału rozpraszania ramanowskiego w wybranym miejscu w warstwie.
-
Implementacja zmodyfikowanej metody biliniowej 2D w elektronicznym systemie wbudowanym
PublikacjaPrzedstawiono implementację zmodyfikowanej metody biliniowej 2D diagnostyki sieci analogowych we wbudowanych mikrosystemach mieszanych sygnałowo sterowanych mikrokontrolerami. Metoda cechuje się prostym algorytmem diagnostycznym, który z powodzeniem można zaimplementować w 8-bitowych, powszechnie stosowanych mikrokontrolerach z interfejsem SPI, oraz nie wymaga nadmiernej rozbudowy mikrosystemu o część testującą (BIST). Zaletą metody...
-
Niezgodności stwierdzane w trakcie certyfikacji systemów jakości małych organizacji
PublikacjaW artykule przedstawiono wyniki badań dotyczących głównych kategorii problemów wykrywanych przez auditorów jednostek certyfikujących w trakcie certyfikacji systemów jakości zgodnych wg normy ISO 9001 w małych organizacjach różnych sektorów zatrudniających do 50 pracowników.
-
Zarządzanie uprawnieniami i funkcje administracyjne w systemie SETI-1
PublikacjaW artykule przedstawiono zadania i cele podsystemu uprawnień i podsystemu administracyjnego systemu SETI-1, przeznaczonego do wspomagania zarządzania Wydziałem Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej. Omówione zostały podstawowe zagadnienia nadawania i kontroli uprawnień użytkowników. Opisano rejestrowanie stanów dokumentów oraz operacji użytkownika. W artykule przedstawiono także sposób wykorzystania...
-
Algorytmy komputerowo wspomaganego projektowania i rozbudowy systemów dystrybucji wody
PublikacjaSformułowano i omówiono zadania typu projektowego dla systemu wodociągowego.Uwaga skupiona jest na projekcie dystrybucji i transportu wody. Omówiono ogólne metody rozwiązywania zarówno zadania projektowania systemu od nowa jak i przeprojektowywania systemu istniejącego. Istotnym elementem pracy jest zamieszczony w niej algorytm sterowania obliczeniami podczas, zbliżonego do optymalnego, projektowania systemu na poziomie...
-
Wykorzystanie wybranych normatywnych systemów zarządzania w instytucjach szkolnictwa wyższego
PublikacjaW artykule przedstawiono wybrane modele systemów zarządzania opisane w normach międzynarodowych możliwe do wykorzystania w instytucjach szkolnictwa wyższego. Systemy te mogą stanowić bowiem korzystną alternatywę dla obarczonych wieloma mankamentami mechanizmów przyjmowanych przez kadrę kierowniczą uczelni w odniesieniu do kluczowych procesów tych instytucji.
-
WYPADKI I SYTUACJE NIEBEZPIECZNE W SYSTEMIE ZARZĄDZANIA BEZPIECZEŃSTWEM PRACY
PublikacjaZ uwagi na rosnące wymagania społeczne i ekonomiczne, w tym wymagania dotyczące bezpieczeństwa i higieny pracy, stawiane przed nowoczesnymi przedsiębiorstwami w artykule podjęto próbę sformułowania ogólnych wytycznych dla przedsiębiorstw, których wprowadzenie może zmniejszyć ilość wypadków i podwyższyć poziom bezpieczeństwa pracy. Autorzy podjęli również próbę weryfikacji teorii piramidy wypadkowości sformułowanej przez Heinricha,...
-
Wpływ wybranych zdarzeń atmosferycznych na funkcjonowanie zainstalowanych systemów elektronicznych
PublikacjaArtykuł ma na celu przedstawienie zależności przyczynowo-skutkowych zachodzących pomiędzy awariami występującymi w sprzęcie elektronicznym (elektrycznym), a wywołującymi je zdarzeniami atmosferycznymi. Za podstawę analizy posłużyły badania przeprowadzane na zlecenie firmy ubezpieczeniowej, a poddawane były nim urządzenia, zainstalowane w różnych środowiskach, które uległy awarii w określonych warunkach pogodowych. Pierwotne zlecenia...
-
Wdrażanie systemów ITS na przykładzie miasta Łodzi i Bydgoszczy
PublikacjaW niniejszym artykule opisano zalety funkcjonowania, przyczyny wdrażania i wskazano ścieżkę rozwoju Inteligentnych Systemów Transportowych w miastach. Przedstawiono krótką analizę podstaw prawnych wdrażania systemów ITS. Opisano dwa praktyczne przykłady wdrażania systemów ITS w Polsce, na przykładzie wdrożenia zintegrowanego systemu zarządzania ruchem w mieście Łodzi i mieście Bydgoszczy. Cechą charakterystyczną obu projektów był...
-
Metody oceny jakości łączy bezprzewodowych wykorzystywanych w systemie netBaltic
PublikacjaPrzedstawiono metodę oceny jakości łączy, opracowaną w ramach projektu netBaltic, która powstała w wyniku analizy danych zgromadzonych podczas wielu kampanii pomiarowych na wodach Morza Bałtyckiego oraz badań i testów prowadzonych w środowisku laboratoryjnym. Przedstawiono definicję parametru LQI (Link Quality Indicator) oraz sposób jego wyznaczania dla sieci komórkowych 3G i LTE oraz dla łączy bezprzewodowych WiFi. Zaprezentowano...
-
Analiza efektywności systemów oświetlania roślin na przykładzie uprawy bazylii
PublikacjaDynamiczny rozwój technologii LED oraz znaczące podwyżki cen energii elektrycznej wymuszają badania mające na celu zwiększenie efektywności systemów oświetleniowych do uprawy roślin. W pracy przeprowadzono analizę efektywności oświetlenia na przykładzie uprawy bazylii. Na wstępie dokonano pomiarów spektralnych liści bazylii. Na podstawie otrzymanych wyników opracowano i wykonano oświetlenie dopasowane do charakterystyki spektralnej...
-
Wpływ właściwości czynnika roboczego na eksploatację wybranych systemów chłodniczych
PublikacjaW artykule przedstawiono wpływ wyboru czynnika roboczego na eksploatację teoretycznego systemu chłodniczego. Niniejszą analizę przeprowadzono dla trzech układów chłodniczych, które na potrzeby prowadzonej analizy sklasyfikowano jako: grupa domowa, grupa przemysłowa i grupa specjalna. Przyjętymi urządzeniami są: w grupie domowej – klimatyzator typu powietrze-powietrze, w grupie przemysłowej – chłodnia statku do transportu żywności...
-
Nowoczesne metody termografii w systemie monitorowania stanu sieci przesyłowych
PublikacjaW artykule przedstawiono obecnie stosowane metody inspekcji termowizyjnej, skupiając się na prewencyjnej diagnostyce stanu sieci przesyłowej. Badanie termowizyjne ma różne wymiary wpływu na efektywność energetyczną. Z jednej strony wykorzystuje się ją do inspekcji szczelności termoizolacji budynków, wpływając na świadomość, że „najtańsza energia to ta zaoszczędzona”, z drugiej strony jest narzędziem dla operatorów sieci dystrybucyjnych...
-
Akustyczna analiza natężenia ruchu drogowego dla systemów zarządzania ruchem
PublikacjaW pracy przybliżono wybrane zagadnienia z dziedziny zarządzania transportem drogowym w Polsce i na świecie. W tym kontekście pzredstawiono potrzeby rynkowe, wymagania jak i możliwości w zakresie pozyskiwania informacji o aktualnym stanie sieci drogowych. Zaproponowano akustyczną metodę nadzorowania ruchu drogowego i jej możliwości w kontekście systemów zarządzania ruchem. Przedstawiono schemat akwizycji sygnału wraz z danymi odniesienia....
-
Rynek mocy jako nowy mechanizm rozliczeń w systemie elektroenergetycznym
PublikacjaW artykule opisano rozliczenia w systemie elektroenergetycznym uzależnione od mocy, związane z gwarancją dostawy energii elektrycznej do systemu. Przedstawiono najważniejsze rynkowe mechanizmy mocowe, skupiając się głównie na rozwiązaniach stosowanych w krajach europejskich. Przedstawiono najważniejsze zasady funkcjonowania rynku mocy w Polsce oraz omówiono wyniki pierwszych aukcji na lata 2021-2023.
-
Transformatory z regulacją przekładni pod obciążeniem w systemie elektroenergetycznym
PublikacjaZmiany zachodzące w systemie elektroenergetycznym, związane między innymi ze stałym wzrostem zapotrzebowania na moc, przyłączaniem źródeł odnawialnych czy rozwojem elektromobilności, przy jednoczesnym wzroście wymagań dotyczących jakości energii elektrycznej, zmuszają operatorów sieci elektroenergetycznych do podejmowania działań zmierzających do sprostania nowym wymaganiom. Jednym z kierunków tych działań jest wykorzystanie w...
-
Nowa metoda lokalizowania terminala ruchomego w systemie WCDMA/FDD
PublikacjaW referacie zaprezentowano nową metodę lokalizowania terminala ruchomego w systemie WCDMA/FDD (Wideband Code Division Multiple Access / Frequency Division Duplex). Metoda ta umożliwia estymację położenia geograficznego terminala ruchomego MS (Mobile Station) bez znajomości różnic czasowych w synchronizacji RTD (Relative Time Difference) poszczególnych stacji bazowych BS (Base Station), biorących udział w tym procesie. Do eliminacji...
-
Agnieszka Landowska dr hab. inż.
OsobyUkończyła studia na dwóch kierunkach: Finanse i bankowość na Uniwersytecie Gdańskim oraz Informatyka na WETI Politechniki Gdańskiej. Od 2000 roku jest związana z Politechniką Gdańską. W 2006 roku uzyskała stopień doktora w dziedzinie nauk technicznych, a w roku 2019 stopień doktora habilitowanego. Aktualnie jej praca naukowa dotyczy zagadnień interakcji człowiek-komputer oraz informatyki afektywnej (ang. affective computing), która...
-
Architecture supporting security of agent systems
PublikacjaW rozprawie zaproponowano nową architekturę bezpieczeństwa wspomagającą anonimowość w systemach agentowych. Moduł I architektury zapewnia funkcjonalność protokołu ochrony przed tropieniem (ang. untraceability), z tą zaletą, że nie wprowadza ograniczeń wobec agentów samodzielnie ustalających trasę własnej wędrówki. Stanowi rdzeń architektury, który zaimplementowano jako rozszerzenie platformy agentowej JADE, udostępniane publicznie...
-
An approach for evaluating trust in it infrastructures
PublikacjaW artykule zademonstrowano metodę oceny poziomu zaufania do systemu TI w oparciu o podejście funkcji przekonania.
-
REALIZACJA ELEMENTÓW SKŁADOWYCH ŁĄCZA RADIOWEGO Z UŻYCIEM URZĄDZEŃ RADIA PROGRAMOWALNEGO TYPU USRP
PublikacjaPrzez ostatnią dekadę projektowanie systemów radiowych zaczęło w coraz większym stopniu polegać na cyfrowym przetwarzaniu sygnałów. Możliwość i moc obliczeniowa procesorów ogólnego przeznaczenia GPP (General Purpose Processor), procesorów sygnałowych DSP (Digital Signal Processor) oraz układów programowalnych FPGA (Field Programmable Gate Array) znacząco wzrosła zgodnie z prawem Moor’a. Naturalnym następstwem tego trendu było większe...
-
Zastosowanie komputerowej symulacji w procesie kształcenia inżyniera branży sanitarnej
PublikacjaObecnie warsztat pracy współczesnego inżyniera znacznie się zmienił w wyniku dynamicznego rozwoju programów komputerowych do symulacji kinetyki procesów biochemicznych w oczyszczalniach ścieków. Chcąc dostosować program kształcenia współczesnego inżyniera branży sanitarnej do rynku pracy uczelnie techniczne powinny ściśle współpracować z firmami oferującymi oprogramowanie do komputerowej symulacji procesów osadu czynnego. Zastosowanie...
-
Możliwości przyrządów wirtualnych na przykładzie programu do pomiaru i analizy drgań na statkach.
PublikacjaOmówiono rozwój przyrządów wirtualnych stosowanych w diagnostyce, wynikający z rozwoju narzędzi do ich programowania. Przedstawiono oprogramowanie do pomiaru i analizy drgań na statkach. Umożliwia ono analizę zarejestrowanych sygnałów w funkcji czasu, częstotliwości i prędkości obrotowej wału silnika.
-
Softwarowy symulator pomiarów GNSS
PublikacjaW artykule przedstawiono bieżącą fazę rozwoju softwarowego symulatora pomiarów GNSS. Obecny kształt oprogramowania jest wynikiem zakończenia pierwszego etapu prac. Opisano główne zaimplementowane funkcje symulatora oraz zaprezentowano przykładowe wynik symulacji. Artykuł kończą wnioski dotyczące kierunku dalszych prac nad oprogramowaniem.
-
Revsable framework for telecontrol protocols. W: Springer Homepage [online] Proceedings. Second International ESPRIT ARES Workshop on Development and Evolution of Software Architectures for Product Families. Las Palmas de Gran Canaria, Spain, February 26-27, 1998. [Dostęp: 20 grudnia**2002]. Ed. F. van der Linden. Dostępny w World Wide Web: http://link.springer.de/link/ /service/series/0558/tocs/t1429.htm [s. 6-13, 5 rys. bibliogr. 6 poz.] Wzorce wielokrotnego wykorzystania oprogramowania protokołów telesterowa- nia.
PublikacjaZaprezentowano wzorzec COMSOFT wielokrotnego wykorzystania oprogramowania o-pracowany dla protokołów telesterowania. Jego podstawy tworzą: metodologiaobiektowa i wzorce wielokrotnego użycia. Zastosowanie wzorców wspomagają:biblioteka komponentów, wykorzystywanych we wszystkich fazach konstrukcji o-programowania oraz procedury użytkowania i parametryzacji. Opracowane wzorcezostały praktycznie zastosowane do konstrukcji oprogramowania...
-
SDL i prosty scheduler - zastosowania.
PublikacjaRozdział przedstawia uzupełnienia, usprawnienia i zastosowania prostego schedulera zaproponowanego w [1]. Podstawowym uzupełnieniem jest powiązanie funkcji schedulera z językiem specyfikacji protokołów telekomunikacyjnych SDL [2]. Pokazano na czym polega problem w odmierzaniu czasu w ''procesach'' obsługiwanych przez scheduler oraz istotne ograniczenia mechanizmu odmierzania czasu w systemach warstwowych. Zaproponowano rozwiązania...
-
Oprogramowanie Systemowe 2023
Kursy Online -
Safety of computer control systems: challenges and results in software development.
PublikacjaArtykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.
-
REZYGNACJA Z CERTYFIKACJI NORMATYWNYCH SYSTEMÓW ZARZĄDZANIA. PROBLEM CZY NIEUNIKNIONE ZJAWISKO?
PublikacjaW opracowaniu omówiono proces zmian dotyczących certyfikacji normatywnych systemów zarządzania na przykładzie systemu jakości opartego na normie ISO 9001. Przedstawiono analizę liczby wydawanych certyfikatów ISO 9001 oraz liczby rezygnacji z certyfikatów w Polsce, na podstawie raportu ISO Survey 2012 i danych uzyskanych od jednostki certyfikującej. Opisano również najczęściej podawane przyczyny rezygnacji z certyfikacji.
-
Koncepcja analizy stanów emocjonalnych użytkowników w kontekście systemów zabezpieczeń transportowych
PublikacjaAutorzy, przywołując własne i światowe badania nad rozpoznawaniem emocji ludzkich z obrazu twarzy, wskazują na możliwość zastosowania algorytmów komputerowych i ich implementacji w komputerach osobistych (i innych urządzeniach personalnych wyposażonych w dostatecznie silny procesor obliczeniowy). Zastosowanie takiego rozwiązania może poprawić bezpieczeństwo użytkowania urządzeń, maszyn i pojazdów, których operatorzy muszą gwarantować...
-
Metoda projektowania systemów Smart Cities bazowana na Case Based Reasoning
PublikacjaCelem artykułu jest prezentacja wyników badań nad opracowaniem metody projektowania systemów Smart Cities. Metoda ta bazuje na analizie przypadków projektowania systemów Smart Cities w miastach, wybór odpowiedniego do wymagań zdecydowanego na wdrożenie ośrodka i jego zastosowanie. Do budowy proponowanej metody projektowania wykorzystano metodę Case Based Reasoning oraz mechanizmy konwersji procesów i ról projektowych do procesów...