The development of a Transmission-Line Matrix (TLM) for the simulation of ultrasound and microwave propagation in structures common in Nondestructive Testing (NDT) is described. The spatial resolution of the proposed model is better than a tenth of a wavelength. Numerical modeling was carried out for frequencies commonly used in ultrasound and microwave nondestructive testing (3.5MHz – 20GHz). ...

The direct integrating of GaAs and diamond is achieved at room temperature via a surface activated bonding method. An ultrathin crystal defect layer composed was formed the interface. thickness layers determined to be 0.4 1.6 nm, respectively. After annealing 400 °C, no changes were observed in interfacial structure. thermal characterization transmission line model (TLM) patterns on bonded sapp...

• A transmission line model with Warburg impedance is needed to fit the spectra. The electrical resistance of fibers governs high frequency 45° line. increases yarn length. Performance engineering electrochemical energy-storage devices such as Supercapacitors (SCs) requires updated modeling capable characterizing their output in unique device geometries. In this work, an Equivalent Electrical C...

This report addresses assertion-based verification (ABV) and proposes a model for supervising semi-formal verification of temporal properties of TLM (transaction level modeling) descriptions. This modeling level of the SystemC language emphasizes the transactions (communications) in a SoC, considered at a very high level of abstraction. We define an observer-based model that can be used during ...

Dual scattering channel schemes extend the transmission line matrix numerical method (Johns’ TLM algorithm) in two directions. For one point, transmission line links are replaced by abstract scattering channels in terms of paired distributions (characteristic impedances are thus neither needed, nor in general defined, e.g.). In the second place, non-trivial cell interface scattering is admitted...

Most traditional theories of speech production are currently based on plane waves and on one-dimensional analysis. It i s however well-known that when the frequency of sound reaches a cut-on frequency, higher acoustical modes start to propagate and can become predominant. It is therefore important to evaluate the effects of these higher modes, especially in order to improve acoustical models of...

─While Transaction Level Modeling (TLM) approach is widely adopted now for system modeling and simulation speed improvement, timing estimation accuracy often is compromised. To have reliable and accurate estimation results at system level, this paper proposes a timing annotation method for accurate TLM computation model generation considering processor architecture with pipeline and cache struc...

Transaction Level Modeling with SystemC has become a de-facto industry standard for modeling of system-on-chip designs. The correctness of these models is therefore of crucial importance. In this paper, we propose a novel methodology to apply AssertionBased Verification to Transaction Level Models. The novelty is based on two contributions: (1) Using Aspect-Oriented Programming techniques permi...