Search results for: A. N. Chebotarev

Items from 1 to 20 out of 45 results

article

Detecting Fictitious States in a Σ-Automaton Synthesized from Its Specification in the Language LP

A. N. Chebotarev

Cybernetics and Systems Analysis > 2019 > 55 > 5 > 742-751

Synthesizing a deterministic Σ-automaton specified in the language LP consists in sequentially executing two procedures. The first constructs an automaton with a subautomaton identical to the automaton specified, and the other eliminates the states that do not belong to this subautomaton. Such states are called fictitious. A method for detecting fictitious states is considered. The obtained results...

article

Extraction-Spectrophotometric Determination of Cu(II) with 6,7-Dihydroxy-4-Methyl-2-Phenylbenzopyrylium Chloride in Waters of Various Categories

A. N. Chebotarev, V. P. Dubovyi, A. V. Demchuk, D. A. Barbalat, more

Journal of Water Chemistry and Technology > 2019 > 41 > 3 > 170-174

The extraction conditions of the Cu(II) complex with 6,7-dihydroxy-4-methyl-2-phenylben-zopyrylium chloride having component ratio 1 : 2 and formed in the solution at pH 4.5 have been optimized. Isoamyl alcohol was shown to be the most effective extractant. It was established that the extraction equilibrium was achieved during one minute, while the optimal ratio of organic and aqueous phases was equal...

article

Adsorption-Spectrophotometric Determination of Bismuth(III) in Ores and Ore Сoncentrates

A. N. Chebotarev, V. P. Dubovyiy, D. V. Snigur

Moscow University Chemistry Bulletin > 2018 > 73 > 3 > 116-119

Using the mathematical planning of the experiment by the method of Latin squares, we optimize the adsorption conditions for Bi(III) from dilute aqueous solutions and its desorption from the surface of silica gel L100/250. It is found that the maximum degree of adsorption (95–98%) is reached at pH 4.5, near the zero-charge point of silica gel and under the domination of the Bi(OH)3 monomeric hydroxyl...

article

Synthesis of Σ-Automata Specified in the First Order Logical Languages LP and LF

A. N. Chebotarev

Cybernetics and Systems Analysis > 2018 > 54 > 4 > 527-540

This paper presents methods for synthesizing Σ-automata from specifications in the language LP with deterministic semantics and in the language LF with nondeterministic semantics. These methods are based on the equivalent transformation of a formula of the form ∀tF (t) into the so-called normal form whose structure corresponds to the state transition graph of a specified Σ-automaton.

article

Indicator Tubes for Sorption-Sectroscopic and Test-Determination of Cr(VI) in Waters

A. N. Chebotarev, E. M. Guzenko, D. V. Snigur

Journal of Water Chemistry and Technology > 2018 > 40 > 3 > 131-135

An indicator tube was proposed based on cation exchanger KU-2-8 for sorption-spectroscopic and visual-colorimetric determination of Cr(VI) in waters of different categories. Geometric parameters of the indicator tube were optimized and was found that linearity of the graduation graph for sorption-spectroscopic determination of Cr(VI) is observed within the interval of concentrations 0.01–0.40 μg/cm...

article

Acid–Base Properties of Azo Dyes in Solution Studied Using Spectrophotometry and Colorimetry

D. V. Snigur, A. N. Chebotarev, K. V. Bevziuk

Journal of Applied Spectroscopy > 2018 > 85 > 1 > 21-26

Colorimetry and spectrophotometry with chemometric data processing were used to study the acid–base properties of azo dyes in aqueous solution. The capabilities of both methods were compared. Ionization constants of all the functional groups of the azo compounds studied could be determined relative to the change in the specific color difference depending on the acidity of the medium. The colorimetric...

article

Problems of Synthesis of Σ-Automata Specified in Languages LP and LF of First Order Logic

A. N. Chebotarev

Cybernetics and Systems Analysis > 2017 > 53 > 5 > 675-683

For two fragments LP and LF of monadic first-order logic with bounded quantifiers, the corresponding versions of the proposed specification theorem are formulated and proved that allow one to reduce the procedure for synthesizing Σ-automata specified by formulas of these logics to an equivalent transformation of formulas.

article

A tristimulus colorimetric study of the acid–base properties of 6,7-dihydroxybenzopyrylium chlorides in solutions

D. V. Snigur, A. N. Chebotarev, K. V. Bevziuk

Moscow University Chemistry Bulletin > 2017 > 72 > 4 > 187-191

