Control Systems and Computers

https://doi.org/10.15407/csc.2020.01.003

Control Systems and Computers, 2020, Issue 1 (285), pp. 3-22.

UDK 681.3.006

A.M. Petrushenko, Ph.D. Assistant Professor, Taras Shevchenko Kyiv National University, 03022, Kyiv, ave. Academician Glushkov, 4D, Faculty of Computer Science and Cybernetics,
anatoly@mytaskhelper.com

THE PRINCIPLE OF FIRMWARE CONTROL AND
DESIGN AUTOMATION OF OPERATING DEVICES. I

Introduction. Promising areas of research that are developing both in Ukraine and abroad include the so-called transformational synthesis methods. According to these methods, a computing system is obtained by phasing the initial description of the system (setting the task) according to the rules, which is knowledge about the problem being solved. In this area of research, two interrelated directions can be distinguished–the theoretical and applied. The theoretical direction requires, in particular, the presentation of various computational models that describe particular parts of computing systems, and the study of basic transformations in these models. The applied direction is associated with the creation of a transformation machine, the commands for which are basic transformations, and the data are expressions in the language over which these transformations are given. The Ukrainian Algebra-Cybernetic School researches the computational model, which is based on the concept of a discrete information converter. Representation of the computing process in this form allowed V.M. Glushkov and his students to create a new theoretical direction in the applied theory of algorithms – the algebra of algorithms. A characteristic feature of this direction is the commonality of mathematical models and methods for designing programs and equipment. The apparatus of the algebra of algorithms is the basis of the dialogue transformation machine – the main object of this article.

The purpose is to demonstrate the inextricable link between the fundamental concepts of the general theory of computer systems design and practical methods of designing software and hardware of computer technology, as well as new technological capabilities that arise when using the apparatus of the algebra of algorithms in the process of designing programs and equipment using an interactive transformational machine.

Methods. When implementing the tools (conversational transformation machine) and the synthesis algorithm of operating devices, we used the algebraic-grammatical method of representing knowledge, the method of constructing operating devices based on the principle of microprogram control, the methods of the abstract and structural theory of automata, the methods of the algebra of algorithms, etc.

Results. Synthesis methods for operating devices developed for the language of graph diagrams of algorithms and the language of logical diagrams of algorithms are extended to the language CAA \ D– the input language of the dialogue transformation machine. Based on the dialogue transformational machine, a toolkit has been developed that embodies the V.M. Glushkov mathematical model and allows the complex automation of the operating devices: from setting the task to obtaining a sketch of the printed circuit board.

Conclusions. The integral algebraic-grammatical apparatus underlying the dialogue transformational machine combines algebraic, logical, and grammatical formalisms and is focused on the multi-level structural design of classes of algorithms and associated programs (serial and parallel) and hardware. It is characterized by the analytical style of the specifications of programs and equipment, focused on their optimizing transformations in order to achieve the necessary quality indicators. At the same time, using the CAA \ Dv language as the input language of the dialog transformational machine allows you to increase the “intelligence” of the computer to a level that provides direct communication with it, in particular, inexperienced in programming users who are specialists in specific areas.

 Download full text! (On Ukrainian)

Keywords: microprogram control principle, discrete information converter, operating device, algorithm algebra, algebra-grammatical method of knowledge representation, dialogue transformation machine.

1. Glushkov, V.M., 1962. Sintez tsifrovykh avtomatov. M.: Fizmatgiz. 476 p. (In Russian).
2. Glushkov, V.M., 1965. “Teoriya avtomatov i voprosy proyektirovaniya struktur tsifrovykh mashin”, Kibernetika, 1, pp. 3–11. (In Russian).
3. Glushkov, V.M., 1965. “Teoriya avtomatov i formalnyye preobrazovaniya mikroprogramm”. Kibernetika, 5, pp. 1–10. (In Russian).
4. Glushkov, V.M., Letichevskiy, A.A., 1973. “Teoriya diskretnykh preobrazovateley”. Izbrannyye voprosy algebry i logiki. Novosibirsk: Nauka, pp. 5–40. (In Russian).
5. Kapitonova, Yu.V., Letichevskiy, A.A., 1988. Matematicheskaya teoriya proyektirovaniya vychislitelnykh sistem. M.: Nauka, 295 p. (In Russian).
6. Glushkov, V.M., Tseytlin, G.Ye., Yushchenko, Ye.L., 1989. Yazyki. Programmirovaniye. 3-ye izd., perab. i dop. Kyiv: Nauk. dumka, 376 p. (In Russian).
7. Anisimov, A.V., 1987. Rekursivnyye preobrazovateli informatsii. Kyiv: Vishcha shk., 231 p. (In Russian).
8. Bauer, F.L., Wossner, H., 1981. Algorithmische sprache und programmentwicklung. Berlin: Springer Verlag, 513 p.
   https://doi.org/10.1007/978-3-662-05656-1
