Log in

Relevant bibliographies by topics / Formalized description / Journal articles

To see the other types of publications on this topic, follow the link: Formalized description.

Journal articles on the topic 'Formalized description'

Author: Grafiati

Published: 28 May 2022

Last updated: 30 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Formalized description.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

SURKOVA, Kateryna, Kostiantyn SURKOV, and Maryna LOMAKINA. "Formalized description of flight dispatchers’ activities with slot messages." Scientific Bulletin of Flight Academy. Section: Pedagogical Sciences 11 (2022): 82–88. http://dx.doi.org/10.33251/2522-1477-2022-11-82-88.

Full text

Abstract:

The article is devoted to the analysis of the flight dispatchers’ complex activities while working with messages on the organization of air traffic flows. Based on expert information, typical operation situations in the airline have been identified, the probabilities of their occurrence have been determined. The decomposition scheme and algorithms of flight dispatchers’ activity while working with the messages concerning slots have been made. The description of flight dispatchers’ activity with messages on the organization of air traffic flows using the decomposition procedure and flowcharts o

APA, Harvard, Vancouver, ISO, and other styles

2

Poddubnyi, V. O., and O. V. Severinov. "Vulnerability management using a formalized description." Radiotekhnika, no. 203 (December 23, 2020): 121–25. http://dx.doi.org/10.30837/rt.2020.4.203.11.

Full text

Abstract:

The article considers the main stages of vulnerability management and the problems arising in risk assessment and decision making during vulnerability management in the information and telecommunications system. It is assumed that modern techniques are not sufficient for effective vulnerability management. There is a need for creating a risk assessment system to improve decision-making procedures. The comparison of the formalized and informal description of the information and telecommunication system is described. The conclusion from the comparison results is that the formalized description h

APA, Harvard, Vancouver, ISO, and other styles

3

Andreev, Dmitry, Sergey Lyokhin, Sergey Verteshev, and Lilia Motaylenko. "MODELS AND ALGORITHMS FOR CONSTRUCTING A FORMALIZED DESCRIPTION OF PRODUCTION TECHNOLOGIES." ENVIRONMENT. TECHNOLOGIES. RESOURCES. Proceedings of the International Scientific and Practical Conference 2 (June 20, 2019): 21. http://dx.doi.org/10.17770/etr2019vol2.4063.

Full text

Abstract:

The problem of technological knowledge formalization is being considered. Discussed features of systems in the scope of ontological engineering of processes, applied to solving the problems of the structural representation of technologies associated with the organization of their analysis. Proposed a model of the concept of technological action, which identifies technological actions as holistic conceptual formations. Constructed the model of formalized description of technologies, which provides unambiguous transition from verbal descriptions of technologies to their ontological representatio

APA, Harvard, Vancouver, ISO, and other styles

4

Andreev, Dmitry, Alexander Dementiev, Sergey Lyokhin, Sergey Verteshev, and Olga Timofeeva. "INDICATORS OF FORMALIZED DESCRIPTION QUALITY AND ANALYSIS OF PRODUCTION TECHNOLOGIES." ENVIRONMENT. TECHNOLOGIES. RESOURCES. Proceedings of the International Scientific and Practical Conference 2 (June 17, 2021): 21–27. http://dx.doi.org/10.17770/etr2021vol2.6622.

Full text

Abstract:

This paper discusses conceptual basis for assessment and analysis of model quality relating to formalized description of technologies. The authors give indicators used to assess formalized and textual descriptions of technologies. They raise some questions concerning the analysis of technologies that enable to make a list of indicators. The paper examines decomposition structures of specific technologies and provides the calculations of introduced coefficients.

APA, Harvard, Vancouver, ISO, and other styles

5

Gvozdov, R. Y., and R. V. Oliynykov. "Method and technique of formal design of complex information security system in information and telecommunication systems." Radiotekhnika, no. 203 (December 23, 2020): 91–96. http://dx.doi.org/10.30837/rt.2020.4.203.08.

Full text

Abstract:

