Search
Filters
total: 3600
filtered: 3052
-
Catalog
- Publications 3052 available results
- Journals 252 available results
- Conferences 116 available results
- Publishing Houses 2 available results
- People 91 available results
- Projects 7 available results
- Research Teams 1 available results
- Research Equipment 1 available results
- e-Learning Courses 73 available results
- Events 5 available results
Chosen catalog filters
displaying 1000 best results Help
Search results for: SAFETY-CRITICAL SOFTWARE
-
LabVIEW-based intelligent system of protection against electric shock for photovoltaic installations
PublicationEvaluation of shock hazard in installations with photovoltaic sources of energy is more complicated than in a conventional low voltage system. In case of earth fault in photovoltaic generators, that are connected to the AC power public grid, a composite waveform of earth fault current in the installation may occur. For composite waveforms, the safety criteria should be modified. The paper considers the effect of the composite waveforms...
-
Towards Knowledge Formalization and Sharing in a Cognitive Vision Platform for Hazard Control (CVP-HC)
PublicationHazards are present in all workplaces and can result in serious injuries, short and long-term illnesses, or death. In this context, management of safety is essential to ensure the occupational health of workers. Aiming to assist the safety manage-ment process, especially in industrial environments, a Cognitive Vision Platform for Hazard Control (CVP-HC) has been proposed. The CVP-HC is a scalable yet adaptable system capable of...
-
Complex Predictive Solution for Computerized Processes in Tire Industry
PublicationFollowing increasing market needs of productivity, cost reduction and safety requirements, computerized industry are faced to finding optimum between economic aspects of business and safety-related risk management. Modern factories equipped with computerized processes and extended diagnostic tools to support operator do not often use of all information’s which comes from the equipment. Some of the relations between the events are...
-
Finite Element Analysis of Occupant Risk in Vehicular Impacts into Cluster Mailboxes
PublicationThe deployment of cluster mailboxes (CMs) in the U.S. has raised safety concerns for passengers in potential vehicular crashes involving CMs. This study investigated the crashworthiness of two types of CMs through nonlinear finite element simulations. Two configurations of CM arrangements were considered: a single- and a dual-unit setup. These CM designs were tested on flat-road conditions with and without a curb. A 2010 Toyota...
-
Future research directions in design of reliable communication systems
PublicationIn this position paper on reliable networks, we discuss new trends in the design of reliable communication systems. We focus on a wide range of research directions including protection against software failures as well as failures of communication systems equipment. In particular, we outline future research trends in software failure mitigation, reliability of wireless communications, robust optimization and network design, multilevel...
-
Current risk analysis and management issues in technical systems.
PublicationDealing with the reliability and safety of industrial hazardous plants requires taking into account relevant interdisciplinary scientific knowledge and some existing approaches based on so-called good engineering practice, also those included in the international standards and guidelines. In this article an approach is proposed how to integrate the functional safety concept with information security aspects in the design and management...
-
Contextual Knowledge to Enhance Workplace Hazard Recognition and Interpretation in a Cognitive Vision Platform
PublicationThe combination of vision and sensor data together with the resulting necessity for formal representations builds a central component of an autonomous Cyber Physical System for detection and tracking of laborers in workplaces environments. This system must be adaptable and perceive the environment as automatically as possible, performing in a variety of plants and scenes without the necessity of recoding the application for each...
-
Advanced Bayesian study on inland navigational risk of remotely controlled autonomous ship
PublicationThe arise of autonomous ships has necessitated the development of new risk assessment techniques and methods. This study proposes a new framework for navigational risk assessment of remotely controlled Maritime Autonomous Surface Ships (MASS). This framework establishes a set of risk influencing factors affecting safety of navigation of a remotely-controlled MASS. Next, model parameters are defined based on the risk factors, and...
-
Postbiotics in oncology: science or science fiction?
PublicationThe gut microbiome has been increasingly understood to play a critical role in carcinogenesis and cancer disease progression. The most recent research advancements have shown that different tools of microbiota manipulation contribute to gut microbiome–immune–oncology axis modulation, offering exciting opportunities for targeted interventions aimed at improving the efficacy of established anti-cancer therapy. Postbiotics are a new...
-
Green and Sustainable Membranes: A review
PublicationMembranes are ubiquitous tools for modern water treatment technology that critically eliminate hazardous materials such as organic, inorganic, heavy metals, and biomedical pollutants. Nowadays, nano-membranes are of particular interest for myriad applications such as water treatment, desalination, ion exchange, ion concentration control, and several kinds of biomedical applications. However, this state-of-the-art technology suffers...
-
User interface prototyping. Techniques, methods and tools
PublicationCurrently, for interactive applications their usability and ergonomics of the user interface (UI) are critical factors for achieving users' acceptance.
-
Capacity analysis of the selected track system in partially ordered space
PublicationA proper location of the interval sections has significant impact on the traffic flow in the railway track network. This issue is critical during line modernization as well as when a new solution accounting for the traffic forecast at particular element of the railway track network is developed . However, the situation is more complex and more expensive for railway stations since improvement of the capacity requires critical organizational...
-
A quantitative approach for risk assessment of a ship stuck in ice in Arctic waters
Publication -
Towards an evidence-based probabilistic risk model for ship-grounding accidents
Publication -
An analysis of ship escort and convoy operations in ice conditions
Publication -
Usability of accident and incident reports for evidence-based risk modeling – A case study on ship grounding reports
Publication -
A risk-informed ship collision alert system: Framework and application
Publication -
A framework for risk analysis of maritime transportation systems: A case study for oil spill from tankers in a ship–ship collision
Publication -
Non-linear static stability of bi-layer carbon nanosheets resting on an elastic matrix under various types of in-plane shearing loads in thermo-elasticity using nonlocal continuum
PublicationIn this research, the shear and thermal buckling of bi-layer rectangular orthotropic carbon nanosheets embedded on an elastic matrix using the nonlocal elasticity theory and non-linear strains of Von-Karman was studied. The bi-layer carbon sheets were modeled as a double-layered plate, and van der Waals forces between layers were considered. The governing equations and boundary conditions were obtained using the first order shear...
-
The role of numerical tests in assessing road restraint system functionality
PublicationKey to understanding the needs and building road infrastructure management tools to prevent and mitigate run-off-road accidents is to identify hazards and their sources which are a result of wrong design, construction, and installation of road restraint systems. Building such tools requires advanced studies with field tests, simulations and models to demonstrate the effects of selected parameters on road user safety. The research...
-
Virtual touchpad - video-based multimodal interface
PublicationA new computer interface named Virtual-Touchpad (VTP) is presented. The Virtual-Touchpad provides a multimodal interface which enables controlling computer applications by hand gestures captured with a typical webcam. The video stream is processed in the software layer of the interface. Hitherto existing video-based interfaces analyzing frames of hand gestures are presented. Then, the hardware configuration and software features...
-
KASKADA Platform in Cloud Environment
PublicationKASKADA is a computing platform for developing and running services and applications oriented to multimedia processing and data streaming. A solution for serving the platform in the PaaS model is presented. The paper briefly describes the software for creating the private cloud environment based on the OpenStack software. The coud has been deployed to a supercomputer working in C2 NIWA at the Gdansk University of technology. This...
-
Four-Port Circulator Using Reduced Ground Plane Ferrite Coupled Line Junction
PublicationIn this paper the investigations of four-port circula-tor using longitudinally magnetized ferrite coupled line section are presented. The device is designed by cascading ferrite section with magic-T junction ensuring its even and odd mode excitation. The scattering parameters of ferrite coupled line junction are calculated using own software and verified with the use of commercial software. The even and odd excitation of ferrite...
-
Building Project and Project Team Characteristics For Creating Hybrid Management Processes
PublicationThis paper introduces a method of building the characteristic of Software Development Project. Project characteristic is determined on the basis of several factors such as the complexity of Software Development Project and Project Team, results of historical projects and information on processes and methodologies, which are implemented in analyzed organizations. Information on project complexity can be applied to many different...
-
Implementation of IMS/NGN Transport Stratum Based on the SDN Concept
PublicationThe paper presents the development and verification of software and a testbed aiming to demonstrate the ability of two telecommunication network concepts—Next Generation Network (NGN) and Software-Defined Networking (SDN)—to cooperate. The proposed architecture includes components of the IP Multimedia Subsystem (IMS) in its service stratum and of the SDN (controller and programmable switches) in its transport stratum, providing...
-
Computer-Aided Automated Greenery Design—Towards a Green BIM
PublicationContemporary climate challenges are changing the architect’s awareness, which results in a broader spectrum of interest. The available software enables the design of vegetation, but it is often very limited and requires specialist knowledge. The available software allows the creation of individual solutions based on visual algorithms or writing scripts; however, they are still not common methods used in architecture and urban planning....
-
Mechanical and Microstructural Characterization of TIG Welded Dissimilar Joints between 304L Austenitic Stainless Steel and Incoloy 800HT Nickel Alloy
PublicationIn this article, the mechanical properties and microstructure of 304L austenitic stainless steel/Incoloy 800HT nickel alloy dissimilar welded joints are investigated. The joints were made of 21.3 mm × 7.47 mm tubes using the TIG process with the use of S Ni 6082 nickel filler metal. No welding imperfections were found and high strength properties of joints were obtained, meeting the assumed acceptance criteria of the product’s...
-
Optimum number of actuators to minimize the cross-sectional area of prestressable cable and truss structures
PublicationThis paper describes a new computational method for determining the optimum number of actuators to design the optimal and economic cross-sectional area of pin-jointed assemblies based on the conventional force method. The most active members are selected to be prestressed to redistribute stress in the whole structure, resulting in regulating the internal force of bars that face high stress. Reducing stress in critical members allows...
-
Visualization of events using various kinds of synchronized data for the Border Guard
PublicationSTRADAR project is dedicated to streaming real-time data in a distributed dispatcher and teleinfor-mation system of the Border Guard. The Events Visualization Post is a software designed for simultaneous visualization of data of different types in BG headquarters. The software allows the operator to visualize files, images, SMS, SDS, video, audio, and current or archival data on naval situation on digital maps. All the visualized...
-
Internet photogrammetry for inspection of seaports
PublicationThis paper intends to point out the possibility of using Internet photogrammetry to construct 3D models from the images obtained by means of UAVs (Unmanned Aerial Vehicles). The solutions may be useful for the inspection of ports as to the content of cargo, transport safety or the assessment of the technical infrastructure of port and quays. The solution can be a complement to measurements made by using laser scanning and traditional...
-
Probabilistic analysis of settlements under a pile foundation of a road bridge pylon
PublicationThe paper addresses the reliability change of a road bridge pile foundation due to the unpredictable increase of settlements in time. The analysis is based on the Rędziński Bridge in Wrocław, Poland, its design assumptions, and monitoring results. The bridge foundation rests on a multi-layered subsoil assumed random. The Finite Element model of the subgrade is generated in ZSoil® software. To simplify the probabilistic approach,...
-
Low cost real time UAV stereo photogrammetry modelling technique – accuracy considerations
PublicationThe paper presents accuracy considerations regarding three 3D modelling techniques. The tested new consumer type stereo camera (ZED 3D Stereolabs) has been implemented info an aerial mapping system, on board micro air vehicle MAV) and tested object has been mapped using a real-time photogrammetry with original real-time software application. The evaluated results has been compared with model gained with a state of art unmanned...
-
Using Rule-Based System for Monitoring Marine Navigation Data Processing
PublicationProcessing marine navigational data requires sophisticated software solutions. Typically, specialized tools called processors are analyzing raw data from different sensors. It becomes important to create the monitoring software that is able to validate and verify processing components integrated into the final system. Drools®business rule management platform provides a core business rules engine, web authoring and rules management...
-
Interdisciplinary Design Teams in Poland - Architecture as a Tool for Preventing Hospital-Acquired Infections
PublicationHospital-acquired infections pose a problem, which directly affects the safe usage of healthcare facilities. On a global scale, the level of hospital-acquired infections (HAI) is estimated to affect 5–15% of those hospitalised. The World Health Organization (WHO) estimates that, on an annual basis, procedures preventing hospital-acquired infections consume 80 billion dollars [1]. In this context, it becomes important to create...
-
Experimental and numerical analysis of the modified TB32 crash tests of the cable barrier system
PublicationRoad restraint systems, including safety barriers, are one of the means used to improve road safety. Currently, they can be allowed to general use after passing the specific crash tests. However, it is always important and desirable to evaluate their performance under various realistic conditions, which can happen on the roads. In this study, the behaviour of the cable barrier system in impact conditions different than assumed...
-
Diagnostics in ballast water management
Publication. Diagnostics in ballast water management is the main remedy to protect against the threat of spreading invasive species that can be carried in ships' ballast tanks. This phenomenon is getting better known and understood. New and more effective methods of preventing threats related to this are being developed. Procedures are created to ensure environmental safety in the face of ever-increasing transport by sea. The article characterizes...
-
System of protection against electric shock for circuits with power electronics converters
PublicationModern low voltage circuits are very often equipped with power electronics converters, therefore in these circuits non-sinusoidal earth currents (touch currents) may occur. For non-sinusoidal currents safety criteria should be modified. This paper presents these modified criteria and a computer system of protection against electric shock which can be implemented in circuits with power electronics converters. The system is based...
-
The cohomological span of LS-Conley index
PublicationIn this paper we introduce a new homotopy invariant – the cohomological span of LS-Conley index. We prove the theorems on the existence of critical points for a class of strongly indefinite functionals with the gradient of the form Lx+K(x), where L is bounded linear and K is completely continuous. We give examples of Hamiltonian systems for which our methods give better results than the Morse inequalities. We also give a formula...
-
Design criterion for hydrodynamic vortex separators
PublicationTechnical objects designing involves determination of geometrical parameters that characterize a given object. When the device is described by the differential equations, an inverse problem brings difficulties, as geometrical values sought condition the solution to the problem. Vortex separators can be designed by the "criterion method'. Firstly, a critical particle is distinguished such that bigger particles are removed from...
-
A note on the Morse homology for a class of functionals in Banach spaces involving the 2p-area functional
PublicationIn this paper we show how to construct Morse homology for an explicit class of functionals involving the 2p-area functional. The natural domain of definition of such functionals is the Banach space W_0^{1,2p}(\Omega), where p > n/2 and \Omega \subet R^n is a bounded domain with sufficiently smooth boundary. As W_0^{1,2p}(\Omega) is not isomorphic to its dual space,critical points of such functionals cannot be non-degenerate...
-
Anisotropic, multiband, and strong-coupling superconductivity of the Pb0.64Bi0.36 alloy
PublicationThis paper presents theoretical and experimental studies on the superconductivity of Pb0.64Bi0.36 alloy, which is a prototype of strongly coupled superconductors and exhibits one of the strongest coupling under ambient pressure among the materials studied so far. The critical temperature, the specific heat in the superconducting state, and the magnetic critical fields are experimentally determined. Deviations from the single-gap...
-
Implementing Change Management Processes in an Enterprise
PublicationThis work demonstrates how to implement change management processes in a company, based on the suitability of IBM software.
-
Digital Photogrammetry in the Analysis of the Ventricles' Shape and Size
PublicationThis article presents spatial analyzes conducted to assess the potential of ReMake software to be used for medical purposes, with emphasis on the analysis of the shape and dimensions of the ventricles. To achieve this goal, the length of the sections measured with the ReMake and Image Master programs have been compared. RMS error was on the level of 1.2 mm. In addition to indicating the appropriateness of using this software, there...
-
Talents, Competencies and Techniques of Business Analyst: A Balanced Professional Development Program
PublicationThis paper presents preliminary results of action research in which we search for fundamentals of an universal theory of balanced approaches to software process. It is developed on the basis of balanced approach for professional development program for business analysts which integrates approaches oriented on talents, competencies and techniques. This paper includes the description of key concepts in background approaches, components...
-
Impact of the Kanban Maturity Model on a Team’s Agile Transformation: Tripling Throughput and Elevating Quality in Three Months
PublicationAgile transformations have been a significant challenge since the beginning of the agile movement, with numerous researchers and practitioners suggesting various structured approaches and guidelines. The Kanban Maturity Model (KMM) is a relatively new approach that focuses on assessing the current maturity level of an organisation, with an emphasis on a spectrum of Kanban practices. This paper presents the initial results of applying...
-
The influence of position of the post or its absence on the performance of the cable barrier system
PublicationRoad safety barriers are used to increase safety in potentially dangerous places on the roads. They are designed and installed on the roads to prevent any vehicle from getting outside the travelled way or from entering the opposite lane of the road. Barriers, which are used on European roads, have to undergo full scale crash tests according to the EN 1317 standards. Nowadays as a supplement to real crash tests, numerical simulations...
-
Modelling fatalities on regional road networks
PublicationDuring the last decade Poland’s road fatalities went down by 44%. The trend differs from region to region. Effective road safetymanagement in regions requires tools for forecasting road safety measures and identifying factors influencing road fatality numbers. Mathematical models can provide such tools. They take into account local characteristics such as: demography, economy, infrastructure and motorization. Such models could...
-
Topology Discovery of Hierarchical Ethernet LANs without SNMP support
PublicationThis paper presents an algorithm that allows for discovery of layer-2 hierarchical Ethernet network topology using agents running on selected end nodes. No SNMP, MIB, hardware, firmware, or operating system-level software modification is required. The method is based on transmission of customized Ethernet frames among installed software agents. It can be used to discover the topology of LAN or one VLAN segment as long as no MAC...
-
Playing the Sprint Retrospective
PublicationIn agile software development, where great emphasis is put on effective informal communication, success depends heavily on human and social factors. However, Scrum does not specify any techniques that aid the human side of software development. In this paper we investigate the use of 6 collaborative games for the Sprint Retrospective. Each game was implemented twice in a Scrum team in Intel Technology Poland. The received feedback...
-
Application of theory of semi-Markov processes to determining distribution of probabilistic process of marine accidents resulting from colission of ships
PublicationIn this paper is presented possible application of the theory of semi-Markov processes to elaborating an eight-state model of the process of occurrence of serviceability state and unserviceability states of sea-going ships making critical manoeuvres during their entering and leaving the ports. In the analysis it was taken into account that sea-going ships are in service for a very long time t (t → ∞). The model was elaborated to...