Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons™

Open Access. Powered by Scholars. Published by Universities.®

Wright State University

Discipline
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 3511 - 3540 of 3814

Full-Text Articles in Physical Sciences and Mathematics

Proof Strategies For Hardware Verification, Robert Eastham, Krishnaprasad Thirunarayan May 1996

Proof Strategies For Hardware Verification, Robert Eastham, Krishnaprasad Thirunarayan

Kno.e.sis Publications

Ascertaining correctness of digital hardware designs through simulation does not scale-up for large designs because of the sheer combinatorics of the problem. Formal verification of hardware designs holds promise because its computational complexity is of the order of number of different types of components (and not number of components in the design). This approach requires the specification of the behavior and the design in a formal language, and reason with them using a theorem prover. In this paper we attempt to develop a methodology for writing and using these specifications for some important classes of hardware circuits. We examine digital …

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 5, May 1996, College Of Engineering And Computer Science, Wright State University May 1996

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 5, May 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

An eight page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 4, April 1996, College Of Engineering And Computer Science, Wright State University Apr 1996

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 4, April 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Stability Analysis Of A Model For The Defect Structure Of Yba2cu3ox, Gregory Kozlowski, Tom Svobodny Apr 1996

Stability Analysis Of A Model For The Defect Structure Of Yba2cu3ox, Gregory Kozlowski, Tom Svobodny

Physics Faculty Publications

Unusual microstructures of YBa2Cu3Ox (123) crystals have been observed. These structures have been shown to pass very high transport currents. A model of the solidification of 123 from a melt with Y2BaCuO5 (211) inclusions indicates that the stability of the 123 interface can depend on the sizes of the 211 inclusions. The observed formations are interpreted in the light of this instability.

Go to article

Electron Impact Vibrational Excitation Cross Sections Of Sif4, R. Nagpal, A. Garscadden, Jerry D. Clark Apr 1996

Electron Impact Vibrational Excitation Cross Sections Of Sif4, R. Nagpal, A. Garscadden, Jerry D. Clark

Physics Faculty Publications

Electron drift velocities in mixtures of SiF4 and Ar have been measured using a pulsed‐Townsend type drift tube. A set of vibrational excitation cross sections of electron scattering in SiF4 has been subsequently determined by the swarm analyses of measured transport data in highly dilute SiF4−Ar mixtures. The derived cross sections are consistent with the electron transport properties over an order of magnitude in SiF4 concentration in gas mixtures, thus providing evidence that the main features of their near threshold behavior, and of their absolute magnitude have been captured.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 3, March 1996, College Of Engineering And Computer Science, Wright State University Mar 1996

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 3, March 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 2, February 1996, College Of Engineering And Computer Science, Wright State University Feb 1996

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 2, February 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A fourteen page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 1, January 1996, College Of Engineering And Computer Science, Wright State University Jan 1996

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 12, Number 1, January 1996, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Spieltheorie, Alexander Chocholaty, Pascal Hitzler Jan 1996

Spieltheorie, Alexander Chocholaty, Pascal Hitzler

Computer Science and Engineering Faculty Publications

No abstract provided.

Go to article

Exact Multiplicity Results For Boundary Value Problems With Nonlinearities Generalizing Cubic, Philip Korman, Yi Li, Tiancheng Ouyang Jan 1996

Exact Multiplicity Results For Boundary Value Problems With Nonlinearities Generalizing Cubic, Philip Korman, Yi Li, Tiancheng Ouyang

Mathematics and Statistics Faculty Publications

No abstract provided.

Go to article

A Center-Unstable Manifold Theorem For Parametrically Excited Surface Waves, Larry Turyn Jan 1996

A Center-Unstable Manifold Theorem For Parametrically Excited Surface Waves, Larry Turyn

Mathematics and Statistics Faculty Publications

When fluid in a rectangular tank sits upon a platform which is oscillating with sufficient amplitude, surface waves appear in the ''Faraday resonance.'' Scientists and engineers have done bifurcation analyses which assume that there is a center manifold theory using a finite number of excited spatial modes. We establish such a center manifold theorem for Xiao-Biao Lin's model in which potential flow is assumed but an artificial dissipation term is included in the system of partial differential equations on the free surface. We use interpolation spaces developed by da Prate and Grisvard, establish maximal regularity for a family of evolution …