The acid–base equilibria of 6,7-dihydroxybenzopyrylium chloride derivatives in solutions are studied by tristimulus colorimetry. The ionization constants of their functional groups are determined. Possible schemes of the equilibria and the distribution diagrams of the ion-molecular forms of the reagents are proposed depending on the pH of the medium. It is shown that tristimulus colorimetry can be...

article

The brilliant blue FCF ion-molecular forms in solutions according to the spectrophotometry data

A. N. Chebotarev, K. V. Bevziuk, D. V. Snigur, Ya. R. Bazel

Russian Journal of Physical Chemistry A > 2017 > 91 > 10 > 1907-1912

The brilliant blue FCF acid–base properties in aqueous solutions have been studied and its ionization constants have been defined by tristimulus colorimetry and spectrophotometry methods. The scheme of the acid–base dye equilibrium has been proposed and a diagram of the distribution of its ionic-molecular forms has been built. It has been established that the dominant form of the dye was the electroneutral...

article

Some Subsets of Monadic First-Order Logic (MFO) Used for the Specification and Synthesis of Σ-Automata

A. N. Chebotarev

Cybernetics and Systems Analysis > 2017 > 53 > 4 > 512-523

Two fragments, LP and LF, of first-order logic with bounded quantifiers are considered. These fragments are used for the specification of transducers. The fragment LP allows the characterization of the current behavior of a system on the basis of its past behavior, and LF allows doing this on the basis of its future behavior. Two kinds of semantics are defined for these logics, and properties of automata...

article

Direct Electrothermal Atomic Absorption Determination of Trace Elements in Body Fluids (Review)

A. N. Zacharia, M. V. Arabadji, A. N. Chebotarev

Journal of Applied Spectroscopy > 2017 > 84 > 1 > 1-7

This review is focused on the state and development of tendencies of electrothermal atomic absorption spectroscopy over the last 25 years (from 1990 to 2016) in the direct determination of Cu, Zn, Pb, Cd, Mn, Se, As, Cr, Co, Ni, Al, and Hg in body fluids such as blood, urine, saliva, and breast milk.

article

Tristimulus colorimetric and spectrophotometric study of the state of 4-hydroxystyryl dyes in aqueous solutions

A. N. Chebotarev, D. V. Snigur, Yu. P. Zhukova, K. V. Bevziuk, more

Russian Journal of General Chemistry > 2017 > 87 > 2 > 196-203

Acid-base properties of 4-hydroxystyryl dyes in aqueous solution have been studied by means of chemical tristimulus colorimetry and spectrophotometry. Ionization and hydroxylation constants of the dyes have been determined using chromaticity functions of specific and CIE color difference. It has been shown that aggregation processes in the solution of 4-hydroxystyryl dyes can be observed by means...

article

Harmonization of Automata Specifications Represented in the Language L

A. N. Chebotarev

Cybernetics and Systems Analysis > 2016 > 52 > 3 > 341-350

Two methods are presented for the harmonization of automata specifications represented in the form of sets of clauses in the language L. Both methods are based on a technique of harmonization of automata that uses their parallel composition. Two ways of defining the semantics of the language L are described that are used in the harmonization methods.

article

Study of acid-base properties of morin by tristimulus colorimetry

A. N. Chebotarev, D. V. Snigur

Russian Journal of General Chemistry > 2016 > 86 > 4 > 815-820

Acid-base properties of morin in aqueous solutions have been studied by means of chemical tristimulus colorimetry, and the ionization constants have been determined. The pK values have been assigned to the corresponding functional groups, and their dissociation scheme has been suggested. Diagram of distribution of ionic and molecular forms of morin at pH 1–13 has been constructed. Spectral parameters...

article

Harmonization of Interacting Automata

A. N. Chebotarev

Cybernetics and Systems Analysis > 2015 > 51 > 5 > 676-686

The problem of automata harmonization is to design a system whose behavior during the interaction with its environment meets given requirements regardless of the behavior of the environment. A number of theoretical results employed in solving the harmonization problem and corresponding algorithms based on these results are presented.

article

Study of the acid-base properties of quercetin in aqueous solutions by color measurements

A. N. Chebotarev, D. V. Snigur

Journal of Analytical Chemistry > 2015 > 70 > 1 > 55-59

Acid-base properties of quercetin in aqueous solutions are studied by the method chemical color measurements and dissociation constants (pK) are determined. The pK values are assigned to corresponding functional groups of quercetin and a probable scheme of their dissociation is proposed. A diagram of the distribution of ion-molecular forms of quercetin in the pH range 1–13 is built.

