
Main / Archive / 'Automation of Control processes' # 1 (35) 2014
'Automation of Control processes' # 1 (35) 2014
Contents
AUTOMATED CONTROL SYSTEMS
Aleksandr Kupriyanovich Ivanov, FRPC OJSC ‘RPA ‘Mars’, Doctor of Engineering, a honoured worker of science and engineering of the Ulyanovsk region; graduated from the Faculty of Physics at Irkutsk State University, finished his postgraduate studies at Moscow Academy named after N.E. Bauman, and his doctoral studies at Ulyanovsk State Technical University; a chief research officer at FRPC OJSC ‘RPA ‘Mars’; an author of monographs, articles and a manual in the field of mathematical modeling of hierarchical realtime C2 systems. [email:
This email address is being protected from spambots. You need JavaScript enabled to view it.
]A. Ivanov


Mathematical Models for Situation Coverage in a Hierarchical Control System
Abstract An analytical and a simulation models have been developed to cover the situation in a hierarchical C2 system. The analytical model is consistent of dependencies of laws of distribution of the system characteristics from those of separate objects. Characteristics of a separate object define the random time for data collection and processing from all subordinated objects and the random time when an output document is generated for a superior object with the aggregated information about situation. System characteristics define random time to communicate information about situation to all levels of hierarchy. The simulation model includes generation of random time values for an objectbased data processing as per the known characteristics of these objects, and distribution of data according to the structure and an algorithm of the system performance. A set of trials of the simulation model allows us to determine approximate values for system characteristics. There is an example of system characteristics. The developed models allow us to solve the design problem for an optimal distribution of the restricted resources across objects to define their productivity and to achieve the requested parameters of the system responsiveness. Hierarchical control system, situation coverage, analytical model, simulation model.


Aleksandr Ivanovich Moiseev, FRPC OJSC 'RPA 'Mars', Candidate of Engineering, graduated from the Dual Degree Faculty at Ulyanovsk State University; a lead programmer at FRPC OJSC 'RPA 'Mars'; is majoring in the field of design of specialpurpose control systems; an author of papers, inventions and registered software systems in the field of research and building of specialpurpose distributed control systems. [email: mars@mv.ru]A. Moiseev, Vladimir Viktorovich Kalnikov, FRPC OJSC 'RPA 'Mars', Candidate of Engineering, Associate Professor, graduated from the RadioEngineering Faculty at Kiev Higher Military School of Communications named after M.I. Kalinin, finished his postgraduate studies of the same School; a chief specialist at FRPC OJSC 'RPA 'Mars'; his major is the design of specialpurpose control systems; an author of papers, manuals and inventions in the field of design of specialpurpose distributed control systems, communications and dataexchange systems. [email: mars@mv.ru]V. Kalnikov


Analysis of the State of a Distributed Control System
Abstract The article examines an issue about how to estimate the current state of distributed control systems with the analytical models obtained as for indices of secrecy, information awareness and stability. When estimating the secrecy of control, the emission time and the amplitude of the signal of a giveaway sign are taken into account. It is suggested to calculate the information awareness of operations posts with the weapons under their control using the entropic approach. The obtained results of the mathematical expression have the parameters for the required observation accuracy, errors, acquisition range, and the information update rate included. We have developed statistical and dynamic variants for such a characteristic of a distributed control system. It is suggested to analyze the control stability along with the estimation of survivability, reliability and noiseresistance of operations posts. The average number of data transmission paths, bandwidth ratio and its assignment evenness, the operations posts’ average load and its assignment evenness are chosen as the private parameters for the control survivability. A recurrent algorithm for the appropriate graph conversion and analysis is suggested to estimate the system reliability. The control noiseresistance is represented as a quantity derivative of the noise probability and the probability of an operation post to keep its performance ability. State, distributed control systems, combat readiness, secrecy, information awareness, stability, estimation.


