Применение алгебры логики в моделях технических систем: история и современность

 
Код статьиS020596060020624-8-1
DOI10.31857/S020596060020624-8
Тип публикации Статья
Статус публикации Опубликовано
Авторы
Аффилиация: Рязанский государственный радиотехнический университет имени В.Ф. Уткина
Адрес: Российская Федерация, Рязань, ул. Гагарина, д. 59/1
Аффилиация: Рязанский государственный радиотехнический университет имени В. Ф. Уткина
Адрес: Российская Федерация, Рязань, ул. Гагарина, д. 59/1
Название журналаВопросы истории естествознания и техники
ВыпускТом 43 №2
Страницы328-349
Аннотация

Статья посвящена историографии применения классической алгебры логики в моделях технических систем. Данная проблема анализируется как в историческом, так и в современном контекстах. Особый акцент сделан на освещении одного из разделов дискретной математики – теории надежности, синтеза и сложности управляющих систем, в частности задаче математического моделирования синтеза надежных функций и функциональных схем из ненадежных элементов. Техническая реализация в аппаратуре логических функций надежных схем алгебры логики при использовании ненадежной элементной базы является одним из актуальных направлений прикладной алгебры логики.

Ключевые словаистория техники, булева алгебра, алгебра логики, применение логики, технические системы, математическое моделирование, синтез надежных функций и схем
Получено27.06.2022
Дата публикации27.06.2022
Кол-во символов47124
Цитировать  
100 руб.
При оформлении подписки на статью или выпуск пользователь получает возможность скачать PDF, оценить публикацию и связаться с автором. Для оформления подписки требуется авторизация.

Оператором распространения коммерческих препринтов является ООО «Интеграция: ОН»

Всего подписок: 0, всего просмотров: 328

Оценка читателей: голосов 0

1. Abhijith, J., Adedoyin, A., Ambrosiano, J. et al. Quantum Algorithm Implementations for Beginners, arXiv:1804.03719v2.

2. Akama, S. (2015) Elements of Quantum Computing. Berlin: Springer.

3. Aksenov, S. V., and Novoselʼtsev, V. B. (2006) Organizatsiia i ispolʼzovanie neironnykh setei (metody i tekhnologii) [Organization and Use of Neural Networks (Methods and Technologies)]. Tomsk: Izdatelʼstvo NTL.

4. Alekhina, M. A. (2004) Sintez, nadezhnostʼ i slozhnostʼ skhem iz nenadezhnykh funktsionalʼnykh elementov: dis. … d-ra fiz.-mat. nauk [Synthesis, Reliability and Complexity of Circuits from Unreliable Functional Elements. Thesis for the Doctor of Physical and Mathematical Sciences Degree]. Penza.

5. Alexe, G., Alexe, S., Bonates, T. O., and Kogan, A. (2007) Logical Analysis of Data – the Vision of Peter L. Hammer, Annals of Mathematics and Artificial Intelligence, vol. 49, no. 1–4, pp. 265–312.

6. Barskii, A. B. (2004) Neironnye seti: raspoznavanie, upravlenie, priniatie reshenii [Neural Networks: Recognition, Management, Decision Making]. Moskva: Finansy i statistika.

7. Barsukova, O. Iu. (2014) Sintez nadezhnykh skhem, realizuiushchikh funktsii dvuznachnoi i trekhznachnoi logiki: dis. … kand. fiz.-mat. nauk [Synthesis of Reliable Circuits Implementing the Functions of Two-Digit and Three-Digit Logic. Thesis for the Candidate of Physical and Mathematical Sciences Degree]. Penza.

8. Biriukov, B. V., and Priadko, I. P. (2014) Primenenie logiki v gradostroitelʼstve: trudnyi putʼ obreteniia [Application of Logic in Urban Planning: The Difficult Path of Finding], Vestnik Moskovskogo universiteta, seriia 7: Filosofiia, no. 2, pp. 76–87.

