Speech is a natural way of communicating between human beings and as such, it triggers an interest of transforming it to a way of interaction with a computer as well. Once it is converted into a sequence of words, it ...
详细信息
The Matura exam is the final national examination that high school students in many countries must pass to be eligible for admission to a university. This paper discusses the key factors that have the most impact in p...
详细信息
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...
详细信息
In the article, the Lagrange equations of motion of a solid body having volumes fully or partially filled with a granular media presented in the form of an ideal liquid. To expand the possibility of applying the theor...
详细信息
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 use...
详细信息
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.
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 ...
详细信息
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...
详细信息
Function overloading is a well-known technique available in most major programming languages, including $\mathrm{C}^{++}$ , to facilitate compile-time polymorphism. Due to the complex requirements imposed by the $\mat...
详细信息
ISBN:
(数字)9798331502232
ISBN:
(纸本)9798331502249
Function overloading is a well-known technique available in most major programming languages, including $\mathrm{C}^{++}$ , to facilitate compile-time polymorphism. Due to the complex requirements imposed by the $\mathbf{C}^{++}$ Language Standard, the behaviour of overload resolution can be surprising even for experienced $\mathbf{C}^{++}$ developers. This is exacerbated by the fact that if an unexpected function is selected in an overloaded situation, most compilers do not explain why. In addition, an overabundance of candidates can be a compilation time bottleneck. Despite its widespread usage, there are not many tools to help programmers analyse overload usage in a software project. We developed an overloading inspector tool, Overlord, based on the open-source LLVM/Clang Compiler Infrastructure. With Overlord developers can list the possible candidate functions for a call site, and obtain step-by-step reasoning about the candidate selection process. Additionally to its comprehension functionality the tool also provides profiling data on overload resolution times to help library authors streamline the set of available overloads for improving the compilation performance.
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 ...
详细信息
暂无评论