Mathematical Methods in Technologies and Technics最新文献

THE FORMATION OF METRICS OF INNOVATIVE POTENTIAL AND PROSPECTS 形成指标的创新潜力和前景

Mathematical Methods in Technologies and Technics Pub Date : 2023-04-18 DOI: 10.52348/2712-8873_mmtt_2022_12_84

D. Korobkin, S. Fomenkov, A.R. Zlobin, G.A. Vereshchak

{"title":"THE FORMATION OF METRICS OF INNOVATIVE POTENTIAL AND PROSPECTS","authors":"D. Korobkin, S. Fomenkov, A.R. Zlobin, G.A. Vereshchak","doi":"10.52348/2712-8873_mmtt_2022_12_84","DOIUrl":"https://doi.org/10.52348/2712-8873_mmtt_2022_12_84","url":null,"abstract":"n today's rapidly developing technological world, new ideas, inventions and developments appear daily. At the same time, individual technologies may have common features, through the use of similar methods, modification and expansion of existing technologies, or solving a common problem for which developments are being created. Patenting is often used to preserve these ideas and protect intellectual property. During the development of the program for the analysis of the patent array to obtain criteria assessments of innovation potential and prospects, enshrined in patent high—tech technical systems and technologies, the subject area — patent array was investigated, methods for analyzing texts in natural language and various options for determining the criteria of innovation potential were considered. As a result, algorithms were developed to obtain the following criteria for assessing the innovative potential of a patent: the mass nature of the subject of this technology for the current year and the estimated frequency of occurrence for the next, the economic characteristics of the patent holder's company, the potential citation of the patent. These criteria are determined based on the analysis of texts and patent data by means of clustering, classification, regression analysis, normalization of the name of the patent holder. The developed algorithms have been tested on patents issued by the US Patent and Trademark Office, as well as on Google Patents.","PeriodicalId":193601,"journal":{"name":"Mathematical Methods in Technologies and Technics","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-04-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114191807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

VERIFICATION OF AUTOMATONS BY MODEL CHECKING METHOD 用模型检验法验证自动机

Mathematical Methods in Technologies and Technics Pub Date : 2022-10-01 DOI: 10.52348/2712-8873_mmtt_2022_11_58

A.G. Yurtaev, M. Stepanov, D. Petrov, V.A. Fedorov

{"title":"VERIFICATION OF AUTOMATONS BY MODEL CHECKING METHOD","authors":"A.G. Yurtaev, M. Stepanov, D. Petrov, V.A. Fedorov","doi":"10.52348/2712-8873_mmtt_2022_11_58","DOIUrl":"https://doi.org/10.52348/2712-8873_mmtt_2022_11_58","url":null,"abstract":"The article analyzes software verification of control systems based on finite state machines, presents a classification of software correctness checks, advantages and disadvantages of various approaches to software verification, and, as a result, justifies the use of static verification methods, namely the model checking method. To solve applied problems, it is proposed to use the NuSMV software verifier. A brief overview of NuSMV verifier is given. The route of verification of software written in automaton style by the method of model checking is described. Each stage is described in the example of two interacting automata method. The construction of the model is described from a verbal description of its transformation into a finite state machine model with intermediate states and the transformation of the automaton into a formal finite state machine model in the SMV language, which is the input data for the NuSMV verifier. A description of the requirements for the model is presented, ranging from a verbal description of the requirements to the formalization of requirements in language of the temporal logic CTL. Based on the obtained model in SMV language and the obtained formalization of the requirements in CTL temporal logic language, NuSMV verifier checks the feasibility of the obtained requirements on the obtained model of the automata system. An analysis of the results of verification according to the specified requirements is given. For verification, an error was introduced into the model, leading to a negative result of the feasibility of the specified requirements. The verifier indicated the presence of an error and the path leading to it. Based on the results of the analysis of the results, a conclusion is made about the need to use this verification method in tasks of responsible applications. Further steps for the development and implementation of this method are described.","PeriodicalId":193601,"journal":{"name":"Mathematical Methods in Technologies and Technics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125848708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

SOME CONSEQUENCES OF THE LINEARITY PROPERTY IN THE THEORY OF ELECTRICAL CIRCUITS 电路理论中线性特性的一些结果

Mathematical Methods in Technologies and Technics Pub Date : 2022-05-19 DOI: 10.52348/2712-8873_mmtt_2021_3_81

S. Basan, V. Pivnev, E. Basan, N. Poluyanovich

引用次数: 0

INFORMATION SUPPORT FOR DISTANCE STUDING OF THE DISCIPLINE «PROJECT MANAGEMENT» USING THE PLATFORMS MOODLE AND TEAMS 使用平台模型和团队为«项目管理»学科远程学习提供信息支持

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2021_10_79

E. Bokova, A. Bolshakov, I.E. Golubeva

引用次数: 0

IDENTIFICATION OF SPECKLE STRUCTURES FOR THE MAPPING OF BIOLOGICAL FLUIDS 用于生物流体制图的斑点结构识别

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2021_9_35

S. Frolov, A. Potlov, T. Frolova

引用次数: 0

APPLICATION OF CLUSTER ANALYSIS TO THE STUDY OF INTERSUBJECT RELATIONSHIPS 聚类分析在学科间关系研究中的应用

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2021_9_101

N. Brovka, M. Klimovich

引用次数: 0

MULTI-LEVEL MANAGEMENT OF ORGANIZATIONAL SYSTEMS ON THE BASIS OF RISK CASCADING 基于风险级联的组织系统多层次管理

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2021_5_42

I. Bondareva, A. Khanova

引用次数: 1

THE APPLICATION OF CAD IN THE DEVELOPMENT OF A CENTRIFUGAL APPARATUS FOR MIXING BULK MATERIALS WITH SECONDARY RAW MATERIALS cad在散料与二次原料混合离心装置研制中的应用

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2021_11_59

D. Fedorova, D. Stenko, D. Bakhaeva, A. Kapranova

引用次数: 0

SOME CYBERSECURITY ISSUES 一些网络安全问题

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2022_10_114

B.Y. Atamanov, M. Churiyev

引用次数: 0

NEUROCOMPUTER CYBER-PHYSICAL MONITORING SYSTEM FOR ELECTRICAL INSULATION MATERIALS OF CABLE NETWORKS 电缆网电绝缘材料神经计算机网络物理监测系统

Mathematical Methods in Technologies and Technics Pub Date : 1900-01-01 DOI: 10.52348/2712-8873_mmtt_2022_11_20

N. Poluyanovich, M. Dubyago

引用次数: 0