Filtry
wszystkich: 3848
wybranych: 2830
-
Katalog
- Publikacje 2830 wyników po odfiltrowaniu
- Czasopisma 252 wyników po odfiltrowaniu
- Konferencje 116 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 85 wyników po odfiltrowaniu
- Projekty 10 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 69 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 478 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: safety-critical software
-
Heat and mass exchange in the process of condensation on critical droplets.
PublikacjaSformułowano model wzrostu kropli krytycznej podając równania zmiany masy i temperatury kropli. Pokazano formę zlinearyzowaną tych równań dobrze aproksymującą wzrost kropli w poblizu wymiaru krytycznego. Podano rozwiązanie układu zlinearyzowanego uzależniając zmianę temperatury od zmiany masy kropli i czasu charakterystycznego.
-
The critical factors of landfill fire impact on air quality
Publikacja -
Searching for Critical Conditions During Lifeboat Launching – Simulations
PublikacjaThe article describes numerical simulations of the process of lifeboat launching at the ship’s side. The research is aimed at finding the values of ship motion parameters which appear to be most dangerous for people in the lowered lifeboat due to the generated accelerations. The simplified model of ship hull motion adopted at this research stage bases on a superposition of harmonic motions with given amplitudes and periods in six...
-
Neutralising Responsibility: A Critical Analysis of an Airline’s Climate Disclosures
PublikacjaSustainability reporting provides companies with a medium through which they can communicate their non-financial impacts to stakeholders. The airline industry has been much at the centre of the climate change debate in recent years, which is why it is hardly surprising that airlines seek to take a proactive stance in such reporting. This study critically assesses how an airline based in the Scandinavian region constructs sustainability...
-
Polycyclic aromatic hydrocarbons in smoked fish - a critical review
PublikacjaDym wędzarniczy zawiera wśród setek składników co najmniej 100 wielopierścieniowych węglowodorów aromatycznych (WWA). Benzo{a}piren (BaP) jest uważany za wskaźnikowy, rakotwórczy WWA w wędzonych rybach. Współczesne procedury analityczne obejmujące ekstrakcję węglowodorów z matrycy, oczyszczenie, rozdzielenie metodą GC lub HPLC przy użyciu, odpowiednio, detektora MS albo FLD, umożliwiają oznaczenie indywidualnych WWA w wędzonych...
-
Emotional distress, burnout and sense of safety during the COVID-19 pandemic in teachers after the reopening of schools
PublikacjaThe COVID-19 pandemic is having a significant impact on people's psychological well-being and mental health. This study aimed to identify factors linked to emotional distress, burnout and sense of safety in teachers related to the reopening of Polish schools after lockdown, remote work, and the holiday period between March and August 2020. A total of 1,286 teachers from different educational institutions participated in the...
-
Thermodynamic Analysis of Negative CO2 Emission Power Plant Using Aspen Plus, Aspen Hysys, and Ebsilon Software
PublikacjaAbstract: The article presents results of thermodynamic analysis using a zero-dimensional mathematical models of a negative CO2 emission power plant. The developed cycle of a negative CO2 emission power plant allows the production of electricity using gasified sewage sludge as a main fuel. The negative emission can be achieved by the use this type of fuel which is already a “zeroemissive” energy source. Together with carbon capture...
-
Current challenges and methodological issues of functional safety and security management in hazardous technical systems
PublikacjaCelem artykułu jest zidentyfikowanie problemów oceny ryzyka w kontekście stosowania systemów elektrycznych / elektronicznych / programowalnych elektronicznych (E/E/PE) z uwzględnieniem aspektów bezpieczeństwa funkcjonalnego i zabezpieczeń (ochrony). Zadaniem rozwiązań bezpieczeństwa funkcjonalnego jest efektywne redukowanie ryzyka wychodząc z poziomu nieakceptowanego. Ryzyko jest definiowane jako kombinacja prawdopodobieństwa wystąpienia...
-
Human factor and functional Safety analysis = Czynniki ludzkie i analiza bezpieczeństwa funkcjonalnego
Publikacja -
Risk analysis and functional safety management = Analiza ryzyka i zarządzanie bezpieczeństwem funkcjonalnym
Publikacja -
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....
-
Analysis and comparision of safety of children and adult passanger in car based on crash tests results
PublikacjaThis paper presents analysis and comparision of safety of children and adult passanger in car based on crash tests results. The car crash test with four dummies, including two car seats allowed a direct comparison of the security under the same conditions of children and passengers directly to the car seat. Analysis of acceleration and video from the test allows to understand the phenomena during the collision, the air bags influence,...
-
Deep eutectic solvents microbial toxicity: Current state of art and critical evaluation of testing methods
PublikacjaDeep eutectic solvents (DESs) were described at the beginning of 21st century and they consist of a mixture of two or more solid components, which gives rise to a lower melting point compared to the starting materials. Over the years, DESs have proved to be a promising alternative to traditional organic solvents and ionic liquids (ILs) due to their low volatility, low inflammability, easy preparation, and usually low cost of compounds...
-
Fatigue life prediction of notched components under size effect using strain energy reformulated critical distance theory
PublikacjaNotch and size effects show significant impact on the fatigue performance of engineering components, which deserves special attention. In this work, a strain energy reformulated critical distance theory was developed for fatigue life prediction of notched components under size effect. Experimental data of different notched specimens manufactured from GH4169, TC4, TC11 alloys and low carbon steel En3B were used for model validation...
-
Systemic approach to Road Safety Schemes
PublikacjaW artykule przedstawiono koncepcje rozwoju systemu bezpieczeństwa ruchu drogowego na poziomie krajowym oraz na poziomie regionalnym i lokalnym.
-
Traffic safety management in TRISTAR system
PublikacjaW niniejszym referacie przedstawiono przesłanki do zastosowania Inteligentnych Systemów Transportu w Trójmieście, założenia, cele stosowania systemu, koncepcję jego architektury oraz koncepcję funkcjonowania poszczególnych podsystemów, które zostaną zintegrowane w ramach planowanego systemu TRISTAR, ze szczególnym uwzględnieniem systemów zarządzania bezpieczeństwem ruchu drogowego.
-
Biopesticides, Safety Issues and Market Trends
Publikacja -
Environmental Safety Assessment of Fertilizer Products
Publikacja -
Industrial computer networks and functional safety
PublikacjaW rozdziale monografii przedstawiono wybrane aspekty bezpieczeństwa funkcjonalnego na przykładzie przemysłowych sieci komputerowych stosowanych w obiektach infrastruktury krytycznej. Pierwszą cześć rozdziału poświęcono omówieniu klasycznych rozwiązań w zakresie sieci komputerowych. Drugą część rozdziału stanowi analiza przypadku typowej przemysłowej sieci komputerowej z uwzględnieniem aspektów bezpieczeństwa funkcjonalnego.
-
Road safety strategy on national roads
PublikacjaMimo podejmowanych wielu działań w zakresie brd na sieci dróg krajowych w Polsce, rezultaty są dalekie od oczekiwań i zadań postawionych przez Krajowy Program BRD GAMBIT 2005. Można by to tłumaczyć dużym przyrostem liczby pojazdów i wzrostem pracy przewozowej szczególnie na drogach krajowych. Ale porównanie ryzyka występującego na sieci dróg krajowych w Polsce do ryzyka występującego na drogach krajowych najbliższych krajów europejskich...
-
Methodological aspects of functional safety assessment
PublikacjaW artykule przedstawiono aktualne problemy analizy ryzyka i modelowania probabilistycznego w zarządzaniu bezpieczeństwem funkcjonalnym w cyklu życia systemów związanych z bezpieczeństwem. Zostały wyróżnione dwa podstawowe etapy w cyklu życia tych systemów, a mianowicie etap projektowania i etap eksploatacji. Z powodu złożoności i niepewności może być użyteczna w analizie ryzyka i modelowaniu probabilistycznym informacja zarówno...
-
Aspects of maritime security and safety of Poland
PublikacjaReferat przedstawia wybrane aspekty morskiego bezpieczeństwa Polski. Prezentacja problematyki jest ukierunkowana na problemy techniczne związane z bezpieczeństwem, pozostawiając na uboczu problemy prawne, logistyczne i społeczne. Na wstępie przedstawiono analizę zagrożeń dla bezpieczeństwa Bałtyku. Następnie opisano wybrane instytucje odpowiedzialne za morskie bezpieczeństwo Polski, ze szczegółowym uwzględnieniem Morskiej Straży...
-
Computer aided funcional safety assessment
PublikacjaReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...
-
Problems of ship system design for safety.
PublikacjaSystem bezpieczny to taki, który nie stwarza ryzyka większego niż przyjęte w odpowiednich kryteriach. Kryteria te mogą być wyrażone jakościowo oraz ilościowo. Bezpieczeństwo jako atrybut systemu może być przedmiotem projektowania. Rozróżniono tutaj dwa przypadki: A - dotyczące systemu dla którego właściwe są kryteria jakościowe i B - dotyczące systemu dla którego zastosowano kryteria ilościowe. W uwagach końcowych przedyskutowano...
-
Review of road safety theories and models
PublikacjaW artykule przedstawiono rozwój teorii i modeli stosowanych w badaniach bezpieczeństwa ruchu drogowego oraz wykorzystywanych w zarzadzaniu bezpieczeństwem ruchu drogowego. Wyrózniono cztery grupy najbardziej rozwiniętych teorii: teorie statystyczne, teorie przyczynowe, teorie systemowe i teorie behawioralne. Według tak podzielonych teorii sklasyfikowano modele stosowane w badaniach i analizach bezpieczeństwa ruchu drogowego.
-
Human Reliability at Ship Safety Consideration
Publikacja -
Dimensioning the Navigational Safety in Maritime Transport
Publikacja -
Road safety management at the strategic level
PublikacjaZarządzanie ryzykiem jest obecnie jednym z podstawowych narzędzi zarządzania bezpieczeństwem w technice, ekonomii, służbie zdrowia itp. W wielu dziedzinach istnieją unormowane procedury prowadzenia analizy, oceny i redukowania ryzyka. W zarządzaniu bezpieczeństwem ruchu drogowego nie ma powszechnych uregulowań stosowania tej metody zarządzania bezpieczeństwem. Dotychczas dwa zagadnienia zarządzania brd zostały docenione i stały...
-
Vibration testing in buildings and safety of their operation
PublikacjaThe paper presents the issue of vibrations in residential buildings located near roads. It describes the measurement methodology and criteria for assessing the impact of vibrations generated by passing trucks. The article specifies a method to establish the impact on the operation of the examined facilities and it promotes the idea of employing a Bayesian network to determine probabilistically the level of risk to single-family...
-
Unsolved issues of The Efficacy and Safety of Edoxaban
Publikacja -
Implementing fermentation technology for comprehensive valorisation of seafood processing by-products: A critical review on recovering valuable nutrients and enhancing utilisation
PublikacjaFermentation technology is a biorefining tool that has been used in various industrial processes to recover valuable nutrients from different side streams. One promising application of this technique is in the reclamation of nutritional components from seafood side streams. Seafood processing generates significant amounts of waste, including heads, shells, and other side streams. These side streams contain high quantities of valued...
-
ADOPTED ISOCHRONE METHOD IMPROVING SHIP SAFETY IN WEATHER ROUTING WITH EVOLUTIONARY APPROACH
PublikacjaThe paper is focused on adaptation of an isochrone method necessary for application to a weather routing system with evolutionary approach. Authors propose an adaptation of the isochrone method with area partitioning assuring that the route found by the adopted method would not cross land. In result, when applied to a weather routing system with evolutionary approach, this proposal facilitates creation of initial population, resulting...
-
Determining and verifying the safety integrity level of the controland protection systems under uncertainty
PublikacjaThe probabilistic models of the electrical, electronic and programmable electronic (E/E/PE)systems, which are proposed in the IEC 61508 and IEC 61511 standards, do not cover the uncertainty aspectsof results obtained from these models. The proposed method takes into consideration the sensitivity analysisof probabilistic models of E/E/PE systems as well as the uncertainty of probabilistic results. It uses differentialfactors, which...
-
CERTIFICATION SYSTEM AS A TOOL FOR IMPROVING THE SAFETY AND SUSTAINABILITY OF SCHOOL-RELATED TRAVELS
PublikacjaDespite the well-established physical, social, emotional, cognitive, and spatial benefits of active and autonomous school commuting of children and adolescents', many are driven by car. Pilot surveys and field research held in 2019 in 10 Gdansk primary schools confirmed this trend. The article presents a certification system for schools, commissioned by the City of Gdańsk, which is an element of a systemic solution shaping patterns...
-
A novel approach to energy safety improvement in the marine power plants with active power surge compensator
PublikacjaPaper raises a point of power surges and theirs adverse effects in the marine power plants. The article explains a source of surges appearance, and presents measurements carried out on a modern ship. It discusses effects of dynamic power transients on the ship’s energy safety. Finally it proposes, a novel approach for power surge elimination, based on medium voltage active conditioner. As well as it propose the topology and control...
-
Road Safety Trends at National Level in Europe: A Review of Time-series Analysis Performed during the Period 2000–12
PublikacjaThis paper presents a review of time-series analysis of road safety trends, aggregatedat a national level, which has been performed in the period 2000 – 12 and applied to Europeannational data sets covering long time periods. It provides a guideline and set of best practices inthe area of time-series modelling and identifies the latest methods and applications of nationalroad safety trend analysis...
-
Methodology of research on the impact of ITS services on the safety and efficiency of road traffic using transport models
PublikacjaThe current assessment of the impact of Intelligent Transport System (ITS) services on the level of traffic safety and efficiency is based mainly on expert assessments, statistical surveys or several traffic safety models requiring development. There is no structured, uniform assessment method that would give the opportunity to compare the impact of ITS services and their different configurations. The paper presents the methodology...
-
Group-9 Transition-Metal Suboxides Adopting the Filled-Ti2Ni Structure: A Class of Superconductors Exhibiting Exceptionally High Upper Critical Fields
PublikacjaTi2Ni and the related η-carbide structure are known to exhibit various intriguing physical properties. The Ti2Ni structure with the cubic space group Fd3̅m is surprisingly complex, consisting of a unit cell with 96 metal atoms. The related η-carbide compounds correspond to a filled version of the Ti2Ni structure. Here, we report on the structure and superconductivity in the η-carbide-type suboxides Ti4M2O with M = Co, Rh, and Ir....
-
From Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
PublikacjaFrom Functional Requirements through Test Evaluation Design to Automatic Test Data Retrieval – a Concept for Testing of Software Dedicated for Hybrid Embedded Systems
-
Comparison of safety levels required by adequate regulations for cargo ships of different types
PublikacjaDuring the currently ongoing development of methods for assessing the safety of ships, it is imperative that a compromise between the accuracy of the results and the accessibility of obtaining results is reached. This paper shows the calculations of a theoretical hull against damage stability regulations as included in SOLAS 2020, ICLL 66/88 as amended in 2003 and MARPOL 78. The rules included in the currently valid regulations require...
-
Modeling of generator performance of BLDC machine using mathematica software
PublikacjaW artykule porównano trzy modele maszyny bezszczotkowej prądu stałego z magnesami trwałymi(BLDC) w przypadku pracy prądnicowej. Najprostszy model qd0 sprowadzono do dwóch osi prostopadłychzwiązanych z wirnikiem [3]. Zakłada on sinusoidalny rozkład pola w szczelinie. Model opisany wosiach naturalnych wyprowadzono w oparciu o formalizm Lagrnage'a [4] i moŜe uwzględniać dowolnyrozkład pola wzbudzonego przez magnesy trwałe. Model pośredni...
-
SMOTE-Based Homogeneous Ensemble Methods for Software Defect Prediction
Publikacja -
Software layer for FPGA-based TESLA cavity control system
Publikacja -
A Method of Lathe Checks Measurement; SMOF device and its software
Publikacja -
Poll Reader - the working prototype of optical mark recognition software
PublikacjaAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Knowledge management based on formal models of software project management
PublikacjaCelem pracy jest prezentacja kompletnej koncepcji systemów wspierania decyzji w zarządzaniu projektami informatycznymi. Pomysł oparty jest na dynamicznych i samo nastrajających się modelach regułowo-rozmytych. W szczególności proponowane podejście wykorzystuje koncepcje metodologii opartych wiedzy oraz teorii układów dynamicznych oraz zbiorów rozmytych. Zastosowania tego opracowania znajdują się w obszarze wytwarzania produktów...
-
Solving nonlinear programming problems by using O&G software.
PublikacjaPraca opisuje pakiet optymalizacyjny oprogramowania O&G. Umożliwia on rozwiązywanie problemów programowania nieliniowego. Użytkownik może w wygodny sposób formułować rozwiązywane zadanie i dobierać metody obliczeniowe używając interaktywnego interfejsu.
-
How can we justify trust in software based systems?
PublikacjaArtykuł wprowadza pojęcie ''trust case'' i wyjasnia jego znaczenie w kontekście systemów informatycznych. Przedstawia również doświadczenia zdobyte w trakcie budowy trust case dla złożonego systemu IT przeznaczonego do wspomagania procesów dystrybucji i stosowania leków. Przedstawia również szereg otwartych problemów badawczych dotyczacych budowy i zarządzanie dowodami zaufania (trust case).
-
Gradient-based optimization of filters using FD-TD software
PublikacjaW artykule opisane jest nowe podejście do zagadnienia optymalizacji filtrów mikrofalowych pasmowo-przepustowych. Optymalizacja prowadzona jest z wykorzystaniem metody gradientowej poszukiwania minimum wartości funkcji celu oraz przy założeniu pełnofalowej symulacji obwodów metodą różnic skończonych w dziedzinie czasu. W artykule pokazane jest, że stosując zaawansowane techniki cyfrowego przetwarzania sygnałów możliwa jest optymalizacja...
-
Software tools for identification, visualization and analysis of protein tunnels and channels
Publikacja