首页 > 最新文献

Radioelectronic and Computer Systems最新文献

英文 中文
Моделювання транспортної логістики військових вантажів з урахуванням збитків, які виникають у зоні бойових дій через запізнення у постачанні 对军用货物的运输物流建模,考虑到战区因延迟交付而产生的缺陷
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.05
O. Fedorovich, Oleg Uruskiy, I. Chepkov, Mikhail Lukhanin, Yu. Pronchakov, K. Rybka, Yuliia Leshchenko
The multi-criteria task related to the simulation of transport logistics for the delivery of military cargo to the war zone in the conditions of delays and risks is stated and solved. The relevance of the study is related to the analysis of possible losses in the war zone (loss of armed forces, damage and destruction of military equipment, change in hostilities from offensive to defensive, etc.) due to the delayed supply of weapons and military equipment. The study simulates the logistics of transportation in the diverse transport networks to ensure timely delivery of military cargo in the conditions of possible delays and risks that affect the amount of damage in the war zone. Given the complex dynamics of military cargo delivery related to heterogeneity and transshipment in the transport network, the original agent simulation model has been created. This model makes it possible to study the supply process and allows to assess delays, risks and losses. A new algorithm to minimize the delivery time of military cargo, based on the distribution of request clones in a graph representing a heterogeneous transport network is presented. An algorithm to minimize supply risks in wartime that considers long logistics chains for transporting military cargo to the war zone is presented. We study the losses caused by the untimely arrival of various types of military equipment and weapons in the war zone, based on full factorial experiments and the assessments of military experts in the field of military logistics are conducted. Given the contradictions of the criteria of delays, risks and losses, the multi-criteria problem of compromise search optimization based on integer (Boolean) programming is stated and solved. The efficiency of the proposed approach is demonstrated by simulating military cargo supply to the war zone. Alternative supply routes, risks and losses due to delays in supply are analyzed. The choice of the compromise alternative of military cargo delivery route to the war zone is substantiated. The scientific novelty of the study is related to the development of methods and models based on agent simulation, experimental theory and integer optimization, that makes it possible to estimate the delays and losses in the supply of military cargo to the war zone in long logistics chains of diverse transport network. The results of the study can be used to build the optimal routes to supply military cargo in wartime.
阐述并解决了在延误和风险条件下向战区运送军事货物的运输物流模拟相关的多准则任务。这项研究的相关性涉及分析由于武器和军事装备的延迟供应而在战区可能造成的损失(武装部队的损失、军事装备的损坏和销毁、敌对行动从进攻变为防御等)。该研究模拟了不同运输网络中的运输物流,以确保在可能影响战区损失程度的延误和风险的情况下及时交付军事货物。考虑到运输网络中与异质性和转运相关的军用货物运输的复杂动力学,创建了原始的代理模拟模型。该模型使研究供应过程成为可能,并允许评估延误、风险和损失。基于异构运输网络图中请求克隆的分布,提出了一种最小化军用货物交付时间的新算法。提出了一种战时最小化供应风险的算法,该算法考虑了向战区运输军用物资的长物流链。基于全因子实验和军事后勤领域军事专家的评估,我们研究了各种类型的军事装备和武器过早到达战区所造成的损失。考虑到延迟、风险和损失准则之间的矛盾,提出并解决了基于整数(布尔)规划的折衷搜索优化的多准则问题。通过模拟战区的军用物资供应,验证了该方法的有效性。分析了替代供应路线、供应延迟造成的风险和损失。选择通往战区的军事货物运输路线的折衷方案是有根据的。该研究的科学新颖性与基于agent仿真、实验理论和整数优化的方法和模型的发展有关,这使得在多样化运输网络的长物流链中估计战区军事货物供应的延误和损失成为可能。研究结果可用于建立战时军用物资供应的最佳路线。
{"title":"Моделювання транспортної логістики військових вантажів з урахуванням збитків, які виникають у зоні бойових дій через запізнення у постачанні","authors":"O. Fedorovich, Oleg Uruskiy, I. Chepkov, Mikhail Lukhanin, Yu. Pronchakov, K. Rybka, Yuliia Leshchenko","doi":"10.32620/reks.2022.2.05","DOIUrl":"https://doi.org/10.32620/reks.2022.2.05","url":null,"abstract":"The multi-criteria task related to the simulation of transport logistics for the delivery of military cargo to the war zone in the conditions of delays and risks is stated and solved. The relevance of the study is related to the analysis of possible losses in the war zone (loss of armed forces, damage and destruction of military equipment, change in hostilities from offensive to defensive, etc.) due to the delayed supply of weapons and military equipment. The study simulates the logistics of transportation in the diverse transport networks to ensure timely delivery of military cargo in the conditions of possible delays and risks that affect the amount of damage in the war zone. Given the complex dynamics of military cargo delivery related to heterogeneity and transshipment in the transport network, the original agent simulation model has been created. This model makes it possible to study the supply process and allows to assess delays, risks and losses. A new algorithm to minimize the delivery time of military cargo, based on the distribution of request clones in a graph representing a heterogeneous transport network is presented. An algorithm to minimize supply risks in wartime that considers long logistics chains for transporting military cargo to the war zone is presented. We study the losses caused by the untimely arrival of various types of military equipment and weapons in the war zone, based on full factorial experiments and the assessments of military experts in the field of military logistics are conducted. Given the contradictions of the criteria of delays, risks and losses, the multi-criteria problem of compromise search optimization based on integer (Boolean) programming is stated and solved. The efficiency of the proposed approach is demonstrated by simulating military cargo supply to the war zone. Alternative supply routes, risks and losses due to delays in supply are analyzed. The choice of the compromise alternative of military cargo delivery route to the war zone is substantiated. The scientific novelty of the study is related to the development of methods and models based on agent simulation, experimental theory and integer optimization, that makes it possible to estimate the delays and losses in the supply of military cargo to the war zone in long logistics chains of diverse transport network. The results of the study can be used to build the optimal routes to supply military cargo in wartime.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44062290","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}
引用次数: 1
Impact of war on COVID-19 pandemic in Ukraine: the simulation study 战争对乌克兰新冠肺炎疫情的影响:模拟研究
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.01
D. Chumachenko, Pavlo Pyrohov, I. Meniailov, T. Chumachenko
The COVID-19 pandemic has posed a challenge to public health systems worldwide. As of March 2022, almost 500 million cases have been reported worldwide. More than 6.2 million people died. The war that Russia launched for no reason on the territory of Ukraine is not only the cause of the death of thousands of people and the destruction of dozens of cities but also a large-scale humanitarian crisis. The military invasion also affected the public health sector. The impossibility of providing medical care, non-compliance with sanitary conditions in areas where active hostilities are occurring, high population density during the evacuation, and other factors contribute to a new stage in the spread of COVID-19 in Ukraine. Building an adequate model of the epidemic process will make it possible to assess the actual statistics of the incidence of COVID-19 and assess the risks and effectiveness of measures to curb the curse of the disease epidemic process. The article aims to develop a simulation model of the COVID-19 epidemic process in Ukraine and to study the results of an experimental study in war conditions. The research is targeted at the epidemic process of COVID-19 under military conditions. The subjects of the study are models and methods for modeling the epidemic process based on statistical machine learning methods. To achieve the study's aim, we used forecasting methods and built a model of the COVID-19 epidemic process based on the polynomial regression method. Because of the experiments, the accuracy of predicting new cases of COVID-19 in Ukraine for 30 days was 97,98%, and deaths of COVID-19 in Ukraine – was 99,87%. The model was applied to data on the incidence of COVID-19 in Ukraine for the first month of the war (02/24/22 - 03/25/22). The calculated predictive values showed a significant deviation from the registered statistics. Conclusions. This article describes experimental studies of implementing the COVID-19 epidemic process model in Ukraine based on the polynomial regression method. The constructed model was sufficiently accurate in deciding on anti-epidemic measures to combat the COVID-19 pandemic in the selected area. The study of the model in data on the incidence of COVID-19 in Ukraine during the war made it possible to assess the completeness of the recorded statistics, identify the risks of the spread of COVID-19 in wartime, and determine the necessary measures to curb the epidemic curse of the incidence of COVID-19 in Ukraine. The investigation of the experimental study results shows a significant decrease in the registration of the COVID-19 incidence in Ukraine. An analysis of the situation showed difficulty in accessing medical care, a reduction in diagnosis and registration of new cases, and the war led to the intensification of the COVID-19 epidemic process.
COVID-19大流行对全球公共卫生系统构成了挑战。截至2022年3月,全球已报告近5亿例病例。超过620万人死亡。俄罗斯在乌克兰领土上无缘无故发动的战争不仅造成数千人死亡,数十座城市被毁,而且造成了大规模的人道主义危机。军事入侵也影响到公共卫生部门。无法提供医疗服务、在敌对行动频繁的地区不遵守卫生条件、撤离期间人口密度高以及其他因素导致COVID-19在乌克兰的传播进入了一个新阶段。建立适当的疫情过程模型,将有助于评估COVID-19发病率的实际统计数据,并评估遏制疾病流行过程的风险和措施的有效性。本文旨在建立乌克兰COVID-19流行过程的模拟模型,并研究战争条件下实验研究的结果。本研究针对新冠肺炎在军事条件下的流行过程。本研究的主题是基于统计机器学习方法的流行病过程建模的模型和方法。为了达到研究目的,我们采用预测方法,基于多项式回归方法建立了COVID-19流行过程模型。由于这些实验,预测乌克兰30天内新发COVID-19病例的准确性为97.98%,乌克兰COVID-19的死亡率为99.87%。该模型应用于战争第一个月(22年2月24日至22年3月25日)乌克兰COVID-19发病率的数据。计算的预测值与登记的统计量有很大的偏差。结论。本文描述了基于多项式回归方法实现乌克兰COVID-19疫情过程模型的实验研究。所构建的模型对选定地区应对新冠肺炎大流行的防疫措施决策具有足够的准确性。通过对乌克兰战时新冠肺炎发病率数据模型的研究,可以评估记录统计数据的完整性,识别战时新冠肺炎传播的风险,确定遏制乌克兰新冠肺炎发病率流行诅咒的必要措施。对实验研究结果的调查显示,乌克兰新冠肺炎病例登记率明显下降。对局势的分析表明,难以获得医疗服务,新病例的诊断和登记减少,战争导致COVID-19流行病进程加剧。
{"title":"Impact of war on COVID-19 pandemic in Ukraine: the simulation study","authors":"D. Chumachenko, Pavlo Pyrohov, I. Meniailov, T. Chumachenko","doi":"10.32620/reks.2022.2.01","DOIUrl":"https://doi.org/10.32620/reks.2022.2.01","url":null,"abstract":"The COVID-19 pandemic has posed a challenge to public health systems worldwide. As of March 2022, almost 500 million cases have been reported worldwide. More than 6.2 million people died. The war that Russia launched for no reason on the territory of Ukraine is not only the cause of the death of thousands of people and the destruction of dozens of cities but also a large-scale humanitarian crisis. The military invasion also affected the public health sector. The impossibility of providing medical care, non-compliance with sanitary conditions in areas where active hostilities are occurring, high population density during the evacuation, and other factors contribute to a new stage in the spread of COVID-19 in Ukraine. Building an adequate model of the epidemic process will make it possible to assess the actual statistics of the incidence of COVID-19 and assess the risks and effectiveness of measures to curb the curse of the disease epidemic process. The article aims to develop a simulation model of the COVID-19 epidemic process in Ukraine and to study the results of an experimental study in war conditions. The research is targeted at the epidemic process of COVID-19 under military conditions. The subjects of the study are models and methods for modeling the epidemic process based on statistical machine learning methods. To achieve the study's aim, we used forecasting methods and built a model of the COVID-19 epidemic process based on the polynomial regression method. Because of the experiments, the accuracy of predicting new cases of COVID-19 in Ukraine for 30 days was 97,98%, and deaths of COVID-19 in Ukraine – was 99,87%. The model was applied to data on the incidence of COVID-19 in Ukraine for the first month of the war (02/24/22 - 03/25/22). The calculated predictive values showed a significant deviation from the registered statistics. Conclusions. This article describes experimental studies of implementing the COVID-19 epidemic process model in Ukraine based on the polynomial regression method. The constructed model was sufficiently accurate in deciding on anti-epidemic measures to combat the COVID-19 pandemic in the selected area. The study of the model in data on the incidence of COVID-19 in Ukraine during the war made it possible to assess the completeness of the recorded statistics, identify the risks of the spread of COVID-19 in wartime, and determine the necessary measures to curb the epidemic curse of the incidence of COVID-19 in Ukraine. The investigation of the experimental study results shows a significant decrease in the registration of the COVID-19 incidence in Ukraine. An analysis of the situation showed difficulty in accessing medical care, a reduction in diagnosis and registration of new cases, and the war led to the intensification of the COVID-19 epidemic process.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47385949","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}
引用次数: 4
The combined model for software development effort estimation using polynomial regression for heterogeneous projects 基于多项式回归的异构项目软件开发工作量估计组合模型
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.06
Amrita Sharma, N. Chaudhary
Subject matter: Estimating the software work is a crucial job of persons participating in software project management. The difficulty in predicting effort is compounded by the fact that software development is always changing. In the past, researchers used one form of development methodology in their work to estimate effort and time. Estimations of the software projects are estimated with different size matrices. The lines of code, story point and use case point are required for the estimation using algorithmic models for procedural, agile, and object-oriented development approaches. Currently, the companies use these three types of size matrices for estimating projects. Not any one model present estimates the effort for different development approaches with different size metrics. This paper proposes a combined software estimation model for three types of development methodologies with regression analysis. The estimation can be done with the proposed model for a software project developed using the procedural, agile, and object-oriented approach. Method: The input for the model is the size of the software, such as lines of code, story point, and use case point. The model is developed using the polynomial regression. The model is developed with the four constant parameters that are based on the procedural, agile, and object-oriented projects. A dataset of python projects for procedural, zia dataset for agile, company dataset for object-oriented methodology is used to propose the model. Conclusion: The effort is predicted for the procedural, agile, and object-oriented projects with the polynomial regression model and compare the results to existing models to validate the work. The R2 is used to measure accuracy and the MMRE is used to determine error. The accuracy of the proposed model was higher than 90% and the error was found to be less than 0.05. The results are compared with case-based reasoning and an ensemble model for the procedural approach, linear regression and Bayesian network for the agile approach, and linear and log-linear regression for object-oriented approach. The minimum error and maximum accuracy is achieved compared to these techniques.
主题:评估软件工作是参与软件项目管理的人员的一项重要工作。软件开发总是在变化,这一事实加剧了预测工作量的困难。过去,研究人员在工作中使用一种形式的开发方法来估计工作量和时间。软件项目的估计是用不同大小的矩阵来估计的。使用过程、敏捷和面向对象开发方法的算法模型进行估计需要代码行、故事点和用例点。目前,这些公司使用这三种类型的规模矩阵来估计项目。目前没有任何一个模型估计不同规模度量的不同开发方法的工作量。本文提出了一个结合回归分析的三种开发方法的组合软件估计模型。评估可以使用所提出的模型来完成,该模型用于使用过程、敏捷和面向对象方法开发的软件项目。方法:模型的输入是软件的大小,例如代码行、故事点和用例点。该模型是使用多项式回归开发的。该模型是用四个恒定参数开发的,这些参数基于过程性、敏捷性和面向对象的项目。使用python项目的数据集用于过程,zia数据集用于敏捷,公司数据集用于面向对象方法来提出模型。结论:用多项式回归模型预测了程序性、敏捷性和面向对象项目的工作量,并将结果与现有模型进行了比较,以验证工作。R2用于测量精度,MMRE用于确定误差。该模型的精度高于90%,误差小于0.05。将结果与基于实例的推理和程序方法的集成模型、敏捷方法的线性回归和贝叶斯网络以及面向对象方法的线性和对数线性回归进行了比较。与这些技术相比,实现了最小误差和最大精度。
{"title":"The combined model for software development effort estimation using polynomial regression for heterogeneous projects","authors":"Amrita Sharma, N. Chaudhary","doi":"10.32620/reks.2022.2.06","DOIUrl":"https://doi.org/10.32620/reks.2022.2.06","url":null,"abstract":"Subject matter: Estimating the software work is a crucial job of persons participating in software project management. The difficulty in predicting effort is compounded by the fact that software development is always changing. In the past, researchers used one form of development methodology in their work to estimate effort and time. Estimations of the software projects are estimated with different size matrices. The lines of code, story point and use case point are required for the estimation using algorithmic models for procedural, agile, and object-oriented development approaches. Currently, the companies use these three types of size matrices for estimating projects. Not any one model present estimates the effort for different development approaches with different size metrics. This paper proposes a combined software estimation model for three types of development methodologies with regression analysis. The estimation can be done with the proposed model for a software project developed using the procedural, agile, and object-oriented approach. Method: The input for the model is the size of the software, such as lines of code, story point, and use case point. The model is developed using the polynomial regression. The model is developed with the four constant parameters that are based on the procedural, agile, and object-oriented projects. A dataset of python projects for procedural, zia dataset for agile, company dataset for object-oriented methodology is used to propose the model. Conclusion: The effort is predicted for the procedural, agile, and object-oriented projects with the polynomial regression model and compare the results to existing models to validate the work. The R2 is used to measure accuracy and the MMRE is used to determine error. The accuracy of the proposed model was higher than 90% and the error was found to be less than 0.05. The results are compared with case-based reasoning and an ensemble model for the procedural approach, linear regression and Bayesian network for the agile approach, and linear and log-linear regression for object-oriented approach. The minimum error and maximum accuracy is achieved compared to these techniques.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44824754","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}
引用次数: 3
Method for quantitative criterion based transformation of the video information alphabet 基于定量准则的视频信息字母表变换方法
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.16
Serhii Khmelevsky, Ivan Tupitsya, Olga Khmelevska, O. Musienko, M. Parkhomenko, Oleksandr Pershin, Igor Nikora, Yan Borovensky, Oleksandr Yakobinchuk
Subject of study: technologies implemented in modern video coding algorithms to ensure the appropriate level of reliability in the conditions of their compact presentation. The goal is to develop a technology for transforming the alphabet of a video information based on a quantitative criterion while ensuring the required quality in networks. Objectives: to formulate requirements to video images in dynamic video surveillance systems; to analyze the existing factors leading to an imbalance between the compression and quality characteristics of existing video coding algorithms; to develop a technology for transforming the alphabet of a video information based on a quantitative criterion (attribute) for the best presentation of the encoded data; to develop a mathematical model for the formation of a quantitativeindicator for the transformation of the video images; to analyze the effectiveness of using the developed mathematical model for the formation of a quantitative indicator to provide the required trustworthiness of data for the video information resource; to assess the effectiveness of the developed technology for transforming the original message in terms of a quantitative indicator to ensure the best presentation of the encoded data; to investigate the dynamics of the probabilistic and statistical characteristics of the original message as a result of transformation according to the quantitative criterion of the significance of the elements. The research methods: compression coding methods implemented on the basis of the JPEG algorithms. The research results: a new approach has been proposed based on the transformation of the encoded alphabet of data by use of a quantitative criterion. A mathematical model has been developed for the formation of a quantitative attributethat determines the significance of the elements of the original message. Conclusions. A technology has been developed for transforming the alphabet of the original message, which allows creating conditions for a more profitable presentation of the encoded data due to a significant increase in the dynamic range of probabilistic and statistical characteristics for the transformed message while ensuring the required level of video image quality.
研究主题:在现代视频编码算法中实现的技术,以确保在紧凑呈现的条件下适当的可靠性水平。目标是开发一种技术,可以根据定量标准转换视频信息的字母,同时确保网络所需的质量。目标:制定动态视频监控系统对视频图像的要求;分析了导致现有视频编码算法的压缩特性和质量特性不平衡的因素;开发一种基于定量标准(属性)对视频信息的字母进行转换的技术,以使所编码的数据得到最佳表示;建立了视频图像变换定量指标形成的数学模型;分析利用所建立的数学模型形成定量指标,为视频信息资源提供所需数据可信度的有效性;以量化指标评估所开发的转换原始讯息技术的成效,以确保编码数据能得到最佳呈现;根据元素显著性的定量标准,研究原始信息作为转换结果的概率和统计特征的动态变化。研究方法:在JPEG算法的基础上实现压缩编码方法。研究结果:提出了一种利用定量准则对数据的编码字母进行变换的新方法。已经开发了一个数学模型,用于形成一个定量属性,该属性决定了原始信息元素的重要性。结论。已经开发了一种用于转换原始消息的字母表的技术,该技术允许为更有利的编码数据表示创造条件,因为转换后的消息的概率和统计特征的动态范围显着增加,同时确保所需的视频图像质量水平。
{"title":"Method for quantitative criterion based transformation of the video information alphabet","authors":"Serhii Khmelevsky, Ivan Tupitsya, Olga Khmelevska, O. Musienko, M. Parkhomenko, Oleksandr Pershin, Igor Nikora, Yan Borovensky, Oleksandr Yakobinchuk","doi":"10.32620/reks.2022.2.16","DOIUrl":"https://doi.org/10.32620/reks.2022.2.16","url":null,"abstract":"Subject of study: technologies implemented in modern video coding algorithms to ensure the appropriate level of reliability in the conditions of their compact presentation. The goal is to develop a technology for transforming the alphabet of a video information based on a quantitative criterion while ensuring the required quality in networks. Objectives: to formulate requirements to video images in dynamic video surveillance systems; to analyze the existing factors leading to an imbalance between the compression and quality characteristics of existing video coding algorithms; to develop a technology for transforming the alphabet of a video information based on a quantitative criterion (attribute) for the best presentation of the encoded data; to develop a mathematical model for the formation of a quantitativeindicator for the transformation of the video images; to analyze the effectiveness of using the developed mathematical model for the formation of a quantitative indicator to provide the required trustworthiness of data for the video information resource; to assess the effectiveness of the developed technology for transforming the original message in terms of a quantitative indicator to ensure the best presentation of the encoded data; to investigate the dynamics of the probabilistic and statistical characteristics of the original message as a result of transformation according to the quantitative criterion of the significance of the elements. The research methods: compression coding methods implemented on the basis of the JPEG algorithms. The research results: a new approach has been proposed based on the transformation of the encoded alphabet of data by use of a quantitative criterion. A mathematical model has been developed for the formation of a quantitative attributethat determines the significance of the elements of the original message. Conclusions. A technology has been developed for transforming the alphabet of the original message, which allows creating conditions for a more profitable presentation of the encoded data due to a significant increase in the dynamic range of probabilistic and statistical characteristics for the transformed message while ensuring the required level of video image quality.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":"21 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41295203","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}
引用次数: 7
Формалізація та розв'язування задачі максимального покриття області з використанням бібліотеки Shapely для моніторингу територій
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.03
Sergiy Yakovlev, Oleksii Kartashov, Alexander Mumrienko
To ensure the life of society, it becomes necessary to create systems for monitoring processes or objects using a network of sensors that can control part of the space (territory). Monitoring is understood as a systematic observation of the parameters of an object to obtain information on their compliance with the initial assumptions. Simultaneously, a physical model is constructed that links the characteristics of the object and information about the observation, which making it possible to identify the properties of the object. Such information is based on the processing of signals received using special control sensors. These signals are digitized to provide data on the coverage areas of the sensors. Thus, the physical model is associated with measuring the ability and quality of perception of control sensors, fixing the geometric relationship between them and points in space. The specified physical model corresponds to the geometric statement of the problem of covering the monitoring area with a set of geometric objects, the shape and size of which is determined by the coverage areas of the sensors. With a limited number of sensors, the problem arises of the maximum possible coverage of the area. In this article, we digress from the type of monitoring object and consider the geometric features of coverage problems that arise when designing systems for monitoring a space of various purposes. The current article presents constructive means of mathematical modeling for solving geometric problems of maximum coverage. To formalize the coverage conditions, the concept of constructing the configuration space of geometric objects and a special class of functions are used to establish the dependence of the measure (area, volume) of the coverage configuration on the placement parameters of the covering objects. Since it is extremely difficult to obtain an analytical form of these functions, an algorithmic approach to their calculation is proposed. The approach was implemented on the Pyton algorithm using the Shapely library. A computational experiment was planned and carried out to establish the dependence of the computation time on the number of geometric objects that make up the coverage configuration. To find the maximum coverage, the BFGS local optimization method of the Scipy.optimize package is used. Numerous examples of the implemenation of the proposed approach are given. Conclusions. The article substantiates the use of a software-algorithmic approach for formalization, calculation and optimization of maximum coverage configurations, which makes it possible to effectively solve complex problems of monitoring space and territories.
为了确保社会的生活,有必要创建使用传感器网络来监控过程或物体的系统,这些传感器网络可以控制部分空间(领土)。监测被理解为系统地观察一个对象的参数,以获得其是否符合初始假设的信息。同时,构建一个物理模型,将物体的特征与观测信息联系起来,从而使识别物体的属性成为可能。这些信息是基于对使用特殊控制传感器接收到的信号的处理。这些信号被数字化以提供传感器覆盖区域的数据。因此,物理模型与测量控制传感器的感知能力和质量有关,固定它们与空间中点之间的几何关系。指定的物理模型对应于用一组几何物体覆盖监控区域问题的几何陈述,这些几何物体的形状和大小由传感器的覆盖区域决定。在传感器数量有限的情况下,出现了最大可能覆盖区域的问题。在本文中,我们将脱离监视对象的类型,并考虑在设计用于监视各种目的空间的系统时出现的覆盖问题的几何特征。本文提出了求解最大覆盖几何问题的数学建模的建设性方法。为了形式化覆盖条件,采用构造几何物体构型空间的概念和一类特殊的函数来建立覆盖构型的测度(面积、体积)与覆盖物体放置参数的依赖关系。由于很难获得这些函数的解析形式,因此提出了一种计算它们的算法方法。该方法是使用shape库在Pyton算法上实现的。规划并进行了计算实验,以确定计算时间与构成覆盖构型的几何对象数量的相关性。为了找到最大的覆盖率,Scipy的BFGS局部优化方法。使用了优化包。给出了实施所提出的方法的许多例子。结论。本文论证了利用软件-算法方法对最大覆盖配置进行形式化、计算和优化,从而有效解决空间和领土监测的复杂问题。
{"title":"Формалізація та розв'язування задачі максимального покриття області з використанням бібліотеки Shapely для моніторингу територій","authors":"Sergiy Yakovlev, Oleksii Kartashov, Alexander Mumrienko","doi":"10.32620/reks.2022.2.03","DOIUrl":"https://doi.org/10.32620/reks.2022.2.03","url":null,"abstract":"To ensure the life of society, it becomes necessary to create systems for monitoring processes or objects using a network of sensors that can control part of the space (territory). Monitoring is understood as a systematic observation of the parameters of an object to obtain information on their compliance with the initial assumptions. Simultaneously, a physical model is constructed that links the characteristics of the object and information about the observation, which making it possible to identify the properties of the object. Such information is based on the processing of signals received using special control sensors. These signals are digitized to provide data on the coverage areas of the sensors. Thus, the physical model is associated with measuring the ability and quality of perception of control sensors, fixing the geometric relationship between them and points in space. The specified physical model corresponds to the geometric statement of the problem of covering the monitoring area with a set of geometric objects, the shape and size of which is determined by the coverage areas of the sensors. With a limited number of sensors, the problem arises of the maximum possible coverage of the area. In this article, we digress from the type of monitoring object and consider the geometric features of coverage problems that arise when designing systems for monitoring a space of various purposes. The current article presents constructive means of mathematical modeling for solving geometric problems of maximum coverage. To formalize the coverage conditions, the concept of constructing the configuration space of geometric objects and a special class of functions are used to establish the dependence of the measure (area, volume) of the coverage configuration on the placement parameters of the covering objects. Since it is extremely difficult to obtain an analytical form of these functions, an algorithmic approach to their calculation is proposed. The approach was implemented on the Pyton algorithm using the Shapely library. A computational experiment was planned and carried out to establish the dependence of the computation time on the number of geometric objects that make up the coverage configuration. To find the maximum coverage, the BFGS local optimization method of the Scipy.optimize package is used. Numerous examples of the implemenation of the proposed approach are given. Conclusions. The article substantiates the use of a software-algorithmic approach for formalization, calculation and optimization of maximum coverage configurations, which makes it possible to effectively solve complex problems of monitoring space and territories.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42079615","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}
引用次数: 4
Algorithm for the synthesis of dual non-parametric control of "black box" type dynamic object with use state matrix diagonalization method 用状态矩阵对角化法合成“黑盒”型动态对象的对偶非参数控制算法
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.02
Anatoliy Zhosan, I. Marynych, O. Serdiuk
The subject of the article is a variant of an efficient algorithm for synthesizing a dual discrete model and controller for tracking a given trajectory of a dynamic nonlinear, nonstationary black box object, using standard procedures for diagonalizing the state matrix, which makes it possible to simplify obtaining control values in numerical form and reduce the number of calculations. The current article presents one the possible solutions to the problem of regulator synthesis to ensure stable development of a given trajectory of motion of a nonlinear, non-stationary object of "black box" type using the concept of dual control. The task was set to simplify the previously proposed synthesis algorithm for the adaptive control of dynamic nonlinear, non-stationary objects using the example of first-order object of the "black box" type, using standard procedures for the diagonalization of the state matrix. An extended state matrix is the basis for obtaining a control model and predicting the behavior of a nonlinear non-stationary object, which in turn makes it possible to effectively use the concept of dual control. Methods used in the work are based on concept of dual control, nonlinear dynamic models, matrix theory, difference equations. Obtained results of this work consist of the development of a version of a dual nonparametric controller of nonstationary nonlinear processes, which has adaptive properties, does not require knowledge of the physics of functioning of the control object, is presented in the form of a simple algebraic formula that does not contain coefficients that require adjustment. Conclusion. Scientific novelty lies in the application of each interval matrix operator control for the diagonalization of the state submatrix. This operator is used for subsequent calculation of the control action. This approach enables the use of a standard diagonalization procedure using mathematical applications. The results are presented in the form of a final formula that does not require use of matrix operations during control, which makes it possible to simplify the synthesis of the controller using standard mathematical procedures.
本文的主题是一种有效算法的变体,该算法用于综合对偶离散模型和控制器,用于跟踪动态非线性非平稳黑箱对象的给定轨迹,使用对角化状态矩阵的标准程序,这使得可以简化以数值形式获得控制值并减少计算次数。本文利用对偶控制的概念,提出了一种可能的解决方案,以确保一个非线性、非平稳的“黑匣子”型物体的给定运动轨迹的稳定发展的调节器综合问题。该任务以一阶“黑箱”型对象为例,利用状态矩阵对角化的标准程序,简化了先前提出的用于动态非线性非平稳对象自适应控制的综合算法。扩展状态矩阵是获得控制模型和预测非线性非平稳对象行为的基础,从而使对偶控制的概念得以有效地应用。在工作中使用的方法是基于对偶控制的概念,非线性动力学模型,矩阵理论,差分方程。这项工作的结果包括开发一种非平稳非线性过程的对偶非参数控制器,该控制器具有自适应特性,不需要控制对象功能的物理知识,以简单代数公式的形式呈现,不包含需要调整的系数。结论。科学新颖之处在于将区间矩阵算子控制应用于状态子矩阵的对角化。这个运算符用于控制动作的后续计算。这种方法允许使用使用数学应用程序的标准对角化过程。结果以最终公式的形式呈现,该公式在控制期间不需要使用矩阵运算,这使得使用标准数学程序简化控制器的综合成为可能。
{"title":"Algorithm for the synthesis of dual non-parametric control of \"black box\" type dynamic object with use state matrix diagonalization method","authors":"Anatoliy Zhosan, I. Marynych, O. Serdiuk","doi":"10.32620/reks.2022.2.02","DOIUrl":"https://doi.org/10.32620/reks.2022.2.02","url":null,"abstract":"The subject of the article is a variant of an efficient algorithm for synthesizing a dual discrete model and controller for tracking a given trajectory of a dynamic nonlinear, nonstationary black box object, using standard procedures for diagonalizing the state matrix, which makes it possible to simplify obtaining control values in numerical form and reduce the number of calculations. The current article presents one the possible solutions to the problem of regulator synthesis to ensure stable development of a given trajectory of motion of a nonlinear, non-stationary object of \"black box\" type using the concept of dual control. The task was set to simplify the previously proposed synthesis algorithm for the adaptive control of dynamic nonlinear, non-stationary objects using the example of first-order object of the \"black box\" type, using standard procedures for the diagonalization of the state matrix. An extended state matrix is the basis for obtaining a control model and predicting the behavior of a nonlinear non-stationary object, which in turn makes it possible to effectively use the concept of dual control. Methods used in the work are based on concept of dual control, nonlinear dynamic models, matrix theory, difference equations. Obtained results of this work consist of the development of a version of a dual nonparametric controller of nonstationary nonlinear processes, which has adaptive properties, does not require knowledge of the physics of functioning of the control object, is presented in the form of a simple algebraic formula that does not contain coefficients that require adjustment. Conclusion. Scientific novelty lies in the application of each interval matrix operator control for the diagonalization of the state submatrix. This operator is used for subsequent calculation of the control action. This approach enables the use of a standard diagonalization procedure using mathematical applications. The results are presented in the form of a final formula that does not require use of matrix operations during control, which makes it possible to simplify the synthesis of the controller using standard mathematical procedures.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48445936","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
Neural network model of heteroassociative memory for the classification task 分类任务的异联想记忆神经网络模型
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.09
T. Martyniuk, B. Krukivskyi, L. Kupershtein, Vitaliy Lukichov
The subject of study in this article is the features of structural organization and functioning of the improved Hamming network as a model of neural network heteroassociative memory for classification by discriminant functions. The goal is to improve the neural network classifier based on the Hamming network, which implements the criterion of maximum similarity using discriminant functions and does not have restrictions on the representation of input data (not only binary data). The tasks: analyze the capabilities of associative memory models using neural networks as an example; analyze the features of classification on the principles of discriminant analysis; develop the structure of a neural network classifier as a model of neural network heteroassociative memory; perform simulation modeling of the classification process on the example of medical diagnosis. The methods used are a mathematical model of the functioning of a neural network as a classifier, and simulation in C#. The following results have been obtained: the structure of the neural network classifier has been improved through the formation connection matrix of a hidden layer from pre-calculated coefficients of linear discriminant functions, and the connection matrix of the output layer in the form symmetrical matrix with zeros on the main diagonal. This allows not only to simplify m connections, where m is the number of classes, in the structure of the output layer of the neural network classifier, but also to speed up the classification process, as well as to implement classification by the maximum of discriminant functions. Conclusions. The scientific novelty of the results obtained is as follows: the neural network classification method has been improved using pre-calculated elements of the connection matrices in the hidden and output layers of the classifier, which does not imply a long process of direct neural network learning with using discriminant functions; the structural organization of a neural network classifier is proposed, which is an improvement of the Hamming network as a model of heteroassociative memory, that allows using this classifier in a decision support system for medical diagnosis; the removal of positive feedback in neurons of the competitive (output) layer is implemented, which allows not only simplifies the structure of the neural network classifier but also speeds up the classification process almost 2 times, which is confirmed by the simulation results.
本文研究的主题是改进的Hamming网络作为一种用于判别函数分类的神经网络异联想记忆模型的结构组织和功能特征。目标是改进基于汉明网络的神经网络分类器,该分类器使用判别函数实现最大相似性标准,并且对输入数据(不仅仅是二进制数据)的表示没有限制。任务:以神经网络为例分析联想记忆模型的能力;运用判别分析原理分析了分类的特点;开发神经网络分类器的结构作为神经网络异联想记忆的模型;以医学诊断为例,对分类过程进行仿真建模。所使用的方法是神经网络作为分类器的功能的数学模型,以及C#中的模拟。得到了以下结果:通过由预先计算的线性判别函数的系数形成隐藏层的连接矩阵,以及输出层的连接阵形式为主对角线上有零的对称矩阵,改进了神经网络分类器的结构。这不仅允许在神经网络分类器的输出层的结构中简化m个连接,其中m是类的数量,还允许加快分类过程,以及通过判别函数的最大值来实现分类。结论。所获得结果的科学新颖性如下:使用分类器的隐藏层和输出层中连接矩阵的预先计算元素改进了神经网络分类方法,这并不意味着使用判别函数直接进行神经网络学习的过程很长;提出了一种神经网络分类器的结构组织,它是对作为异联想记忆模型的Hamming网络的改进,允许在医学诊断的决策支持系统中使用该分类器;实现了竞争(输出)层神经元正反馈的去除,不仅简化了神经网络分类器的结构,而且将分类过程加快了近2倍,仿真结果证实了这一点。
{"title":"Neural network model of heteroassociative memory for the classification task","authors":"T. Martyniuk, B. Krukivskyi, L. Kupershtein, Vitaliy Lukichov","doi":"10.32620/reks.2022.2.09","DOIUrl":"https://doi.org/10.32620/reks.2022.2.09","url":null,"abstract":"The subject of study in this article is the features of structural organization and functioning of the improved Hamming network as a model of neural network heteroassociative memory for classification by discriminant functions. The goal is to improve the neural network classifier based on the Hamming network, which implements the criterion of maximum similarity using discriminant functions and does not have restrictions on the representation of input data (not only binary data). The tasks: analyze the capabilities of associative memory models using neural networks as an example; analyze the features of classification on the principles of discriminant analysis; develop the structure of a neural network classifier as a model of neural network heteroassociative memory; perform simulation modeling of the classification process on the example of medical diagnosis. The methods used are a mathematical model of the functioning of a neural network as a classifier, and simulation in C#. The following results have been obtained: the structure of the neural network classifier has been improved through the formation connection matrix of a hidden layer from pre-calculated coefficients of linear discriminant functions, and the connection matrix of the output layer in the form symmetrical matrix with zeros on the main diagonal. This allows not only to simplify m connections, where m is the number of classes, in the structure of the output layer of the neural network classifier, but also to speed up the classification process, as well as to implement classification by the maximum of discriminant functions. Conclusions. The scientific novelty of the results obtained is as follows: the neural network classification method has been improved using pre-calculated elements of the connection matrices in the hidden and output layers of the classifier, which does not imply a long process of direct neural network learning with using discriminant functions; the structural organization of a neural network classifier is proposed, which is an improvement of the Hamming network as a model of heteroassociative memory, that allows using this classifier in a decision support system for medical diagnosis; the removal of positive feedback in neurons of the competitive (output) layer is implemented, which allows not only simplifies the structure of the neural network classifier but also speeds up the classification process almost 2 times, which is confirmed by the simulation results.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48624790","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}
引用次数: 2
Information technology for analysis of waste management objects infrastructure 废物管理对象基础设施分析的信息技术
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.08
S. Danshyna, A. Nechausov, S. Andrieiev, Valeriy Cheranovskiy
The subject of study in this article is the process of analyzing infrastructure objects for waste management. The current article increases the objectivity of waste management infrastructure objects estimated by developing a model and method of information technology for analyzing several indicators of these objects based on the use of spatially distributed data. Objectives: to analyze the key factors affecting the waste management infrastructure (WMI) to select possible ways to improve the efficiency of its functioning; to develop a model of the WMI objects analyzing process, which determines the structure of information technology for analyzing several indicators of these objects using spatially distributed data; to improve the method of identification and verification of data about WMI objects. The following results were obtained. An approach to the estimation of WMI objects based on set-theoretical and functional modeling of the process of analyzing these objects is proposed. The method for identifying and verifying data about WMI objects has been improved, based on considering them in the form of geographical objects, considering current cartographic and satellite data, which, in contrast to the existing ones, will allow an objective assessment of their compliance with legal and construction standards. For the first time, the structure of information technology for analyzing several indicators of WMI objects is proposed, the use of which in decision support systems will make objective judgments about the existing infrastructure based on spatial data using geoinformation systems. Conclusions. The results of the bibliographic research confirmed that effective monitoring of WMI objects to ensure compliance with legislation in the field of waste management is extremely difficult. This process requires the development of specialized models and methods focused on the use of geoinformation systems for their implementation in decision support systems. Scientific and methodological support of information technology for analyzing several indicators of WMI objects has been developed. Its usage in the tasks of estimating the state of the corresponding objects of the Kharkiv region confirmed that many of them do not meet the existing legal and building requirements, which requires close attention to the problem of waste management and the development of appropriate management decisions.
本文研究的主题是废物管理基础设施对象的分析过程。本文通过开发一种基于空间分布数据分析这些对象的若干指标的信息技术模型和方法,提高了废物管理基础设施对象估计的客观性。目标:分析影响废物管理基础设施(WMI)的关键因素,选择可能的方法来提高其运作效率;开发了WMI对象分析过程模型,该模型确定了利用空间分布数据分析这些对象的若干指标的信息技术结构;改进WMI对象数据的识别和验证方法。得到了以下结果:提出了一种基于集合理论和功能建模的WMI目标估计方法。确定和核查WMI目标数据的方法已经改进,其基础是将它们作为地理目标来考虑,考虑到目前的制图和卫星数据,与现有数据相比,这些数据将能够客观地评估它们是否符合法律和建设标准。首次提出了用于分析WMI对象若干指标的信息技术结构,将其应用于决策支持系统中,基于地理信息系统的空间数据对现有基础设施进行客观判断。结论。书目研究的结果证实,有效监测废物管理对象以确保遵守废物管理领域的立法是极其困难的。这一过程需要开发专门的模型和方法,重点是利用地理信息系统在决策支持系统中实施这些模型和方法。为分析WMI对象的若干指标提供了信息技术的科学和方法支持。它在估计哈尔科夫地区相应物体状态的任务中的使用证实,其中许多物体不符合现有的法律和建筑要求,这需要密切关注废物管理问题并制定适当的管理决策。
{"title":"Information technology for analysis of waste management objects infrastructure","authors":"S. Danshyna, A. Nechausov, S. Andrieiev, Valeriy Cheranovskiy","doi":"10.32620/reks.2022.2.08","DOIUrl":"https://doi.org/10.32620/reks.2022.2.08","url":null,"abstract":"The subject of study in this article is the process of analyzing infrastructure objects for waste management. The current article increases the objectivity of waste management infrastructure objects estimated by developing a model and method of information technology for analyzing several indicators of these objects based on the use of spatially distributed data. Objectives: to analyze the key factors affecting the waste management infrastructure (WMI) to select possible ways to improve the efficiency of its functioning; to develop a model of the WMI objects analyzing process, which determines the structure of information technology for analyzing several indicators of these objects using spatially distributed data; to improve the method of identification and verification of data about WMI objects. The following results were obtained. An approach to the estimation of WMI objects based on set-theoretical and functional modeling of the process of analyzing these objects is proposed. The method for identifying and verifying data about WMI objects has been improved, based on considering them in the form of geographical objects, considering current cartographic and satellite data, which, in contrast to the existing ones, will allow an objective assessment of their compliance with legal and construction standards. For the first time, the structure of information technology for analyzing several indicators of WMI objects is proposed, the use of which in decision support systems will make objective judgments about the existing infrastructure based on spatial data using geoinformation systems. Conclusions. The results of the bibliographic research confirmed that effective monitoring of WMI objects to ensure compliance with legislation in the field of waste management is extremely difficult. This process requires the development of specialized models and methods focused on the use of geoinformation systems for their implementation in decision support systems. Scientific and methodological support of information technology for analyzing several indicators of WMI objects has been developed. Its usage in the tasks of estimating the state of the corresponding objects of the Kharkiv region confirmed that many of them do not meet the existing legal and building requirements, which requires close attention to the problem of waste management and the development of appropriate management decisions.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43333276","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}
引用次数: 1
Functional safety analysis of safety-critical system using state transition diagram 基于状态转换图的安全关键系统功能安全分析
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.12
L. Ozirkovskyy, B. Volochiy, O. Shkiliuk, M. Zmysnyi, Pavlo Kazan
The subject of research is to determine the functional safety indicators of a fault-tolerant safety-critical system, namely, the minimal cut sets’ probability for a given duration of the system’s operation, using the state transition diagram (STD). The aim is to create a new method for analyzing the functional safety of a fault-tolerant safety-critical system. This method is based on the methodology of developing models of operational reliability behavior in the form of STD. This methodology provides a detailed representation of inoperable states and their relation with pre-failure (inoperable critical) states. The task is to propose a new classification for inoperable states of the STD to obtain all possible emergencies in the same space of inoperable states. This approach allows consideration the correlations between the failures, that it is impossible to use the fault trees. Since the space of inoperable states can reach hundreds and thousands of states, a method is proposed for their automated determination according to the classification. The state space method was used to conduct the validation of the method of functional safety analysis. The following results were obtained: the system of Chapman-Kolmogorov differential equations is formed in accordance with the STD and it provides the dependence of the functional safety indicator – the minimal cut sets’ probability as a function of the operational duration of the fault-tolerant safety-critical system. This dependence is called the emergency function. The method for determining the emergency function is based on the usage of the emergency mask. Note that the proposed model of operational reliability behavior in the form of STD provides the possibility to conduct both the functional safety and the reliability indicators. The value of the minimal cut sets’ probability for a given duration of operation is determined using the fault tree for the validation of the proposed method of functional safety analysis. The fault tree was built by Reliasoft BlockSim software. The obtained value coincides with the value of the minimal cut sets’ probability, which was defined by the emergency function for the same operational duration. Thus, the designer can comprehensively analyze the feasibility of introducing redundancy (structural, temporal, functional). Conclusions: the scientific novelty of the obtained results is the following: the new method for determining safe, critical and catastrophic states in the set of inoperable states is used in the methodology of the STD developing to obtain the stochastic model of operational reliability behavior of fault-tolerant safety-critical system. This technique ensures an automated defining of emergency function by using an improved structural-automatic model.
研究的主题是利用状态转移图(STD)确定容错安全关键系统的功能安全指标,即系统在给定运行时间内的最小割集概率。目的是创建一种分析容错安全关键系统功能安全的新方法。该方法基于以STD形式建立运行可靠性行为模型的方法,该方法提供了不可操作状态及其与失效前(不可操作临界)状态的关系的详细表示。任务是提出一种新的STD不可操作状态分类方法,以便在同一不可操作状态空间中获得所有可能的紧急情况。这种方法允许考虑故障之间的相关性,因此不可能使用故障树。由于不可操作状态的空间可以达到成百上千个状态,提出了一种根据分类自动确定不可操作状态的方法。采用状态空间法对功能安全分析方法进行验证。得到如下结果:根据STD建立了Chapman-Kolmogorov微分方程组,并给出了功能安全指标—最小割集概率与容错安全关键系统运行时间的依赖关系。这种依赖关系称为紧急函数。确定应急功能的方法应根据应急掩码的使用情况确定。注意,以STD形式提出的运行可靠性行为模型提供了同时进行功能安全和可靠性指标的可能性。使用故障树确定给定运行时间内最小割集的概率值,以验证所提出的功能安全分析方法。采用Reliasoft BlockSim软件构建故障树。得到的值与相同运行时间下由应急函数定义的最小割集概率值吻合。因此,设计者可以全面分析引入冗余(结构冗余、时间冗余、功能冗余)的可行性。结论:所得结果的科学新颖性在于:在STD开发方法中采用了在不可运行状态集合中确定安全、临界和灾变状态的新方法,得到了容错安全关键系统运行可靠性行为的随机模型。该技术通过使用改进的结构-自动模型,确保了应急功能的自动定义。
{"title":"Functional safety analysis of safety-critical system using state transition diagram","authors":"L. Ozirkovskyy, B. Volochiy, O. Shkiliuk, M. Zmysnyi, Pavlo Kazan","doi":"10.32620/reks.2022.2.12","DOIUrl":"https://doi.org/10.32620/reks.2022.2.12","url":null,"abstract":"The subject of research is to determine the functional safety indicators of a fault-tolerant safety-critical system, namely, the minimal cut sets’ probability for a given duration of the system’s operation, using the state transition diagram (STD). The aim is to create a new method for analyzing the functional safety of a fault-tolerant safety-critical system. This method is based on the methodology of developing models of operational reliability behavior in the form of STD. This methodology provides a detailed representation of inoperable states and their relation with pre-failure (inoperable critical) states. The task is to propose a new classification for inoperable states of the STD to obtain all possible emergencies in the same space of inoperable states. This approach allows consideration the correlations between the failures, that it is impossible to use the fault trees. Since the space of inoperable states can reach hundreds and thousands of states, a method is proposed for their automated determination according to the classification. The state space method was used to conduct the validation of the method of functional safety analysis. The following results were obtained: the system of Chapman-Kolmogorov differential equations is formed in accordance with the STD and it provides the dependence of the functional safety indicator – the minimal cut sets’ probability as a function of the operational duration of the fault-tolerant safety-critical system. This dependence is called the emergency function. The method for determining the emergency function is based on the usage of the emergency mask. Note that the proposed model of operational reliability behavior in the form of STD provides the possibility to conduct both the functional safety and the reliability indicators. The value of the minimal cut sets’ probability for a given duration of operation is determined using the fault tree for the validation of the proposed method of functional safety analysis. The fault tree was built by Reliasoft BlockSim software. The obtained value coincides with the value of the minimal cut sets’ probability, which was defined by the emergency function for the same operational duration. Thus, the designer can comprehensively analyze the feasibility of introducing redundancy (structural, temporal, functional). Conclusions: the scientific novelty of the obtained results is the following: the new method for determining safe, critical and catastrophic states in the set of inoperable states is used in the methodology of the STD developing to obtain the stochastic model of operational reliability behavior of fault-tolerant safety-critical system. This technique ensures an automated defining of emergency function by using an improved structural-automatic model.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47704991","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}
引用次数: 7
Modeling of electrostimulation characteristics to determine the optimal amplitude of current stimuli 模拟电刺激特性,以确定电流刺激的最佳振幅
Q3 Computer Science Pub Date : 2022-05-18 DOI: 10.32620/reks.2022.2.15
Olha Yeroshenko, I. Prasol, M. Suknov
The subject of research- the process of human skeletal muscles electrical stimulation during medical therapy. The subject of the study is a mathematical model of electrostimulation characteristics, which links the amplitude of muscle contraction and the stimulating effect amplitude. The current work develops a mathematical model in the form of an analytical expression to describe the muscle contraction amplitude dependence on electrical stimulus amplitude. Tasks to be solved: to analyze the dependence peculiarity of muscle contraction amplitude in stimulating impulse amplitude; conduct structural and parametric identification of the model; compare the results obtained using practical data, evaluate the model accuracy; use the obtained model for analytical description with the aim of a priori determination of the optimal stimulus amplitude. Methods used mathematical modeling method, methods of structural and parametric identification of models, approximation methods, parametric optimization methods, mathematical analysis methods. Results obtained an analytical model in the form of a 5th degree polynomial is proposed, which reflects the dependence of muscle contraction amplitude in the stimulus amplitude; the degree of the polynomial is selected and the coefficients of the model are obtained using parametric optimization; a model trajectory was built and the accuracy of modeling was estimated; an equation was obtained and its possible solutions were found to determine the optimal value of the stimulus amplitude; the practical application of the research results was substantiated. The results obtained can be used in the selection of individual effects of electrical stimulation during one session, as well as with extrapolation during the entire rehabilitation process. Scientific novelty: an analytical description showing the dependence of skeletal muscle contraction amplitude on the electrical stimulus amplitude was obtained, which allows determining individual optimal parameters of electromyostimulation.
研究主题-在医疗过程中对人体骨骼肌进行电刺激的过程。本研究的主题是电刺激特性的数学模型,该模型将肌肉收缩的幅度和刺激效果的幅度联系起来。目前的工作开发了一个分析表达式形式的数学模型,以描述肌肉收缩幅度对电刺激幅度的依赖性。需要解决的任务:分析肌肉收缩幅度在刺激脉冲幅度中的依赖特性;对模型进行结构和参数识别;将实际数据进行比较,评价模型的准确性;使用所获得的模型进行分析描述,目的是先验地确定最佳刺激幅度。方法采用数学建模方法、结构参数识别方法、模型近似方法、参数优化方法、数学分析方法。结果提出了一个五次多项式形式的分析模型,该模型反映了肌肉收缩幅度对刺激幅度的依赖性;选择多项式的次数,并且使用参数优化来获得模型的系数;建立了模型轨迹,并对模型精度进行了估计;得到了一个方程,并找到了其可能的解,以确定刺激幅度的最佳值;研究结果的实际应用得到了验证。所获得的结果可用于在一次治疗期间选择电刺激的个体效果,也可用于在整个康复过程中进行推断。科学新颖性:获得了骨骼肌收缩幅度对电刺激幅度依赖性的分析描述,从而可以确定电肌肉刺激的个体最佳参数。
{"title":"Modeling of electrostimulation characteristics to determine the optimal amplitude of current stimuli","authors":"Olha Yeroshenko, I. Prasol, M. Suknov","doi":"10.32620/reks.2022.2.15","DOIUrl":"https://doi.org/10.32620/reks.2022.2.15","url":null,"abstract":"The subject of research- the process of human skeletal muscles electrical stimulation during medical therapy. The subject of the study is a mathematical model of electrostimulation characteristics, which links the amplitude of muscle contraction and the stimulating effect amplitude. The current work develops a mathematical model in the form of an analytical expression to describe the muscle contraction amplitude dependence on electrical stimulus amplitude. Tasks to be solved: to analyze the dependence peculiarity of muscle contraction amplitude in stimulating impulse amplitude; conduct structural and parametric identification of the model; compare the results obtained using practical data, evaluate the model accuracy; use the obtained model for analytical description with the aim of a priori determination of the optimal stimulus amplitude. Methods used mathematical modeling method, methods of structural and parametric identification of models, approximation methods, parametric optimization methods, mathematical analysis methods. Results obtained an analytical model in the form of a 5th degree polynomial is proposed, which reflects the dependence of muscle contraction amplitude in the stimulus amplitude; the degree of the polynomial is selected and the coefficients of the model are obtained using parametric optimization; a model trajectory was built and the accuracy of modeling was estimated; an equation was obtained and its possible solutions were found to determine the optimal value of the stimulus amplitude; the practical application of the research results was substantiated. The results obtained can be used in the selection of individual effects of electrical stimulation during one session, as well as with extrapolation during the entire rehabilitation process. Scientific novelty: an analytical description showing the dependence of skeletal muscle contraction amplitude on the electrical stimulus amplitude was obtained, which allows determining individual optimal parameters of electromyostimulation.","PeriodicalId":36122,"journal":{"name":"Radioelectronic and Computer Systems","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2022-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42987310","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}
引用次数: 4
期刊
Radioelectronic and Computer Systems
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1