MATHEMATICAL MODELING
Victor Rostislavovich Krasheninnikov, Ulyanovsk State Technical University, Doctor of Engineering, Professor; graduated from Kazan State University; a head of the Department of Applied Mathematics and Computer Sciences at Ulyanovsk State Technical University; an author of papers in the field of statistical methods of signal and image processing. [email: kvr@ulstu.ru]V. Krasheninnikov, Ekaterina Anatolievna Gladkikh, Moscow Yandex Marketing Department, Candidate of Engineering, an antirobot system analyst at Moscow Yandex Marketing Department; graduated from the Faculty of Economics and Mathematics at Ulyanovsk State Technical University; an author of articles in the field of random process modeling [email: kateglad@yandex.ru]E. Gladkikh


Hypothesis Test for Covariance Function and Spectral Density of Random Process
Random processes (RP) are a mathematical model of a variety of phenomena occurring in time such as sea waves, wind, jams, noise, trajectory measurement errors, etc. Thereby, the problem of determining the covariance function (CF) or power spectral density (SD) of the analyzed process emerged. This can be a real process or simulated process used to test the algorithm processing for example the simulation of sea waves. There are a large number of publications on methods for estimating CF and PD in which a great number of efficient algorithms is proposed. However, it is not sufficient to investigate the question of identifying the characteristics of the process "as a whole". For example, does the monitoring CF process some alleged (hypothetical) species? This question can be answered by analyzing the difference between the measurements and their putative CF values. However, uncertainty remains within the allowable differences, which should be assessed in their entirety. In other words, you need to detect a criterion for significance test of a CF or SD process using the existing implementation. In this paper such a criterion is proposed and investigated. Random process, covariance function, spectral density, hypothesis tests, criterion, significance level, test power.


Viacheslav Andreevich Sergeevsergeev, Ulyanovsk Branch of the Kotelnikov Institute of RadioEngineering and Electronics of the Russian Academy of Sciences, Doctor or Engineering, Associate Professor, graduated from the Faculty of Physics at the Gorkov State University; Director of the Ulyanovsk Branch of the Kotelnikov Institute of RadioEngineering and Electronics of the Russian Academy of Sciences; an author of articles and inventions in the field of modeling and research of characteristics of semiconductor devices and integrated circuits [email: sva@ulstu.ru]V. Sergeev, Ilya Vladimirovich Frolov, Ulyanovsk Branch of the Kotelnikov Institute of RadioEngineering and Electronics of the Russian Academy of Sciences, a research officer of the Ulyanovsk Branch of the Kotelnikov Institute of RadioEngineering and Electronics of the Russian Academy of Sciences; graduated from the Faculty of RadioEngineering at Ulyanovsk State Technical University; an author of articles in the field of methods and facilities of the nondestructive testing of semiconductor devices. [email: ilyafrolov88@mail.ru]I. Frolov


An Algorithm to Determine a Set of Optimal Frequencies for the Test Signal When Measuring Parameters of Multielement Twoterminals
An algorithm for determining the optimal test signal frequency set, minimizing the sum of methodical errors indirect measurement of parameters of multielement twoterminal by impedance spectroscopy method is proposed. The essence of the algorithm is repeated computer simulation of the measurement of the impedance modulus and phase of the twopole considering additive random errors and calculation errors in determining the parameters of the two terminal to the relevant functional dependencies on a given set of frequencies. The accuracy of the algorithm is confirmed by the example of the twoelement twoterminal in the form of a parallel RCcircuit. It is shown that the results of computer simulations practically coincide with the results of the analytical calculation. An example of determining the optimal test signal frequency set when measuring the threeelement twoterminal with a structure similar to smallsignal equivalent circuit of a semiconductor diode. As optimization criterion adopted condition of minimum sum of relative errors in the determination of all parameters of multielement twoterminal, but the proposed algorithm works with the other criteria. Multielement twoterminal, parameters, measurement, impedance spectroscopy, error, algorithm, optimal frequencies.


Petr Alexandrovich Velmisov, Ulyanovsk State Technical University, Doctor of Physics and Mathematics, Professor; graduated from the Faculty of Mechanics and Mathematics of Saratov State University; Head of the Department of Higher Mathematics at Ulyanovsk State Technical University; an author of articles, textbooks, and monographs in the field of mathematical modeling, aerohydroelasticity, aerohydrodynamics, differential equations. [email: velmisov@ulstu.ru]P. Velmisov, Sergey Vladimirovich Kireev, Ulyanovsk State Technical University, Candidate of Physics and Mathematics; graduated from the Faculty of Mechanics and Mathematics of Moscow State University (Branch at Ulyanovsk); Associate Professor at the Department of Higher Mathematics of Ulyanovsk State Technical University; an author of articles and a monograph in the field of aerohydroelasticity and mathematical modeling. [email: ksv1511@yandex.ru]S. Kireev


