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

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

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

ANCESTRAL PROTEIN SEQUENCE RECONSTRUCTION USING A TREE-STRUCTURED ORNSTEIN-UHLENBECK VARIATIONAL AUTOENCODER 10

ANCESTRAL PROTEIN SEQUENCE RECONSTRUCTION USING A TREE-STRUC...

引用

10th International Conference on Learning Representations, ICLR 2022

作者： Moreta, Lys Sanz Rønning, Ola Al-Sibahi, Ahmad Salim Hein, Jotun Theobald, Douglas Hamelryck, Thomas Probabilistic Programming Group PLTC Section University of Copenhagen Copenhagen Denmark Department of Statistics University of Oxford Oxford United Kingdom Brandeis University Biochemistry Department MA United States Probabilistic Programming Group SCARB PLTC Section Department of Biology Computer Science University of Copenhagen Copenhagen Denmark

We introduce a deep generative model for representation learning of biological sequences that, unlike existing models, explicitly represents the evolutionary process. The model makes use of a tree-structured Ornstein-Uhlenbeck process, obtained from a given phylogenetic tree, as an informative prior for a variational autoencoder. We show the model performs well on the task of ancestral sequence reconstruction of single protein families. Our results and ablation studies indicate that the explicit representation of evolution using a suitable tree-structured prior has the potential to improve representation learning of biological sequences considerably. Finally, we briefly discuss extensions of the model to genomic-scale data sets and the case of a latent phylogenetic tree. © 2022 ICLR 2022 - 10th International Conference on Learning Representationss. All rights reserved.

关键词： Genome

来源：评论

学校读者我要写书评

暂无评论

Integration of weighted majority voting in machine learning algorithms to enhance pine tree crown mapping on UAV imagery

Integration of weighted majority voting in machine learning ...

引用

2024 Symposium on Beyond the Canopy: Technologies and Applications of Remote Sensing

作者： Hosingholizade, Ali Erfanifard, Yousef Alavipanah, Seyed Kazem Pirasteh, Saied Garcia Millan, Virginia Dept. of Remote Sensing and GIS Faculty of Geography University of Tehran Tehran Iran Institute of Artificial Intelligence School of Mechanical and Electrical Engineering Shaoxing University China Department of Geotechnics and Geomatics Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai602105 India Dept. of Computer Science and Programming Languages School of Computer Science and Enginering University of Málaga Málaga Spain

The shape and area of the crown of each tree are among the most influential parameters for identifying and controlling the processes of photosynthesis, respiration, transpiration and its management. In such a way that various physiographic functions, such as carbon dioxide absorption, light energy absorption, oxygen release and transpiration, which are vital for the growth and development of the tree, are done in the crown. In this research, the RGB image of the UAV with a spatial resolution of 2 cm was resampled to three pixel sizes of 10, 30 and 50 cm. Then, each image was classified separately by SVM, ANN and MLC algorithms, which are all part of Ensemble. In the next step, each of the obtained crowns was compared with the digitization of the same crown, and based on the area of the crown obtained from each classification and normalization method, the weight was obtained specifically for the same crown. Finally, by using the weighted majority voting method, classifications were fusioned at the decision level. The results showed that the ANN method gives better results in all pixel sizes compared to MLC and SVM. Also, the combination of different classification methods with the weighted majority voting method based on the weight assigned to the same crown based on each classification method has significantly increased the classification accuracy of the tree crown in all the sizes of the analyzed pixels. © Author(s) 2024.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Investment Planning in the Region

Investment Planning in the Region

引用

International Conference on Management of Large-Scale System Development (MLSD)

作者： Alexander Solomatin Department of Mathematical Methods of Regional Programming Federal Research Center "Computer Science and Control" of RAS Moscow Russia

