Search
displaying 1000 best results Help
Search results for: DYNAMIC SIGNATURE VERIFICATION POPULATION-BASED ALGORITHMS FUZZY SYSTEMS BIOMETRICS
-
Practical I-Voting on Stellar Blockchain
PublicationIn this paper, we propose a privacy-preserving i-voting system based on the public Stellar Blockchain network. We argue that the proposed system satisfies all requirements stated for a robust i-voting system including transparency, verifiability, and voter anonymity. The practical architecture of the system abstracts a voter from blockchain technology used underneath. To keep user privacy, we propose a privacy-first protocol that...
-
Adaptive filtering approach to dynamic weighing: a checkweigher case study
PublicationDynamic weighing, i.e., weighing of objects in motion, with out stopping them on the weighing platform, allows one to increase the rate of operation of automatic weighing systems used in industrial production processes without compromising their accuracy. The paper extends and compares two approaches to dynamic weighing, based on system identification and variable-bandwidth filtering, respectively. Experiments, carried on a conveyor...
-
Prediction of Processor Utilization for Real-Time Multimedia Stream Processing Tasks
PublicationUtilization 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...
-
Game with a Purpose for Mappings Verification
PublicationMappings verification is a laborious task. The paper presents a Game with a Purpose based system for verification of automatically generated mappings. General description of idea standing behind the games with the purpose is given. Description of TGame system, a 2D platform mobile game with verification process included in the gameplay, is provided. Additional mechanisms for anti-cheating, increasing player’s motivation and gathering...
-
Protokół głosowania większościowego w narzędziu wsparcia decyzji handlowych
PublicationIstnieje szerokie spektrum narzędzi i metod wspierających decyzje handlowe, lecz brakuj jasnych reguł ich stosowania. Zaproponowano samoorganizujacy się system agentowy do wspierania decyzji handlowych. System bazując na glosowaniu z dynamicznymi wagami, wskazuje efektywne indykatory na podstawie ich poprzednich osiągnięć. Przedstawiono analizę formalną i wyniki weryfikacji, potwierdzającej cechy rozwiązania.
-
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Conferences -
Roman Śmierzchalski prof. dr hab. inż.
PeopleRoman Śmierzchalski born in 1956 in Gdynia. He received the M.Sc. degree in 1979, the Ph.D. degree in 1989, both from the Gdańsk University of Technology, and the D.Sc. (‘habilitation’) degree in 1999 from the Warsaw University of Technology. From 1980 to 2009 he was an academic teacher and researcher with the Gdynia Maritime University, and since 2009 he has been with the Gdansk University of Technology, where he is currently...
-
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...
-
Music genre classification applied to bass enhancement for mobile technology
PublicationThe aim of this paper is to present a novel approach to the Virtual Bass Synthesis (VBS) algorithms applied to portable computers. The proposed algorithm is related to intelligent, rule-based setting of synthesis parameters according to music genre of an audio excerpt. The classification of music genres is automatically executed employing MPEG 7 parameters and the Principal Component Analysis method applied to reduce information...
-
DYNAMIC ANALYSIS OF HISTORIC RAILWAY BRIDGES IN POLAND IN THE CONTEXT OF ADJUSTING THEM TO PENDOLINO TRAINS
PublicationThe 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...
-
Mechanical Design, Construction and Control of a Lower Extremity Exoskeleton Robot Prototype with a new structure in the form of three-wheeled Mobile robot
PublicationIn this paper, mechanical design, dynamic modeling, construction and Fuzzy computed torque control of a lab prototype of lower extremity exoskeleton robot with a new structure in the form of three-wheeled Mobile robot is presented. One of the most important applications of next generation of lower extremity exoskeleton robot is usability as smart vehicle. In order to autonomously moving of this robot which is the foundation...
-
A Universal Gains Selection Method for Speed Observers of Induction Machine
PublicationProperties of state observers depend on proper gains selection. Each method of state estimation may require the implementation of specific techniques of finding those gains. The aim of this study is to propose a universal method of automatic gains selection and perform its verification on an induction machine speed observer. The method utilizes a genetic algorithm with fitness function which is directly based on the impulse response...
-
PROJEKTOWANIE WIELOWYMIAROWEGO REGULATORA BACKSTEPPING W UKŁADZIE DYNAMICZNEGO POZYCJONOWANIA STATKU
PublicationW komercyjnych systemach dynamicznego pozycjonowania statku, pomimo znacznego wzrostu poziomu automatyzacji, wykorzystywane jest nadal sterowanie typu PID. Poprawę jakości procesu pozycjonowania może umożliwić wykorzystanie bardziej efektywnych algorytmów, oferujących zaawansowane nieliniowe techniki sterowania. W artykule przedstawiono zagadnienie projektowania regulatora pozycji i kursu dla układu dynamicznego pozycjonowania...
-
Methodology for Text Classification using Manually Created Corpora-based Sentiment Dictionary
PublicationThis paper presents the methodology of Textual Content Classification, which is based on a combination of algorithms: preliminary formation of a contextual framework for the texts in particular problem area; manual creation of the Hierarchical Sentiment Dictionary (HSD) on the basis of a topically-oriented Corpus; tonality texts recognition via using HSD for analysing the documents as a collection of topically completed fragments...
-
Aerodynamic Shape Optimization for Delaying Dynamic Stall of Airfoils by Regression Kriging
PublicationThe phenomenon of dynamic stall produce adverse aerodynamic loading which can adversely affect the structural strength and life of aerodynamic systems. Aerodynamic shape optimization (ASO) provides an effective approach for delaying and mitigating dynamic stall characteristics without the addition of auxiliary system. ASO, however, requires multiple evaluations time-consuming computational fluid dynamics models. Metamodel-based...
-
Leakage detection and localisation in drinking water distributionnetworks by MultiRegional PCA
PublicationMonitoring is one of the most important steps in advanced control of complex dynamic systems. Precise information about systems behaviour, including faults indicating, enables for efficient control. The paper describes an approach to detection and localisation of pipe leakage in Drinking Water Distribution Systems (DWDS) representing complex and distributed dynamic system of large scale. Proposed MultiRegional Principal Component...
-
IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Conferences -
International Conference on Knowledge-Based and Intelligent Information and Engineering Systems
Conferences -
Identification of quasi-periodically varying systems with quasi-linear frequency changes
PublicationThe problem of identification of linear quasi-periodically varying systems is considered. This problem can be solved using generalized adaptive notch filtering (GANF) algorithms. It is shown that accuracy of system parameter estimation can be increased if the results obtained from GANF are further processed using a cascade of appropriately designed filters. The resulting generalized adaptive notch smoothing (GANS) algorithms can...
-
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...
-
Comparative study on the effectiveness of various types of road traffic intensity detectors
PublicationVehicle detection and speed measurements are crucial tasks in traffic monitoring systems. In this work, we focus on several types of electronic sensors, operating on different physical principles in order to compare their effectiveness in real traffic conditions. Commercial solutions are based on road tubes, microwave sensors, LiDARs, and video cameras. Distributed traffic monitoring systems require a high number of monitoring...
-
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...
-
Expedited Metaheuristic-Based Antenna Optimization Using EM Model Resolution Management
PublicationDesign of modern antenna systems heavily relies on numerical opti-mization methods. Their primary purpose is performance improvement by tun-ing of geometry and material parameters of the antenna under study. For relia-bility, the process has to be conducted using full-wave electromagnetic (EM) simulation models, which are associated with sizable computational expendi-tures. The problem is aggravated in the case of global optimization,...
-
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...
-
Green energy extraction for sustainable development: A novel MPPT technique for hybrid PV-TEG system
PublicationThe Photovoltaic (PV) module converts only a small portion of irradiance into electrical energy. Most of the solar energy is wasted as heat, resulting in a rise in PV cell temperature and a decrease in solar cell efficiency. One way to harvest this freely available solar thermal energy and improve PV cell efficiency is by integrating PV systems with thermoelectric generators (TEG). This cogeneration approach of the hybrid PV-TEG...
-
Marcin Jurkiewicz dr
People -
Regularized Local Basis Function Approach to Identification of Nonstationary Processes
PublicationThe problem of identification of nonstationary stochastic processes (systems or signals) is considered and a new class of identification algorithms, combining the basis functions approach with local estimation technique, is described. Unlike the classical basis function estimation schemes, the proposed regularized local basis function estimators are not used to obtain interval approximations of the parameter trajectory, but provide...
-
Measuring Tilt with an IMU Using the Taylor Algorithm
PublicationThis article addresses the important problem of tilt measurement and stabilization. This is particularly important in the case of drone stabilization and navigation in underwater environments, multibeam sonar mapping, aerial photogrammetry in densely urbanized areas, etc. The tilt measurement process involves the fusion of information from at least two different sensors. Inertial sensors (IMUs) are unique in this context because...
-
Fast multi-objective design optimization of microwave and antenna structures using data-driven surrogates and domain segmentation
PublicationPurpose Strategies and algorithms for expedited design optimization of microwave and antenna structures in multi-objective setup are investigated. Design/methodology/approach Formulation of the multi-objective design problem oriented towards execution of the population-based metaheuristic algorithm within the segmented search space is investigated. Described algorithmic framework exploit variable fidelity modeling, physics- and...
-
Genetic Algorithm Approach for Gains Selection of Induction Machine Extended Speed Observer
PublicationThe subject of this paper is gains selection of an extended induction machine speed observer. A high number of gains makes manual gains selection difficult and due to nonlinear equations of the observer, well-known methods of gains selection for linear systems cannot be applied. A method based on genetic algorithms has been proposed instead. Such an approach requires multiple fitness function calls; therefore, using a quality index...
-
Generating optimal paths in dynamic environments using RiverFormation Dynamics algorithm
PublicationThe paper presents a comparison of four optimisation algorithms implemented for the purpose of finding the shortest path in static and dynamic environments with obstacles. Two classical graph algorithms –the Dijkstra complete algorithm and A* heuristic algorithm – were compared with metaheuristic River Formation Dynamics swarm algorithm and its newly introduced modified version. Moreover, another swarm algorithm has been compared...
-
Voltage control in a power system with renewable sources of energy
PublicationIntensive development of distributed generation in power systems, caused by the European Union energy policy, gives possibility for improving safety in power delivery as well as optimizing the costs of the systems functioning. In this context, distributed generation can be used for voltage control in power systems – it can be performed by the control of reactive power of each source of energy or a group of energy sources. This...
-
Electronic nose algorithm design using classical system identification for odour intensity detection
PublicationThe two elements considered crucial for constructing an efficient environmental odour intensity monitoring systems are sensors and algorithms typically addressed to as electronic nose sensor (e-nose). Due to operational complexity of biochemical sensors developed in human bodies algorithms based on computational methods of artificial intelligence are typically considered superior to classical model based approaches in development...
-
Variable-structure algorithm for identification of quasi-periodically varying systems
PublicationThe paper presents a variable-structure version of a generalized notchfiltering (GANF) algorithm. Generalized notch filters are used for identification of quasi-periodically varying dynamic systems and can be considered an extension, to the system case, of classical adaptive notch filters. The proposed algorithm is a cascade of two GANF filters: a multiple-frequency "precise" filter bank, used for precise system tracking, and a...
-
Hybrid System for Ship-Aided Design Automation
PublicationA hybrid support system for ship design based on the methodology of CBR with some artificial intelligence tools such as expert system Exsys Developer along with fuzzy logic, relational Access database and artificial neural network with backward propagation of errors.
-
Social media for e-learning of citizens in smart city
PublicationThe rapid development of social media can be applied for citizens’ e-learning in a smart city. Big cities have to cope with several open issues like a growing population or a traffic congestion. Especially, a home and public space is supposed to be used in more efficient way. Sustainable homes and buildings can be planned with using some modern techniques. Even currently, there is a huge problem with a lack of key resources like...
-
EVALUATION OF THE USE OF M2M-TYPE NB-IoT AND LTE TECHNOLOGIES FOR MARITIME COMMUNICATION SYSTEMS
PublicationThe development of IoT (the Internet of Things) wireless transmission opens a new era in communication systems. In the next years, the development and implementation of IoT systems will be very dynamic. It can be seen that the solutions of LTE – NB-IoT (Long Term Evolution – Narrowband IoT) transmission devices are implemented in a wide range of terrestrial solutions, e.g. smart grids. This paper aims to analyse the possibility...
-
Analysis of High Resolution Clouds of Points as a Source of Biometric Data
PublicationThe article presents the analysis devoted to human face data obtained by means of precise photographic scanners. Collected point clouds were used to make high precision meshes of human face. The essence of these studies is the comparison of relative features as well as the comparison of absolute models which require as precisely as possible matching of face models. The article focuses on the analysis of various parts of the human...
-
A model development and experimental verification for a vapour microturbine with a permanent magnet synchronous generator
PublicationVapour microturbines with permanent magnet synchronous generators are implemented in micropower plants for dispersed power generation systems. The dynamic model of such a microturbine set was developed and presented. The developed relations result from the generic equations. Experimental data for two different working medium were used for model verification. A microturbine set model was tested during the changes in the parameters...
-
Optimization of Self-Organized TiO2 Nanotube Geometry on Ti and Ti Alloys Using Fuzzy Logic Reasoning
PublicationThe geometry of self-organized TiO2 nanotubes, obtained by electrochemicalanodization, has been determined by using fuzzy reasoning approach. The efficiency of TiO2nanotubular layer in biomedical applications depends on geometry and available surface area ofnanotubes, which can be determined by their diameter and length. The structure of nanotubesdepends on processing parameters of electrochemical anodization, like applied potential,anodization...
-
Karhunen-Loeve-based approach to tracking of rapidly fading wireless communication channels
PublicationWhen parameters of wireless communication channels vary at a fast rate, simple estimation algorithms, such as weighted least squares (WLS) or least mean squares (LMS) algorithms, cannot estimate them with the accuracy needed to secure the reliable operation of the underlying communication systems. In cases like this, the local basis function (LBF) estimation technique can be used instead, significantly increasing the achievable...
-
3D intact knee model used in analysis of the medial meniscus biomechanics in the osteoarthritic knee joint - input text file for computation
Open Research DataThe finite element method was used to simulate the stance phase of the gait cycle. An intact knee model with original geometry and material parametetrs was prepared based on magnetic resonance scans of the left knee joint of a healthy volunteer. The file was created in Abaqus 6.14-2, but can be read in a text editor.
-
Analysis of the possibilities in railways shape assessing using GNSS mobile measurements
PublicationIn recent years, a dynamic development of satellite positioning techniques using both static and mobile GNSS coordinates register mode can be observed. In addition, still developing Real-time GNSS Networks, post-processing algorithms and another measurement signal analysis algorithms, make the satellite measurements increasingly used in railway industry sector. In the article the possibilities which follows from the mobile satellite...
-
Application of Pierson-Moskowitz wave spectrum to solution differential equations of multihull vessel
PublicationMotion of a dynamic system can be generated by different external or internal factors. At mathematical modelling external excitation factors of the most significant effect on the system, are selected. Such external factors are usually called excitations. Response of the system to given excitations is mathematically characterized by a definite transformation called operator of a system. For a broad class of dynamic systems the...
-
State of the art and prospects of methods for determination of lipophilicity of chemical compounds
PublicationLipophilicity of the compounds is useful to (i) explain their distribution in biological systems, which is different in plant and in animal organisms, (ii) predict the possible pathways of pollutant transport in the environment, and (iii) support drug discovery process and select optimal composition in terms of bioactivity and bioavailability. The lipophilic properties can be determined by two main approaches, experimental, which...
-
Machine Learning in Multi-Agent Systems using Associative Arrays
PublicationIn this paper, a new machine learning algorithm for multi-agent systems is introduced. The algorithm is based on associative arrays, thus it becomes less complex and more efficient substitute of artificial neural networks and Bayesian networks, which is confirmed by performance measurements. Implementation of machine learning algorithm in multi-agent system for aided design of selected control systems allowed to improve the performance...
-
Detection of the Bee Queen Presence Using Sound Analysis
PublicationThis work describes the system and methods of data analysis we use for beehive monitoring. We present overview of the hardware infrastructures used in hive monitoring systems and we describe algorithms used for analysis of this kind of data. Based on acquisited signals we construct the application that is capable to detect an absence of honey bee queen. We describe our method of signal analysis and present results that allow us...
-
An updated method identifying collision-prone locations for ships. A case study for oil tankers navigating in the Gulf of Finland
PublicationTo ensure the risk level associated with continuously increasing maritime traffic through particularly sensitive sea areas remains at acceptable level, a periodic risk assessment needs to be carried out by the relevant authorities. As a part of such assessment, allowing for proactive countermeasures to mitigate risk, the frequency of accidents is estimated along with the assessment of geographical locations where the accidents...
-
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...