Mathematical Modelling in Instability Problems of Elastic Structural Elements in Gas Flow
On the basis of the proposed nonlinear models and developed numerical method for the solution to the corresponding nonlinear boundaryvalue problems, the static instability (divergence) of the elastic element of the design streamlined and supersonic flow of ideal gas is investigated. A numerical procedure for the bifurcationproblem solution includes the 6th order RungeKutta method with the error control at the step, the Newton's method required for solving nonlinear equations, and integration using NewtonKotesa quadrature. The solution to the boundaryvalue problem is reduced to the Cauchy problem solution, the complexity of which is that the integral term is present in the equation. In order to calculate this integral term the values of the integrand function on the whole interval of integration are required. It makes impossible the direct application of the RungeKutta Method. A special iterative process was developed to solve this problem as integral evaluation. Numerical implementation is carried out by the program written in Delphi 7. Bifurcation diagrams are given that showing the maximal element dependence on incident stream velocity. Element bendingforms are defined. The comparison of obtained numerical solutions against analytical solutions is carried out. The dynamic stability of the elastic structural element in a supersonic gas flow is researched by the Galerkin’s method. The element bending dependences on time in a fixed point are obtained. Stability, divergence, elastic element, plate, supersonic flow, nonlinear model, differential equations, boundaryvalue problem, mathematical modelling, numerical method.


Petr Alexandrovich Velmisov, Ulyanovsk State Technical University, Doctor of Physics and Mathematics, Professor; graduated from the Faculty of Mechanics and Mathematics of Saratov State University; Head of the Department of Higher Mathematics at Ulyanovsk State Technical University; an author of articles, textbooks, and monographs in the field of mathematical modeling, aerohydroelasticity, aerohydrodynamics, differential equations. [email: velmisov@ulstu.ru]P. Velmisov, Yuliya Alexandrovna Tamarova, UIMDB JSC, graduated from the Faculty of Mechanics and Mathematics of Ulyanovsk State University; Head of TKB531 UIMDB JSC; an author of articles in the field of mathematical modeling, aerohydrodynamics, differential equations. [email: kazakovaua@mail.ru]Y. Tamarova


Mathematical Modeling of Transonic Flows
The article is devoted to the development of the mathematical theory of gas flow with a speed close to the speed of sound, namely transonic gas flows, i.e. flows that contain both subsonic and supersonic area. The main problems arising in the study of such flows should be classified as nonlinearity and mixed type equations describing transonic flow. Transonic gas flows taking into account the transverse perturbations are studied on the basis of nonlinear equation obtained in this paper. Some exact particular solutions of this equation are constructed and their application to solving a number of transonic aerodynamics problems are shown. In particular, a solution of polynomial form describing axisymmetric gas flow in Laval nozzles with constant acceleration and flow swirling is obtained. The unsteady flows in the channels between the rotating planes are researched. The partial solutions are shown and the examples of steady flows are constructed on their basis. The asymptotic equation describing the flows arising at the unseparated and separated flow past the body that is practically identical to the cylindrical one is derived. Aerodynamics, transonic gas flows, partial differential equations, asymptotic expansion.


