displaying 1000 best results Help
Search results for: heuristic results verification
-
Multiclass AdaBoost Classifier Parameter Adaptation for Pattern Recognition
PublicationThe article presents the problem of parameter value selection of the multiclass ``one against all'' approach of an AdaBoost algorithm in tasks of object recognition based on two-dimensional graphical images. AdaBoost classifier with Haar features is still used in mobile devices due to the processing speed in contrast to other methods like deep learning or SVM but its main drawback is the need to assembly the results of binary...
-
Road noise mapping in the city area: measurements compared to model-based estimations
PublicationThe 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...
-
Validating data acquired with experimental multimodal biometric system installed in bank branches
PublicationAn experimental system was engineered and implemented in 100 copies inside a real banking environment comprising: dynamic handwritten signature verification, face recognition, bank client voice recognition and hand vein distribution verification. The main purpose of the presented research was to analyze questionnaire responses reflecting user opinions on: comfort, ergonomics, intuitiveness and other aspects of the biometric enrollment...
-
Model of Rules for IT Organization Evolution
PublicationThe 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...
-
Results of SEM examination of chitosan/Eudragit E 100 coatings electrophoretically deposited on the Ti grade 2 substrate
Open Research DataThe database contains the images of the microstructure of the coatings observed with the SEM scanning electron microscope. The chitosan/Eudragit E 100 coatings deposited on the Ti grade 2 substrate by an electrophoresis process were tested. Different process parameters like Eudragit E 100 concentration (0.25 g and 0.5 g in 100 mL of 1% (v/v) acetic...
-
Numerical and experimental propeller noise investigations
PublicationThe standard propeller has been investigated in model scale, using medium size cavitation tunnel. The hydroacoustic characteristics of propellers under different loading conditions have been investigated. Additionally the presented experimental results have been used for the verification of applied numerical approach. During both numerical and experimental analyses non-uniform inflow propeller’s conditions have been adapted. Good...
-
Determining and verifying the safety integrity level of the safety instrumented systems with the uncertainty and security aspects
PublicationSafety 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...
-
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Conferences -
Mobile devices and computing cloud resources allocation for interactive applications
PublicationUsing mobile devices such as smartphones or iPads for various interactive applications is currently very common. In the case of complex applications, e.g. chess games, the capabilities of these devices are insufficient to run the application in real time. One of the solutions is to use cloud computing. However, there is an optimization problem of mobile device and cloud resources allocation. An iterative heuristic algorithm for...
-
Experimental Study of the Influence of Noise Level on the Uncertainty Value in a Measurement System Containing an Analog-to-Digital Converter
Open Research DataFor newly developed measuring systems it is easy to estimate type B uncertainties based on the technical data of the measuring modules applied. However, it is difficult to estimate A type un-certainties due to the unknown type and level of interferences infiltrating into the measuring sys-tem. This is a particularly important problem for measurements...
-
CONDITIONS OF THE GREEN TRANSFORMATION. THE CASE OF THE EUROPEAN UNION
PublicationThe 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...
-
Mercury intrusion porosimetry (MIP) results of cement pastes containing Bi2O3/Gd2O3 and silica-coated Bi2O3/Gd2O3 structures
Open Research DataMercury intrusion porosimetry (MIP) data - curves of cement pastes containing Bi2O3/Gd2O3 and silica-coated Bi2O3/Gd2O3 structures
-
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...
-
Dynamic Signature Vertical Partitioning Using Selected Population-Based Algorithms
PublicationThe dynamic signature is a biometric attribute used for identity verification. It contains information on dynamics of the signing process. There are many approaches to the dynamic signature verification, including the one based on signature partitioning. Partitions are the regions created on the basis of signals describing the dynamics of the signature. They contain information on the shape of the signature characteristic of a...
-
Face Recognition: Shape versus Texture
PublicationThis paper describes experiments related to the application of well-known techniques of the texture feature extraction (Local Binary Patterns and Gabor filtering) to the problem of automatic face verification. Results of the tests show that simple image normalization strategy based on the eye center detection and a regular grid of fiducial points outperforms the more complicated approach, employing active models that are able to...
-
Weighted Clustering for Bees Detection on Video Images
PublicationThis work describes a bee detection system to monitor bee colony conditions. The detection process on video images has been divided into 3 stages: determining the regions of interest (ROI) for a given frame, scanning the frame in ROI areas using the DNN-CNN classifier, in order to obtain a confidence of bee occurrence in each window in any position and any scale, and form one detection window from a cloud of windows provided by...
-
A novel calibration method for RSS-based DoA estimation using ESPAR antennas
PublicationIn 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...
-
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...
-
Problems of Determination of Welding Angular Distortions of T-fillet Joints in Ship Hull Structures
PublicationShip 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....
-
Numerical model of human head phantom to ensure dosimetry of dose components for boron neutron capture therapy
PublicationExtremely 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...
-
New Method for Determination of Adjustment Corrections for Crane Rail Axes
PublicationElectronic tacheometers are currently a standard instrument used in geodetic work, including also geodetic engineering measurements. One of the many applications of tacheometers in engineering geodesy are 3D control measurements of crane rail axes. This paper proposes a new method of computing adjustment corrections for crane rail axes based on 3D polar measurements performed with an electronic tacheometer. The intermediary method...
-
The influence of stainless steels microstructure evolution on the mechanical properties of pressure installation elements
PublicationIn this paper results of FEM analysis performed for pipe and 90o elbow, made of super duplex stainless steel, after precipitation of sigma phase (),were presented. Heat treatment conditions simulate accidental overheating that can occur in nuclear installations after cooling circulation fails. For initial and modified microstructure tensile test was performed and numerical description of work hardening curves was done. Verification...
-
The influence of stainless steels microstructure evolution on the mechanical properties of pressure installation elements
PublicationIn this paper results of FEM analysis performed for pipe and 90o elbow, made of super duplex stainless steel, after precipitation of sigma phase (s), were presented. Heat treatment conditions simulate accidental overheating that can occur in nuclear installations after cooling circulation fails. For initial and modified microstructure tensile test was performed and numerical description of work hardening curves was done. Verification...
-
A three-dimensional periodic beam for vibroacoustic isolation purposes
PublicationThis paper presents results of investigations on a three-dimensional (3-D) isotropic periodic beam. The beam can represent a vibroacoustic isolator of optimised dynamic characteristics in the case of its longitudinal, flexural and torsional behaviour. The optimisation process concerned both the widths as well as the positions of particular frequency band gaps that are present in the frequency spectrum of the beam. Since the dynamic...
-
METHOD OF ROUTING SHIPS SAILING IN DEDICATED ENVIRONMENT
PublicationThe method for determining the suboptimal route of sailing vessels operating in a restricted area of the sea are proposed in the paper. The dynamics of the environment including weather conditions and speed characteristics of ships sailing are considered. As optimiza-tion criterion, measure sailing time T, and the number of maneuvers performed ω, are taken into account. An heuristic algorithm, and the appropriate application routing...
-
High Speed Milling vibration surveillance with optimal spindle speed based on optimal speeds map
PublicationThe 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...
-
Design and experimental validation of a single-stage PV string inverter with optimal number of interleaved buck-boost cells.
PublicationIncreasing converter power density is a problem of topical interest. This paper discusses an interleaved approach of the efficiency increase in the buck-boost stage of an inverter with unfolding circuit in terms of losses in semiconductors, output voltage ripples and power density. Main trends in the power converter development are reviewed. A losses model was designed and used for the proposed solution to find an optimal number...
-
International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems
Conferences -
Forum on Specification and Design Languages (Forum on Specification, Verification and Design Languages)
Conferences -
Automatically created and partially veriffied Wikipedia - WordNet mappings
Open Research DataMapping between Wikipedia articles and WordNet synsets. The mappings between Wikipedia articles and WordNet synsets were obtained automatically using 4 algorithms of data processing. The automatically generated mappings were than a subject of verification by a group of volunteers using crowdsourcing approach through so called Games with a Purpose. The...
-
Experimental Study of Dapped-End Beams Subjected to Inclined Load
PublicationThis paper presents the results of an experimental investigation of the reinforced concrete (RC) dapped-end beams loaded with inclined forces, compared to identical ones loaded with vertical forces only. Such a load may occur in, for example, Gerber's joints or in dapped-end beams supported on corbels, where the vertical gravitation force is additionally completed with horizontal forces caused by temperature differences, shrinking,...
-
A two dimensional approach for modelling of pennate muscle behaviour
PublicationThe purpose of this study was to elaborate a two-dimensional approach for unipennate and bipennate striated skeletal muscle modelling. Behavior of chosen flat pennate muscle is modelled as a rheological system composed of serially linked passive and active fragments having different mechanical properties. Each fragment is composed of three elements: mass element, elastic element and viscous element. Each active fragment furthermore...
-
Analysis of economical lighting of highways in the environment of SMOL language
PublicationThe paper puts forward and implements a method of designing and creating a modelling simulation environment for eztensive and complete analysis of economical lighting on highways. From a general design viewpoint, the proposed solution explores the concept of a network description language (SMOL), which has been designed to describe the necessary network functions, mechanisms, and devices; for the purpose of their computer simulation...
-
Hybrid of Neural Networks and Hidden Markov Models as a modern approach to speech recognition systems
PublicationThe aim of this paper is to present a hybrid algorithm that combines the advantages ofartificial neural networks and hidden Markov models in speech recognition for control purpos-es. The scope of the paper includes review of currently used solutions, description and analysis of implementation of selected artificial neural network (NN) structures and hidden Markov mod-els (HMM). The main part of the paper consists of a description...
-
Multimodal Particle Swarm Optimization with Phase Analysis to Solve Complex Equations of Electromagnetic Analysis
PublicationIn this paper, a new meta-heuristic method of finding roots and poles of a complex function of a complex variable is presented. The algorithm combines an efficient space exploration provided by the particle swarm optimization (PSO) and the classification of root and pole occurrences based on the phase analysis of the complex function. The method initially generates two uniformly distributed populations of particles on the complex...
-
Rule-Based Model for Selecting Integration Technologies for Smart Cities Systems
PublicationThe aim of this article is to present the stages of development for an information technology integration model for the design of systems for smart cities. The Introduction explains the need for integration technologies and presents a model for selecting integration technologies and the conditions for its use in designing smart cities systems. Then two verification stages of the presented model are discussed. In the first stage,...
-
Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications
PublicationThe aim of this paper is to evaluate performance of new CUDA mechanisms—unified memory and dynamic parallelism for real parallel applications compared to standard CUDA API versions. In order to gain insight into performance of these mechanisms, we decided to implement three applications with control and data flow typical of SPMD, geometric SPMD and divide-and-conquer schemes, which were then used for tests and experiments. Specifically,...
-
Paweł Tysiąc dr inż.
PeopleHe was born on March 25, 1992 in Gdańsk. After graduating from Junior High School No. 32, he attended the VIII Liceum Ogólnokształcące im. National Education Commission in Gdańsk, classes with a mathematical and geographical profile, obtaining a secondary school-leaving examination certificate in 2011. Then, in 2011-2016, he continued his studies at the Faculty of Civil and Environmental Engineering of the Gdańsk University of...
-
Self-Testing of Analog Parts Terminated by ADCs Based on Multiple Sampling of Time Responses
PublicationA new approach for self-testing of analog parts terminated by analog-to-digital converters in mixed-signal electronic microsystems controlled by microcontrollers is presented. It is based upon a new fault diagnosis method using a transformation of the set of voltage samples of the time response of a tested analog part to a square impulse into localization curves placed in a multidimensional measurement space. The method can be used...
-
Assessment of the Accuracy of a Virtual Multi-Channel Temperature Measuring Instrument
PublicationThe multi-channel temperature measurement system developed works with NTC thermistors. The article presents the results of theoretical and empirical evaluation of accuracy obtained in measurement channels. The basis for the theoretical assessment is the mathematical model for each of the measurement channels and the characteristics of the system elements included in the circuits of the measurement channel. Two different methods were...
-
Easy recipes for cooperative smoothing
PublicationIn this paper we suggest how several competing signal smoothers, differing in design parameters, or even in design principles, can be combined together to yield a better and more reliable smoothing algorithm. The proposed heuristic, but statistically well motivated, fusion mechanism allows one to combine practically all kinds of smoothers, from simple local averaging or order statistic filters, to parametric smoothers designed...
-
Nonlinear resultant theory of shells accounting for thermodiffusion
PublicationThe complete nonlinear resultant 2D model of shell thermodiffusion is developed. All 2D balance laws and the entropy imbalance are formulated by direct through-the-thickness integration of respective 3D laws of continuum thermodiffusion. This leads to a more rich thermodynamic structure of our 2D model with several additional 2D fields not present in the 3D parent model. Constitutive equations of elastic thermodiffusive shells...
-
INTERLABORATORY COMPARISON OF THE ELECTROMAGNETIC EMISSION MEASUREMENTS USING FAR AND GTEM TEST SITES UP TO 1 GHz
PublicationElectromagnetic emission limiting is one of the basic requirements in the European Directive 2014/30/EU (EMC Directive). Manufacturers often use alternative methods of measurements to make preliminary verification of emission. This paper presents and analyzes problem with comparison between measurements in different test sites: FAR (Fully Anechoic Room) and GTEM (Gigahertz Transverse Electromagnetic cell). FAR is assumed as the...
-
Jerzy Konorski dr hab. inż.
PeopleJerzy Konorski received his M. Sc. degree in telecommunications from Gdansk University of Technology, Poland, and his Ph. D. degree in computer science from the Polish Academy of Sciences, Warsaw, Poland. In 2007, he defended his D. Sc. thesis at the Faculty of Electronics, Telecommunications and Informatics, Gdansk University of Technology. He has authored over 150 papers, led scientific projects funded by the European Union,...
-
Information technology assessment using a functional prototype of the agent based system
PublicationIn the paper authors present the progress of works related with the agent-based system serving the purpose of information technology assessment. Currently this is a prototype including agents, the knowledge base and the ontology; the domain incorporated by the assessment-enterprise managing technologies with special attention paid to technologies directed to IT projects. In this paper, besides indication of expected functionalities...
-
Possibility of Fault Detection in Sensorless Electric Drives
PublicationThe work presents a fault detection method for an induction motor drive system with inverter output filter. This approach make use of a load torque state observer, which complete structure is presented along with the used control structure. Moreover, the demonstrated drive system operates without rotor speed measurement in conjunction with the multiscalar control. The verification of the demonstrated idea was performed on an experimental...
-
Comparison of three methods of EPR retrospective dosimetry in watch glass
PublicationIn this article we present results of our follow-up studies of samples of watch glass obtained and examined within a framework of international intercomparison dosimetry project RENEB ILC 2021. We present three methods of dose reconstruction based on EPR measurements of these samples: calibration method (CM), added dose method (ADM) and added dose&heating method (ADHM). The study showed that the three methods of dose reconstruction...
-
Preliminary experimental research on stability of truss' joint with positive eccentricity
PublicationRecently, a very large interest in lightweight steel structures made from cold-formed sections has been noticeable. In the design practice, a large emphasis is put on rational shaping of both the thin-walled elements and constructions designed on them. The aim of this paper is to present the methodology for preparation of experimental research that model the behaviour of members in trusses made of cold-formed sections with positive...
-
Justyna Martyniuk-Pęczek dr hab. inż. arch.
PeopleJustyna Martyniuk-Peczek, Ph.D., D.Sc. Associate Professor Department of Urban Design and Regional Planning, Faculty of Architecture Gdansk University of Technology My academic and research activity has been concentrated around one specialty — urban planning, however it involves an interdisciplinary reference to other fields, such as lighting and the science of management. In terms of quantity, my academic work...
-
Ring thruster - a preliminary optimisation study
PublicationThe ring thruster is a new type of propeller, for which there is no experimental data to verify analytical design calculations. A significant feature of the ring thruster is the absence of a shaft. Propeller blades are mounted to the ring rotating inside the housing, which has the shape of a nozzle. For this reason the ring thruster is closest, with respect to both the construction and principle of operation, to the Kort nozzle...