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 haz...
详细信息
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 haz...
详细信息
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.
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 ...
详细信息
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}^{+}...
详细信息
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 computerscience 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 computerscience 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
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-...
详细信息
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...
详细信息
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...
详细信息
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 integ...
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.
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...
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 period of time.
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) ...
详细信息
暂无评论