Filtry
wszystkich: 714
-
Katalog
- Publikacje 560 wyników po odfiltrowaniu
- Czasopisma 3 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Osoby 10 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Kursy Online 5 wyników po odfiltrowaniu
- Wydarzenia 1 wyników po odfiltrowaniu
- Dane Badawcze 123 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: SIGNATURE%20VERIFICATION
-
Shipping Low Frequency Noise and Its Propagation in Shallow Water
PublikacjaOne of the most significant factor influencing acoustical climate of the sea is underwater noise generated by moving ships. If the considered sea area has features of the shallow water, namely the wave frequency fulfils relation f < 10c/h, where c denotes phase speed of sound, and h is depths of the sea, then in certain distance from the wave source specific image of sound pressure distribution in the mean of wave modes appears....
-
A fair distribution scheme for joint fingerprinting and decryption methods= Sprawiedliwy schemat dystrybucji dla metod łącznego osadzania odcisku palca oraz deszyfracji
PublikacjaThe paper addresses the fairness of the security provided by digital fingerprinting methods. It was noted that the digital fingerprinting techniques are designed primarily to protect service providers against the actions of malicious users, while honest users remain vulnerable to acts of malicious providers. The paper describes the customer's rights problem and the unbinding problem, which also apply to joint fingerprinting and...
-
IFIP Joint International Conference on Formal Description Techniques and Protocol Specification, Testing, And Verification
Konferencje -
Integrated functional safety and cyber security analysis
PublikacjaThe chapter is devoted some important issues of the functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with regard of the evaluation assurance levels (EAL)...
-
Experiment with small objects floating under water in the harbor security aspect.
PublikacjaObservation of the underwater area is the element of general trend which primary purpose is to protect and enhance the safety of the selected region. The aim of the paper is to present the acoustic characteristics of typical objects floating on the surface or under the water, which constitute some knowledge on how to detect these objects. Create a catalog of acoustic signatures and acoustic images of objects mostly floating under...
-
Ligand-Modified Boron-Doped Diamond Surface: DFT Insights into the Electronic Properties of Biofunctionalization
PublikacjaWith the increasing power of computation systems, theoretical calculations provide a means for quick determination of material properties, laying out a research plan, and lowering material development costs. One of the most common is Density Functional Theory (DFT), which allows us to simulate the structure of chemical molecules or crystals and their interaction. In developing a new generation of biosensors, understanding the nature...
-
Odporne na wpływ tolerancji, słownikowe metody diagnostyki uszkodzeń układów elektronicznych ze specjalizowanym klasyfikatorem neuronowym
PublikacjaW pracy przedstawiono nową klasę słownikowych metod diagnostyki uszkodzeń parametrycznych analogowych układów elektronicznych, ze specjalizowanym klasyfikatorem neuronowym, o zwiększonej odporności na tolerancje elementów układu. Wykorzystano koncepcję polegającą na konstrukcji sygnatur słownika uszkodzeń w postaci krzywych identyfikacyjnych i zastosowaniu klasyfikatorów neuronowych dobrze dopasowanych do tych sygnatur. W pierwszej...
-
Model of Rules for IT Organization Evolution
PublikacjaThe aim of this paper is to introduce the Model of Rules for IT Organization Evolution which shall be in compliance with the Generic IT Organization Evolution Model. Due to its general nature, a set of practical adjustments is proposed in order to adapt the Generic Model to the IT Service Management domain. Further, two sets of rules describing the evolution of the IT Service Management area are defined based on two types of rules...
-
Determining and verifying the safety integrity level with security aspects
PublikacjaSafety and security aspects consist of two different group of functional requirements for the control and protection systems. It is the reason why the analyses of safety and security shouldnt be integrated directly. The paper proposes extension of the currently used methods of functional safety analyses. It can be done with inclusion of the level of information security assigned to the technical system. The article addresses some...
-
Comparison of the Ability of Neural Network Model and Humans to Detect a Cloned Voice
PublikacjaThe vulnerability of the speaker identity verification system to attacks using voice cloning was examined. The research project assumed creating a model for verifying the speaker’s identity based on voice biometrics and then testing its resistance to potential attacks using voice cloning. The Deep Speaker Neural Speaker Embedding System was trained, and the Real-Time Voice Cloning system was employed based on the SV2TTS, Tacotron,...
-
Variable length sliding models for banking clients face biometry
PublikacjaAn experiment was organized in 100 bank branches to acquire biometric samples from nearly 5000 clients including face images. A procedure for creating face verification models based on continuously expanding database of biometric samples is proposed, implemented, and tested. The presented model applies to circumstances where it is possible to collect and to take into account new biometric samples after each positive verification...
-
The cartographer algorithm for processing and querying description logics ontologies
PublikacjaLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Integrated approach for functional safety and cyber security management in maritime critical infrastructures
PublikacjaThe work is devoted important issues of the management in maritime critical infrastructure of functional safety analysis, in particular the safety integrity level (SIL) verification of safety functions to be implemented within the distributed control and protection systems with regard to cyber security aspects. A method based on quantitative and qualitative information is proposed for the SIL (IEC 61508, 61511) verification with...
-
Dariusz Mikielewicz prof. dr hab. inż.
OsobyDariusz Mikielewicz – urodził się 6 lutego 1967 roku w Gdańsku, w 1985r. zdał pomyślnie egzaminy wstępne na Wydział Budowy Maszyn Politechniki Gdańskiej, który ukończył z wynikiem bardzo dobrym w 1990 roku na specjalności Maszyny i Urządzenia Energetyczne. Zainteresowania pracą naukową skłoniły go do podjęcia badań na University of Manchester na wydziale mechanicznym i energetyki jądrowej (Mechanical and Nuclear Engineering Department)...
-
Hip endhoprothesis development using rapid prototyping methods
PublikacjaIntegrated product development based on Rapid Prototyping methods, connected with computer aided 3D design and computer aided engineering enables fast and full new product verification and validation. A case study derived from clinical and technological practice using hip implant construction is also included.
-
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublikacjaArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Intelligent PI controller and its application to dissolved oxygen tracking problem
PublikacjaThe paper addresses design, calibration, implementation and simulation of the intelligent PI controller used for dissolved oxygen (DO) tracking in wastewater treatment plant (WWTP). The calibration process presented in this paper utilizes both engineering and scientific methods. Verification of the control system design method was obtained via simulation experiments.
-
THE PROBLEM OF THE CALCULATION OF THE FREQUENCY OF DIAGNOSTIC EXAMINATIONS BASED ON DEVICE’S PROPER OPERATION TIME
PublikacjaThe paper presents the proposal to apply the normal distribution to solve the problem of the frequency of diagnostic tests. Particular emphasis is placed on simplicity of the method. This method may be useful for the average user technical system. The method reduces the number of assumptions to a minimum. The results do not raise of serious doubts but they require verification of course.
-
Improving the accuracy of subgridding scheme in finite differences method based on Legendre polynomials expansion
PublikacjaIn 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.
-
Mitigating Time-Constrained Stolen-Credentials Content Poisoning in an NDN Setting
PublikacjaNDN is a content-centric networking architecture using globally addressable information objects, created by publishers and cached by network nodes to be later accessed by subscribers. Content poisoning attacks consist in the substi-tution by an intruder publisher of bogus objects for genuine ones created by an honest publisher. With valid credentials stolen from an honest publisher, such attacks seem unstoppa-ble unless object...
-
A novel calibration method for RSS-based DoA estimation using ESPAR antennas
PublikacjaIn this paper, we introduce a new calibration method that can successfully be used in direction of arrival (DoA) estimation using electronically steerable parasitic array radiator (ESPAR) antennas and employing power-pattern cross-correlation (PPCC) algorithm, which relies on received signal strength (RSS) values recorded at the antenna output port. Instead of the commonly used two-step approach, during which ESPAR antenna calibration...
-
Charge density wave, enhanced mobility, and large nonsaturating magnetoresistance across the magnetic states of HoNiC2 and ErNiC2
PublikacjaWe report on magnetotransport and thermoelectric properties of two ternary carbides HoNiC2 and ErNiC2 hosting both charge density wave and long-range magnetic order. In the charge density wave state, both compounds show relatively large magnetoresistance MR ≈ 150% in HoNiC2 and ≈ 70%in ErNiC2 at a magnetic field of 9 T and temperature as low as 2 K. This positive field-linear magnetoresistance shows no signatures of saturation....
-
A new method of fault loop resistance measurement in low voltage systems with residual current devices
PublikacjaThis paper presents a new method of fault loop resistance measurement in low voltage systems with residual current devices. The method enables measuring fault loop resistance without nuisance tripping of residual current devices, by application an unconventional waveform of measurement current. It is important for proper verification of the effectiveness of protection against electric shock.
-
Thermodynamics and kinetics of amphotericin B self-association in aqueous solution characterized in molecular detail
PublikacjaAmphotericin B (AmB) is a potent but toxic drug commonly used to treat systemic mycoses. Its efficiency as a therapeutic agent depends on its ability to discriminate between mammalian and fungal cell membranes. The association of AmB monomers in an aqueous environment plays an important role in drug selectivity, as oligomers formed prior to membrane insertion – presumably dimers – are believed to act differently on fungal (ergosterol-rich)...
-
Tuning the ferromagnetic phase in the CDW compound SmNiC2 via chemical alloying
PublikacjaWe report a study on tuning the charge density wave (CDW) ferromagnet SmNiC2 to a weakly coupled superconductor by substituting La for Sm. X-ray diffraction measurements show that the doped compounds obey Vegard’s law, where La (Lu) alloying expands (shrinks) the lattice due to its larger (smaller) atomic size than Sm. In the series Sm1−xLaxNiC2, CDW transition (TCDW =148K) for SmNiC2 is gradually suppressed, while the ferromagnetic...
-
Diagnostyka cieplno-przepływowa obiektów energetycznych.
PublikacjaPrzedyskutowano problemy diagnostyki cieplno-przepływowej bloków energetycznych. Szczególną uwagę poświęcono blokom z turbinami parowymi. Opisano problemy monitoringu i diagnostyki. Przedstawiono koncepcję diagnostyki. Opisano modele matematyczne obiektów energetycznych i ich strojenie. Zidentyfikowano stan referencyjny. Scharakteryzowano pozyskiwanie danych eksperymentalnych. Zajęto się diagnostyką w warunkach niepełnej informacji...
-
DYNAMIC ANALYSIS OF HISTORIC RAILWAY BRIDGES IN POLAND IN THE CONTEXT OF ADJUSTING THEM TO PENDOLINO TRAINS
PublikacjaThe article presents the dynamic analysis of the historic railway bridge in Tczew as an example of the usefulness of such type of bridge for high-speed trains. The model of the bridge and the simulation of rolling stock passage was performed in SOFISTIK program. The scope of work includes experimental studies, the solution of the problem concerning the correct solution features dynamic model takes into account the dependencies...
-
Impact of trajectory simplification methods on modeling carbon dioxide emissions from ships
PublikacjaModels of ship fuel consumption and emissions play an essential role in estimating global shipping’s greenhouse gas emissions. They are also widely used for verification of reported CO2 emissions for systems like EU MRV (Monitoring, Reporting and Verification) or IMO DCS (Data Collection System). Such models achieve high accuracy using historical spatiotemporal information about each ship from AIS data. However, this approach requires substantial...
-
Road safety information system in Poland - supporting tools and their development
PublikacjaAs a signatory to the UN Declaration on road safety and member of the EU, Poland has an obligation to comply with relevant EU policies and in particular to halve the overall number of road deaths by 2020. To monitor the progress in reaching the targets, the road safety situation must be evaluated and its processes understood. For this purpose regional and national road safety observatories were launched in Poland, which triggered...
-
Utilizing Genome-Wide mRNA Profiling to Identify the Cytotoxic Chemotherapeutic Mechanism of Triazoloacridone C-1305 as Direct Microtubule Stabilization
PublikacjaRational drug design and in vitro pharmacology profiling constitute the gold standard in drug development pipelines. Problems arise, however, because this process is often dicult due to limited information regarding the complete identification of a molecule’s biological activities. The increasing aordability of genome-wide next-generation technologies now provides an excellent opportunity to understand a compound’s diverse eects...
-
Adam Inglot dr inż.
OsobyAdam Inglot (urodzony 3 października 1984 w Rzeszowie) studiował Inżynierię Środowiska oraz Geodezję i Kartografię na Wydziale Geodezji Górniczej i Inżynierii Środowiska Akademii Górniczo-Hutniczej w Krakowie. Inżynierię Środowiska ukończył w 2011 w stopniu mgr inż. broniąc pracę „Weryfikacja przydatności modelu GeoMod do prognozowania procesu urbanizacji w aglomeracji krakowskiej” u dra inż. Wojciecha Drzewieckiego. Natomiast...
-
Investigation on the Sources and Impact of Trace Elements in the Annual Snowpack and the Firn in the Hansbreen (Southwest Spitsbergen)
PublikacjaWe present a thorough evaluation of the water soluble fraction of the trace element composition (Ca, Sr, Mg, Na, K, Li, B, Rb, U, Ni, Co, As, Cs, Cd, Mo, Se, Eu, Ba, V, Ge, Ga, Cr, Cr, P, Ti, Mn, Zr, Ce, Zn, Fe, Gd, Y, Pb, Bi, Yb, Al, Nb, Er, Nd, Dy, Sm, Ho, Th, La, Lu, Tm, Pr, Tb, Fe, In, Tl) and their fluxes in the annual snowpack and the firn of the Hansbreen (a tidewater glacier terminating in the Hornsund fjord, southwest...
-
Distinction of clenbuterol intake from drug or contaminated food of animal origin in a controlled administration trial – the potential of enantiomeric separation for doping control analysis
PublikacjaThe differentiation of clenbuterol abuse and unintentional ingestion by contaminated meat is crucial with respect to the valuation of an adverse analytical finding in human sports doping control. The proportion of the two enantiomers of clenbuterol may serve as potential discriminating parameter. For the determination of the individual enantiomers, specific methods were developed and validated for the different matrices under investigation...
-
CONDITIONS OF THE GREEN TRANSFORMATION. THE CASE OF THE EUROPEAN UNION
PublikacjaThe main purpose of the paper is to identify the factors that determine the course of green transformation and to assess the current stage and possible directions of change in subsequent years in EU countries. The literature lacks comprehensive studies that show the impact of diverse types of factors on the course of green transformation. For this purpose, two perspectives of the research – economic and environmental – are usually...
-
Prediction of Processor Utilization for Real-Time Multimedia Stream Processing Tasks
PublikacjaUtilization of MPUs in a computing cluster node for multimedia stream processing is considered. Non-linear increase of processor utilization is described and a related class of algorithms for multimedia real-time processing tasks is defined. For such conditions, experiments measuring the processor utilization and output data loss were proposed and their results presented. A new formula for prediction of utilization was proposed...
-
Novel Family of Single-Phase Modified Impedance-Source Buck-Boost Multilevel Inverters With Reduced Switch Count
Publikacjahis paper describes novel single-phase solutions with increased inverter voltage levels derived by means of a nonstandard inverter configuration and impedance source networks. Operation principles based on special modulation techniques are presented. Detailed component design guidelines along with simulation and experimental verification are also provided. Possible application fields are discussed, as well as advantages and disadvantages....
-
A Set of Low-power Microcontroller-based Modules Used for Testing of Small Energy Measurement Methods
PublikacjaEstimation of energy consumption of low-power devices is not widely discussed in the scientific literature, but this topic is getting more and more popular. Evaluation process of newly developed methods and instrumentation requires carefull treatment. In order to fulfill this niche, the set of micro-power microcontroller based devices was proposed. The devices represent typical energy consuption profiles and allow experimental verification...
-
Diagnosis of fully differential circuits based on a fault dictionary implemented in the microcontroller systems
PublikacjaPrzedstawiono nową koncepcję testera wbudowanego bist przeznaczonego do diagnostyki w pełni różnicowych układów analogowych implementowanych w mikrosystemach mieszanych sygnałowo. w trakcie testowania mierzona jest amplituda i faza wyjściowego napięcia różnicowego. procedura detekcji i lokalizacji uszkodzeń bazuje na słowniku uszkodzeń przechowywanym w pamięci programu mikrokontrolera. korzystną cechą przestrzeni pomiarowej wyznaczonej...
-
Review of Methods for Diagnosing the Degradation Process in Power Units Cooperating with Renewable Energy Sources Using Artificial Intelligence
PublikacjaThis work is based on a literature review (191). It mainly refers to two diagnostic methods based on artificial intelligence. This review presents new possibilities for using genetic algorithms (GAs) for diagnostic purposes in power plants transitioning to cooperation with renewable energy sources (RESs). The genetic method is rarely used directly in the modeling of thermal-flow analysis. However, this assignment proves that the...
-
Determining and verifying the safety integrity level of the safety instrumented systems with the uncertainty and security aspects
PublikacjaSafety and security aspects consist of two different group of functional requirements for the control and protection systems. In the paper it is proposed that the security analysis results can be used as a factor increasing or decreasing the risk level. It concerns a process of determining required safety integrity level of given safety functions. The authors propose a new approach for functional safety risk analysis. In this case...
-
Road noise mapping in the city area: measurements compared to model-based estimations
PublikacjaThe paper presents an approach to the verification of noise prediction models in selected localization in the city of Gdansk. The experiments described include a comparison between environmentalmeasurement results performed in the terrain and the noise level prediction results. The NMPB-96 (Nouvelle Méthode de Prévision du Bruit) and Harmonoise models outcomes provide the subject ofthe analysis. The proposed solution of continuous...
-
Smart Cities Concept: Smart Mobility Indicator
PublikacjaThis work attempts to analyze problems resulting from the lack of possibility to assess the effectiveness of the implementation of “Smart Mobility” solutions, which represent one of the cornerstones of Smart Cities, from the point of view of city hall offices. The work presents existing Smart Mobility evaluation solutions, discusses their drawbacks, and then proposes a new indicator. The final part of the work presents assumptions...
-
ASSESSMENT OF ENGINE OPERATION WITH THE USE OF AN OPERATION INDICATOR BASED ON TEST BENCH RESULTS OF A ROBINSUBARU EX17 ENGINE
PublikacjaPaper presents results of an experimental verification of the method of quantitative evaluation of engine operation, presented in the literature, exemplified by a low-power internal combustion piston engine. In accordance with such interpretation, engine operation may be presented as a physical quantity defined as operation indicator. The paper presents results of preliminary tests, processed in that aspect, carried out on an engine...
-
A New Approach to Stability Evaluation of Digital Filters
PublikacjaIn this paper, a new numerical method of evaluating digital filter stability is presented. This approach is based on novel root-finding algorithms at the complex plane using the Delaunay triangulation and Cauchy's Argument Principle. The presented algorithm locates unstable zeros of the characteristic equation with their multiplicities. The proposed method is generic and can be applied to a vast range of systems. Verification of...
-
Numerical model of human head phantom to ensure dosimetry of dose components for boron neutron capture therapy
PublikacjaExtremely important aspects of the boron neutron capture therapy are, first of all, administering to the patient a boron compound that selectively reaches the neoplastic cells, and in the second step, the verification of the irradiation process. This paper focuses on the latter aspect, which is the detailed dosimetry of the processes occurring after the reaction of thermal neutrons with the boron-10 isotope. The results of computer...
-
Problems of Determination of Welding Angular Distortions of T-fillet Joints in Ship Hull Structures
PublikacjaShip hull structure elements are in majority joined by welding. Welding distortions can cause a lot of problems during the manufacturing process. In the literature it is proposed wide spectrum of suggestions for a correct estimation of welding deformation in particular angular deformation in the fillet welded T joint. In the work verification of selected methods is proposed basing upon of the results of the laboratory measurements....
-
Implementation Of The Innovative Radiolocalization System VCS-MLAT (Voice Communication System Multilateration)
PublikacjaIn the article the concept of the radiolocalization subsystem of the VHF communication for aviation VCS-MLAT (Voice Communication System – Multilateration) is presented. The distributed localization system can estimate the position of the aircraft using the audio signals from aircraft transmitters in the VHF band (118-136 MHz). This paper shows initial verification of the possibility to use voice airband communication to estimate...
-
High Speed Milling vibration surveillance with optimal spindle speed based on optimal speeds map
PublikacjaThe paper presents the method of the surveillance of the self-excited chatter vibration. At first, the workpiece modal parameters are estimated based on experimental data which leads to verification of computational model. Then, for selected surface points optimal spindle speeds are calculated. By considering sufficient amount of points it is possible to build a map of optimal spindle speeds. Experimental results show that this...
-
Photogrammetric and computerized report on site model in feasibility study of navigability channel on vistula spit
PublikacjaIn the report the authors present a course of geodesic and geo-computerized works upon realization of feasibility study of navigability channel on Vistula Spit. A procedure of acquiring verification and modeling of data for requirements of a numeric model of a bottom and site has been presented with construction of original software for 3D visualization of the Vistula Spit area. The activities described in the report can be...
-
Analysis of muscles behaviour. Part II. The computational model of muscles group acting on the elbow joint
PublikacjaThe purpose of this paper is to present the computational model of muscles' group describing the movements of flexion/extension at the elbow joint in the sagittal plane of the body when the forearm is being kept in the fixed state of supination/pronation. The method ofevaluating the muscle forces is discussed in detail. This method is the basis for the quantitative and qualitative verification of the proposed computational model...