Error
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering
  • Error loading Modules:Can't create/write to file '/var/lib/mysql/tmp/#sql_bd4_0.MYI' (Errcode: 30) SQL=SELECT id, title, module, position, content, showtitle, control, params FROM jos_modules AS m LEFT JOIN jos_modules_menu AS mm ON mm.moduleid = m.id WHERE m.published = 1 AND m.access <= 0 AND m.client_id = 0 AND ( mm.menuid = 8 OR mm.menuid = 0 ) ORDER BY position, ordering

INFORMATION SYSTEMS AND LOGISTICS IN CIVIL ENGINEERING

Using logic in the resolution of problems of the energy supply to buildings: particular aspectsof application of the logic of relay contact circuits in civil engineering

Vestnik MGSU 11/2013
  • Pryadko Igor' Petrovich - Moscow State University of Civil Engineering (MGSU) Candidate of Culturology, Associate Professor, Department of Political and Social Sciences, Moscow State University of Civil Engineering (MGSU), 26 Yaroslavskoe shosse, Moscow, 129337, Russian Federation.

Pages 248-255

The author’s objective is to drive the attention of specialists in civil engineering to the problem of application of the logic of relay contact circuits in the field of design and construction of buildings. The logic of relay contact circuits was developed by V.I. Shestakov, an outstanding Russian physicist and mathematician. The author demonstrates how the solutions based on formal logic laws can serve to optimize electric circuits. In the article, the author continues his research into the problem of logic in civil engineering initiated in his prior works concerning the logic-based research performed by N.M. Gersevanov, a hydraulic engineer. The author emphasizes the continuity of the idea of logic application in technology and civil engineering. Logical implications represented typical constituents of the works of Russian scientists who addressed the issue of the logical knowledge characterization in the 20ies—40ies of the 20th century. Yet the complexities that domestic scholars had to resolve when substantiating the priority of their discoveries were also evident.The author also considers the reasons of the poor attention of domestic and international academic communities to innovatory developments of the Russian scholar who was able to consolidate the theoretical and natural science approaches within the scope of the logic. This issue is discussed in the final section of the article. The author considers it necessary to insist on the priority of domestic developments in the area of applying logic in technology-intensive industries. The author provides examples from the history of science and technology to substantiate his viewpoint.

DOI: 10.22227/1997-0935.2013.11.248-255

References
  1. Shestakov V.I. Algebra dvupol'nykh skhem, postroennykh isklyuchitel'no iz dvukhpolyusnikov (Algebra A-skhem) [Algebra of Double Circuits Composed Solely of One-port Networks (Algebra of A-Circuits)]. Zhurnal teoreticheskoy fiziki [Journal of Theoretical Physics]. 1941, no. 6, vol. 11, pp. 532—549.
  2. Shestakov V.I. Predstavlenie kharakteristicheskikh funktsiy predlozheniy posredstvom vyrazheniy, realizuemykh releyno-kontaktnymi skhemami [Presentation of Characteristic Functions of Sentences through Expressions Implemented by the Relay Logic]. Izvestiya AN SSSR. Seriya «Matematika». [News Bulletin of the Academy of Sciences of the USSR. Mathematics Series]. 1946, no. 10. Ñ. 25—43.
  3. Shannon C. Symbolic Analysis of relay and Switching Circuits. Trans of Amer. Institute of Electr. Engineers. 1938, vol. 57, pp. 713—723.
  4. Biryukov B.V., Verstin I.S., Levin V.I., Karpenko A.S., editor. Zhiznennyy i nauchnyy put' Viktora Ivanovich Shestakova — sozdatelya logicheskoy teorii releyno-kontaktnykh skhem [Life and Academic Career of Viktor Ivanovich Shertakov, Author of the Logical Theory of Relay Contact Circuits]. Logicheskie issledovaniya [Logic Research]. Moscow, Nauka Publ., 2007, no. 14, pp. 25—72.
  5. Biryukov B.V. Zhar kholodnykh chisl i pafos besstrastnoy logiki [Heat of Cold Numbers and Pathos of Unbiased Logic]. Moscow, Znanie Publ., 1985, 192 p.
  6. Levin V.I., Karpenko A.S., editor. Akira Nakashima i logicheskoe modelirovanie diskretnykh skhem [Akira Nakashima and Logical Modeling of Discrete Skeletons]. Smirnovskie chteniya po logike. 5-ya konferentsiya, 20—22 iyunya 2007 [The Smirnov Readings in Logic. The 5th Conference, 20—22 June, 2007]. Moscow, IFRAN Publ., 2007, pp. 150—153.
  7. Karlik L.N. Fransua Mazhandi [Francois Magendie]. Klinicheskaya meditsina [Clinical Medicine]. 1959, vol. 37, no. 2, p.142.
  8. Motroshilova N.V. Zenon Eleyskiy: aporii v svete problem bytiya [Zeno Eleatic: Aporias of the Problems of Existence]. Istoriya filosofii. Zapad — Rossiya — Vostok [History of Philosophy. West-Russia-East]. Moscow, Greko-latinskiy cabinet Publ., vol. 1, 1995, pp. 75—77.
  9. Proclus. Pervoosnovy teologii [Fundamentals of Theology]. Moscow, 1993.
  10. Roginskiy V.N., Glushkov V.M., editor. Releyno-kontaktnykh skhem teoriya [Theory of Relay Contact Circuits]. Entsiklopediya kibernetiki [Encyclopoedia of Cybernetics]. Kiev, 1947, vol. 2, pp. 293—295.
  11. Biryukov B.V. Logiko-matematicheskie aspekty teorii avtomatov [Logical and Mathematical Aspects of the Theory of Automatic Machines]. Nauchnye doklady vysshey shkoly. Filosofskie nauki [Research Reports of Institutions of Higher Education. Philosophical Sciences]. 1964, no. 5, pp. 44—52.
  12. Tete Fillis, Slesarev M.Yu. Primenenie nechetkikh mnozhestv v ekspertnykh sistemakh otsenki vozdeystviya stroitel'stva inzhenernykh sooruzheniy na shel'fe Gany [Using Fuzzy Sets in Expert Systems of Assessment of Influence of Engineering Structures on the Shelf of Ghana]. Otsenka riskov i bezopasnosti v stroitel'stve: Mezhdunarodnaya molodezhnaya konferentsiya. Sbornik nauchnykh trudov Instituta stroitel'stva i arkhitektury MGSU [Assessment of Risks and Safety of Construction Works: International Youth Conference. Collection of Academic Works of Moscow State University of Civil Engineering]. Moscow, MGSU Publ., 2012, no. 4, pp. 255—258.