9. Biriukov, B. V., and Shakhov, V. I. (2007) Pervye prilozheniia logiki k tekhnike: Erenfest, Gersevanov i Shestakov. Ot primeneniia logiki k raschetu sooruzhenii i releinym skhemam k logicheskoi teorii razmernostei fizicheskikh velichin [The First Technical Applications of Logic: Ehrenfest, Gersevanov and Shestakov. From Using Logic in the Calculation of Structures and in Relay Circuits to the Logical Theory of the Dimensions of Physical Quantities], Logicheskie issledovaniia, no. 14, pp. 73–104.

10. Bondarenko, M. F., Rusakova, N. E., and Shabanov-Kushnarenko, Iu. P. (2010) O mozgopodobnykh strukturakh [On the Brain-Like Structures], Bionika intellekta, no. 2 (73), pp. 68–73.

11. Boros, E., Hammer, P. L., Ibaraki, T., and Kogan, A. (1997) Logical Analysis of Numerical Data, Mathematical Programming, vol. 79, nos. 1–3, pp. 163–190.

12. Boole G. (1847) The Mathematical Analysis of Logic. Cambridge: MacMillan, Barclay & MacMillan and London: George Bell.

13. Boole G. (1854) An Investigation of the Laws of Thought. Cambridge: MacMillan and Co.

14. Bulkin, V. I. (2011) Mozgopodobnye struktury – osnova sozdaniia mozgopodobnykh EVM [Brain-Like Structures as a Basis for Brain-Like Computers], Shtuchnyi іntelekt, no. 4, pp. 387–393.

15. Cherkesov, G. N., and Stepanov, Iu. V. (2015) Primenenie obshchego resheniia sistem logicheskikh uravnenii v zadachakh nadezhnosti [Application of the Common Solution for the Systems of Logical Equations in Reliability Problems], Nadezhnostʼ, no. 2, pp. 23–30.

16. Cusick, T. W., and Stănică, P. (2009) Cryptographic Boolean Functions and Applications. Amsterdam: Elsevier.

17. Deutsch, D. (1989) Quantum Computational Networks, Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences, vol. 425, no. 1868, pp. 73–90.

18. Dobrushin, R. L., and Ortiukov S. I. (1977) O nizhnei otsenke dlia izbytochnosti samokorrektiruiushchikhsia skhem iz nenadezhnykh funktsionalʼnykh elementov [On the Lower Estimate for Redundancy of Self-Correcting Circuits from Unreliable Gates], Problemy peredachi informatsii, vol. 13, no. 1, pp. 82–89.

19. Domanskii, B. I. (1938) Avtomaticheskoe upravlenie elektricheskimi ustanovkami i sistemami [Automated Management of Electrical Plants and Systems]. Moskva: GONTI, Glavnaia redaktsiia energeticheskoi literatury.

20. Druzhinin, Iu. O. (2019) Istoriia pervykh popytok primeneniia algebry logiki dlia resheniia tekhnicheskikh zadach [The History of the Early Attempts at Applying the Algebra of Logic to Engineering Problems], Voprosy istorii estestvoznaniia i tekhniki, vol. 40, no. 1, pp. 9–20.

21. Efimov, A. R. (2020) Posttʼiuringovaia metodologiia: razrushenie steny na puti k obshchemu iskusstvennomu intellektu [Post-Turing Methodology: Breaking the Wall on the Way to Artificial General Intelligence], Intellekt. Innovatsii. Investitsii, no. 2, pp. 74–80.

22. Fridman, O. V. (2019) Logicheskie neironnye seti: metody avtomaticheskogo konstruirovaniia, reduktsii, izvlecheniia pravil [Logical Neural Networks: Methods of Automatic Construction, Reduction, Extraction of Rules], Trudy Kolʼskogo nauchnogo tsentra RAN, vol. 10, no. 9 (9) pp. 97–108.

23. Gersevanov, N. M. (1948) Primenenie matematicheskoi logiki k raschetu sooruzhenii [The Application of Mathematical Logic to the Analysis of Structures], in: Gersevanov, N. M. Sobranie sochinenii: v 2 t. [Collected Works: in 2 vols.]. Moskva: Izdatelʼstvo i tipolitografiia № 1 Stroivoenmorizdata, vol. 1, pp. 123–204.

24. Glushkov, V. M. (1961) Nekotorye problemy sinteza tsifrovykh avtomatov [Some Problems of Synthesis of Digital Automata], Zhurnal vychislitelʼnoi matematiki i matematicheskoi fiziki, no. 3, pp. 371–411.

25. Glushkov, V. M. (1962) “Razumnye mashiny” i umstvennaia deiatelʼnostʼ cheloveka [“Intelligent Machines” and Human Mental Activities], Radiansʼka shkola, no. 2, pp. 87–91.

26. Glushkov, V. M. (1970) Nekotorye problemy teorii avtomatov i iskusstvennogo intellekta [Some Problems of Automata Theory and Artificial Intelligence], Kibernetika, no. 2, pp. 3–13.

27. Gorokhov, V. G. (2012) Logika i tekhnika: ot teorii elektricheskikh tsepei k nanoskhemotekhnike [Logic and Technology: From Electrical Circuit Theory to Nano-Circuitry], Logicheskie issledovaniia, no. 18, pp. 97–126.

28. Grabovskaia, S. M. (2012) Asimptoticheski optimalʼnye po nadezhnosti nevetviashchiesia programmy s operatorom uslovnoi ostanovki: dis. … kand. fiz.-mat. nauk [Asymptotically Reliability-Optimal, Non-Branching Programs with Conditional Stop Operator. Thesis for the Candidate of Physical and Mathematical Sciences Degree]. Kazanʼ.

29. Iablonskii, S. V. (1982) Asimptoticheski nailuchshii metod sinteza nadezhnykh skhem iz nenadezhnykh elementov [An Asymptotically Best Method of Synthesis of Reliable Circuits from Unreliable Gates], Banach Center Publications, vol. 7, pp. 11–19.

30. Jocalyn, S., Chinniah, Y., Ouali, M. S., and Yacout, S. (2017) Application of Logic Analysis of Data to Machinery-Related Accident Prevention Based on Scarce Data, Reliability Engineering and System Safety, no. 159. С. 223–236.

31. Khoroshevskii, B. G. (2008) Arkhitektura vychislitelʼnykh sistem. 2-e izd. [Architecture of Computing Systems. 2nd ed.]. Moskva: Izdatelʼstvo MGTU im. H. E. Baumana.

32. Klini, S. K. (Kleene, S. C.) (1956) Predstavlenie sobytii v nervnykh setiakh i konechnykh avtomatakh [Representation of Events in Nerve Nets and Finite Automata], in: Shennon, K. E., and Makkarti, Dzh. (Shannon, C. E., and McCarthy, J.) (eds.) Avtomaty [Automata Studies]. Moskva: Izdatelʼstvo inostrannoi literatury, pp. 15–67.

33. Kolmogorov, A. N., and Iushkevich, A. P. (eds.) (1978) Matematika XIX veka. Matematicheskaia logika. Algebra. Teoriia chisel. Teoriia veroiatnostei [19th Century Mathematics. Mathematical Logic. Algebra. Number Theory. Probability Theory]. Moskva: Nauka, vol. 1.

34. Kudriavtsev, V. B. (1969) Algebra logiki [Algebra of Logic], in: Prokhorov, A. M. (ed.) Bolʼshaia sovetskaia entsiklopediia. V 30 t. 3-e izd. [Great Soviet Encyclopedia. In 30 vols. 3rd ed.]. Moskva: Sovetskaia entsiklopediia, vol. 1, pp. 397–398.

35. Kutiura, L. (2012) Algebra logiki. 2-e izd. [Algebra of Logic. 2nd ed.]. Moskva: Knizhnyi dom “LIBROKOM”.

36. Kuzicheva, Z. A. (1982) Logicheskaia programma Leibnitsa i ee rolʼ v istorii logiki i kibernetiki [Leibnitzʼs Logical Program and Its Role in the History of Logic and Cybernetics], Voprosy kibernetiki, no. 78, pp. 3–36.

37. Kuzicheva, Z. A. (2009) Vliianie teorii releino-kontaktnykh skhem na razvitie matematicheskoi logiki [The Inf luence of the Relay-Contact Circuit Theory on the Development of Mathematical Logic], Vestnik Moskovskogo universiteta, seriia 7: Filosofiia, no. 1, pp. 53–63.

38. Kuznetsov, O. P. (2019) Ogranichennaia ratsionalʼnostʼ i priniatie reshenii [Restricted Rationality and Decision Making], Iskusstvennyi intellekt i priniatie reshenii, no. 1, pp. 3–15.

39. Leibnits, G. V. (Leibniz, G. W.) (1984) Ob universalʼnoi nauke, ili filosofskom ischislenii [On Universal Science, or The Philosophical Calculus], in: Leibnits, G. V. (Leibniz, G. W.) Sochineniia v chetyrekh tomakh [Works in Four Volumes]. Moskva: Myslʼ, vol. 3, pp. 494–500.

40. Lejeune, M., Lozin, V., Lozina, I., Ragabc, A., and Yacout, S. (2019) Recent Advances in the Theory and Practice of Logical Analysis of Data, European Journal of Operational Research, no. 275, pp. 1–15.

41. Letter, Peirce to A. Marquand, 1886 December 30 (1993), in: Kloesel, Ch. J. W. (ed.) Writings of Charles S. Peirce: A Chronological Edition. Bloomington and Indianapolis: Indiana University Press, vol. 5: 1884–1886, pp. 421–423.

42. Levin, V. I. (2019) Viktor Ivanovich Shestakov i 80-letie otkrytiia logicheskoi teorii diskretnykh vychislitelʼnykh i upravliaiushchikh ustroistv [Viktor Ivanovich Shestakov and the 80th Anniversary of the Discovery of Logical Theory of Discrete Computing and Control Devices], Sistemy upravleniia, sviazi i bezopasnosti, no. 2, pp. 54–86.

43. Levin, V. I. (2018) Akira Nakashima i 80-letie otkrytiia logicheskoi teorii diskretnykh vychislitelʼnykh i upravliaiushchikh ustroistv [Akira Nakashima and the 80th Anniversary of the Discovery of Logical Theory of Discrete Computing and Control Devices], Sistemy upravleniia, sviazi i bezopasnosti, no. 4, pp. 296–322.

44. Levin, V. I. (2019) Klod Elvud Shennon i 80-letie otkrytiia logicheskoi teorii diskretnykh vychislitelʼnykh i upravliaiushchikh ustroistv [C. E. Shannon and the 80th Anniversary of the Discovery of Logical Theory of Discrete Computing and Control Devices], Sistemy upravleniia, sviazi i bezopasnosti, no. 1, pp. 1–32.

45. Levin, V. I., and Biriukov, B. V. (2009) Eshche raz ob istorii otkrytiia logicheskogo modelirovaniia tekhnicheskikh ustroistv [Revisiting the Discovery of Logic Modeling of Technical Devices], Vestnik Moskovskogo universiteta, seriia 7: Filosofiia, no. 1, pp. 37–52.

46. McCulloch, W. S., and Pitts, W. (1943) A Logical Calculus of the Ideas Immanent in Nervous Activity, Bulletin of Mathematical Biophysics, vol. 5, pp. 115–133.

47. Mironov, V. V. (2022) Konechnye, konechnomernye i konechnoporozhdennye abelevy algebry logiki [Finite, Finite-Dimensional, and Finitely Generated Abelian Algebras of Logic], in: Milovzorov, O. V. (ed.) Sovremennye tekhnologii v nauke i obrazovanii – STNO-2022. Sbornik trudov V Mezhdunarodnogo nauchno-tekhnicheskogo foruma: v 10 t. [Modern Technologies in Science and Education – STNO-2022. Proceedings of the 5 th International Scientific and Technical Forum: in 10 vols.]. Riazanʼ: Riazanskii gosudarstvennyi radiotekhnicheskii universitet im. V. F. Utkina, vol. 5, pp. 69–76.

