Search
Search results for: semi-definite programming
-
Semi-adaptive feedback active control of MRI noise
PublicationA feedback controller is proposed for cancellation of magnetic resonance imaging (MRI) noise. The design of the controller takes into account specific features of the MRI noise signal. Simulation results show that a considerable rejection rate of the MRI noise can be obtained.
-
Semi complex navigation with an active optical gesture sensor
PublicationThis paper presents the methods of diversified touchless interactions between a user and a mobile platform utilizing the optical gesture sensor. The sensor uses 8 photodiodes to measure the reflected light in the active mode (using embedded LEDs) or it measures shadows caused by fingers in the passive mode. Several algorithms were implemented: automatic mode switching, adaptive illumination level compensation, resolution improvements...
-
Determination of rectification corrections for semi gantry crane rail axes in the local 3D coordinate system
PublicationElectronic tacheometers are currently the standard instruments used in geodetic work, including also geodetic engineering measurements. The main advantage connected with this equipment is among others high accuracy of the measurement and thus high accuracy of the final determinations represented for example by the points’ coordinates. One of many applications of the tacheometers is the measurement of crane rail axes. This measurement...
-
Bandwidth-Controllable Third-Order Band Pass Filter Using Substrate Integrated Full- and Semi-Circular Cavities
PublicationThe article presents a novel circular substrate integrated waveguide (SIW) bandpass filter (BPF) with controllable bandwidth. The proposed BPF is configured using two microstrip feedlines, semi- circular SIW cavities, capacitive slots, and inductive vias. The circular cavity is bisected into two halves, with the two copies thereof being cascaded. Two bisected and cascaded structures obtained this way are subsequently connected...
-
Necessity for and possibility of application of the theory of semi-markov processes to determine reliability of diagnising systems
PublicationW opracowaniu uzasadniono konieczność określenia niezawodności systemów diagnozujących (SDG) do sformułowania diagnozy o stanie dowolnego urządzenia technicznego jako systemu diagnozowanego (SDN). Wykazano, że znajomość niezawodności SDG umożliwia określenie wiarygodności diagnozy. Przyjęto, że wiarygodność diagnozy może być określona jako właściwość diagnozy określająca stopień rozpoznania przez system diagnozujący (SDG) rzeczywistego...
-
Enhancing Seismic Performance of Semi-rigid Connection Using Shape Memory Alloy Bolts Considering Nonlinear Soil–Structure Interaction
PublicationSteel Moment-Resisting Frames (SMRFs) have their lateral resistance for their rigid connections, while real conditions have shown that the rigidity of a connection depends on the bolts and the end-plate thickness, which may not provide the assumed rigidity in design process. In this research, the main goal is to enhance the semi-rigid connections using shape memory alloy (SMA) bolts and explore their effects on the seismic limit-state...
-
The influence of phosphorus fractions in bottom sediments on phosphate removal in semi-natural systems as the 3rd stage of biological wastewater treatment
PublicationThe research was carried out in two semi-natural systems (the polishing ponds in Swarzewo and the free water surface constructed wetland in Zarnowiec) in Poland. They were built as the 3rd stage of a conventional mechanical–biological wastewater treatment plant. These systems were built to improve the quality of the effluent of treated wastewater. In the polishing ponds and FWS wetland system, suspended solids, organic matter as...
-
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 -
Study on effective front region thickness of PCM in thermal energy storage using a novel semi-theoretical model
PublicationThermal energy storage in mobile applications, particularly battery of electric vehicles, is currently gaining a lot of importance. In this paper, a semi-theoretical time-dependent mathematical model of the phase change in a double shell thermal energy storage module has been developed where the inner tube is a heat exchange surface. An effective front region thickness for the melting and solidification process has been studied....
-
Scientific Programming
Journals -
Ammonia amendment promotes high rate lactate production and recovery from semi-continuous food waste fermentation
PublicationIn this study, a reliable approach using ammonia nitrogen was proposed to increase lactate production during semi-continuous food waste (FW) fermentation under mesophilic conditions. Both free ammonia nitrogen (FAN) and ammonium ion (NH4+-N) were present in mesophilic reactors, with a wide FAN/NH4+-N ratio variation due to the intermittent pH control. The investigation of responsible mechanisms revealed that the increased production...
-
Modelling of saturated, subcooled and post-dryout flow boiling with the energy dissipation based semi-empirical model
PublicationA comprehensive semi-empirical model for saturated, subcooled and post dryout heat transfer is presented based on considerations of energy dissipation in the flow. The fundamental hypothesis in the model is the fact that heat transfer during flow boiling can be treated as a sum of two contributions constituting the total energy dissipation in the flow, namely the energy dissipation due to the shearing flow without the bubbles and...
-
Visually validated semi-automatic high-frequency oscillation detection aides the delineation of epileptogenic regions during intra-operative electrocorticography
PublicationOBJECTIVE: To test the utility of a novel semi-automated method for detecting, validating, and quantifying high-frequency oscillations (HFOs): ripples (80-200 Hz) and fast ripples (200-600 Hz) in intra-operative electrocorticography (ECoG) recordings. METHODS: Sixteen adult patients with temporal lobe epilepsy (TLE) had intra-operative ECoG recordings at the time of resection. The computer-annotated ECoG recordings were visually...
-
A semi-Markov model of fuel combustion process in a Diesel engine
PublicationW artykule przedstawiono czterostanowy model procesu spalania w przestrzeniach roboczych (cylindrach) silników o zapłonie samoczynnym w formie procesu semimarkowskiego, dyskretnego w stanach i ciągłego w czasie. Wartościami tego procesu są stany odpowiadające powszechnie akceptowanym rodzajom spalania w tego rodzaju silnikach a mianowicie takie stany procesu jak: spalanie pełne (całkowite i zupełne), spalanie niezupełne, spalanie...
-
Determination of Vehicles Load Equivalency Factors for Polish Catalogue of Typical Flexible and Semi-rigid Pavement Structures
PublicationThe new Polish Catalog of Typical Flexible and Semi-rigid Pavement Structures was introduced to use in practice in 2014. Much of works were focused on actualization of vehicles load equivalency factors. For this purpose data delivered from weigh-inmotion were analyzed. Four methods of determination of load equivalency factors for pavement structure design were compared. The analysis showed that fourth power equation, AASHTO 1993...
-
The semi-Markov model of the process of appearance of sea-going ship propupsion system ability and inability states in application to determining the reliablity of these systems
PublicationThe article presents possible application of the theory of semi-Markov processes in creating the eight-state model of the process of appearance of the propulsion systems ability and inability states on sea-going vessels performing transportation tasks in a relatively long operating time t (t → ∞). The model has been proved to be able to be successfully used for determining the reliability of the abovementioned systems. The probability...
-
Electronic Systems Programming - Project 2021/22
e-Learning Courses -
Electronic Systems Programming - Project 2022/23
e-Learning Courses -
Electronic Systems Programming - Project 2023/24
e-Learning Courses -
Unconventional and user-friendly sampling techniques of semi-volatile organic compounds present in an indoor environment: An approach to human exposure assessment
PublicationThe commonly applied solutions used to assess the potential risk of human exposure to semi-volatile organic compounds (SVOCs) are based on the investigation of biological samples collected in an invasive or non-invasive manner. For SVOCs, which are typically introduced to humans through the respiratory system, dermal adsorption, or digestive system, sampling solutions generally used in the indoor environments are classified as...
-
APPLICATION OF THE THEORY OF SEMI-MARKOV PROCESSES TO DETERMINE A LIMITING DISTRIBUTION OF THE PROCESS OF CHANGES OF ABILITY AND INABILITY STATES OF FUEL SUPPLY SYSTEMS IN HEAVY FUEL DIESEL ENGINES
PublicationThe paper presents applicability of the theory of semi-Markov processes to determine a limiting distribution of the process of changes of technical states of fuel systems for marine engines running on heavy fuel oils. The proposed study of this process includes the components of such fuel systems like: 1 - injectors, 2 - high pressure hoses, 3 - injection pumps, 4 - low pressure hoses, 5 – fine filters, 6 - coarse filters, 7 – fuel-feed...
-
BatchI: Batch effect Identification in high-throughput screening data using a dynamic programming algorithm
Publication -
[EMSS] Programming of GNSS applications 2023/24
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].
-
Detonations in hydrogen-methane-air mixtures in semi confined flat channels
Publication -
The challenge of abandonment for the sustainable management of Palaearctic natural and semi-natural grasslands
Publication -
Characteristics of Superconducting State in Vanadium: the Eliashberg Equations and Semi-analytical Formulas
Publication -
An efficient approach to optimization of semi‐stable routing in multicommodity flow networks
Publication -
Semi-Markovian models of the process of technical state changes of technical objects.
PublicationNajistotniejszym problemem eksploatacji wszystkich obiektów technicznych (urządzeń) jest problem racjonalnego (a zwłaszcza optymalnego) decyzyjnego sterowania procesem zmian stanów technicznych tych obiektów. Sterowanie takie może być realizowane w przypadku zastosowania między innymi modelu wspomnianego procesu zmian stanów. Mając to na uwadze, w opracowaniu tym przedstawiono formalny opis procesu eksploatacji obiektów technicznych...
-
Capturing semantics of semi-structured data using partial-order trees
PublicationW artykule zaprezentowano nowe podejście do problemu klasyfikacji danych semistrukturalnych. Kryteria klasyfikacji bazują na strukturze danych (zwanej typem danych) oraz na ich usytuowaniu w grafir danych (zwanym rolą danych). Zastosowano model OEM (Object Exchange Model) do reprezentacji nazy danych semistrukturalnych. Bazując na tej reprezentacji, definiuje się typy i role obiektów semistrukturalnych i organizuje się je w struktury...
-
Application of theory of semi-Markov processes to determining distribution of probabilistic process of marine accidents resulting from colission of ships
PublicationIn this paper is presented possible application of the theory of semi-Markov processes to elaborating an eight-state model of the process of occurrence of serviceability state and unserviceability states of sea-going ships making critical manoeuvres during their entering and leaving the ports. In the analysis it was taken into account that sea-going ships are in service for a very long time t (t → ∞). The model was elaborated to...
-
Możliwość oszacowania niezawodności silników o zapłonie samoczynnym z zastosowaniem teorii procesów semi-Markowa oraz podejmowania decyzji eksploatacyjnych z uwzględnieniem wiarygodności diagnozy o stanie technicznym tego rodzaju silników spalinowych = Possibility of estimating the reliability of diesel engines by applying the theory of semi-Markov processes and making operational decisions by considering reliability of diagnosis on technical state of this sort of combustion engines/
PublicationThe paper presents semi-Markov models of technical state transitions for diesel engines, useful for determining reliability of the engines. A possibility of application of a three-state model with a simplified matrix function, or even a two-state model, to determine reliability of the engines, has been described herein on examples of known from literature semi-Markov models, for the case when appropriate diagnosing systems (SDG)...
-
Initializing the EM Algorithm for Univariate Gaussian, Multi-Component, Heteroscedastic Mixture Models by Dynamic Programming Partitions
Publication -
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...
-
Amplitude-distance spectroscopy in semi-contact mode
Open Research DataSince it was invented by Binnig et al. in 1986, atomic force microscopy (AFM) plays a key role in science and technology at the nanoscale. AFM is a microscopic technique that visualizes the surface topography using the attractive and repulsive forces of interaction between several atoms (in theory) of a blade attached to the end of the probe lever and...
-
Fingerprint structure studies with semi-contact AFM
Open Research DataThe work [1] presents many, sometimes even surprising examples of the use of atomic force microscopy in modern forensics. Some of them are projectile tests using the characteristic scratch patterns created by the firing pin on the primer. There are more and more suggestions in the literature for the use of atomic force microscopy in dactyloscopy [2]....
-
Journal of Logical and Algebraic Methods in Programming
Journals -
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Journals -
Programowanie Systemów Wbudowanych (Embedded Systems Programming) 2022
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z budową i działaniem systemów operacyjnych oraz programów układowych i rozruchowych dla systemów wbudowanych, możliwościami ich modyfikacji dla poprawy wydajności oraz rozszerzenia funkcjonalności o nowe usługi i sterowniki.
-
Programowanie Systemów Wbudowanych (Embedded Systems Programming) 2024
e-Learning CoursesCelem przedmiotu jest zapoznanie studentów z budową i działaniem systemów operacyjnych oraz programów układowych i rozruchowych dla systemów wbudowanych, możliwościami ich modyfikacji dla poprawy wydajności oraz rozszerzenia funkcjonalności o nowe usługi i sterowniki.
-
Web-based GIS technologies dedicated for presenting semi-dynamic geospatial data
PublicationSieciowe technologie prezentacji danych przestrzennych przeżywają aktualnie rozkwit spowodowany między innymi spadającymi cenami sprzętu komputerowego. Wynikający z tego wzrost wydajności domowych i biurowych stacji roboczych pozwala na praktyczne zastosowanie czasochłonnych algorytmów wizualizacji i przetwarzania skomplikowanych danych rastrowych i wektorowych. Niniejszy artykuł omawia wybrane technologie sieciowej prezentacji...
-
Magnetotransport Properties of Semi-Metallic Bismuth Thin Films for Flexible Sensor Applications
Publication -
Equitable and semi-equitable coloring of cubic graphs and its application in batch scheduling
Publication -
Semi-industrial development of nutritious and healthy seafood dishes from sustainable species
Publication -
Semi- incremental construction of minimal cyclic finite state automata usingcontinuation classes.
PublicationMinimalne automaty skończone są często wybierane do przedstawiania słowników morfologicznych języka naturalnego. Wśród ich zalet znajdują się duża szybkość rozpoznawania i małe wymagania pamięciowe. Tłumaczenie opisów morfologicznych opartych o klasy kontynuacji na minimalne, cykliczne automaty skończone jest tradycyjnie dokonywane w kilku fazach, zawierających tworzenie automatu niedeterministycznego z przejściami etykietowanymi...
-
Adaptive dynamic control allocation for dynamic positioning of marine vessel based on backstepping method and sequential quadratic programming
PublicationIt is generally assumed in dynamic positioning of over-actuated marine vessels that the control effectiveness matrix (input matrix) is known and constant, or, in case of fault information, it is estimated by the fault detection and diagnosis system. The purpose of the study is to develop the adaptive dynamic positioning control system for an over-actuated marine vessel in the presence of uncertainties and with emphasis on limited...