DEVELOPMENT OF FORMAL THEORY OF ARTICLES OF THE LAND CODE OF UKRAINE AND ITS ALGORITHMIZATION
Journal Title: Вісник Кременчуцького національного університету імені Михайла Остроградського - Year 2017, Vol 1, Issue 107
Abstract
Purpose. To construct a formal theory that describes the logic of land relations of Article 162 of the Land Code of Ukraine with its further algorithmization and implementation as a programme. Currently, there is an urgent task, which is in the field of ontological engineering. In the field of land management, this task is to integrate knowledge about land relations to transform and present them in the form of mathematical relations or mathematical constructions. Methodology. In the paper, mathematical modeling using the methods of predicate logic, which effectively implement the formalization of land legislation, has been used. In addition, algorithmic methods and programming techniques have been applied. Results. The formal theory has been constructed on the basis of Article 162 of the Land Code of Ukraine. The theorem of this formal theory is written as a condition-action rule. According to the theorem, an algorithm for determining the degraded land has been developed. Originality. In the paper, the predicate calculus for the formalization of the land legislation of Ukraine is used. The formal theory has been constructed on the example of Article 162 of the Land Code of Ukraine. Practicalvalue. As a practical illustration, a program has been developed in the programming language Python. The program determines the permissibility of the content of fluorine, zinc, lead, copper, and nickel in the soil of the land. The result of the program shows whether the land is degraded or usable. Сonclusions. Thus, the paper shows the possibility of a formal representation of land relations in the formal theory, which is used for algorithmization and programming a specific problem. In the future, the research shown in the article can be used in the development of information and management systems in the sphere of land relations of Ukraine or reconstructed for other fields of human activity.
Authors and Affiliations
М. Kukhar
Keywords
Related Articles
- EP ID EP660626
- DOI -
- Views 77
- Downloads 0
IMPROVEMENT OF THE IGBT MATHEMATICAL MODEL WITH NONLINEARITY OF JUNCTION CAPACITANCES
Purpose. To improve the IGBT mathematical model in state variables, which takes into account the dynamic capacitance of semiconductor junctions between the terminals of the device. Methodology. Theoretical research is ba...
THE TECHNIQUE AND SOFTWARE IMPLEMENTATION FOR CREATION THE LUT-CIRCUIT INFORMATION MODEL PLACED IN THE FPGA ENVIRONMENT
Purpose. To develop the technique, with the help of which the creation of LUT-circuit information model for FPGA chip program code integrity monitoring (the resulting model should describe the details of the location of...
DEFECT FORMATION ON SHELLS WITH ONE-WAY LEDGE WHILE ENLARGING WITH A PROFILED STEPPED INSTRUMENT
Purpose. To analyze the mechanism of formation of defects during the enlarging of hollow forgings with the stepped outer surface and to suggest ways to eliminate them. The article deals with defects formed during and aft...
DESIGNING OF ELECTROMAGNETIC SYSTEMS FOR PULLEY SEPARATORS. PART 3. ALGORITHM OF SYNTHESIS OF ELECTROMAGNETIC SYSTEM OF PULLEY SEPARATOR
Purpose.The problem of synthesis of an electromagnetic system of a pulley separator is formulated, as the problem of determining such sizes of poles and magnetizing winding, which ensure creation by the designed device a...
DEVELOPMENT OF ELONGATE CHARGES TECHNOLOGY FOR BLOCK STONE PRODUCTION
Purpose. To develop a technology for obtaining the low-energy systems for extended charges by determining the technological parameters of the production stages, such as drying, milling, screening, mixing, making of a she...