Download

USING LOGIC IN PRACTICAL SUBSTANTIATION OF STABILITY OF BUILDING FOUNDATIONS: OVERVIEW OF A LITTLE-KNOWN WORK WRITTEN BY N.M. GERSEVANOV

Vestnik MGSU 11/2012
  • Pryadko Igor Petrovich - Moscow State University of Civil Engineering (MGSU) Senior Lecturer, Department of Political and Social Sciences, Moscow State University of Civil Engineering (MGSU), 26 Yaroslavskoe shosse, Moscow, 129337, Russian Federation; This e-mail address is being protected from spambots. You need JavaScript enabled to view it .

Pages 97 - 104

The author analyzes the findings made by N. Gersevanov, founder of the Russian school of
soil mechanics, covered in one of his little-known works. His method of solving problems of logic
within the framework of structural mechanics boasts a backstory. N. Gersevanov employed a quote
of Galileo Galilei who had employed the "reductio ad absurdum" type of deduction to refute the
Aristotle's proposition concerning the dependence between the rate of fall of bodies and their mass.
The author argues that this work written by N. Gersevanov was the first attempt to apply the
logic in the area of civil engineering technology; this attempt anticipated further efforts and research
undertakings implemented by V. Shestakov, developer of the relay logic. N. Gersevanov employed
the language of symbols developed by Louis Couture and entered the symbols of identity, logical
addition and multiplication into the logic formulas designated for the identification of stability of port
structures. Further, N. Gersevanov switched from formulas to arguments, and he employed both
direct and indirect argumentation to refute the statement that read as "the building was unstable".

DOI: 10.22227/1997-0935.2012.11.97 - 104

