Filters
total: 1042
displaying 1000 best results Help
Search results for: computer science
-
AgileSafe – a method of introducing agile practices into safety-critical software development processes
PublicationThis article introduces AgileSafe, a new method of incorporating agile practices into critical software development while still maintaining compliance with the software assurance requirements imposed by the application domain. We present the description of the method covering the process of its application and the input and output artefacts.
-
Towards the participant observation of emotions in software development teams
PublicationEmotions, moods and temperament influence our behaviour in every aspect of life. Until now plenty of research has been conducted and many theories have been proposed to explain the role of emotions within the working environment. However, in the field of software engineering, interest in the role of human factors in the process of software development is relatively new. In the paper the research design process that has been proposed...
-
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...
-
Situational Awareness Network for the Electric Power System: the Architecture and Testing Metrics
PublicationThe contemporary electric power system is highly dependent on Information and Communication Technologies which results in its exposure to new types of threats, such as Advanced Persistent Threats (APT) or Distributed-Denial-of-Service (DDoS) attacks. The most exposed components are Industrial Control Systems in substations and Distributed Control Systems in power plants. Therefore, it is necessary to ensure the cyber security of...
-
Using Statistical Methods to Estimate The Worst Case Response Time of Network Software Running on Indeterministic Hardware Platforms
PublicationIn this paper we investigate whether the statistical Worst Case Execution Time (WCET) estimation methods devised for embedded platforms can be successfully applied to find the Worst Case Response Time (WCRT) of a network application running on a complex hardware platform such as a contemporary commercial off-the-shelf (COTS) system. Establishing easy-to-use timing validation techniques is crucial for real-time applications and...
-
Task Assignments in Logistics by Adaptive Multi-Criterion Evolutionary Algorithm with Elitist Selection
PublicationAn evolutionary algorithm with elitist selection has been developed for finding Pareto-optimal task assignments in logistics. A multi-criterion optimization problem has been formulated for finding a set of Pareto- optimal solutions. Three criteria have been applied for evaluation of task assignment: the workload of a bottleneck machine, the cost of machines, and the numerical performance of system. The machine constraints have...
-
An unorthodox view on the problem of tracking facial expressions
PublicationRecent developments in imaging cameras has opened a new way of analyzing facial expression. We would like to take advantage from this new technology and present a method of imaging and processing images of human face as a response to the particular stimuli. The response in this case is represented by the facial expressions and the stimuli are still images representing six basic emotions according to Eckmann. Working hypothesis...
-
Information Logistics as a Paradigm
PublicationThis paper presents a paradigm-based approach to information logistics. The approach deals with extracting concepts specific to information logistics in categories typical to paradigms. The resulting description should be easily connected to complementary components which are based on other paradigms, e.g. business process management and information systems development. Empirical part aims at checking and enhancing features typical...
-
Infografika - aktywizujące środowisko edukacyjne
PublicationArtykuł analizuje szerokie spektrum zagadnień związanych z infografikami. Opisuje sposoby ich tworzenia w celu efektywnej wizualizacji informacji, danych i wiedzy oraz publikowania ich w portalach LCMS dla osiągnięcia celów pedagogicznych. Zwraca uwagę na znaczenie, jakie mają w stymulowaniu studentów do aktywnego i kreatywnego uczestniczenia w procesie uczenia się. Podkreśla także ich ogromną rolę w innowacyjnej edukacji, w szczególności...
-
Aspekty Edukacyjne Wirtualnych Światów. Aplikacja Second Life
PublicationArtykuł koncentruje się na trójwymiarowych środowiskach wirtualnych i ich funkcjonalności edukacyjnej na przykładzie świata Second Life. Wbrew opiniom pojawiającym się od czasu do czasu w literaturze przedmiotu światy wirtualne 3D nie odchodzą w przeszłość, przynajmniej nie w sektorze edukacyjnym. Autorzy artykułu próbują to wykazać,przedstawiając różne aspekty Second Life w zastosowaniach dydaktycznych, naukowych,...
-
Do online reviews reveal mobile application usability and user experience? The case of WhatsApp
PublicationThe variety of hardware devices and the diversity of their users imposes new requirements and expectations on designers and developers of mobile applications (apps). While the Internet has enabled new forms of communication platform, online stores provide the ability to review apps. These informal online app reviews have become a viral form of electronic wordof-mouth (eWOM), covering a plethora of issues. In our study, we set ourselves...
-
Discovering interactions between applications with log analysis
PublicationApplication logs record the behavior of a system during its runtime and their analysis can provide useful information. In this article, we propose a method of automated log analysis to discover interactions taking place between applications in an enterprise. We believe that such an automated approach can greatly support enterprise architects in building an up-to-date view of a governed system in a modern, fast-paced development...
-
"Computing with words" concept applied to musical information retrieval
PublicationW artykule zaproponowano wykorzystanie koncepcji "przetwarzania słów języka naturalnego" do znalezienia związku pomiędzy wybranymi parametrami dźwięków muzycznych a subiektywnie postrzeganą barwą. W pierwszej kolejności przedstawiono klasyczne metody mapowania parametrów mierzalnych i ich subiektywnych odpowiedników, następnie zbudowano bazę wiedzy w oparciu o wyniki testów subiektywnych. W procesie obróbki wykorzystano metodę...
-
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.
-
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...
-
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...
-
Data-driven models for fault detection using kernel PCA: A water distribution system case study
Publication -
Machine learning techniques combined with dose profiles indicate radiation response biomarkers
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ę...
-
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...
-
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...
-
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...
-
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’...
-
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...
-
Application of agent-based simulated annealing and tabu search procedures to solving the data reduction problem
Publication -
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....
-
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)....
-
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....
-
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...
-
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...
-
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...
-
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:...
-
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...
-
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...
-
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...
-
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....
-
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...
-
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....
-
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....
-
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....
-
Computer Sciences and Information Technologies
Conferences -
Assessing Industry 4.0 Features Using SWOT Analysis
PublicationThis paper assesses some features of industry 4.0 by using SWOT analysis that affects the adoption and implementation of industry 4.0. The paper identifies the strengths, weaknesses, opportunities, and threats related to industry 4.0. By the consideration of these four groups of factors, the industrial practitioners can understand how to implement industry 4.0. Moreover, industrial practitioners can use the strengths/opportunities...