SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING
The technique for the formalized description of functional models of chemical manufacturing is developed. The technique is based on graph theory. The model is described as a set of oriented labeled graphs that are hierarchically organized by the decompose relationship. First we describe the conversi...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
MIREA - Russian Technological University
2017-10-01
|
| Series: | Тонкие химические технологии |
| Subjects: | |
| Online Access: | https://www.finechem-mirea.ru/jour/article/view/118 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850027888844210176 |
|---|---|
| author | E. V. Burlyaeva V. V. Burlyaev V. S. Tsekhanovich |
| author_facet | E. V. Burlyaeva V. V. Burlyaev V. S. Tsekhanovich |
| author_sort | E. V. Burlyaeva |
| collection | DOAJ |
| description | The technique for the formalized description of functional models of chemical manufacturing is developed. The technique is based on graph theory. The model is described as a set of oriented labeled graphs that are hierarchically organized by the decompose relationship. First we describe the conversion of a single diagram to a labeled graph, including adding new nodes and edges. The nodes of the graph correspond to boxes, borders and branching points of the arrows at the diagram. The edges of the graph correspond to the arrows at the diagram. The graph descriptions of the model of base functional relationships such as output-input, output-control, output-mechanism are represented. We develop procedures to convert the border arrows and branch arrows. Conversion of branch arrows is performed depending on changes of the labels of branches. Branching of each arrow corresponds to a subgraph including several edges and perhaps additional nodes. Oriented labeled graphs are described by set-theoretic notation that contains the labels of the edges and the roles of nodes. The hierarchy of diagrams is specified by a decompose relationship, which includes the parent chart, the child chart and the decomposed box. As an example, we present the set-theoretic description of the functional model of vinyl acetate manufacturing. The application of mathematical apparatus built within the framework of graph theory for verification and analysis of functional diagrams based on the proposed formal description is an area for further research. |
| format | Article |
| id | doaj-art-386205acb45444fda7c1f266723be5ea |
| institution | DOAJ |
| issn | 2410-6593 2686-7575 |
| language | Russian |
| publishDate | 2017-10-01 |
| publisher | MIREA - Russian Technological University |
| record_format | Article |
| series | Тонкие химические технологии |
| spelling | doaj-art-386205acb45444fda7c1f266723be5ea2025-08-20T02:59:59ZrusMIREA - Russian Technological UniversityТонкие химические технологии2410-65932686-75752017-10-01125717810.32362/2410-6593-2017-12-5-71-78118SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURINGE. V. Burlyaeva0V. V. Burlyaev1V. S. Tsekhanovich2Moscow Technological University (M.V. Lomonosov Institute of Fine Chemical Technologies)Moscow Technological University (M.V. Lomonosov Institute of Fine Chemical Technologies)Moscow Technological University (M.V. Lomonosov Institute of Fine Chemical Technologies)The technique for the formalized description of functional models of chemical manufacturing is developed. The technique is based on graph theory. The model is described as a set of oriented labeled graphs that are hierarchically organized by the decompose relationship. First we describe the conversion of a single diagram to a labeled graph, including adding new nodes and edges. The nodes of the graph correspond to boxes, borders and branching points of the arrows at the diagram. The edges of the graph correspond to the arrows at the diagram. The graph descriptions of the model of base functional relationships such as output-input, output-control, output-mechanism are represented. We develop procedures to convert the border arrows and branch arrows. Conversion of branch arrows is performed depending on changes of the labels of branches. Branching of each arrow corresponds to a subgraph including several edges and perhaps additional nodes. Oriented labeled graphs are described by set-theoretic notation that contains the labels of the edges and the roles of nodes. The hierarchy of diagrams is specified by a decompose relationship, which includes the parent chart, the child chart and the decomposed box. As an example, we present the set-theoretic description of the functional model of vinyl acetate manufacturing. The application of mathematical apparatus built within the framework of graph theory for verification and analysis of functional diagrams based on the proposed formal description is an area for further research.https://www.finechem-mirea.ru/jour/article/view/118functional modelingverification of functional modelset theorygraph theoryvinyl acetate production |
| spellingShingle | E. V. Burlyaeva V. V. Burlyaev V. S. Tsekhanovich SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING Тонкие химические технологии functional modeling verification of functional model set theory graph theory vinyl acetate production |
| title | SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING |
| title_full | SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING |
| title_fullStr | SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING |
| title_full_unstemmed | SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING |
| title_short | SET-THEORETIC DESCRITPION OF FUNCTIONAL MODELS OF CHEMICAL MANUFACTURING |
| title_sort | set theoretic descritpion of functional models of chemical manufacturing |
| topic | functional modeling verification of functional model set theory graph theory vinyl acetate production |
| url | https://www.finechem-mirea.ru/jour/article/view/118 |
| work_keys_str_mv | AT evburlyaeva settheoreticdescritpionoffunctionalmodelsofchemicalmanufacturing AT vvburlyaev settheoreticdescritpionoffunctionalmodelsofchemicalmanufacturing AT vstsekhanovich settheoreticdescritpionoffunctionalmodelsofchemicalmanufacturing |