The article considers in the intellectual processing of information, moving from a large unit of measurement to a smaller, more important unit of measurement, selecting sets of informative symbols and classifying symb...
详细信息
ISBN:
(数字)9798350389234
ISBN:
(纸本)9798350353051
The article considers in the intellectual processing of information, moving from a large unit of measurement to a smaller, more important unit of measurement, selecting sets of informative symbols and classifying symbols, developing modern recognition systems that help specialists in the field, as well as evaluating the states of objects to be classified, developing a classification algorithm for multi-class cases of educational samples. The development of a multi-class algorithm for symbol classification serves to develop the theory of symbol recognition. It deals with the construction of a decision rule construction algorithm. Its main purpose is to determine which of the given classes the recognized object belongs to. The complexity or simplicity of the proposed algorithm depends on the number of classes participating in the study sample. If the number of classes is two, then the formulation of decision rules is simple. That is why the classification algorithms proposed by most authors are solved for cases where the number of classes is three or more, the decisive rule in the matter of classification of objects is solved by making two classes. The construction of a multi-class decision rule for classification, which takes into account all classes at the same time, is a complex and urgent issue. In the article, in the classification of objects, a multi-level complex structured decision rule was developed based on special inequalities, and two-, three- and multi-class classification algorithms were developed.
Selection of insulation material and determination of its thickness are the two most important parameters that prevent heat loss. Too much thickness complicates the price and use. The low coefficient of thermal conduc...
详细信息
Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability...
详细信息
Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilitie...
详细信息
ISBN:
(数字)9798350389760
ISBN:
(纸本)9798350389777
Autonomous Systems (AS) enable systems to adapt to drastic and unprecedented environmental changes, a capability that can be enhanced through the utilization of Digital Twins (DTs). However, the additional capabilities of AS come at the cost of explainability, as the expanding adaptation space complicates the reasoning about the system's behavior. For certain types of systems, it is crucial to ensure that specific properties are upheld despite the system's autonomous behavior. To facilitate the monitoring of these properties, we propose the use of Runtime Verification (RV). This tutorial demonstrates the integration of RV tools into the Digital Twins as a Service (DTaaS) platform to monitor and verify the behavior of AS in real-time. By exploring various methods to incorporate RV tools within a DT context, the tutorial aims to advance the application of RV technologies in autonomic computing and self-adaptive system design. Specifically, we demonstrate how the behavior of a self-configuring DT can be verified utilizing RV. This is accomplished through the DTaaS platform, which supports seamless deployment of DT-based AS.
The introduction of major innovations in industry requires a collaboration across the whole value chain. A common way to organize such a collaboration is the use of technology roadmaps, which act as an industry-wide l...
详细信息
In this study, we present a straightforward teaching strategy for teaching the Python programming language. Our method emphasizes a clear progression from fundamental to sophisticated concepts. Beginning with a thorou...
详细信息
The automotive industry faces challenges due to the increasing demand for customization and individualization by consumers. With a wide range of equipment levels and feature options, it has become impossible to test a...
The automotive industry faces challenges due to the increasing demand for customization and individualization by consumers. With a wide range of equipment levels and feature options, it has become impossible to test all possible configurations for a single vehicle during development and especially for vehicles already in service. As a basis for solving these challenges, integrated approaches for the development of upgradeable vehicles are required. In this context, future upgrade options should be considered and planned already in the design stage to enable sustainable business models for next vehicle generations. This paper proposes a refined variability model that combines two existing approaches to address the challenges faced by the industry. The same model can perform buildability or upgradeability checks and dynamic allocation optimization. The model is evaluated qualitatively by three exemplary use cases.
Motivation and Background. Novices need to overcome initial barriers while programming cyber-physical systems behavior, like coding quadcopter missions, and should thus be supported by an adequately designed programmi...
详细信息
A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent...
A method for determining the probability of occurrence of a critical combination of events for the three-element minimum cross-sections of attributes of the characteristics of the software quality model of intelligent decision support systems is proposed.
Model transformations are used in different areas of computer science. They are often used during the development of software but also at runtime, e.g., to update a digital twin. However, users of these languages stil...
详细信息
暂无评论