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

Digital Commons Network™

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

Computer Engineering

Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 16381 - 16410 of 17520

Full-Text Articles in Entire DC Network

2d Complex Point Source Radiation Problem Ii.~Complex Beams, M. J. Gonzalez Morales, E. Gago-Ribas Jan 2002

2d Complex Point Source Radiation Problem Ii.~Complex Beams, M. J. Gonzalez Morales, E. Gago-Ribas

Turkish Journal of Electrical Engineering and Computer Sciences

The complex point source analytic continuation, and the analysis into the spaces of complex distances, angles, and other related magnitudes, may be applied to describe a wide variety of 2D wave propagation problems. This step will be essential in order to establish a complete complex methodology which may be applied to obtain general descriptions of more practical problems involving the scattering of waves under some kind of field incidence. A particular application of the methodology presented in Part I will be used in Part II. The specific problem under analysis in these papers will be the general complex beam solution …


An Efficient Preconditioner For Iterative Solvers, V. V. S. Prakash, Raj Mittra Jan 2002

An Efficient Preconditioner For Iterative Solvers, V. V. S. Prakash, Raj Mittra

Turkish Journal of Electrical Engineering and Computer Sciences

The method of moments solution of the Maxwell's equations leads to a dense system of complex equations. Direct solution of these equations using LU factorization becomes unwieldy as the size of the scatterer increase in terms of wavelength. Iterative solvers, such as those based on Krylov projection methods, offer an alternative approach for solving large system of equations. Most often, the iterative methods are used in combination with some kind of preconditioning to improve the condition number of the system matrix A in order to acheive accelerated convergence [1-2]. This paper discusses the application of Multi-Frontal Preconditioners (MFPs) for the …


A Note On The Poisson Summation Formula And Its Application To Electromagnetic Problems Involving Cylindrical Coordinates, Anastassios H. Panaretos, Hristos T. Anastassiu, Dimitra I. Kaklamani Jan 2002

A Note On The Poisson Summation Formula And Its Application To Electromagnetic Problems Involving Cylindrical Coordinates, Anastassios H. Panaretos, Hristos T. Anastassiu, Dimitra I. Kaklamani

Turkish Journal of Electrical Engineering and Computer Sciences

A modified version of the Poisson Summation Formula is derived,involving the Fourier-Bessel Transform of the kernel function, as opposed to the conventional Fourier Transform engaged in the standard formula. This novel form can be applied to problems employing cylindrical coordinates, such as the fast evaluation of the dyadic Green's function in a waveguide or cavity of circular cross-section.


A Time Domain Uniform Geometrical Theory Of Slope Diffraction For A Curved Wedge, Prabhakar H. Pathak, Paul R. Rousseau Jan 2002

A Time Domain Uniform Geometrical Theory Of Slope Diffraction For A Curved Wedge, Prabhakar H. Pathak, Paul R. Rousseau

Turkish Journal of Electrical Engineering and Computer Sciences

A time domain version of the uniform geometrical theory of diffraction (TD-UTD) is developed to describe, in essentially closed form, the field which is produced via slope diffraction at a perfectly conducting, arbitrarily curved wedge excited by a time impulsive wave that exhibits a rapid spatial variation near the edge of the wedge. This TD-UTD slope diffracted field for a curved wedge is obtained by a Fourier inversion of the corresponding frequency domain UTD expression. An analytical signal representation of the transient fields is used since it is convenient, and because it circumvents some of the difficulties, which especially arise …


A Novel Mom Approach For Obtaining Accurate And Efficient Solutions In Optical Rib Waveguide, Namik Yener, Ercan Topuz Jan 2002

A Novel Mom Approach For Obtaining Accurate And Efficient Solutions In Optical Rib Waveguide, Namik Yener, Ercan Topuz

Turkish Journal of Electrical Engineering and Computer Sciences

The optical rib waveguide (ORW) plays an important role in the design of several integrated optical devices. Various methods have been proposed for obtaining the modal field solutions in ORW. However, to the best of our knowledge none of them is capable of providing accurate full-wave benchmark solutions. Here we present a novel MoM approach wherein the modes of a loaded rectangular waveguide are utilized as basis functions and demonstrate that this approach is very efficient and yields highly accurate full-wave results which can serve as benchmark solutions in assessing the quality of the data reported in the literature.


