displaying 1000 best results Help
Search results for: INTEGER LINEAR PROGRAMMING
-
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...
-
Application of multi-criteria mathematical programming models for assignment of services in a hospital
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,...
-
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...
-
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...
-
Programming of GNSS applications [EMSS]
e-Learning CoursesThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
Programming of GNSS applications [EMSS]
e-Learning CoursesThis course is designed for M.Sc. students of Space and Satellite Technologies, including Computer Science and Aerospace Technologies, within the specialty Engineering and Management of Space System [EMSS].
-
Open shop problem with zero-one time operations and integer release date/deadline intervals
Publication -
Energy Technologies - Linear algebra 2018/2019 (M.Łapińska)
e-Learning Courses -
Gesture Recognition With the Linear Optical Sensor and Recurrent Neural Networks
PublicationIn this paper, the optical linear sensor, a representative of low-resolution sensors, was investigated in the multiclass recognition of near-field hand gestures. The recurrent neural network (RNN) with a gated recurrent unit (GRU) memory cell was utilized as a gestures classifier. A set of 27 gestures was collected from a group of volunteers. The 27 000 sequences obtained were divided into training, validation, and test subsets....
-
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...
-
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...
-
Ontology supported selection of versions for N-version programming in semantic web services
Publication -
A single and triple-objective mathematical programming models for assignment of services in a healthcare institution
Publication -
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.
-
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.
-
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...
-
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,...
-
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
-
Non-Linear Analysis of Structures Utilizing Load-Discretization of Stiffness Matrix Method with Coordinate Update
PublicationThis paper proposes a stiffness method based structural analysis algorithm for geometrically non-linear structures. In this study, the applied load on the joints has been discretized to a sequence of a few loadings applied. Each loading step produces incremental external nodal displacements, which are added to the corresponding coordinates to get a new geometrical shape of the structure. This process is iteratively repeated until...
-
On modelling and non-linear elasto-plastic analysis of thin shells with deformable junctions
PublicationThe undeformed base surface of the irregular thin shell is modelled by the union of a finite number of regular smooth surface elements joined together along spatial curvilinear surface edges. The equilibrium conditions are formulated by postulating an appropriate form of the principle of virtual work, where also deformability of shell junctions is taken into account. The PVW is then discretised by C1 finite elements and the incremental-iterative...
-
A Linear Phase Filter in Quadruplet Topology With Frequency-Dependent Couplings
PublicationThis letter presents a design of a linear phase microwave bandpass filter. The filter is composed of four resonators arranged in the quadruplet topology. Making the cross and one direct coupling dispersive gives additional design flexibility. The first advantage of using frequency-dependent couplings is the possibility to chose an arbitrary location of a pair of complex transmission zeros (TZs) in the s-domain. The second one is...
-
Bearing estimation using double frequency reassignment for a linear passive array
PublicationThe paper demonstrates the use of frequency reassignment for bearing estimation. For this task, signals derived from a linear equispaced passive array are used. The presented method makes use of Fourier transformation based spatial spectrum estimation. It is further developed through the application of two-dimensional reassignment, which leads to obtaining highly concentrated energy distributions in the joint frequency-angle domain...
-
Nonlinear and linear impedance of bismuth vanadate ceramics and its relation to structural properties
PublicationThe nonlinear and linear electrical properties, topography, and microstructure of bismuth-vanadate ceramics, were studied. The structurewas observed with the use of X-ray diffraction (XRD), scanning electronmicroscopy (SEM), atomic force microscopy (AFM) and confocal microscopy methods. The obtained results showed that ceramic is porous. Two phase transitionswere determinedwith the use of DSC measurements. The linear and nonlinear ac...
-
Linear viscoelastic transversely isotropic model based on the spectral decomposition of elasticity tensors
PublicationThe linear viscoelasticity is still a useful model in the engineering for studying the behavior of materials loaded with different loading rates (frequencies). Certain types of materials reveal also an anisotropic behavior: fiber reinforced composites, asphalt concrete mixtures, or wood, to name a few. In general, researchers try to identify experimentally the dependence of engineering constants like: directional Young’s moduli...
-
The ONETEP linear-scaling density functional theory program
PublicationWe present an overview of the ONETEP program for linear-scaling density functional theory (DFT) calculations with large basis set (planewave) accuracy on parallel computers. The DFT energy is computed from the density matrix, which is constructed from spatially localized orbitals we call Non-orthogonal Generalized Wannier Functions (NGWFs), expressed in terms of periodic sinc (psinc) functions. During the calculation, both the...
-
Pose classification in the gesture recognition using the linear optical sensor
PublicationGesture sensors for mobile devices, which have a capability of distinguishing hand poses, require efficient and accurate classifiers in order to recognize gestures based on the sequences of primitives. Two methods of poses recognition for the optical linear sensor were proposed and validated. The Gaussian distribution fitting and Artificial Neural Network based methods represent two kinds of classification approaches. Three types...
-
Artur Gańcza dr inż.
PeopleI received the M.Sc. degree from the Gdańsk University of Technology (GUT), Gdańsk, Poland, in 2019. I am currently a Ph.D. student at GUT, with the Department of Automatic Control, Faculty of Electronics, Telecommunications and Informatics. My professional interests include speech recognition, system identification, adaptive signal processing and linear algebra.
-
Genetic Programming and Evolvable Machines
Journals -
Foundations and Trends in Programming Languages
Journals -
Proceedings of the ACM on Programming Languages
Journals -
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
Journals -
Art, Science, and Engineering of Programming
Journals -
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Journals -
The description of non-linear interactions of wave and non-wave modes in a non-adiabatic plasma flow
PublicationThe method of derivation of non-linear equations for interacting modes is explained and applied to a plasma's flow affected by a magnetic field. It is based on the linear projecting of the total perturbation field into specific variations of variables in individual modes of a flow. The method may be applied in many examples of fluid flows with different mechanisms of non-adiabaticity. It is of special importance in complex flows...
-
Scientific Programming
Journals -
WCh - GT II - Linear algebra 2021/2022 (H.Guze)
e-Learning Courses -
Respiration rate estimation using non-linear observers in application to wastewater treatment plant
PublicationA problem of respiration rate estimation using two new non-linear observers for a wastewater treatment plant is addressed in this paper. In particular, a non-linear adaptive Luenberger-like observer and a super twisting sliding mode observer have been derived to produce stable and bounded estimates of the respiration rate. During the synthesis of the particular observer, an appropriate mathematical utility model was used. The observability...
-
Linear Time-Varying Dynamic-Algebraic Equations of Index One on Time Scales
PublicationIn this paper, we introduce a class of linear time-varying dynamic-algebraic equations (LTVDAE) of tractability index one on ar- bitrary time scales. We propose a procedure for the decoupling of the considered class LTVDAE. Explicit formulae are written down both for transfer operator and the obtained decoupled system. A projector ap- proach is used to prove the main statement of the paper and sufficient conditions of decoupling...
-
On the non-linear dynamics of torus-shaped and cylindrical shell structures
PublicationIn this study, the non-linear dynamic analysis of torus-shaped and cylindrical shell-like structures has been studied. The applied material is assumed as the functionally graded material (FGM). The structures are considered to be used for important machines such as wind turbines. The effects of some environmental factors on the analysis like temperature and humidity have been considered. The strain field has been calculated in...
-
On Alternative Approaches to Design of Corporate Feeds for Low-Sidelobe Microstrip Linear Arrays
PublicationTwo design approaches, illustrated by simulations and measurements, aiming at a systematic computer-aided design of printed circuit feeds for low-sidelobe microstrip antenna arrays are described. The novelty of these approaches resides in identification of the optimal feed architectures with subsequent simulation-based optimization of the feed and array aperture dimensions. In this work, we consider microstrip corporate feeds realizing...
-
Extended non-linear relations of elastic shells undergoing phase transitions
PublicationThe non-linear theory of elastic shells undergoing phase transitions was proposed by two first authors in J. Elast. 79, 67-86 (2004). In the present paper the theory is extended by taking into account also the elastic strain energy density of the curvilinear phase interface as well as the resultant forces and couples acting along the interface surface curve itself. All shell relations are found from the variational principle of...
-
A hierarchical observer for a non-linear uncertain CSTR model of biochemical processes
PublicationThe problem of estimation of unmeasured state variables and unknown reaction kinetic functions for selected biochemical processes modelled as a continuous stirred tank reactor is addressed in this paper. In particular, a new hierarchical (sequential) state observer is derived to generate stable and robust estimates of the state variables and kinetic functions. The developed hierarchical observer uses an adjusted asymptotic observer...
-
From Linear Classifier to Convolutional Neural Network for Hand Pose Recognition
PublicationRecently gathered image datasets and the new capabilities of high-performance computing systems have allowed developing new artificial neural network models and training algorithms. Using the new machine learning models, computer vision tasks can be accomplished based on the raw values of image pixels instead of specific features. The principle of operation of deep neural networks resembles more and more what we believe to be happening...
-
Extended phase diagram of RNiC2 family: Linear scaling of the Peierls temperature
PublicationPhysical properties for the late-lanthanide-based RNiC2 (R = Dy, Ho, Er, and Tm) ternary compounds are reported. All the compounds show antiferromagnetic ground state with the Néel temperature ranging from 3.4 K for HoNiC2 to 8.5 K for ErNiC2. The results of the transport and galvanomagnetic properties confirm a charge density wave state at and above room temperature with transition temperatures TCDW = 284, 335, 366, and 394 K for...
-
NON-LINEAR MASTIC CHARACTERISTICS BASED ON THE MODIFIED MSCR (MULTIPLE STRESS CREEP RECOVERY) TEST
PublicationMastic containing asphalt in its composition is an example of a viscoelastic material. It is an effective binder in asphalt. It consists of a filler (<0.063 mm) and asphalt mixed in the right proportions. Just like in asphalt, its response depends on the temperature level, the load and stress time. Changing the stress stiffness of the mastic affects the non-linear course of the stress-strain relationship. Modelling of the non-linear...