Filters
total: 4014
filtered: 3483
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: LINEAR PROGRAMMING MODELS
-
COMPARISON OF INFINITE ELEMENT MODELS
PublicationThe main objective of this paper is to show the comparison of two models of infinite ab- sorbing layer with increasing damping in numerical investigations of elastic wave prop- agation in unbounded structures. This has been achieved by the Authors by a careful in- vestigation of two different engineering structures characterised by gradually increasing geometrical and mathematical description complexities. The analysis included...
-
Direct estimation of linear and nonlinear functionals of quantum state
PublicationWe present a simple quantum network, based on the controlled-SWAP gate, that can extract certain properties of quantum states without recourse to quantum tomography. It can be used as a basic building block for direct quantum estimations of both linear and nonlinear functionals of any density operator. The network has many potential applications ranging from purity tests and eigenvalue estimations to direct characterization of...
-
Stability of truss with side - supports. The case of linear and rotational elastic supports
PublicationThe research is devoted to study lateral buckling of truss with linear and rotational elastic side-supports. Geometrically nonlinear analysis of example truss with linear and rotational elastic sidesupports is carried out. The limit normal force in compressed chord of the truss due to stiffness of side supports is calculated. The elastic support reaction in relation to force in compressed chordand coefficient of buckling length...
-
A robust sliding mode observer for non-linear uncertain biochemical systems
PublicationA problem of state estimation for a certain class of non-linear uncertain systems has been addressed in this paper. In particular, a sliding mode observer has been derived to produce robust and stable estimates of the state variables. The stability and robustness of the proposed sliding mode observer have been investigated under parametric and unstructured uncertainty in the system dynamics. In order to ensure an unambiguous non-linear...
-
Research on Linear Actuators for Active Foil Bearings
PublicationActive foil bearings are a kind of gas foil bearing. They contain actuators which allow for modification of the bearing sleeve size and the shape of the lubrication gap. Rotor vibrations can be actively controlled by these changes. It is possible, among other things, to reduce the starting torque, control the vibration amplitude at different speeds and improve operational safety. Prototypes of active foil bearings are being developed...
-
The mechanisms of technological innovation in SMEs: a Bayesian Network Analysis of EU regional policy impact on Polish firms.
PublicationWe study the underlying mechanisms of technological innovation in SMEs in the context of ex-post evaluation of European Union’s regional policy. Our aim is to explain the observed change in firms’ innovativeness after receiving EU support for technological investment. To do so, we take an approach that is novel in innovation studies: a Bayesian Network Analysis to assess the effectiveness of EU policy instrument for technological...
-
Usage of parametric echosounder with emphasis on buried object searching.
PublicationThe purpose of this article is to present the results of investigation to search for buried objects. The paper will contain echograms and other means of visualization from buried pipe placed between area of W?adys?awowo and gas platform and interesting in terms of the number of small and medium-sized unidentified objects found in the muddy bottom at different depths localized in the Gulf of Puck - results will be presented also...
-
EASY ACCESS TOOL FOR SMALL INTERFERING RNA (siRNA) DATA
PublicationFor many decades it was an accepted dogma of molecular genetics that the expression of genes is a “one-way-road” leading only in one direction from DNA to RNA to proteins. Recent discoveries in modern molecular genetics have challenged this dogma showing that specific RNA molecules play a central role in controlling the activity of genes by changing the structure of DNA sequences, targeting other RNAs for degradation or blocking...
-
Device-independent quantum key distribution based on measurement inputs
PublicationWe provide an analysis of a family of device-independent quantum key distribution (QKD) protocols that has the following features. (a) The bits used for the secret key do not come from the results of the measurements on an entangled state but from the choices of settings. (b) Instead of a single security parameter (a violation of some Bell inequality) a set of them is used to estimate the level of trust in the secrecy of the key....
-
Studies of the separation performance of silanized silica gel for simulated distillation
PublicationWe present the results of investigations of the chromatographic (sorptive) properties of silanized silica gel as a stationary phase for gas chromatography used for simulated distillation. Commercially available silanized sorbent (particle diameter range 63–200 m, average pore size 60 Å) was sieved to obtain the 80–100 mesh fraction (180–150 m). The obtained results revealed that silanized silica gel allows the complete separation...
-
Applications of semi-definite optimization in quantum information protocols
PublicationThis work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information sci- ence. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter...
-
Dependable Integration of Medical Image Recognition Components
PublicationComputer driven medical image recognition may support medical doctors in the diagnosis process, but requires high dependability considering potential consequences of incorrect results. The paper presentsa system that improves dependability of medical image recognition by integration of results from redundant components. The components implement alternative recognition algorithms of diseases in thefield of gastrointestinal endoscopy....
-
Statistics with R A Handbook for Statistical Analysis with R and R-Studio
PublicationIf you are to perform any kind of data (statistical) analysis and use tools in the data science ecosystem, you may have seen a variety of tutorials, handbooks online (I’m not mentioning traditional bibles of statistics). Unfortunately most of them is written intentionally for specific purposes and/or target group of people and does not include many aspects, data types, difficult aspects, usually hiding them trying to solve theoretical...
-
Architectural Heritage Virtual Models in Conservation Practice
PublicationThe article presents the issues concerning architectural heritage digital models’ applications in conservation practice. These considerations are discussed in the context of the commencement of creating virtual models regarding no-longer existing historical buildings in the first half of the 1980s. Such models’ applications and possible uses are analyzed within the adopted criteria that distinguish the following model types....
-
Linear-scaling calculation of Hartree-Fock exchange energy with Non-orthogonal Generalised Wannier Functions
PublicationWe present a method for the calculation of four-centre two-electron repulsion integrals in terms of localised non-orthogonal generalised Wannier functions (NGWFs). Our method has been imple- mented in the ONETEP program and is used to compute the Hartree-Fock exchange energy component of Hartree-Fock and Density Functional Theory (DFT) calculations with hybrid exchange-correlation functionals. As the NGWFs are optimised in situ...
-
Non-monotone graph searching models
PublicationGraph searching encompasses a variety of different models, many of which share a property that in optimal strategies fugitive can never access once searched regions. Monotonicity, as it is called, is vital in many established results in the field however its absence significantly impedes the analysis of a given problem. This survey attempts to gather non-monotone models, that are less researched in effort of summarizing the results...
-
Method of selecting programming practices for the safety-critical software development projects
PublicationIn recent years a plan-driven approach traditionally used in safety-critical software development has been put to a test by rapidly changing technologies, more diverse group of clients and volatile market requirements. The need to deliver good quality systems, faster and at lower cost in comparison to competitors encouraged companies to look for more efficient solutions. Agile methodologies are known to successfully address these...
-
Selected multiobjective methods for multiperiod portfolio optimization by mixed integer programming
Publication -
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...
-
Identification of quasi-periodically varying systems with quasi-linear frequency changes
PublicationThe problem of identification of linear quasi-periodically varying systems is considered. This problem can be solved using generalized adaptive notch filtering (GANF) algorithms. It is shown that accuracy of system parameter estimation can be increased if the results obtained from GANF are further processed using a cascade of appropriately designed filters. The resulting generalized adaptive notch smoothing (GANS) algorithms can...
-
The Linear Array 2x1 of Slot Monopoles for 6-8.5 GHZ UWB Standard
PublicationThe results of numerical simulations and measurements of 2x1 linear array of slot monopoles are presented in the paper. At the begining a single slot monopole was designed. Next the 2x1 linear array of these monopoles was numerically tested for various configurations of the feeding network. The single monopole and the array were fabricated and the results of the measurements of the reflection coefficients and the radiationpatterns...
-
Linear Pantographic Sheets: Existence and Uniqueness of Weak Solutions
Publicationwe address the well-posedness of the planar linearized equilibrium problem for homogenized pantographic lattices. To do so: (i) we introduce a class of subsets of anisotropic Sobolev’s space as the most suitable energy space E relative to assigned boundary conditions; (ii) we prove that the considered strain energy density is coercive and positive definite in E ; (iii) we prove that the set of placements for which the strain...
-
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 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 identification...
-
Melody Harmonization with Interpolated Probabilistic Models
PublicationMost melody harmonization systems use the generative hidden Markov model (HMM), which model the relation between the hidden chords and the observed melody. Relations to other variables, such as the tonality or the metric structure, are handled by training multiple HMMs or are ignored. In this paper, we propose a discriminative means of combining multiple probabilistic models of various musical variables by means of model interpolation....
-
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 the instantaneous frequency smoothing for signals with quasi-linear frequency changes
PublicationThe problem of estimation of the slowly-varying instantaneous frequency of a nonstationary complex sinusoidal signal buried in noise is considered. This problem is usually solved using frequency tracking algorithms. It is shown that the accuracy of frequency estimates can be considerably increased if the results yielded by the frequency tracker are further processed using the appropriately designed filters. The resulting frequency...
-
High performance super-twisting sliding mode control for a maritime autonomous surface ship (MASS) using ADP-Based adaptive gains and time delay estimation
PublicationThis research addresses two kinds of problems related to optimal trajectory tracking of a Maritime Autonomous Surface Ship (MASS): those caused by the time-varying external disturbances including winds, waves and ocean currents as well as those resulting from inherent dynamical uncertainties. As the paper shows, an accurate and robust optimal controller can successfully deal with both issues. An improved Optimal Adaptive Super-Twisting...
-
The Multiplatform Environment for Simulation and Features Estimation of Mixed-Signal Devices
PublicationThe use of simulation laboratories is gaining popularity in thedomains of engineering programs. However, the experience in teaching showsthat the simulation itself is not very effective in didactic processes. Teachingprocesses in thefield of specialist subjects, designed for students of technicaluniversities, should be based on direct operations performed by the student onreal devices. At the same time, at the later stages of didactic...
-
High performance super-twisting sliding mode control for a maritime autonomous surface ship (MASS) using ADP-Based adaptive gains and time delay estimation
PublicationThis research addresses two kinds of problems related to optimal trajectory tracking of a Maritime Autonomous Surface Ship (MASS): those caused by the time-varying external disturbances including winds, waves and ocean currents as well as those resulting from inherent dynamical uncertainties. As the paper shows, an accurate and robust optimal controller can successfully deal with both issues. An improved Optimal Adaptive Super-Twisting...
-
Fault detection in electronic circuits using test buses
PublicationA survey of test buses designed for diagnostics of digital and analog electronic circuits is presented: the IEEE 1149.1 bus for digital circuits, the IEEE 1149.4 bus for mixed-signal and the IEEE 1149.6 bus for AC coupled complex digital circuits. Each bus is presented with its structure, solution of key elements, particularly boundary registers and a set of test instructions. Diagnosis with the use of the described buses is...
-
Performance evaluation of unified memory and dynamic parallelism for selected parallel CUDA applications
PublicationThe aim of this paper is to evaluate performance of new CUDA mechanisms—unified memory and dynamic parallelism for real parallel applications compared to standard CUDA API versions. In order to gain insight into performance of these mechanisms, we decided to implement three applications with control and data flow typical of SPMD, geometric SPMD and divide-and-conquer schemes, which were then used for tests and experiments. Specifically,...
-
Derivation of Executable Test Models From Embedded System Models using Model Driven Architecture Artefacts - Automotive Domain
PublicationThe approach towards system engineering compliant to Model-Driven Architecture (MDA) implies an increased need for research on the automation of the model-based test generation. This applies especially to embedded real-time system development where safety critical requirements must be met by a system. The following paper presents a methodology to derive basic Simulink test models from Simulink system models so as to execute them...
-
Novel fast non-linear electrochemical impedance method for corrosion investigations
PublicationThe paper presents a novel approach to corrosion rate monitoring using non-linear electrochemical impedance spectroscopy. The authors propose a new variant of non-linear impedance measurement using amplitude-modulated multi-frequency ac perturbation signal. It allows shortening of measurement duration so it is possible to monitor corrosion rate of the systems experiencing rapid changes. In this way a limitation resulting from lack...
-
Symbolic multibody models for digital-twin applications
PublicationSymbolic generation of multibody systems equations of motion appeared in the 1980s. In addition to their computational advantage over their numerical counterparts, symbolic models can be very easily and straightforwardly interfaced with a wide range of software environments and hardware devices. These two features place this approach in a pole position to participate and intervene in the design of digital twins for systems such...
-
Differential models versus neural models in optimisation
PublicationW pracy porównano zastosowanie modeli różniczkowych i modeli neuronowych dla celów optymalizacji.
-
Flow Process Models for Pipeline Diagnosis
PublicationThis chapter examines the problem of modeling and parameterization of the transmission pipeline flow process. First, the base model for discrete time is presented, which is a reference for other developed models. Then, the diagonal approximation (AMDA) method is proposed, in which the tridiagonal sub-matrices of the recombination matrix are approximated by their diagonal counterparts, which allows for a simple determination of...
-
COMPARISON OF TWO MODELS OF CONDENSATION
PublicationIn the low-pressure part of steam turbine, the state path usually crosses the saturation line in penultimate stages. At least last two stages of this part of turbines operate in two –phase region. The liquid phase in this region in mainly created in the process of homogeneous and heterogeneous condensation. Several observations confirm however, that condensation often occurs earlier than it is predicted by theory i.e. before the...
-
A Review of Hyperelastic Constitutive Models for Dielectric Elastomers
PublicationDielectric elastomers are smart materials that are essential components in soft systems and structures. The core element of a dielectric elastomer is soft matter, which is mainly rubber-like and elastomeric. These soft materials show a nonlinear behaviour and have a nonlinear strain-stress curve. The best candidates for modelling the nonlinear behaviour of such materials are hyperelastic strain energy functions. Hyperelastic functions...
-
A review on analytical models of brushless permanent magnet machines
PublicationThis study provides an in-depth investigation of the use of analytical and numerical methods in analyzing electrical machines. Although numerical models such as the finite-element method (FEM) can handle complex geometries and saturation effects, they have significant computational burdens, are time-consuming, and are inflexible when it comes to changing machine geometries or input values. Analytical models based on magnetic equivalent...
-
Positivity and job burnout in emergency personnel: examining linear and curvilinear relationship
PublicationThe aim of this study was to examine whether the relationship between the ratio of job-related positive to negative emotions (positivity ratio) and job burnout is best described as linear or curvilinear. Participants were 89 police officers (12% women) and 86 firefighters. The positivity ratio was evaluated using the Job-related Affective Wellbeing Scale (Van Katwyk, Fox, Spector, & Kelloway, 2000). Exhaustion and disengagement,...
-
Diagnostic Models and Estimators for LDI in Transmission Pipelines
PublicationThis article considers and compares four analytical models of the pipeline flow process for leak detection and location tasks. The synthesis of these models is briefly outlined. Next, the methodology for generating data and diagnosing pipes is described, as well as experimental settings, assumptions and implemented scenarios. Finally, the quality of model-based diagnostic estimators has been evaluated for their bias, standard deviations...
-
Analysis of Crash Computation on a Basis of the Pronciple of Linear Momentum and Kinetic Energy
PublicationThe article shows the calculation of a vehicle crash with a fixed pile, modelled by the finite element method. There were compared during the crash simulations changes in kinetic energy, as well as – changes in linear momentum and its derivative, with respect to time. Calculations were made in the HyperWorks CAE software environment. The obtained results show influence of various body parts and devices of the deceleration on...
-
Linear Micropolar Elasticity Analysis of Stresses in Bones Under Static Loads
PublicationWe discuss the finite element modeling of porous materials such as bones using the linear micropolar elasticity. In order to solve static boundary-value problems, we developed new finite elements, which capture the micropolar behavior of the material. Developed elements were implemented in the commercial software ABAQUS. The modeling of a femur bone with and without implant under various stages of healing is discussed in details
-
Ontology supported selection of versions for N-version programming in semantic web services
Publication -
Lexicographic and weighting approach to multi-criteria portfolio optimization by mixed integer programming
Publication -
Genetic programming extension to APF-based monocular human body pose estimation
PublicationNew method of the human body pose estimation based on a single camera 2D observation is presented, aimed at smart surveillance related video analysis and action recognition. 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, new motion cost metric is employed, considering current...
-
Programming, tunning and automatic parallelization of irregular divide and conquer applications in DAMPVM/DAC.
PublicationArtykuł prezentuje nowy, obiektowo zorientowany wzorzec programowy DAMPVM/DAC, który zimplementowany został z użyciem systemu DAMPVM i umożliwia automatyczny podział nieregularnych aplikacji "Dziel i zwyciężaj" (DAC) w czasie ich działania.
-
Optimal programming of critical sections in modern network processors under performance requirements.
PublicationPrzegląd konstrukcji i zastosowań metod programowania sekcji krytycznych w nowoczesnych procesorach sieciowych rodziny Intel IXP. Porównanie wydajnościowe w formie tabeli.
-
The role of traditional architectural models in the first stages of education.
PublicationThe oldest architectural models discovered by scientists date from the Middle Ages, while models or 1:1 scale prototypes were used in ancient times. Architectural miniatures quickly evolved into an indispensable tool for designers that enabled them to creatively express their thoughts and ideas. Mock-ups became a way of helping a designer communicate a concept, and their educational value was also recognised. The method of modelling,...
-
Mathematical Models in Design Process of Ship Bow Thrusters
PublicationThe paper describes an application of simulation models for computer-aided design of ship bow thrusters. Generation of simulation models of ship bow thruster requires development and verifying of mathematical models of system component elements. Using the results of simulation the expert system is able to determine, that the rules of classification societies are met. Design procedures and mathematical models are part of an expert...