Abstract In this paper, we propose a new numerical method for ultrasonic pulse detection of an acoustics microwaves signal during the propagation of acoustics microwaves generated by piezoelectric substrate LiNbO3 Cut Y-X in ultrasonic transducer. We have used the classifications by support vector machines (SVM), the originality of this method is it provides the accurate values and help us to identify undetectable waves that we... In this paper, we propose a new numerical method for ultrasonic pulse detection of an acoustics microwaves signal during the propagation of acoustics microwaves generated by piezoelectric substrate LiNbO3 Cut Y-X in ultrasonic transducer. We have used the classifications by support vector machines (SVM), the originality of this method is it provides the accurate values and help us to identify undetectable waves that we cannot identify with the classical methods; in which we classify all the values of the real part and the imaginary part of the coefficient attenuation with the acoustic velocity in order to build a model from which we note the Ultrasonic Pulse or microwaves acoustics ( bulk waves ). By which we obtain accurate values for each of the coefficient attenuation and acoustic velocity. This study will be very interesting in modeling and realization of acoustics microwaves devices (ultrasound) based on the propagation of acoustics microwaves. Read More Read Less

Abstract This paper introduces abc::dt, a domain-specific language (DSL) embedded in Perl, designed for creating modular and composable tools to process music written in the abc notation. Leveraging the UNIX philosophy of simple, text-stream-based tools, the authors reuse the parser from abcm2ps to handle real-world abc files. The system comprises three stages: parsing input into an internal representation (IR), transforming it using rule-based actuators, and... This paper introduces abc::dt, a domain-specific language (DSL) embedded in Perl, designed for creating modular and composable tools to process music written in the abc notation. Leveraging the UNIX philosophy of simple, text-stream-based tools, the authors reuse the parser from abcm2ps to handle real-world abc files. The system comprises three stages: parsing input into an internal representation (IR), transforming it using rule-based actuators, and generating output, which may serve as input for other tools. abc::dt enables users to define specific transformations using concise rules, making tool creation more efficient. Several tools built with abc::dt—like All-but-one, abc_paste, and abc_cat—demonstrate its capability to manipulate polyphonic scores, concatenate tunes, or isolate voices for rehearsal. The sequential structure used simplifies integration with scripting languages, while the DSL’s extensibility supports advanced transformations. Overall, abc::dt aims to establish a flexible “abc operating system” to fill the gap in generalpurpose abc music processing tools. Read More Read Less

Abstract The paper explores the application of Measurement-Based Probabilistic Timing Analysis (MBPTA) to buffer resources in Critical Real-Time Embedded Systems (CRTES). It establishes that buffers, unlike jittery resources like caches, do not inherently create timing jitter; instead, they propagate existing jitter from other resources. Buffers manage contention by decoupling request sending and processing speeds, and their behavior is shown to be deterministic once probabilistic events... The paper explores the application of Measurement-Based Probabilistic Timing Analysis (MBPTA) to buffer resources in Critical Real-Time Embedded Systems (CRTES). It establishes that buffers, unlike jittery resources like caches, do not inherently create timing jitter; instead, they propagate existing jitter from other resources. Buffers manage contention by decoupling request sending and processing speeds, and their behavior is shown to be deterministic once probabilistic events are accounted for. The study demonstrates that MBPTA can analyze buffers effectively as long as dependencies remain consistent between analysis and operation. Empirical verification confirms that execution times are independent and identically distributed, validating the suitability of MBPTA. Additionally, a classification of hardware resources based on jitter sources is provided, enhancing the understanding of MBPTA compliance in processor architectures. Read More Read Less