Filtry
wszystkich: 1637
wybranych: 736
-
Katalog
- Publikacje 736 wyników po odfiltrowaniu
- Czasopisma 20 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 62 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 9 wyników po odfiltrowaniu
- Zespoły Badawcze 2 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 537 wyników po odfiltrowaniu
- Wydarzenia 54 wyników po odfiltrowaniu
- Dane Badawcze 211 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: muzyka
-
Metody identyfikacji miejsc niebezpiecznych na sieci dróg
PublikacjaW 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
PublikacjaPrzedmiot 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...
-
Functional safety and security management in critical systems
PublikacjaGłó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
PublikacjaW 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...
-
Naukowe podstawy projektowania geotechnicznego : między teorią, a praktyką
PublikacjaW 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...
-
Systemy ekspertowe wykorzystujące język korzyści do projektowania nowoczesnych technologii dla osób starszych
PublikacjaCelem 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...
-
Matematyczny świat wirusów i bakterii
PublikacjaKiedyś, 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ć...
-
Application of biocompatible and ultrastable superparamagnetic iron(iii) oxide nanoparticles doped with magnesium for efficient magnetic fluid hyperthermia in lung cancer cells
Publikacja -
Skuteczność klasyfikacji gatunków muzycznych za pomocą sieci neuronowej w zależności od typu danych wejściowych
PublikacjaRozpoznawanie 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...
-
Перевод английских заглавий фильмов в Польше и в России
PublikacjaArtykuł 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
PublikacjaW 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...
-
Zastosowanie specjalnego uziemienia żył powrotnych w liniach kablowych SN
PublikacjaW 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...
-
Integracyjna metoda konstruowania aplikacji
PublikacjaZaproponowano 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ń
PublikacjaRozdział 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 assesment in conforming to chosen vessel's type on the ground of hydromechanic characteristics in critical conditions.
PublikacjaTragedia 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...
-
The formal safety assessment and influence of human factor in application to chosen ship's type
PublikacjaTragedia 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
PublikacjaArtykuł 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...
-
Analiza niezawodności człowieka z uwzględnieniem aspektów zarządzania alarmami
PublikacjaW 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...
-
Szacowanie miar bezpieczeństwa ruchu drogowego dla potrzeb oceny efektywności inwestycji drogowych
PublikacjaKoszty 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...
-
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
PublikacjaDostrzeż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...
-
Internet w służbie historii. Zbiory muzealne Sekcji Historycznej BPG w przestrzeni internetowej
PublikacjaChoć 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...
-
Functional safety and human factors
PublikacjaRozdział 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
PublikacjaPropozycje 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...
-
Powikłania po rekonstrukcji piersi: problem zakażeń i strategii prewencyjnej - przegląd literaturowy
PublikacjaW 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...
-
Zatory płatnicze a odroczone płatności
PublikacjaUdzielanie 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...
-
<p>Analysis of toxicity and anticancer activity of micelles of sodium alginate-curcumin</p>
Publikacja -
The agr function and polymorphism: Impact on Staphylococcus aureus susceptibility to photoinactivation
Publikacja -
Wspomagane komputerowo określanie wymaganego poziomu nienaruszalności bezpieczeństwa z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW 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...
-
Pieprzyk Pypcio Znamienity
PublikacjaPrzepię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,...
-
A model-based approach to analysis of authentication protocols.
PublikacjaW referacie przedstawiono zintegrowane podejście do analizy protokołów uwierzytelniania o nazwie Object-oriented Formal Authentication Protocol Security Analysis Framework (OF-APSAF). Podejście to jest zaprojektowane na bazie sprawdzonej metody formalnej CSP wraz z narzędziami ją wspierającymi: Casper oraz FDR. Jego integralną częścią jest półformalna zorientowana obiektowo technika modelowania protokołów, ich kontekstu oraz wymagań...
-
Dynamic Perfect hashing with finite-state automata
PublikacjaMinimalna 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.
PublikacjaReferat 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....
-
Model dynamicznego balastowania małego morskiego obiektu typu stealth
PublikacjaW 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...
-
Porównanie protokołów umożliwiających samorekonfigurację sieci Ethernet.
PublikacjaPrzedstawiono 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
PublikacjaW rozdziale przedstawia się możliwości zastosowania podejścia genetycznegodo zagadnień wielokryterialnej optymalizacji w przestrzeniach wielowymiaro-wych z wykorzystaniem koncepcji optymalności w sensie Pareto. Jako przykładilustrujący rozważane podejście daje się zadanie syntezy obserwatorów stanusłużących wykrywaniu błądów występujących w układzie sterowania bezzałogowe-go statku latającego oraz w układzie napędowym jednostki...
-
Designing world closures for knowledge-based system engineering
PublikacjaWraz 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.
PublikacjaW 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...
-
Oszacowanie zagrożenia powodziowego dla budynku biurowo-usługowego Alchemia II przy al. Grunwaldzkiej 409 w Gdańsku
PublikacjaCelem 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...
-
KQL - język dostępu do konglomeratowych baz wiedzy
PublikacjaJednym 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...
-
Marka a postrzeganie nowych produktów
PublikacjaNiniejszy rozdział wprowadza czytelników w tematykę związaną z marką, która odgrywa istotną rolę w procesie urynkowienia nowych produktów. Omówiono w nim pojęcie marki i jej funkcje. Przybliżono też zagadnienie budowania zaufania do produktów, występujące rodzaje ryzyka oraz korzyści dla klienta związane szczególnie z jego sferą emocjonalną.W dalszej części opracowania scharakteryzowano różne podejścia związane z opracowaniem strategii...
-
Ś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ą...
-
Comments on ''Incremental construction and maintenance of minimal finite-state automata'' by Rafael C. Carrasco and Mikel L. Forcada.
PublikacjaW opublikowanym niedawno artykule (czerwiec 2002) Rafael Carrasco i Mikel Forcada przedstawili dwa algorytmy: jeden dotyczący przyrostowego dodawania łańcuchów znaków do języka minimalnego, deterministycznego, cyklicznego automatu skończonego, drugi dotyczący przyrostowego usuwania łańcuchów znaków z automatu. Pierwszy algorytm jest uogólnieniem ,,algorytmu dla danych nieuporządkowanych'' - drugiego z dwóch przyrostowych algorytmów...
-
Assessment of occupational risk in technical undertakings
PublikacjaSummary 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...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublikacjaTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...
-
Metody wspomagania wyszukiwania informacji
PublikacjaWyszukiwanie 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...
-
Zarządzanie bezpieczeństwem funkcjonalnym w przemyśle
PublikacjaNiniejszą pracę poświęcono aktualnym zagadnieniom zarządzania bezpieczeństwem funkcjonalnym w nawiązaniu do wymagań normy międzynarodowej IEC 61508:2010 w kontekście międzynarodowych przewodników dotyczących całościowego zarządzania bezpieczeństwem w zakładach przemysłu procesorowego. Przedstawiono zagadnienia analizy i oceny ryzyka zorientowane na określenie wymaganego poziomu nienaruszalności SIL (Safety Integrity Level) funkcji...
-
Metody rozwiązywania problemu zapisu norm prawnych w postaci ontologii OWL
PublikacjaArtykuł dotyczy problemu zapisu norm prawnych w postaci umożliwiającej systemom komputerowym automatyczne przetwarzanie treści tych norm i ich interpretowanie. Artykuł przedstawia możliwości wykorzystania komputerów do podawania bieżącego stanu prawnego oraz pełnienia funkcji doradczej. W artykule opisana jest realizacja tego zagadnienia opierająca się na zapisie norm prawnych w postaci ontologii wyrażonych w języku OWL. Zapis...
-
Innowacyjne technologie CAx / PLM
PublikacjaWyzwania stawiane przed firmami projektowymi, produkcyjnymi, usługowymi to m.in. rosnące wymagania innowacyjności produktów. Zauważalna jest silna potrzeba wprowadzania nowych produktów wysokiej jakości, w krótkim czasie i konkurencyjnych cenach. Zauważalny jest również aspekt konieczności minimalizowania ryzyka związanego z wprowadzaniem nowych rozwiązań na rynek. W odpowiedzi na te wyzwania wprowadzono nowe technologie wspomagające...
-
DYNAMICZNA APLIKACJA INTERNETOWA SYMULACJI OBWODOWEJ MASZYNY INDUKCYJNEJ. UJĘCIE OBIEKTOWE
PublikacjaArtykuł dotyczy zastosowania dynamicznej aplikacji internetowa do symulacji obwodowej silnika indukcyjnego trójfazowego, wykorzystującej interfejs przeglądarki WWW. Model obwodowy silnika sformułowano w układzie osiach naturalnych i ujęciu metody energetycznej Lagrange’a. Implementację modelu maszyny w aplikacji internetowej wykonano w projekcie typu Web Forms, który jest elementem środowiska Microsoft Visual Studio. Kod programu...
-
Analiza niezawodności człowieka-operatora w kontekście bezpieczeństwa funkcjonalnego.
PublikacjaArtykuł przedstawia niektóre kwestie analizy warstwowego systemu zabezpieczeń instalacji podwyższonego ryzyka z uwzględnieniem analizy niezawodności człowieka HRA (human reliability analysis). Działania człowieka operatora w odniesieniu do systemu operatorskiego HSI (human system interface), w tym systemu alarmowego i potencjalnych błędów człowieka mogą mieć istotny wpływ na wyniki analiz probabilistycznych w procesie weryfikacji...