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
-
Software for development and communication with FPGA based hardware
Publikacja -
Institutionalization of knowledge sharing in a software development organization
PublikacjaZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Knowledge management and fuzzy modelling in software engineering
PublikacjaPraca 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...
-
AGREE—Analytical GREEnness Metric Approach and Software
Publikacja -
Identifying Software Project Risks with the Process Model.
PublikacjaArtykuł prezentuje podejście do identyfikacji ryzyka w projektach informatycznych oparte na modelowaniu procesów. Podejście obejmuje jawne modelowanie procesów programowych oraz identyfikację ryzyka dwoma dedykowanymi technikami. Artykuł wprowadza meta-model dla wyrażenia ryzyka procesu. Następnie szczegółowo przedstawiono dwie systematyczne techniki identyfikacji ryzyka odwołujące się do modelu procesu i skupiające uwagę analityka...
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy przedstawiono model systemu pozyskiwania wiedzy zawartej w procesach inżynierii oprogramowania.
-
Elastic wave propagation software - visualization methods
PublikacjaW pracy omówiono program do analizy propagacji fal spręzystych w 2 wymiarowych elementach konstrukcyjnych bazujący na metodzie spektralnych elementów skończonych.
-
A method of software project risk identyfication and analysis
Publikacja.
-
Assessment of the Speed Management Impact on Road Traffic Safety on the Sections of Motorways and Expressways Using Simulation Methods
PublikacjaMethods used to evaluate the impact of Intelligent Transport System (ITS) services on road safety are usually based on expert assessments or statistical studies. However, commonly used methods are challenging to apply in the planning process of ITS services. This paper presents the methodology of research using surrogate safety measures calculated and calibrated with the use of simulation techniques and a driving simulator. This...
-
Critical analysis of laboratory measurements and monitoring system of water-pipe network corrosion-case study.
PublikacjaCase study of corrosion failure of urban water supply system caused by environmental factors was presented. Nowadays corrosion monitoring of water distribution systems is an object of major concern. There is possibility of application broad range of techniques like gravimetric and electrochemical. Both kinds of techniques can be applied in laboratory and field conditions. In many cases researches limit the case analysis to measurements...
-
The State and Critical Assessment of the Sharing Economy in Europe
Publikacja -
Critical section maintenance in a distributed agent system
Publikacja -
Towards the assessment of potential impact of unmanned vessels on maritime transportation safety
Publikacja -
A total scoring system and software for complex modified GAPI (ComplexMoGAPI) application in the assessment of method greenness
PublikacjaEvaluating analytical methods with innovative metrics is essential to ensure the effectiveness of analytical procedures. Various approaches have been proposed to assess the performance of an analytical method and its environmental consequences, as sustainable environment and green chemistry ideology are of high importance nowadays. Considering greenness evaluation of developed analytical procedures, Green Analytical Procedure Index...
-
A concept of software extension of 3D low-PRF radar systems to 4D semi-medium-PRF radar systems
PublikacjaWe present a concept of software modification of three-dimensional (3D) radar systems, designed to work in the low pulse repetition frequency mode, that equips them with the ability to estimate the radial velocity and to properly measure the range of targets that are detected outside the radar’s instrumented range. Despite the fact that the proposed modifications are designed so as to require only minor changes in software, they...
-
ON ESTIMATION OF OCCUPANT SAFETY IN VEHICULAR CRASHES INTO ROADSIDE OBSTACLES USING NON-LINEAR DYNAMIC ANALYSIS
PublikacjaThe article describes a comparison of two general methods of occupants safety estimation based on a numerical examples. The so-called direct method is mainly based on the Head Injury Criterion of a crash test dummy in a vehicle with passive safety system while the indirect method uses a European standards approach to estimate impact severity level. Numerical simulations in LS-DYNA have been conducted.
-
The impact of security aspects on functional safety analysis = Wpływ aspectów ochrony informacji na wyniki analiz bezpieczeństwa funkcjonalnego
PublikacjaIt can be said that a distributed control and protection system’s security level may have a significant impact on functional safety analyses and their results. However the issue of integrating those both aspects are difficult and usually is neglected during functional safety analyses. Known methods of functional safety analyses don’t take into consideration this kind of concept also. This paper discusses an attempt to integrate...
-
Assessing the Effects of the Road Surface and Weather Conditions on Road Safety
PublikacjaWhen transport is analysed for its safe delivery the focus is mainly on assessing the safety of roads and the risk of undesired events. These include road accidents, an occurrence which is relatively rare and random. Randomness means that accidents depend on several factors which are partly deterministic (can be controlled) and partly stochastic (random and unpredictable). The set of crash contributing factors can be classified...
-
Accurate electrothermal modelling of high frequency DC-DC converters with discrete IGBTs in PLECS software
PublikacjaIn the paper, a novel, improved method of the IGBT junction temperature computations in the PLECS simulation software is presented. The developed method aims at accuracy of the junction temperature computations in PLECS by utilising a more sophisticated model of transistor losses, and by taking into account variability of transistor thermal resistance as a function of its temperature. A detailed description of the proposed method,...
-
Safety Qualification Process for an Autonomous Ship Prototype – a Goal-based Safety Case Approach
Publikacja -
Roads safety programmes as an effective tool for developing system-based road safety policies
PublikacjaW sytuacji niskiego poziomu bezpieczeństwa ruchu drogowego w Polsce, dążąc do realizacji rekomendacji Unii Europejskiej, Polska przyjęła ambitny cel zmniejszenia liczby ofiar śmiertelnych wypadków drogowych o 50% w okresie 2003-2013. Osiągnięcie tego celu wymaga podjęcia skoordynowanych działań wskazanych we wcześniej przygotowanych programach bezpieczeństwa ruchu drogowego. W artykule scharakteryzowano przyjęte w tych programach...
-
Proposed method for estimating the costs of safety barrier life cycle
PublikacjaToday barrier types are frequently selected for their price with little regard for the total costs the structure will incur over its lifetime. One of the basic tools designed to manage road infrastructure is the life cycle cost method (LCC, Life cycle cost). It sums up the costs to plan, design, build, operate (use and maintain) and decommission a road structure. Having developed dynamically at the turn of the century the method...
-
Abstract class method use on common characteristics of UE regions for better road safety management in these regions.
PublikacjaRoad Safety is the significant problem requiring still a lot of attention. Despite lots of actions for road fatalities reduction, in many countries or regions situation doesn't improve as good as in the other cases. Even if these actions are very similar. It is so difficult issue, that the answer why is that happens hasn't been found yet. In this paper authors focused on the road network of European regions, classified as NUTS...
-
Policy Monitoring on Accessible Technology for Inclusive Education – Research Findings and Requirements for a Software Tool
PublikacjaStatistics about disabled people usually do not receive as much attention as statistics highlighting other socio-economic problems. However, such statistics is important due to its actual weight.According to the World Health Organization (WHO), about 15% of the world population, meaning one billion people, live with disabilities, and 80% of them live in developing countries. UNESCO claims that 90% of the children with disabilities...
-
The elusive male microbiome: revealing the link between the genital microbiota and fertility. Critical review and future perspectives
Publikacja -
Electrical safety in medical locations
PublikacjaW artykule zwrócono uwagę na niezawodność zasilania i ochronę przeciwporażeniową w pomieszczeniach użytkowanych medycznie. Przedstawiono wymagania stawiane zasilaniu, zabezpieczeniom i obwodom sygnalizacji w tych pomieszczeniach, według norm międzynarodowych. Zaprezentowano zasady doboru zabezpieczeń ochronnych oraz przykładowe rozwiązanie zasilania sali operacyjnej w szpitalu.
-
Road safety system in Poland
PublikacjaCelem niniejszego artykułu jest przedstawienie kluczowych dla poprawy brd elementów diagnozy stanu i systemu bezpieczeństwa w Polsce, które jednocześnie mogłyby wejść w zakres działań objętych Projektem ZEUS. Ocenę diagnozy wykonano poprzez porównanie z wzorcami z tych krajów, które od lat uważa się za liderów w zakresie bezpieczeństwa.
-
Integrated system of transport safety
PublikacjaW styczniu 2007 Minister Nauki i Szkolnictwa Wyższego, na podstawie konkursu na projekt badawczy zamawiany PBZ 2/2006, podjął decyzję o przyznaniu prawa realizacji trzyletniego projektu pt. ''Zintegrowany system bezpieczeństwa transportu'' konsorcjum naukowemu w składzie: Politechnika Gdańska, Politechnika Śląska, Instytut Techniczny Wojsk Lotniczych w Warszawie oraz Akademia Morska w Szczecinie. Przedmiotem niniejszego referatu...
-
Traffic Safety in the TRISTAR System
Publikacja -
Methodology of research on the impact of ramp metering on the safety and efficiency of road traffic using transport models
PublikacjaThe methods currently used to assess the impact of Intelligent Transport Systems (ITS) services on traffic safety and efficiency are mainly based on expert assessments, statistical studies or traffic models that need further development. There is no structured, uniform evaluation method to compare the impact of different ITS services and their different configurations. The impact of ITS deployment on the road network adjacent to...
-
Time reversal invariant single-gap superconductivity with upper critical field larger than the Pauli limit in NbIr2B2
PublikacjaRecently, compounds with noncentrosymmetric crystal structure have attracted much attention for providing a rich playground in search for unconventional superconductivity. NbIr2B2 is a new member to this class of materials harboring superconductivity below Tc = 7.3(2) K and a very high upper critical field that exceeds Pauli limit. Here we report on muon spin rotation (μSR) experiments probing the temperature and field dependence...
-
Time-series analysis of road safety trends aggregated at national level in Europe for 2000-2010
PublikacjaThe reader will find in this study road safety modelling theory and time-series analysis techniques, applications to long period data of injury accidents and casualities, aggregared at national level
-
Towards the development of a system-theoretic model for safety assessment of autonomous merchant vessels
Publikacja -
Electrical safety in low-voltage DC microgrids with B-type residual current devices
PublikacjaResidual current devices (RCDs) are most popular devices used in low-voltage installations for protection against electric shock and fire. In cases of high risk of electric shock the application of RCDs is mandatory. Currently, the spread of local direct current (DC) microgrids is widely considered. This creates new challenges for protective systems, in particular those based on RCDs. The main purpose of the research is to test...
-
IMPLEMENTING THE QUALITY ASSURANCE SYSTEM AND ASSURING HEALTH SAFETY IN THE LIGHT OF INCREASING BREAD QUALITY
PublikacjaThe article presents rules, requirements, and norms for quality management and health safety assurance systems among small and medium bakeries. This group of businesses does not have the obligation of implementing or certifying specific systems. They are, however, implemented in order to increase the quality of the bread or reach a better market position. Also, the results of a 2022 study of 53 bakeries’ implementation of individual...
-
Integrated Functional Safety and Cybersecurity Evaluation in a Framework for Business Continuity Management
PublikacjaThis article outlines an integrated functional safety and cybersecurity evaluation approach within a framework for business continuity management (BCM) in energy companies, including those using Industry 4.0 business and technical solutions. In such companies, information and communication technology (ICT), and industrial automation and control system (IACS) play important roles. Using advanced technologies in modern manufacturing...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublikacjaPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Concept of Multifactor Method and Non-Functional Requirements Solution to Increase Resilience through Functional Safety with Cybersecurity Analysis
PublikacjaIn the process of designing safety systems, an integrated approach in safety and cybersecurity analysis is necessary. The paper describes a new technique of increasing resilience through integrated analysis of functional safety and cybersecurity. It is a modeling methodology based on the combination of the multifactor method utilizing modified risk graphs, used previously for Safety Integrity Level (SIL) assessment, and the Non-Functional...
-
Risk assessment methodologies for pedestrian crossings without traffic lights – Warsaw case study – pedestrian safety assessment
PublikacjaBased on data from 2015 [1], it was found that 31% of all fatalities in road accidents in Poland were pedestrians. In places accessible to pedestrian traffic 74.2% of total accidents involving pedestrians were recorded. Approximately 53.9% of accidents involving pedestrians take place in the proximity of pedestrian crossings. In the context of improving the safety of vulnerable road users, an assessment of the condition of infrastructure...
-
Mini-Cave Automatic Virtual Environment Application in Security, Safety, and Defence Studies
PublikacjaThe aim of the article is to analyse the use of mini-Cave Automatic Virtual Reality Environment (mini-CAVE) in academic studies on security, safety, and defence. The literature review based on Web of Science database and the case study of the War Studies University research activities indicated the mini-CAVE can be used in two areas as a research infrastructure and as a didactic tool. It can be concluded that due to the development...
-
Integrating quality criteria and methods of evaluation for software models
PublikacjaRozdział podejmuje zagadnienia jakości modeli w inżynierii oprogramowania. Zawiera on przegląd i systematyzację kryteriów jakości modeli oraz metod oceny jakości modeli. Podaje metodologię tworzenia metod oceny jakości modeli w zależności od kryteriów jakości oraz innych parametrów oceny. Zawiera również studia przypadków zastosowania tej metodologii.
-
3d imaging software tools for multibeam sonar data
PublikacjaArtykuł porusza problem trójwymiarowej wizualizacji dna morskiego na podstawie danych pochodzących z systemu wielowiązkowego. W prezentowanym systemie wykorzystano trzy technologie programistyczne do wytwarzania grafiki 3D (C++ OpenGL, Java 3D, Java OpenGL). W artykule przedstawiono problemy, na które natknięto się podczas tworzenia systemu coraz omówiono sposoby ich rozwiązywania.
-
Providing for continuous risk management in distributed software projects.
PublikacjaArtykuł prezentuje koncepcję ciągłego zarządzania ryzykiem w rozproszonych projektach informatycznych. Proponowane podejście koncentruje się na dostarczeniu uczestnikom projektu szerokiego i łatwo dostępnego kanału komunikacyjnego, przez który mogą oni komunikować informację o ryzyku. Zebrane informacje mogą być później analizowane pod różnymi kątami tak, by wybrać największe zagrożenia dla projektu lub też by prześledzić...
-
Risk-driven Software Process Improvement - a Case Study.
PublikacjaArtykuł przedstawia studium przypadku praktycznego zastosowania metody sterowanej ryzykiem poprawy procesów programowych w rzeczywistym projekcie informatycznym. Metoda zakłada jawne modelowanie procesu i jego braków (czynników ryzyka), a także wspiera ewolucję procesów. Ponadto zawiera dedykowane techniki identyfikacji ryzyka procesów oraz wywodzenia z niego sugestii poprawy procesów. Techniki te są wbudowane w cykliczną procedurę...
-
Elastic wave propagation software in structural health monitoring
PublikacjaW pracy omówiono program do analizy propagacji fal spręzytsych w lementach konstrukcji z uszkodzeniami, oraz omówiono mozliwości jego wykorzystania do monitorowania stanu konstrukcji.
-
Software tool for modelling of mechatronic systems with elastic continua
PublikacjaThe paper presents a systematic computational package for modelling and analysis of complex systems composed of multiple lumped and distributed parameter subsystems. The constructed computer program enables the frequency domain analysis of a class of linear systems and to obtain reduced order model in the form of bond graph. Obtained modal bond graph can be directly exported into 20-Sim package to further processing including nonlinear...
-
Quasi-controlled Experimentations on the Impact of AOP on Software Comprehensibility
PublikacjaAspect-oriented programming (AOP) emerged as a paradigm to modularize the concerns that lead to interwoven code if implemented using traditional programming techniques. Unfortunately, the new constructs introduced by aspect-oriented (AO) languages result in both: (1) obstacles in modular reasoning, and (2) high coupling between aspects and the augmented modules. There have been numerous attempts to tackle these issues, but none...
-
Critical Reappraisal of Casagrande and Taylor Methods for Coefficient of Consolidation
Publikacja -
Uniform Expansivity Outside a Critical Neighborhood in the Quadratic Family
Publikacja