Inaug. _ Diss.: Philosophische Fakultät: Mannheim: 1976. _ Bibliogr. p. 378-405.

Thesis (Ph. D.)--University of Washington, 2000. / Vita. Includes bibliographical references (leaves 266-288).

Thesis (Ph.D.)--University of Wyoming, 2009. / Title from PDF title page (viewed on July 13, 2010). Includes bibliographical references (p. 160-168).

Ingeniero Civil en Computación / Mientras los programas se vuelven más complejos, nacen nuevos problemas. Uno de ellos es la poca modularidad que se tiene con las llamadas funcionalidades transversales. Estas funcionalidades están dispersas por toda la aplicación y no pueden separarse mediante el paradigma de la programación orientada a objetos. Para solucionar este problema nace el paradigma de la programación orientada a aspectos. En la programación orientada a aspectos se modularizan las funcionalidades trans- versales en una entidad llamada aspecto. El aspecto se ejecuta donde corresponde gracias a que, conceptualmente, el programa se está monitoreando por el aspecto en toda su ejecución, decidiendo cuando se debe ejecutar una acción provista por el aspecto. La- mentablemente, el monitoreo de la aplicación conlleva a un sobrecosto que, muchas veces, los desarrolladores no están dispuestos a pagar. En este trabajo se presenta Casper, un lenguaje orientado a aspectos construido sobre Pharo Smalltalk. Las características más importantes buscadas por Casper son la simplicidad de uso, la explicitud de lo que sucede con los aspectos y bajar el sobrecosto de la ejecución de los programas que utilicen Casper. Casper basa sus funcionalidades en PHANtom. PHANtom es un lenguaje de aspectos construidos sobre Pharo Smalltalk. Ambos lenguajes tienen sintaxis similares, pero las implementaciones son muy diferentes. Casper busca mejorar los sobrecostos generados al usar PHANtom. Para ello Casper propone compilar las funcionalidades dadas por los aspectos junto con los métodos originales. Gracias a la compilación, Casper expone las funcionalidades al desarrollador, en cambio, PHANtom esconde las funcionalidades y nunca muestra de forma explícita donde se ejecuta una funcionalidad transversal. Se comprobó el uso de Casper refactorizando SPY. SPY es un framework para el aná- lisis dinámico de programas. SPY instrumentaliza los métodos que se quieren analizar. Casper provee la instrumentalización de SPY con aspectos. Se realizaron pruebas sobre SPY versus SPY con Casper versus SPY con PHANtom. Se tomaron los tiempos sobre la preparación de la aplicación misma y lo que demora en ejecutar. Estos resultados comprueban un sobrecosto del uso de aspectos en la aplicación. Sin embargo, también demuestra que la ejecución de la refactorización de SPY con Casper es mucho menos costosa que la refactorización de SPY usando PHANtom.

Tato diplomová práce se zabývá technologii blockchain se zaměřením na konsenzus protokoly, zvláště protokoly typu proof-of-stake. V této práci naleznete popis těchto protokolů následovaný popisem konsenzu v technologii blockchain. Prvotní kapitoly detailněji popisují a porovnávají jednotlivé proof-of-stake protokoly na základě teoretických znalostí. Druhá část práce se zaobírá návrhem a implementací testbedu, který je následně použitý pro praktické porovnání proof-of-stake protokolů. V závěrečné částí práce je diskutováno nad zjištěnými výsledky pozorováním testbedu a zjištěnými vlatnostmi protokolů. Na tomto základě práce ve svém konci naznačuje další směřování consesus protokolů, ba jejich případné zlepšení, a zvláště proof-of-stake typu protokolů.

The continual increase of wireless technologies in the world has motivated the use of phased arrays to mitigate radio frequency interference (RFI). There are many methods of performing beamforming for RFI rejection, but they are traditionally physically large and complicated solutions. Phased arrays need to be shrunk and made cheaper for them to see widespread use. This work presents several compact phased array receivers for different applications. The first part of this thesis presents a software GPS processor for a digital beamforming GPS receiver. The receiver is small enough to be flown on drones and enables GPS signals to be processed and a user’s position to be determined. Using digital beamforming, it can operate even under poor conditions such as intentional jamming, RFI, and large multipath effects. Next, this work builds a frontend RF chain for a true time delay phased array receiver. The receiver uses analog true delay delay chips to mitigate radio frequency interference in sensitive instruments. True time delay allows for analog beamforming over a wide bandwidth, but compact true time delay solutions are new and untested. The receiver allows these solutions to be properly vetted in a full system. The chain uses novel compact wideband antennas for L-band frequencies and traditional low cost amplifiers and filters. The last section of this thesis updates the open-source CASPER project to fully support RF system-on-chips. CASPER is an open-source framework for radio astronomy instruments. It speeds up the design and implementation of radio astronomy instruments on compact platforms and makes them easier to interact with. This work expands the framework to use the transmit abilities of advanced RF system-on-chip platforms. With this expansion, full duplex systems such as communications and radar can now also use CASPER. A full loopback beamforming test built on CASPER demonstrates both transmit and receive beamforming.

