检索结果-内蒙古大学图书馆

International Russian Smart Industry Conference (SmartIndustryCon)

作者： Ruslan Akhmadeev Yurii Litvinov Anastasiya Grigorieva Department of Computer Science Saint Petersburg State University Saint Petersburg Russia Department of System Programming Saint Petersburg State University Saint Petersburg Russia

ISBN: (数字)9798331511241

ISBN: (纸本)9798331511258

Acoustic emission (AE) is one of the most relevant and cost-effective non-destructive testing methods for identifying defects in industrial objects. This paper addresses two primary tasks in defectoscopy: locating hazardous AE zones and classifying signals according to the presumed defect type. Through our research, we have determined and experimentally confirmed that the most suitable machine learning method for localization is a modified DBSCAN, while Agglomerative Clustering is optimal for typification. This paper details the specific tuning and modifications applied to these methods for AE. The resulting models were successfully tested on real-world data. The accuracy of the localization results was assessed using statistical analysis and consultations with AE experts, while typification was validated probabilistically and tested on sample data.

关键词： Location awareness Accuracy Recurrent neural networks Statistical analysis Acoustic emission Probabilistic logic Real-time systems Reliability Tuning Testing

来源：评论

学校读者我要写书评

暂无评论

Simulation Model of Data Consistency Protocol for Multicloud Systems 3

Simulation Model of Data Consistency Protocol for Multicloud...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Kozina, Olha Kozin, Mykyta National Technical University 'Kharkiv Polytechnic Institute' Department of Computer Engineering and Programming Kharkiv Ukraine Kharkiv Nation University of Radio Electronics Department of Information Control System Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

The development of multi-cloud systems with an acceptable level of service delays that significantly affect the quality of the end-users experience is an open research problem, for which simulation is successfully used. This paper proposes a simulation model in Matlab for estimating the time to write data updates initiated by the end-users to the databases of all cloud service providers for a multi-cloud system with a geo-distributed middleware that implements, as an example, the VIP-grab data consistency protocol. The simulation results indicate that our model can be useful in choosing a data consistency protocol that influences the architecture of a multicloud system. © 2022 IEEE.

关键词： MATLAB

来源：评论

学校读者我要写书评

暂无评论

Direct and Inverse Optimization Problems in a Gas Deposit Model 15

Direct and Inverse Optimization Problems in a Gas Deposit Mo...

引用

15th International Conference Management of Large-Scale System Development, MLSD 2022

作者： Skiba, Alexander Federal Research Center 'Computer Science and Control' of the Russian Academy of Sciences Design Methods for Developing Systems Department of Mathematical Methods of Regional Programming Moscow Russia

ISBN: (数字)9781665497015

ISBN: (纸本)9781665497015

A continuous dynamic model for the development of a gas field is studied. Two mathematical problems are posed, solved and analyzed. In the direct problem, we are looking for the maximum accumulated profit on a set of temporary functions of a certain type. In the inverse optimization problem, we define the entire set of planning horizons. We subject the assigned tasks to a comprehensive analysis. © 2022 IEEE.

关键词： Profitability

来源：评论

学校读者我要写书评

暂无评论

Advanced IOT Traffic Light Control System 5

Advanced IOT Traffic Light Control System

引用

5th International Conference on Advances in Computational Tools for Engineering Applications, ACTEA 2023

作者： Hamad, Martin Abou El Hajj, Antonio Daou, Roy Abi Zeid Hayek, Ali Haidar, Gaby Abou Lebanese German University Faculty of Public Health Biomedical Technologies Department Lebanon MART Learning Education and Research Center Lebanon University of Kassel Department of Computer Architecture and System Programming Kassel Germany American University of Science and Technology Engineering Faculty Zahle Lebanon

ISBN: (纸本)9798350309959

