Filters
total: 1600
-
Catalog
- Publications 1388 available results
- Journals 8 available results
- Conferences 12 available results
- Publishing Houses 1 available results
- People 25 available results
- Projects 3 available results
- e-Learning Courses 21 available results
- Events 2 available results
- Open Research Data 140 available results
displaying 1000 best results Help
Search results for: certification schemes
-
A fast high-resolution 3-D Finite Difference Time-Domain scheme with macromodels.
PublicationZaprezentowano szybki trójwymiarowy wysokorozdzielczy algorytm różnic skończonych w dziedzinie czasu. Zwiększona rozdzielczość osiągnięta została poprzez połączenie standardowego schematu FDTD z makromodelami silnie zagęszczonych objętości stworzonych przez zastosowanie redukcji rzędu modelu. Nowy schemat FDTD z makromodelami jest wyprowadzony. Koszt numeryczny nowej metody jest wyestymowany. Doskonałe wyniki zostały zaobserwowane...
-
S-scheme heterojunction Bi2O3-ZnO/Bentonite clay composite with enhanced photocatalytic performance
PublicationThe industrial waste water is always a bottleneck problem in the modern civilization of the present era. In a quest to develop effective methods for the elimination of lethal pollutants from the waste water and water remediation, this work is focused on the development of a rapid and proficient approach for preparing supported binary metal oxide catalyst for photocatalytic advance oxidation process used in waste water treatment...
-
Capacity efficient shared protection and fast restoration scheme in self-configured optical networks
PublicationW artykule zaproponowano nową koncepcję optymalizacji rozdziału zasobów dla przeżywalnych sieci rozległych, która gwarantuje szybkie odtwarzanie usług po wystąpieniu awarii. Wykazano, iż proponowany algorytm, wykorzystujący ideę wierzchołkowego kolorowania grafów, nie powoduje wydłużania ścieżek zabezpieczających - zjawiska charakterystycznego dla powszechnie stosowanych algorytmów optymalizacji. Udowodniono, iż powyższa cecha...
-
Improving the accuracy of subgridding scheme in finite differences method based on Legendre polynomials expansion
PublicationIn this article the Legendre polynomials have been used to interpolate the field at the boundary of the meshes of different densities. The numerical verification of the proposed technique has been carried out in frequency domain. It has been shown that the accuracy of the presented method is very high and stable - the error monotonically decreases as a function of the refinement factor.
-
A Reputation Scheme to Discourage Selfish QoS Manipulation in Two-Hop Wireless Relay Networks
PublicationIn wireless networks, stations can improve their received quality of service (QoS) by handling packets of source flows with higher priority. Additionally, in cooperative relay networks, the relays can handle transit flows with lower priority. We use game theory to model a two-hop relay network where each of the two involved stations can commit such selfish QoS manipulation. We design and evaluate a reputation-based incentive scheme...
-
Numerical simulation of transient flow in storm sewers using standard and improved mccormack scheme
PublicationProblem przepływu wody w rurach kanalizacji deszczowej wiąże się z pewnymi specyficznymi zjawiskami zachodzącymi w przewodach podczas zjawisk burzowych. Jeśli rury zaczynają być całkowicie wypełnione wodą, można zaobserwować przejście z ruchu ze swobodną powierzchnią do ruchu pod ciśnieniem i odwrotnie. Takie zjawisko można zaobserwować również w kanałach kontrolowanych przez urządzenia sterujące, np. zasuwy. Ponadto ruch szybkozmienny...
-
Numerically efficient algorithm for compact microwave device optimization with flexible sensitivity updating scheme
PublicationAn efficient trust-region algorithm with flexible sensitivity updating management scheme for electromagnetic (EM)-driven design optimization of compact microwave components is proposed. During the optimization process, updating of selected columns of the circuit response Jacobian is performed using a rank-one Broyden formula (BF) replacing finite differentiation (FD). The FD update is omitted for directions sufficiently well aligned...
-
Concurrent Video Denoising and Deblurring for Dynamic Scenes
PublicationDynamic scene video deblurring is a challenging task due to the spatially variant blur inflicted by independently moving objects and camera shakes. Recent deep learning works bypass the ill-posedness of explicitly deriving the blur kernel by learning pixel-to-pixel mappings, which is commonly enhanced by larger region awareness. This is a difficult yet simplified scenario because noise is neglected when it is omnipresent in a wide...
-
Pumpkin, Cauliflower and Broccoli as New Carriers of Thiamine Compounds for Food Fortification
Publication -
Experimental Verification of Natural Vibration Models of Steel-concrete Composite Beams
Publication -
Experimental verification of visual method for measuring displacements of contact line elements
PublicationThe increase of rail vehicles speed, as well as the increase of their power, puts high demands on the power delivery system for traction vehicles The most critical point in the vehicle's power supply circuit is the contact between the current collector and contact wires. Ensuring a reliable co-operation of the current collector and contact line, requires technical development...
-
Analysis of results of large-scale multimodal biometric identity verification experiment
PublicationAn analysis of a large set of biometric data obtained during the enrolment and the verification phase in an experimental biometric system installed in bank branches is presented. Subjective opinions of bank clients and of bank tellers were also surveyed concerning the studied biometric methods in order to discover and to explore relations emerging from the obtained multimodal dataset. First, data acquisition and identity verification...
-
Verification of the exponential model of body temperature decrease after death in pigs
Publication -
Verification of the Parameterization Methods in the Context of Automatic Recognition of Sounds Related to Danger
PublicationW artykule opisano aplikację, która automatycznie wykrywa zdarzenia dźwiękowe takie jak: rozbita szyba, wystrzał, wybuch i krzyk. Opisany system składa się z bloku parametryzacji i klasyfikatora. W artykule dokonano porównania parametrów dedykowanych dla tego zastosowania oraz standardowych deskryptorów MPEG-7. Porównano też dwa klasyfikatory: Jeden oparty o Percetron (sieci neuronowe) i drugi oparty o Maszynę wektorów wspierających....
-
Missing Verification of Source Data in Hypertension Research: The HYGIA PROJECT in Perspective
Publication -
Image registration of BANG® gel dose maps for quantitative dosimetry verification
Publication -
Experimental verification and comparison of mode shape-based damage detection methods
PublicationW pracy przedstawiono wynik badań eksperymentalnych dotyczących oceny dokładności znanych z literatury metod detekcji uszkodzeń konstrukcji wykorzystujących zmiany jej parametrów modalnych. Pomiary wykonano wykorzystując skaner laserowy firmy Polytec. Omówiono sposoby poprawy jakości uzyskiwanych wyników, oraz zaproponowano własną metodę detekcji uszkodzeń wykorzystującą pomiar postaci i częstości drgań własnych konstrukcji.
-
Application of dynamic time warping and cepstrograms to text-dependent speaker verification
PublicationThis work provides a description of an automatic speaker verification (ASV) system. In particular, it documents the evolution of all individual stages of the proposed ASV system design from the phase of preprocessing to an operational decision making system. The aim of this research was to achieve the system of the best safety and ease of use in view of users. The objective estimation of this target has been accomplished by assessing...
-
Experimental verification and comparison of mode shape-based damage detection methods
PublicationThis paper presents experimental verification and comparison of damage detection methods based on changes in mode shapes such as: mode shape curvature (MSC), modal assurance criterion (MAC), strain energy (SE), modified Laplacian operator (MLO), generalized fractal dimension (GFD) and Wavelet Transform (WT).
-
CFD model and experimental verification of water turbine integrated with electrical generator
Publication -
Verification of geotechnical numerical simulations by model tests using PIV technique
PublicationPrzedstawiono metodykę i wyniki badań modelowych stateczności fundamentów bezpośrednich posadowionych w sąsiedztwie kątowych ścian oporowych. Dla takiego złożonego układu fundament - obciążenie - podłoże gruntowe wykonano badania modelowe w płaskim stanie odkształcenia na gruncie naturalnym i analogowym. Trajektorie i izopola przemieszczeń oraz progresywny rozwój kształtu i zasięgu powierzchni poślizgu określono techniką PIV.
-
The project IDENT: Multimodal biometric system for bank client identity verification
PublicationBiometric identity verification methods are implemented inside a real banking environment comprising: dynamic handwritten signature verification, face recognition, bank cli-ent voice recognition and hand vein distribution verification. A secure communication system based on an intra-bank client-server architecture was designed for this purpose. Hitherto achieved progress within the project is reported in this paper with a focus...
-
Verification of the compatibility of TOC, TOKC duct silencers with selected EN standards
PublicationThe TOC and TOKC ventilation silencers tested during the a.m. procedures are compatible with selected standards to the extents and classes as stated above without further limitations.
-
Higher harmonics produced by traction substations – computer modelling and experimental verification
PublicationVoltage and current harmonics have a detrimental effect on the components of a power system. Current harmonics may result in the overload and damage to power transformers, although the rms value of load current does not exceed their current-carrying capacity. Voltage harmonics may result in, for example, damage to capacitor banks used to compensate reactive power. Devices which contribute to both current and voltage distortion...
-
Safety Integrity Verification Issues of the Control Systems for Industrial Process Plants
PublicationThe aim of this article is to identify and discuss some issues that can be encountered in designing the industrial automation and control systems (IACS) for implementing safety functions. In a functional safety standard IEC 61511 for the process industry such systems are named the basic process control systems (BPCS) and the safety instrumented systems (SIS). In a generic functional safety standard IEC 61508 they are depicted as...
-
Safety integrity level verification for safety-related functions with security aspects
PublicationThe article is devoted some important issues of the functional safety analysis, in particular the safetyintegrity level (SIL) verification of safety functions to be implemented within the distributed controland protection systems with regard to cyber security aspects. The procedure for functional safety man-agement includes hazard identification, risk analysis and assessment, specification of overall safetyrequirements and definition...
-
Verification of ESPAR Antennas Performance in the Simple and Calibration Free Localization System
PublicationThis paper presents the results of simulations and measurements of an indoor localization system that uses Electronically Steerable Parasitic Array Radiator (ESPAR) antennas with switched directional beam. Proposed antennas are dedicated for 2.4GHz ISM low-cost applications where determination of the incoming signal is required. The antennas performance is analyzed and verified with relation to positioning methods based on the...
-
Verification of algorithms determining wave loads on support structure of wind turbine
PublicationThe offshore wind turbines require determination of wave loads on their support structure. This structure is fixed and, therefore, this problem is reduced to solving only the diffraction problem, which is determined by Laplace equation and conditions on the following boundaries: on the support structure, on the sea free surface and on its bottom, and at infinity on free surface. The linear problem was applied to determine the wave...
-
Mersenne Number Finding and Collatz Hypothesis Verification in the Comcute Grid System
PublicationIn this chapter, some mathematic applications have been described to test scalability of the Comcute grid system. Especially, a verification of the Collatz hypothesis and finding Mersenne numbers were applied to prove the scalability and high performance of this grid system. Results were compared with outcomes obtained by the other grid systems.
-
Eigenfaces, Fisherfaces, Laplacianfaces, Marginfaces – How to Face the Face Verification Task
PublicationThis paper describes the exhaustive tests of four known methods of linear transformations (Eigenfaces, Fisherfaces, Laplacianfaces and Marginfaces) in the context of face verification task. Additionally, we introduce a new variant of the transformation (Laplacianface + LDA), and the specific interval-based decision rule. Both of them improve the performance of face verification, in general, however, our experiments show that the...
-
CO2 Adsorption Study of Potassium-Based Activation of Carbon Spheres
Publication -
Adsorption of carbon dioxide on phenolic resin-based carbon spheres
Publication -
Facile synthesis and properties of iron oxide spheres coated with carbon
Publication -
Physicochemical and photocatalytic characterization of mesoporous carbon/titanium dioxide spheres
Publication -
On relations between gradient and classical equivariant homotopy groups of spheres
PublicationWe investigate relations between stable equivariant homotopy groups of spheres in classical and gradient categories. To this end, the auxiliary category of orthogonal equivariant maps, a natural enlargement of the category of gradient maps, is used. Our result allows for describing stable equivariant homotopy groups of spheres in the category of orthogonal maps in terms of classical stable equivariant groups of spheres with shifted...
-
Multicast Traffic Throughput Maximization through Joint Dynamic Modulation and Coding Schemes Assignment, and Transmission Power Control in Wireless Sensor Networks
Publication -
Single-phase, Five-level Inverter with SPWM-Based Neutral Point Voltage Balancing Scheme
PublicationMultilevel inverter topologies provide several advantages over two-level inverter configuration. These benefits are the reason for the growing interest in multilevel topologies among research society. One of the most popular topological concepts (diode and active switch clamping) requires neutral-point potential balancing due to series-connected capacitor banks across the input dc link in such derived inverter configurations. This...
-
Fast and reliable knowledge-based design closure of antennas by means of iterative prediction-correction scheme
PublicationA novel framework for expedited antenna optimization with an iterative prediction-correction scheme is proposed. The methodology is comprehensively validated using three real-world antenna structures: narrow-band, dual-band and wideband, optimized under various design scenarios. The keystone of the proposed approach is to reuse designs pre-optimized for various sets of performance specifications and to encode them into metamodels...
-
A General Scheme of a Branch-and-Bound Approach for the Sensor Selection Problem in Near-Field Broadband Beamforming
Publication -
Efficient handover scheme for Mobile IPv4 over IEEE 802.11 networks with IEEE 802.21 triggers.
PublicationEfektywność przełączania jest bardzo istotnym parametrem, decydującym o pracy sieci bezprzewodowych, realizujacych usługi multimedialne na wysokim poziomie jakości. Użytkownicy takich sieci oczekują ciągłej obsługi podczas procesu przemieszczania się. Okazuje się, że istotnym źródlem opóźnień są nieefektywne procedury przełączania w warstwach drugiej i trzeciej, wynikający częściowo z postulatu o separacji funkcji realizowanych...
-
Modelling of the Polish Electricity Generation Subsystem in MARKAL Program with Emphasis on the EU Emissions Trading Scheme
PublicationThis paper addresses issues related to greenhouse gas emissions in the European Union and measures to reduce them, in particular the European Emissions Trading Scheme (EU ETS). A model of the Polish electricity generation subsystem, taking into account EU ETS mechanisms, has been developed using the MARKAL optimization package. Data collected on the basis of available projects, regulations and statistics were entered into the model....
-
Augmented speed control scheme of dual induction motors with mutual flux angle control loop
PublicationThis paper proposes an augmented speed control scheme of dual induction motors fed by a five-leg voltage source inverter (VSI) with a common/shared-leg. An additional control loop is proposed here and based on the mutual flux angle – the difference between flux angular positions of the IMs. The main purpose of this research is to minimize the energy losses in the common inverter leg by controlling the mutual flux angle, at equal...
-
A Database Schema for the Analysis of Global Dynamics of Multiparameter Systems
Publication -
Verification of Economic and Agricultural Indicators With the Use of Statistical Methods on the Example of Individual Farms
Publication -
APPLICATION OF SATELLITE IMAGERY AND GIS TOOLS FOR LAND SURFACE TEMPERATURE ESTIMATION AND VERIFICATION
PublicationLand surface temperature (LST) plays an important role in many land-surface processes on regional as well on global scales. It is also a good indicator of energy flux phenomena and is used as a parameter in various Earth observation related studies. However, LST estimation based on processing and utilisation of satellite derived data constitutes several problems in terms of time limitations, accessibility, atmospheric influence...
-
Verification of the Analytical Traffic Model of a Multidomain IMS/NGN Using the Simulation Model
PublicationIn this paper we verify the previously proposed analytical traffic model of a multidomain Next Generation Network (NGN), which is standardized for delivering multimedia services based on the IP Multimedia Subsystem (IMS). For this reason a proper simulation model used, in which not theoretical queuing system models but the operation of real network elements and standardized call scenarios are accurately implemented. Consequently,...
-
Verification of GNSS Measurements of the Railway Track Using Standard Techniques for Determining Coordinates
PublicationThe problem of the reproduction of the railway geometric layout in the global spatial system is currently solved in the form of measurements that use geodetic railway networks and also, in recent years, efficient methods of mobile positioning (mainly satellite and inert). The team of authors from the Gdańsk University of Technology and the Maritime University in Gdynia as part of the research project InnoSatTrack is looking for...
-
The new footbridge in city of Cracow dynamic design and final verification in test loading
PublicationArtykuł przedstawia rozwój projektu kładki od formy architektonicznej do ostatecznego kształtu konstrukcji.
-
Verification of GNSS measurements of the railway track using standard techniques for determining coordinates
Publication -
Perceived supervisor support as a relevant factor for subordinates’ job satisfaction – model verification
Publication