48. Mironov, V. V. (2022) Novye algebry logiki na indeksirovannykh logicheskikh mnozhestvakh [New Algebras of Logic on Indexed Logical Sets], in: Milovzorov, O. V. (ed.) Sovremennye tekhnologii v nauke i obrazovanii – STNO-2022. Sbornik trudov V Mezhdunarodnogo nauchnotekhnicheskogo foruma: v 10 t. [Modern Technologies in Science and Education – STNO2022. Proceedings of the 5 th International Scientific and Technical Forum: in 10 vols.]. Riazanʼ:Riazanskii gosudarstvennyi radiotekhnicheskii universitet im. V. F. Utkina, vol. 5, pp. 29–43.

49. Mironov, V. V. (2022) Novye algebry logiki na logicheskikh slovakh i problema tozhdestv [New Algebras of Logic on Logical Words and the Problem of Identities], in: Milovzorov, O. V. (ed.) Sovremennye tekhnologii v nauke i obrazovanii – STNO-2022. Sbornik trudov V Mezhdunarodnogo nauchno-tekhnicheskogo foruma: v 10 t. [Modern Technologies in Science and Education – STNO-2022. Proceedings of the 5th International Scientific and Technical Forum: in 10 vols.]. Riazanʼ: Riazanskii gosudarstvennyi radiotekhnicheskii universitet im. V. F. Utkina, vol. 5, pp. 54–68

50. Mironov, V. V. Novye nekommutativnye algebry logiki [New Noncommutative Algebras of Logic], in: Milovzorov, O. V. (ed.) Sovremennye tekhnologii v nauke i obrazovanii – STNO2022. Sbornik trudov V Mezhdunarodnogo nauchno-tekhnicheskogo foruma: v 10 t. [Modern Technologies in Science and Education – STNO-2022. Proceedings of the 5 th International Scientific and Technical Forum: in 10 vols.]. Riazanʼ: Riazanskii gosudarstvennyi radiotekhnicheskii universitet im. V. F. Utkina, vol. 5, pp. 43–53.

51. Neiman, Dzh., fon (Neumann, J., von.) (1956) Veroiatnostnaia logika i sintez nadezhnykh organizmov iz nenadezhnykh komponent [Probablistic Logics and the Synthesis of Reliable Organisms from Unreliable Components], in: Shennon, K. E., and Makkarti, Dzh. (Shannon, C. E., and McCarthy, J.) (eds.) Avtomaty [Automata Studies]. Moskva: Izdatelʼstvo inostrannoi literatury, pp. 68–139.

52. Ortiukov, S. I. (1977) K voprosu o sinteze asimptoticheski bezyzbytochnykh samokorrektiruiushchikhsia skhem iz nenadezhnykh funktsionalʼnykh elementov [On the Problem of Synthesis of Asymptotically Non-Redundant Self-Correcting Circuits from Unreliable Functional Elements], Problemy peredachi informatsii, vol. 13, no. 4, pp. 3–8.

53. Pikhorovich, V. D. (2019) Ocherki istorii kibernetiki v SSSR. 2-e izd. [Essays on the History of Cybernetics in the USSR. 2nd ed.]. Moskva: LENAND.

54. Prokhorov, Iu. V. (ed.) (1988) Matematicheskii entsiklopedicheskii slovarʼ [Mathematical Encyclopedic Dictionary]. Moskva: Sovetskaia entsiklopediia. Revich, Iu., and Shilov, V. (2019) Proekt Kitova – Glushkova [The Project of Kitov and Glushkov], Znanie – sila, no. 5, pp. 61–67.

55. Shannon, C. E., and McCarthy, J. (eds.) (1956) Automata Studies. Princeton: Princeton University Press (Annals of Mathematics Studies, vol. 34).

56. Shennon, K. E., and Makkarti, Dzh. (Shannon, C. E., and McCarthy, J.) (eds.) (1956). Avtomaty [Automata Studies]. Moskva: Izdatelʼstvo inostrannoi literatury.

57. Shilov, V. V. (2008) Logicheskie mashiny i ikh sozdateli. Kratkaia, no prakticheski polnaia istoriia [Logical Machines and Their Creators. A Brief but Almost Complete History], Informatsionnye tekhnologii, no. 8 (prilozhenie), pp. 1–40.

