Browsing Scholarly Works, Electrical and Computer Engineering by Issue Date
Now showing items 1-20 of 733
-
Survey of Approaches and Techniques for Security Verification of Computer Systems
(ACM, 2022)This paper surveys the landscape of security verification approaches and techniques for computer systems at different levels: from a software-application level all the way to the physical hardware level. Different existing ... -
Stochastic wave-kinetic theory in the Liouville approximation
(AIP Publishing, 1976-05-01)The behavior of scalar wave propagation in a wide class of asymptotically conservative, dispersive, weakly inhomogeneous and weakly nonstationary, anisotropic,random media is investigated on the basis of a stochastic, ... -
Closed 1st-Order And 2nd-Order Moment Equations For Stochastic Nonlinear Problems with Applications To Model Hydrodynamic And Vlasov-Plasma Turbulence
(AIP Publishing, 1976-09-01)Working along the lines of a procedure outlined by Keller, a technique is developed for deriving closed first_ and second_order moment equations for a general class of stochastic nonlinear equations by performing a ... -
Derivation Of an Exact Spectral Density Transport-Equation For A Nonstationary Scattering Medium
(AIP Publishing, 1976-09-01)Within the framework of the quasioptical description and the pure Markovianrandom process approximation, an exact kinetic equation is derived for the spectral density function in the case of wave propagation in a nondispersive ... -
A Kinetic Formulation Of 3-Dimensional Quantum Mechanical Harmonic-Oscillator Under A Random Perturbation
(AIP Publishing, 1978-02-01)The behavior of a three_dimensional, nonrelativistic, quantum mechanical harmonic oscillator is investigated under the influence of three distinct types of randomly fluctuating potential fields. Specifically, kinetic (or ... -
Beam Propagation in Focusing Media with Random Axis Misalignments: Second-Order And Higher-Order Moments
(AIP Publishing, 1978-12-01)A novel statistical technique which allows the asymptotic evaluation of second_ and higher_order averaged observables related to the stochastic complex parabolic equation is applied to the problem of beam propagation in a ... -
Adhesive bondline interrogation using Stoneley wave methods
(American Institute of Physics, 1979)In this work, a new technique for analyzing interfacial conditions in completed adhesive bonds is discussed. This method is based on the sensitivity of Stoneley waves, which propagate along the boundary between dissimilar ... -
Single-thermal-source formation of Zn x Cd1-x S thin films
(American Institute of Physics, 1979)Thermal sublimation of atomically homogeneous Zn x Cd1_x S powders from a single source results in films that are nonuniform in a direction normal to the substrate. This is attributed to initial preferential sublimation ... -
Composition Measurements related to the CU2S-ZNXCD1-XS Heterojunction
(AIP Publishing, 1979)Composition of zinc and cadmium have been measured for three key regions related to the formation of Cu2S on Zn x Cd1_x X by aqueous ion exchange. These are the ion_exchange solution, the resulting Cu2S, and the Zn x Cd1_x ... -
Nth-order multifrequency coherence functions: functional path integral approach
(AIP Publishing, 1979-07-01)A functional (or path) integral applicable to a broad class of randomly perturbed media is constructed for the nth_order multifrequency coherence function (a quantity intimately linked to nth_order pulse statistics). This ... -
Nth-order multifrequency coherence functions: A functional path integral approach. II.
(AIP Publishing, 1980-08-01)Nth_order multifrequency coherence functions arising in beam propagation through focusing media with random_axis misalignments and focusing media with additive statistical fluctuations are computed. The analysis is carried ... -
On the uniqueness of solution of magnetostatic vector_potential problems by three-dimensional finite-element methods
(American Institute of Physics, 1982)In this paper, particular attention is paid to the impact of finite_element approximation on uniqueness and to approximations implicit in finite element formulations from the uniqueness requirements standpoint. It is also ... -
Cross diffusion of Cd and Zn in Cu2S formed on Zn x Cd1_x S thin films
(American Institute of Physics, 1982)Cadmium and zinc compositions in Cu 2S formed on Zn x Cd1_x S films (0A transport-theoretic analysis of pulse propagation through ocean sediments
(Acoustical Society of America, 1982-09-01)The reflection of pulsed acoustic plane waves from ocean sedimentary layers is studied using a stochastic transport theory originally introduced by Barabanenkov et. al. [Izv. Vyssh. Uchebn. Zaved., Radiofiz 15, 1852 (1972)]. ...Compositional depth profiles of chemiplated Cu2S/(Zn,Cd)S heterojunction solar cells
(American Institute of Physics, 1983)Atomic absorption spectroscopy combined with controlled chemical etching and Auger electron spectroscopy profiling with ion beametching have been used to obtain composition versus depth analyses of Cu2S/(Zn,Cd)S ...X-ray and XPS studies of evaporated cuxs thin-films
(American Institute of Physics, 1983-04-01)The structural changes in Cu x S films have been monitored by x_ray diffraction and correlated to the chemical changes taking place on the Cu x S surface, the latter monitored by XPS. The results show: evaporated Cu x S ...Incoherent Spatial-Filtering with A Scanning Heterodyne System
(Optical Society of America, 1984-01-01)Imaging systems with two pupils in the receiving optics have been used to synthesize bipolar point spread functions in incoherent image processing. We describe a two-pupil system using a scanning illumination technique and ...Computer simulation of electron beams. I. Space charge algorithm for asymmetric beams
(American Institute of Physics, 1985)Longitudinal space_charge forces can be neglected in computer simulations of slowly curving quasilaminar electron beams. A particle mesh type algorithm for transverse space charge forces is developed, and great simplification ...Computer simulation of electron beams. II. Low cost beam current reconstruction
(American Institute of Physics, 1985)Reconstruction of current density in electron beams is complicated by distortion of phase space which can require very fine discretization of the beam into trajectories. An efficient discretization of phase space is ...