For several years, traffic congestion has been a major problem in big cities where the number of cars and different means of transportation has been increasing significantly. The problem of congestion is becoming more and more critical, and if not treated smartly this issue will negatively affect drivers by wasting time and fuel gas while waiting for hours in lanes. This paper presents a new and smart way to mitigate this issue in an affordable cost, minimum processing power, and low power consumption. This concept takes into consideration the majority of the cases that may cause congestion and presents a smart and accurate outputs to ease traffic flow leading to the prediction of the peak hours of traffic congestion for smarter control. A model is designed to study the case of a four lanes crossroad with two traffic lights and two LCD monitors. The strategy in reading data is divided into two parts: real data from sensors and pre collected data from google maps to create a kind of a predicted pattern over a certain time interval. The responsiveness of the system is analyzed thoroughly, and the accuracy of all possible cases is carefully considered and evaluated. Each part of the system was tested alone, and the overall system is still in an ongoing testing phase. The results have shown minimum faulty errors and accepted outputs that can lead to safe traffic control decisions. Finally, integrating more IoT devices and sensors between V2V, V2P, V2I with the help of artificial intelligence will definitely optimize this system with higher accuracy. © 2023 IEEE.

关键词： Traffic congestion

来源：评论

学校读者我要写书评

暂无评论

Implementing and Executing Static Analysis using LLVM and CodeChecker

arXiv

引用

arXiv 2024年

作者： Horváth, Gábor Kovács, Réka Nikolett Szalay, Richárd Porkoláb, Zoltán Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Loránd University Budapest Hungary

Static analysis is a method to analyse the source code without executing it. It is widely used to find bugs and code smells in industrial software. Among other methods, the most important techniques are the one based on the abstract syntax tree and the one performing symbolic execution. Both of these methods found their role in modern software development as they have different advantages and limitations. In this tutorial, we present two problems from the C++ programming language: the elimination of redundant pointers;and how can we deal with dangling pointers originated from the misuse of the std::string class. These two issues have different theoretical backgrounds and finding them requires different implementation techniques. We will provide a step-by-step guide to implement the checkers – software to identify the aforementioned problems –, one is based on the abstract syntax analysis method, the other will explore the possibilities of the symbolic execution. The methods are explained in great detail and supported by code examples. We intend this tutorial both for architects of static analysis tools and for those developers who want to understand the advantages and the constraints of the individual methods. © 2024, CC BY.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Sensing Metric-Based Hybrid Underlay/Overlay Transmission Framework for CR-IoT Networks for Smart City Applications 7

Sensing Metric-Based Hybrid Underlay/Overlay Transmission Fr...

引用

7th IET Smart Cities Symposium, SCS 2023

作者： Bala, Indu Mijwil, Maad M. Abotaleb, Mostafa El-Kenawy, El-Sayed M. Ibrahim, Abdelhameed School of Electrical and Electronics Engineering Lovely Professional University Punjab India Computer Techniques Engineering Department Baghdad College of Economic Sciences University Baghdad Iraq Department of System Programming South Ural State University Chelyabinsk Russia Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Egypt Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura Egypt

ISBN: (纸本)9781839539831

With the increasing number of IoT devices, there is a growing need for bandwidth to support their communication. Unfortunately, there is a shortage of available bandwidth due to preallocated bands for various services. To address this issue, Cognitive Internet of Things (CR-IoT) enables devices to optimize their efficiency and enhance their communication capabilities by intelligently accessing available bandwidth. This is achieved through the use of soft sensing metrics, where devices continuously monitor the RF environment and transmit data opportunistically in overlay mode if a free channel is detected, or in underlay mode if not. In this paper, a soft sensing metric based hybrid transmission framework is proposed for CR-IoT devices to meet the data rate requirement for the smart city applications. The efficacy of this approach is demonstrated through simulation results. © The Institution of Engineering & Technology 2023.

关键词： Smart city

来源：评论

学校读者我要写书评

暂无评论

Optimal speed controller design with interval type-2 fuzzy sets 2

Optimal speed controller design with interval type-2 fuzzy s...

引用

2nd IEEE KhPI Week on Advanced Technology, KhPI Week 2021

作者： Zakovorotniy, Alexander Kharchenko, Artem National Technical University Kharkiv Polytechnic Institute Computer Engineering and Programming Department Kharkiv Ukraine

ISBN: (纸本)9781665412056