58. Shilov, V. V. (2014) Istoriia logicheskikh mashin [The History of Logical Machines]. Moskva: Knizhnyi dom “LIBROKOM”.

59. Skobtsov, V. Iu., Sychev, A. A., and Skobtsov, Iu. A. (2019) Logicheskii analiz dannykh telemetrii bortovoi apparatury malykh kosmicheskikh apparatov [Logical Analysis of Onboard Telemetry Data from Small Space Vehicles], in: Bol’shakov, A. A. (ed.) Matematicheskie metody v tekhnike i tekhnologiiakh [Mathematical Methods in Machines and Technologies], SanktPeterburg: SPbPU, vol. 2, pp. 39–42.

60. Smale, S. (2000) Mathematical Problems for the Next Century, in: Arnold, V., Atiyah, M., Lax, P., and Mazur, B. (eds.) Mathematics: Frontiers and Perspectives. Providence, RI: American Mathematical Society, pp. 271–294.

61. Tarasov, V. V. (1976) K sintezu nadezhnykh skhem iz nenadezhnykh elementov [On the Synthesis of Reliable Circuits from Unreliable Gates], Matematicheskie zametki, vol. 20, no. 3, pp. 391–400.

62. Tarasov, V. V. (1977) Nekotorye svoistva skhem iz nenadezhnykh funktsionalʼnykh elementov [Some Properties of Circuits from Unreliable Functional Elements], in: Vasil’ev, Iu. V. (ed.) Metody diskretnogo analiza v teorii upravliaiushchikh sistem: sbornik trudov Instituta matematiki SO AN SSSR [Discrete Analysis Methods in the Theory of Control Systems: Proceedings of the Institute of Mathematics of the USSR Academy of Sciences], no. 31, pp. 81–92.

63. Tarasov, V. V. (1992) Rezervy obespecheniia nadezhnogo sinteza logicheskikh skhem [Reserves Ensuring Reliable Synthesis of Logic Circuits], Kibernetika i sistemnyi analiz, no. 3, pp. 167–171.

64. Tavanets, P. V. (ed.) (1960) Primenenie logiki v nauke i tekhnike [Application of Logic in Science and Technology]. Moskva: Izdatelʼstvo AN SSSR.

65. Turing, A. M. (1950) Computing Machinery and Intelligence, Mind, vol. 59, no. 236, pp. 433–460.

66. Turing, A. M. (1953) Digital Computers Applied to Games, in: Bowden, B. V. (ed.) Faster Than Thought. A Symposium on Digital Computing Machines. London: Sir Isaac Pitman & Sons Ltd., pp. 286–310.

67. Turing, A. M. (1969) Intelligent Machinery, in: Meltzer, B., and Michie, D. (eds.) Machine Intelligence 5. Edinburgh: Edinburgh University Press, pp. 3–23.

68. Uhlig, D. (1987) Reliable Networks from Unreliable Gates with Almost Minimal Complexity, Lecture Notes in Computer Science, vol. 278, pp. 462–469.

69. Vasin, A. V. (2010) Asimptoticheski optimalʼnye po nadezhnosti skhemy v 85 polnykh bazisakh iz trekhvkhodovykh elementov: dis. … kand. fiz.- mat. nauk [Asymptotically Optimal Reliability Circuits in 85 Complete Bases of Three-Input Gates. Thesis for the Candidate of Physical and Mathematical Sciences Degree]. Penza.

70. Viner, N. (Wiener, N.) (1958) Kibernetika, ili Upravlenie i sviazʼ v zhivotnom i mashine [Cybernetics, or Control and Communication in the Animal and the Machine]. Moskva: Sovetskoe radio.

71. Whitesitt, J. E. (1961) Boolean Algebra and Its Applications. London: Addison – Wesley Publishing Company.

72. Wiener, N. (1948) Cybernetics, or Control and Communication in the Animal and the Machine. Paris: Hermann & Cie, Cambridge, MA: The Technology Press and New York: John Wiley and Sons.

Система Orphus

Загрузка...
Вверх