The aim of the article is to develop a methodology for the formal design of the complex information security system in information and telecommunication systems. At the moment, there are no methods for the formal design of complex information security system in information and telecommunication systems, so the development of such a methodology is an urgent task. The article discusses the methods of formalized modeling of information security policy and methods of formalized description of the information and telecommunications system and information processing processes. The necessity of forma

APA, Harvard, Vancouver, ISO, and other styles

6

NECHAEV, V. V. "METHOD OF REPLACEMENT OF SPARE PARTS FOR MAINTAINING AND ENSURING OPERATING STATE OF MOTOR TRANSPORT." World of transport and technological machines 72, no. 1 (2021): 3–12. http://dx.doi.org/10.33979/2073-7432-2021-72-1-3-12.

Full text

Abstract:

A method based on the sequential implementation of a formalized description of the process of consuming spare parts, a formalized description of the process of determining the state of the el-ements of a market system, a formalized description of the process of determining a rational route for transporting the necessary material and technical means is presented.

APA, Harvard, Vancouver, ISO, and other styles

7

Nesterovich, S. A., А. N. Brezhneva, and S. A. Zyryanova. "Formalized Information Description for a Medical Expert System." Proceedings of the Southwest State University. Series: IT Management, Computer Science, Computer Engineering. Medical Equipment Engineering 13, no. 3 (2024): 21–30. http://dx.doi.org/10.21869/2223-1536-2023-13-3-21-30.

Full text

Abstract:

The purpose of research. The information description of the patient's health status is based on quantitative parameters and qualitative signs. It is proposed to formalize quantitative and qualitative information about the patient's state of health in order to use this information to build a medical expert system. The expert system built on the basis of this information will be able to make a more accurate diagnosis, which will reduce the time for diagnosis and ultimately increase the effectiveness of treatment.Methods. On the basis of a formalized information description of the state of health

APA, Harvard, Vancouver, ISO, and other styles

8

Sborshchikov, Sergey, and Dmitriy Leybman. "FORMALIZED DESCRIPTION OF STRATEGIC CONTROL SYSTEM FUNCTIONING." Vestnik MGSU, no. 10 (October 2016): 151–59. http://dx.doi.org/10.22227/1997-0935.2016.10.151-159.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Stacy, Zachary A., Abigail M. Yancey, Allison E. High, Amie D. Brooks, and John M. Burke. "Description of a formalized residency preparation program." Currents in Pharmacy Teaching and Learning 5, no. 2 (2013): 140–45. http://dx.doi.org/10.1016/j.cptl.2012.09.013.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

TABANAKOVA, Vera D., and Julia G. Kokorina. "THE UNIVERSAL STRUCTURE OF A DICTIONARY ARTICLE AS A STEP TOWARDS FORMALIZING THE LEXICOGRAPHICAL DESCRIPTION OF ARCHEOLOGICAL TERMINOLOGY." Tyumen State University Herald. Humanities Research. Humanitates 6, no. 3 (2020): 22–37. http://dx.doi.org/10.21684/2411-197x-2020-6-3-22-37.

Full text

Abstract:

This article studies the formalized lexicographic description of the archaeological terminology and aims to develop its basis — the universal dictionary entry structure. The authors prove the need for the unified description of an archaeological term in dictionaries and terminological databases. The comparative analysis of the dictionary entry structures of contemporary archaeological dictionaries and term databases has shown that the unified principles for the formalized description of an archaeological object have not yet been developed. Thus, the archaeological dictionaries, as well as the

APA, Harvard, Vancouver, ISO, and other styles

11

Meid, Sandra, Roman Baum, Philipp Bhatty, et al. "Developing a Module for Generating Formalized Semantic Morphological Descriptions for Morph∙D∙Base." Biodiversity Information Science and Standards 1 (July 25, 2017): e15141. https://doi.org/10.3897/tdwgproceedings.1.15141.

Full text

Abstract:

We demonstrate the early prototype of a new module for Morph∙D∙Base that allows the generation of highly formalized semantic morphological descriptions (http://escience.biowikifarm.net/wiki/EScience-Compliant_Standards_for_Morphology). The resulting morphological descriptions follow the individuals-based <em>Instance Anatomy</em> data scheme (as opposed to the class-based <em>Semantic Phenotypes</em> data scheme). The module allows the description of a specimen's anatomy by generating a granular representation of the parts of the specimen to be described, using ontology-terms from known ontolo

APA, Harvard, Vancouver, ISO, and other styles

12

Yu, Cen, and Wei Jia Zhou. "Task Description Logic Based on Temporal Constrain Net." Applied Mechanics and Materials 529 (June 2014): 681–85. http://dx.doi.org/10.4028/www.scientific.net/amm.529.681.

Full text

Abstract:

Modern robots usually need to operate non-cooperative targets in unstructured environment. There are unpredictable events which can reduce the capacity of robots. Therefore, task descriptions for robots just indicate what to do, not how to do. This paper proposes a task description logic based on temporal constrain net to provide a formalized method for task description and deciding whether a plan meets the requirements of task description or not.

APA, Harvard, Vancouver, ISO, and other styles

13

AKSYONOV, A. A. "FORMALIZED REPRESENTATION OF SCHOOL MATH PROBLEMS." Scientific Notes of Orel State University 100, no. 3 (2023): 149–53. http://dx.doi.org/10.33979/1998-2720-2023-100-3-149-153.

Full text

Abstract:

The article deals with the problem of using formalization as a theoretical method of scientific cognition in the scientific description of school mathematical tasks. The essence of the formalization method and one of the results of its application in the methodology of teaching mathematics are demonstrated.

APA, Harvard, Vancouver, ISO, and other styles

14

Wang, Shu, Xueying Zhang, Peng Ye, Mi Du, Yanxu Lu, and Haonan Xue. "Geographic Knowledge Graph (GeoKG): A Formalized Geographic Knowledge Representation." ISPRS International Journal of Geo-Information 8, no. 4 (2019): 184. http://dx.doi.org/10.3390/ijgi8040184.

Full text

Abstract:

Formalized knowledge representation is the foundation of Big Data computing, mining and visualization. Current knowledge representations regard information as items linked to relevant objects or concepts by tree or graph structures. However, geographic knowledge differs from general knowledge, which is more focused on temporal, spatial, and changing knowledge. Thus, discrete knowledge items are difficult to represent geographic states, evolutions, and mechanisms, e.g., the processes of a storm “{9:30-60 mm-precipitation}-{12:00-80 mm-precipitation}-…”. The underlying problem is the constructor

APA, Harvard, Vancouver, ISO, and other styles

15

Tuboltseva, O. M., and S. I. Matorin. "Graphical notation for formalized description of project financing systems." Scientific bulletins of the Belgorod State University. Series: Economics. Computer Science 45, no. 2 (2018): 333–42. http://dx.doi.org/10.18413/2411-3808-2018-45-2-333-342.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Eglit, Y. Y., К. Y. Eglit, A. R. Balybin, and E. V. Morozov. "FORMALIZED SCHEME OF FUNCTIONING OF THE TRANSPORT AND FORWARDING SYSTEM." System analysis and logistics 3, no. 29 (2021): 29–34. http://dx.doi.org/10.31799/2077-5687-2021-3-29-34.

Full text

Abstract:

The article presents the development of a formalized scheme for the functioning of the freight forwarding system. Development is a description of the simulation algorithm of the system, in which all processes of freight forwarding company, based on the description of the scheme and the development of the modeling algorithm.

APA, Harvard, Vancouver, ISO, and other styles

17

Nataliya, Vasiltcova, Panforova Iryna, and Neumyvakina Olga. "IMPROVING A METHOD TO ANALYZE THE REQUIREMENTS FOR AN INFORMATION SYSTEM FOR CONSISTENCY." Eastern-European Journal of Enterprise Technologies 3, no. 2 (105) (2020): 17–27. https://doi.org/10.15587/1729-4061.2020.205518.

Full text

Abstract:

Modern representations of characteristics of functional requirements virtually have no formalized descriptions. That is why the application of the existing methods for the analysis of requirements faces the problems of formal confirmation or refutation of the fact that a functional requirement has an appropriate characteristic. These problems are particularly pronounced in the analysis of functional requirements for consistency. To eliminate these problems, the task was set to develop formalized descriptions of the situations of the complete and partial inconsistency of knowledge-oriented desc

APA, Harvard, Vancouver, ISO, and other styles

18

Xu, Kaibo, Junkang Feng, Malcolm Crowe, and Lin Liu. "A description logic based approach to formalizing the information bearing capability of paths in ER schemata." International Journal of Intelligent Computing and Cybernetics 8, no. 3 (2015): 279–91. http://dx.doi.org/10.1108/ijicc-08-2014-0039.

Full text

Abstract:

Purpose – The purpose of this paper is to show how description logics (DLs) can be applied to formalizing the information bearing capability (IBC) of paths in entity-relationship (ER) schemata. Design/methodology/approach – The approach follows and extends the idea presented in Xu and Feng (2004), which applies DLs to classifying paths in an ER schema. To verify whether the information content of a data construct (e.g. a path) covers a semantic relation (which formulates a piece of information requirement), the principle of IBC under the source-bearer-receiver framework is presented. It is obs

APA, Harvard, Vancouver, ISO, and other styles

19

Dohr, Fabio, and Michael Vielhaber. "Formalized Description of a Framework for Simulation-based Mechatronic Design." Procedia CIRP 21 (2014): 354–59. http://dx.doi.org/10.1016/j.procir.2014.03.171.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Vorobyov, V. S., K. G. Gromenko, A. V. Konkin, and M. N. Barsuk. "Formalized description of motorway construction, reconstruction and repair control system." IOP Conference Series: Materials Science and Engineering 918 (October 7, 2020): 012003. http://dx.doi.org/10.1088/1757-899x/918/1/012003.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Stepanov, P. B., E. M. Yurkovich, V. A. Khegai, and I. A. Kuzin. "Formalized description of technical structures of coal-mine extraction-transport complex." Soviet Mining Science 25, no. 6 (1989): 566–69. http://dx.doi.org/10.1007/bf02528310.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Berdugina, Anastasiya A., and Aleksandr V. Chernov. "DEVELOPMENT OF THE STRUCTURE AND CONTENT OF 3D REAL ESTATE OBJECT MODELS IN CADASTRE." Interexpo GEO-Siberia 3, no. 2 (2020): 87–98. http://dx.doi.org/10.33764/2618-981x-2020-3-2-87-98.

Full text

Abstract:

The presentation of the property in the form of a three-dimensional model has become a subject of increased interest in cadastre management over the past decades. An analysis of this area in Russia showed a virtual lack of dynamics in the development of 3D modeling. One of the reasons is the lack of structure and content of a 3D model. The article presents a formalized description of the elements of a 3D model, on the basis of which a set of criteria and their indicators was proposed and a comparative analysis of the content of 3D models of advanced foreign countries was carried out. As a resu

APA, Harvard, Vancouver, ISO, and other styles

23

Kostenko, K. I., and B. E. Levitskii. "Ontology of hierarchical design of intelligent systems." Ontology of Designing 12, no. 1 (2022): 68–81. http://dx.doi.org/10.18287/2223-9537-2022-12-1-68-81.

Full text

Abstract:

A system of concepts used in the technology of designing and application of intelligent systems formalized models is presented. The technology is based on concepts that reflect the commonality of theoretical and empirical ideas about the structural and functional characteristics of knowledge formed in different areas involved in the study of thought processes and memory organization structures. Concept images are implemented as formalized descriptions of the basic elements of intelligent systems, divided into three separate groups: knowledge representation formalisms, multi-dimensional knowled

APA, Harvard, Vancouver, ISO, and other styles

24

Trokoz, D. A., K. A. Zabrodina, V. S. Safronova, et al. "Formalized description of cyber-physical systems models using temporary non-deterministic automata." Journal of Physics: Conference Series 1889, no. 2 (2021): 022068. http://dx.doi.org/10.1088/1742-6596/1889/2/022068.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Koskina, Y. "Formalized description of the process of vessel's engagement for carriage of cargo." Collection of scientific works of the State University of Infrastructure and Technologies series "Transport Systems and Technologies" 34 (December 2019): 267–79. http://dx.doi.org/10.32703/2617-9040-2019-34-2-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Serdyuk, A. I., A. I. Sergeev, M. A. Kornipaev, and D. A. Proskurin. "Formalized description and computer simulation of the operation of flexible production systems." Russian Engineering Research 37, no. 1 (2017): 60–65. http://dx.doi.org/10.3103/s1068798x17010208.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

李, 远天. "Formalized Description of Semantic Primitive Structure of Auditory Verbs in Modern Chinese." Modern Linguistics 08, no. 02 (2020): 208–18. http://dx.doi.org/10.12677/ml.2020.82029.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

ZVYAGIN, L. S. "DEVELOPMENT OF SYSTEM MODELING AND METHODS OF FORMALIZED REPRESENTATION OF SYSTEMS." EKONOMIKA I UPRAVLENIE: PROBLEMY, RESHENIYA 1, no. 9 (2020): 40–49. http://dx.doi.org/10.36871/ek.up.pr2020.09.01.005.

Full text

Abstract:

Modern science constantly improves approaches and methods of formalization of certain regularities using the latest achievements in mathematics, computer science and other exact Sciences. The methodological basis for research and modeling of systems is often considered to be the theory and practice of mathematical modeling. In the classical system approach, as a rule, system modeling is based on the use of similarity theories and scientific experiment, as well as mathematical statistics, algorithm theory, and a number of other fundamental classical theories. However, focusing only on mathemati

APA, Harvard, Vancouver, ISO, and other styles

29

Mietchen, Daniel, Jonathan Jeschke, and Tina Heger. "Introducing Hypothesis Descriptions." Research Ideas and Outcomes 10 (February 1, 2024): e119805. https://doi.org/10.3897/rio.10.e119805.

Full text

Abstract:

Hypotheses play a central role in the scientific process, yet the way they are introduced often leaves much room for interpretation, which makes it difficult to use them later on: to study and test them, to delineate their scope and to explore the relationships they have to other hypotheses or concepts, to datasets, methodologies or other resources. Here, we introduce a new article type in RIO that is dedicated to them: <i>Hypothesis Descriptions</i>. Such articles combine a specific verbal definition of a hypothesis with a concise description of its components and provide pointers to prior wo

APA, Harvard, Vancouver, ISO, and other styles

30

Strakhov, S. Yu, and A. A. Karasev. "NETWORK MODELS AS A SOLUTION FOR COMPLEX TECHNICAL PRODUCT`S DIAGNOSING PROBLEMS SOLVING." Issues of radio electronics, no. 2 (February 20, 2019): 38–42. http://dx.doi.org/10.21778/2218-5453-2019-2-38-42.

Full text

Abstract:

Authors explore issue of applicability of the methodology of building diagnostic software using network formal models in the functional testing of electronic equipment as part of complex technical systems. Using methods of system analysis allows to perform a decomposition of interdependent subsystems and to reveal basic acts of interaction between the control‑verification equipment and the object of diagnosis. Mathematical apparatus of Petri nets should be employed for the formalized description of such acts and determined the cause‑and‑effect relations in the diagnosed complex system`s proces

APA, Harvard, Vancouver, ISO, and other styles

31

Mitin, A. I. "Scenario Approach when Conducting Practical Training in Information Technology." Моделирование и анализ данных 13, no. 1 (2023): 58–66. http://dx.doi.org/10.17759/mda.2023130106.

Full text

Abstract:

<p>The article describes an approach based on a formalized description of technological techniques for performing exercises in information technology courses. The language of description of such techniques is given, which makes it possible to organically fit technological features into the text of the exercise in natural language. Fragments of real scenarios of practical training in information technology are given.</p>

APA, Harvard, Vancouver, ISO, and other styles

32

Пасько, Надія, та Олександр В’юненко. "МОДЕЛЮВАННЯ ЛЮДИНО-МАШИННОЇ ВЗАЄМОДІЇ В СИСТЕМАХ ОБРОБКИ ІНФОРМАЦІЇ І УПРАВЛІННЯ". European Science, sge17-02 (28 лютого 2020): 6–52. http://dx.doi.org/10.30890/2709-2313.2023-17-02-027.

Full text

Abstract:

Polyergatic control systems with many active operators were investigated. The problem of choosing the optimal fixing of the human operator for an application for execution of the function is examined. Models of the formalized description of the organizat

APA, Harvard, Vancouver, ISO, and other styles

33

Köhler, Christian, Roman Baum, Peter Grobe, Sandra Meid, Björn Quast, and Lars Vogt. "Using Semantics for morphological Descriptions in Morph•D•Base." Biodiversity Information Science and Standards 2 (May 22, 2018): e25535. http://dx.doi.org/10.3897/biss.2.25535.

Full text

Abstract:

Providing data in a semantically structured format has become the gold standard in data science. However, a significant amount of data is still provided as unstructured text - either because it is legacy data or because adequate tools for storing and disseminating data in a semantically structured format are still missing. We have developed a description module for Morph∙D∙Base, a semantic knowledge base for taxonomic and morphologic data, that enables users to generate highly standardized and formalized descriptions of anatomical entities using free text and ontology-based descriptions. The m

APA, Harvard, Vancouver, ISO, and other styles

34

Köhler, Christian, Roman Baum, Peter Grobe, Sandra Meid, Björn Quast, and Lars Vogt. "Using Semantics for morphological Descriptions in Morph•D•Base." Biodiversity Information Science and Standards 2 (May 22, 2018): e25535. https://doi.org/10.3897/biss.2.25535.

Full text

Abstract:

Providing data in a semantically structured format has become the gold standard in data science. However, a significant amount of data is still provided as unstructured text - either because it is legacy data or because adequate tools for storing and disseminating data in a semantically structured format are still missing. We have developed a description module for Morph∙D∙Base, a semantic knowledge base for taxonomic and morphologic data, that enables users to generate highly standardized and formalized descriptions of anatomical entities using free text and ontology-based descriptions. The m

APA, Harvard, Vancouver, ISO, and other styles

35

Ko, Hanseok. "Description of ‘Civil Revolution’ in the World History Course and formalized Modern Times." Korean History Education Review 140 (December 31, 2016): 197. http://dx.doi.org/10.18622/kher.2016.12.140.197.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Vasin, D. Yu, V. P. Gromov, and S. I. Rotkov. "Geometric modeling of raster images of documents with weakly formalized description of objects." Information Technology and Nanotechnology, no. 2391 (2019): 358–65. http://dx.doi.org/10.18287/1613-0073-2019-2391-358-365.

Full text

Abstract:

In this paper, we analyze graphic documents with a weakly formalized description of objects (WFGD) and reveal their main features that influence the choice of models, methods and algorithms for processing such documents. In the framework of the development of the combinatorial-geometric approach, a geometric model for describing WFGDs with a pronounced orientation of linear objects is proposed. We also propose a technology for vectorization of raster images of WFGDs in the presence of noise in the source data. The effectiveness of an extended class of vector models (linear and segment-node mod

APA, Harvard, Vancouver, ISO, and other styles

37

Ушкаренко, Олександр Олегович. "Formalized description of the elements of semiconductor electricity converters at different decomposition levels." Bulletin of NTU "Kharkiv Polytechnic Institute" Series: Electrical Machines and Electromechanical Energy Conversion, no. 20 (1345) (November 24, 2019): 177–82. http://dx.doi.org/10.20998/2409-9295.2019.20.26.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Losev, Yuriy, and Konstantin Losev. "FORMALIZATION FOUNDATIONS TO COMPUTER AUTOMATED LIFE CYCLE MANAGEMENT TECHNOLOGIES OF CONSTRUCTION FACILITIES." Construction and Architecture 10, no. 4 (2022): 86–90. http://dx.doi.org/10.29039/2308-0191-2022-10-4-81-85.

Full text

Abstract:

The article provides a formalized model of object-oriented automated process control technologies at the construction facilities life cycle stages. The subject area is the life cycle of buildings and structures, the object of the analysis is the formalization of automated technologies for the construction facilities life cycle. The research uses the method of formalized description based on the constructive direction of the theory of algorithms, operating with the concept of K-processes. An important methodological principle of generating K-processes for obtaining constructive objects is intro

APA, Harvard, Vancouver, ISO, and other styles

39

Ogarok, A. L. "Method of semantic search and analysis of information." Informatization and communication, no. 1 (March 31, 2020): 75–80. http://dx.doi.org/10.34219/2078-8320-2020-11-1-75-80.

Full text

Abstract:

The methodology of semantic search and analysis of information is considered. The results of the analysis of various approaches to solving the problem of a complete linguistic analysis of textual information in computer systems are presented. A formalized description of the method of semantic search and analysis of information is given.

APA, Harvard, Vancouver, ISO, and other styles

40

Kostrikov, Sergiy, and Denys Serohin. "Localized urbogeosystemic analsis through lidar data for formalized urban population estimation." Human Geography Journal, no. 36 (May 30, 2024): 7–25. https://doi.org/10.26565/2076-1333-2024-36-01.

Full text

Abstract:

Our paper makes focus on the further research of the urban geosystem approach potential in the domain of social-geographical research through the combined application of GIS tools and the results of urban remote sensing (URS). The challenges of urban studies demand innovative methods for estimating population, which can be based on the building geometry and the architectural morphology of the city reconstructed on the URS base. Proceeding from this, the aim of the paper is to represent localized urban geosystem analysis (LUGA), which is implemented on the largest geospatial scale of the given

APA, Harvard, Vancouver, ISO, and other styles

41

Komarov, V. N., and S. M. Roschin. "Formalization of Basic Processes and Mathematical Model of the System for Monitoring and Analysis of Publications of Electronic Media." Bulletin of the South Ural State University. Ser. Computer Technologies, Automatic Control & Radioelectronics 21, no. 4 (2021): 28–36. http://dx.doi.org/10.14529/ctcr210403.

Full text

Abstract:

The article describes an approach to formalizing basic processes and building a mathematical model for a system for collecting and analyzing data from electronic media. The authors, as part of a scientific study, are creating a system, including the development of new algorithms, methods and approaches for collecting and analyzing textual information from Internet news sources. The main direction of the study is the application of methods for the mining of text data based on the technology of artificial neural networks, methods of natural language processing, text mining, machine learning and

APA, Harvard, Vancouver, ISO, and other styles

42

Laros, Jeroen F. J., André Blavier, Johan T. den Dunnen, and Peter E. M. Taschner. "A formalized description of the standard human variant nomenclature in Extended Backus-Naur Form." BMC Bioinformatics 12, Suppl 4 (2011): S5. http://dx.doi.org/10.1186/1471-2105-12-s4-s5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Volkov, G. Yu. "Formalized description and systematization of the structures of plane multilink frictional and gear mechanisms." Russian Engineering Research 31, no. 1 (2011): 1–5. http://dx.doi.org/10.3103/s1068798x11010254.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Bogdanov, Yu M., A. L. Ogarok, and S. A. Selivanov. "Monitoring cybersecurity of complex Information and control systems of critical Infrastructure." Informatization and communication 1 (January 2021): 142–50. http://dx.doi.org/10.34219/2078-8320-2021-12-1-142-150.

Full text

Abstract:

Approaches to the complex solution of problems of monitoring cybersecurity of complex information and control systems are considered. A formalized description and interrelationship of the processes of ensuring cybersecurity and monitoring of cybersecurity are presented. The results of research on the implementation of monitoring processes for cybersecurity of complex information and control systems are presented.

APA, Harvard, Vancouver, ISO, and other styles

45

Melnichyuk, A. V., and V. A. Sudakov. "Application of an Ontological Approach to Process of Development and Implementation of Electronic Flight Bag Systems." Моделирование и анализ данных 10, no. 1 (2020): 157–65. http://dx.doi.org/10.17759/mda.2020100110.

Full text

Abstract:

The paper considers application of an ontological approach to development and implementation of Electronic Flight Bag information systems (EFB). An ontology of EFB systems’ subject area with description of a conceptual model of EFB software application for take-off and landing characteristics calculations of aircraft has been developed. The ontology was formalized using Protégé software.

APA, Harvard, Vancouver, ISO, and other styles

46

Mironov, Timur, Dmitry Andreev, Iuliia Bruttan, Lilia Motaylenko, and Elena Lineva. "ALGORITHMIC PROCEDURES FOR CONSTRUCTING ONTOLOGICAL REPRESENTATIONS OF PRODUCTION TECHNOLOGIES." ENVIRONMENT. TECHNOLOGIES. RESOURCES. Proceedings of the International Scientific and Practical Conference 2 (June 17, 2021): 116–23. http://dx.doi.org/10.17770/etr2021vol2.6624.

Full text

Abstract:

This paper focuses on formalized description of technologies as a category of procedural knowledge. It describes the model of ontological representation of technologies. The authors present the algorithms of staged combined design of unified decomposition constructions that enable to form decomposition structures of technologies. The article introduces the extended algorithm to construct ontological representation of technologies.

APA, Harvard, Vancouver, ISO, and other styles

47

Popelo, Olha, Svitlana Tulchynska, Hanna Sytnyk, Iryna Vysochyn, and Semen Khanin. "Formation of imperatives of the creative economy creation under the influence of intellectual and innovative determinants." LAPLAGE EM REVISTA 7, Extra-B (2021): 624–33. http://dx.doi.org/10.24115/s2446-622020217extra-b1110p.624-633.

Full text

Abstract:

The essence of the concept of imperativism is revealed through a triad of interpretations: as the results of the formalization of norms and rules; as scientific statements and research conditions; as beliefs and principles of socio-economic behavior. The approaches to research and description of imperatives have been established and formalized. The article provides an interpretation in the context of the creative economy concept and its formation in terms of intellectual and innovative determinants. The formation of the imperatives system of creative economy is proposed to be formalized in thr

APA, Harvard, Vancouver, ISO, and other styles

48

Zelenko, E. V. "Review of the Mathematical Model, Properties, Classes and other Features of Software Agent Development." Èlektronnoe modelirovanie 46, no. 2 (2024): 3–14. http://dx.doi.org/10.15407/emodel.46.02.003.

Full text

Abstract:

Reviewed: features of the definition of an agent and a software agent, its dimensions and other components; models of software agents and its properties; classification of software agents by architecture, communication principles and agent communication languages (ACL), as well as existing platforms for their development (e.g., JADE, SPADE); multi-agent system (MAS); behavior types of SPADE software agent based on the example of one of the platforms (including for subsequent experiments to compare behaviors in terms of hardware resources usage). Minor adjustments have been made to the syntax o

APA, Harvard, Vancouver, ISO, and other styles

49

Heger, Tina, Jonathan Jeschke, Maud Bernard-Verdier, Camille Musseau, and Daniel Mietchen. "Hypothesis Description: Enemy Release Hypothesis." Research Ideas and Outcomes 10 (February 1, 2024): e107393. https://doi.org/10.3897/rio.10.e107393.

Full text

Abstract:

This paper provides a brief overview of a major hypothesis in invasion biology: the enemy release hypothesis. Building on a summary of different previous definitions, we provide the following revised definition: "A reduced pressure by enemies in the non-native range contributes to invasion success." Further, we suggest formalizing the hypothesis in the basic form 'subject - relationship - object' to allow for disambiguating the different existing meanings and enhancing their usability by machines.

APA, Harvard, Vancouver, ISO, and other styles

50

Makarov, V. A., and F. A. Korolev. "The leak detection process modeling." Journal of Physics: Conference Series 2373, no. 2 (2022): 022033. http://dx.doi.org/10.1088/1742-6596/2373/2/022033.

Full text

Abstract:

Abstract The paper describes formalized description concept of the expiration gas process through product manufacturing defects in the control of tightness: Model Internal description based on the use of parameters of circuit theory and mathematical model of the external description made by means of functional expansions obtained on the basis of mathematical models experimental research of the implemented software package external description. A dynamic model of the outflow of gases through product defects is presented by the Wiener-Voltaire equations. The proposed method for studying the outf

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!