Filters
total: 2395
filtered: 1157
-
Catalog
- Publications 1157 available results
- Journals 21 available results
- Publishing Houses 6 available results
- People 194 available results
- Inventions 5 available results
- Projects 20 available results
- Laboratories 5 available results
- Research Teams 11 available results
- Research Equipment 1 available results
- e-Learning Courses 768 available results
- Events 38 available results
- Open Research Data 169 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: FIZYKA MATEMATYCZNA
-
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...
-
Перевод английских заглавий фильмов в Польше и в России
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...
-
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...
-
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...
-
Relationship between heavy metal distribution in sediment samples and their ecotoxicity by the use of the Hasse diagram technique
PublicationOpisane badania wskazują, że istnieje nowe podejście oszacowywania ryzyka zanieczyszczenia określonych przedziałów środowiska morskiego dzięki równoczesnemu monitorowaniu zawartości metali ciężkich i parametrów ekotoksykologicznych. Rutynowe podejście stosuje oddzielnie wskaźniki zawartości metali ciężkich i wskaźniki ekotoksykologiczne w celu wykrycia zależności między poziomami zawartości metali ciężkich a mierzalnymi parametrami...
-
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...
-
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...
-
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...
-
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ć...
-
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...
-
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...
-
Hybrydowe modele i metody modelowania układów mechanicznych
PublicationW monografii przedstawiono metody modelowania układów mechanicznych umożliwiające uzyskanie odpowiednio dokładnych modeli niskiego rzędu. Jedną z nich jest dyskretno-ciągła metoda pryzm (DCMP). Łączy ona zalety metod modelowania układów ciągłych o parametrach rozłożonych i dyskretyzowanych przestrzennie o parametrach skupionych. Jej opis matematyczny wyprowadzono posługując się metodami sztywnych elementów skończonych i transmitancji...
-
Niszczenie wodorowe złączy spawanych ze stali ferrytyczno - austenitycznych typu superdupleks
PublicationPraca dotyczy problematyki niszczenia wodorowego stali superdupleks URANUS 52N+, w szczególności złączy spawanych wykonanych z tej stali z różną ilością wprowadzonego ciepła spawania. Całość opracowania składa się z dwóch części. Część pierwsza to przegląd literatury omawiający głównie wpływ wodoru oraz spawania na strukturę i własności stali dupleks. Część druga, doświadczalna zawiera tezę i cele rozprawy, charakterystykę badanego...
-
Opracowanie deskryptora nawierzchni drogowej do oceny oporu toczenia opon samochodowych
PublicationNa początku niniejszej pracy pt. „Opracowanie deskryptora nawierzchni drogowej do oceny oporu toczenia opon samochodowych” przedstawiono zagadnienia dotyczące oporów ruchu pojazdu. Omówiono metody zarówno drogowe, jak i laboratoryjne badań oporu toczenia opon samochodowych. Zaprezentowano przykładowe wartości współczynników oporu toczenia opon na różnych rodzajach nawierzchni. Kolejno omówiono metody pomiaru tekstury nawierzchni....
-
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...
-
Badania polowe i analiza modalna trybuny stalowej
PublicationNiegdyś trybuny stalowe wykorzystywane były tylko podczas wydarzeń sportowych. Dzięki swoim zaletom dziś spotkać możemy je podczas koncertów muzycznych, wystaw, festiwali, gdzie dużej liczbie ludzi towarzyszy głośna muzyka. Użycie lekkich i smukłych elementów konstrukcyjnych, które wraz z nieprzewidywalnym zachowanie się tłumu oraz głośną muzyką przyczyniają się do niskich wartości częstotliwości drgań przez co łatwiej wzbudzają...
-
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...
-
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...
-
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...
-
Proposal of the interpretation of technical systems operation to determine their safety and reliability indices.
PublicationW artykule zaproponowano interpretację wartościującą działania, które (podobnie jak przedstawione w fizyce działania Hamiltona i Maupertiusa oraz działanie wynikające ze zmiany pędu ciała) jest rozpatrywane jako wielkość fizyczna o jednostce miary zwanej dżulosekundą [dżulsekunda]. Przedstawiono oryginalna metodę analizy i oceny działania systemu technicznego z uwzględnieniem jego niezawodności i bezpieczeństwa funkcjonowania....
-
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ń...
-
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....
-
Eksperymentalne i numeryczne badania parametrów dynamicznych trybuny stalowej
PublicationTrybuny stalowe to konstrukcje, które odnajdują swoje zastosowanie głównie podczas wydarzeń sportowych, koncertów muzycznych oraz innych wydarzeń, którym towarzyszą rytmiczne aktywności widzów i głośna muzyka. Ze względu na smukłość oraz lekkość elementów z jakich wykonana jest konstrukcja trybuny jest ona bardzo łatwo wzbudzana przez ludzi do drgań. Z przeprowadzonej w pracy [4] analizy modalnej wynika, że masa ludzi prowadzi...
-
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...
-
Wpływ mieszania wody podziemnej z różnych pięter wodonośnych na jej stabilność chemiczną i biologiczną w sieci wodociągowej
PublicationW pracy przedstawiono wyniki badań nad wpływem mieszania wód pochodzących z dwóch różnych pięter wodonośnych (wód czwartorzędowych, uzdatnionych oraz wód kredowych, nieuzdatnionych) na ich fizykochemiczną i biologiczną stabilność. Oznaczenie ogólnej liczby bakterii żywych i martwych w próbkach wody wykonano w preparatach mikroskopowych wybarwionych fluorochromem DAPI. Badania fizykochemicznej stabilności wody na podstawie potencjalnej...
-
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...
-
BADANIA POLOWE PARAMETRÓW DYNAMICZNYCH ELEMENTÓW TRYBUNY O KONSTRUKCJI STALOWEJ
PublicationW tym artykule przedstawione zostały wyniki badań polowych dotyczące trybuny stalowej poddanej obciążeniom dynamicznym. Trybuny stalowe to konstrukcje, które odnajdują swoje zastosowanie głównie podczas wydarzeń sportowych, koncertów muzycznych oraz innych wydarzeń, którym towarzyszą rytmiczne aktywności widzów i głośna muzyka. Wzajemne oddziaływanie pomiędzy konstrukcją a ludźmi powinno zostać przeanalizowane zwłaszcza wtedy gdy...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublicationTekst 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...
-
Marka a postrzeganie nowych produktów
PublicationNiniejszy 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...
-
Innowacyjne technologie CAx / PLM
PublicationWyzwania 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
PublicationArtykuł 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...
-
Zarządzanie bezpieczeństwem funkcjonalnym w przemyśle
PublicationNiniejszą 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
PublicationArtykuł 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...
-
Ewolucja chemotaksji organizmów jednokomórkowych w dwuwymiarowym środowisku
PublicationOpracowany przez nas model środowiska oparty jest na fizyce dyfuzji płynów i umożliwia symulację dyfuzji morfogenów. Sztuczne organizmy w tym środowisku wykazują chemotaksję: poruszają się reagując na zmianę stężenia substancji chemicznych. Organizm sterowany jest za pomocą sieci genowej kodowanej w liniowym genomie. Organizmy rozmnażają się przez podział. Przeprowadziliśmy szereg doświadczeń pozwalających na obserwację zachowania...
-
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...
-
Środowisko wspomagające zarządzanie ryzykiem w przedsięwzięciach informatycznych.
PublicationArtykuł 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.
PublicationW 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
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...
-
Analiza niezawodności człowieka-operatora w kontekście bezpieczeństwa funkcjonalnego.
PublicationArtykuł 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...
-
Modelowanie spalania w pojedynczym płomieniu przy wysokotemperaturowym podgrzewie utleniacza
PublicationRozprawa dotyczy badań eksperymentalnych procesów spalania paliw gazowych, ze szczególnym uwzględnieniem paliwa niskokalorycznego pochodzącego z gazyfikacji biomasy, w utleniaczu o wysokiej temperaturze i stosunkowo niskiej zawartości tlenu. Zaprojektowano i zbudowano stanowisko badawcze, umożliwiające uzyskanie środowiska utleniającego o kontrolowanej temperaturze i zawartości tlenu na bazie spalin wytwarzanych podczas konwencjonalnego...
-
Environmental Implications of Oil Spills from Shipping Accidents
PublicationWzrost znaczenia ropy naftowej w XX wieku i w związku z tym, zwiększenie się światowej floty tankowców zwróciły uwagę na negatywne skutki transportu morskiego. Katastrofy z udziałem tankowców pokazały, jak dramatyczne w skutkach mogą być wycieki produktów ropopochodnych z uszkodzonych lub zatopionych jednostek. Skutki wycieku ropy na morzu zależą od wielu czynników, takich jak parametry fizyko-chemiczne paliwa, charakterystyka...
-
Sczepność międzywarstwowa w nowobudowanych nawierzchniach w Polsce
PublicationW artykule przedstawiono analizę wyników badań sczepności międzywarstwowej warstw asfaltowych przeprowadzonych na podstawie danych z monitoringu właściwości fizyko-mechanicznych warstw asfaltowych z lat 2012-2013. Monitoring prowadziły Laboratoria Drogowe oddziałów GDDKiA w ramach własnych badań kontrolnych podczas realizowanych inwestycji. Analizie poddano 7043 wyników badań sczepności międzywarstwowej badanych próbek, odwierconych...
-
Rola i dobór wstępnej obróbki surowych widm w analizie jakościowej i ilościowej z wykorzystaniem techniki spektroskopii bliskiej podczerwieni (NIR)
PublicationSpektroskopia bliskiej podczerwieni (NIR) wykorzystuje absorpcję promieniowania elektromagnetycznego w zakresie 12000-4000 cm-1, (780¬2500 nm). Absorpcja NIR pochodzi od nadtonów i drgań kombinacyjnych wiązań C-H, N-H, O-H. Widmo uzyskane techniką NIR jest unikatowym "odciskiem palca" badanej substancji, gdyż zależy zarówno od właściwości fizyko-chemicznych próbki jak i od stanu fazowego oraz postaci krystalicznej jej składników.Widma...
-
Continuous Optimisation Algorithms
PublicationKsiążka poświęcona jest zagadnieniom optymalizacji ciągłej. Oprócz klasycznych algorytmów gradientowych omawiane są w współczesne algorytmy bezgradientowe, które stosowane są z powodzeniem w optymalizacji globalnej. Większość prezentowanych algorytmów określona może być mianem metaheurystycznych. Zaliczyć do nich można metody optymalizacji inspirowane procesami zachodzącymi w przyrodzie, które dalej można dzielić na inspirowane...
-
Rola bibliotekarza w kształtowaniu relacji z użytkownikami.
PublicationOgromną rolę w funkcjonowaniu relacji pomiędzy biblioteką naukową, a środowiskiem akademickim ma czynnik ludzki. Biblioteka jako miejsce gromadzenia i udostępniania zasobów wiedzy, sytuuje bibliotekarza w pozycji niejako pośrednika i przewodnika po tychże zasobach. Pracownicy bibliotek akademickich, w tym bibliotekarze dziedzinowi, muszą sprostać wyzwaniom jakie niesie za sobą szybki rozwój wiedzy, narzędzi i technologii. Wynikające...