A number of photonics techniques are being used for Local Oscillator (LO) generation and distribution for millimeter-wavelength radio astronomy. Many of these are being implemented or considered for use on the Atacama Large Millimeter Array (ALMA) project.

The design of the receiver optics plays a crucial part in the ultimate sensitivity of the ALMA array. We present some general design concepts to guide the development of the optical layout of the final receivers. Relevant properties of materials used in the optical path are examined, and various types of optical elements are discussed. General principles of high efficiency optical train designs...

Several studies have shown that 50–70% of the total lifecycle cost for a software system is spent on evolving the system. Organizations aim to reduce the cost of these adaptations, by addressing modifiability during the system’s development. The software architecture plays an important role in achieving this, but few methods for architecture-level modifiability analysis exist. Independently, th...

The precision imaging to be attained by the ALMA will be achieved through accurate calibration. The types of calibration are summarized in Table 3.1. Calibration strategies will be developed and implemented on the NRAO 12m telescope, and the OVRO and BIMA arrays. The principal goals to be achieved by the end of the ALMA Design and Development (D&D) Phase are to demonstrate radiometric phase cor...

We investigate the possibility to find evidence for planets in circumstellar disks by infrared and submillimeter interferometry. We present simulations of a circumstellar disk around a solar-type star with an embedded planet of 1 Jupiter mass. The three-dimensional (3D) density structure of the disk results from hydrodynamical simulations. On the basis of 3D radiative transfer simulations, imag...

This paper presents results of the plausibility evaluation of computergenerated emotions and moods. They are generated by ALMA (A Layered Model of Affect), a real-time computational model of affect, designed to serve as a modular extension for virtual humans. By a unique integration of psychological models of affect, it provides three major affect types: emotions, moods and personality that cov...

We provide here a computational interpretation of first-order logic based on a constructive interpretation of satisfiability w.r.t. a fixed but arbitrary interpretation. In this approach the formulas themselves are programs. This contrasts with the so-called formulas as types approach in which the proofs of the formulas are typed terms that can be taken as programs. This view of computing is in...