Filtry
wszystkich: 416
-
Katalog
Wyniki wyszukiwania dla: APPROXIMATE STRING MATCHING
-
Stiffness change of abdominal prosthesis Optomesh™ under cyclic loading
PublikacjaAbdominal prostheses are used in humans for abdominal wall strengthening or reconstruction. From the mechanical point of view they are membranes, so their basic mechanical property is tensile stiffness. This property is experimentally identified for a selected implant, OptomeshTM. The obtained results are described herein. Uni-axial simple and cyclic tension tests are a basis for the analysis. Both kinds of tests allowed to distinguish...
-
Exact modal absorbing boundary condition for waveguide simulations - discrete Green's function approach
PublikacjaA 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....
-
Rapid EM-Driven Design of Compact RF Circuits By Means of Nested Space Mapping
PublikacjaA 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...
-
Analyzing sets of phylogenetic trees using metrics
PublikacjaThe 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-match Based Wikipedia-WordNet Integration
PublikacjaAbility 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...
-
Hybrid Method Analysis of Unshielded Guiding Structures
PublikacjaA 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...
-
Spectral measurement of birefringence using particle swarm optimization analysis
PublikacjaThe 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
Publikacjagenetic 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...
-
On analytical solution of stationary two dimensional boundary problem of natural convection
PublikacjaApproximate 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
PublikacjaThe 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...
-
Identification of models and signals robust to occasional outliers
PublikacjaIn 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
PublikacjaSkin 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...
-
Propagation of acoustic pulses in some fluids with yield stress
PublikacjaThis 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...
-
Inverse shadowing and related measures
PublikacjaWe 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...
-
Constant vs. Variable Efficiency of Electric Drive in Train Run Simulations
PublikacjaTrain 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
PublikacjaIn 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...
-
Methodology for hospital design in architectural education
PublikacjaThe 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...
-
Identification of models and signals robust to occasional outliers
PublikacjaIn 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,...
-
Koncert Walentynkowy
WydarzeniaKwartet smyczkowy „Golden Gate String Quartet” wykona wraz z wokalistką Izabelą Krasucką znane utwory w niesamowitych aranżacjach.
-
Average Size of a Suffix Tree for Markov Sources
PublikacjaWe 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...
-
Electromagnetic plane wave scattering from a cylindrical object with an arbitrary cross section using a hybrid technique
PublikacjaA 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...
-
Automatic tuning of a resonant circuit in wireless power supply systems for biomedical sensors
PublikacjaIn 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...
-
All graphs with paired-domination number two less than their order
PublikacjaLet 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...
-
Nested Kriging Surrogates for Rapid Multi-Objective Optimization of Compact Microwave Components
PublikacjaA 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
PublikacjaSingle 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...
-
Comparison of classical Winter's bracing requirements of compressedtruss chord with stability analysis of 3D truss-model
PublikacjaMost 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...
-
Iterative‐recursive estimation of parameters of regression models with resistance to outliers on practical examples
PublikacjaHere, 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...
-
Koncert "My Kobiety"
Wydarzenia7 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
PublikacjaA 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
Dane BadawczeThe 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
PublikacjaProject 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...
-
Nested Space Mapping Technology for Expedite EM-driven Design of Compact RF/microwave Components
PublikacjaA 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...
-
Hierarchical Estimation of Human Upper Body Based on 2D Observation Utilizing Evolutionary Programming and 'Genetic Memory'
PublikacjaNew 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...
-
Corrosion degradation monitoring of ship stiffened plates using guided wave phase velocity and constrained convex optimization method
PublikacjaThe 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 computational complexity of the backbone coloring problem for planar graphs with connected backbones
PublikacjaIn 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
PublikacjaHybrid 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...
-
LattE- first-principles lattice energy calculations
PublikacjaCrystal 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
PublikacjaThe 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 psychrotrophic yeast Sporobolomyces roseus LOCK 1119 as a source of a highly active aspartic protease for the in vitro production of antioxidant peptides
PublikacjaA 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
PublikacjaIn 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
PublikacjaIn 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...
-
Guessing Intrinsic Forwarding Trustworthiness of Wireless Ad Hoc Network Nodes
PublikacjaA 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
PublikacjaPoland 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...
-
Electricity demand prediction by multi-agent system with history-based weighting
PublikacjaEnergy and load demand forecasting in short-horizons, over an interval ranging from one hour to one week, is crucial for on-line scheduling and security functions of power system. Many load forecasting methods have been developed in recent years which are usually complex solutions with many adjustable parameters. Best-matching models and their relevant parameters have to be determined in a search procedure. We propose a hybrid...
-
Expedited design of microstrip antenna subarrays using surrogate-based optimization
PublikacjaComputationally 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,...
-
Structure and computationally-efficient simulation-driven design of compact UWB monopole antenna
PublikacjaIn 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
PublikacjaThe 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
PublikacjaIn 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....
-
Low-fidelity model considerations for simulation-based optimisation of miniaturised wideband antennas
PublikacjaHere, 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
PublikacjaExtracting 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....