Search results for "Binary"
showing 10 items of 833 documents
Elementary Action Systems
2015
This chapter expounds basic notions. An elementary action system is a triple consisting of the set of states, the transition relation between states, and a family of binary relations defined on the set of states. The elements of this family are called atomic actions. Each pair of states belonging to an atomic action is a possible performance of this action. This purely extensional understanding of atomic actions is close to dynamic logic. Compound actions are defined as sets of finite sequences of atomic actions. Thus compound actions are regarded as languages over the alphabet whose elements are atomic actions. This chapter is concerned with the problem of performability of actions and the…
On Conditioning Operators
1999
The construction of conditional events (so-called measure-free conditioning) has a long history and is one of the fundamental problems in non-deterministic system theory (cf. [6]). In particular, the iteration of measure-free conditioning is still an open problem. The present paper tries to make a contribution to this question. In particular, we give an axiomatic introduction of conditioning operators which act as binary operations on the universe of events. The corresponding axiom system of this type of operators focus special attention on the intuitive understanding that the event ‘α given β’ is somewhere in “between” ‘α and β’ and ‘β implies α’. A detailed motivation of these axioms can …
On Combinatorial Generation of Prefix Normal Words
2014
A prefix normal word is a binary word with the property that no substring has more 1s than the prefix of the same length. This class of words is important in the context of binary jumbled pattern matching. In this paper we present an efficient algorithm for exhaustively listing the prefix normal words with a fixed length. The algorithm is based on the fact that the language of prefix normal words is a bubble language, a class of binary languages with the property that, for any word w in the language, exchanging the first occurrence of 01 by 10 in w results in another word in the language. We prove that each prefix normal word is produced in O(n) amortized time, and conjecture, based on expe…
Apparent content curves: description and analytical applications. Resolution of binary mixtures
1992
The apparent content curves and their analytical applications are described. Basing on these curves a mathematical method, which permits the identification of the interfering component present in a binary mixture as well as the determination of the contents of both constituents, is proposed. The existence of considerable interaction coefficients is not an impediment for its application. Besides, the analyte contents in the mixture can be obtained without the use of standard interference solutions. The proposed procedure is applied to the analysis of mixtures of dyes with overlapping absorption spectra.
Principal component analysis for the selection of variables in the application of the H-point and generalised H-point standard addition method
2000
The present paper deals with the selection of variables for the H-point and generalised H-point standard additions methods (HPSAM and GHPSAM, respectively). Both methods are applied for the resolution of spectroscopic interfered signals in the UV-vis range. The HPSAM is a suitable method for the resolution of binary and ternary mixtures when the interferent is known. The GHPSAM is applied for the resolution of samples that contain unknown interferents. In this paper, a method based on the study of a principal components analysis (PCA) for the selection of variables for the HPSAM and GHPSAM is proposed. The PCA results show the isolation of the analyte signal from the sample signal, achieved…
Testing mode-coupling theory for a supercooled binary Lennard-Jones mixture
1995
Abstract We have performed a molecular dynamics computer simulation study to investigate the dynamical behavior of a supercooled simple liquid for comparison with the predictions of mode-coupling theory (MCT). By scaling the intermediate scattering function by the α-relaxation time r we find that the correlators fall onto a master curve extending over several decades in time. Thus we find that the time temperature superposition principle holds. In the late β-relaxation regime this master curve can be fitted very well by a master curve predicted by the idealized version MCT. However, there is no evidence for the presence of the critical decay predicted by the theory for the early part of the…
Figures of equilibrium in close binary systems
1992
The equilibrium configurations of close binary systems are analyzed. The autogravitational, centrifugal and tidal potentials are expanded in Clairaut's coordinates. From the set of the total potential angular terms an integral equations system is derived. The reduction of them to ordinary differential equations and the determination of the boundary conditions allow a formulation of the problem in terms of a single variable.
Rheological study and thermodynamic analysis of the binary system (water/ethanol): Influence of concentration
2004
Water is the most widely used solvent in the chemical and pharmaceutical industry, since it is the most physiological and best tolerated excipient. However, in some cases water cannot be used as a solvent because the active substance or solute is insoluble or only slightly soluble in water. For this and other reasons, nonwater solvents may be used possessing the common characteristic of being soluble or mixable in water; as a result, such solvents can be used to prepare binary or tertiary mixtures, etc., with different purposes such as increasing water solubility, or modifying the viscosity or absorption of the dissolved substance, for example. Ethanol, along with other alcohols either alon…
Volumes of Polar Additives in Aqueous Solutions of the Poly(ethylene oxide)13−Poly(propylene oxide)30− Poly(ethylene oxide)13 Triblock Copolymer at 2…
1999
Density measurements of poly(ethylene oxide)13−poly(propylene oxide)30−poly(ethylene oxide)13 (L64)−water and alcohol−L64−water systems were carried out at 293 and 301 K. The alcohols studied are propanol to pentanol and 2,2,2-trifluoroethanol (F3EtOH) to 2,2,3,3,4,4,4-heptafluorobutanol (F7BuOH). From the experimental data of the water−L64 binary system as functions of L64 concentration (mC), the partial molar volumes of L64 in the standard state and in the aqueous and micellar phases were calculated. At both temperatures L64 micelle is formed by a core of pure polypropylene oxide units and a hydrated shell of poly(ethylene oxide) units. In the case of the ternary systems, the apparent mol…
Multi-layer intrusion detection system with ExtraTrees feature selection, extreme learning machine ensemble, and softmax aggregation
2019
Abstract Recent advances in intrusion detection systems based on machine learning have indeed outperformed other techniques, but struggle with detecting multiple classes of attacks with high accuracy. We propose a method that works in three stages. First, the ExtraTrees classifier is used to select relevant features for each type of attack individually for each (ELM). Then, an ensemble of ELMs is used to detect each type of attack separately. Finally, the results of all ELMs are combined using a softmax layer to refine the results and increase the accuracy further. The intuition behind our system is that multi-class classification is quite difficult compared to binary classification. So, we…