Valerii Pavlovich Kiselevich, Production  Technical Director at Concern ‘MorinformsystemAgat’ JSC, in Moscow, Candidate of Chemistry; graduated from the Faculty of Instrument Egneering at Leningrad Institute of Aircraft Instrumentation; Deputy General Director on Production  Technical Director at Concern ‘MorinformsystemAgat’ JSC, in Moscow; an author of articles and patents in the field of quality assurance and inspection of electric devices. [email: kiselevich_vp@concernagat.ru]V. Kiselevich, Vladimir Nikolaevich Klyachkin, Ulyanovsk State Technical University, Doctor of Engineering; graduated from the Mechanical Faculty of the Ulyanovsk Polytechnic Institute; Professor at the Department of Applied Mathematics and Informatics of the Ulyanovsk State Technical University; an author of scientific papers in the field of reliability, service life and mathematics. [email: v_kl@mail.ru]V. Klyachkin, Vladimir Vasilyevich Sukhov, Joint Stock Company Concern ‘MorininformsystemAgat’ (Moscow), Candidate of Engineering; graduated from the Mechanical Engineering Faculty of Bauman Moscow Technical University with the specialty in Radiomechanical Devices; Chief of Engineering Department at the Joint Stock Company Concern ‘MorininformsystemAgat’ (Moscow); a patent holder and an author of articles in the field of reliability, testing, and calculations of dynamics and strength of radio equipment, vibroinsulation system, vibroacoustic and sound characteristics, thermal conditions. [email: vsuhov051@yandex.ru]V. Sukhov


Computer System Resource Posttest Prediction
The article deals with problems of the computer system resource posttest prediction derived from accelerated tests under different influences. Resources estimation methods are divided into four groups: statistical, deterministic, physicstatistics, and expert methods. The first three are the most commonly used methods. The analytical methods for accounting of effect of these influences on resource were made only for individual factors, while not always taken into account particulars of random influences. The methods of calculating the service life related with the fatigue strength are known. There were analyzed external influences that have the greatest impact on the design of the device so that to develop an effective method for estimating the resource. On the basis of analysis and accelerated testing, the method of estimating the mean and gammapercentile resource based on the distribution of time to failure, the parameters of which are determined by calculation, has been proposed. The tests were carried out on a large group of modules for each selected action. There was given an example of calculation of the system as the serial communication subsystems, where each of subsystems is under the influence of the vibration, temperature, power supply ON and OFF. Prediction, computer system, accelerated testing, statistical methods, the weibull distribution.


Vladimir Nikolaevich Moiseev, FRPC OJSC ‘RPA ‘MARS, a postgraduate student at Ulyanovsk State Technical University; graduated from the Faculty of Economics and Mathematics of Ulyanovsk State Technical University with a specialty in Applied Mathematics; a software engineer at the department of FRPC OJSC ‘RPA ‘MARS; an author of articles, inventions in the field of air pressure probes of aircraft airdata measuring systems. [email: v.n.moiseev@mail.ru]V. Moiseev, Mikhail Yuryevich Sorokin, Ulyanovsk Instrument Manufacturing Design Bureau, PJSC, Candidate of Engineering; graduated from the Faculty of Information Systems and Technologies of Ulyanovsk State Technical University; a head of a department at Ulyanovsk Instrument Manufacturing Design Bureau, PJSC; an author of articles, inventions in the field of air pressure probes of aircraft airdata measuring systems. [email: rto@ukbp.ru]M. Sorokin, Ivan Petrovich Efimov, Ulyanovsk State Technical University, Candidate of Engineering, graduated from the Ulyanovsk Polytechnical Institute with a specialty in Aircraft Instrument Engineering; Associate Professor of Measuring and Computing Complexes Department of Ulyanovsk State Technical University; an author of articles, inventions in the field of primary pressure sensors of aircraft airdata measuring systems. [email: eip@ulstu.ru]I. Efimov, Nikolay Nikolayevich Makarov, Public Joint Stock Company Ulyanovsk Instrument Manufacturing Design Bureau, Doctor of Engineering, Candidate of Economics; graduated from the Faculty of Aircraft Control Systems and Equipment at Kazan Aiviation Institute named after F. Tupolev, Director General of Public Joint Stock Company Ulyanovsk Instrument Manufacturing Design Bureau; an author of articles and inventions in the field of air pressure probes of aircraft airdata measuring systems. [email: ukbplkv@mv.ru]N. Makarov


