Wyszukiwarka
Filtry
wszystkich: 334
-
Katalog
Wyniki wyszukiwania dla: DETERMINISTIC Σ-ALGEBRA
-
A new library for construction of automata
PublikacjaWe 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.
-
Exploration of the Solubility Hyperspace of Selected Active Pharmaceutical Ingredients in Choline- and Betaine-Based Deep Eutectic Solvents: Machine Learning Modeling and Experimental Validation
PublikacjaDeep 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
PublikacjaThe 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
PublikacjaEach 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,...
-
Exergy analysis and thermodynamic optimization of a bioenergy with carbon capture and storage gas power plant using Monte Carlo simulation of sewage sludge composition
PublikacjaAn exergy analysis is performed on the negative CO2 emission gas power plant (nCO2PP), which integrates the fuel preparation, power generation and carbon capture process sections. The cycle is modeled in Aspen Plus coupled with REFPROP, combining deterministic and Monte Carlo stochastic approaches, the latter being a novelty in this work. In all cases studied, the simulations maintain the complex thermodynamic relationships. Exergy...
-
Robust-adaptive dynamic programming-based time-delay control of autonomous ships under stochastic disturbances using an actor-critic learning algorithm
PublikacjaThis 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
PublikacjaWe 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.
-
POMIAROWE BADANIA PROPAGACYJNE W SIECIACH WBAN W ŚRODOWISKU KABINY PROMU PASAŻERSKIEGO
PublikacjaW 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ą...
-
Long-term researches of stress corrosion cracking of Al-Zn-Mg alloys
PublikacjaPraca 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...
-
Building a Nest by an Automaton
PublikacjaA 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
PublikacjaLoad 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...
-
WETI (Informatyka)- Matematyka, studia zaoczne
Kursy OnlineSem. I - Analiza matematyczna Sem II - Algebra liniowa z geometrią analityczną.
-
Service time distribution influence on end-to-end call setup delay calculation in networks with Session Initiation Protocol
PublikacjaThe 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...
-
Fatigue strength determination of ship structural joints. Part I - Analytical methods for determining fatigue strength of ship tructures
PublikacjaSpectacular 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...
-
Electron attachment to representative cations composing ionic liquids
PublikacjaUsing 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
PublikacjaThe 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...
-
Joint fingerprinting and decryption method for color images based on quaternion rotation with cipher quaternion chaining
PublikacjaThis 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...
-
Structural reliability of overhead power lines by means of Monte Carlo Method and RSM
PublikacjaThe 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...
-
Hybrid Approach to Networked Control System
PublikacjaEffcient 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...
-
Simple SIR models with Markovian control
PublikacjaWe 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...
-
Patch size setup and performance/cost trade-offs in multi-objective EM-driven antenna optimization using sequential domain patching
PublikacjaPurpose 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...
-
Autonomous port management based AGV path planning and optimization via an ensemble reinforcement learning framework
PublikacjaThe 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...
-
General Provisioning Strategy for Local Specialized Cloud Computing Environments
PublikacjaThe 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
PublikacjaWe 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
PublikacjaThe 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
PublikacjaA 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
PublikacjaThis 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
PublikacjaWastewater 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...
-
Estimation of the angular position of a two-wheeled balancing robot using a real IMU with selected filters
PublikacjaA 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...
-
Simulation studies into quayside transport and storage yard operations in container terminals
PublikacjaThe 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...
-
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.
PublikacjaMass 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
PublikacjaAcridone 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...
-
Simplified probabilistic analysis of settlement of cyclically loaded soil stratum using point estimate method
PublikacjaThe 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...
-
Subsoil degradation effect in reliability analysis of the jack-up platform structure
PublikacjaStructural 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...
-
WETI - Matematyka - Ćwiczenia 2016/17 (D.Grott)
Kursy OnlineMatematyka elementarnaAnaliza IAnaliza IIAlgebra liniowa mutex/ocfipreoqyfb/mutex
-
Quantum strategies for rendezvous and domination tasks on graphs with mobile agents
PublikacjaThis 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...
-
Valence and lowest Rydberg electronic states of phenol investigated by synchrotron radiation and theoretical methods
PublikacjaWe 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...
-
The saga of a fish: from a survival guide to closing lemmas
PublikacjaIn 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...
-
Theory versus experiment for vacuum Rabi oscillations in lossy cavities. II. Direct test of uniqueness of vacuum
PublikacjaThe 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...
-
Parametric method for evaluating optimal ship deadweight
PublikacjaThe 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...
-
FE analysis of a coupled energetic-statistical size effect in plain concrete beams with varying material properties.
PublikacjaThe 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...
-
Adiabatic potential energy curves of the 3, 4 and 5^1Σ^+ excited states of LiCs molecule
Dane BadawczeAdiabatic potential energy curves of the 3, 4, and 5^1Σ^+ excited states have been calculated for the LiCs molecule. The results of three excited states of the symmetry Σ^+ have been obtained by the nonrelativistic multireference configuration interaction (MRCI) method used with pseudopotentials describing the interaction of valence electrons with atomic...
-
Chirp Rate and Instantaneous Frequency Estimation: Application to Recursive Vertical Synchrosqueezing
PublikacjaThis 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...
-
Resonances and Dissociative Electron Attachment in HNCO
PublikacjaIn 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...
-
Electron collisions with cyanoacetylene HC3N : Vibrational excitation and dissociative electron attachment
PublikacjaWe 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...
-
Experimental and Theoretical Study on Electron Interactions with Acetic Acid Molecules
PublikacjaThe absolute total cross section for electron collisions with acetic acid has been measured using an electrostatic electron spectrometerand linear transmission method for collision energies ranging from 0.4 to 300eV. Elastic electron scattering from acetic acid within a low-energy range has also been studied theoretically using the Schwinger multichannel and R-matrix methods, in the static-exchange and static-exchange plus polarization...
-
Parametrical Method for Determining Optimal Ship Carrying Capacity and Performance of Handling Equipment
PublikacjaThe 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
PublikacjaIn 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 position of a mobile robot using accelerometer data
PublikacjaThis paper analyses 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...
-
Discrete-time estimation of nonlinear continuous-time stochastic systems
PublikacjaIn 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...