Issue |
MATEC Web Conf.
Volume 170, 2018
International Science Conference SPbWOSCE-2017 “Business Technologies for Sustainable Urban Development”
|
|
---|---|---|
Article Number | 03013 | |
Number of page(s) | 8 | |
Section | Engineering Systems and Building Materials | |
DOI | https://doi.org/10.1051/matecconf/201817003013 | |
Published online | 13 June 2018 |
Problems of Logical-mathematical Modeling in the Course of Cribwork Quay Design: Innovative Methods of Civil Engineering
Moscow State University of Civil Engineering, Yaroslavskoe shosse, 26, Moscow, 129337, Russia
* Corresponding author: priadcko.igor2011@yandex.ru
In the article, the author analyzes the innovative methods, employed by the Russian hydraulic engineer Nikolai Mikhailovich Gersevanov in the course of the stability analysisperformed in respect of cribwork quays. The author addresses one of the little known works, written by this Russian architect of industrial buildings. The work in question covers the application of logic algebra formulas to the substantiation of the stability of foundations of quays and port structures; it is entitled “The Application of Mathematical Logic to the Analysis of Structures”. N.M. Gersevanov employs his method of logical-mathematical substantiation of stability of cribwork quays as an example in the second part of his research. The author also analyzes the features of construction of crib piers, the forces that they are exposed to, and any possible reasons for the destruction of cribwork quays. In this article, the problem of design of cribwork quays is tied to the problem of construction performed in the context of natural (hydrologic and tectonic) calamities, such as earthquakes, tsunamis, floods, and landslides. City and port management amid natural calamities represents an innovative challenge to be met by contemporary architects. The analysis of conditional propositions, employed in the work, written by N.M. Gersevanov, has proven his paper's novelty. The author of this article believes that antecedent and consequent are connected by the symbol of relevant (or nomological) implicationin hispropositions.
© The Authors, published by EDP Sciences, 2018
This is an Open Access article distributed under the terms of the Creative Commons Attribution License 4.0, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (http://creativecommons.org/licenses/by/4.0/).
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.