Mathematical Model for Pitotstatic Probe
The article deals with mathematical modeling problems of the air pressure probes composed of the front cylindrical receiving tube having inside conical flow stagnation chamber and static pressure holes. Basic mathematical models for the air pressure probes were derived from the mathematical modeling intended for determination of static pressure, dynamic pressure, velocity, velocity and altitude errors. The adequacy of the received mathematical models is checked by comparison against the experimental research findings. Experimental studies were carried out in the T129 wind tunnel of TsAGI with nozzlejet simulator. These models allow to get true data at such parameters as the cylindrical tube radius over the range 6.5 to 8.5 mm, start tube distance to the static pressure holes of 45 to 70 mm, downwash angle of 0 to 90 degrees, incident airflow velocity at 50 to 250 kmh. The received mathematical models enable to automate the engineering process of Pitotstatic probe with metrological performance predictions. This gives the ability to make a quick selection of probes with design parameters required for a specific control object at the initial development stage. Mathematical modeling, pitotstatic probe, mathematical model.


INFORMATION SYSTEMS
Vladimir Anatolyevich Maklaev, Federal ResearchandProduction Center Open JointStock Company ‘ResearchandProduction Association ‘Mars, Candidate of Engineering; graduated from the Radio Engineering Faculty of Ulyanovsk Polytechnic Institute; Director General at the Federal ResearchandProduction Center Open JointStock Company ‘ResearchandProduction Association ‘Mars; an author of articles in the field of CAD. [email: mars@mv.ru]V. Maklaev


Communicative Maintenance of Designers’ Activity in Processes of Creating and Using an Experience Base
The paper presents a communicative maintenance of a designers’ activity in processes of creating and using an Experience Base of a design company that develops a family of automated systems. The experience base is intended for accumulating all kinds of company assets for their reuse in creating the next members of the family. All assets active as a typical solution is formed as a precedent’s model that opens an inclusion of the corresponding solution in the process of designing. Such models are bound with design decisions that can be useful in the subsequent development. For uniform representation of such models in the Experience Base, the typical scheme of precedents is specified. The scheme includes the statement of the corresponding task, a number of conceptual models and a pseudocode program of the task decision Communicative maintenance serves to forming and checking the correctness of each component of each precedent’s model. The communicative maintenance is based on a set of communicative tasks the decisions of which are included in processes of designing. In a corporate network, the communicative maintenance is realized in two versions. Both versions are developed in an instrumental environment of a questionanswer type. One of these versions is implemented by means of Webprogramming. The corresponding toolkit provides registering of questionanswer reasoning of designers solving the project tasks. Thus, specificity of communicative maintenance is defined with its orientation on precedents and the decision of communicative tasks in the specialized questionanswer environment. Cad, communication, precedent, experience base.


Oleg Ivanovich Elizarov, Research Institute for Automatic Equipment named after Academician V.S. Semenikhin, Candidate of Engineering, Senior Researcher, a head of the Department of the Research Institute for Automatic Equipment named after Academician V.S. Semenikhin; graduated from the Bauman Moscow State Technical University and Lomonosov Moscow State University; an author of articles in the field of design and an effective computational process organization for information systems. [email: eoi251139@rambler.ru]O. Elizarov, Vasiliy Grigoryevich Litvin, Research Institute for Automatic Equipment named after Academician V.S. Semenikhin, Doctor of Engineering, Professor, Chief Staff Scientist at the Research Institute for Automatic Equipment named after Academician V.S. Semenikhin; graduated from the Taganrog RadioEngineering Institute; an author of 115 scientific publications in the field of computing systems performance. [email: litvg@mail.ru]V. Litvin, Elena Viktorovna Сhernyshova, Research Institute for Automatic Equipment named after Academician V.S. Semenikhin, Candidate of Engineering; a chief of Scientific and Engineering Centre at the Research Institute for Automatic Equipment named after Academician V.S. Semenikhin; graduated from Moscow Power Institute (Technical University), Institute of Power Efficiency Problems and Executive MBA; an author of articles in the field of design and efficient use of computing systems. [email: dibs@list.ru]E. Сhernyshova


Foundation for Program Run Time Requirements in Computer Systems
One of the important problems in computer systems design is the efficient requirement engineering. Therefore, along with the system creation for documentary support of appropriate processes, evaluation tools for program run time requirements play the important role. The article deals with analytical evaluation procedure for the requirements based on the stochastic models for the queueing systems and queueing networks (QS and QN). The explicit formulas for calculating mean time required for program implementation and the time required for program implementation with the set level of confidence are given for the QSmodels. The engineering estimation method based on the dependences of QN operational analysis and the iteration algorithm for calculation of required time (MeanValue Analysis  MVA) are presented for the QNmodels. The examples showing the application of proposed methods for dynamic run time requirements estimation are considered. The accuracy was estimated by comparison of results of analytical calculations against results of Monte Carlo simulations. The proposed methods can be used at all stages of computer systems life cycle. Mva, software requirements, software requirements engineering, computer system performance, operational analysis, mva.