Plane Wave Diffraction By A Dielectric Loaded Open Parallel Thick Plate Waveguide, Bahatti̇n Türetken, Ali̇ Alkumru Jan 2002

Plane Wave Diffraction By A Dielectric Loaded Open Parallel Thick Plate Waveguide, Bahatti̇n Türetken, Ali̇ Alkumru

Turkish Journal of Electrical Engineering and Computer Sciences

A uniform asymptotic high-frequency solution for a two-dimensional diffraction problem of plane electromagnetic waves by a dielectric loaded open parallel thick plate waveguide is investigated rigorously using the Fourier transform technique in conjunction with the mode matching method. This mixed method of formulation gives rise to scalar modified Wiener-Hopf equations of the second kind for which the solution contains a set of infinitely many constants satisfying an infinite system of linear algebraic equations. A numerical solution of this system is obtained for various values of plate thickness, incidence angle and permittivity, and the effect of these parameters on the diffraction …


Array Pattern Nulling By Phase And Position Perturbations With The Use Of A Modified Tabu Search Algorithm, Ali̇ Akdağli, Keri̇m Güney Jan 2002

Array Pattern Nulling By Phase And Position Perturbations With The Use Of A Modified Tabu Search Algorithm, Ali̇ Akdağli, Keri̇m Güney

Turkish Journal of Electrical Engineering and Computer Sciences

A useful and flexible method based on the tabu search algorithm for the pattern synthesis of linear antenna arrays with the prescribed nulls is presented. Nulling of the pattern is achieved by controlling both the phase and the position of each array element. To show the versatility of the present method, some design specifications such as the maximum sidelobe level and the null depth level are considered by introducing a set of weighting factors in the cost function constructed for the tabu search algorithm. Several illustrative examples of a Chebyshev pattern with the imposed single, multiple and broad nulls are …


Scalar Wave Diffraction By Perfectly Soft Thin Circular Cylinder Of Finite Length; Analytical Regularization Method, Eylem Özkan, Fati̇h Di̇kmen, Yury Alexanderovich Tuchkin Jan 2002

Scalar Wave Diffraction By Perfectly Soft Thin Circular Cylinder Of Finite Length; Analytical Regularization Method, Eylem Özkan, Fati̇h Di̇kmen, Yury Alexanderovich Tuchkin

Turkish Journal of Electrical Engineering and Computer Sciences

A new mathematically rigorous and numerically effective method for solving the boundary value problem of scalar wave diffraction by an infinitely thin circular cylindrical screen of finite length is proposed. The method is based on the combination of the Orthogonal Polynomials Approach, and on the ideas of the methods of analytical regularization. As a result of the suggested regularization procedure, the initial boundary value problem is equivalently reduced to the infinite system of the linear algebraic equations of the second kind, i.e. to an equation of the type (I + H)x = b in the space \ell _{2} of square …


Active Clamped Zvs Forward Converter With Soft-Switched Synchronous Rectifier, A. Açik, Işik Çadirci Jan 2002

Active Clamped Zvs Forward Converter With Soft-Switched Synchronous Rectifier, A. Açik, Işik Çadirci

Turkish Journal of Electrical Engineering and Computer Sciences

This paper presents the analysis, design and implementation of an active-clamped, ZVS forward converter equipped with a soft-switched synchronous rectifier (ACFC-SR) proposed for high-efficiency, low output voltage dc-dc converter applications. The converter efficiency is maximized due to the soft-switching of the main, active clamp, synchronous rectifier and freewheeling MOSFET switches. The operating principles of the ACFC-SR are analyzed in detail and the converter performance is compared with the alternative forward converter schemes employed in low output voltage dc-dc converters. Experimental results are presented for a converter with a dc input voltage of 48 V, an output voltage of 5 V, …


Hybrid Sr Arq Scheme Using Trellis Coded Modulation For Point-To-Multipoint Communication Over Nonstationary Channels, Necmi̇ Taşpinar Jan 2002