Go to article

Effects Of In Profile On Material And Device Properties Of Algaas/Ingaas/Gaas High Electron Mobility Transistors, David C. Look, B. Jogai, R. Kaspi, J. L. Ebel, K. R. Evans, R. L. Jones, K. Nakano, R. E. Sherriff, C. E. Stutz, G. C. Desalvo, C. Ito Jan 1996

Effects Of In Profile On Material And Device Properties Of Algaas/Ingaas/Gaas High Electron Mobility Transistors, David C. Look, B. Jogai, R. Kaspi, J. L. Ebel, K. R. Evans, R. L. Jones, K. Nakano, R. E. Sherriff, C. E. Stutz, G. C. Desalvo, C. Ito

Physics Faculty Publications

The molecular‐beam‐epitaxial growth of InxGa1−xAs on GaAs or AlyGa1−yAs leads to a variation of In content with depth, due to In segregation. However, by predepositing In at the beginning of InxGa1−xAs growth, and also thermally removing the excess In at the end, we can produce a layer with the ideal ‘‘square’’ In profile. We find that the performance of AlyGa1−yAs/InxGa1−xAs/GaAs high electron mobility transistors is most enhanced by the predeposition step alone.

Go to article

Wet Chemical Digital Etching Of Gaas At Room Temperature, Gregory C. Desalvo, Christopher A. Bozada, John L. Ebel, David C. Look, John P. Barrette, Charles L. A. Cerny, Ross W. Dettmer, James K. Gillespie, Charles K. Havasy, Thomas J. Jenkins, Kenichi Nakano, Carl I. Pettiford, Tony K. Quach, James S. Sewell, G. David Via Jan 1996

Wet Chemical Digital Etching Of Gaas At Room Temperature, Gregory C. Desalvo, Christopher A. Bozada, John L. Ebel, David C. Look, John P. Barrette, Charles L. A. Cerny, Ross W. Dettmer, James K. Gillespie, Charles K. Havasy, Thomas J. Jenkins, Kenichi Nakano, Carl I. Pettiford, Tony K. Quach, James S. Sewell, G. David Via

Physics Faculty Publications

A new room temperature wet chemical digital etching technique for GaAs is presented which uses hydrogen peroxide and an acid in a two‐step etching process to remove GaAs in approximately 15 Å increments. In the first step, GaAs is oxidized by 30% hydrogen peroxide to form an oxide layer that is diffusion limited to a thickness of 14 to 17 Å for time periods from 15 to 120 s. The second step removes this oxide layer with an acid that does not attack unoxidized GaAs. These steps are repeated in succession until the desired etch depth is obtained. Experimental results …

Go to article

Magnetophotoluminescence Study Of Excited States Associated With Donor Bound Excitons In High-Purity Gaas, D. C. Reynolds, David C. Look, B. Jogai, G. L. Mccoy, K. K. Bajaj Jan 1996

Magnetophotoluminescence Study Of Excited States Associated With Donor Bound Excitons In High-Purity Gaas, D. C. Reynolds, David C. Look, B. Jogai, G. L. Mccoy, K. K. Bajaj

Physics Faculty Publications

Detailed magnetic-field splitting of the two rotator states designated as (Γ6+Γ8, J=5/2) and (Γ7, J=1/2) associated with donor bound excitons in high-purity epitaxial GaAs is observed in magnetophotoluminescence spectra. These two states are associated with the light-hole mass and are split by the spin-orbit interaction. The ordering in energy of these two states agrees with that predicted by theory. Also observed are the rotator states in which, after the radiative collapse of the exciton, the donor is left in the excited states. A good agreement between the energies of the excited states of the …

Go to article

Semantic And Schematic Similarities Between Database Objects: A Context-Based Approach, Vipul Kashyap, Amit P. Sheth Jan 1996

Semantic And Schematic Similarities Between Database Objects: A Context-Based Approach, Vipul Kashyap, Amit P. Sheth

Kno.e.sis Publications

