文章基本信息

标题：Problems of Logical-mathematical Modeling in the Course of Cribwork Quay Design: Innovative Methods of Civil Engineering
本地全文：下载
作者：Igor Pryadko
期刊名称：MATEC Web of Conferences
电子版ISSN：2261-236X
出版年度：2018
卷号：170
DOI：10.1051/matecconf/201817003013
语种：English
出版社：EDP Sciences
摘要：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.