References
  1. Budtolaev N.M. Vydayushchiysya teoretik portovoy gidrotekhniki M.N.Gersevanov: ocherk zhizni i deyatel’nosti. K 120-letiyu so dnya rozhdeniya [M.N.Gersevanov, Outstanding Theorist of Hydraulic Engineering of Ports. Essay of His Life and Work]. In commemoration of his 120th anniversary. Moscow, 1950.
  2. Gersevanov N.M. Osnovy dinamiki gruntovoy massy [Basics of Soil Dynamics]. Moscow – Leningrad, ONTI Publ., 1937.
  3. Gersevanov N.M. Postroyka zhelezobetonnykh opor dlya ugleperegruzhateley v Petrogradskom porte [Construction of Reinforced Concrete Piers for Coal Reloaders at the Petrograd Port]. Petrograd, S.K. Pentkovskogo Publ., 1915.
  4. Gersevanov N.M. Raschet bokovykh stenok i sploshnogo kamennogo fundamenta sukhikh dokov po metode Frantsiusa [Analysis of Side Walls and Mat Masonry Foundation of Dry Docks according to the Methodology of Francius]. St.Petersburg, Lit. A. Ikonnikova Publ., 1911.
  5. Gersevanov N.M. Teorii i postroenie inzhenernykh nomogramm [Theories and Plotting of Nomograms]. Moscow – Leningrad, ONTI Publ., 1937, 97 p.
  6. Gersevanov N.M. Primenenie matematicheskoy logiki k raschetu sooruzheniy [Application of Mathematical Logic to Analysis of Structures]. Moscow, Stroyvoenmorizdat Publ., 1948, collected works, vol. 1.
  7. Biryukov B.V., Kuzicheva, V.I.Kobzar’ Z.A., editor. Iz istorii prilozheniya logiki. O rabote Gersevanova «Primenenie matematicheskoy logiki k raschetu sooruzheniy» [History of Applications of the Logic. About the Work of Gersevanov “Application of Mathematical Logic to Analysis of Structures”]. Sovremennaya logika: problemy teorii, istorii i primeneniya v nauke. Materialy X Obshcheross. nauch. konf. [Contemporary Logic: Problems of Its Theory, History and Application in Sciences. Works of the 10th All-Russian Scientific Conference]. St.Petersburg, June 26-28, 2008, pp. 194—196.
  8. Biryukov B.V., Shakhov V.I., Karpenko A.S., editor. Pervye prilozheniya logiki k tekhnike. Ot prilozheniya logiki k raschetu sooruzheniy i releynym skhemam k logicheskoy teorii razmernostey fizicheskikh velichin [Initial Applications of the Logic to the Technology. From Applications of the Logic to the Analysis of Structures, Relay Circuits, and to the Logical Theory of Differences of Physical Quantities]. Logicheskie issledovaniya [Logical Research]. Moscow, Nauka Publ., 2007, no. 14, pp. 71—104.
  9. Sotonin K. Reviews of “Introduction into the Logic” by Povarnin, “Logic. Part 1. Judgment” by Losskiy N.O. Kazan’, Kazanskiy bibliofil [Kazan Bibliophile]. 1922, no. 3, p. 54.
  10. Asmus V.F. Logika [Logic]. Moscow, OGIZ Publ., 1947, 386 p.
  11. Kol’man E. Uchebnik logiki [Textbook of Logic]. Moscow, Gospolitizdat Publ., 1944.
  12. Vinogradov S.N., Kuz’min A.F. Uchebnik logiki. Logika. Uchebnik dlya sredney shkoly [Textbook of the Logic. Logic. Textbook for Secondary Schools]. Moscow, Uchpedgiz Publ., 1953, p. 255.
  13. Erenfest P. Reviews of “Algebra of the Logic” by l. Couture. Zhurnal russkogo fiziko-khimicheskogo obshchestva [Journal of Russian Physical and Mathematical Society]. 1910, vol. 42, section 2, no. 10.
  14. Shestakov V.I. Algebra dvupol’nykh skhem, postroennykh isklyuchitel’no iz dvukhpolyusnikov (Algebra A-skhem) [Algebra of Double Circuits Composed Solely of One-port Networks (Algebra of ACircuits)]. Zhurnal teoreticheskoy fi ziki [Journal of Theoretical Physics]. 1941, no. 6, vol. 11, pp. 532—549.
  15. Shestakov V.I. Predstavlenie kharakteristicheskikh funktsiy predlozheniy posredstvom vyrazheniy, realizuemykh releyno-kontaktnymi skhemami [Presentation of Characteristic Functions of Sentences through Expressions Implemented by the Relay Logic]. Izvestiya AN SSSR. Seriya «Matematika». [News Bulletin of the Academy of Sciences of the USSR. Mathematics Series]. 1946, no. 10.
  16. Shannon C. Symbolic Analysis of Relay and Switching Circuits. Trans of Amer. Institute of Electr. Engineers. 1938, vol. 57, pp. 713—723.
  17. Nakasima A. Hanzawa M. Theory of Equivalent Transformation of Simple Partial Paths of Relay Circuits. Nippon Electr. Commun. Engineering. 1938, no. 9, pp. 32 - 39.
  18. Biryukov B.V. Logiko-matematicheskie aspekty teorii avtomatov [Logical and Mathematical Aspects of the Theory of Automatic Machines]. Research reports of institutions of higher education. Filosofskie nauki [Philosophical Sciences]. 1964, no. 5, pp. 44—52.
  19. Galilei Galileo. Dialog o dvukh glavneyshikh sistemakh mira — kopernikovoy i ptolemeevoy [Dialogue about the Two Major Systems of the Universe: Copernican and Ptolomaeus’s Systems]. Moscow – Leningrad, OGIZ Publ., 1948.
  20. Styazhkin N.I. K kharakteristike ranney stadii v razvitii idey matematicheskoy logiki [About the Characteristics of the Early Stage of Development of Ideas of Mathematical Logic]. Filosofskie nauki [Philosophical Sciences], no. 3, 1958, pp. 95—101.
  21. Berkov V.F. Logika [Logic]. TetraSistems Publ., 1997, 480 p.
  22. Kirillov V.I., Starchenko A.A. Logika [Logic]. Moscow, 1982, 262 p.

Download

Results 1 - 2 of 2