In a multidatabase system, schematic conflicts between two objects are usually of interest only when the objects have some semantic similarity. We use the concept of semantic proximity, which is essentially an abstraction/mapping between the domains of the two objects associated with the context of comparison. An explicit though partial context representation is proposed and the specificity relationship between contexts is defined. The contexts are organized as a meet semi-lattice and associated operations like the greatest lower bound are defined. The context of comparison and the type of abstractions used to relate the two objects form the basis of a …

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 10, December 1995, College Of Engineering And Computer Science, Wright State University Dec 1995

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 10, December 1995, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Simulation Modeling Within Workflow Technology, John A. Miller, Amit P. Sheth, Krzysztof J. Kochut, Xuzhong Wang, Arun Murugan Dec 1995

Simulation Modeling Within Workflow Technology, John A. Miller, Amit P. Sheth, Krzysztof J. Kochut, Xuzhong Wang, Arun Murugan

Kno.e.sis Publications

This paper presents an approach for integrating simulation modeling and analysis capabilities within the workflow management system (WFMS) being developed in the Large Scale Distributed Information Systems (LSDIS) Lab at the University of Georgia. Simulation modeling can be used for studying the efficiency of workflow designs as well as studying the general performance and reliability of WFMSs. We also discuss the importance of using sophisticated monitoring and animation capabilities, and the use of workflow management technology to advance simulation technology itself. Finally, we demonstrate a sample simulation where tasks and task managers are simulated.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 9, November 1995, College Of Engineering And Computer Science, Wright State University Nov 1995

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 9, November 1995, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A twelve page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

On The Equivalence Of Upward And Downward Inheritance Reasoners, Krishnaprasad Thirunarayan Nov 1995

On The Equivalence Of Upward And Downward Inheritance Reasoners, Krishnaprasad Thirunarayan

Kno.e.sis Publications

In this paper, we analyze systematically the downward (property flow) and the upward (individual flow) views of inheritance for different categories of inheritance networks. We observe that both these views assign the same meaning to tree-structured hierarchies, and explain the divergence in the interpretation of more general networks in terms of their expressive power. This simple analysis sheds light on the inherent nature of nonmonotonic inheritance and can form the basis for the design of efficient algorithms for certain classes of queries. In addition, we describe the notion of preferential inheritance to specify additional conflict resolution information that can be …

Go to article

Student Fact Book, Fall 1995, Wright State University, Office Of Student Information Systems, Wright State University Oct 1995

Student Fact Book, Fall 1995, Wright State University, Office Of Student Information Systems, Wright State University

Wright State University Student Fact Books

The student fact book has general demographic information on all students enrolled at Wright State University for Fall Quarter, 1995.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 8, October 1995, College Of Engineering And Computer Science, Wright State University Oct 1995

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 8, October 1995, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

The Support Of Measure-Valued Branching Processes In A Random Environment, Donald A. Dawson, Yi Li, Carl Mueller Oct 1995

The Support Of Measure-Valued Branching Processes In A Random Environment, Donald A. Dawson, Yi Li, Carl Mueller

Mathematics and Statistics Faculty Publications

We consider the one-dimensional catalytic branching process intro­duced by Dawson and Fleischmann, which is a modification of the super­ Brownian motion. The catalysts are given by a nonnegative infinitely divisible random measure with independent increments. We give sufficient conditions for the global support of the process to be compact, and sufficient conditions for noncompact global support. Since the catalytic process is related to the heat equation, compact support may be surprising. On the other hand, the super-Brownian motion has compact global support. We find that all nonnegative stable random measures lead to compact global support, and we give an example …

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 7, September 1995, College Of Engineering And Computer Science, Wright State University Sep 1995

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 7, September 1995, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A six page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Power Systems Marginal Cost Curve And Its Applications, Shaojun Wang, S. M. Shahidehpour, Nian-De Xiang Aug 1995

Power Systems Marginal Cost Curve And Its Applications, Shaojun Wang, S. M. Shahidehpour, Nian-De Xiang

Kno.e.sis Publications

This paper presents a forward recursive procedure to calculate the expected system marginal cost curve (EMC). The EMC formulation allows for multi-state and multi-block dispatch of generating units and is used to determine the optimal energy of pumped-storage units. A new approach is developed to compute the first and second derivatives of the expected generation energy of a thermal unit with respect to the capacity of all thermal units in the system. The salient feature of the proposed approach is that it applies to hydro-thermal systems with multiple limited-energy hydro units.