Hybrid Sr Arq Scheme Using Trellis Coded Modulation For Point-To-Multipoint Communication Over Nonstationary Channels, Necmi̇ Taşpinar

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, a type-I hybrid SR ARQ scheme using trellis coded modulation (TCM) for point-to-multipoint communication was analyzed on nonstationary broadcast channels where the channel bit error rate (BER) varies over time. A nonstationary channel is modelled as a two-state Markov chain. In the numerical calculations, it is found that, for a given p_{1} and \bar \varepsilon , the values of the average burst length \bar b have a very small influence on the throughput. Numerical results show that the throughput is better for values between 10 ^{-6} and 10 ^{-4}of average bit error rate \bar \varepsilon if the …


Stability Analysis Of A Closed-Loop Control For A Pulse Width Modulated Dc Motor Drive, Fatma Gürbüz, Eyüp Akpinar Jan 2002

Stability Analysis Of A Closed-Loop Control For A Pulse Width Modulated Dc Motor Drive, Fatma Gürbüz, Eyüp Akpinar

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, the effect of the variation of amplitude and the chopping period of a PWM signal on the stability of a closed-loop control for a DC motor drive is investigated. First, the entire system is formulated as a Linear Quadratic (LQ) tracker with output feedback [1]. Then, stability analysis for the varying amplitude and the varying chopping period is carried out by the methods of root locus and the Jury test. Finally, stability limits obtained from a root locus and Jury test are checked by the simulation of the system in MATLAB.


Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson Jan 2002

Definability, Canonical Models, And Compactness For Finitary Coalgebraic Modal Logic, Alexander Kurz, Dirk Pattinson

Engineering Faculty Articles and Research

This paper studies coalgebras from the perspective of the finitary observations that can be made of their behaviours. Based on the terminal sequence, notions of finitary behaviours and finitary predicates are introduced. A category Behω(T) of coalgebras with morphisms preserving finitary behaviours is defined. We then investigate definability and compactness for finitary coalgebraic modal logic, show that the final object in Behω(T) generalises the notion of a canonical model in modal logic, and study the topology induced on a coalgebra by the finitary part of the terminal sequence.


Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický Jan 2002

Modal Predicates And Coequations, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

We show how coalgebras can be presented by operations and equations. This is a special case of Linton’s approach to algebras over a general base category X, namely where X is taken as the dual of sets. Since the resulting equations generalise coalgebraic coequations to situations without cofree coalgebras, we call them coequations. We prove a general co-Birkhoff theorem describing covarieties of coalgebras by means of coequations. We argue that the resulting coequational logic generalises modal logic.


Self-Assembly Of Spatially Separated Silicon Structures By Si Heteroepitaxy On Ni Disilicide, Elena A. Guliants, Chunhai Ji, Wayne A. Anderson Jan 2002

Self-Assembly Of Spatially Separated Silicon Structures By Si Heteroepitaxy On Ni Disilicide, Elena A. Guliants, Chunhai Ji, Wayne A. Anderson

Electrical and Computer Engineering Faculty Publications

A nonlithographic approach to produce self-assembled spatially separated Si structures for nanoelectronic applications was developed, employing the metal-induced silicon growth. Densely packed Si whiskers, 500–800 nm thick and up to 2500 nm long, were obtained by magnetron sputtering of Si on a 25 nm thick Ni prelayer at 575 °C. The nucleation of the NiSi2 compound at the Ni–Si interface followed by the Si heteroepitaxy on the lattice-matched NiSi2 is suggested to be the driving force for the whisker formation.


Advances In Space Radiation Shielding Codes, John W. Wilson, Ram K. Tripathi, Garry D. Qualls, Francis A. Cucinotta, Richard E. Prael, John W. Norbury, John H. Heinbockel, John Tweed, Giovanni De Angelis Jan 2002

Advances In Space Radiation Shielding Codes, John W. Wilson, Ram K. Tripathi, Garry D. Qualls, Francis A. Cucinotta, Richard E. Prael, John W. Norbury, John H. Heinbockel, John Tweed, Giovanni De Angelis

Mathematics & Statistics Faculty Publications

