- Formal Methods in Verification
- Advanced Photonic Communication Systems
- Photonic and Optical Devices
- Parallel Computing and Optimization Techniques
- Semiconductor Lasers and Optical Devices
- Embedded Systems Design Techniques
- Distributed systems and fault tolerance
- Optical Network Technologies
- Logic, programming, and type systems
- Security and Verification in Computing
- Advanced Fiber Laser Technologies
- Software Testing and Debugging Techniques
- Real-Time Systems Scheduling
- Radiation Effects in Electronics
- Distributed and Parallel Computing Systems
- Microwave Engineering and Waveguides
- Low-power high-performance VLSI design
- Advanced Fiber Optic Sensors
- Machine Learning and Data Classification
- Model-Driven Software Engineering Techniques
- VLSI and Analog Circuit Testing
- Advanced Antenna and Metasurface Technologies
- Cloud Computing and Resource Management
- Scientific Computing and Data Management
- Photorefractive and Nonlinear Optics
University of Utah
2014-2024
Mitre (United States)
2017
Christian Medical College & Hospital
2006-2010
Christian Medical College
2010
Independent Colleges and Universities of Florida
2010
Texas A&M University
1988-2005
United States Naval Research Laboratory
1991-2005
University of Illinois Urbana-Champaign
2003
Maryland Advanced Development Laboratory
1991-2002
Brigham Young University
1998
An investigation study of microwave-optical mixing in different configurations LiNbO/sub 3/ Mach-Zehnder interferometric modulators is presented. In each case, models that describe mixer performance are developed and shown to be good agreement with measurements. For antenna remoting applications, a technique down-convert RF signals demonstrated by cascading series pair modulators. general, it virtue their truly broadband characteristics, can also employed as microwave mixers at frequencies...
The design, fabrication and characterization of a traveling wave Ti:LiNbO/sub 3/ Mach-Zehnder interferometric modulator are discussed. dependence the velocity match condition on electrode thickness wall angle is demonstrated experimentally with finite element calculations. A set test structures fabricated to study electrical losses in electrode. Loss coefficients assigned different sections device, dielectric radiative shown play an important role at high frequencies. This information used...
A 5 V half-wave voltage (Vπ electro-optic Ti:LiNbO3 intensity modulator with a −7.5 dB (electrical) optical response at 40GHz is demonstrated 1.3 μm. thick electrode structure used in conjunction thin substrate to achieve near optical-microwave phase match and broadband electrical response.
An analog fiber-optic link for concurrent detection and downconversion of microwave signals is reported. Optical amplification employed in conjunction with electrical power combining photodetectors to demonstrate losses 19.6 22.9 dB at RF carrier frequencies 9 16 GHz, respectively. Analytic expressions validating the experimental observations are also developed. The may be detect phase sensitive or phase-modulated shows excellent potential application sensor systems involving remoting an...
An FET source has been integrated with a microstrip patch antenna to form an active radiating module. The serves both as element and resonator in the feedback loop for oscillator. Power output of 17mW was achieved at 5.7 GHz.
A dual-parallel Mach-Zehnder modulator is employed to generate an optical frequency comb. Flat spectral response obtained by optimizing the dc bias and RF drive parameters of device which driven in gigahertz range. We demonstrate theoretically experimentally, a flat output across nine sidebands. tunable multiwavelength source based on this approach allows for very precise wavelength spacing dense wavelength-division-multiplexing applications has advantages efficiency simplicity.
Perturbations not affecting the intrinsic resonance of a microstrip ring are introduced to increase coupling periphery between feedline and resonator. Compared conventional excitation, authors demonstrate an average improvement ~6 dB in insertion loss.
Anomalous electrical losses in travelling wave LiNbO3 optical modulators are attributes of phase matched mode coupling between the coplanar waveguide and off-axis substrate modes. Experimental results support model.
Symbolic simulation has been proposed as a way to formally verify the correct operation of an MOS circuit. By allowing nonground expressions values, symbolic simulator avoids complexity exhaustive simulation. The chosen for initializing state- and input-variables must cover all valid test cases while avoiding those that violate circuit constraints. In this paper, we present new approach simulation-based verification hinges on use parametric forms Boolean expressions. A form expression E is...
We present a dynamic verification tool MCC for Multicore Communication API applications - new communication among cores. systematically explores all relevant interleavings of an MCAPI application using tailor-made partial order reduction algorithm (DPOR). Our contributions are (i) way to model the non-overtaking message matching relation underlying calls with high level effect DPOR that controls lower details so intended executions happen at runtime; and (ii) list default safety properties...
A new transmission line based theory is developed to study symmetric/asymmetric microstrip ring resonators. The selective splitting of odd modes in certain asymmetric structures can be used realise bandpass filters. predicts the characteristics these resonators quite accurately.
Article Free Access Share on A technique for synthesizing distributed burst-mode circuits Authors: Prabhakar Kudva IBM T. J. Watson Research Center, Yorktown Heights HeightsView Profile , Ganesh Gopalakrishnan Department of Computer Science, University Utah UtahView Hans Jacobson Authors Info & Claims DAC '96: Proceedings the 33rd annual Design Automation ConferenceJune 1996 Pages 67–70https://doi.org/10.1145/240518.240532Published:01 June 1996Publication History...
A balanced detection approach is proposed and demonstrated which can eliminate the single-octave constraint of performance enhancement schemes for externally modulated optical links, such as low-biasing carrier filtering. Using our with low-biased modulators at 110 MHz we a second harmonic reduction 28 dB multi-octave SFDR improvement 22 dB, to 108 dB/spl middot/Hz/sup 1/2/.
Downconversion of microwave signals using fiber-optic links is investigated while low-biasing one modulator in a cascaded pair. Enhancement the downconverted signal and variation intermodulation distortion terms as function phase bias are studied theoretically experimentally. Distortion significant at high local oscillator powers needed to minimize conversion loss.
We present a tool called DiffTrace that approaches debugging via whole program tracing and diffing of typical erroneous traces. After collecting these traces, user-configurable front-end filters out irrelevant function calls then summarizes loops in the retained based on state-of-the-art loop extraction algorithms. Information about is inserted into concept lattices, which we use to compute salient dissimilarities narrow down bugs. clean start addresses features missing existing approaches....
<b>Purpose:</b> To assess the effects of transplant renal artery stenosis (TRAS) on blood pressure, function, and graft survival. usefulness Doppler in predicting clinical significance TRAS also to identify predictive factors that correlated with features TRAS.<br><b> Materials Methods: </b> A prospective study was done consecutive allograft recipients at Christian Medical College, over a period 66 months from January 2002. All underwent ultrasound (DUS) evaluation fifth post-operative day....