Interval type-2 fuzzy sets are often used in the designing of fuzzy systems associated with the speed control under uncertainty. In this paper, we consider the possibilities of using interval type-2 fuzzy sets to describing the uncertainties that arise when defining input variables. These uncertainties can be presented as the different meanings on the same dynamic system or changes in the technical parameters that occur due to external factors. We also present complex interval type-2 fuzzy sets and give the examples of their use to reduce the number of fuzzy sets and rules in a fuzzy knowledge base. The necessary conditions for the construction of complex interval type-2 fuzzy sets and methods for determining lower and upper membership functions in them are also given. The footprint of uncertainty for the complex interval type-2 fuzzy set is presented with upper and lower membership functions of different fuzzy sets. All methods which are described in this work can be used in decision support systems design, to select the optimal parameters of a nonlinear system, or in fuzzy speed controller design. © 2021 IEEE.

关键词： Fuzzy control

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

Frontiers in Education (FIE) Conference

作者： Konstantin Läufer Gunda Mertin George K. Thiruvathukal Department of Computer Science Software and Systems Laboratory Loyola University Chicago Institute for Software Engineering and Programming Languages University of Lübeck

ISBN: (数字)9798350351507

ISBN: (纸本)9798350363067

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions $(\text{TLA}^{+})$ , into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive “failuresy” through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding $\text { TLA }^{+}$ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in $\text { TLA }^{+}$ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudi

关键词： computer science Open Access Model checking System recovery Software Safety Logic Reliability Proposals Software engineering

来源：评论

学校读者我要写书评

暂无评论

Approximation of the Objective Functional in a Partially Defined Optimization Problem 3

Approximation of the Objective Functional in a Partially Def...

引用

3rd IEEE KhPI Week on Advanced Technology, KhPI Week 2022

作者： Kalinin, Yevhen Kuchuk, Nina Lysytsia, Dmytro National University of Life and Environmental Sciences of Ukraine Tractors Cars and Bioenergy Resources Department Kyiv Ukraine National Technical University «kharkiv Polytechnic Institute» Department of Computer Engineering and Programming Kharkiv Ukraine

ISBN: (数字)9798350399202

ISBN: (纸本)9798350399202

The reliable operation of today's complex technical systems often relies on remote software solutions for predicting their performance. To solve these tasks, client-server architectures, based on the database server, used to store the obtained data, as well as server-based data analyzers are taken advantage of. Due to the increasing complexity of tasks of diagnosing the state of complex technical systems, associated with the generation of higher volumes of data for assessing the current state of the diagnostic objects, the use of classical relational storage resulted in a significant increase in the requirements for cluster architectures. With the increasing use of technological solutions based on the 'Big Data' architecture, there is a contradiction associated with the need to store large amounts of unstructured data for further structuring by methods of database schema development. The mission of Data Mining is the implementation of search operations applied to the laws of behavior and overall functioning of the system under study, consisting of numerical data. An obligatory condition that arises when using Data Mining methodologies is to interpret the resulting patterns formed as a consequence of determining the practical utility of the data. In this regard, there is a need to develop a method for optimizing large amounts of data, especially in partially defined tasks, allowing the distribution of the readings of the state of complex technical systems. Thus, the paper considers the problem of objective function approximation by the linear functional in a partially defined optimization problem, when the objective function is partially defined by comparing its values on some set of vectors from the acceptance region. Necessary and sufficient conditions for the existence of the approximating linear functional and the method of recovery of its coefficients through a linear correction procedure are formulated. © 2022 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

A Multithreaded Approach to Masking Images used for Animation

A Multithreaded Approach to Masking Images used for Animatio...

引用

Technology Innovation Management and Engineering Science International Conference (TIMES-iCON)

作者： Veska Gancheva Kalin Belov Ivaylo Georgiev Department of Programming and Computer Technologies Technical University of Sofia Sofia Bulgaria Stephan Angeloff Institute of Microbiology Bulgarian Academy of Sciences Sofia Bulgaria

ISBN: (数字)9798350362602

ISBN: (纸本)9798350362619

The current research is focused on designing a multithreaded parallel solution for processing a pair of raster image files that are used to create an animation. In the computational process, a multithreaded model was used when processing arrays of data. The proposed approach is verified by a multithreaded parallel program implementation. The effectiveness of the proposed solution has been verified experimentally by processing an image with dimensions 4320x5400 and a white color mask. The obtained results in terms of execution time show an acceleration of the computational process when increasing the number of threads.

关键词： Image color analysis Instruction sets Computational modeling Parallel processing Innovation management Animation Data models

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：