Aleksey Robertovich Degtyarev, PJSC Ulyanovsk Instrument Manufacturing Design Bureau, Postgraduate Student of Ulyanovsk State Technical University; graduated from the Faculty of Information Systems and Technologies of Ulyanovsk State Technical University; an engineer of PJSC Ulyanovsk Instrument Manufacturing Design Bureau; specializes in the field of creation and development of aircraft and land vehicle hardware. [email: alexmind@rambler.ru]A. Degtyarev, Gennadiy Viktorovich Medvedev, Ulyanovsk State Technical University, Doctor of Engineering, Professor; graduated from Belgorod Technical Institute for Building Materials; Professor at the Department of Measuring Computer Systems at Ulyanovsk State Technical University; specializes in the field of creation and development of measuring instruments and equipment intended for automation of devicemanufacturing processes, R & D organizations; an author of monographs and great number of articles and patents in the mentioned field. [email: ivk@ulstu.ru]G. Medvedev


Task Distribution Algorithm for Multiprocessor Systems of Integrated Modular Avionics
This paper considers briefly functional tasks distribution problems in multiprocessor systems. It’s shown that the construction of perspective reliable Integrated Modular Avionics System (IMA) is impossible without development of integrated distribution algorithms. The approaches to the functional tasks decomposition problem solving, and a specific character of this problem with regard to integrated complexes of airborne equipment are examined. The functional tasks distribution algorithm among available IMA multiprocessor hardware resources is proposed in order to provide minimum network loading. Helicopter hardware complex is considered as an example. Respective hardware and functional graphs are built and the given tasks are distributed with presented algorithm. This algorithm can be used for IMA crates building and research, and for IMA hardwaretosoftware interactions mathematical models development. Multiprocessor system, task distribution, algorithm, integrated modular avionics.


Sergey Konstantinovich Kiselev, Ulyanovsk State Technical University, Doctor of Engineering, Head of IT Department at Ulyanovsk State Technical University, Professor at the Department of Measuring Computer Systems; graduated from Ulyanovsk Polytechnic Institute with a specialty in Aircraft Instruments Engineering; research interests include development of methods, models, algorithms, equipment for automation, diagnostics, testing aircraft instruments and systems, R & D organization; an author of monographs, a large number of papers and patents in the field of instrumentation. [email: ksk@ulstu.ru]S. Kiselev, Renat Nailevich Khisamov, Ulyanovsk State Technical University, PostGraduate Student at Ulyanovsk State Technical University; graduated with a specialist's degree in Instruments Engineering, an engineer of Dynamics CSTY; research interests include automation of diagnosis and testing of aircraft equipment, methods of providing information. [email: rens89@mail.ru]R. Khisamov


Formalization and Mathematical Modeling of the Avionics Systems Requirements for Automation of Test Design
The article deals with the automation of test design for avionics systems. The automation of test design is proposed to be made on the basis of formalization and modeling of the requirements for them. The design process accelerates when using offtheshelf modules in the product, but their use imposes more stringent requirements for the product requirement design and management, which are the basis for the product planning, management, acceptance testing, and adjusting. Based on the classical Vmodel for product definition within complex projects, the paper shows that the requirements are closely related to testing, which is directed at defects identifying and avoidance in the system, at this, the defect is regarded as a deviation from the requirements. The article gives an example for formalization and modeling of the requirements for aerobatic display frame information in an integrated system of electronic display and alarm. Based on the resulting model and the formal submission of the requirements the structure of the final test for the system is compiled. The proposed approach allows us to reduce time for testing and debugging the system, improve its quality in the sense of greater compliance. Modeling, system requirements, testing, formalization, program of operation.