The principle of multiplicity is introduced for the components of the investment planning process. Some algorithms are given that ensure the process of investment planning at the regional level: the formation of integrated assessments of investment projects, automated generation of projects, multicriteria evaluation and selection of projects, taking into account the mutual influence of projects, optimizing the composition of projects, and taking into account financing restrictions. The features of the program system intended for the formation of plans for the territorial and sectoral development of the region are considered.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Influence of the Sequence of Drilling Fields on the Maximum Total Gas Production

Influence of the Sequence of Drilling Fields on the Maximum ...

引用

International Conference on Management of Large-Scale System Development (MLSD)

作者： Alexander Skiba Department of Mathematical Methods of Regional Programming Federal Research Center "Computer Science and Control" of RAS Moscow Russia

We analyze an aggregated dynamic model for the development of gas fields. The same company consistently drills all fields. We pose and solve the problem of maximizing accumulated gas production over a predetermined pe...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of an EMG-based System for Monitoring and Help Request

Design and Implementation of an EMG-based System for Monitor...

引用

2022 International Conference on Smart Systems and Power Management, IC2SPM 2022

作者： Zeine, Carla Daou, Roy Abi Zeid Telawi, Samer Boercsoek, Josef Hayek, Ali Haidar, Gaby Abou University of Kassel Faculty of Electrical Engineering /Computer Science Department of Computer Architecture and System Programming Kassel Germany Lebanese German University Faculty of Public Health Jounieh Department of Computer Architecture and System Programming Biomedical Technologies Department Jounieh Lebanon Université la Sagesse Faculty of Engineering Furn El Chebbak Mechatronics Department Beirut Lebanon University of Applied Science Hamm-Lippstadt Department Lippstadt 2 Hardware Engineering Marker Allee 76-78 Hamm59063 Germany American University of Science and Technology Faculty of Engineering Zahle Lebanon

ISBN: (数字)9781665452915

ISBN: (纸本)9781665452915

Integrating electrophysiological signals in larger systems is getting wider due to the fact that such modalities facilitate the daily tasks of users. However, the high cost of monitoring systems (e.g., oscilloscopes) limits the testing and analysis of the acquired signal from such noisy systems (i. e., electrophysiological devices). The proposed system is a part of a larger proj ect that deals with the identification of sign language movements through the use of Muscle-computer Interfaces. On one hand, the user is able to display the signal acquired by the electrodes on an LCD screen. On the other hand, the system helps a mute patient to issue a special message to his surrounding environment that does not know the sign language to ask for help. The second feature is not unique, as it can be replaced by any other application based on the user's needs. The system was tested on several persons, and the results are promising. © 2022 IEEE.

关键词： Liquid crystal displays

来源：评论

学校读者我要写书评

暂无评论

Model-based Generation of Attack-Fault Trees

arXiv

引用

arXiv 2023年

作者： Groner, Raffaela Witte, Thomas Raschke, Alexander Hirn, Sophie Pekaric, Irdin Frick, Markus Tichy, Matthias Felderer, Michael Institute of Software Engineering and Programming Languages Ulm University Germany Department of Computer Science University of Innsbruck Austria Department of Information Systems and Computer Science University of Liechtenstein Liechtenstein Germany Department of Mathematics and Computer Science University of Cologne Germany

Joint safety and security analysis of cyber-physical systems is a necessary step to correctly capture inter-dependencies between these properties. Attack-Fault Trees represent a combination of dynamic Fault Trees and Attack Trees and can be used to model and model-check a holistic view on both safety and security. Manually creating a complete AFT for the whole system is, however, a daunting task. It needs to span multiple abstraction layers, e.g., abstract application architecture and data flow as well as system and library dependencies that are affected by various vulnerabilities. We present an AFT generation tool-chain that facilitates this task using partial Fault and Attack Trees that are either manually created or mined from vulnerability databases. We semi-automatically create two system models that provide the necessary information to automatically combine these partial Fault and Attack Trees into complete AFTs using graph transformation rules. © 2023, CC BY-NC-ND.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：