9. Yershov, A.P., 1979. “Transformatsionnaya mashina: tema i variatsii”. Problemy teoreticheskogo i sistemnogo programmirovaniya. Novosibirsk, NGU, pp. 5–45. (In Russian).
10. Petrushenko, A.N., 1990. “O dialogovykh vychisleniyakh v algoritmicheskikh algebrakh”. Kibernetika, 1, pp. 13–20. (In Russian).
11. Petrushenko, A.N., 1991. “Ob odnom podkhode k probleme avtomatizatsii optimiziruyushchikh preobrazovaniy algoritmov i programm”. Kibernetika i sistemnyy analiz, 5, pp. 127–136. (In Russian).
12. Petrushenko, A.N., 1998. “Ob odnom podkhode k resheniyu problemy obshcheniya cheloveka s vychislitelnoy sistemoy na yestestvennom yazyke”. Problemy programmirovaniya: Sb. nauch. trudov, 3, pp. 65–72. (In Russian).
13. Petrushenko, A.N., Khokhlov, V.A., 1999. “Ob ispolzovanii yestestvennogo yazyka dlya predstavleniya abstraktnykh tipov dannykh i polimorfizma”. Problemy programmirovaniya, 1, pp. 76–83. (In Russian).
14. Petrushenko, A.N., Khokhlov, V.A., Tkachev, V.A., Shepetukhin, Ye.S., 2000. “Dialogovaya transformatsionnaya mashina: nekotoryye funktsionalnyye vozmozhnosti”. Problemy programmirovaniya, 1–2 (Spets. vypusk), pp. 323–334. (In Russian).
15. Petrushenko A.M., Khokhlov V.A., 2004. Kontseptsiya dialohovykh obchyslen ta deyaki problemy avtomatyzatsiyi prohramuvannya. Problemy prohrammyrovanyya, 2–3 (Spets. vypusk), pp. 37–47. (In Ukrainian).
16. Samofalov, K.G., Korneychuk, V.N., Tarasenko, V.P., 1989. Tsifrovyye EVM. K.: Vishcha shk., 423 p. (In Russian).
17. Samofalov, K.G., Korneychuk, V.N., Tarasenko, V.P., Zhabin, V.N., 1990. Tsifrovyye EVM. Praktikum. K.: Vishcha shk., 215 p. (In Russian).
18. Mayorov, A., Novikov, G.I., 1979. Struktura elektronnykh vychislitelnykh mashin. L.: Mashinostroyeniye. 384 p. (In Russian).
19. Baranov, S.I., 1979. Sintez mikroprogrammnykh avtomatov. L.: Energiya. 232 p. (In Russian).
20. Kaluzhnin, L.A., 1959. “Ob algoritmizitsii matematicheskikh zadach”. Problemy kibernetiki., 2, M.: Fizmatgiz, pp. 51–67. (In Russian).
21. Lyapunov, A.A., 1958. “O logicheskikh skhemakh programm”. Problemy kibernetiki., 1, M.: Fizmatgiz, pp. 46–74. (In Russian).
22. Yanov, Yu.I., 1958. “O logicheskikh skhemakh algoritmov”. Problemy kibernetiki. M.: Fizmatgiz, 1, pp. 75–127. (In Russian).
23. Yablonski,y S.V., 1959. “Osnovnyye ponyatiya kibernetiki”. Problemy kibernetiki. M.: Fizmatgiz, 1, pp. 7–38. (In Russian).
24. Yershov, A.P., 1968. “Operatornyye algoritmy”. 3 (ob operatornykh skhemakh Yanova). Problemy kibernetiki. M.: Fizmatgiz, 2, pp. 181–200. (In Russian).
25. Sistemy kompyuternoy algebry semeystva ANALITIK. Teoriya. Primeneniye. K., 2010. 762 p. (In Russian).
26. Razevig, V.D., 1992. Primeneniye programm PCAD i PSpise dlya skhemotekhnicheskogo modelirovaniya na PEVM: V 4 vypuskakh. 1: Obshchiye svedeniya. Graficheskiy vvod skhem. M.: Radio i svyaz. 72 p. (In Russian).

 Received  16.10.2019