Filters
total: 1712
filtered: 797
-
Catalog
- Publications 797 available results
- Journals 20 available results
- Publishing Houses 1 available results
- People 66 available results
- Inventions 4 available results
- Projects 10 available results
- Research Teams 2 available results
- Research Equipment 1 available results
- e-Learning Courses 545 available results
- Events 55 available results
- Open Research Data 211 available results
Chosen catalog filters
Search results for: SILOSOWA MUZYKA
-
Ryzyko płynności a poziom płynności finansowej przedsiębiorstw w Polsce
PublicationW artykule przedstawiono problem płynności w przedsiębiorstwach w Polsce. Wskazano, że postępujące ryzyko płynności, wyrażające się m.in. zatorami płatniczymi, wymaga jego ograniczania. Literatura przedmiotu wyraźnie wskazuje na kształt procesu zarządzania tym ryzykiem, lecz firmy nie przywiązują dostatecznej wagi do działań kształtujących płynność wewnątrz przedsiębiorstwa. Proces zarządzania ryzykiem płynności ma często charakter...
-
Providing for continuous risk management in distributed software projects.
PublicationArtykuł prezentuje koncepcję ciągłego zarządzania ryzykiem w rozproszonych projektach informatycznych. Proponowane podejście koncentruje się na dostarczeniu uczestnikom projektu szerokiego i łatwo dostępnego kanału komunikacyjnego, przez który mogą oni komunikować informację o ryzyku. Zebrane informacje mogą być później analizowane pod różnymi kątami tak, by wybrać największe zagrożenia dla projektu lub też by prześledzić...
-
XXX Europejskie Dni Dziedzictwa. Zaspa Nova, wystawa projektów studenckich
PublicationWystawa stanowi element projektu 30. obchodów Europejskich Dni Dziedzictwa, z podtytułem tegorocznej edycji: „Połączeni Dziedzictwem”. Nowe spojrzenie i włączenie elementów własnej kultury reprezentowane studentów z Niemiec, Hiszpanii, Turcji, Szkocji, Kraju Basków, Włoch, Grecji i Portugalii pozwala nam, gdańszczanom spojrzeć na znane dobrze osiedle z innej perspektywy. Projekty pokazują nieoczekiwane interpretacje odkrywające...
-
Efektuacyjność modelu mentalnego przedsiębiorczości
PublicationArtykuł prezentuje dwa modele przedsiębiorczości: tradycyjny (kauzalny) i efektuacyjny. Zgodnie z modelem kauzalnym najważniejszymi czynnikami sukcesu firmy jest strategiczne planowanie i konkurencyjność. W modelu efektuacyjnym znaczenie mają posiadane przez przedsiębiorcę zasoby, elastyczne reagowanie na szanse pojawiające się w otoczeniu i budowanie relacji biznesowych z otoczeniem. Celem artykułu jest ocena efektuacyjności mentalnego...
-
Zarządzanie bezpieczeństwem w złożonych obiektach i instalacjach krytycznych
PublicationW rozdziale scharakteryzowano wybrane metody wspomagające zarządzanie bezpieczeństwem w systemach technicznych, w tym metodę RCM (reliability-centered maintenance) polegającą na proaktywnej obsłudze, której celem jest nie dopuszczać lub przynajmniej ograniczać skutki potencjalnych uszkodzeń oraz metodę RBM (risk-based maintanance) i procedurę RIMAP (risk-based inspection and maintanance procedures) stosowaną w zarządzaniu bezpieczeństwem...
-
Functional safety and security management in critical systems
PublicationGłównym celem referatu jest przedstawienie wybranych kwestii zarządzania bezpieczeństwem i ochroną w systemach podwyższonego ryzyka i systemach krytycznych. Zarysowuje się kilka praktycznych problemów analizy bezpieczeństwa funkcjonalnego w celu podejmowania decyzji zgodnie z normami międzynarodowymi IEC 61508 i IEC 61511. Podkreśla się, że aspekty związane z ochroną powinny być starannie rozpatrzone zarówno w fazie projektowania,...
-
An environmental risk measure of ships
PublicationW referacie wyszczególniono najistotniejsze rodzaje zanieczyszczeń emitowanych przez statki do środowiska naturalnego. Przeprowadzono krótką dyskusję norweskiej propozycji indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego. Jest to model strategii liniowej. Wiąże w jedną wartość liczbową prawdopodobieństwa uwolnienia zanieczyszczeń ze statku...
-
Płynność w działalności przedsiębiorstw - zarządzanie i ryzyko
PublicationNiniejsza publikacja została poświęcona problematyce kształtowania płynności finansowej. Głównym celem jest wskazanie i ocena działań przedsiębiorstw w zakresie generowania tzw. optimum płynności, rozumianego jako zachowanie równowagi między wartością rynkową i wewnętrzną wartością płynności przedsiębiorstwa. W opinii Autorki stosowane przez przedsiębiorstwa działania nie wyczerpują wszystkich metod, pozwalających na zapewnienie...
-
Matematyczny świat wirusów i bakterii
PublicationKiedyś, mówiąc o zastosowaniach matematyki, przychodziła nam na myśl głównie fizyka. Dziś wiemy, że matematyka ma ważne zastosowania również w biologii i medycynie. To, jak szybko rozwijają się bakterie i wirusy oraz jak szybko odpowiada na ich obecność nasz układ odpornościowy, można opisać językiem matematyki. Głównym narzędziem służącym do opisu tempa zmiany interesującej nas wielkości jest pochodna. Dzięki pochodnej możemy przewidzieć...
-
Naukowe podstawy projektowania geotechnicznego : między teorią, a praktyką
PublicationW artykule przedstawiono problemy, przed jakimi stoi współczesny inżynier geotechnik, zaangażowany w proces projektowania bezpiecznych, a jednocześnie ekonomicznych posadowień. Zaakcentowano najważniejsze aspekty dyscypliny, którą literatura anglojęzyczna określa jako geomechanika obliczeniowa (computational geomechanics). Przedstawiono również współczesne metody badawcze, niezbędne przy efektywnym projektowaniu oraz zakres ich...
-
Inwestycje alternatywne i ich korelacja z rynkiem inwestycji tradycyjnych
PublicationW referacie przedstawiono pojęcie oraz atrybuty inwestycji alter-natywnych w kontekście funkcjonowania inwestycji tradycyjnych. Wy-znaczone zostały również współczynniki korelacji liniowej Pearsona po-między stopami zwrotu inwestycji tradycyjnych (reprezentowanymi przez indeksy WIG, WIG20, mWIG40 oraz sWIG80) i alternatywnych (reprezentowanymi przez złoto, srebro, platynę, pallad i ropę naftową). W ten sposób zbadano, czy wybrane...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublicationCelem artykułu jest próba znalezienia podejścia ułatwiającego projektowanie/dostosowanie nowoczesnych technologii dla osób powyżej 65 roku życia. Do projektowania zdecydowano się wykorzystać język korzyści i systemy ekspertowe. W pierwszej części artykułu opisane zostały statystyki związane z użytkowaniem Internetu przez osoby starsze na przestrzeni siedmiu lat. Druga i trzecia część została poświęcona przybliżeniu pojęcia systemów...
-
Metody identyfikacji miejsc niebezpiecznych na sieci dróg
PublicationW artykule przedstawiono metodę identyfikacji miejsc niebezpiecznych na sieci dróg bazującej na ryzyku, jako elemencie systemu zarządzania bezpieczeństwem infrastruktury drogowej na przykładzie sieci dróg krajowych. Przedstawiono doświadczenia zagraniczne identyfikacji miejsc niebezpiecznych i uwarunkowania prawne w Polsce wdrażające konieczność identyfikacji miejsc niebezpiecznych na sieci TEN-T. W ostatniej części zaprezentowano...
-
Metodologiczne aspekty opisowego modelowania w naukach ekonomicznych
PublicationPrzedmiot badań ekonomicznych, jako system złożony, podlega modelowaniu. Etapy dekompozycji i jakościowego opisu modelowanego systemu, w tym systemu gospodarczego, są nieodzowne w prawidłowym prowadzeniu badań naukowych. Z drugiej strony modelowanie w ekonomii nie powinno być pozbawione matematycznego języka opisu, ponieważ konstruując model wyjaśniający, należy posługiwać się zarówno modelem opisowym, jak i sformalizowanym. Tak...
-
Application of biocompatible and ultrastable superparamagnetic iron(iii) oxide nanoparticles doped with magnesium for efficient magnetic fluid hyperthermia in lung cancer cells
Publication -
Skuteczność klasyfikacji gatunków muzycznych za pomocą sieci neuronowej w zależności od typu danych wejściowych
PublicationRozpoznawanie gatunku muzycznego jest jednym z podstawowych elementów inteligentnych systemów tworzenia automatycznych list muzyki. Platformy strumieniowe oferujące taką usługę wymagają rozwiązań, które umożliwią jak najdokładniej określić przynależność utworu do gatunku muzycznego. Zgodnie z aktualnym stanem wiedzy – najskuteczniejszym klasyfikatorem są sztuczne sieci neuronowe (w tym w wersji uczenia głębokiego), dla których...
-
Integracyjna metoda konstruowania aplikacji
PublicationZaproponowano metodę wytwarzania oprogramowania IMAC, która może stanowić pewien przełom w inżynierii oprogramowania na miarę jaką stanowiło wprowadzenie języków obiektowych zwłaszcza dla aplikacji rozproszonych do zastosowań biznesowych. W metodzie tej proponuje się ścisłe powiązanie analizy, projektu i implementacji w jednym, spójnym środowisku graficznym i stosowanie wspólnego języka modelowania i implementacji IML. Głównym...
-
Diagnostyka weryfikacyjna podsystemów i urządzeń
PublicationRozdział dotyczy diagnostyki weryfikacyjnej podsystemów i urządzeń technologicznych. Diagnostykę techniczną podzielono na diagnostykę uszkodzeniową, która zajmuje się identyfikacją i lokalizacją uszkodzeń i defektów maszyn lub jego podzespołów oraz na diagnostykę weryfikacyjną, której zadaniem jest kontrola i ciągła weryfikacja istotnych parametrów z przyjętym ich modelem, traktowanym jako wzorcowy. Diagnostykę weryfikacyjną można...
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie się, a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna....
-
Timing diagrams functionalities in information systems modeling with UML 2
PublicationArtykuł prezentuje aktualną klasyfikację diagramów interakcji języka UML 2 i przedstawia właściwości nowego diagramu tj. diagram harmonogramowania. W artykule omówiono ich istotę oraz podstawowe i zaawansowane kategorie ich modelowania. Diagram ten umożliwia reprezentowanie na osi czasu zmian dopuszczalnych stanów klasyfikatorów uczestniczących w interakcji. Możliwość harmonizacji linii zmian stanów dla większej liczby klasyfikatorów...
-
Zastosowanie specjalnego uziemienia żył powrotnych w liniach kablowych SN
PublicationW artykule porównano metody uziemiania żył powrotnych kabli średniego napięcia. Głównym kryterium oceny poszczególnych rozwiązań było ograniczenie strat w przesyle energii elektrycznej oraz zapewnienie ochrony przeciwprzepięciowej osłon kabli. Na podstawie symulacji kabli zamodelowanych w programie CYMCAP i otrzymanych wyników obciążalności prądowej i strat w linii zaprezentowano metodę krzyżowania żył powrotnych (CB – cross-bonding...
-
Перевод английских заглавий фильмов в Польше и в России
PublicationArtykuł jest poświęcony problemowi przekładu angielskich tytułów filmowych, które w polskiej dystrybucji figurują pod nazwami oryginalnymi bądź zostały przetłumaczone tylko częściowo. Autorka wychodzi od poziomu znajomości języka angielskiego zarówno w Polsce, jak i w Rosji, który w pewnym stopniu może wpływać na wspomnianą praktykę, a następnie podaje przykłady tytułów, które z różnych powodów nie zostały przełożone na język polski...
-
Alternatywne do R134a czynniki proponowane jako płyny robocze w klimatyzacji samochodowej i innych instalacjach chłodniczych o małej wydajności. Część 3. Zamienniki dla R134a w kontekście projektowania parowników instalacji chłodniczych i klimatyzacyjnych
PublicationW wyniku wycofania czynników CFC i HCFC ze względu na ich szkodliwy wpływ na warstwę ozonową, wprowadzono nowe ich odpowiedniki. Zaczęto jednak podnosić krytyczne opinie co do ryzyka związanego z ich wprowadzaniem do instalacji chłodniczych i klimatyzacyjnych. W ostatnich latach, uwagę w związku z tym coraz bardziej koncentruje się na naturalnych czynnikach chłodniczych. W poprzednich częściach przedstawiono analizę klasycznych...
-
Analiza niezawodności człowieka z uwzględnieniem aspektów zarządzania alarmami
PublicationW artykule przedstawiono zagadnienie analizy warstwowego systemu zabezpieczeń z uwzględnieniem błędu człowieka-operatora. W analizie bezpieczeństwa funkcjonalnego systemów sterowania i zabezpieczeń istotną kwestią jest dokonanie redukcji ryzyka poprzez warstwy zabezpieczeniowo ochronne. W referacie przeanalizowano system składający się z trzech warstw: podstawowego systemu sterowania BPCS, systemu alarmowego AS oraz systemu automatyki...
-
The formal safety assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublicationTragedia jednego ze statków typu ro-ro pokazała podatność tego typu statków na utratę stateczności, przewrócenie a w ostateczności zatonięcie. Wszystkie ro-rowce charakteryzują się małym zanurzeniem, a wynurzona część kadłuba podatna jest na działanie wiatru. Jeżeli dodatkowo w takich warunkach dochodzi element nieprawidłowego rozmieszczenia pojazdów i ich słabego zamocowania to groźba przesunięcia ładunku staje się realna. W konsekwencji...
-
Szacowanie miar bezpieczeństwa ruchu drogowego dla potrzeb oceny efektywności inwestycji drogowych
PublicationKoszty wypadków drogowych to jeden z elementów składowych kosztów, które stanowią podstawę do analiz efektywności ekonomicznej inwestycji drogowych. Obok kosztów eksploatacji pojazdów, czasu podróży i czasu pracy oraz kosztów emisji spalin i hałasu, koszty wypadków drogowych decydują o tym czy dana inwestycja będzie opłacalna z punktu widzenia efektywności ekonomicznej. Prawidłowe wyliczenie kosztów wypadków dla planowanych inwestycji...
-
Internet w służbie historii. Zbiory muzealne Sekcji Historycznej BPG w przestrzeni internetowej
PublicationChoć liczne są funkcje, jakie mogą pełnić strony internetowe –zadania informacyjne, marketingowe, kontaktowe (komunikacyjne),społecznościowe, płatnicze czy rezerwujące – każda witryna WWWzostała przede wszystkim stworzona do przekazywania informacji. Zatakie możemy również uznać informacje na temat posiadanych przezmuzea zbiorów, a dynamiczny rozwój Internetu jako globalnego mediumwymusza...
-
Rozwój cywilizacyjny i technologiczny jako czynnik kształtujący obraz miejskiej przestrzeni = Technological and civizational evolution as a factor that forms the urban space
PublicationDostrzeżenie zależności pomiędzy formą, funkcjonalnością, estetyką jest dla projektanta istotną częścią procesu projektowego.Walory estetyczne nie koniecznie muszą się łączyć z funkcjonalnością. Widoczne jest to na przykładzie rozwoju miast. Stare struktury miejskie nie odpowiadają potrzebom współczesnych mieszkańców.Jednocześnie istnieje potrzeba troski o nie. Pojawia się także kwestia odpowiedzi jak zachować takie miasta. czy...
-
Functional safety and human factors
PublicationRozdział przedstawia istotny problem uwzględnienia czynników ludzkich (H&OF) w analizie bezpieczeństwa funkcjonalnego, które wpływają istotnie na bezpieczeństwo przemysłowych obiektów podwyższonego ryzyka, nie ujęty jednak w normach bezpieczeństwa funkcjonalnego. Przedstawia się metody analizy niezawodności człowieka (HRA) w kontekście tych czynników, które wpływają na błędy człowieka. Czynniki ludzkie i organizacyjne powinny być...
-
Niezrywalne depozyty terminowe w świetle Bazylei III i polskich uregulowań prawnych
PublicationPropozycje Komitetu Bazylejskiego dotyczące miar płynnościowych (LCR i NSFR) zawierają wyrażone liczbowo, za pomocą wag nadzorczych, opinie o ryzyku płynności poszczególnych klas pasywów. Zgodnie z Basel 3, w sytuacji napięć płynnościowych brak jest istotnych różnic pomiędzy depozytami bieżącymi a lokatami terminowymi posiadającymi opcję zerwania. Korzystniejsze wagi nadzorcze otrzymują depozyty niezrywalne (czyli: prawdziwe lokaty...
-
Zatory płatnicze a odroczone płatności
PublicationUdzielanie kredytu kupieckiego jest wpisane w działalność każdego przedsiębiorstwa. Odroczone płatności sprzyjają wzrostowi sprzedaży, ale również mogą powodować perturbacje w ich funkcjonowaniu. Wpływają na funkcjonowanie przedsiębiorstwa w warunkach ryzyka kredytowego, które przekształca się często w ryzyko płynności. W efekcie tworzą się zatory płatnicze. Celem artykułu jest przedstawienie zatorów płatniczych jako skutków odroczonych...
-
Powikłania po rekonstrukcji piersi: problem zakażeń i strategii prewencyjnej - przegląd literaturowy
PublicationW niniejszej pracy przedstawiono dane dotyczące powikłań po rekonstrukcji piersi. Manuskrypt ma na celu usystematyzowanie wyników badań z ostatnich lat wraz z aspektami, takimi jak: częstotliwość występowania powikłań oraz ich rodzaj, czynniki predysponujące, a także możliwości profilaktyki. Przeanalizowano dane literaturowe z ogólnie dostępnych artykułów z okresu ostatnich pięciu lat, ze szczególnym uwzględnieniem zakażeń. Do...
-
<p>Analysis of toxicity and anticancer activity of micelles of sodium alginate-curcumin</p>
Publication -
The agr function and polymorphism: Impact on Staphylococcus aureus susceptibility to photoinactivation
Publication -
Usability of UML modeling tools
PublicationNarzędzia wspomagające modelowanie w UML pełnią istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Badanie użyteczności tych narzędzi ma na celu poprawę produktywności oraz satysfakcji z ich użytkowania. W referacie zaprezentowano badania użyteczności za pomocą trzech metod: eksperymentalnego testowania efektywności, zapytań o aspekty użyteczności testowanych narzędzi oraz analitycznej metody GOMS (ang. Goals, Operators,...
-
Dynamic Perfect hashing with finite-state automata
PublicationMinimalna doskonała funkcja mieszająca dostarcza odwzorowania zbioru n niepowtarzalnych słów w zwarty zakres n liczb całkowitych. Gdy jest realizowane za pomocą automatów skończonych, odwzorowanie wynika z porządku słów (zwykle alfabetycznego) w zbiorze. Dodanie nowych słów zmieniłoby porządek słów rozpoznawanych przez automat, zmieniając całe odwzorowanie i czyniąc je bezużytecznym w wielu dziedzinach. Dlatego nazywamy je statycznym....
-
Cechy użytkowe kładek dla pieszych.
PublicationReferat zawiera zbiór uwag na temat własności użytkowych kładek dla pieszych. pieszych części pierwszej omówiono zagadnienia geometryczne związane z planowaniem kładek w zależności od ich przeznaczenia. Następnie zasygnalizowano problemy bezpieczeństwa związane z kładkami szczególnie podkreślając zespół ryzyka, jakie stwarza kładka dla użytkowników i otoczenia. Na koniec przedstawiono cechy mechaniczne nowoczesnych kładek dla pieszych....
-
Designing world closures for knowledge-based system engineering
PublicationWraz z rozwojem komponentów opartych na wiedzy przed inżynierami oprogramowania postawione zostały nowe zadania. Jednym z nich jest zintegrowanie tych komponentów z innymi standarodowymi komponentami. Zrealizowanie tego zadania wymagało zdefiniowania języka komunikacji pomiędzy różnymi komponentami w celu wymiany informacji. W artykule omówiono problem wymiany informacji pomiędzy komponentami opartymi na wiedzy i komponentami opartymi...
-
Machine learning system for estimating the rhythmic salience of sounds.
PublicationW artykule przedstawiono badania dotyczące wyszukiwania danych rytmicznych w muzyce. W pracy przedstawiono postać funkcji rankingujacej poszczególnych dźwięków frazy muzycznej. Opracowano metodę tworzenia wszystkich możliwych hierarchicznych struktur rytmicznych, zwanych hipotezami rytmicznymi. Otrzymane hipotezy są następnie porządkowane w kolejności malejącej wartości funkcji rankingującej, aby ustalić, która ze znalezionych...
-
Pieprzyk Pypcio Znamienity
PublicationPrzepiękna i edukacyjna książka opowiadająca o losach pieprzyka o imieniu Pypcio Znamienity, jego rodziny i dalekiego kuzyna Czarnego. Domem dla naszych bohaterów jest skóra Melanii, która uwielbia wycieczki na plażę.W książeczce oprócz zabawnej, wciągającej i wzruszającej przygody czytelnicy znajdą edukacyjne plansze, które pomogą im zrozumieć na czym polega wizyta u dermatologa, jak przebiega zabieg wycięcia pieprzyka,...
-
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiony został autorski moduł oprogramowania ProSIL wspomagający zarządzanie bezpieczeństwem funkcjonalnym. W module ProSILen wykorzystuje się metody matrycy oraz grafów ryzyka. Referat nawiązuje w swej tematyce do zagadnień związanych z etapem określania specyfikacji wymagań bezpieczeństwa dla zidentyfikowanych funkcji bezpieczeństwa realizowanych przez systemy E/E/PE. Składa się ona z dwóch podstawowych grup...
-
Model dynamicznego balastowania małego morskiego obiektu typu stealth
PublicationW artykule przedstawiono podstawowe problemy związane z modelowaniem głównych cech decydujących o trudno-wykrywalności małego obiektu na etapie projektu koncepcyjnego. Metoda badawcza oparta jest na ocenie zachowania się obiektu i ocenie ryzyka wypadku. W artykule skupiono się głównie na przedstawieniu modelu matematycznego opisującego model dynamicznego balastowania małego morskiego obiektu typu stealth. Przedstawione w artykule...
-
Oszacowanie zagrożenia powodziowego dla budynku biurowo-usługowego Alchemia II przy al. Grunwaldzkiej 409 w Gdańsku
PublicationCelem pracy jest oszacowanie zagrożenia powodziowego wynikającego z natural-nych zjawisk meteorologiczno-hydrologicznych dla budynku biurowo-usługowego Alchemia II zlokalizowanego w Gdańsku przy al. Grunwaldzkiej 409. Zakres projektu obejmuje analizę potencjalnych źródeł zagrożenia powodziowego w Gdańsku z uwzględnieniem wód Morza Bałtyckiego i Zatoki Gdańskiej, dorzecza Wisły oraz wód opadowych i roztopowych kształtu-jących procesy...
-
Porównanie protokołów umożliwiających samorekonfigurację sieci Ethernet.
PublicationPrzedstawiono protokoły warstwy łącza danych stosowane w sieciach Ethernet wtym: algorytm drzewa opinającego - przeciwdziałający krążeniu ramek w sieci LAN (protokół ten z jednej strony ogranicza całkowitą przepustowość sieci, zdrugiej zaś umożliwia automatyczną rekonfigurację sieci w przypadku uszkodzenia łączy lub węzłów); algorytm agregacji łączy - umożliwiający zwiększenie transferu danych między przełącznikami bez zwiększania...
-
Genetics algorithms in multi-objective optimization of detection observer
PublicationW 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...
-
A model-based approach to analysis of authentication protocols.
PublicationW 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ń...
-
KQL - język dostępu do konglomeratowych baz wiedzy
PublicationJednym z kierunków rozwoju systemów informatycznych w ostatnich latach jest ewolucja systemów opartych na danych do systemów opartych na wiedzy. W ramach tego procesu są prowadzone prace między innymi nad nowymi reprezentacjami wiedzy i językami dostępu do wiedzy. Języki dostępu do baz wiedzy są w dużej mierze uzależnione od metod reprezentacji wiedzy, ponieważ operują na jej elementach. Wraz z zaproponowaniem konglomeratowej reprezentacji...
-
Assessment of occupational risk in technical undertakings
PublicationSummary An undertaking - as a new and often single action - in its nature creates problems with predicting the realization of planned aims. Each undertaking bears some risk. Protection of a man who carries out an undertaking is even a more difficult task. The article offers a method of estimating potential risks connected with labour conditions on the basis of risk evaluation at the stage of undertaking planning.Streszczenie Realizacja...
-
Metody wspomagania wyszukiwania informacji
PublicationWyszukiwanie informacji analizowane może być z perspektywy użytkownika i w kontekście tego, jakie czynności może on podjąć, aby odnaleźć interesujące go informacje bez wsparcia ze strony analizatora języka. Użytkownicy stosują wyszukiwarki internetowe, jednak często nie są świadomi pełnego zakresu ich możliwości. Wyszukiwanie za pomocą wyszukiwarek polega na wprowadzaniu zapytań w polu tekstowym. Opracowane zostały liczne metody...
-
Rzeczywistość rozszerzona – potencjał w kształceniu (przyszłych) pomorskich inżynierów
PublicationEdukacja młodzieży w zakresie nauk eksperymentalnych – takich jak chemia i fizyka – stanowi obecnie w obliczu ograniczeń zaplecza dydaktycznego w szkołach ogromne wyzwanie. Placówki edukacyjne nie posiadają często odpowiednich laboratoriów, lecz dysponują pracowniami komputerowymi. W ramach Projektu EDUAR, współfinansowanego przez NCBiR, przeprowadzono badania w 20 szkołach – po 10 z obszarów wiejskich i miejskich, podczas których...