Search
Search results for: KNOWLEDGE REPRESENTATION
-
The equivariant spectral flow and bifurcation of periodic solutions of Hamiltonian systems
PublicationWe define a spectral flow for paths of selfadjoint Fredholm operators that are equivariant under the orthogonal action of a compact Lie group as an element of the representation ring of the latter. This G-equivariant spectral flow shares all common properties of the integer valued classical spectral flow, and it can be non-trivial even if the classical spectral flow vanishes. Our main theorem uses the G-equivariant spectral flow...
-
Integrable zero-range potentials in a plane
PublicationWe examine general statements in the Wronskian representation of Darboux transformations for plane zero-range potentials. Such expressions naturally contain scattering problem solution. We also apply Abel theorem to Wronskians for differential equations and link it to chain equations for Darboux transforms to fix conditions for further development of the underlying distribution concept. Moutard transformations give a convenient...
-
Systems, Environments, and Soliton Rate Equations: Toward Realistic Modeling
PublicationIn order to solve a system of nonlinear rate equations one can try to use some soliton methods. The procedure involves three steps: (1) find a ‘Lax representation’ where all the kinetic variables are combined into a single matrix ρ, all the kinetic constants are encoded in a matrix H; (2) find a Darboux–Bäcklund dressing transformation for the Lax representation iρ˙=[H,f(ρ)], where f models a time-dependent environment; (3) find...
-
Detecting Lombard Speech Using Deep Learning Approach
PublicationRobust Lombard speech-in-noise detecting is challenging. This study proposes a strategy to detect Lombard speech using a machine learning approach for applications such as public address systems that work in near real time. The paper starts with the background concerning the Lombard effect. Then, assumptions of the work performed for Lombard speech detection are outlined. The framework proposed combines convolutional neural networks...
-
Application of autoencoder to traffic noise analysis
PublicationThe aim of an autoencoder neural network is to transform the input data into a lower-dimensional code and then to reconstruct the output from this code representation. Applications of autoencoders to classifying sound events in the road traffic have not been found in the literature. The presented research aims to determine whether such an unsupervised learning method may be used for deploying classification algorithms applied to...
-
Resource constrained neural network training
PublicationModern applications of neural-network-based AI solutions tend to move from datacenter backends to low-power edge devices. Environmental, computational, and power constraints are inevitable consequences of such a shift. Limiting the bit count of neural network parameters proved to be a valid technique for speeding up and increasing efficiency of the inference process. Hence, it is understandable that a similar approach is gaining...
-
Single and Series of Multi-valued Decision Diagrams in Representation of Structure Function
PublicationStructure function, which defines dependency of performance of the system on performance of its components, is a key part of system description in reliability analysis. In this paper, we compare two approaches for representation of the structure function. The first one is based on use of a single Multi-valued Decision Diagram (MDD) and the second on use of a series of MDDs. The obtained results indicate that the series of MDDs...
-
Optimization of the System for Determining the Volume of Tissue Needed for Breast Reconstruction
PublicationThis article presents techniques for reconstructing surfaces and volume calculations using a point cloud generated from 3D imaging. The main objective of this article was to optimize the voxel size for the most accurate representation of the surface of the female breast. We experimented with different methods for determining volume using images from the Intel D435i camera. In addition, we designed application and measurement station...
-
Concept of managing quality in baking industry, in vector representation
PublicationThe author introduced an innovative metrisable method of describing a manufacturing process. The idea of vector structure of a manufacturing process allows to formulate quantitative relations between the activity of input streams, elements of product quality, and measurable effects of losses. The structure was basis for the formulation of the concept of the process of managing product quality in the baking industry in a vector...
-
Port-Based Modelling of Distributed-Lumped Parameter Systems
PublicationThere in the paper is presented an uniform, port-based approach to modelling of both lumped and distributed parameter systems. Port-based model of the distributed system has been defined by application of bond graph methodology and distributed transfer function method (DTFM). The approach proposed combines versatility of port-based modelling and accuracy of distributed transfer function method. The concise representation of lumped-distributed...
-
Multi-criterion decision making in distributed systems by quantum evolutionary algorithms
PublicationDecision making by the AQMEA (Adaptive Quantum-based Multi-criterion Evolutionary Algorithm) has been considered for distributed computer systems. AQMEA has been extended by a chromosome representation with the registry of the smallest units of quantum information. Evolutionary computing with Q-bit chromosomes has been proofed to characterize by the enhanced population diversity than other representations, since individuals represent...
-
Expedited Multi-Objective Design Optimization of Miniaturized Microwave Structures Using Physics-Based Surrogates
PublicationIn this paper, a methodology for fast multi-objective design optimization of compact microwave circuits is presented. Our approach exploits an equivalent circuit model of the structure under consideration, corrected through implicit and frequency space mapping, then optimized by a multi-objective evolutionary algorithm. The correction/optimization of the surrogate is iterated by design space confinement and segmentation based on...
-
Towards Emotion Acquisition in IT Usability Evaluation Context
PublicationThe paper concerns extension of IT usability studies with automatic analysis of the emotional state of a user. Affect recognition methods and emotion representation models are reviewed and evaluated for applicability in usability testing procedures. Accuracy of emotion recognition, susceptibility to disturbances, independence on human will and interference with usability testing procedures are...
-
Reliability Analysis of Data Storage Using Survival Signature and Logic Differential Calculus
PublicationThe Data storage system is an important part of any information system. All the necessary data that must be available for the successful operation of the information system are stored here. Therefore, it is advisable to think about the reliability of such a data storage system. As part of reliability engineering, it is possible to perform a reliability analysis of any system. Therefore, the data storage system can be analyzed as...
-
Application of different building representation techniques in HEC-RAS 2-D for urban flood modeling using the Toce River experimental case
PublicationThis paper presents the impact of the choice of building representation techniques and hydrodynamic models on urban flood simulations using HEC-RAS 2-D for the Toce River physical model. To this end, eight numerical models based on previous laboratory experiments were prepared to simulate unsteady urban flooding on each side of building units. Two simplified building layouts (aligned and staggered) were examined, where models were...
-
Two-spinors, oscillator algebras, and qubits: aspects of manifestly covariant approach to relativistic quantum information
PublicationThe first part of the paper reviews applications of 2-spinor methods to relativistic qubits (analogies between tetrads in Minkowski space and 2-qubit states, qubits defined by means of null directions and their role for elimination of the Peres-Scudo-Terno phenomenon, advantages and disadvantages of relativistic polarization operators defined by the Pauli-Lubanski vector, manifestly covariant approach to unitary representations...
-
Smaller Representation of Finite State Automata
PublicationThis paper is a follow-up to Jan Daciuk's experiments on space-effcient finite state automata representation that can be used directly for traversals in main memory. We investigate several techniques of reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve a gain of around 20-30%...
-
A quasi-2D small-signal MOSFET model - main results
PublicationDynamic properties of the MOS transistor under small-signal excitation are determined by kinetic parameters of the carriers injected into the channel, i.e., the low-field mobility, velocity saturation, mobility at the quiescent-point (Q-point), longitudinal electric field in the channel, by dynamic properties of the channel, as well as by an electrical coupling between the perturbed carrier concentration in the channel and the...
-
TINKTEP: A fully self-consistent, mutually polarizable QM/MM approach based on the AMOEBA force field
PublicationWe present a novel quantum mechanical/molecular mechanics (QM/MM) approach in which a quantum subsystem is coupled to a classical subsystem described by the AMOEBA polarizable force field. Our approach permits mutual polarization between the QM and MM subsystems, effected through multipolar electrostatics. Self-consistency is achieved for both the QM and MM subsystems through a total energy minimization scheme. We provide an expression...
-
Implementation of Addition and Subtraction Operations in Multiple Precision Arithmetic
PublicationIn this paper, we present a digital circuit of arithmetic unit implementing addition and subtraction operations in multiple-precision arithmetic (MPA). This adder-subtractor unit is a part of MPA coprocessor supporting and offloading the central processing unit (CPU) in computations requiring precision higher than 32/64 bits. Although addition and subtraction operations of two n-digit numbers require O(n) operations, the efficient...
-
Surface irregularities as a complex signal of tool representation together with uneven displacement in respect to the workpiece
PublicationIn a dynamic machining process, distortion in surface irregularity is a very complex phenomenon. Surface irregularities form a periodic representation of the tool profile with various kinds of disturbance in a broad range of changes in the height and length of the profile. To discern these irregularity disturbances, interactions of the tool in the form of changes perpendicular and parallel relative to the workpiece were analyzed...
-
The Use of an Autoencoder in the Problem of Shepherding
PublicationThis paper refers to the problem of shepherding clusters of passive agents consisting of a large number of objects by a team of active agents. The problem of shepherding and the difficulties that arise with the increasing number of data describing the location of agents have been described. Several methods for reducing the dimensionality of data are presented. Selected autoencoding method using a Restricted Boltzmann Machine is...
-
Towards semantic-rich word embeddings
PublicationIn recent years, word embeddings have been shown to improve the performance in NLP tasks such as syntactic parsing or sentiment analysis. While useful, they are problematic in representing ambiguous words with multiple meanings, since they keep a single representation for each word in the vocabulary. Constructing separate embeddings for meanings of ambiguous words could be useful for solving the Word Sense Disambiguation (WSD)...
-
Dynamics analysis of footbridge mode shapes the s8 expressway on the basis of the results of in situ tests
PublicationNon-destructive diagnostics for structure may use dynamic measurements realized during vibrations of a facility induced by dynamic environmental impact, enforced by the use of inductors or impulse impact. Dynamic tests and the analysis were undertaken for a footbridge situated over the expressway S8. The studies in situ allowed for dynamic characteristics to be determined: frequency, shape modes and damping for respective frequency...
-
Testing A Novel Gesture-Based Mixing Interface
PublicationWith a digital audio workstation, in contrast to the traditional mouse-keyboard computer interface, hand gestures can be used to mix audio with eyes closed. Mixing with a visual representation of audio parameters during experiments led to broadening the panorama and a more intensive use of shelving equalizers. Listening tests proved that the use of hand gestures produces mixes that are aesthetically as good as those obtained using...
-
Important Facts and Observations about Pairwise Comparisons (the special issue edition)
PublicationThis study has been inspired by numerous requests for clarification from researchers who often confuse Saaty’s Analytic Hierarchy Process (AHP) with the pairwise comparisons (PC) method, taking AHP as the only representation of PC. This study should be regarded as an interpretation and clarification of past investigations of PC. In addition, this article is a reflection on general PC research at a higher level of abstraction: the...
-
Periodic expansion in determining minimal sets of Lefschetz periods for Morse–Smale diffeomorphisms
PublicationWe apply the representation of Lefschetz numbers of iterates in the form of periodic expansion to determine the minimal sets of Lefschetz periods of Morse–Smale diffeomorphisms. Applying this approach we present an algorithmic method of finding the family of minimal sets of Lefschetz periods for Ng, a non-orientable compact surfaces without boundary of genus g. We also partially confirm the conjecture of Llibre and Sirvent (J Diff...
-
Pipelined division of signed numbers with the use of residue arithmetic for small number range with the programmable gate array
PublicationIn this work an architecture of the pipelined signed residue divider for the small number range is presented. Its operation is based on reciprocal calculation and multiplication by the dividend. The divisor in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to limit the look-up table address an algorithm based on segmentation of the divisor into two segments...
-
Hybrid fuzzy-ontological project framework of a team work simulation system
PublicationThe aim of this article is to present the project framework for constructing a Software Process Simulation Modeling (SPSM) system. SPSM systems can be used as a virtual environment for the selection of methods and tools of project management in IT support organizations. The constructed system simulates the Scrum methodology, including the management processes and the project roles. For the implementation of Scrum processes, the...
-
Study of Statistical Text Representation Methods for Performance Improvement of a Hierarchical Attention Network
PublicationTo effectively process textual data, many approaches have been proposed to create text representations. The transformation of a text into a form of numbers that can be computed using computers is crucial for further applications in downstream tasks such as document classification, document summarization, and so forth. In our work, we study the quality of text representations using statistical methods and compare them to approaches...
-
Smaller representation of finite state automata
PublicationThis paper is a follow-up to Jan Daciuk's experiments on space-efficient finite state automata representation that can be used directly for traversals in main memory (Daciuk, 2000)[4]. We investigate several techniques for reducing memory footprint of minimal automata, mainly exploiting the fact that transition labels and transition pointer offset values are not evenly distributed and so are suitable for compression. We achieve...
-
Improving Re-rankCCP with Rules Quality Measures
PublicationRecommender Systems are software tools and techniques which aim at suggesting new items that may possibly be of interest to a user. Context-Aware Recommender Systems exploit contextual information to provide more adequate recommendations. In this paper we described a modification of an existing contextual post-filtering algorithm which uses rules-like user representation called Contextual Conditional Preferences. We extended the...
-
Metrisability of managing of stream-systemic processes
PublicationTo achieve the planned goal, in order to properly describe the manufacturing system management, six process stream functions were introduced. Non-dimensional flows of these functions in time can be empirically defined during the manufacturing process. They are interpreted as non-dimensional expenses. Maximum values for these functions in properly-managed processes equal one. Also, a global management function was introduced, being...
-
Elimination of clicks from archive speech signals using sparse autoregressive modeling
PublicationThis paper presents a new approach to elimination of impulsivedisturbances from archive speech signals. The proposedsparse autoregressive (SAR) signal representation is given ina factorized form - the model is a cascade of the so-called formantfilter and pitch filter. Such a technique has been widelyused in code-excited linear prediction (CELP) systems, as itguarantees model stability. After detection of noise pulses usinglinear...
-
Evaluation Of Single Pole Auto-Reclosing Effectiveness With Nonlinear Secondary Arc Model
PublicationThe paper discusses two evaluation methods of single pole auto-reclosing process effectiveness in HV transmission lines. Secondary arc current and recovery voltage results obtained by load flow calculation are compared to the results obtained by the time domain simulations. Moreover, a non-linear secondary arc implementation is presented. The authors indicate, that precise representation of secondary electric arc leads to more...
-
Self–Organizing Map representation for clustering Wikipedia search results
PublicationThe article presents an approach to automated organization of textual data. The experiments have been performed on selected sub-set of Wikipedia. The Vector Space Model representation based on terms has been used to build groups of similar articles extracted from Kohonen Self-Organizing Maps with DBSCAN clustering. To warrant efficiency of the data processing, we performed linear dimensionality reduction of raw data using Principal...
-
Review on Wikification methods
PublicationThe paper reviews methods on automatic annotation of texts with Wikipedia entries. The process, called Wikification aims at building references between concepts identified in the text and Wikipedia articles. Wikification finds many applications, especially in text representation, where it enables one to capture the semantic similarity of the documents. Also, it can be considered as automatic tagging of the text. We describe typical...
-
Multidimensional Scaling Analysis Applied to Music Mood Recognition
PublicationThe paper presents two experiments aimed at categorizing mood associated with music. Two parts of a listening test were designed and carried out with a group of students, most of whom where users of online social music services. The initial experiment was designed to evaluate the extent to which a given label describes the mood of the particular music excerpt. The second subjective test was conducted to collect the similarity data...
-
Self-Organizing Map representation for clustering Wikipedia search results
PublicationThe article presents an approach to automated organization of textual data. The experiments have been performed on selected sub-set of Wikipedia. The Vector Space Model representation based on terms has been used to build groups of similar articles extracted from Kohonen Self-Organizing Maps with DBSCAN clustering. To warrant efficiency of the data processing, we performed linear dimensionality reduction of raw data using Principal...
-
Thermo-elastic non-linear analysis of multilayered plates and shells
PublicationGeometrically nonlinear FEM analysis of multilayered composite plates and shells is performed in order to resolve the stability problem of the structures being under the influence of temperature field. The Riks-Wempner-Ramm algorithm with a specially modified multi-choice unloading condition has been implemented in authors’ numerical code. As the representation of multilayered medium the Equivalent Single Layer approach with the...
-
High quality speech codec employing sines+noise+transients model
PublicationA method of high quality wideband speech signal representation employing sines+transients+noise model is presented. The need for a wideband speech coding approach as well as various methods for analysis and synthesis of sines, residual and transient states of speech signal is discussed. The perceptual criterion is applied in the proposed approach during encoding of sines amplitudes in order to reduce bandwidth requirements and...
-
A Note on Fractional Curl Operator
PublicationIn this letter, we demonstrate that the fractional curl operator, widely used in electromagnetics since 1998, is essentially a rotation operation of components of the complex Riemann–Silberstein vector representing the electromagnetic field. It occurs that after the wave decomposition into circular polarisations, the standard duality rotation with the angle depending on the fractional order is applied to the left-handed basis vector...
-
Modelling a 6-dof manipulator using Matlab software
PublicationThis paper presents an alternative approach to modelling a revolute robot. The manipulator in question is Kuka KR 16-2. The main problem in robot modelling is a kinematic analysis. The revolute robot consist of six rotary joints (6-DOF) with base, shoulder, elbow and wirst. The kinematics problem is defined as a transformation from the cartesian space to the joint space. The Denavit- Hartenberg (D-H) model of representation was...
-
Secondary arc modelling for single pole reclosing analyses
PublicationThe paper discusses two evaluation methods of single pole auto-reclosing process effectiveness in HV transmission lines. Secondary arc current and recovery voltage calculation results obtained by load flow calculation are compared to the results obtained by the time domain simulations. Moreover, a nonlinear secondary arc model implementation is presented. The paper presents the study results for the three types of EHV transmission...
-
Pipelined division of signed numbers with the use of residue arithmetic in FPGA
PublicationAn architecture of a pipelined signed residue divider for small number ranges is presented. The divider makes use of the multiplicative division algorithm where initially the reciprocal of the divisor is calculated and subsequently multiplied by the dividend. The divisor represented in the signed binary form is used to compute the approximated reciprocal in the residue form by the table look-up. In order to reduce the needed length...
-
Process zone in the Single Cantilever Beam under transverse loading. - Part I: Theoretical analysis
PublicationSingle Cantilever Beam (SCB) specimen loaded with a transverse force parallel to the crack front is proposed for the analysis of crack propagation phenomena under mixed mode conditions. The stress redistribution in the adhesive layer in the vicinity of the crack front so as the beam deformation are estimated using a Timoshenko beam on elastic foundation model. This model emphasizes the Mode II contribution due to flexural beam...
-
Broken rotor bar impact on sensorless control of induction machine
PublicationThe aim of the research is analysis of the sensorless control system of induction machine with broken rotor for diagnostic purposes. Increasing popularity of sensorless controlled variable speed drives requires research in area of reliability, range of stable operation, fault symptoms and application of diagnosis methods. T transformation (Cunha et al.,2003) used for conversion of instantaneous rotor currents electrical circuit...
-
An influence of the ship's block coefficient implementation on the evaluation of it's hull girder bending
PublicationAn influence of the three different ways of implementation ship's block coefficient δ (three geometrical models) on the stresses due to wave bending moment have been investigated. Two models have been applied and compared: beam one (description of the shape usingparameters) and FEM shell model (direct representation of the shape). The outcomes have been compared to Polish Register of Shipping (PRS) rules. The results show that...
-
Towards Increasing Density of Relations in Category Graphs
PublicationIn the chapter we propose methods for identifying new associations between Wikipedia categories. The first method is based on Bag-of-Words (BOW) representation of Wikipedia articles. Using similarity of the articles belonging to different categories allows to calculate the information about categories similarity. The second method is based on average scores given to categories while categorizing documents by our dedicated score-based...
-
Chirp Rate and Instantaneous Frequency Estimation: Application to Recursive Vertical Synchrosqueezing
PublicationThis letter introduces new chirp rate and instantaneous frequency estimators designed for frequency-modulated signals. These estimators are first investigated from a deterministic point of view, then compared together in terms of statistical efficiency. They are also used to design new recursive versions of the vertically synchrosqueezed short-time Fourier transform, using a previously published method (D. Fourer, F. Auger, and...