Early space radiation shield code development relied on Monte Carlo methods and made important contributions to the space program. Monte Carlo methods have resorted to restricted one-dimensional problems leading to imperfect representation of appropriate boundary conditions. Even so, intensive computational requirements resulted and shield evaluation was made near the end of the design process. Resolving shielding issues usually had a negative impact on the design. Improved spacecraft shield design requires early entry of radiation constraints into the design process to maximize performance and minimize costs. As a result, we have been investigating high-speed computational procedures to allow shield analysis from …


Adaptive Radio Resource Management For 2.5g Cellular Networks, Ken Murray Jan 2002

Adaptive Radio Resource Management For 2.5g Cellular Networks, Ken Murray

Theses

Recent years have seen a dramatic increase in demand for mobile communication services and with the introduction of 2.5G services such as general packet radio service, this trend is expected to increase further. These new services will introduce highly dynamic tele-traffic variations due to the inherent variability in resource usage of the new data services. The net effect will be considerable increase in load on the available radio resources. The currently employed fixed channel allocation scheme lacks the flexibility to support such traffic variations. A plethora of dynamic channel allocation schemes have been proposed in the past in an effort …


A Simulation Program For Electronics Skill Knowledge Instruction At A Selected Community College In Taiwan, Hung-Jen Chen Jan 2002

A Simulation Program For Electronics Skill Knowledge Instruction At A Selected Community College In Taiwan, Hung-Jen Chen

Dissertations and Theses @ UNI

Since computers came into existence, simulations have been associated with it as the two inseparable media, simulations and computers, have had a mutually beneficial effect. With the advent of the flexible microcomputer, simulation has been widely used. In recent years, computer technology has infiltrated every sector in society, especially the educational system and industrial operations where simulations are essential for satisfying both instructional and industrial needs. Simulation effectiveness research has been mixed in both the educational system and industries. Therefore, it is still necessary to evaluate how effective computer simulation is as an instructional method or strategy.

This study was …


Maximum-Likelihood Image Estimation Using Photon-Correlated Beams, Majeed M. Hayat, Muhammad Sajjad Abdullah, Adel Joobeur, Bahaa E.A. Saleh Jan 2002

Maximum-Likelihood Image Estimation Using Photon-Correlated Beams, Majeed M. Hayat, Muhammad Sajjad Abdullah, Adel Joobeur, Bahaa E.A. Saleh

Electrical and Computer Engineering Faculty Research and Publications

A theory is presented addressing the fundamental limits of image estimation in a setup that uses two photon-correlated beams. These beams have the property that their photon arrivals, as a point process, are ideally synchronized in time and space. The true image represents the spatial distribution of the optical transmittance (or reflectance) of an object. In this setup, one beam is used to probe the image while the other is used as a reference providing additional information on the actual number of photons impinging on the object. This additional information is exploited to reduce the effect of quantum noise associated …


A Personel Note, Leopold B. Felsen Jan 2002

A Personel Note, Leopold B. Felsen

Turkish Journal of Electrical Engineering and Computer Sciences

No abstract provided.


Iterative Solution Of Field Problems With A Varying Physical Parameter, Anton G. Tijhuis, Martijn C. Van Beurden, A. Peter M. Zwamborn Jan 2002

Iterative Solution Of Field Problems With A Varying Physical Parameter, Anton G. Tijhuis, Martijn C. Van Beurden, A. Peter M. Zwamborn

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, linear field problems with a varying physical parameter are solved with the conjugate-gradient FFT method and a dedicated extrapolation procedure for generating the initial estimate. The scheme is formulated and illustrated for two simple example problems. The importance of the choice of the stop criterion and the step size are demonstrated for the case of a straight thin-wire segment. A brief summary is given of the applications that have appeared in the open literature until now, and actual three-dimensional scattering problems for a rectangular conducting plate and an inhomogeneous, dispersive dielectric body are discussed. Finally, the case …


Network--Oriented Modeling Of Radiating Electromagnetic Structures, Peter Russer Jan 2002

Network--Oriented Modeling Of Radiating Electromagnetic Structures, Peter Russer

Turkish Journal of Electrical Engineering and Computer Sciences

The application of network-oriented modeling for radiating electromagnetic structures is investigated. Network methods are applied to the field problem using the segmentation technique and by specifying canonical Foster representations as compact models of reciprocal linear lossless electromagnetic structures. Connection between different subdomains is obtained via connection circuits exhibiting only ideal transformers. In the case of radiating structures, the complete structure is embedded into a sphere and the field outside the sphere is expanded into orthogonal spherical TM- and TE- waves. For each radiation mode a Cauer canonic circuit representation is given.


