Possibilistic Uncertainty Handling for Answer Set Programming

In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level associated to each piece of knowledge, we use possibility theory to extend the non monotonic semantics of stable models for logic programs with default negation. By means of a possibility distribution we define a clear semantics of such programs by introducing what is a possibilistic stable model. We also propose a syntactic process based on a fix-point operator to compute these particular models representing the deductions of the program and their certainty. Then, we show how this introduction of a certainty level on each rule of a program can be used in order to restore its consistency in case of the program has no model at all. Furthermore, we explain how we can compute possibilistic stable models by using available softwares for Answer Set Programming and we describe the main lines of the system that we have developed to achieve this goal

The Morphologically Divided Redshift Distribution of Faint Galaxies

We have constructed a morphologically divided redshift distribution of faint field galaxies using a statistically unbiased sample of 196 galaxies brighter than I = 21.5 for which detailed morphological information (from the Hubble Space Telescope) as well as ground-based spectroscopic redshifts are available. Galaxies are classified into 3 rough morphological types according to their visual appearance (E/S0s, Spirals, Sdm/dE/Irr/Pec's), and redshift distributions are constructed for each type. The most striking feature is the abundance of low to moderate redshift Sdm/dE/Irr/Pec's at I < 19.5. This confirms that the faint end slope of the luminosity function (LF) is steep (alpha < -1.4) for these objects. We also find that Sdm/dE/Irr/Pec's are fairly abundant at moderate redshifts, and this can be explained by strong luminosity evolution. However, the normalization factor (or the number density) of the LF of Sdm/dE/Irr/Pec's is not much higher than that of the local LF of Sdm/dE/Irr/Pec's. Furthermore, as we go to fainter magnitudes, the abundance of moderate to high redshift Irr/Pec's increases considerably. This cannot be explained by strong luminosity evolution of the dwarf galaxy populations alone: these Irr/Pec's are probably the progenitors of present day ellipticals and spiral galaxies which are undergoing rapid star formation or merging with their neighbors. On the other hand, the redshift distributions of E/S0s and spirals are fairly consistent those expected from passive luminosity evolution, and are only in slight disagreement with the non-evolving model.Comment: 11 pages, 4 figures (published in ApJ

Spectral line profiles changed by dust scattering in heavily obscured young stellar objects

It is known that scattering of radiation by circumstellar dust can strongly change the line profiles in stellar spectra. This hampers the analysis of spectral lines originating in the emitting regions of heavily obscured young stars. To calculate the line profile of the scattered radiation, we suggest to use the approximation of remote scattering particles. This approximation assumes that the scattering dust grains are at a distance from the star that is much larger than the characteristic size of the emitting region. Using this method, we calculated the line profiles of several simple models. They show the H alpha line profiles of Herbig AeBe stars in the presence and absence of motionless or moving dust

Analysis of longitudinal bunching inan FEL driven two-beam accelerator

Recent experiments [1] have explored the use of a free-electron laser (FEL) as a buncher for a microwave two-beam accelerator, and the subsequent driving of a standing-wave rf output cavity. Here we present a deeper analysis of the longitudinal dynamics of the electron bunches as they are transported from the end of the FEL and through the output cavity. In particular, we examine the effect of the transport region and cavity aperture to filter the bunched portion of the beam. [1] T. Lefevre, et. al., Phys. Rev. Lett. 84 (2000), 1188.Comment: 3 pages, 8 figures. Submitted to XX Int'l LINAC Conferenc

2-Dust : a Dust Radiative Transfer Code for an Axisymmetric System

We have developed a general purpose dust radiative transfer code for an axisymmetric system, 2-Dust, motivated by the recent increasing availability of high-resolution images of circumstellar dust shells at various wavelengths. This code solves the equation of radiative transfer following the principle of long characteristic in a 2-D polar grid while considering a 3-D radiation field at each grid point. A solution is sought through an iterative scheme in which self-consistency of the solution is achieved by requiring a global luminosity constancy throughout the shell. The dust opacities are calculated through Mie theory from the given size distribution and optical properties of the dust grains. The main focus of the code is to obtain insights on (1) the global energetics of dust grains in the shell (2) the 2-D projected morphologies that are strongly dependent on the mixed effects of the axisymmetric dust distribution and inclination angle of the shell. Here, test models are presented with discussion of the results. The code can be supplied with a user-defined density distribution function, and thus, is applicable to a variety of dusty astronomical objects possessing the axisymmetric geometry.Comment: To be published in ApJ, April 2003 issue; 13 pages, 4 tables, 17 figures, 5-page appendix (no figures for the main text included in this preprint). For the complete preprint and code distribution, contact the author

Uterine torsion in the mare: a review and three case reports

When a mare exhibits signs of colic during the last trimester of gestation, uterine torsion should always be part of the differential diagnosis. Uterine torsion is an infrequently occurring but serious complication in pregnant mares. In this article a review is given of the appearance, causes, symptoms, diagnostic examinations, treatment options and prognosis for the mare, as well as for her foal. At the end, three unusual cases are described