Artificial magnetic conductor surfaces and their application to low-profile high-gain planar antennas

Planar periodic metallic arrays behave as artificial magnetic conductor (AMC) surfaces when placed on a grounded dielectric substrate and they introduce a zero degrees reflection phase shift to incident waves. In this paper the AMC operation of single-layer arrays without vias is studied using a resonant cavity model and a new application to high-gain printed antennas is presented. A ray analysis is employed in order to give physical insight into the performance of AMCs and derive design guidelines. The bandwidth and center frequency of AMC surfaces are investigated using full-wave analysis and the qualitative predictions of the ray model are validated. Planar AMC surfaces are used for the first time as the ground plane in a high-gain microstrip patch antenna with a partially reflective surface as superstrate. A significant reduction of the antenna profile is achieved. A ray theory approach is employed in order to describe the functioning of the antenna and to predict the existence of quarter wavelength resonant cavities.

Low-profile resonant cavity antenna with artificial magnetic conductor ground plane

A planar artificial magnetic conductor (AMC) ground plane is proposed as a means to reduce the profile of a highly directive resonant cavity antenna. The structure is formed by a printed microstrip patch antenna and a superimposed partially reflective surface. The antenna profile is reduced to approximately half by virtue of employing the AMC ground plane. A ray theory model is used to qualitatively describe the functioning of the antenna and theoretically predict the existence of quarter wavelength resonant cavities.

Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.