Search results for: APPROXIMATE STRING MATCHING
-
A NUMERICAL STUDY ON THE DYNAMICS OF DENGUE DISEASE MODEL WITH FRACTIONAL PIECEWISE DERIVATIVE
PublicationThe aim of this paper is to study the dynamics of Dengue disease model using a novel piecewise derivative approach in the sense of singular and non-singular kernels. The singular kernel operator is in the sense of Caputo, whereas the non-singular kernel operator is the Atangana–Baleanu Caputo operator. The existence and uniqueness of a solution with piecewise derivative are examined for the aforementioned problem. The suggested...
-
Rapid EM-Driven Design of Compact RF Circuits By Means of Nested Space Mapping
PublicationA methodology for rapid design of RF circuits constituted by compact microstrip resonant-cells (CMRCs) is presented. Our approach exploits nested space mapping (NSM) technology, where the inner SM layer is used to correct the equivalent circuit model at the CMRC level, whereas the outer layer enhances the coarse model of the entire structure under design. We demonstrate that NSM dramatically improves performance of surrogate-based...
-
Exact-match Based Wikipedia-WordNet Integration
PublicationAbility to link between WordNet synsets and Wikipedia articles allows usage of those resources by computers during natural language processing. A lot of work was done in this field, however most of the approaches focus on similarity between Wikipedia articles and WordNet synsets rather than creation of perfect matches. In this paper we proposed a set of methods for automatic perfect matching generation. The proposed methods were...
-
Analyzing sets of phylogenetic trees using metrics
PublicationThe reconstruction of evolutionary trees is one of the primary objectives in phylogenetics. Such a tree represents historical evolutionary relationships between different species or organisms. Tree comparisons are used for multiple purposes, from unveiling the history of species to deciphering evolutionary associations among organisms and geographical areas. In this paper, we describe a general method for comparing phylogenetictrees...
-
Exact modal absorbing boundary condition for waveguide simulations - discrete Green's function approach
PublicationA modal absorbing boundary condition (ABC) based on the discrete Green's function (DGF) is introduced and applied for termination of waveguides simulated by means of the finite-difference time-domain (FDTD) method. The differences between the developed approach and implementations already demonstrated in the literature are presented. By applying DGF, a consistent theoretical approach to modal ABC in the FDTD method is obtained....
-
Hybrid Method Analysis of Unshielded Guiding Structures
PublicationA combination of mode matching, finite element methods and generalized impedance matrix is presented in a context of propagation problems for open guiding structures. The computational domain is divided into two regions: the first one is a circular cylinder containing whole guiding structure and the second one surrounds this artificial cylinder. The impedance matrix is calculated with the use of finite element method in the first...
-
On analytical solution of stationary two dimensional boundary problem of natural convection
PublicationApproximate analytical solution of two dimensional problem for sta- tionary Navier-Stokes, continuity and Fourier-Kirchho equations describ- ing free convective heat transfer from isothermal surface of half innite vertical plate is presented. The problem formulation is based on the typ- ical for natural convection assumptions: the uid noncompressibility and Boussinesq approximation. We also assume that orthogonal to the plate component...
-
Operating system security by integrity checking and recovery using write-protected storage
PublicationThe paper presents an Integrity Checking and Recovery (ICAR) system which protects file system integrity and automatically restores modified files. The system enables files cryptographic hashes generation and verification, as well as configuration of security constraints. All of the crucial data, including ICAR system binaries, file backups and hashes database are stored in a physically write protected storage to eliminate the...
-
Constant vs. Variable Efficiency of Electric Drive in Train Run Simulations
PublicationTrain run simulations, which focus on various power- and energy-oriented aspects, should reflect the losses in the electric powertrain. In general, the powertrain efficiency varies with respect to load and speed. Including this relation in simulation requires knowledge about detailed drivetrain parameters, which are often unavailable. This paper verifies the possibility to approximate the drivetrain efficiency in train run simulations...
-
A Generalized SDP Multi-Objective Optimization Method for EM-Based Microwave Device Design
PublicationIn this article, a generalized sequential domain patching (GSDP) method for efficient multi-objective optimization based on electromagnetics (EM) simulation is proposed. The GSDP method allowing fast searching for Pareto fronts for two and three objectives is elaborated in detail in this paper. The GSDP method is compared with the NSGA-II method using multi-objective problems in the DTLZ series, and the results show the GSDP method...
-
Identification of models and signals robust to occasional outliers
PublicationIn this paper estimation algorithms derived in the sense of the least sum of absolute errors are considered for the purpose of identification of models and signals. In particular, off-line and approximate on-line estimation schemes discussed in the work are aimed at both assessing the coefficients of discrete-time stationary models and tracking the evolution of time-variant characteristics of monitored signals. What is interesting,...
-
Identification of models and signals robust to occasional outliers
PublicationIn this paper estimation algorithms derived in the sense of the least sum of absolute errors are considered for the purpose of identification of models and signals. In particular, off-line and approximate on-line estimation schemes discussed in the work are aimed at both assessing the coefficients of discrete-time stationary models and tracking the evolution of time-variant characteristics of monitored signals. What is interesting,...
-
Use of optical skin phantoms for preclinical evaluation of laser efficiency for skin lesion therapy
PublicationSkin lesions are commonly treated using laser heating. However, the introduction of new devices into clinical practice requires evaluation of their performance. This study presents the application of optical phantoms for assessment of a newly developed 975-nm pulsed diode laser system for dermatological purposes. Such phantoms closely mimic the absorption and scattering of real human skin (although not precisely in relation to...
-
Inverse shadowing and related measures
PublicationWe study various weaker forms of the inverse shadowing property for discrete dynamical systems on a smooth compact manifold. First, we introduce the so-called ergodic inverse shadowing property (Birkhoff averages of continuous functions along an exact trajectory and the approximating one are close). We demonstrate that this property implies the continuity of the set of invariant measures in the Hausdorff metric. We show that the...
-
Propagation of acoustic pulses in some fluids with yield stress
PublicationThis study is devoted to the derivation of approximate equations governing acoustic pulses in flows with yieldstress, including some time-dependent flows with a slow dependence on time of yield stress and apparent viscosity. Themodeling of yield stress and apparent viscosity in the vicinity of a zero deformation rate allows us to consider a thixotropicfluid as a Bingham plastic with coefficients that are dependent on time. The...
-
Spectral measurement of birefringence using particle swarm optimization analysis
PublicationThe measurement of birefringence is useful for the examination of both technical and biological objects. One of the main problems is that the polarization state of light in birefringent media changes periodically. Without the knowledge of the period number, the birefringence of a given medium cannot be determined reliably. We propose to analyse the spectrum of light in order to determine the birefringence. We use a Particle Swarm...
-
Comparison of reproduction strategies in genetic algorithm approach to graph searching
Publicationgenetic algorithms (ga) are a well-known tool used to obtain approximate solutions to optimization problems. successful application of genetic algorithm in solving given problem is largely dependant on selecting appropriate genetic operators. selection, mutation and crossover techniques play a fundamental role in both time needed to obtain results and their accuracy. in this paper we focus on applying genetic algorithms in calculating...
-
Methodology for hospital design in architectural education
PublicationThe architecture of a hospital should be a response to strong user requirements. Recommendations on how to shape the environment of such facilities are highly complex, integrating guidelines from many fields of science. If contradictions between them exist, the designer is required to set priorities for spatial activities. This issue is particularly important during architectural education. The learning process should include projects...
-
Electromagnetic plane wave scattering from a cylindrical object with an arbitrary cross section using a hybrid technique
PublicationA hybrid technique combining finite-element and mode-matching methods for the analysis of scattering problems in open and closed areas is presented. The main idea of the analysis is based on the utilization of the finite-element method to calculate the post impedance matrix and combine it with external excitation. The discrete analysis, which is the most time- and memory-consuming, is limited here only to the close proximity of...
-
Average Size of a Suffix Tree for Markov Sources
PublicationWe study a suffix tree built from a sequence generated by a Markovian source. Such sources are more realistic probabilistic models for text generation, data compression, molecular applications, and so forth. We prove that the average size of such a suffix tree is asymptotically equivalent to the average size of a trie built over n independentsequences from the same Markovian source. This equivalenceis only known for memoryless...
-
Koncert Walentynkowy
EventsKwartet smyczkowy „Golden Gate String Quartet” wykona wraz z wokalistką Izabelą Krasucką znane utwory w niesamowitych aranżacjach.
-
All graphs with paired-domination number two less than their order
PublicationLet G=(V,E) be a graph with no isolated vertices. A set S⊆V is a paired-dominating set of G if every vertex not in S is adjacent with some vertex in S and the subgraph induced by S contains a perfect matching. The paired-domination number γp(G) of G is defined to be the minimum cardinality of a paired-dominating set of G. Let G be a graph of order n. In [Paired-domination in graphs, Networks 32 (1998), 199-206] Haynes and Slater...
-
Automatic tuning of a resonant circuit in wireless power supply systems for biomedical sensors
PublicationIn this paper, a tuning method of a resonant circuit suited for wireless powering of miniature endoscopic capsules is presented and discussed. The method allows for an automatic tuning of the resonant frequency and matching impedance of a full wave rectifier loading the resonant circuit. Thereby, the receiver tunes so as to obtain the highest power efficiency under given conditions of transmission. A prototype receiver for wireless...
-
Nested Kriging Surrogates for Rapid Multi-Objective Optimization of Compact Microwave Components
PublicationA procedure for rapid EM-based multi-objective optimization of compact microwave components is presented. Our methodology employs a recently developed nested kriging modelling to identify the search space region containing the Pareto-optimal designs, and to construct a fast surrogate model. The latter permits determination of the initial Pareto set, further refined using a separate surrogate-assisted process. As an illustration,...
-
Fast bubble dynamics and sizing
PublicationSingle bubble sizing is usually performed by measuring the resonant bubble response using the Dual Frequency Ultrasound Method. However, in practice, the use of millisecond-duration chirp-like waves yields nonlinear distortions of the bubble oscillations. In comparison with the resonant curve obtained under harmonic excitation, it was observed that the bubble dynamic response shifted by up to 20 percent of the resonant frequency...
-
Iterative‐recursive estimation of parameters of regression models with resistance to outliers on practical examples
PublicationHere, identification of processes and systems in the sense of the least sum of absolute values is taken into consideration. The respective absolute value estimators are recognised as exceptionally insensitive to large measurement faults or other defects in the processed data, whereas the classical least squares procedure appears to be completely impractical for processing the data contaminated with such parasitic distortions. Since...
-
Comparison of classical Winter's bracing requirements of compressedtruss chord with stability analysis of 3D truss-model
PublicationMost code requirements concerning bracing are based on principles developed by Winter. The present research is devoted tostudy a lateral buckling of truss with linear elastic side supports. The classical Winter's model of truss chord in the case ofout of the truss plane buckling is compared with nonlinear analysis of 3D truss model. Full bracing condition, that permitsthe truss chord to support load level corresponding to an unbraced...
-
Koncert "My Kobiety"
Events7 marca w Klubie Kwadratowa odbędzie się koncert dedykowany płci pięknej "My kobiety". O godzinie 19.00 sceną zawładnie 5 niezależnych kobiet – kwartet smyczkowy "Golden Gate String Quartet" i Dora Theisebach.
-
Visual Lip Contour Detection for the Purpose of Speech Recognition
PublicationA method for visual detection of lip contours in frontal recordings of speakers is described and evaluated. The purpose of the method is to facilitate speech recognition with visual features extracted from a mouth region. Different Active Appearance Models are employed for finding lips in video frames and for lip shape and texture statistical description. Search initialization procedure is proposed and error measure values are...
-
Voltage fluctuations on the main switchgear of the industrial power system supplying the rolling mill motors
Open Research DataThe dataset presents the voltage waveforms on the bus bars of the main switchgear of the industrial power network for the supply of rolling mills. The data was recorded during an experiment whose purpose was to determine a level of short-term and long-term flicker caused by voltage fluctuations. In the virtual application of flickermeter, a hardware...
-
Risk Management in "Agile" methodologies using the example of Scrum and the IBM Rational Team Concert tool
PublicationProject risk is one of the key areas which should be subjected to a thorough analysis in any IT project. Project managers undertake steps to minimize risks, both in terms of organization (matching people to tasks or roles) as well as in terms of technology (using appropriate tools for the management and execution of tasks). Every method of project management defines and describes the processes and techniques related to knowledge...
-
Hierarchical Estimation of Human Upper Body Based on 2D Observation Utilizing Evolutionary Programming and 'Genetic Memory'
PublicationNew method of the human body pose estimation based on single camera 2D observation is presented. It employs 3D model of the human body, and genetic algorithm combined with annealed particle filter for searching the global optimum of model state, best matching the object's 2D observation. Additionally, motion cost metric is employed, considering current pose and history of the body movement, favouring the estimates with the lowest...
-
Nested Space Mapping Technology for Expedite EM-driven Design of Compact RF/microwave Components
PublicationA robust simulation-driven methodology for rapid and reliable design of RF/microwave circuits comprising compact microstrip resonant cells (CMRCs) is presented. We introduce a nested space mapping (NSM) technology, in which the inner space mapping layer is utilized to improve the generalization capabilities of the equivalent circuit model corresponding to a constitutive element of the circuit under consideration. The outer layer...
-
Corrosion degradation monitoring of ship stiffened plates using guided wave phase velocity and constrained convex optimization method
PublicationThe study presents an experimental investigation on the corrosion degradation level assessment using nondestructive wave-based methods. The degradation level of ship structural elements has been assessed in two different ways. The first one is based on the spectral decomposition and zero-crossing incorporated reconstruction of the dispersion curve approach of the antisymmetric Lamb wave mode and the best matching of the theoretical...
-
The psychrotrophic yeast Sporobolomyces roseus LOCK 1119 as a source of a highly active aspartic protease for the in vitro production of antioxidant peptides
PublicationA psychrotrophic yeast strain producing a cold-adapted protease at low temperature was classified as Sporobolomyces roseus. In standard YPG medium, S. roseus LOCK 1119 synthesized an extracellular protease with an activity of approximately 560 U/L. Optimization of medium composition and process temperature considerably enhanced enzyme biosynthesis; an approximate 70% increase in activity (2060 U/L). The native enzyme was purified...
-
Fractional Order Circuit Elements Derived from Electromagnetism
PublicationIn this paper, derivations of fractional-order (FO) circuit-element equations from electromagnetism are presented. Whilst many papers are devoted to FO modelling of electrical circuits, there are no strong foundations for such an approach. Therefore, we investigate relations between the FO electromagnetism and the FO circuit theory. Our derivations start from quasi-static (QS) approximations of Maxwell's equations in media with...
-
Multi-nodal PWR reactor model — Methodology proposition for power distribution coefficients calculation
PublicationIn the paper the multi-nodal Pressurized Water Reactor (PWR) model called Mann’s model is presented. This models is used for modelling purposes of the heat transfer from fuel to coolant in reactor core. The authors expand widely used in literature approach by defining additional coefficients for the heat transfer model. These parameters approximate the power generation distribution in the PWR reactor core according to the to the...
-
LattE- first-principles lattice energy calculations
PublicationCrystal engineering is currently attracting much interest. Its aim is to create materials of predefined properties fulfilling the requirements imposed by the applications. There are several parameters describing crystal structures, but the most important one is probably the energy of a crystal lattice. It is the energy released by the system when crystalline solid is formed out of molecules or ions in gaseous phase. Approximate...
-
Reduced model of gyroscopic system
PublicationThe paper presents the method of model reduction for the system with gyroscopic interactions. Two methods were used to obtain the approximate discrete models of the continuous structure: the modal decomposition method and the rigid finite element method. The first approach is used for this part of a system for which it is easy to formulate orthogonality conditions, meanwhile the second one is used for other part. The method enables...
-
The computational complexity of the backbone coloring problem for planar graphs with connected backbones
PublicationIn the paper we study the computational complexity of the backbone coloring problem for planar graphs with connected backbones. For every possible value of integer parameters λ≥2 and k≥1 we show that the following problem: Instance: A simple planar graph GG, its connected spanning subgraph (backbone) HH. Question: Is there a λ-backbone coloring c of G with backbone H such that maxc(V(G))≤k? is either NP-complete or polynomially...
-
On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis
PublicationHybrid dynamic systems combine continuous and discrete behavior. Often, computational approaches are employed to derive behaviors that approximate the analytic solution. An important part of this is the approximation of differential equation behavior by numerical integration. The accuracy and computational efficiency of the integration usually depend on the complexity of the method and its implicated approximation errors, especially...
-
Guessing Intrinsic Forwarding Trustworthiness of Wireless Ad Hoc Network Nodes
PublicationA novel node misbehavior detection system called GIFTED is proposed for a multihop wireless ad hoc network (WAHN) whose nodes may selfishly refuse to forward transit packets. The system guesses the nodes’ intrinsic forwarding trustworthiness (IFT) by analyzing end-to-end path performance rather than utilizing unreliable and incentive incompatible low-layer mechanisms. It can work with occasional IFT jumps, directional antennae,...
-
On the production of electricity in Poland using a geothermal binary power plant - A thermodynamic overview - Part I
PublicationPoland has a significant potential of geothermal energy. However, the high-temperature sources that are needed to drive power plants are found in relatively few places. Therefore, the objective of this paper is to consider any location in the northern part of Poland as a possible place to build a binary power plant. A scientific research was confirmed the existence of an elevated temperature gradient in this region. The hot rocks...
-
Expedited design of microstrip antenna subarrays using surrogate-based optimization
PublicationComputationally efficient simulation-driven design of microstrip antenna subarrays is presented. The proposed design approach aims at simultaneous adjustment of all relevant geometry parameters of the subarray, which allows us to take into account the effect of the feeding network on the subarray radiation pattern (in particular, the side lobe level, SLL). In order to handle a large number of variables involved in the design process,...
-
Low-fidelity model considerations for simulation-based optimisation of miniaturised wideband antennas
PublicationHere, variable-fidelity electromagnetic (EM)-based design optimisation of miniaturised antennas is discussed. The authors focus on an appropriate selection of discretisation density of the low-fidelity EM model, which results in good performance of the optimisation algorithm in terms of its computational complexity and reliability. Trust-region gradient search with low-fidelity model corrected by means of non-linear frequency scaling...
-
Extracting concepts from the software requirements specification using natural language processing
PublicationExtracting concepts from the software require¬ments is one of the first step on the way to automating the software development process. This task is difficult due to the ambiguity of the natural language used to express the requirements specification. The methods used so far consist mainly of statistical analysis of words and matching expressions with a specific ontology of the domain in which the planned software will be applicable....
-
On low-fidelity models for variable-fidelity simulation-driven design optimization of compact wideband antennas
PublicationThe paper addresses simulation-driven design optimization of compact antennas involving variable-fidelity electromagnetic (EM) simulation models. Comprehensive investigations are carried out concerning selection of the coarse model discretization density. The effects of the low-fidelity model setup on the reliability and computational complexity of the optimization process are determined using a benchmark set of three ultra-wideband...
-
Structure and computationally-efficient simulation-driven design of compact UWB monopole antenna
PublicationIn this letter, a structure of a small ultra-wideband (UWB) monopole antenna, its design optimization procedure as well as experimental validation are presented. According to our approach, antenna compactness is achieved by means of a meander line for current path enlargement as well as the two parameterized slits providing additional degrees of freedom that help to ensure good impedance matching. For the sake of reliability, the...
-
LSA Is not Dead: Improving Results of Domain-Specific Information Retrieval System Using Stack Overflow Questions Tags
PublicationThe paper presents the approach to using tags from Stack Overflow questions as a data source in the process of building domain-specific unsupervised term embeddings. Using a huge dataset of Stack Overflow posts, our solution employs the LSA algorithm to learn latent representations of information technology terms. The paper also presents the Teamy.ai system, currently developed by Scalac company, which serves as a platform that...
-
Evolutionary Algorithm for Selecting Dynamic Signatures Partitioning Approach
PublicationIn the verification of identity, the aim is to increase effectiveness and reduce involvement of verified users. A good compromise between these issues is ensured by dynamic signature verification. The dynamic signature is represented by signals describing the position of the stylus in time. They can be used to determine the velocity or acceleration signal. Values of these signals can be analyzed, interpreted, selected, and compared....