Astrophysical observations indicate the existence of dark matter through its gravitational interaction, but since its other interactions remain undetected, its particle nature is still unknown. There are several dark matter candidates, one being a hypothetical particle called axion that can have three types of non-gravitational couplings: electromagnetic, electric dipole moment (EDM), and gradient. This dissertation presents experimental approaches and axionlike dark matter search results from two table-top experiments: Cosmic Axion Spin Precession Experiment (CASPEr-electric) sensitive to EDM and gradient couplings, and Search for Halo Axions with Ferromagnetic Toroids (SHAFT) sensitive to electromagnetic coupling. CASPEr-electric is a resonant search for axionlike dark matter through the induced nuclear spin precession. The experimental approach is measuring nuclear magnetic resonance (NMR) of the heavy atom in a ferroelectric crystal. Experimental setup is characterized using pulsed NMR calibration measurements. Recorded search data that is sensitive to axionlike dark matter is analyzed by optimal filtering and then setting a detection threshold based on the histogram of power spectral density modeled as a Gaussian distribution. The candidates above the threshold are all rejected through statistical fluctuations and scan/re-scan measurements. CASPEr-electric places the upper bounds on the EDM and gradient couplings of axionlike dark matter in the Compton frequency range from 39.1 MHz to 40.2 MHz. SHAFT is a broadband search for axionlike dark matter through the induced oscillatory magnetic field. The resultant magnetic flux is measured with a precision magnetometer called superconducting quantum interference device (SQUID), coupled to a coil placed on the inner surface of a ferromagnetic toroid. After analyzing the search data, all candidates are rejected and SHAFT places a limit on electromagnetic coupling of axionlike dark matter between 3 kHz and 3 MHz Compton frequencies. Finally, coupling limits placed by CASPEr-electric and SHAFT are evaluated in the wider parameter space, and possible future directions that both experiments could take to improve their sensitivities to axionlike dark matter are discussed. / 2022-09-27T00:00:00Z

Direct detection of dark matter remains an important outstanding problem since abundant astrophysical evidence points towards its existence, but no experiment has succeeded in detecting it. Axions and axion-like-particles are some of the most compelling candidates for dark matter given their appearance in many theories of physics beyond the Standard Model and their relatively unexplored parameter space compared to other candidates. Recently, the Cosmic Axion Spin Precession Experiment-Electric (CASPEr-e) has used nuclear magnetic resonance (NMR) to search for effective magnetic fields created by axionic dark matter. By decreasing technical noise sources, CASPEr-e is projected to reach the standard quantum limit where spin projection noise is the dominant noise source limiting sensitivity. However, some axion models predict axion couplings to normal matter that would be too small for even a quantum limited CASPEr-e experiment to detect. This creates a need for surpassing the spin projection noise limit in NMR dark matter searches. In this thesis, I explore the prospects for surpassing the quantum limit in NMR by using spin squeezed states, entangled states with variance in one projection reduced below the standard quantum limit. First, I propose an experimental scheme for generating squeezed states by coupling the spins to an off-resonant circuit to create a One-Axis-Twist Hamiltonian. Then, using exact results and numerical simulations, I determine the amount of squeezing that can be achieved given decoherence and noise. Next, I perform modeling to show that squeezing can accelerate dark matter searches despite earlier results that argued squeezing cannot improve experimental sensitivity when subject to decoherence. Finally, I apply these results to the CASPEr-e experiment and show that at axion frequencies near 100MHz, squeezing can speed up the experiment by a factor of up to 30, corresponding to a sensitivity improvement by a factor of over 5.

A comparative analysis of the musical transcriptions of Dorothy Ashby with those of her predecessors proves that Ashby was a uniquely powerful and innovative influence on the genre of jazz harp. This dissertation begins with a summative biography of Ashby, following her education in both jazz and classical music through to her career highlights as a performer, arranger and composer. An analysis of Ashby's recordings reveals the development of her groundbreaking musical style throughout her life. This paper also examines Ashby's social activism through musical theatre, especially with regards to combating racism. Next, a brief biography of jazz harp forerunners Casper Reardon and Adele Girard precedes a comparative analysis of Reardon's "Aint' Misbehavin" with Ashby's "Soft Winds" and a comparative analysis of Girard's "Harp Boogie" with Ashby's "Blues for Mr. K." Finally, myriad examples of current musicians covering and sampling her work confirm the paramount and lasting influence of Dorothy Ashby's music.

This paper describes four tools for verification security protocols Athena, Casper, Isabelle and Murphi. Each tool is briefly characterized and implementation of protocol Needham Schroeder. One part of this paper is comparing of selected tools. The second part of this paper describes in detail a tool Athena and mentions examples of verified protocols. By each protocol is stated a specifications of communication, a detected attack and results of own verification. At the end compares this paper verification results with already publicated attacks.