Search
Filters
total: 327
filtered: 169
Search results for: DETERMINISTIC Σ-ALGEBRA
-
A hybrid approach to optimization of radial inflow turbine with principal component analysis
PublicationEnergy conversion efficiency is one of the most important features of power systems as it greatly influences the economic balance. The efficiency can be increased in many ways. One of them is to optimize individual components of the power plant. In most Organic Rankine Cycle (ORC) systems the power is created in the turbine and these systems can benefit from effective turbine optimization. The paper presents the use of two kinds...
-
Teleportation of geometric structures in 3D
PublicationThe simplest quantum teleportation algorithms can be represented in geometric terms in spaces of dimensions 3 (for real state vectors) and 4 (for complex state vectors). The geometric representation is based on geometric-algebra coding, a geometric alternative to the tensor-product coding typical of quantum mechanics. We discuss all the elementary ingredients of the geometric version of the algorithm: geometric analogs of states...
-
The adiabatic potentials of low-lying electronic states of the NaRb molecule
PublicationAdiabatic potential energy curves and spectroscopic constants have been calculated for the NaRb molecule. The results of ten states of the symmetry Σ+, six states of the symmetry Π, and two states of the symmetry Δ are obtained by the nonrelativistic quantum chemical method used with pseudopotentials describing the interaction of valence electrons with atomic cores. Analysis is based on a comparison with the results of other theoretical...
-
A new library for construction of automata
PublicationWe present a new library of functions that construct minimal, acyclic, deterministic, finite-state automata in the same format as the author's fsa package, and also accepted by the author's fadd library of functions that use finite-state automata as dictionaries in natural language processing.
-
Model-free and Model-based Reinforcement Learning, the Intersection of Learning and Planning
PublicationMy doctoral dissertation is intended as the compound of four publications considering: structure and randomness in planning and reinforcement learning, continuous control with ensemble deep deterministic policy gradients, toddler-inspired active representation learning, and large-scale deep reinforcement learning costs.
-
Exploration of the Solubility Hyperspace of Selected Active Pharmaceutical Ingredients in Choline- and Betaine-Based Deep Eutectic Solvents: Machine Learning Modeling and Experimental Validation
PublicationDeep eutectic solvents (DESs) are popular green media used for various industrial, pharmaceutical, and biomedical applications. However, the possible compositions of eutectic systems are so numerous that it is impossible to study all of them experimentally. To remedy this limitation, the solubility landscape of selected active pharmaceutical ingredients (APIs) in choline chloride- and betaine-based deep eutectic solvents was...
-
Removal of Siloxanes from Model Biogas by Means of Deep Eutectic Solvents in Absorption Process
PublicationThe paper presents the screening of 20 deep eutectic solvents (DESs) composed of tetrapropylammonium bromide (TPABr) and glycols in various molar ratios, and 6 conventional solvents as absorbents for removal of siloxanes from model biogas stream. The screening was achieved using the conductor-like screening model for real solvents (COSMO-RS) based on the comparison of siloxane solubility in DESs. For the DES which was characterized...
-
Error analysis for European IGS stations
PublicationEach of the GPS time series that describes the changes of topocentric components consists of a deterministic and a stochastic part, whose character influences the errors of the deterministic parameters. As to the uncertainties of reliable velocities of permanent satellite station systems, surveys that estimate and take into account any dependencies that may affect subsequent operational efficiency are very important. For this analysis,...
-
Robust-adaptive dynamic programming-based time-delay control of autonomous ships under stochastic disturbances using an actor-critic learning algorithm
PublicationThis paper proposes a hybrid robust-adaptive learning-based control scheme based on Approximate Dynamic Programming (ADP) for the tracking control of autonomous ship maneuvering. We adopt a Time-Delay Control (TDC) approach, which is known as a simple, practical, model free and roughly robust strategy, combined with an Actor-Critic Approximate Dynamic Programming (ACADP) algorithm as an adaptive part in the proposed hybrid control...
-
Preserving Trees in Automata
PublicationWe present a method to store additional information in a minimal automaton so that it is possible to compute a corresponding tree node number for a state. The number can then be used to retrieve additional information. The method works for minimal (and any other) deterministic acyclic finite state automata (DFAs). We also show how to compute the inverse mapping.
-
Long-term researches of stress corrosion cracking of Al-Zn-Mg alloys
PublicationPraca przedstawia wyniki odporności na korozję naprężeniową stopów Al-Zn-Mg uzyskane w warunkach stacjonarnych. Dodatkowo określono wpływ składu chemicznego oraz obróbki cieplnej na odporność korozyjną tych stopów. Badania prowadzono w 3% NaCl w warunkach stałego obciążenia σ = 0.8R0.2 przez 1500 godzin. Stwierdzono, iż zawartość Zn i Mg oraz szybkość chłodzenia to główne czynniki wpływające na podatność tych stopów na korozje...
-
POMIAROWE BADANIA PROPAGACYJNE W SIECIACH WBAN W ŚRODOWISKU KABINY PROMU PASAŻERSKIEGO
PublicationW referacie zaprezentowano badania uwarunkowań propagacyjnych w sieciach WBAN typu off-body w kabinie promu pasażerskiego przy częstotliwości 2,45 GHz, dla scenariuszy statycznych podczas snu, dla różnych pozycji ciała i różnych miejsc montażu anten odbiorczych. Opisano stanowisko badawcze, środowisko kabiny promu pasażerskiego oraz zbadane scenariusze pomiarowe. Zaprezentowano również wstępną analizę wyników pomiarów, bazującą...
-
Building a Nest by an Automaton
PublicationA robot modeled as a deterministic finite automaton has to build a structure from material available to it. The robot navigates in the infinite oriented grid $Z x Z$. Some cells of the grid are full (contain a brick) and others are empty. The subgraph of the grid induced by full cells, called the {\em field}, is initially connected. The (Manhattan) distance between the farthest cells of the field is called its {\em span}. The robot...
-
Application of probabilistic tools to extend load test design of bridges prior to opening
PublicationLoad tests of bridges are widely performed in a large number of countries. Deterministic comparison of measurement results to the theoretical, FEM (finite element method)-based outcomes with possible further calibration is mostly applied. Sometimes, the data collected in the tests are also used to calibrate the reliability factors of bridge structures or their components. This work proposes to complement the stage of the load test...
-
Service time distribution influence on end-to-end call setup delay calculation in networks with Session Initiation Protocol
PublicationThe most important GoS parameter for networks with SIP protocol is end-to-end call setup delay. So far there were no coherent models allowing calculation of these parameters for networks with SIP protocol. Few models were developed but they are insufficient. In the paper we propose model which allows end-to-end call setup delay calculation for networks with SIP protocol. The model is using chain of M/G/1/K models and is applicable...
-
Hybrid Approach to Networked Control System
PublicationEffcient control of Networked Control System (NCS) is a challenge, as the control methods need to deal with non-deterministic variable delays and data loss. This paper presents a novel hybrid approach to NCS where Model Predictive Control (MPC) is applied as a main controller and implicit switching MPC is used for data transmission control in event-driven shared communication medium, leading to complex control system with active...
-
Structural reliability of overhead power lines by means of Monte Carlo Method and RSM
PublicationThe article discusses the issue of reliability assessment of overhead power lines by means of both Monte Carlo Method and Response Surface Method. The suspension tower OS24 ON150+10 is considered, as the weakest element of the line. A comparison is made between deterministic and probabilistic approaches to wind and icing loading. The PDFs for wind and icing loads are proposed. Reliability is assessed for both critical atmospheric...
-
Joint fingerprinting and decryption method for color images based on quaternion rotation with cipher quaternion chaining
PublicationThis paper addresses the problem of unauthorized redistribution of multimedia content by malicious users (pirates). In this method three color channels of the image are considered a 3D space and each component of the image is represented as a point in this 3D space. The distribution side uses a symmetric cipher to encrypt perceptually essential components of the image with the encryption key and then sends the encrypted data via...
-
Electron attachment to representative cations composing ionic liquids
PublicationUsing ab initio electronic structure methods with flexible atomic orbital basis sets, we investigated the electronic structure and stability of reduction products of selected representative cations (C+) constituting ionic liquids. We found that an electron attachment to such cations leads to the neutral radicals, whereas a subsequent attachment of another (i.e., excess) electron leads to adiabatically stable anions only in two...
-
Creep rupture study of dissimilar welded joints of P92 and 304L steels
PublicationThe present work investigates the high-temperature tensile and creep properties of the dissimilar metal weld joints of 304L austenitic stainless steel (SS) and P92 creep strength-enhanced ferritic-martensitic (CSEF/M) steel under diferent testing condition. Thermanit MTS 616 fller rod (P92 fller) and the multi-pass tungsten inert gas (TIG) welding process were used to create the dissimilar weld connection. The ultimate tensile...
-
Fatigue strength determination of ship structural joints. Part I - Analytical methods for determining fatigue strength of ship tructures
PublicationSpectacular accidents at sea which have happened for a few last years show that hull structures of contemporary sea-going ships are not perfect and must be systematically improved. Fatigue strength is one of the groups of strength problems which affect design of contemporary ship's structures and greatly contribute in their improvement process. In this paper several approaches to estimation of fatigue life of hull structural...
-
Simple SIR models with Markovian control
PublicationWe consider a random dynamical system, where the deterministic dynamics are driven by a finite-state space Markov chain. We provide a comprehensive introduction to the required mathematical apparatus and then turn to a special focus on the susceptible-infected-recovered epidemiological model with random steering. Through simulations we visualize the behaviour of the system and the effect of the high-frequency limit of the driving...
-
Autonomous port management based AGV path planning and optimization via an ensemble reinforcement learning framework
PublicationThe rapid development of shipping trade pushes automated container terminals toward the direction of intelligence, safety and efficiency. In particular, the formulation of AGV scheduling tasks and the safety and stability of transportation path is an important part of port operation and management, and it is one of the basic tasks to build an intelligent port. Existing research mainly focuses on collaborative operation between...
-
Patch size setup and performance/cost trade-offs in multi-objective EM-driven antenna optimization using sequential domain patching
PublicationPurpose This paper aims to assess control parameter setup and its effect on computational cost and performance of deterministic procedures for multi-objective design optimization of expensive simulation models of antenna structures. Design/methodology/approach A deterministic algorithm for cost-efficient multi-objective optimization of antenna structures has been assessed. The algorithm constructs a patch connecting extreme Pareto-optimal...
-
General Provisioning Strategy for Local Specialized Cloud Computing Environments
PublicationThe well-known management strategies in cloud computing based on SLA requirements are considered. A deterministic parallel provisioning algorithm has been prepared and used to show its behavior for three different requirements: load balancing, consolidation, and fault tolerance. The impact of these strategies on the total execution time of different sets of services is analyzed for randomly chosen sets of data. This makes it possible...
-
Robustified estimators of radar elevation angle using a specular multipath model
PublicationWe consider the problem of estimating the elevation angle in the presence of multipath. The proposed method belongs to the class of maximum likelihood-like estimators and employs a modified specular reflection model that accounts for the uncertainty of the steering vector by assuming that they are subject to unknown deterministic perturbations with bounded norms. The analysis, performed using convex optimization methods, allows...
-
Pure cross-anisotropy for geotechnical elastic potentials
PublicationThe pure cross-anisotropy is understood as a special scaling of strain (or stress). The scaled tensor is used as an argument in the elastic stiffness (or compliance). Such anisotropy can be overlaid on the top of any elastic stiffness, in particular on one obtained from an elastic potential with its own stress-induced anisotropy. This superposition does not violate the Second Law. The method can be also applied to other functions...
-
Aspect-Oriented Management of Service Requests for Assurance of High Performance and Dependability
PublicationA new approach to service requests management in case of insufficient hardware resources is proposed. It is based on wide aspects of requests analysis and it assures reliable and fast access to priority services. Requests are analyzed for, among others, time of occurrence, category of user who made the request, type of service, current system load and hardware utilization. Deterministic but dynamic rules help to manage system load...
-
Scoreboard Architectural Pattern and Integration of Emotion Recognition Results
PublicationThis paper proposes a new design pattern, named Scoreboard , dedicated for applications solving complex, multi-stage, non-deterministic problems. The pattern provides a computational framework for the design and implementation of systems that integrate a large number of diverse specialized modules that may vary in accuracy, solution level, and modality. The Scoreboard is an extension of Blackboard design pattern and comes under...
-
Mixed integer nonlinear optimization of biological processes in wastewater sequencing batch reactor
PublicationWastewater treatment plays a key role for humanity. The waste entering lakes, rivers, and seas deteriorates daily quality of life. Therefore, it is very important to improve the efficiency of wastewater treatment. From a control point of view, a biological wastewater treatment plant is a complex, non-linear, multidimensional, hybrid control system. The paper presents the design of the optimizing hierarchical control system applied...
-
Simulation studies into quayside transport and storage yard operations in container terminals
PublicationThe focus of the paper is on quayside transport and storage yard operations in the sea container terminals. Developed algorithms for solving the issues of load handling and storage space allocation have been applied in the frame of adopted simulation model. The criteria chosen for decision making involved the total makespan of vessel unloading and the utilisation levels of the transportation trucks. Recommendations for unloading...
-
Estimation of the angular position of a two-wheeled balancing robot using a real IMU with selected filters
PublicationA low-cost measurement system using filtering of measurements for two-wheeled balancing robot stabilisation purposes has been addressed in this paper. In particular, a measurement system based on gyroscope, accelerometer, and encoder has been considered. The measurements have been corrected for deterministic disturbances and then filtered with Kalman, α-β type, and complementary filters. A quantitative assessment of selected filters...
-
Molecular basis of lipopolysaccharide heterogeneity in Escherichia coli: envelope stress-responsive regulators control the incorporation of glycoforms with a third 3-deoxy-α-D-manno-oct-2-ulosonic acid and rhamnose.
PublicationMass spectrometric analyses of lipopolysaccharide (LPS) from isogenic Escherichia coli strains with nonpolar mutations in the waa locus or overexpression of their cognate genes revealed that waaZ and waaS are the structural genes required for the incorporation of the third 3-deoxy-α-D-manno-oct-2-ulosonic acid (Kdo) linked to Kdo disaccharide and rhamnose, respectively. The incorporation of rhamnose requires prior sequential incorporation...
-
Evidence for solid state electrochemical degradation within a small molecule OLED
PublicationAcridone derivative have been synthesised and used as OLED (Organic Light Emitting Diode) emitters which were found to be electroactive. Electrochemical investigations showed a side reaction takes place inside an active layer which diminished the overall device efficiency. By using a dopant and host active layer architecture, the formation of the by product was removed. The by-product was identified as a σ-dimer formed inside an...
-
Subsoil degradation effect in reliability analysis of the jack-up platform structure
PublicationStructural reliability analysis is considered, by FORM and SORM applied to a certain idealized soil-platform structure interaction problem due to cyclic water wave and wind loads. Wave and wind loads are random variables, whereas dead load is deterministic. Load parameters are typical for storm conditions in the Baltic Sea. The soil-structure interaction is idealized as a set of linear translational and rotational springs. Due...
-
Simplified probabilistic analysis of settlement of cyclically loaded soil stratum using point estimate method
PublicationThe paper deals with the probabilistic analysis of settlement of a non-cohesive soil layer subjected to cyclic loading. Originally, the settlement assessment is based on deterministic compaction model which requires integration of a set of differential equations. However, making use of the Bessel functions the settlement of the soil stratum can be calculated by means of simplified algorithm. The compaction model parameters were...
-
Quantum strategies for rendezvous and domination tasks on graphs with mobile agents
PublicationThis paper explores the application of quantum nonlocality, a renowned and unique phenomenon acknowledged as a valuable resource. Focusing on an alternative application, we demonstrate its quantum advantage for mobile agents engaged in specific distributed tasks without communication. The research addresses the significant challenge of rendezvous on graphs and introduces a distributed task for mobile agents grounded in the graph...
-
The saga of a fish: from a survival guide to closing lemmas
PublicationIn the paper by D. Burago, S. Ivanov and A. Novikov, “A survival guide for feeble fish”, it has been shown that a fish with limited velocity can reach any point in the (possibly unbounded) ocean provided that the fluid velocity field is incompressible, bounded and has vanishing mean drift. This result extends some known global controllability theorems though being substantially nonconstructive. We give a fish a different recipe...
-
Valence and lowest Rydberg electronic states of phenol investigated by synchrotron radiation and theoretical methods
PublicationWe present the experimental high-resolution vacuum ultraviolet (VUV) photoabsorption spectra of phenol covering for the first time the full 4.3–10.8 eV energy-range, with absolute cross sections determined. Theoretical calculations on the vertical excitation energies and oscillator strengths were performed using time-dependent density functional theory and the equation-of-motion coupled cluster method restricted to single and double...
-
Theory versus experiment for vacuum Rabi oscillations in lossy cavities. II. Direct test of uniqueness of vacuum
PublicationThe paper continues the analysis of vacuum Rabi oscillations we started in part I [Phys. Rev. A 79, 033836 (2009)]. Here we concentrate on experimental consequences for cavity QED of two different classes of representations of harmonic-oscillator Lie algebras. The zero-temperature master equation, derived in part I for irreducible representations of the algebra, is reformulated in a reducible representation that models electromagnetic...
-
FE analysis of a coupled energetic-statistical size effect in plain concrete beams with varying material properties.
PublicationThe numerical FE investigations of a coupled energetic-statistical size effect in unnotched concrete beams of similar geometry under quasi-static three point bending were performed within elasto-plasticity with non-local softening. The stochastic FE analyses were carried out with three different beam sizes. Deterministic calculations were performed with the uniform distribution of a uniaxial tensile strength. In statistical calculations...
-
Parametric method for evaluating optimal ship deadweight
PublicationThe paper presents a method of choosing the optimal value of the cargo ships deadweight. The method may be useful at the stage of establishing the main owners requirements concerning the ship design parameters as well as for choosing a proper ship for a given transportation task. The deadweight is determined on the basis of a selected economic measure of the transport effectiveness of ship – the Required Freight Rate (RFR). The...
-
Chirp Rate and Instantaneous Frequency Estimation: Application to Recursive Vertical Synchrosqueezing
PublicationThis letter introduces new chirp rate and instantaneous frequency estimators designed for frequency-modulated signals. These estimators are first investigated from a deterministic point of view, then compared together in terms of statistical efficiency. They are also used to design new recursive versions of the vertically synchrosqueezed short-time Fourier transform, using a previously published method (D. Fourer, F. Auger, and...
-
Electron collisions with cyanoacetylene HC3N : Vibrational excitation and dissociative electron attachment
PublicationWe experimentally probe electron collisions with HC3N in the energy range from 0 to 10 eV with the focus on vibrational excitation and dissociative electron attachment. The vibrational excitation cross sections show a number of resonances which are mode specific: the two dominant π∗ resonances are visible in the excitation of all the vibrational modes; however, broad σ ∗ resonances are visible only in certain bond-stretching vibrational...
-
Resonances and Dissociative Electron Attachment in HNCO
PublicationIn a combined experimental and theoretical study, we probe the dissociative electron attachment in isocyanic acid HNCO. The experimental absolute cross section for the NCO− fragment shows a sharp onset and fine structures near the threshold. The autoionizing state responsible for the dissociative attachment is found in both the R-matrix calculation and using analytic continuation in the coupling constant. The involved A' resonance...
-
INDICES FOR ASSESSING POTENTIAL ENVIRONMENTAL HAZARD FROM FUTURE SHIP SCRAPPING PROCESS, DETERMINABLE IN SHIP DESIGN STAGE
PublicationThis paper shortly presents the issue of utilization of ships after their withdrawal from service. Information on number of floating units liquidated in previous years was presented. Hazards to the environment , health and life of workers employed in the Far East ship scrapping yards operating on the beaches, were indicated. Then, the most important rules which have to make the ship recycling process safe were referred to. This...
-
Discrete-time estimation of nonlinear continuous-time stochastic systems
PublicationIn this paper we consider the problem of state estimation of a dynamic system whose evolution is described by a nonlinear continuous-time stochastic model. We also assume that the system is observed by a sensor in discrete-time moments. To perform state estimation using uncertain discrete-time data, the system model needs to be discretized. We compare two methods of discretization. The first method uses the classical forward Euler...
-
Evaluating the mobile robot positions using accelerometer data
PublicationThis paper analyzes the problem of determining the position of a robot using an accelerometer, which is an essential part of inertial measurement units (IMU). The information gained from such a gauge, however, requires double integration of sensor data. To assure an expected effect, a mathematical model of a low-cost accelerometer of the MEMS type is derived. Moreover, in order to improve the performance of positioning based on...
-
Parametrical Method for Determining Optimal Ship Carrying Capacity and Performance of Handling Equipment
PublicationThe paper presents a method of evaluating the optimal value of the cargo ships deadweight and the coupled optimal value of cargo handling capacity. The method may be useful at the stage of establishing the main owners requirements concerning the ship design parameters as well as for choosing a proper second hand ship for a given transportation task. The deadweight and the capacity are determined on the basis of a selected economic...
-
Discrete-time estimation of nonlinear continuous-time stochastic systems
PublicationIn this paper we consider the problem of state estimation of a dynamic system whose evolution is described by a nonlinear continuous-time stochastic model. We also assume that the system is observed by a sensor in discrete-time moments. To perform state estimation using uncertain discrete-time data, the system model needs to be discretized. We compare two methods of discretization. The first method uses the classical forward Euler...