Filters
total: 10352
filtered: 9180
displaying 1000 best results Help
Search results for: heuristic results verification
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublicationNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
Stan graniczny użytkowalności konstrukcji oporowych z gruntu zbrojonego geosyntetykami – analiza wytycznych projektowych
PublicationSprawdzenie stanu granicznego użytkowalności konstrukcji oporowej z gruntu zbrojonego. Możliwości wyznaczenia przemieszczeń konstrukcji. Porównanie podejść projektowych według zaleceń Eurokodu 7, instrukcji ITB 429/2007, BS 8006, EBGEO i FHWA.
-
Integracja bezprzewodowych heterogenicznych sieci IP dla poprawy efektywności transmisji danych na morzu
PublicationWraz ze wzrostem istotności środowiska morskiego w naszym codziennym życiu np. w postaci zwiększonego wolumenu transportu realizowanego drogą morską. czy zintensyfikowanych prac dotyczących obserwacji i monitoringu środowiska morskiego, wzrasta również potrzeba opracowania efektywnych systemów komunikacyjnych dedykowanych dla tego środowiska. Heterogeniczne systemy łączności bezprzewodowej integrowane na poziomie warstwy sieciowej...
-
Rapid multi-objective simulation-driven design of compact microwave circuits
PublicationA methodology for rapid multi-objective design of compact microwave circuits is proposed. Our approach exploits point-by-point Pareto set identification using surrogate-based optimization techniques, auxiliary equivalent circuit models, and space mapping as the major model correction method. The proposed technique is illustrated and validated through the design of a compact rat-race coupler. A set of ten designs being trade-offs...
-
Synthesis and Characterization of Monometallic (Ag, Cu) and Bimetallic Ag-Cu Particles for Antibacterial and Antifungal Applications
PublicationIn this paper, the experimental studies are concerned with the effect of the synthesis parameters on the formation of monometallic Ag and Cu nanoparticles (NPs). We consider the synthesis strategies verification for the bimetallic core-shell and alloy particles preparation. It was successfully obtained by chemical reduction method. The obtained colloidal solution is characterized by the transmission electron microscopy (TEM) with...
-
Effect of the let-through energy of overcurrent protective devices on the temperature of conductors during short-circuits
PublicationThe scope of the verification of low-voltage systems covers the earth fault loop impedance measurement. This measurement is usually performed with the use of low-value current meters, which force a current many times lower than the one occurring during a real short-circuit. Therefore, the international standard recommends consideration of the increase of resistance of conductors with the increase of temperature, which may occur...
-
T1 RELAXATION TIME CALLIBRATION IN MAGNETIC RESONANCE IMAGING USING NANODIAMOND PHANTOMS
PublicationMRI is increasingly used in radiation treatment planning because of the excellent soft tissue contrast in the obtained images. It allows more precise definition of the boundaries between healthy tissues and those affected by cancerous lesions. To obtain good image quality, the difference in signal between two types of tissue must be significant despite the noise so it must be properly calibrated. This calibration includes...
-
Evaluation of citric acid corrosion inhibition efficiency and passivation kinetics for aluminium alloys in alkaline media by means of dynamic impedance monitoring
PublicationA novel approach is proposed for constructing the adsorption isotherm in corrosion studies, based on a well-known interaction between citric acid and aluminium in alkaline electrolytes. Our approach utilizes the instantaneous impedance measurements via Dynamic Electrochemical Impedance Spectroscopy in galvanostatic mode (g-DEIS). Unlike other common tools, g-DEIS delivers exact information about the concentration required for full...
-
Recent advances of selected passive heat transfer intensification methods for phase change material-based latent heat energy storage units: A review
PublicationThe following article overviews recent studies regarding heat transfer enhancement methods, explicitly focusing on fins and coils utilization, in phase change material-based latent heat thermal energy storage systems. It discusses the influence of various geometrical and material parameters on the melting and solidification processes, as well as the orientation of the heat transfer surface within the storage tank. Additionally,...
-
Piezoelectric Transducer for Mechanical Assessment of Soft Tissues. Concept, Implementation and Analysis
PublicationThe main goal of this work was following: preparation of a new concept, implementation and analysis of the piezoelectric resonant sensor/actuator for measuring the aging process of human skin. The research work has been carried out in the framework of cooperation between the INP-ENSEEIHT-LAPLACE, Toulouse, France, and at the Gdansk University of Technology, Faculty of Electrical and Control Engineering, Research Group of...
-
Numerical Test for Stability Evaluation of Discrete-Time Systems
PublicationIn this paper, a new numerical test for stability evaluation of discrete-time systems is presented. It is based on modern root-finding techniques at the complex plane employing the Delaunay triangulation and Cauchy's Argument Principle. The method evaluates if a system is stable and returns possible values and multiplicities of unstable zeros of the characteristic equation. For state-space discrete-time models, the developed test...
-
Experimental Investigations On The Momentum Pressure Drop During Flow Boiling Of R134a
PublicationThe article presents experimental investigations of the pressure drop during twophase flow. Experiments were performed for both adiabatic and heated flow of R134a. Obtained flow patterns were compared with the literature. Obtained data is used to validate momentum pressure drop predictions, a set of graphs showing comparisons, for a representative set of experimental conditions, of the two-phase frictional pressure gradients for...
-
Analysis of measurement uncertainty for contact-less method used to measure the position of catenary contact wire, performed with the use of Monte Carlo method
PublicationCurrently the majority of main railway lines in Europe are electrified, and electric trains have the biggest share in the entire amount of rail transport. Reliability of electrified railways is closely related to the issue of supplying traction vehicles with energy. The problems connected with diagnostics of energy consumption node, namely the contact line and the current collector, are therefore of fundamental importance for maintaining...
-
Parametric analysis of Istanbul's Ring Road viaduct for three levels of seismic load
PublicationThe paper presents a parametric analysis of the Istanbul's ring road viaduct that is currently under construction within the Northern Marmara Highway project. The structure, due to its location on seismic prone areas is exposed to seismic loads of different strengths and different return periods. The study is focused on concrete bridge supports that are design to work in nonlinear range. The parametric study, conducted in MATLAB...
-
Observation Value Analysis – Integral Part of Bayesian Diagnostics
PublicationThe decision making process, in general, is understood as a process of selecting one of the available solutions to the problem. One of possible approaches supporting the process is Bayesian statistical decision theory providing a mathematical model to make decisions of a technical nature in conditions of uncertainty. Regarding above, a detailed subject of the research is to analyze the value of the observation, which is a part...
-
Framework for RIDM within functional safety management process
PublicationThe functional safety management in life cycle is a complex process starting with identifying hazards and defining safety-related functions (SRFs) with risk assessment oriented at determining the safety integrity level. Another element of such life cycle is a verification of required SIL for designed safety-related system which implements safety function. Due to complexity of the problem, to overcome difficulties in safety-related...
-
Foundations of Grid Processing Architecture for the Comcute System
PublicationFundamental system algorithms and structures implemented in the Comcute system are described and analysed in detail. Layered architecture of the system model is highlighted. System tasks of the layers are elaborated, presented and described. Operational details of communication interfaces among layers are worked out and examined. The focus is put onto implemented system components with regard to their operability and efficiency....
-
Time-current tripping characteristics of RCDs for sinusoidal testing current
PublicationLow-voltage electrical installations are verified initially – before being put into operation, as well as periodically – during their utilization. According to the IEC standards, the scope of the verification includes measurements of both the tripping current and the disconnection time of residual current devices (RCDs). Experiences in RCDs testing show that disconnection times of two or more similar RCDs can be quite different....
-
A device for measuring heat flux on a rocket skin surface
PublicationA novel method for measuring heat flux on a surface is presented. It is an extensive upgrade of currently known heat flux sensors used mostly in civil engineering. As the thermal environment of launchers, especially sounding rocket can have an enormous negative effect on payload, careful considerations have to be taken in the process of preparing insulation. Usually, thermal data provided by the launch vehicle manufacturer is limited...
-
A Method for Determination and Compensation of a Cant Influence in a Track Centerline Identification Using GNSS Methods and Inertial Measurement
PublicationAt present, the problem of rail routes reconstruction in a global reference system is increasingly important. This issue is called Absolute Track Geometry, and its essence is the determination of the axis of railway tracks in the form of Cartesian coordinates of a global or local coordinate system. To obtain such a representation of the track centerline, the measurement methods are developed in many countries mostly by the using...
-
Positive management of the university
PublicationPurpose: To demonstrate that contemporary universities may be improved by synthesis of strategic antinomies, i.e. seeking the possibility of combining opposite approaches to solving problems concerning university organization and management. Findings: That approach discounts the importance of building positive relationships between members of staff and undertaking activities intended to create a situation where the...
-
Advanced Supervisory Control System Implemented at Full-Scale WWTP—A Case Study of Optimization and Energy Balance Improvement
PublicationIn modern and cost-eective Wastewater Treatment Plants (WWTPs), processes such as aeration, chemical feeds and sludge pumping are usually controlled by an operating system integrated with online sensors. The proper verification of these data-driven measurements and the control of different unit operations at the same time has a strong influence on better understanding and accurately optimizing the biochemical processes at WWTP—especially...
-
The Substantial Improvement of Amphotericin B Selective Toxicity Upon Modification of Mycosamine with Bulky Substituents
PublicationAbstract: Background: It is assumed that the unfavorable selective toxicity of an antifungal drug Amphotericin B (AmB) can be improved upon chemical modification of the antibiotic molecule. Objective: The aim of this study was verification of the hypothesis that introduction of bulky substituents at the amino sugar moiety of the antibiotic may result in diminishment of mammalian vitro toxicity of thus prepared AmB derivatives. Methods:...
-
Rapid development of the photoresponse and oxygen evolution of TiO2 nanotubes sputtered with Cr thin films realized via laser annealing
PublicationRecently, earth abundant transition metal oxides have gained particular attention as potential catalyst candidates due to their availability and low-cost comparing to substrates containing precious Pt or Au species. Herein, we present characterization of morphology, structure and electrochemical properties of pulsed 532 nm laser treated TiO2 nanotubes (NT) sputtered by the thin film of chromium. Scanning electron microscopy enables...
-
GROUP COMPOSER - System for Modeling Agents’ Team Building for Tasks
PublicationMulti-agent systems consist of many autonomous units, called agents, that can interact when trying to achieve their goals. The selection of interaction partners is called team formation. Three basic approaches can be considered to match multi-agent system resources to the problem at hand. To research the properties of different approaches, a software for modeling team formation in multi-agent systems has been created and is presented...
-
The concept of research on ecological, energy and reliability effects of modified marine fuel oils application to supply compression-ignition engines in real conditions
PublicationWithin the article, basic assumptions of the research project financed by Regional Fund for Environmental Protection and Water in Gdansk were described. The project concerns the experimental investigations carried out on laboratory compression-ignition engine in conditions of its supply with a non-standard marine fuel oil. Configuration and measuring capability of laboratory test bed presently being constructed were introduced....
-
Hybrid Fuzzy-Ontological Project Framework of a Team Work Simulation System
PublicationThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Knowledge-based functional safety management using ProSIL software
PublicationIn the article the ProSIL software for computer aided functional safety management is presented. The software consists of three modules for the determination of the required SIL level (ProSILen) and verification of the SIL level (ProSILver). In the ProSIL the calibrated knowledge-based risk graph method for determining the required safety integrity level (SIL) of the safety functions identified in hazard analysis is implemented....
-
Texture Features for the Detection of Playback Attacks: Towards a Robust Solution
PublicationThis paper describes the new version of a method that is capable of protecting automatic speaker verification (ASV) systems from playback attacks. The presented approach uses computer vision techniques, such as the texture feature extraction based on Local Ternary Patterns (LTP), to identify spoofed recordings. Our goal is to make the algorithm independent from the contents of the training set as much as possible; we look for the...
-
5G/6G optical fronthaul modeling: cost and energy consumption assessment
PublicationIn fifth generation (5G) and the future beyond 5G (6G) radio access networks (RANs), the cost of fronthaul deployment is a main challenge for mobile network operators. Depending on different constraints, there are various solutions to deploy an efficient fronthaul. Fiber-optic-based fronthaul offers long-term support with regard to a rapid increase in capacity demands. When fiber connections, either point-to-point (P2P) or point-to-multipoint...
-
Dynamic host configuration protocol for IPv6 improvements for mobile nodes
PublicationIn wireless networks mobile clients change their physical location, which results in changing point of attachment to the network. Such handovers introduce unwanted periods, when node does not have communication capabilities. Depending on many conditions, such events may require reconfiguration of layer 2 (e.g. IEEE 802.16) or both 2 and 3 layers (IPv6). This paper investigates delays introduced in the latter type of handover. IPv6...
-
Mobile indicators in GIS and GPS positioning accuracy in cities
PublicationThe publication describes the possible use of tele-geoprocessing as a synergy of modern IT solutions, telecommunications and GIS algorithms. The paper presents a possibility of urban traffic monitoring with the use of mobile GIS indicators of dedicated monitoring system designed for taxi corporation. The system is based on a stationary and mobile software package. The optimal and minimal assumptions for the monitoring of urban...
-
Ontology management in the multi-agent system for the it evaluation
PublicationThe team of researchers at the Gdańsk University of Technology is currently developing a model of the multi-agent system (MAS_IT) that would aid the IT managers to find the most appropriate technology to the goals assumed. The knowledge is to be provided by experts and stored in the facts and rules bases. The responsibility of the verification process-on the input and query stages-is given to the ontology, making it to some extend...
-
Low-dimensional bound entanglement with one-way distillable cryptographic key
PublicationIn this paper, we provide a class of bound entangled states that have positive distillable secure key rate. The smallest state of this kind is 4 circle times 4, which shows that peculiar security contained in bound entangled states does not need high-dimensional systems. We show that for these states a positive key rate can be obtained by one-way Devetak-Winter (DW) protocol. Subsequently, the volume of bound entangled key-distillable...
-
Selected manufacturing difficulties encountered during setup of machining on cnc multi-axis linear automatic lathe and on cnc multi-spindle turning centers
PublicationThe article presents the observed manufacturing technology implementation difficulties in workshop practice, resulting from the construction and principles of operation on the DMG’s SPRINT 32/5 CNC linear automatic lathe and on the Mazak’s HQR 150 MSY and QTN 200 MS CNC turn - mill centers, and discusses possible rules for solving the production problems encountered. The article also discusses the principles of dividing the machining...
-
Mitigation of Fake Data Content Poisoning Attacks in NDN via Blockchain
PublicationAbstract—Information-centric networks struggle with content poisoning attacks (CPAs), especially their stronger form called Fake Data CPA, in which an intruder publisher uploads content signed with stolen credentials. Following an existing graphinfection based approach leveraging the constrained time when stolen credentials are useful, we design a blockchain-based mitigation scheme for Named Data Networking architectures. We postulate...
-
SatBałtyk – A Baltic environmental satellite remote sensing system – an ongoing project in Poland. Part 2: Practical applicability and preliminary results**This work was carried out within the framework of the SatBałtyk project funded by the European Union through European Regional Development Fund, (contract No. POIG.01.01.02-22-011/09 entitled ‘The Satellite Monitoring of the Baltic Sea Environment’) and also as a part of IO PAS’s statutory research.The paper was presented in part at the 6th International Conference ‘Current Problems in the Optics of Natural Waters’, St. Petersburg, Russia, 6–10 September 2011.
Publication -
Operating system security by integrity checking and recovery using write-protected storage
PublicationThe paper presents an Integrity Checking and Recovery (ICAR) system which protects file system integrity and automatically restores modified files. The system enables files cryptographic hashes generation and verification, as well as configuration of security constraints. All of the crucial data, including ICAR system binaries, file backups and hashes database are stored in a physically write protected storage to eliminate the...
-
Analytical Expression for the Time-Domain Discrete Green's Function of a Plane Wave Propagating in the 2-D FDTD Grid
PublicationIn this letter, a new closed-form expression for the time-domain discrete Green's function (DGF) of a plane wave propagating in the 2-D finite-difference time-domain (FDTD) grid is derived. For the sake of its verification, the time-domain implementation of the analytic field propagator (AFP) technique was developed for the plane wave injection in 2-D total-field/scattered-field (TFSF) FDTD simulations. Such an implementation of...
-
Functional safety with cybersecurity for the control and protection systems on example of the oil port infrastructure
PublicationSafety and cybersecurity aspects consist of two different group of functional requirements for the industrial control and protection systems in the oil port installation. It is the main reason why the analyses of safety and cybersecurity shouldn’t be integrated directly. These article presented some important issues of the functional safety analysis with regard to cybersecurity aspects in the oil seaport infrastructure. The proposed...
-
Computational modeling of molecularly imprinted polymers as a green approach to the development of novel analytical sorbents
PublicationThe development of novel molecularly imprinted polymers (MIP) sorbents for specific chemical compounds require a lot of tedious and time-consuming laboratory work. Significant quantities of solvents and reagents are consumed in the course of the verification of appropriate configurations of polymerization reagents. Implementation of molecular modeling in the MIP sorbent development process appears to provide a solution to this...
-
An analytical approach to determine the health benefits and health risks of consuming berry juices
PublicationFood products composition analysis is a prerequisite for verification of product quality, fulfillment of regulatory enforcements, checking compliance with national and international food standards, contracting specifications, and nutrient labeling requirements and providing quality assurance for use of the product for the supplemen- tation of other foods. These aspects also apply to the berry fruit and berry juice. It also must...
-
Approach to security assessment of critical infrastructures' information systems
PublicationThis study presents an approach to the security assessment of the information systems of critical infrastructures. The approach is based on the faithful reconstruction of the evaluated information system in a computer security laboratory followed by simulations of possible threats against the system. The evidence collected during the experiments, stored and organised using a proprietary system InSAW, may later be used for the creation...
-
Rapid surrogate-assisted statistical analysis of compact microstrip couplers
PublicationIn this paper, a technique for low-cost statistical analysis and yield estimation of compact microwave couplers has been presented. The analysis is executed at the level of a fast surrogate model representing selected characteristic points of the coupler response that are critical to determine satisfaction/violation of the prescribed design specifications. Because of less nonlinear dependence of the characteristic points on geometry...
-
ZASTOSOWANIE FILTRACJI CZĄSTECZKOWEJ DO ESTYMACJI POŁOŻENIA W SYSTEMIE LOKALIZACYJNYM UWB
PublicationNiniejszy artykuł dotyczy kwestii poprawy dokładności estymacji położenia w systemie lokalizacji wewnątrzbudynkowej, bazującym na radiowych pomiarach odległości realizowanych przez modemy UWB. Proponuje się zastosowanie metody filtracji cząsteczkowej do zmniejszenia błędu wyznaczania pozycji obiektu przy braku bezpośredniej widoczności ze stacją referencyjną. W artykule opisano algorytm filtru cząsteczkowego, jego przykładową implementację...
-
Ocena pracy dźwigara zadaszenia Hali Blanika w Gdańsku
PublicationWartykule przedstawiono kompleksowe sprawdzenie nośności stalowej konstrukcji zadaszenia Hali Leszka Blanika w Gdańsku. Dokonano oceny wpływu otworów dużej średnicy w środnikach dźwigara na jego nośność. Oszacowano nośność nietypowego, zginanego styku doczołowego łączącego elementy dwuteowe klasy 4. Obliczenia wykonano na podstawie norm i analiz modeli MES.
-
Variable Data Structures and Customized Deep Learning Surrogates for Computationally Efficient and Reliable Characterization of Buried Objects
PublicationIn this study, in order to characterize the buried object via deep-learning-based surrogate modeling approach, 3-D full-wave electromagnetic simulations of a GPR model has been used. The task is to predict simultaneously and independent of each characteristic parameters of a buried object of several radii at different positions (depth and lateral position) in various dispersive subsurface media. This study has analyzed variable...
-
Simulation of the number of storm overflows considering changes in precipitation dynamics and the urbanisation of the catchment area: a probabilistic approach
PublicationThis paper presents a probabilistic methodology that allows the study of the interactions between changes in rainfall dynamics and impervious areas in urban catchment on a long- and short-term basis. The proposed probabilistic model predict future storm overflows while taking into account the dynamics of changes in impervious areas and rainfall. In this model, a logistic regression method was used to simulate overflow resulting...
-
Global Design Optimization of Microwave Circuits Using Response Feature Inverse Surrogates
PublicationModern microwave design has become heavily reliant on full-wave electromagnetic (EM) simulation tools, which are necessary for accurate evaluation of microwave components. Consequently, it is also indispensable for their development, especially the adjustment of geometry parameters, oriented towards performance improvement. However, EM-driven optimization procedures incur considerable computational expenses, which may become impractical...
-
Algorytmy wyodrębniania składowych symetrycznych sygnału pomiarowego napięcia w przypadku asymetrii sieci trójfazowej
PublicationW artykule zaprezentowano działanie wybranych algorytmów wykorzystywanych do wyodrębniania składowych symetrycznych z sygnałów pomiarowych napięcia lub prądu w przypadku wystąpienia asymetrii trójfazowej sieci elektroenergetycznej. Weryfikacji działania algorytmów dokonano na podstawie badań symulacyjnych i laboratoryjnych w układzie w którym jako odbiornik zastosowano stojan maszyny asynchronicznej pierścieniowej. Określono wpływ...