Investigation on effect of transmit condition on ultrasonic measurement of 2D motion velocity

A phase-sensitive 2D motion estimator is useful for measurement of minute tissue motion. However, the effect of conditions for emission of ultrasonic waves on the accuracy of such an estimator has not been investigated thoroughly. In the present study, the accuracy of the phase-sensitive 2D motion estimator was evaluated under a variety of transmission conditions. Although plane wave imaging with a single emission per frame achieved an extremely high temporal resolution of 10417 Hz, the accuracy in estimation of lateral velocities was worse than compound-based method or focused-beam method. By contrast, the accuracy in estimation of axial velocities hardly depended on the transmission conditions. Also, the phase-sensitive 2D motion estimator was combined with the block matching method to estimate displacements larger than the ultrasonic wavelength. Furthermore, the results show that the correlation coefficient in block matching has potential to be used for evaluation of the reliability of the estimated velocity.

Phase-sensitive seeded modulation instability in passive fiber resonators

Modulation instability is one of the most ubiquitous phenomena in physics. Here we investigate the phase-sensitive properties of modulation instability with harmonic seeding in passive fiber resonators. Theoretical investigations based on the Lugiato−Lefever equation with time dependent pump and a three-wave truncation show that the dynamics of the system is sensitive to the relative phase between input signal, idler, and pump waves. The modulation instability gain can even vanish for a peculiar value of the initial relative phase. An advanced multi-heterodyne measurement technique had been developed to record the real time evolution, round-trip to round-trip, of the power and phase of the output cavity field to confirm these theoretical predictions.

Development of a high-speed, phase-sensitive laser probe system for RF surface/bulk acoustic wave devices with an autofocus function for long time continuous operation

This paper describes the implementation of the autofocus function for the laser beam into the high-speed, phase-sensitive laser probe system for RF SAW/BAW devices. This implementation can compensate defocus caused during continuous measurements that take dozens of hours. After a brief explanation of the system used in this work, detailed discussion is given on an employed evaluation function indicating focus status, which is a key factor determining autofocus reliability. It is shown that the sum of energy of Laplacians is suitable as the evaluation function, which can be calculated by the image of the probing laser spot captured by a build-in CCD camera. Then, the implementation of the autofocus function into the current system is detailed. It is confirmed that this function can adjust the focus within almost ±20 μm defocus conditions. Finally, it is confirmed how the implemented autofocus function works effectively to keep just-in-focus under the disturbance.

Logical Relations as Types: Proof-Relevant Parametricity for Program Modules

The theory of program modules is of interest to language designers not only for its practical importance to programming, but also because it lies at the nexus of three fundamental concerns in language design: the phase distinction , computational effects , and type abstraction . We contribute a fresh “synthetic” take on program modules that treats modules as the fundamental constructs, in which the usual suspects of prior module calculi (kinds, constructors, dynamic programs) are rendered as derived notions in terms of a modal type-theoretic account of the phase distinction. We simplify the account of type abstraction (embodied in the generativity of module functors) through a lax modality that encapsulates computational effects, placing projectibility of module expressions on a type-theoretic basis. Our main result is a (significant) proof-relevant and phase-sensitive generalization of the Reynolds abstraction theorem for a calculus of program modules, based on a new kind of logical relation called a parametricity structure . Parametricity structures generalize the proof-irrelevant relations of classical parametricity to proof- relevant families, where there may be non-trivial evidence witnessing the relatedness of two programs—simplifying the metatheory of strong sums over the collection of types, for although there can be no “relation classifying relations,” one easily accommodates a “family classifying small families.” Using the insight that logical relations/parametricity is itself a form of phase distinction between the syntactic and the semantic, we contribute a new synthetic approach to phase separated parametricity based on the slogan logical relations as types , by iterating our modal account of the phase distinction. We axiomatize a dependent type theory of parametricity structures using two pairs of complementary modalities (syntactic, semantic) and (static, dynamic), substantiated using the topos theoretic Artin gluing construction. Then, to construct a simulation between two implementations of an abstract type, one simply programs a third implementation whose type component carries the representation invariant.

Evaluation and comparison of a CdTe based photon counting detector with an energy integrating detector for X-ray phase sensitive imaging of breast cancer

PURPOSE: To compare imaging performance of a cadmium telluride (CdTe) based photon counting detector (PCD) with a CMOS based energy integrating detector (EID) for potential phase sensitive imaging of breast cancer. METHODS: A high energy inline phase sensitive imaging prototype consisting of a microfocus X-ray source with geometric magnification of 2 was employed. The pixel pitch of the PCD was 55μm, while 50μm for EID. The spatial resolution was quantitatively and qualitatively assessed through modulation transfer function (MTF) and bar pattern images. The edge enhancement visibility was assessed by measuring edge enhancement index (EEI) using the acrylic edge acquired images. A contrast detail (CD) phantom was utilized to compare detectability of simulated tumors, while an American College of Radiology (ACR) accredited phantom for mammography was used to compare detection of simulated calcification clusters. A custom-built phantom was employed to compare detection of fibrous structures. The PCD images were acquired at equal, and 30% less mean glandular dose (MGD) levels as of EID images. Observer studies along with contrast to noise ratio (CNR) and signal to noise ratio (SNR) analyses were performed for comparison of two detection systems. RESULTS: MTF curves and bar pattern images revealed an improvement of about 40% in the cutoff resolution with the PCD. The excellent spatial resolution offered by PCD system complemented superior detection of the diffraction fringes at boundaries of the acrylic edge and resulted in an EEI value of 3.64 as compared to 1.44 produced with EID image. At MGD levels (standard dose), observer studies along with CNR and SNR analyses revealed a substantial improvement of PCD acquired images in detection of simulated tumors, calcification clusters, and fibrous structures. At 30% less MGD, PCD images preserved image quality to yield equivalent (slightly better) detection as compared to the standard dose EID images. CONCLUSION: CdTe-based PCDs are technically feasible to image breast abnormalities (low/high contrast structures) at low radiation dose levels using the high energy inline phase sensitive imaging technique.