Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design

Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design

This paper considers the means for conceptual design of complex technical systems. A quasi-axiomatic theory was constructed that formalizes the procedures of generating meaning for a natural language description of the process of creating a new technical solution. Semantic categories, structures of...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Scientific and technical information processing 2023-12, Vol.50 (5), p.486-493
Hauptverfasser: Zaboleeva-Zotova, A. V., Petrovsky, A. B.
Format: Artikel
Sprache:eng
Schlagworte:
Computer Science
Computer Systems Organization and Communication Networks
Subsystems
Synthesis
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 493
container_issue 5
container_start_page 486
container_title Scientific and technical information processing
container_volume 50
creator Zaboleeva-Zotova, A. V.
Petrovsky, A. B.
description This paper considers the means for conceptual design of complex technical systems. A quasi-axiomatic theory was constructed that formalizes the procedures of generating meaning for a natural language description of the process of creating a new technical solution. Semantic categories, structures of universal sets, and operations for comparing elements of the universe are introduced. The types of connection of elementary subsystems are described. A formalization of the procedure for multilevel synthesis of a technical system using a generative grammar over fuzzy structures is proposed. An example of the design of a technical device is given.
doi_str_mv 10.3103/S0147688223050155
format Article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2937810174</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2937810174</sourcerecordid><originalsourceid>FETCH-LOGICAL-c268t-7f7c4c03b85c43d214332d0d3c60854edbeb02b7bc7b0015fe9897d7a93a23b3</originalsourceid><addsrcrecordid>eNp1kE9LAzEQxYMoWKsfwNuC59XJn91kj1JtLRQ8tFdZkmy2TWmzNcke6qc32woexNPAe-83wzyE7jE8Ugz0aQmY8VIIQigUgIviAo1wRVkuMBaXaDTY-eBfo5sQtgBFSVg1Qh_Tzu_lzn7JaDuXdW0WNyZbRt_r2Hu5y5ZHl5Rgw-CtjN44q09yiGYfMhlPwNzZaAc5yrUZki8JWbtbdNXKXTB3P3OMVtPX1eQtX7zP5pPnRa5JKWLOW66ZBqpEoRltCGaUkgYaqksQBTONMgqI4kpzBem51lSi4g2XFZWEKjpGD-e1B9999ibEetv13qWLNakoFxgwZymFzyntuxC8aeuDt3vpjzWGeiix_lNiYsiZCSnr1sb_bv4f-gb4M3NX</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2937810174</pqid></control><display><type>article</type><title>Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design</title><source>SpringerNature Journals</source><creator>Zaboleeva-Zotova, A. V. ; Petrovsky, A. B.</creator><creatorcontrib>Zaboleeva-Zotova, A. V. ; Petrovsky, A. B.</creatorcontrib><description>This paper considers the means for conceptual design of complex technical systems. A quasi-axiomatic theory was constructed that formalizes the procedures of generating meaning for a natural language description of the process of creating a new technical solution. Semantic categories, structures of universal sets, and operations for comparing elements of the universe are introduced. The types of connection of elementary subsystems are described. A formalization of the procedure for multilevel synthesis of a technical system using a generative grammar over fuzzy structures is proposed. An example of the design of a technical device is given.</description><identifier>ISSN: 0147-6882</identifier><identifier>EISSN: 1934-8118</identifier><identifier>DOI: 10.3103/S0147688223050155</identifier><language>eng</language><publisher>Moscow: Pleiades Publishing</publisher><subject>Computer Science ; Computer Systems Organization and Communication Networks ; Subsystems ; Synthesis</subject><ispartof>Scientific and technical information processing, 2023-12, Vol.50 (5), p.486-493</ispartof><rights>Allerton Press, Inc. 2023. ISSN 0147-6882, Scientific and Technical Information Processing, 2023, Vol. 50, No. 5, pp. 486–493. © Allerton Press, Inc., 2023. Russian Text © The Author(s), 2022, published in Iskusstvennyi Intellekt i Prinyatie Reshenii, 2022, No. 4, pp. 44–54.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c268t-7f7c4c03b85c43d214332d0d3c60854edbeb02b7bc7b0015fe9897d7a93a23b3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.3103/S0147688223050155$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.3103/S0147688223050155$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27924,27925,41488,42557,51319</link.rule.ids></links><search><creatorcontrib>Zaboleeva-Zotova, A. V.</creatorcontrib><creatorcontrib>Petrovsky, A. B.</creatorcontrib><title>Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design</title><title>Scientific and technical information processing</title><addtitle>Sci. Tech. Inf. Proc</addtitle><description>This paper considers the means for conceptual design of complex technical systems. A quasi-axiomatic theory was constructed that formalizes the procedures of generating meaning for a natural language description of the process of creating a new technical solution. Semantic categories, structures of universal sets, and operations for comparing elements of the universe are introduced. The types of connection of elementary subsystems are described. A formalization of the procedure for multilevel synthesis of a technical system using a generative grammar over fuzzy structures is proposed. An example of the design of a technical device is given.</description><subject>Computer Science</subject><subject>Computer Systems Organization and Communication Networks</subject><subject>Subsystems</subject><subject>Synthesis</subject><issn>0147-6882</issn><issn>1934-8118</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><recordid>eNp1kE9LAzEQxYMoWKsfwNuC59XJn91kj1JtLRQ8tFdZkmy2TWmzNcke6qc32woexNPAe-83wzyE7jE8Ugz0aQmY8VIIQigUgIviAo1wRVkuMBaXaDTY-eBfo5sQtgBFSVg1Qh_Tzu_lzn7JaDuXdW0WNyZbRt_r2Hu5y5ZHl5Rgw-CtjN44q09yiGYfMhlPwNzZaAc5yrUZki8JWbtbdNXKXTB3P3OMVtPX1eQtX7zP5pPnRa5JKWLOW66ZBqpEoRltCGaUkgYaqksQBTONMgqI4kpzBem51lSi4g2XFZWEKjpGD-e1B9999ibEetv13qWLNakoFxgwZymFzyntuxC8aeuDt3vpjzWGeiix_lNiYsiZCSnr1sb_bv4f-gb4M3NX</recordid><startdate>20231201</startdate><enddate>20231201</enddate><creator>Zaboleeva-Zotova, A. V.</creator><creator>Petrovsky, A. B.</creator><general>Pleiades Publishing</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20231201</creationdate><title>Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design</title><author>Zaboleeva-Zotova, A. V. ; Petrovsky, A. B.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c268t-7f7c4c03b85c43d214332d0d3c60854edbeb02b7bc7b0015fe9897d7a93a23b3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><topic>Computer Science</topic><topic>Computer Systems Organization and Communication Networks</topic><topic>Subsystems</topic><topic>Synthesis</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Zaboleeva-Zotova, A. V.</creatorcontrib><creatorcontrib>Petrovsky, A. B.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Scientific and technical information processing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Zaboleeva-Zotova, A. V.</au><au>Petrovsky, A. B.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design</atitle><jtitle>Scientific and technical information processing</jtitle><stitle>Sci. Tech. Inf. Proc</stitle><date>2023-12-01</date><risdate>2023</risdate><volume>50</volume><issue>5</issue><spage>486</spage><epage>493</epage><pages>486-493</pages><issn>0147-6882</issn><eissn>1934-8118</eissn><abstract>This paper considers the means for conceptual design of complex technical systems. A quasi-axiomatic theory was constructed that formalizes the procedures of generating meaning for a natural language description of the process of creating a new technical solution. Semantic categories, structures of universal sets, and operations for comparing elements of the universe are introduced. The types of connection of elementary subsystems are described. A formalization of the procedure for multilevel synthesis of a technical system using a generative grammar over fuzzy structures is proposed. An example of the design of a technical device is given.</abstract><cop>Moscow</cop><pub>Pleiades Publishing</pub><doi>10.3103/S0147688223050155</doi><tpages>8</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0147-6882
ispartof Scientific and technical information processing, 2023-12, Vol.50 (5), p.486-493
issn 0147-6882
1934-8118
language eng
recordid cdi_proquest_journals_2937810174
source SpringerNature Journals
subjects Computer Science
Computer Systems Organization and Communication Networks
Subsystems
Synthesis
title Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T03%3A32%3A04IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formalization%20of%20the%20Structural%20Synthesis%20of%20Technical%20Systems%20at%20the%20Initial%20Stage%20of%20Design&rft.jtitle=Scientific%20and%20technical%20information%20processing&rft.au=Zaboleeva-Zotova,%20A.%20V.&rft.date=2023-12-01&rft.volume=50&rft.issue=5&rft.spage=486&rft.epage=493&rft.pages=486-493&rft.issn=0147-6882&rft.eissn=1934-8118&rft_id=info:doi/10.3103/S0147688223050155&rft_dat=%3Cproquest_cross%3E2937810174%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2937810174&rft_id=info:pmid/&rfr_iscdi=true