ELECTRICAL ENGINEERING AND ELECTRONICS
Gennady Nikolayevich Abramov, Tolyatti State University, Doctor of Engineering; Professor at ‘Industrial Electronics’ Department of Tolyatti State University; Honored Worker of Higher Professional Education of Russia; research interests include the analogdigital and digitalanalog conversion of multipulse electric signals. [email: yuran_a@mail.ru]G. Abramov, Yuriy Gennadievich Abramov, Tolyatti State University, Master of Engineering and Technology in ‘Electronic Devices and Appliances’; graduated from the Tolyatti State University; an author of papers in the field of analogtodigital conversions parameters of multipulse electric signals. [email: yuran_a@mail.ru]Y. Abramov


Structural Ways to Improve the Quality of Recirculationvernierulse Timedigital Converters
The article examines a structural method for increasing twice the speed of the recirculation vernier pulsetimetodigital converters (TDC) with two operating modes and discrete transformations given less than one nanosecond. In the first mode, the period of the start pulse recirculation is selected higher than the highest duration values of the converted time slot (TS). This mode consists of the fact that the start and the stop pulses of the converted TS are recycled in their respective start and stop recirculators recycling with the periods differing by the value of specified discrete transformations, and the fact that the stop pulse recirculation number is counted from the time it enters the stoprecirculator and until the time the recirculation start and stoppulses match. At this, each of the recirculations has the start pulse duration extended to a predetermined value of discrete transformations, and the stop pulse duration remains unchanged. In the second mode, the period of the start pulse recirculation is selected less than the highest duration values of the converted TS, and the whole conversion process is carried out in two stages. At the first stage, the number of recirculations is counted during the TS conversion having the readability equal to the period of the startpulse recycling, while at the second stage, the number of the stop pulse recirculations is counted with given discrete transformations made from the time it enters the stop recirculator and recirculated until the time matches the start and stop pulses, allowing you to identify the digital conversion result. And if, during the first stage of transformation recycle start duration pulse remains unchanged, at the second stage, its duration is extended by the given value of discrete transformations in each of recycles. At the same time, the stop pulse duration remains unchanged in the recycling process. To improve the reliability of the recirculation vernier  conversion TDC pulse at the two modes, a method is provided, wherein the start pulse expansion operations are excluded in each of the recirculations, and the recycling period increases by the predetermined discrete transformation. The article gives examples for the hardware (circuit) implementation of the proposed methods and recommendations for their use. Recirculation, recycling period, discrete transformations, timetodigital converter, digital delay line, time slot, start and stop pulses, pulse sequence, startrecirculator, stoprecirculator.


Valeriy Vladimirovich Kozhevnikov, Ulyanovsk State University, Candidate of Engineering; graduated from Pushkin Higher Command School of Radioelectronics; Associate Professor at the Department of Telecommunication Technologies and Networks of Ulyanovsk State University; an author of articles in the field of microelectronic system design theory. [email: vvk2861955@mail.ru]V. Kozhevnikov


Reachability Analysis Method of Digital Automata Logic Circuits Stable States
The method is based on representation of digital automata logic circuits in the form of Petri nets state equations of Murata equations class. The inhibitory Petri nets are used for the digital automata logic simulation. Inhibitory Petri nets provide the most accurate simulation of logic circuits but lose their basic properties at a rather high modeling capacities and have the lower capacity of resolution compared to classical Petri nets. The problem solving is achieved by the inhibitory Petri nets presentation as matrix equations with implicit specified inhibitory arcs in the incidence matrix. The Petri nets graphics is used as a transition tool from the initial description of the automata to its representation as an equation of Petri nets states or as a set of linear algebraic equations. The digital automata network modelbuilding is performed on the base of a homogeneous data flow conservation. Homogeneity property of the network model provides preservation of the inhibitory Petri nets properties in the network model to simulate the logic and simultaneously serves as a criterion of stable states reachability. Reachability analysis of logic circuits stable states comes down to solving the equation of Petri nets states at the given reachability criteria. The method can be used for solving the basic structural circuit automata logic synthesis tasks, test generation, simulation, faults modeling and computation, faulttolerance and reliability analysis of automata logic circuits. Method, analysis, reachability, digital automata, logic circuits, petri nets, equation of states, stable states.