Go to article

Depletion Width And Capacitance Transient Formulas For Deep Traps Of High-Concentration, David C. Look, J. R. Sizelove Aug 1995

Depletion Width And Capacitance Transient Formulas For Deep Traps Of High-Concentration, David C. Look, J. R. Sizelove

Physics Faculty Publications

We derive expressions for the depletion width and capacitance transient applicable to traps which may be deep and of high concentration. The new results are compared with those obtained from the commonly used formulas, and also from an exact analysis. Experimental deep level transient spectroscopic data for EL2 in GaAs are in good agreement.

Go to article

High-Resolution Ultraviolet Spectroscopy Of Jupiter's Aurora With The Hubble Space Telescope, Y. H. Kim, John J. Caldwell, Jane L. Fox Jul 1995

High-Resolution Ultraviolet Spectroscopy Of Jupiter's Aurora With The Hubble Space Telescope, Y. H. Kim, John J. Caldwell, Jane L. Fox

Jane L. Fox

In 1993 June and July, we obtained 18 spectra of Jupiter's aurora in the wavelength range 1586-1620 Å using the Goddard High Resolution Spectrograph on board the Hubble Space Telescope (HST). The field of view for each observation was 2" × 2". There were 14 spectra of the northern and four spectra of the southern auroral ovals. The spectra are dominated by vibrational-rotational lines of the H2 Lyman band system, from which we have determined H2 rotational temperatures which correspond to the altitude region where most of the auroral emission originates. Intense emission was observed in …

Go to article

Stability Of Growing Front Of Yba(2)Cu(3)O(X) Superconductor In The Presence Of Pt And Ceo(2) Additions, Gregory Kozlowski, Tom Svobodny Jul 1995

Stability Of Growing Front Of Yba(2)Cu(3)O(X) Superconductor In The Presence Of Pt And Ceo(2) Additions, Gregory Kozlowski, Tom Svobodny

Physics Faculty Publications

Distinctive microstructures of textured YBa2Cu3Ox (123) superconductors were examined by scanning electron microscopy and metallurgical microscopy. The samples were synthesized under a residual thermal gradient by using a modified melt textured growth on a Y2BaCuO5 (211) substrate. Also, the unidirectional solidification by a zone‐melting method was performed to fabricate 123 superconducting bars up to 12 cm long placed on the 211 substrate in the horizontal arrangement, with a growth rate R=0.5 mm/h and a temperature gradient of G=20 °C/cm (G/R=400 °C h/cm2). A ramping …

Go to article

Predicting Conserved Water-Mediated Interactions In Protein Active Sites, Michael L. Raymer, Sridhar Venkataraman, William F. Punch, Erik D. Goodman, Brenda Kuhn Jul 1995

Predicting Conserved Water-Mediated Interactions In Protein Active Sites, Michael L. Raymer, Sridhar Venkataraman, William F. Punch, Erik D. Goodman, Brenda Kuhn

Kno.e.sis Publications

No abstract provided.

Go to article

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 6, June 1995, College Of Engineering And Computer Science, Wright State University Jun 1995

Wright State University College Of Engineering And Computer Science Bits And Pcs Newsletter, Volume 11, Number 6, June 1995, College Of Engineering And Computer Science, Wright State University

BITs and PCs Newsletter

A ten page newsletter created by the Wright State University College of Engineering and Computer Science that addresses the current affairs of the college.

Go to article

Phonon Replicas In The Photoluminescence Emission Of Alxga1-Xas Alloys, D. C. Reynolds, David C. Look, R. Kaspi, D. N. Talwar Jun 1995

Phonon Replicas In The Photoluminescence Emission Of Alxga1-Xas Alloys, D. C. Reynolds, David C. Look, R. Kaspi, D. N. Talwar

Physics Faculty Publications

Phonon replicas in the photoluminescence spectra of a direct gap AlxGa1−xAs alloy have been observed. The GaAs‐like transverse optical and longitudinal optical as well as AlAs‐like longitudinal optical modes were observed at the Γ‐point. We also observe what we believe to be the longitudinal acoustical phonons at the L‐point in the Brillouin zone.

Go to article

First Prev Next Last