article

Karmoazin as a single redox reagent for spectrophotometric determination of Mn, Cr, Se, and V in different categories of water

A. N. Chebotarev, E. V. Raboshvil, D. V. Snigur, A. A. Polishchuk

Journal of Water Chemistry and Technology > 2015 > 37 > 4 > 172-178

Karmoazin as a single redox reagent is proposed for spectrophotometric determination of Mn, Cr, Se, and V in case of their joint presence in different categories of water. It has been found out that the main parameters of complexation reactions of the specified metal ions with karmoazin determining its selectivity include the redox potential of redox pairs of metals, medium acidity and temperature...

article

Using the Compatibility Analysis of Logical Specifications of Automata to Solve Game Problems

A. N. Chebotarev

Cybernetics and Systems Analysis > 2014 > 50 > 4 > 487-494

Game models are widely used to solve realizability, synthesis, and verification problems. This article considers an alternative approach to solving these problems on the basis of the concept of compatibility of automata (FSMs) or their logical specifications. The corresponding methods substantially differ from those used in the context of a game. It is shown how to use these methods for the synthesis...

article

Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language L* to the language L

A. N. Chebotarev

Cybernetics and Systems Analysis > 2013 > 49 > 1 > 1-6

A method for synthesizing an FSM from its specification in the logical language L* is considered. The method is based on translating such a specification into the less expressive language L and applying an available method for synthesizing the sought-for FSM from the specification in this language. The resulting FSM may contain redundant states that are called fictitious and must be eliminated. A...

article

Compositional approach to the development of reactive algorithms

A. N. Chebotarev

Cybernetics and Systems Analysis > 2013 > 49 > 5 > 652-662

A method is proposed for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L. A compositional specification of an FSM consists of specifications of its component modules and interconnections between them. The FSM synthesized is obtained by combining the state transition graphs of the modules synthesized from their specifications.

Publication date

Set your own date range

Content availability

Available (32)
None (13)

Keywords

SPECTROPHOTOMETRY (6)
LANGUAGE L (5)
Σ-AUTOMATON (5)
IONIZATION CONSTANTS (3)
NORMAL FORM (3)
SPECIFICATION LANGUAGE L* (3)
TRISTIMULUS COLORIMETRY (3)
∃-FORMULA (3)
ACID–BASE PROPERTIES (2)
AUTOMATIC SEMANTICS (2)
CHEMICAL TRISTIMULUS COLORIMETRY (2)
DEPTH OF A FORMULA (2)
DIFFERENT CATEGORIES OF WATER (2)
DISTRIBUTION DIAGRAM (2)
FICTITIOUS STATE (2)
FIRST-ORDER LOGIC (2)
IONIZATION CONSTANT (2)
LF FORMULA (2)
LP FORMULA (2)
REACTIVE ALGORITHMS (2)
SET OF CONJUNCTS (2)
SPECIFICATION (2)
SPECIFICATION LANGUAGE L (2)
Σ-FSM (2)
CHROMOSOMAL ABERRATIONS (1)
COLON CANCER (1)
DISTRIBUTION (1)
MELANOMA (1)
1.5-DIPHENILCARBAZIDE (1)
4-HYDROXYSTYRYL DYE (1)
ACID–BASE EQUILIBRIUM (1)
ADSORPTION (1)
ALGEBRA OF CONFIGURATIONS (1)
ALGORITHM OF CONSTRUCTION OF AN AUTOMATON (1)
APPROXIMATING SEQUENCE (1)
AUTOMATA EQUIVALENCE OF SPECIFICATIONS (1)
AUTOMATON SEMANTICS (1)
AUTOMATON SHIFT WITH RESPECT TO INPUT (1)
AUTOMATON SPECIFICATION (1)
AZO DYES (1)
BASIC CYCLE (1)
BENZOPYRYLIUM SALTS (1)
BI-INFINITE Ω-WORD (1)
BISMUTH(III) (1)
BLOOD LYMPHOCYTES (1)
BODY FLUID (1)
BRILLIANT BLUE FCF (1)
CHEMICAL COLOR MEASUREMENTS (1)
CHEMICAL MODIFIER (1)
CHROMATID EXCHANGES (1)
CHROMIUM (1)
CHROMIUM(VI) (1)
CHROMOSOME ABERRATIONS (1)
COLORIMETRY (1)
COMPOSITION CORRECTNESS (1)
COMPOSITION OF AUTOMATA (1)
COMPOSITION OF SPECIFICATIONS (1)
COMPOSITIONAL SPECIFICATION (1)
CONFIGURATIONS (1)
CONSTRUCTION OF AN AUTOMATON FROM A FORMULA (1)
CONSTRUCTION OF AUTOMATA FROM FORMULAS (1)
COPPER (II) (1)
CORRECTNESS OF A COMPOSITION (1)
CORRECTNESS OF CONSTRUCTION (1)
DATA REPRESENTATION (1)
DESIGNATION OF A STATE (1)
DIFFUSE REFLECTION SPECTROSCOPY (1)
DISJUNCTIVE FORM (1)
EACTIVE SYSTEM (1)
ELECTROTHERMAL AND ATOMIC ABSORPTION ANALYSIS (1)
ELECTROTHERMAL ATOMIC ABSORPTION SPECTROPHOTOMETRY (1)
ELIMINATION OF QUANTIFIERS (1)
ESTIMATION OF COMPLEXITY (1)
EXTRACTION (1)
FILTER-INSERT GRAPHITE ATOMIZER (1)
FINITE-MEMORY FINITE-STATE MACHINE (1)
FORMULA SATISFIABILITY (1)
FORMULAS OF TEMPORAL LOGICS (1)
FUTURE FORMULA (1)
GAME MODEL (1)
HARMONIZATION OF AUTOMATA (1)
HARMONIZATION OF SPECIFICATIONS (1)
HUMAN LYMPHOCYTES (1)
HYDROXYLATION CONSTANT (1)
INDICATOR TUBE (1)
INDUCTIVE SYNTHESIS OF AUTOMATA (1)
INEQUALITY OVER Σ-FSMS (1)
INITIAL STRONGLY CONNECTED SUBAUTOMATON (1)
INTERACTION OF AUTOMATA (1)
K-SEPARABILITY (1)
KARMOAZIN (1)
LANGUAGE GR(1) (1)
LEFT-INFINITE WORD (1)
LOGICAL LANGUAGE (1)
MAKING AUTOMATA COMPATIBLE (1)
MANGANESE (1)
MATRIX MODIFIER (1)
MAXIMAL SOLUTION (1)
MINIMAL FORM OF A SPECIFICATION (1)
MITOMYCIN C (1)
more

