Wyszukiwarka
Filtry
wszystkich: 2618
wybranych: 1223
-
Katalog
- Publikacje 1223 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Wydawnictwa 5 wyników po odfiltrowaniu
- Osoby 223 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Laboratoria 12 wyników po odfiltrowaniu
- Zespoły Badawcze 11 wyników po odfiltrowaniu
- Aparatura Badawcza 8 wyników po odfiltrowaniu
- Kursy Online 928 wyników po odfiltrowaniu
- Wydarzenia 73 wyników po odfiltrowaniu
- Dane Badawcze 97 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: JEZYKI PROGRAMOWANIA
-
Ocena naprężeń w regenerowanych korpusach parowych turbin energetycznych.
PublikacjaPrzedstawiono wyniki badań naprężeń własnych w ścianach korpusów turbin poddanych procesowi reparacji przez zaspawanie. Wykorzystano do badań metodę wykorzystujacą efekt Barkhausena oraz - dla kontrolo - metodę nawiercania otworów (metoda Mathar'a). Dwa rezultaty badań są istotne: 1) stwierdzono niski stan naprężeń w strefie reperowanej - co dowodzi poprawnej technologii; oraz 2) - uzyskano bardzo dobrą zgodność poziomów naprężeń...
-
Complementary studies of residual stress distribution of repaired power plant steam turbine casing
PublikacjaRozkład i poziom naprężeń własnych w korpusach turbin badano za pomocą efektu Barkhausena oraz metodą nawiercania otworów. Badano również twardość. Korpusy były reperowane metodą zaspawania. Wykazano, iż zastosowana technologia nie wprowadza naprężeń o poziomie zagrażającym dalszej ekploatacji korpusu.
-
Wiarygodność przedsiębiorstwa jako wartość ekonomiczna
PublikacjaArtykuł stanowi prezentację czynników ekonomicznych wpływających na wiarygodność podmiotów gospodarczych. W ten sposób aspekty ekonomiczno- finansowe zostały przełożone na wartości opisujące podmioty gospodarcze w kategoriach socjologiczno - psychologicznych. Istnieje zatem możliwość wykorzystania relacji personalnych w zbiorowości podmiotów gospodarczych oraz posługiwania się kategoriami wartości, moralności i etyki w stosunkach...
-
Muzyka jako element twórczy w architekturze na podstawie teorii B. Leitnera.
PublikacjaMuzyka pozostaje w głębokiej relacji z innymi dziedzinami w tym w szczególności z architekturą. Treść artykułu przedstawia praktyczne wykorzystanie nietypowego dla kształtowania przestrzeni medium - dźwięku w procesie projektowym. Wykorzystanie muzyki (dźwięku) daje możliwość swobodnego kreowania przestrzeni między innymi zmiany funkcji, formy zewnętrznej, kształtowania komunikacji. Ujęta problematyka może być cenna również dla...
-
Wstęp do elektroniki molekularnej
PublikacjaZastosowanie pojedynczych molekuł lub układów molekularnych do budowy elementów elektronicznych jest poważnym wyzwaniem dla inżynierów i naukowców, w chwili obecnej i w najbliższej przyszłości. celem tego skryptu jest przybliżenie czytelnikowi podstawowych zagadnień dotyczących elektroniki molekularnej, opartej zarówno na układach zbudowanych z wielu molekuł, jak i jednej molekuły. Jest ona przeznaczona dla studentów i pracowników...
-
Razem i osobno
PublikacjaKatalog ilustrujący roczną działalność galerii BWA w Lublinie. Opisuje wystawy, które miały miejsce w galerii Labirynt w 2008 roku (m. in. wystawę "Razem i osobno" J. Buczkowskiego, K. Wróblewskiego i Z. Pidka).Katalog liczy 84 strony i zawiera teksty krytyczne w języku polskim i angielskim oraz 123 kolorowe reprodukcje prac artystów (prace autorów s. 59). Wydawcą katalogu jast Biuro Wystaw Artystycznych w Lublinie ISBN: 978-83-927473-4-5.
-
Algorytmy ewolucyjne w projektowaniu sieci MPLS
PublikacjaNiniejszy artykuł opisuje zrealizowane narzędzie, które umożliwia projektowanie sieci MPLS za pomocą Algorytmów Ewolucyjnych. Narzędzie to generuje ścieżki i optymalizuje alokację na nich przepływności żądań zapotrzebowań z uwzględnieniem klas obsługi strumieni ruchu z gwarancją zróżnicowanego QoS. Może także wybierać ścieżki do alokacji spośród danych wejściowych tak, aby wykorzystanie sieci było optymalne. Narzędzie to zostało...
-
Analiza bezpieczeństwa ruchu na rondach
PublikacjaW artykule przedstawiono wpływ rond na poprawę bezpieczeństwa ruchu na podstawie przeprowadzonych badań ''przed'' i ''po'' przebudowie skrzyżowania na małe rondo. Wykazano korzystny wpływ skrzyżowania typu rondo na liczbę zdarzeń drogowych i ofiar wypadków w porównaniu z innymi rodzajami skrzyżowań. Porównano bezpieczeństwo ruchu na rondach o wielu wlotach i o wielopasowej jezdni wokół ronda. Przedstawiono najczęściej występujące...
-
Modele semantyczne wymiany informacji o stanie systemu elektroenergetycznego
PublikacjaZaprezentowano Common Information Model CIM opracowany w Electric Power Research Institute EPRI w USA. Model ten wypełnia brak uniwersalnego języka opisu topologii i stanu sieci elektroenergetycznej. Stworzony został na potrzeby integracji narzędzi stosowanych przez podmioty sektora elektroenergetycznego. CIM wykorzystuje RDF Schema Definition (RDFS) i RDF. Na tle tego standardu przedstawiono własny zestaw pojęć mapujący meta-ontologię...
-
Analiza symulacyjna zmodyfikowanego modelu układu napędowego samochodu z silnikiem spalinowym
PublikacjaModelowanie pojazdów samochodowych jest istotne w działalności koncernów samochodowych, ponieważ pozwala na szybkie projektowanie, testowanie i wdrażanie nowych modeli pojazdów na bardzo konkurencyjnym rynku motoryzacyjnym. W artykule przedstawiono budowę układu napędowego samochodu osobowego marki Golf III. Następnie dokonano modyfikacji modelu matematycznego na podstawie fizyki poruszania się pojazdu, zaimplementowano go w środowisku...
-
AKUSTYCZNY ASPEKT ZASTOSOWANIA BLACHY KORTENOWEJ W EUROPEJSKIM CENTRUM SOLIDARNOŚCI W GDAŃSKU
PublikacjaArtykuł opisuje użycie blachy kortenowej jako dominującego materiału wykończeniowego na elewacjach i we wnętrzach budynku o przesłaniu symbolicznym. Przedstawiono architektoniczne przesłanki, uzasadniające jednorodność zastosowanego materiału. Na tym tle omówiono wpływ blachy kortenowej na akusty-kę pomieszczeń, wraz z podaniem kroków zaradczych redukujących nadmierną pogłosowość i zwiększających stopień rozproszenia dźwięku. Pozytywnym...
-
Internet as a new platform for delivery of microwave CAD services.
PublikacjaZaprezentowano aplikację przeznaczoną do syntezy filtrów rezonatorowych, która jest realizacją nowego sposobu myślenia związanego z rewolucją usług internetowych, które charakteryzują się niskim kosztem tworzenia oraz szybką i bezpieczną dystrybucją. Opisano stworzoną wielowarstwową aplikację, która gwarantuje łatwy, bezpieczny oraz ograniczony dostęp do aplikacji dla szerokiego kręgu osób. Zawarto w niej algorytm szybkiej syntezy...
-
Mechanizmy generowania hałasu opon.
PublikacjaPrzedstawiono podstawowe informacje dotyczące mechanizmów generowania hałasu podczas współpracy opony pneumatycznej z nawierzchnią jezdni. Poruszono również zagadnienia związane z możliwością wpłynięcia na te mechanizmy, w celu zmniejszenia hałasu emitowanego do otoczenia. Omówiono następujące mechanizmy generowania hałasu: promieniowanie i styczne drgania elementów bieżnika drgania ścianek bocznych i pasa bieżnika, slipstick,...
-
The cartographer algorithm for processing and querying description logics ontologies
PublikacjaLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...
-
Architecture of Request/Response and Publish/Subscribe System Capable of Processing Multimedia Streams
PublikacjaAbstrakt Analiza ''w locie'' (ang. on-the-fly) strumieni multimedialnych, zawierających wysokiej jakości dane obrazu i dźwięku, wciąż stanowi wyzwanie dla projektantów oprogramowania. Praca przedstawia architekturę systemu zdolnego do przetwarzania w czasie rzeczywistym strumieni multimedialnych przy użyciu komponentów działających w architekturze Publish/Subscribe oraz Request/Response, korzystających z możliwości Java Multimedia...
-
New generation speech aid for stuttering people
PublikacjaWspółczesne Cyfrowe Procesory Sygnałowe (ang. DSP) mają niewielkie wymiary, ale są w stanie re-alizować złożone algorytmy. Ich dodatkową zaletą jest łatwość wymiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. Wykorzystując możliwości procesów stało się możliwe budowanie miniaturowych protez słuchu i mowy. W referacie skupiono się na zagadnieniach związanych z projekto-wanie i implementacją algorytmów...
-
New generation speech aid for stuttering people
PublikacjaWspółczesne Cyfrowe Procesory Sygnałowe (ang. DSP) mają niewielkie wymiary, ale są w stanie re-alizować złożone algorytmy. Ich dodatkową zaletą jest łatwość wymiany oprogramowania, a co za tym idzie łatwość zmiany dziedziny zastosowań. Wykorzystując możliwości procesów stało się możliwe budowanie miniaturowych protez słuchu i mowy. W referacie skupiono się na zagadnieniach związanych z projekto-wanie i implementacją algorytmów...
-
Określenie położenia za pomocą sieci bezprzewodowej w standardzie ZigBee
PublikacjaMimo wprowadzenia systemu nawigacji GPS, nadal istnieje zapotrzebowanie na inne, tańsze systemy lokalizacji położenia, w szczególności pracujące w pomieszczeniach, gdzie często nie dochodzi sygnał z satelity. Taki system można zrealizować za pomocą bezprzewodowej sieci czujników w standardzie ZigBee za pomocą kilku różnych metod. W pracy przedstawiono metodę RSSI (ang.: Received Signal Strength Indicator) oceny odległości za pomocą...
-
Wpływ postrzeganego ryzyka oraz czynników wizerunkowych na zamiar zakupu marek własnych sieci handlowych
PublikacjaCelem przeprowadzonych badań była analiza wpływu wizerunku sklepu, postrzeganego ryzyka oraz wizerunku cenowego marek własnych na zamiar ich zakupu. Dokonano replikacji modelu zaproponowanego przez M.F. Diallo i w jej ramach zastosowano technikę wywiadu realizowanego za pośrednictwem Internetu (CAWI) i przeprowadzono analizy z wykorzystaniem modelu równań strukturalnych (SEM) przy pomocy oprogramowania AMOS. Stwierdzono, że zamiar...
-
Uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych
PublikacjaW pracy omówiono uczenie maszynowe do samoorganizacji systemów rozproszonych w zastosowaniach gospodarczych ze szczególnym uwzględnieniem sieci neuronowych do predykcji finansowych oraz szacowania ratingu przedsiębiorstw. Oprócz sieci neuronowych, istotną rolę w przygotowaniu i testowaniu informatycznych systemów finansowych może pełnić programowanie genetyczne. Z tego powodu omówiono uczenie maszynowe w aplikacjach konstruowanych...
-
WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI
PublikacjaPoszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...
-
Intelligent system for environmental noise monitoring.
PublikacjaW rozdziale przedstawiono projekt i realizację automatycznej stacji monitorowania hałasu środowiskowego. Stanowi ona jeden z elementów tworzonego w Katedrze Systemów Multimedialnych Politechniki Gdańskiej Multimedialnego Systemu Monitorowania Hałasu. Przedstawiono ogólną budowę stacji pomiarowej oraz omówiono jej podstawową funkcjonalność. Obszerniej opisano dodatkowe możliwości stacji, do których należą: komunikacja z wykorzystaniem...
-
Demagnetyzacja składowej podłużnej otwartego układu ferromagnetycznego.
PublikacjaObiekt ferromagnetyczny znajdujący się w ziemskim polu magnetycznym zaburza w swoim otoczeniu równomierność pola. Zaburzenie to związane jest z namagnesowaniem stałym i indukowanym obiektu ferromagnetycznego. W pracy przedstawiono wyniki badań symulacyjnych dotyczące możliwości demagnetyzacji obiektu w jego osi podłużnej pokrywającej się z największym wymiarem obiektu. Przedstawiono opis niezbędnych założeń dotyczących problemu,...
-
Projekt i realizacja automatycznej stacji monitorowania hałasu środowiskowego
PublikacjaW referacie przedstawiono projekt i realizację automatycznej stacji monitorowania hałasu środowiskowego. Stanowi ona jeden z elementów tworzonego w Katedrze Systemów Multimedialnych Politechniki Gdańskiej Multimedialnego Systemu Monitorowania Hałasu. Przedstawiono ogólną budowę stacji pomiarowej oraz omówiono jej podstawową funkcjonalność. Obszerniej opisano dodatkowe możliwości stacji, do których należą: komunikacja z wykorzystaniem...
-
Magnetyczne badania adaptacyjne - nieniszcząca metoda badania zmian w mikrostrukturze stali wykorzystywanych w energetyce
PublikacjaDługotrwała eksploatacja w warunkach podwyższonego ciśnienia i temperatury jest przyczyną degradacji mikrostruktury materiałów wykorzystywanych w instalacjach energetycznych. Elementy takie to np. elementy przegrzewaczy czy rurociągi pary świeżej. Aby umożliwić ich bezawaryjną eksploatację pożądana byłaby nieniszcząca metoda diagnozowania zmian w mikrostrukturze. Dla stali ferromagnetycznych takich jak np. nowo wprowadzana do eksploatacji...
-
Adam Smith
PublikacjaKsiążka omawia życie i twórczość Adama Smitha (1723-1790), zarówno opublikowaną za jego życia, jak i tę wydaną pośmiertnie oraz odtworzoną na podstawie notatek jego słuchaczy. W drugiej części zamieszczono wybór fragmentów tekstów najbardziej reprezentatywnych dla tego filozofa. Wśród nich znalazły się teksty tłumaczone po raz pierwszy na język polski.
-
PRZEGLĄD METOD PRZETWARZANIA DŹWIĘKU WYKORZYSTYWANYCH W APARATACH SŁUCHOWYCH
PublikacjaNiniejszy artykuł odnosi się do aktualnego stanu technologii wykorzystywanych w cyfrowych aparatach słuchowych, ze szczególnym uwzględnieniem technik cyfrowego przetwarzania sygnałów dźwiękowych. W artykule przedstawiono czynniki mające wpływ na efektywność aparatów słuchowych, a także zaprezentowano przykłady nowoczesnych metod cyfrowego przetwarzania sygnałów. Przedstawiono również przykłady ograniczeń współczesnych aparatów...
-
Les Lumieres contre la torture et la peine de mort
PublikacjaArtykuł napisany jest w języku francuskim. Jego tytuł w polskim tłumaczeniu brzmi: "Oświecenie wobec tortur i kary śmierci". Artykuł ten dotyczy stanowiska Woltera, Monteskiusza oraz Beccari wobec nadużyć systemu prawnego przedrewolucyjnej Francji. Analizuje on ich krytyczne stanowisko wobec tych nadużyć i bada filozoficzne teorie, jakimi posługują się Wolter i Monteskiusz w celu zniesienia tortur, oraz Beccaria, który nie tylko...
-
Miasto bez samochodu utopią zrównoważonego rozwoju.
PublikacjaOd początku lat dziewięćdziesiątych w Europie Zachodniej trwają prace planistyczne i wdrożeniowe nad ograniczeniem rozwoju komunikacji indywidualnej. Realizowana jest polityka zdecentralizowanej koncentracji struktur miejskich, oparta w głównej mierze na rozbudowie dróg w zakresie przebudowy i usprawniania istniejącego systemu, budowy obejść osiedli, realizacji brakujących obwodnic, wprowadzaniu stref uspokojonego ruchu, likwidacji...
-
Gazetteer compression technique based on substructure recognition
PublikacjaAutomaty skończone są najlepszą formą reprezentacji słowników do przetwarzania języka naturalnego. Przedstawiamy nową technikę kompresji, która jest szczególnie użyteczna w stosunku do pewnego rodzaju słowników. Zastępujemy wielokrotnie występujące podstruktury ich niepowtarzalnymi reprezentantami. Do ich znalezienia traktujemy wektor przejść jako tekst i stosujemy technikę kompresji tekstu w stylu Ziv-Lempel, która znajduje powtórzenia...
-
Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast
PublikacjaSTRONA GŁÓWNAOBSZARY TEMATYCZNERADA NAUKOWARECENZENCIREDAKCJAINFORMACJE DLA AUTORÓWRECENZJAKONTAKT Strona główna > Numer 14/2017 > Metody i aplikacje zdalnego szkolenia mieszkańców inteligentnych miast METODY I APLIKACJE ZDALNEGO SZKOLENIA MIESZKAŃCÓW INTELIGENTNYCH MIAST Jerzy Balicki, Piotr Dryja, Waldemar Korłub, Maciej Tyszka Rozwój nowego rodzaju miast i regionów nazywanych smart cities pociąga za sobą nowy sposób...
-
Special hearing aid for stuttering people
PublikacjaDzięku postępowi w dziedzienie cyfrowego przetwarzania sygnałów możliwe stało zbudowanie subminiaturowego urządzenia łączącego funkcje aparatu słuchowego i korektora mowy. Takie urządzenie, mimo niewielkich rozmiarów, jest w stanie wykonywać skomplikowane alggorytmy a jego oprogramowanie może być łatwo zmieniane. W pracy skupiono się na zagadnieniach związanych z opracowniem prototypu i implementacją algorytmów korekcji słuchu...
-
Programowa realizacja bramy sygnalizacyjnej między siecią PSTN/ISDN a siecią Internet
PublikacjaRealizacja idei społeczeństwa informacyjnego wymaga odpowiedniej infrastruktury teleinformacyjnej dla której przewidziano sieci następnej generacji (NGN) a w tym Internet następnej generacji (NGI). W pracy przedstawiono rozwiązanie jednego z problemów wynikającego z przekształcenia obecnych sieci do sieci NGN. Jest to problem sterowania połączeniem dla usługi telekomunikacyjnej nazywanej popularnie telefonia (mowa). Realizacja...
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
Budowa modelu prognostycznego dla farmy wiatrowej w środowisku MATLAB
PublikacjaLiberalizacja rynku energii elektrycznej sprawiła, że branża elektroenergetyczna przechodzi obecnie dynamiczny rozwój różnych jej obszarów (aspektów). Jednym z aspektów jest prognozowanie mocy jednostek wytwórczych źródeł wiatrowych. W prognozowaniu wykorzystuje się różnego rodzaju narzędzia matematyczne. Autor niniejszej publikacji poświęcił szczególną uwagę sztucznym sieciom neuronowym. Za pomocą modeli neuronowych istnieje możliwość...
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublikacjaNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
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...
-
Środowisko wspomagające zarządzanie ryzykiem w przedsięwzięciach informatycznych.
PublikacjaArtykuł prezentuje środowisko komputerowe wspierające proces zarządzania ryzykiem w przedsięwzięciach informatycznych. We wstępie wprowadzono charakterystykę procesu zarządzania ryzykiem oraz przedstawiono podział tego procesu na poszczególne fazy. Następnie omówiono potrzeby informatycznego wsparcia zarządzania ryzykiem i zaproponowano prototypowe narzędzie system Risk Guide. Opisano zakres oferowanego wsparcia i wbudowaną...
-
Stanowisko do badania czujników temperatury w laboratorium metrologii przemysłowej
PublikacjaW Laboratorium Miernictwa Przemysłowego powstało stanowisko dydaktyczno-badawcze do badania czujników temperatury, wykorzystujące mierniki N12T firmy Lumel oraz szereg termoelektrycznych i rezystancyjnych czujników temperatury. Mierniki N12T można zdalnie programować jak również odbierać dane przez nie zarejestrowane. Do zdalnej transmisji wy-korzystywana jest magistrala szeregowa RS485 z użyciem protokołu MODBUS. Zastosowanie...
-
A service-oriented approach to the identification of IT Risk
PublikacjaArtykuł przedstawia ogólne podejście do identyfikacji ryzyka eksploatacji systemów informatycznych, które obejmuje bezpieczeństwo, ochronę, prywatność oraz uzależnienie. Podejście oparte jest na badaniu trybów awarii usług dostarczanych użytkownikom przez oprogramowanie. Identyfikacja ryzyka na podstawie przeglądu usług uzupełniana jest listami kontrolnymi wyprowadzonymi ze standardów, a także klasycznymi technikami analizy bezpieczeństwa...
-
Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych
PublikacjaBezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...
-
Trust-IT - a framework for trust cases
PublikacjaArtykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...
-
Monitorowanie i bezpieczeństwo sieci komputerowych
PublikacjaObecne sieci komputerowe należą do grupy tzw. sieci otwartych, co umożliwia każdemu swobodny do nich dostęp. Oprócz oczywistych zalet koncepcja ta ma swoje wady. Do wad należy zaliczyć możliwość podsłuchiwania ruchu, podszywania się pod użytkowników, fałszowania aplikacji i realizacji wielu innych tego rodzaju operacji. Zapewnienie bezpieczeństwa w sieciach komputerowych stanowi coraz poważniejszy problem nie tylko dla operatorów...
-
Metodyka tworzenia dynamicznych map hałasu w środowisku aglomeracji miejskiej z zastosowaniem gridu superkomputerowego
PublikacjaW rozprawie przedstawiono i zweryfikowano opracowaną przez autora metodę sporządzania aktualizowanych dynamicznie map hałasu. Oryginalnym podejściem jest zastosowanie potencjału gridu superkomputerowego jako środowiska do przeprowadzania obliczeń numerycznych w procesie modelowania źródeł i propagacji dźwięku. Dzięki temu możliwe stało się przeliczanie mapy hałasu obszaru wielkości dużego miasta w krótkich odstępach czasu. Autor...
-
Programy symulacyjne jako narzędzia wspierające proces rekonstrukcji wypadków drogowych
PublikacjaObecnie można zauważyć dynamiczny rozwój narzędzi komputerowych wykorzystywanych w procesie rekonstrukcji wypadków drogowych. Artykuł przedstawia i opisuje programy symulacyjne, które stanowią odrębną grupę wśród tego typu oprogramowania. Obejmują swym działaniem całą dyscyplinę wypadków drogowych w przeciwieństwie np. do programów rysunkowych czy fotogrametrycznych skupiających się wyłącznie na wąskim wycinku tej dyscypliny. Dają...
-
Drgania mechaniczne. Rozwiązywanie zagadnień z MATHCAD-em. Red. E. Kiliś.
PublikacjaAutor niniejszej książki proponuje inny, nowoczesny sposób studiowania drgań mechanicznych, który charakteryzuje się poznawaniem teorii wraz z jednoczesnym wdrażaniem jej do analizy własności dynamicznych układów mechanicznych. Stosuje do tego celu wspomaganie komputerowe za pomocą bardzo rozpowszechnionego i łatwego w użyciu programu MATHCAD. Wyjaśnia naturę zjawiska drgań mechanicznych i jego znaczenie w technice oraz wpływ na...
-
Możliwości komputerowego wspomagania interaktywnych ćwiczeń i testów.
PublikacjaArtykuł dotyczy tworzenia interaktywnych obiektów uczących w środowiskach zdalnego nauczania. Opisano zalecenia standardu SCORM dotyczące sposobu tworzenia obiektów z wykorzystaniem języka XML. Omówiono problemy z implementacją pytań i testów w interaktywnych materiałach dydaktycznych. Wyróżniono typy pytań i testów możliwe do realizacji w technologiach internetowych. Wskazano na konieczność budowy narzędzi, które umożliwią nauczycielom...
-
Processing of musical data employing rough sets and artificial neural networks
PublikacjaArtykuł opisuje założenia systemu automatycznej identyfikacji muzyki i dźwięków muzycznych. Dokonano przeglądu standardu MPEG-7, ze szczególnym naciskiem na parametry opisowe dźwięku. Przedyskutowano problemy analizy danych audio, związane z zastosowaniami wykorzystującymi MPEG-7. W oparciu o eksperymenty przedstawiono efektywność deskryptorów niskiego poziomu w automatycznym rozpoznawaniu dźwięków instrumentów muzycznych. Przedyskutowano...
-
Les transducteurs à sorties variables
PublikacjaW przetwarzaniu języka naturalnego słowniki elektroniczne wiążą ze słowami informacje. Najwydajniejsza reprezentacja takich słowników używa maszyn ze skończoną liczbą stanów (automatów prostych lub automatów Mealy'ego). W tym artykule wzorując się na algorytmach bezpośredniej budowy minimalnego automatu deterministycznego proponujemy nowy typ automatu Mealy'ego. Ta nowa forma pozwala na szybkie obliczanie informacji wyjściowej...