Several profilers for general-purpose languages like Java offer visualizations to support users in understanding the execution of a program and identifying the causes of a performance issue. Unfortunately, these perfo...
详细信息
ISBN:
(数字)9798331528485
ISBN:
(纸本)9798331528492
Several profilers for general-purpose languages like Java offer visualizations to support users in understanding the execution of a program and identifying the causes of a performance issue. Unfortunately, these performance visualizations are difficult to reuse in profilers for declarative model transformations since they cannot display transformation-specific information. For example, a profiler for a declarative model transformation language must provide information on the traversal of the input model since it impacts the performance but is hidden from the developer. Moreover, the respective visualization must scale for input models that consist of several thousand model elements. Hence, we developed performance visualizations for the declarative model transformation language Henshin that provide insights into the transformation execution. Subsequently, we performed a mixed methods study with 18 Henshin novices to evaluate the effectiveness of our visualizations. In our study, the participants tried to improve the execution performance of four transformations by performing a root cause analysis using our visualizations. The results of our study show that depending on the task, between 16 and 18 participants understood the execution of a transformation correctly based on our visualizations. Moreover, between 12 and 18 participants proposed effective optimizations using our visualizations.
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...
详细信息
In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 p...
In this communication, an improved MIMO antenna array with defected ground structure (DGS) is designed for 5G wireless applications. Its schematic comprises eight radiator elements, situated at the center of an FR-4 printed circuit board. For optimizing the mutual coupling features, the metamaterial rectangular slots are employed between adjacent elements. Extensive simulation results prove that our proposed design 4x4 MIMO array operated at 5.8 GHz offers significantly better performance in terms of antenna gain and envelope correlation coefficient (ECC) with 6 dB and less than 0.0009 respectively. Rendering to the reached outcomes, the proposed MIMO antenna is an efficient application-oriented design for 5G communication.
Magnetic Particle Inspection (MPI) is a non-destructive testing (NDT) technique widely used in industry to detect surface and sub-surface flaws in ferromagnetic materials. MPI is a simple, fast, and cost-effective tec...
详细信息
ISBN:
(数字)9798350380125
ISBN:
(纸本)9798350380132
Magnetic Particle Inspection (MPI) is a non-destructive testing (NDT) technique widely used in industry to detect surface and sub-surface flaws in ferromagnetic materials. MPI is a simple, fast, and cost-effective technique, particularly useful for evaluating the integrity of welds and critical parts. Detecting surface and sub-surface defects in ferromagnetic materials is essential for ensuring product quality, safety, performance, and regulatory compliance across various industries. Therefore, in this study, the magnetic field and its gradient for rectangular prism-shaped defects in ferromagnetic materials were analyzed. The magnetic fields were calculated using analytical equations. The magnetic field of a 2x7x19 mm sized permanent magnet was measured using a gaussmeter to verify theoretical results. Subsequently, these analyses were used to interpret the forces acting on non-interacting micro to nano-sized particles and magnetic fluid on the crack region. The EFH-1 light hydrocarbon-based magnetic fluid, with an average particle size of about 11.6 nm, was used to experimentally study a 1x1.5x62.5 mm crack on a solid magnetic material. The distribution of the magnetic fluid on the crack was studied for different heights and magnetic field values. For a 2 ml layer of EFH-1 at a height of 2-3.5 mm from the magnetized material, a nearly Gaussian-shaped fluid distribution with a width of around 3.7-5.0 mm was observed. The experimental results are presented and compared with the theoretical analysis.
The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, l...
详细信息
ISBN:
(数字)9798350387803
ISBN:
(纸本)9798350387810
The widespread integration of robotic technology across diverse sector’s necessitates solutions that embody both adaptability and speed. However, existing systems often exhibit a trade-off between these attributes, lacking swift adaptability. This paper introduces a novel self-reconfiguration system that addresses this challenge. Employing a scissor mechanism for rapid adjustment and an intelligent binocular vision driven by computer vision and reinforcement learning algorithms, the proposed system facilitates swift reconfiguration while effectively managing workload. Real-time perception and understanding of the surroundings enable the robot to promptly identify optimal dimensions and adjust its configuration accordingly. This capability empowers the robot to rapidly respond to new tasks without manual intervention, thereby augmenting its versatility and agility. Experimental validation demonstrates the system’s adeptness in navigating passages of varying widths in under a second, underscoring the efficacy of our approach in training the robot to adeptly adapt to diverse environmental conditions.
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...
详细信息
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 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
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 desc...
详细信息
Evaluating student performance is important for universities and institutions in the current student education landscape because it helps them create models that work better for students. The automation of various fea...
详细信息
IoTGazePass is a new password scheme that has been designed to tackle the weaknesses of existing types of passwords. It is intended to be suitable for IoT applications. An experiment was conducted to evaluate the stre...
详细信息
暂无评论