Filters
total: 3828
-
Catalog
- Publications 2814 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 1 available results
- People 83 available results
- Projects 10 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 69 available results
- Events 5 available results
- Open Research Data 476 available results
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
Differences and mutual connections of the transport safety systems
PublicationKażdego dnia w systemie transportowym na świecie ginie ponad 3 tys. osób, z czego większość w wypadkach drogowych. Z punktu widzenia zarządzania bezpieczeństwem, każdy z systemów gałęziowych jest zorganizowany w inny sposób. Dotyczy to baz danych, instytucji zarządzających infrastrukturą transportową i badających wypadki, systemów monitorujących ruch pojazdów, pociągów i statków. Pomimo wielu odrębności w funkcjonowaniu poszczególnych...
-
Variation in global uptake of the Surgical Safety Checklist
Publication -
Semi-Markov Approach to the Shipping Safety Modelling
Publication -
Operation of diesel engines as the index of their reliability and safety
PublicationPrzedstawiono propozycję ilościowej interpretacji działania systemów technicznych która jest rozpatrywana jako wielkość fizyczna z jednostką miary zwaną dżulosekundą [dżulxsekunda]. Wykazane zostanie też, że taka interpretacja działania może być uznana za wskaźnik niezawodności, a w szczególnych przypadkach - wskaźnik bezpieczeństwa funkcjonowania takiego sytemu. Do uzasadnienia takiej przydatności wspomnianego działania silnika...
-
Methodology for the reliability and safety management of hazardous plants
PublicationArtykuł zarysowuje wybrane aspekty metodyki PRASM do oceny ryzyka i zarządzania bezpieczeństwem złożonych instalacji wysokiego ryzyka. Można definiować szereg miar ryzyka, w tym również ryzyko ekonomiczne. Oceny są oparte na zdefiniowanych kategoriach potencjalnych zdarzeń nienormalnych i scenariuszy awaryjnych z poważnymi skutkami. Metodyka obejmuje identyfikowanie opcji sterowania ryzykiem, ocenianych w analizie kosztów i...
-
Showing compliance of probabilistic assessments with safety goals
PublicationW niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...
-
Environmental safety of a seagoing ship power plant.
PublicationPrzedstawiono probabilistyczne podejście do oceny bezpieczeństwa środowiskowego siłowni statku. Zaproponowano kryterium oceny bezpieczeństwa środowiskowego siłowni statku.
-
Modelling and uncertainty in system analysis for safety assessment.
PublicationArtykuł obejmuje zagadnienia związane z modelowaniem i reprezentacją niepewności i ilościowych oszacowaniach ryzyka. Problem jest istotny w praktyce, ponieważ wystęopujhą wymagania przeprowadzenia ocen niepewności miar probabilistycznych i ryzyka. Dyskutuje się potencjalne żródła niepewności i dokonuje sie przeglądu podstaw teoretycznych reprezentacji niepewności. W modelowaniu systemów zawierających nieprecyzyjnie zdefiniowane...
-
A method of verification diagnostics for functional safety analysis
PublicationProblemy analizy bezpieczeństwa zostały zapoczątkowane w lotnictwie i energetyce jądrowej, a obecnie wprowadzane są szeroko do różnych gałęzi przemysłu, jak przemysł chemiczny, mechaniczny, etrochemiczny, spożywczy, itp. W analizie bezpieczeństwa funkcjonalnego względem przyjętego poziomu SIL wyznacza się prawdopodobieństwa nie wypełnienia określonej funkcji na żądanie (PDF). Do tego celu stosuje się różne metody analityczne, wykorzystuje...
-
THERMOPLASTIC POLYMER MACHINE GUARDS – EXPLOITATION SAFETY
Publication -
Critical Studies: A Journal of Critical Theory, Literature and Culture
Journals -
INCREASING POWER SUPPLY SAFETY IN THE ASPECT OF SUPPORTING THE RENEWABLE ENERGY SOURCES BY CONVENTIONAL AND VIRTUAL POWER STORES
PublicationThis paper presents characteristics and purposefulness of supporting the renewable energy sources (OZE) by means of energy stores. The main emphasis was placed on analysis of virtual energy stores available for implementation in Polish economy conditions. A role which management of Demand Side Response (DSR) may play in balancing Polish electric power system, is discussed. Implementation of such solutions together with conventional...
-
<title>Software layer for SIMCON ver. 2.1. FPGA based LLRF control system for TESLA FEL part I: system overview, software layers definition</title>
Publication -
Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes
PublicationThe paper presents implementation process of basic principle simulators of a nuclear reactor processes. Simulators are based on point-models of processes: kinetics of neutrons, heat generation and exchange, poisoning and burning-up nuclear fuel. Reference simulator was developed in MATLAB/Simulink without taking into account real-time operation. Second simulator was built using the toolbox xPC with hard real-time requirements....
-
Extracorporeal staple technique: an alternative approach to the treatment of critical colostomy stenosis
Publication -
Data Sampling-Based Feature Selection Framework for Software Defect Prediction
Publication -
A Critical Review on Pulsed Electric Field: A Novel Technology for the Extraction of Phytoconstituents
Publication -
Gut microbiota in dementia. Critical review of novel findings and their potential application
Publication -
Critical Field and Specific Heat in Electron- and Hole-Doped Graphene Superconductors
Publication -
Critical approach to PLE technique application in the analysis of secondary metabolites in plants
Publication -
Planning of the seaports critical infrastructure protection in the light of the ISPS Code requirements
PublicationPorty morskie mają bardzo istotny udział w międzynarodowych morsko-lądowych łańcuchach transportowych oraz duży wpływ na efektywność handlu zagranicznego. Ponieważ również silnie oddziałują na regionalną gospodarkę i społeczeństwo, mogą być miejscem szczególnie narażonym na różnego rodzaju zagrożenia ich bezpieczeństwa. Dlatego też powinny być szczególnie chronione jako obiekty infrastruktury krytycznej państwa. Ochrona portów...
-
Management of seaport critical infrastructures of integrated sea-land transport chains
PublicationW morsko-lądowych łańcuchach transportowych logistyczne procesy integracyjne przebiegają pomiędzy trzema podstawowymi ogniwami: żeglugą morską, portami morskimi i transportem zaplecza. W tym ujęciu morsko-lądowe łańcuchy transportowe, które stanowią przestrzenno-czasową kombinację lądowych i morskich ogniw transportowych, stają się także najwyższą formą integracji portów i żeglugi z innymi gałęziami transportu, wymagającą stałego...
-
Smart information and knowledge management: advances, challenges, and critical issues. - [preface]
PublicationOcena aktualnych wyzwan i problemów badawczych w obszarze zarzadzania wiedzą i informacją oraz inteligentnego wspomagania tego obszaru.
-
Using CFD software for the evaluation of hygrothermal conditions at wall-window perimeters
Publication -
Universal software radio peripheral as a receiver and DSP platform for a passive radar
Publication -
Concept of building knowledge based systems applied in software project management.
PublicationW artykule przedstawiono koncepcję budowy systemów opartych na wiedzy. Koncepcja ta bazuje na wykorzystaniu teorii zbiorów rozmytych oraz metodach ustawicznego modelowania. W artykule wskazano na metody strojenia i adaptacji tych modeli
-
Elastic electron scattering by argon in the vicinity of the high-energy critical minimum.
PublicationZostały obliczone różniczkowe przekroje czynne na sprężyste rozpraszanie elektronów na argonie. Przedział energetyczny rozpraszanych elektronów został tak dobrany, aby zbadać położenie tzw. minimum krytycznego.
-
Inorganic pollutants deposition in Gdańsk Region in relation to the critical load cencept
PublicationBadano depozycję kwaśnych zanieczyszczeń poprzez pomiar stężenia siarczanów, azotanów, azotu amonowego w opadach atmosferycznych zbieranych na terenie stacji monitoringowej w leśnictwie Stara Piła. Wyznaczono depozycję suchą i mokrą. Wyniki uzyskane w okresie od 1994 do 2001 roku porównano z krytycznym ładunkiem dla siarki i azotu określonym dla rejonu gdańskiego.
-
Methods of building knowledge-based systems applied in software project management
PublicationPraca zawiera rozdział poświecony problematyce budowy systemów z bazami wiedzy dla wspomagania procesów zarządzania. W rozdziale tym przedstawiono metody budowy systemów dla potrzeb zarządzania koncentrując uwagę na systemach opartych na wiedzy. Następnie omówiono możliwości zastosowania teorii zbiorów rozmytych do modelowania wiedzy. Na zakończenie przedstawiono przykład wykorzystania zbiorów rozmytych i systemów opartych na wiedzy...
-
Critical evaluation of resonaut gc voltage link inventures for electrical drives.
PublicationPrzedstawiono wyniki modelowania i symulacji falowników z centralnym obwodem rezonansowym dla zastosowań w napędzie elektrycznym. Porównano struktury ukladów z rezonansowym równoległym obwodem pośredniczącym o ograniczonej wartości szczytowej i uasi-rezonansowych. Dla potrzeb projektowania tych układów, wobec przeciwstawnych funkcji celu dokonano ich wielokrytycznej oceny.
-
Challenges of the risk analysis of critical systems for insurance purposes under uncertainty
PublicationProponuje się metodę analizy ryzyka dla celów ubezpieczeniowych. Podkreśla się, że zarządzanie bezpieczeństwem systemów podwyższonego ryzyka i systemów krytycznych, obejmujące instrumenty Ubezpieczeniowe, wymaga stosowania odpowiednich metod szczególnej analizy ryzyka z uwzględnieniem problemu niepewności. Proponuje się podejście reprezentowania niepewności w ocenach ryzyka za pomocą przedziałów liczbowych, ogólnie przedziałów...
-
Critical examination of benchmark problems for large rotation analysis of laminated shells
PublicationW pracy przedstawiono krytyczny przegląd przykładów testowych stosowanych w analizie dużych obrotów powłok warstwowych. Kilka przykładów wyselekcjonowanych z literatury zostało przeanalizowanych przy użyciu własnych programów autora bazujących na różnych poziomach nieliniowości geometrycznej. Wyniki analizy porównawczej pozwoliły na wysunięcie wniosków o przydatności badanych przykładów jako testów sprawdzających w analizie dużych...
-
The Opening of Central and Eastern European Countries to Free Trade: A Critical Assessment
PublicationThree decades after the fall of the Berlin wall and one and a half decades after the Big Bang enlargement of the European Union (2004-2007), we revisit contrasting narratives about the benefit of both free trade and the EU enlargement for Central and Eastern European (CEE) countries. We distinguish old, pre-2004 EU countries from CEE countries that joined the EU in 2004-2007, as well as from the CEE countries that have not become...
-
A critical review on electrospun membranes containing 2D materials for seawater desalination
PublicationElectrospun nanofibers are a cutting-edge class of membranes which have been applied in several molecular separations. These membranes can be well designed and tailored due to the versatility of the electrospinning process. Eminently, electrospun membranes, once implemented in membrane processes, are an alternative in removing salts and some other minerals from water, so-called desalination, for producing drinking water. Such membranes...
-
Eye-tracking everywhere - software supporting disabled people in interaction with computers
PublicationIn this paper we present comprehensive system for communication with computer by gaze. One of the main assumptions behind this work was to provide solution that can be used with standard RGB webcam. The proposed comprehensive system included the eye tracking module and user interface for convenient gaze interaction with computer. As a result a fully functional application was developed. The average accuracy of the eye tracking...
-
Advanced local energy planning using the ALEP-PL computer software
PublicationPrzedstawiono autorski system komputerowy ALEP-PL do gromadzenia i agregacji danych o lokalnych obiektach energetycznych. System pozwala na analizy senariuszowe poprzez bilanse zapotrzebowania na paliwa i energie oraz poprzez wskaźnikowe wyznaczanie wilekości emisji CO2. Dodatkowo, dzięki wybudowanemu w system ALEP-PL zestawowi technologii modernizacyjnych, aplikacja umożliwia opracowywanie strategii redukcji emisji CO2, poprawy...
-
Safety Case as a Necessary Aspect of the Aviation Implementation of the Gnss / Safety Case Jako Niezbędny Aspekt Lotniczej Implementacji Systemu Gnss
Publication -
CRITICAL REVIEWS IN TOXICOLOGY
Journals -
Comparative Critical Studies
Journals -
Critical Public Health
Journals -
CRITICAL CARE CLINICS
Journals -
Journal of Critical Realism
Journals -
CRITICAL REVIEWS IN BIOTECHNOLOGY
Journals -
CRITICAL REVIEWS IN IMMUNOLOGY
Journals -
CRITICAL ASIAN STUDIES
Journals -
CRITICAL REVIEWS IN MICROBIOLOGY
Journals -
Critical Studies in Education
Journals -
CRITICAL CARE MEDICINE
Journals -
CRITICAL SOCIAL POLICY
Journals -
Critical Care and Resuscitation
Journals