The methodology, language and tools for rapid development of logic models of systems and processes are proposed. Language is defined in the first-order predicate calculus with equality and a representation of negatives, modules, discrete time intervals. The proposed computable mathematical semantics allows to construct interpreters whose complexity is O(nlogn) relative to the power of models. Interpretations result is a model derivated from the logical specification of objects by direct inference. The model can be used as a working prototype of the system. The technology is designed to address a wide range of problems of language analysis, projects, processes, development of training and expert systems.
Keywords: logical model, predicate calculus, logical mistakes, logical semantics, analysis, interpreter
The concept of high-rise building. The concept of a skyscraper. The installation conditions of these buildings. Structural basis for high-rise buildings. Installation of kernel hardness. Sustainability and spatial rigidity of high-rise buildings. Way to perform a monolithic kernel hardness. Particularly the construction of high-rise buildings in hot climates. Technology features pouring concrete in hot climates. The implementation of "green" ideas to improve the environmental situation in the region. Reducing the need for air conditioning. The use of monolithic construction. Life-support system in a tall building.
Keywords: tall buildings, skyscrapers, kernel hardness, prestressed concrete, hot climate, the life support system
The basic problem of fires at various locations due to power surges, electrical network, modern technical ways to protect electrical equipment from power surges, electrical outlet and are encouraged to develop a device that allows fundamentally solve the problem.
Keywords: Power surges, electrical network, fire, device.
`
Keywords:
The work investigated the cathode intercalation process alkali metal platinum under the influence of the alternating pulse current of aqueous and non-aqueous solutions containing alkali metal cations. By means of the method of pulse chronopotentiometry found that processes taking place at the platinum cathode polarization in water (neutral and alkaline) and in non-aqueous electrolytes include electrochemical adsorption and intercalation of solvent molecules into the adsorption layer of alkali metal ions. When this surface is oxidized in the intercalation platinum milder than pure platinum.
Keywords: Cathodic intercalation, the intercalation capacity, platinum.
Keywords: