Filters
total: 1054
displaying 1000 best results Help
Search results for: computer science
-
Completeness and Consistency of the System Requirement Specification
PublicationAlthough the System Requirement Specification, as a first formal and detailed document, is the base for the software project in classic software methodologies, there is a noticeable problem of assuring the completeness of this document. The lack of its completeness causes uncertainty of the project foundations. This was one of motivations for agile methodologies – if the SRS cannot be easily validated, if it can change in late project...
-
Virtual Sightseeing in Immersive 3D Visualization Lab
PublicationThe paper describes the modern Immersive 3D Visualization Lab (I3DVL) established at the Faculty of Electronics, Telecommunications and Informatics of the Gdańsk University of Technology (GUT) and its potential to prepare virtual tours and architectural visualizations on the example of the application allowing a virtual walk through the Coal Market in Gdańsk. The paper presents devices of this laboratory (CAVE, walk simulator etc.),...
-
Talents, Competencies and Techniques of Business Analyst: A Balanced Professional Development Program
PublicationThis paper presents preliminary results of action research in which we search for fundamentals of an universal theory of balanced approaches to software process. It is developed on the basis of balanced approach for professional development program for business analysts which integrates approaches oriented on talents, competencies and techniques. This paper includes the description of key concepts in background approaches, components...
-
APIS – Agent Platform for Integration of Services
PublicationThe paper presents an approach to creating the platform for development and evaluation of complex tasks execution algorithms. Proposed solution is based on an agent paradigm where independent peers can cooperate and negotiate in order to execute specified tasks which are defined only by the final output description. Tasks are realized by the means of services exposed by different peers. In case when there is no single service fulfilling...
-
NVRAM as Main Storage of Parallel File System
PublicationModern cluster environments' main trouble used to be lack of computational power provided by CPUs and GPUs, but recently they suffer more and more from insufficient performance of input and output operations. Apart from better network infrastructure and more sophisticated processing algorithms, a lot of solutions base on emerging memory technologies. This paper presents evaluation of using non-volatile random-access memory as a...
-
Limitations of Emotion Recognition in Software User Experience Evaluation Context
PublicationThis paper concerns how an affective-behavioural- cognitive approach applies to the evaluation of the software user experience. Although it may seem that affect recognition solutions are accurate in determining the user experience, there are several challenges in practice. This paper aims to explore the limitations of the automatic affect recognition applied in the usability context as well as...
-
Balance recognition on the basis of EEG measurement.
PublicationAlthough electroencephalography (EEG) is not typically used for verifying the sense of balance, it can be used for analysing cortical signals responsible for this phenomenon. Simple balance tasks can be proposed as a good indicator of whether the sense of balance is acting more or less actively. This article presents preliminary results for the potential of using EEG to balance sensing....
-
Designing effective educational games - a case study of a project management game
PublicationThis paper addresses the issues of designing effective educational games. We aim at investigating how the cognitive, behavioral and emotional aspects of the games influence their educational effectiveness. The results were obtained with an observational user experience study extended with affect analysis carried out for a project management game GraPM. We analyzed the...
-
Enhanced Eye-Tracking Data: a Dual Sensor System for Smart Glasses Applications
PublicationA technique for the acquisition of an increased number of pupil positions, using a combined sensor consisting of a low-rate camera and a high-rate optical sensor, is presented in this paper. The additional data are provided by the optical movement-detection sensor mounted in close proximity to the eyeball. This proposed solution enables a significant increase in the number of registered fixation points and saccades and can be used...
-
Towards solving heterogeneous fleet vehicle routing problem with time windows and additional constraints: real use case study
PublicationIn advanced logistic systems, there is a need for a comprehensive optimization of the transport of goods, which would reduce costs. During past decades, several theoretical and practical approaches to solve vehicle routing problems (VRP) were proposed. The problem of optimal fleet management is often transformed to discrete optimization problem that relies on determining the most economical transport routes for a number of vehicles...
-
Towards detecting programmers’ stress on the basis of keystroke dynamics
PublicationThe article describes the idea of detecting stress among programmers on the basis of keystroke dynamics. An experiment with a group of students of artificial intelligence classes was performed. Two samples of keystroke data were recorded for each case, the first while programming without stress, the second under time pressure. A number of timing and frequency parameters were calculated for each sample. Then statistical analysis...
-
Adaptive prediction of stock exchange indices by state space wavelet networks
PublicationThe paper considers the forecasting of the Warsaw Stock Exchange price index WIG20 by applying a state space wavelet network model of the index price. The approach can be applied to the development of tools for predicting changes of other economic indicators, especially stock exchange indices. The paper presents a general state space wavelet network model and the underlying principles. The model is applied to produce one session...
-
Indirect adaptive controller based on a self-structuring fuzzy system for nonlinear modeling and control
PublicationIn this paper, a unified nonlinear modeling and control scheme is presented. A self-structuring Takagi-Sugeno (T-S) fuzzymodel is used to approximate the unknown nonlinear plant based on I/O data collected on-line. Both the structure and theparameters of the T-S fuzzy model are updated by an on-line clustering method and a recursive least squares estimation(RLSE) algorithm. The rules of the fuzzy model can be added, replaced or...
-
Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem
Publication -
Set membership estimation of parameters and variables in dynamic networks by recursive algorithms with moving measurment window
PublicationW artykule rozważana jest łączna estymacja przedziałowa zmiennych i parametrów w złożonej sieci dynamicznej w oparciu niepewne modele parametryczne i ograniczoną liczbę pomiarów. Opracowany został rekursywny algorytm estymacji z przesuwnym oknem pomiarowym, odpowiedni dla monitorowania sieci on-line. Okno pomiarowe pozwala na stabilizowanie klasycznego algorytmu rekurencyjnego estymacji i znacznie poprawienie obcisłości estymat....
-
Niching mechanisms in evolutionary computations
PublicationDozorowanie nisz stanowi mechanizm, którego celem jest utrzymanie gorzej przystosowanych osobników tak, aby populacja była różnorodna, zawierała odpowiednią liczbę istniejących gatunków, zarówno tych bardziej licznych, jak i tych mniej licznych, a przez to nie powodowała przedwczesnej zbieżności algorytmów ewolucyjnych. Efekt taki uzyskuje się poprzez odpowiednią modyfikację stopnia przystosowania lub rang osobników (zwiększa się...
-
Machine learning techniques combined with dose profiles indicate radiation response biomarkers
Publication -
Transient detection for speech coding applications
PublicationSignal quality in speech codecs may be improved by selecting transients from speech signal and encoding them using a suitable method. This paper presents an algorithm for transient detection in speech signal. This algorithm operates in several frequency bands. Transient detection functions are calculated from energy measured in short frames of the signal. The final selection of transient frames is based on results of detection...
-
Data-driven models for fault detection using kernel PCA: A water distribution system case study
Publication -
Asynchronous distributed state estimation for continuous-time stochastic processes
PublicationWe consider the problem of state estimation of a continuous-time stochastic process using an asynchronous distributed multi-sensor estimation system (ADES). In an ADES the state of a process of interest is estimated by a group of local estimators. Each local estimator based, for example, on a Kalman filter, performs single sensor filtration but also fusion of its local results and results from other (remote) processors to compute...
-
On a matching distance between rooted phylogenetic trees
PublicationThe Robinson–Foulds (RF) distance is the most popular method of evaluating the dissimilarity between phylogenetic trees. In this paper, we define and explore in detail properties of the Matching Cluster (MC) distance, which can be regarded as a refinement of the RF metric for rooted trees. Similarly to RF, MC operates on clusters of compared trees, but the distance evaluation is more complex. Using the graph theoretic approach...
-
Parameter and delay estimation of linear continuous-time systems
PublicationIn this paper the problem of on-line identification of non-stationary delay systems is considered. Dynamics of supervised industrial processes is usually described by ordinary differential equations. Discrete-time mechanization of their continuous-time representations is based on dedicated finite-horizon integrating filters. Least-squares and instrumental variable procedures implemented in recursive forms are applied for simultaneous...
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublicationParallel algorithms are popular method of increasing system performance. Apart from showing their properties using asymptotic analysis, proof-of-concept implementation and practical experiments are often required. In order to speed up the development and provide simple and easily accessible testing environment that enables execution of reliable experiments, the paper proposes a platform with multi-core computational accelerator:...
-
Stability of softly switched multiregional dynamic output controllers with a static antiwindup filter: A discrete-time case
PublicationThis paper addresses the problem of model-based global stability analysis of discrete-time Takagi–Sugeno multiregional dynamic output controllers with static antiwindup filters. The presented analyses are reduced to the problem of a feasibility study of the Linear Matrix Inequalities (LMIs), derived based on Lyapunov stability theory. Two sets of LMIs are considered candidate derived from the classical common quadratic Lyapunov...
-
A biochemical multi-species quality model of a drinking water distribution system for simulation and design
PublicationDrinking Water Distribution Systems (DWDSs) play a key role in sustainable development of modern society. They are classified as critical infrastructure systems. This imposes a large set of highly demanding requirements on the DWDS operation and requires dedicated algorithms for on-line monitoring and control to tackle related problems. Requirements on DWDS availability restrict the usability of the real plant in the design phase....
-
Fuzzy logic gain scheduling for non - linear servo tracking
PublicationArtykuł zawiera propozycję strojenia jako metodę sterowania serwomechanizmem z silnie nieliniowymi elementami. Serwomechanizm steruje dwoma elementami układu śledzącego zamontowanymi na okręcie znajdującym się w morzu. W układzie występuje tarcie spoczynkowe przy zerowej prędkości oraz nieliniowe tarcie przeciwdziałające ruchowi w każdej z osi układu śledzącego. Zastosowany został podwójny układ sterowania ze sprzężeniem zwrotnym....
-
INVESTIGATION OF THE LOMBARD EFFECT BASED ON A MACHINE LEARNING APPROACH
PublicationThe Lombard effect is an involuntary increase in the speaker’s pitch, intensity, and duration in the presence of noise. It makes it possible to communicate in noisy environments more effectively. This study aims to investigate an efficient method for detecting the Lombard effect in uttered speech. The influence of interfering noise, room type, and the gender of the person on the detection process is examined. First, acoustic parameters...
-
Spike patterns and chaos in a map-based neuron model
PublicationThe work studies the well-known map-based model of neuronal dynamics introduced in 2007 by Courbage, Nekorkin and Vdovin, important due to various medical applications. We also review and extend some of the existing results concerning β-transformations and (expanding) Lorenz mappings. Then we apply them for deducing important properties of spike-trains generated by the CNV model and explain their implications for neuron behaviour....
-
A hierarchical observer for a non-linear uncertain CSTR model of biochemical processes
PublicationThe problem of estimation of unmeasured state variables and unknown reaction kinetic functions for selected biochemical processes modelled as a continuous stirred tank reactor is addressed in this paper. In particular, a new hierarchical (sequential) state observer is derived to generate stable and robust estimates of the state variables and kinetic functions. The developed hierarchical observer uses an adjusted asymptotic observer...
-
Servo tracking of targets at sea
PublicationW artykule przedstawiono propozycje systemu sterowania układem śledzącym umieszczonym na okręcie. Przedstawiono dynamikę błędów śledzenia obiektu we współrzędnych LOS (ang., Line - Of - Sight). Zostało wykazane, że regulacja błędów śledzenia LOS jest możliwa przy pomocy sprzężenia feed-forward od prędkości śledzonego obiektu. Ponieważ prędkość ta nie jest mierzalna zastosowano filtr Kalmana w celu jej estymacji. Ponieważ problem...
-
Monitoring of Chlorine Concentration in Drinking Water Distribution Systems Using an Interval Estimator
PublicationThis paper describes the design of an interval observer for the estimation of unmeasured quality state variables in drinking water distribution systems. The estimator utilizes a set bounded model of uncertainty to produce robust interval bounds on the estimated state variables of the water quality. The bounds are generated by solving two differential equations. Hence the numerical efficiency is sufficient for on-line monitoring...
-
TRAVELLING WAVES FOR LOW–GRADE GLIOMA GROWTH AND RESPONSE TO A CHEMOTHERAPY MODEL
PublicationLow-grade gliomas (LGGs) are primary brain tumours which evolve very slowly in time, but inevitably cause patient death. In this paper, we consider a PDE version of the previously proposed ODE model that describes the changes in the densities of functionally alive LGGs cells and cells that are irreversibly damaged by chemotherapy treatment. Besides the basic mathematical properties of the model, we study the possibility of the...
-
Sub-optimal fault-tolerant control by means of discrete optimization
PublicationOpracowanie przedstawia metodę projektowania sterowania optymalnego i odpornego na uszkodzenia z zastosowaniem algorytmów optymalizacji dyskretnej. Poszukiwana trajektoria, jeśli istnieje, jest reprezentowana przez najtańszą ścieżkę w grafie przepływowym, kodującym właściwości danego procesu dynamicznego. Metoda umożliwia zdefiniowanie obszarów zastrzeżonych dla punktu pracy, mogących reprezentować uszkodzenia systemu wykryte wcześniej.
-
Customized crossover in evolutionary sets of safe ship trajectories
PublicationThe paper presents selected aspects of evolutionary sets of safe ship trajectories-a method which applies evolutionary algorithms and some of the assumptions of game theory to solving ship encounter situations. For given positions and motion parameters of the ships, the method finds a near optimal set of safe trajectories of all ships involved in an encounter. The method works in real time and the solutions must be returned within...
-
Designing a ship course controller by applying the adaptivebackstepping method
PublicationThe article discusses the problem of designing a proper and efficient adaptive course-keeping control system for a seagoingship based on the adaptive backstepping method. The proposed controller in the design stage takes into account thedynamic properties of the steering gear and the full nonlinear static maneuvering characteristic. The adjustable parametersof the achieved nonlinear control structure were tuned up by using the...
-
Data-driven models for fault detection using kernel pca:a water distribution system case study
PublicationKernel Principal Component Analysis (KPCA), an example of machine learning, can be considered a non-linear extension of the PCA method. While various applications of KPCA are known, this paper explores the possibility to use it for building a data-driven model of a non-linear system-the water distribution system of the Chojnice town (Poland). This model is utilised for fault detection with the emphasis on water leakage detection....
-
Stability analysis of interconnected discrete-time fractional-order LTI state-space systems
PublicationIn this paper, a stability analysis of interconnected discrete-time fractional-order (FO) linear time-invariant (LTI) state-space systems is presented. A new system is formed by interconnecting given FO systems using cascade, feedback, parallel interconnections. The stability requirement for such a system is that all zeros of a non-polynomial characteristic equation must be within the unit circle on the complex z-plane. The obtained...
-
Template chart detection for stoma telediagnosis
PublicationThe paper presents the concept of using color template charts for the needs of telemedicine, particularly telediagnosis of the stoma. Although the concept is not new, the current popularity and level of development of digital cameras, especially those embedded in smartphones, allow common and reliable remote advice on various medical problems, which can be very important in the case of limitations in a physical contact with a doctor....
-
On–line Parameter and Delay Estimation of Continuous–Time Dynamic Systems
PublicationThe problem of on-line identification of non-stationary delay systems is considered. The dynamics of supervised industrial processes are usually modeled by ordinary differential equations. Discrete-time mechanizations of continuous-time process models are implemented with the use of dedicated finite-horizon integrating filters. Least-squares and instrumental variable procedures mechanized in recursive forms are applied for simultaneous...
-
ADAPTIVE PREDICTIONS OF THE EURO/ZŁOTY CURRENCY EXCHANGE RATE USING STATE SPACE WAVELET NETWORKS AND FORECAST COMBINATIONS
PublicationThe paper considers the forecasting of the euro/Polish złoty (EUR/PLN) spot exchange rate by applying state space wavelet network and econometric forecast combination models. Both prediction methods are applied to produce one-trading-day- ahead forecasts of the EUR/PLN exchange rate. The paper presents the general state space wavelet network and forecast combination models as well as their underlying principles. The state space...
-
MACHINE LEARNING–BASED ANALYSIS OF ENGLISH LATERAL ALLOPHONES
PublicationAutomatic classification methods, such as artificial neural networks (ANNs), the k-nearest neighbor (kNN) and selforganizing maps (SOMs), are applied to allophone analysis based on recorded speech. A list of 650 words was created for that purpose, containing positionally and/or contextually conditioned allophones. For each word, a group of 16 native and non-native speakers were audio-video recorded, from which seven native speakers’...
-
ADAPTIVE BACKSTEPPING TRACKING CONTROL FOR OVER-ACTUATED DP MARINE VESSEL WITH INERTIA UNCERTAINTIES
PublicationDesigning a tracking control system for an over-actuated dynamic positioning marine vessel in the case of insufficient information on environmental disturbances, hydrodynamic damping, Coriolis forces and vessel inertia characteristics is considered. The designed adaptive MIMO backstepping control law with control allocation is based on Lyapunov control theory for cascaded systems to guarantee stabilization of the marine vessel...
-
An interval estimator for chlorine monitoring in drinking water distribution systems under uncertain system dynamics, inputs and chlorine concentration measurement errors
PublicationThe design of an interval observer for estimation of unmeasured state variables with application to drinking water distribution systems is described. In particular, the design process of such an observer is considered for estimation of the water quality described by the concentration of free chlorine. The interval observer is derived to produce the robust interval bounds on the estimated water quality state variables. The stability...
-
Intelligent decision-making system for autonomous robots
PublicationAdaptacja może być oparta na różnych koncepcjach cybernetycznych (takich jak algorytmy genetyczne, rojowe, sieci neuronowe, itp.). Główna myśl opisywanej pracy opiera się na wykorzystaniu modeli psychologii żywych istot (człowieka) w konstrukcji systemów sterowania jednostek autonomicznych w celu adaptacji jednostki do zmiennego środowiska (kluczowe dla projektu jest traktowanie elementów motywacyjnych jako problemu osobowości)....
-
Modes of Failure Analysis in Reinforced Concrete Beam Using Laser Scanning and Synchro-Photogrammetry - How to apply optical technologies in the diagnosis of reinforced concrete elements?
PublicationThe following paper reveal the limitations and possibilities of terrestrial laser scanning technology adaptation in diagnostics of reinforced concrete beams. In this paper, authors present potential spectrum of TLS use in modes of failure analysis of R-C beams and determines under which conditions the laser technologies might be applied. Research was carried out at the Regional Laboratory of Structural Engineering at Gdansk University...
-
Performance Evaluation of the Parallel Codebook Algorithm for Background Subtraction in Video Stream
PublicationA background subtraction algorithm based on the codebook approach was implemented on a multi-core processor in a parallel form, using the OpenMP system. The aim of the experiments was to evaluate performance of the multithreaded algorithm in processing video streams recorded from monitoring cameras, depending on a number of computer cores used, method of task scheduling, image resolution and degree of image content variability....
-
Extending Service Selection Algorithms with Interoperability Analysis
PublicationApplication development by integration of existing, atomic services reduces development cost and time by extensive reuse of service components. In Service Oriented Architecture, there exist alternative versions of services supplying the same functionality but differing in Quality of Service (QoS) attributes, which enables developers to select services with optimal QoS. Existing algorithms of service selection focus on the formal...
-
Contextualizing a Knowledge Base by Approximation – A Case Study
PublicationModular knowledge bases give their users opportunity to store and access knowledge at different levels of generality. In this paper we present how to organize a modular knowledge bases organized into contexts in which a user can express their knowledge in much simplified way, yet without losing its precision. The work is centered around the notion of approximation - i.e. reducing the arity of predicates used. The presentation is...
-
Reasoning with Projection in Multimodular Description Logics Knowledge Bases
PublicationWe present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the...
-
User Trust Levels and Their Impact on System Security and Usability
PublicationA multilateral trust between a user and a system is considered. First of all we concentrate on user trust levels associated with the context-oriented CoRBAC model. Consequently, there were computed user profiles on the basis of its implementation in the information processing system “My GUT”. Furthermore, analysis of these profiles and the impact of user trust levels on system security and usability have been discussed.