Novel Time Domain Radiowave Propagators For Wireless Communication Systems, Funda Akleman, M. O. Özyalçin, Levent Sevgi̇ Jan 2002

Novel Time Domain Radiowave Propagators For Wireless Communication Systems, Funda Akleman, M. O. Özyalçin, Levent Sevgi̇

Turkish Journal of Electrical Engineering and Computer Sciences

In this study, novel time domain wave propagators are used in path loss calculations for macro and micro cell coverage planning in wireless communication systems. Both Transmission Line Matrix (TLM) and Finite-Difference Time-Domain (FDTD) based propagators, which were introduced recently and validated and verified on different canonical propagation scenarios, are used for this purpose. Examples are chosen both in rural and urban areas, where two propagators are compared with each other. Excellent agreement between the results obtained via two propagators is presented. The results presented here are very encouraging and these propagators are shown to be powerful tools for not …


Floquet Wave Diffraction Theory For Tapered Planar Strip Array Green's Function, F. Capolino, F. Mariottini, S. Maci, L. B. Felsen Jan 2002

Floquet Wave Diffraction Theory For Tapered Planar Strip Array Green's Function, F. Capolino, F. Mariottini, S. Maci, L. B. Felsen

Turkish Journal of Electrical Engineering and Computer Sciences

This paper deals with the derivation and physical interpretation of a uniform high frequency representation of the Green's function for a planar phased array of dipoles. The asymptotic representation is based on Floquet wave edge diffraction theory herein extended to accommodate slowly varying tapered amplitude illumination with possible inclusion of dipole amplitudes that tend to zero at the edge. The phased array is assumed to be infinite with uniform amplitude excitation in the z-direction but finite and amplitude-tapered in the x-direction. This geometry permits study of diffraction phenomena occurring at the tapered edge of a rectangular array when the observation …


An Exact Line Integral Representation Of The Po Radiation Integral From A Flat Perfectly Conducting Surfaces Illuminated By Elementary Electric Or Magnetic Dipoles, Matteo Albani, Stefano Maci Jan 2002

An Exact Line Integral Representation Of The Po Radiation Integral From A Flat Perfectly Conducting Surfaces Illuminated By Elementary Electric Or Magnetic Dipoles, Matteo Albani, Stefano Maci

Turkish Journal of Electrical Engineering and Computer Sciences

In this paper, a line integral representation for the PO radiation integral from a flat perfectly conducting surface, illuminated by an arbitrary oriented elementary either electric or magnetic dipole, is presented. No restriction is imposed on the position of the source and of the observation point. The main application of this result is the acceleration of the numerical PO integration for electrically large surfaces. The formulation is based on the application of the equivalence principle to a projecting surface which allows the analytical evaluation in closed form of one of the two-fold surface integral which define the radiated field at …


An Exploratory Study Of Internet Data Centres In Malaysia, Huai Peng Loh, Siew Hwa Tan Jan 2002

An Exploratory Study Of Internet Data Centres In Malaysia, Huai Peng Loh, Siew Hwa Tan

Student Works (2000-2009)

The explosion of Internet in Malaysia has spurred the growth of Internet Data Centres - a combination of Internet Service Providers, Information Technology Vendor Community and Telecommunication Service Providers providing co­location and managed services. These Internet Data Centres are targeting any organisations which have an internet strategy and which plan to outsource their IT infrastructures. This report aims to shed a light on the Malaysian Internet Data Centres, which are mainly concentrated in the Klang Valley. Readers will be able to gain insight into the target markets, infrastructure owned and services offered by the Internet Data Centres concerned. The report …


A Power Scheduling Software Package For Planetary Habitats, Gary W. Huband Jan 2002

A Power Scheduling Software Package For Planetary Habitats, Gary W. Huband

College of Graduate Studies: Theses & Dissertations (1964–2006)

