{"title":"设计初始阶段技术系统结构合成的形式化","authors":"A. V. Zaboleeva-Zotova, A. B. Petrovsky","doi":"10.3103/s0147688223050155","DOIUrl":null,"url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>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.</p>","PeriodicalId":43962,"journal":{"name":"Scientific and Technical Information Processing","volume":"27 1","pages":""},"PeriodicalIF":0.4000,"publicationDate":"2024-03-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design\",\"authors\":\"A. V. Zaboleeva-Zotova, A. B. Petrovsky\",\"doi\":\"10.3103/s0147688223050155\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<h3 data-test=\\\"abstract-sub-heading\\\">Abstract</h3><p>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.</p>\",\"PeriodicalId\":43962,\"journal\":{\"name\":\"Scientific and Technical Information Processing\",\"volume\":\"27 1\",\"pages\":\"\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-03-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Scientific and Technical Information Processing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3103/s0147688223050155\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"INFORMATION SCIENCE & LIBRARY SCIENCE\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Scientific and Technical Information Processing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3103/s0147688223050155","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"INFORMATION SCIENCE & LIBRARY SCIENCE","Score":null,"Total":0}
Formalization of the Structural Synthesis of Technical Systems at the Initial Stage of Design
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.
期刊介绍：
Scientific and Technical Information Processing is a refereed journal that covers all aspects of management and use of information technology in libraries and archives, information centres, and the information industry in general. Emphasis is on practical applications of new technologies and techniques for information analysis and processing.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
