We present MJ: a language for specifying general classes whose members are produced by iterating over members of other classes. We call this technique “class morphing” or just “morphing”. Morphing extends the notion of genericity so that not only types of methods and fields, but also the structure of a class can vary according to type variables. This offers the ability to express common program...

Calibration of and imaging from data measured by synthesis arrays is accomplished in AIPS++ using a very general formulation of interferometry due to Hamaker, Bregman, & Sault (1996). We have designed and implemented a set of C++ classes to provide very flexible capabilities for processing synthesis data from a wide range of nominally different synthesis arrays. We describe the design, the desi...

A cladogram is an unrooted tree with labeled leaves and unlabeled internal branchpoints of degree 3. Aldous has studied a Markov chain on the set of n-leaf cladograms in which each transition consists of removing a random leaf and its incident edge from the tree and then reattaching the leaf to a random edge of the remaining tree. Using coupling methods, Aldous showed that the relaxation time (...

One approach that has been used for integrating data from multiple databases consists in creating materialized integrated views which are stored in a centralized repository. The queries on the view can be processed directly from the integrated view, with no need for accessing the remote sources. The main diÆculty with this approach is to maintain the consistency of the materialized view with re...

After a discussion of different types of models being involved in the process of numerical simulation we focus on an analysis of air flow for civil engineering constructions. All models are derived from a product data model based on Industry Foundation Classes (IFC).

This literature review was commissioned as part of an evaluation of IFC Project Development Facilities. In supporting Project Development Facilities to assist small and medium enterprises (SMES), IFC presumed that (i) development of SMES is important for achieving sustainable job creation and poverty reduction and (ii) subsidies are needed and justified to foster their development. As part of t...

We describe efficient constructions of small probability spaces that approximate the joint distribution of general random variables. Previous work on efficient constructions concentrate on approximations of the joint distribution for the special case of identical, uniformly distributed random variables. Q 1998 John Wiley & Sons, Inc. Random Struct. Alg., 13,

A new method to improve the dynamic response of power-factor correctors (PFC’s) is described in this paper. The method is based on the use of a new very highly efficient postregulator, called a series-switching postregulator. This new postregulator exhibits very high efficiency due to the fact that only a part of the total power undergoes a power conversion process. The proposed postregulator c...

Prosodic marking of focus has been found to be typologically different in terms of existence of post-focus compression in F0 and intensity (PFC). In the current production experiments, we found that PFC showed in Mandarin, but not in Tsat (a language spoken in Hainan, China) or in Tsat-Mandarin (Mandarin spoken by Tsat people). The perception experiments further showed that focus perception in ...

Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs that access through pointers arbitrary memory objects such as local variables, single struct fields, or arrays slices. We present a logic for memory layouts that covers these applications and show how proof obligation...