INFONA - science communication portal

Search results for: A. N. Chebotarev

Detecting Fictitious States in a Σ-Automaton Synthesized from Its Specification in the Language LP

Extraction-Spectrophotometric Determination of Cu(II) with 6,7-Dihydroxy-4-Methyl-2-Phenylbenzopyrylium Chloride in Waters of Various Categories

Adsorption-Spectrophotometric Determination of Bismuth(III) in Ores and Ore Сoncentrates

Synthesis of Σ-Automata Specified in the First Order Logical Languages LP and LF

Indicator Tubes for Sorption-Sectroscopic and Test-Determination of Cr(VI) in Waters

Acid–Base Properties of Azo Dyes in Solution Studied Using Spectrophotometry and Colorimetry

Problems of Synthesis of Σ-Automata Specified in Languages LP and LF of First Order Logic

A tristimulus colorimetric study of the acid–base properties of 6,7-dihydroxybenzopyrylium chlorides in solutions

The brilliant blue FCF ion-molecular forms in solutions according to the spectrophotometry data

Some Subsets of Monadic First-Order Logic (MFO) Used for the Specification and Synthesis of Σ-Automata

Direct Electrothermal Atomic Absorption Determination of Trace Elements in Body Fluids (Review)

Tristimulus colorimetric and spectrophotometric study of the state of 4-hydroxystyryl dyes in aqueous solutions

Harmonization of Automata Specifications Represented in the Language L

Study of acid-base properties of morin by tristimulus colorimetry

Harmonization of Interacting Automata

Study of the acid-base properties of quercetin in aqueous solutions by color measurements

Karmoazin as a single redox reagent for spectrophotometric determination of Mn, Cr, Se, and V in different categories of water

Using the Compatibility Analysis of Logical Specifications of Automata to Solve Game Problems

Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language L* to the language L

Compositional approach to the development of reactive algorithms

Filter options

Publication date

Content availability

Keywords

Journal

INFONA - science communication portal

Search results for: A. N. Chebotarev

Add recipient

Sending message cancelled

Are you sure you want to cancel sending this message?

Send message

Filter options

Publication date

Date range setting

Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.

Content availability

Keywords

Journal

Reporting an error / abuse

Sending the report failed

Accessibility options