Mankind has established a permanent presence in space with the International Space Station. The next step is building habitats on the Moon or Mars. However, these habitats will have to be nearly self-sustaining because replenishment from Earth will be costly. Power for life support and other electrical devices will be limited and must be monitored and allocated. This thesis develops the framework for power scheduling software to perform these tasks.

The software includes a graphical user interface (GUI) to allow the user to interact with the power schedule, a database and server, and a simulation for the effects of device …


Boundary Effects On Multiplication Noise In Thin Heterostructure Avalanche Photodiodes: Theory And Experiment [Al/Sub 0.6/Ga/Sub 0.4/As/Gaas], Majeed M. Hayat, Oh-Hyun Kwon, Shuling Wang, Joe C. Campbell, Bahaa E.A. Saleh, Malvin Carl Teich Jan 2002

Boundary Effects On Multiplication Noise In Thin Heterostructure Avalanche Photodiodes: Theory And Experiment [Al/Sub 0.6/Ga/Sub 0.4/As/Gaas], Majeed M. Hayat, Oh-Hyun Kwon, Shuling Wang, Joe C. Campbell, Bahaa E.A. Saleh, Malvin Carl Teich

Electrical and Computer Engineering Faculty Research and Publications

The history-dependent recurrence theory for multiplication noise in avalanche photodiodes (APDs), developed by Hayat et al., is generalized to include inter-layer boundary effects in heterostructure APDs with multilayer multiplication regions. These boundary effects include the initial energy of injected carriers as well as bandgap-transition effects within a multilayer multiplication region. It is shown that the excess noise factor can be significantly reduced if the avalanche process is initiated with an energetic carrier, in which case the initial energy serves to reduce the initial dead space associated with the injected carrier. An excess noise factor reduction up to 40% below the …


Object Persistence And Availability In Digital Libraries, Michael L. Nelson, B. Danette Allen Jan 2002

Object Persistence And Availability In Digital Libraries, Michael L. Nelson, B. Danette Allen

Computer Science Faculty Publications

We have studied object persistence and availability of 1,000 digital library (DL) objects. Twenty World Wide Web accessible DLs were chosen and from each DL, 50 objects were chosen at random. A script checked the availability of each object three times a week for just over 1 year for a total of 161 data samples. During this time span, we found 31 objects (3% of the total) that appear to no longer be available: 24 from PubMed Central, 5 from IDEAS, 1 from CogPrints, and 1 from ETD.


Federated Searching Interface Techniques For Heterogeneous Oai Repositories, Xiaoming Liu, Kurt Maly, Mohammad Zubair, Qiaoling Hong, Michael L. Nelson, Frances Knudson, Irma Holtkamp Jan 2002

Federated Searching Interface Techniques For Heterogeneous Oai Repositories, Xiaoming Liu, Kurt Maly, Mohammad Zubair, Qiaoling Hong, Michael L. Nelson, Frances Knudson, Irma Holtkamp

Computer Science Faculty Publications

Federating repositories by harvesting heterogeneous collections with varying degrees of metadata richness poses a number of challenging issues: (1) how to address the lack of uniform control for various metadata fields in terms of building a rich unified search interface, and (2) how easily new collections and freshly harvested data in existing repositories can be incorporated into the federation supporting a unified interface? This paper focuses on the approaches taken to address these issues in Arc, an Open Archives Initiative compliant federated digital library. At present Arc contains over 1M metadata records from 75 data providers from various subject domains. …


A Scalable Architecture For Harvest-Based Digital Libraries, Xiaoming Liu, Tim Brody, Stevan Harnard, Les Carr, Kurt Maly, Mohammad Zubair, Michael L. Nelson Jan 2002

A Scalable Architecture For Harvest-Based Digital Libraries, Xiaoming Liu, Tim Brody, Stevan Harnard, Les Carr, Kurt Maly, Mohammad Zubair, Michael L. Nelson

Computer Science Faculty Publications

This article discusses the requirements of current and emerging applications based on the Open Archives Initiative (OAI) and emphasizes the need for a common infrastructure to support them. Inspired by HTTP proxy, cache, gateway and web service concepts, a design for a scalable and reliable infrastructure that aims at satisfying these requirements is presented. Moreover, it is shown how various applications can exploit the services included in the proposed infrastructure. The article concludes by discussing the current status of several prototype implementations.