Filtry
wszystkich: 3893
wybranych: 2869
-
Katalog
- Publikacje 2869 wyników po odfiltrowaniu
- Czasopisma 252 wyników po odfiltrowaniu
- Konferencje 116 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 87 wyników po odfiltrowaniu
- Projekty 11 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 70 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 480 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: safety-critical software
-
Knowledge Management Critical Success Factors and the Innovativeness of KIBS Companies
Publikacja -
Information and Konowledge management: advances, approaches, challenges and critical issues
PublikacjaPrzedstawiono zarys najnowszych osiągnięć w zakresie zarządzania wiedza i informacja wraz z ich krytyczna ocena.
-
Electronic Cigarette Use and Metabolic Syndrome Development: A Critical Review
Publikacja -
Revealing the anisotropy effects on the critical magnetic field in CaC6 superconductor
Publikacja -
Assessment of the level of reliability of power supplies of the objects of critical infrastructure
Publikacja -
A Typology of Small Business Growth Modelling: A Critical Literature Review
Publikacja -
Critical conditions of hydrogen-air detonation in partially confined geometry
Publikacja -
Assessment of a critical area for a give-way ship in a collision encounter
Publikacja -
A direct method for risk assessment when ship is in critical conditions
PublikacjaPrzedstawiono metodę oceny bezpieczeństwa statku w warunkach krytycznych. Zdefiniowano warunki krytyczne. Podano praktyczne sposoby oceny ryzyka przetrwania statku w warunkach krytycznych. Opisano bezpośrednią metodę oceny ryzyka w warunkach krytycznych. Podano przykłady oceny ryzyka.
-
Critical minima in elastic scattering of electrons from Ar and Zn.
PublikacjaDokonano obliczeń różniczkowych przekrojów czynnych na sprężyste rozpraszanie elektronów na atomach argonu i cynku. Otrzymane minimum krytyczne z tych przekrojów porównano z niedawno otrzymanymi danymi doświadczalnymi.
-
The high-energy critical minimum in elastic electron scattering by argon.
PublikacjaZostało zbadane położenie wysokoenergetycznego minimum krytycznego w rozpraszaniu elektronów na argonie. W celu przeprowadzenia dyskusji zachowania się czynnego przekroju różniczkowego w okolicy minimum krytycznego przeprowadzono analizę położenia minimum zarówno dla energii, jak i kątów.
-
Recent advances in reinforced bioplastics for food packaging – A critical review
PublikacjaRecently, diversifying the material, method, and application in food packaging has been massively developed to find more environment-friendly materials. However, the mechanical and barrier properties of the bioplastics are major hurdles to expansion in commercial realization. The compositional variation with the inclusion of different fillers could resolve the lacking performance of the bioplastic. This review summarizes the various...
-
A Critical Reanalysis of Uncontrollable Washboarding Phenomenon in Metal Band Sawing
PublikacjaThe article analyzes the cutting process of hard bars. Investigations conducted in industrial conditions demonstrated the presence of surface errors in the machined workpieces in the form of washboard patterns. The purpose of this study was to analyze the results of cutting on band sawing machines with different band saw blades. The cutting processes were conducted on three different horizontal band sawing machine types. Analyzed...
-
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...
-
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...
-
A Method of Lathe Checks Measurement; SMOF device and its software
Publikacja -
Forecasting demand for products in distribution networks using R software
Publikacja -
Towards a software platform for experience administration: Decisional DNA Manager
PublikacjaW pracy przedstawiono koncepcje dochodzenia do konstrukcji platformy wspomagajacej procesy zarzadzania dosswiadczeniem decyzyjnym.
-
Software tools for identification, visualization and analysis of protein tunnels and channels
Publikacja -
SMOTE-Based Homogeneous Ensemble Methods for Software Defect Prediction
Publikacja -
Software layer for FPGA-based TESLA cavity control system
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...
-
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...
-
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).
-
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.
-
Determination of probabilities defining safety of a sea-going ship during performance of a transportation task in stormy weather conditions
PublikacjaThe paper presents the possibility of applying the theory of semi-Markov processes to determine the limiting distribution for the process of changes of technical states being reliability states of the systems of sea-going ships significantly affecting safety of such ships, which include main engine, propeller and steering gear. The distribution concerns the probabilities of occurrence of the said states defined for a long time...
-
Consideration of the safety of bungee jumping in relation to mechanical properties of the instalation based on a jump accident in Gdynia
PublikacjaThis paper considers a bungee jumping accident that took place in July 2019 in Gdynia, Poland. The authors conducted an investigation to determine the cause of the bungee rope failure. It was based on mechanical tests concerning the strength of the rope as well as the calculation of the force induced in the rope during the jump. Based on the theoretical and experimental results, the rope safety factor was estimated. It appeared...
-
Sailing Vessel Routing Considering Safety Zone and Penalty Time for Altering Course
PublikacjaIn this paper we introduce new model for simulation sea vessel routing. Besides a vessel types (polar diagram) and weather forecast, travel security and the number of maneuvers are considered. Based on these data both the minimal travelling costs and the minimal processing time are found for different vessels and different routes. To test our model the applications SailingAssistance wad improved. The obtained results shows that...
-
ISSUE OF MAKING DECISIONS WITH REGARD TO SHIP TRAFFIC SAFETY IN DIFFERENT SITUATIONS AT SEA
PublikacjaThe paper refers to the possibilities of making operational decisions that would enable to ensure safety to a ship in the event of application of the statistical decision theory with consideration of an expected value of consequences as a criterion for making such a decision. General description includes conditions for carrying out transportation tasks by ships and it has been shown that following this description it is possible...
-
Analysis of the impact of socio-economic development on road safety based on the example of Baltic Sea Region countries
PublikacjaBaltic Sea Region (BSR) is a specific region of Europe, bringing together countries with different levels of socio-economic development. The main common point is territorial access to the Baltic Sea and the importance of maritime transport in the transportation of goods. The region consists of 9 countries, including Germany, Poland, Lithuania, Latvia, Estonia, Finland, Sweden, Denmark and Russia (more specifically, Kaliningrad...
-
Automated Parameter Determination for Horizontal Curves for the Purposes of Road Safety Models with the Use of the Global Positioning System
PublikacjaThis paper presents the results of research conducted to develop an automated system capable of determining parameters for horizontal curves. The system presented in this article could calculate the actual course of a road by means of a two-stage positioning of recorded points along the road. In the first stage, measurements were taken with a Real-Time Network (RTN) receiver installed in a research vehicle. In the second stage,...
-
INFORMATION ABOUT DYNAMICS OF THE SEA SURFACE AS A MEANS TO IMPROVE SAFETY OF THE UNMANNED VESSEL AT SEA
PublikacjaOne of the fundamental states of the sea surface is its heave. Despite of years of the intense scientific inquiry, no clear understanding of the influence of this aspect on the dynamics of the sea environment has emerged. The separation of two nearby fluid elements which one may observed for example as a free floating of small objects on the sea surface (rescuers on the rough sea or small research vessels) is caused by the interaction...
-
Certification system of persons responsible for functional Safety = System certyfikacji osób odpowiedzialnych za bezpieczeństwo funkcjonalne
Publikacja -
Direct human contact with siloxanes (silicones): safety or risk. Part 1: characteristics of siloxanes (silicones
PublikacjaSiloxanes are commonly known as silicones. They belong to the organosiliconcompounds and are exclusively obtained by synthesis. Their chemical structuredetermines a range of physicochemical properties which were recognized as unique.Due to the susceptibility to chemical modifications, ability to create short, long orcomplex polymer particles, siloxanes found an application in many areas of human life.
-
Inverse Analysis as a Key Element of Safety Assessment under the Snow Load For The Large Suspension Roofs Structure
PublikacjaThe paper presents a concept and realization of monitoring system for the Silesian Stadium in Chorzow. The idea of the system lies in fusion of structure monitoring with a calibrated numerical FEM model [1]. The inverse problem is solved. On the base of measured selected displacements, the numerical FEM model of the structure combined with iterative method, develops the current snow load distribution. Knowing the load, we can calculate...
-
Time series - the tool for traffic safety analysis
PublikacjaGłównym celem artykułu jest przedstawienie sposobu modelowania i modeli stosowanych w analizach i prognozowaniu odnośnie zmian śmiertelności w wypadkach drogowych w Polsce. W tym celu zastosowano teorię modeli strukturalnych szeregów czasowych przy założeniu, że zarówno ruch drogowy, jak i bezpieczeństwo na drogach są procesami dynamicznymi, w których przeszłość ma znaczący wpływ na teraźniejszość i przyszłość systemu.
-
The effect of trees in the road crown on road safety
PublikacjaW referacie przedstawiono problem występowania wypadków związanych z najechaniem na drzewo. Problem ten występuje w Polsce głównie w województwach północnych i zachodnich, co jest związane ze specyficznymi cechami sieci drogowej tego obszaru. Referat przedstawia negatywny wpływ drzew rosnących w koronie drogi na bezpieczeństwo ruchu drogowego oraz określa metody zapobiegania wypadkom związanym z najechaniem na drzewo. Ze względu...
-
Differences and mutual connections of the transport safety systems
PublikacjaKaż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...
-
Tools for road infrastructure safety management in poland
Publikacja -
Variation in global uptake of the Surgical Safety Checklist
Publikacja -
Grape vinegars – characteristics, properties and safety of use
Publikacja -
Semi-Markov Approach to the Shipping Safety Modelling
Publikacja -
Safety of Single-Channel Railway Traffic Control
Publikacja -
Work safety in production processes located in Poland
Publikacja -
Environmental safety of a seagoing ship power plant.
PublikacjaPrzedstawiono 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.
PublikacjaArtykuł 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
PublikacjaProblemy 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...
-
Operation of diesel engines as the index of their reliability and safety
PublikacjaPrzedstawiono 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
PublikacjaArtykuł 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
PublikacjaW 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...