Measuring the blame of each formula for inconsistent prioritized knowledge bases.

It is increasingly recognized that identifying the degree of blame or responsibility of each formula for inconsistency of a knowledge base (i.e. a set of formulas) is useful for making rational decisions to resolve inconsistency in that knowledge base. Most current techniques for measuring the blame of each formula with regard to an inconsistent knowledge base focus on classical knowledge bases only. Proposals for measuring the blames of formulas with regard to an inconsistent prioritized knowledge base have not yet been given much consideration. However, the notion of priority is important in inconsistency-tolerant reasoning. This article investigates this issue and presents a family of measurements for the degree of blame of each formula in an inconsistent prioritized knowledge base by using the minimal inconsistent subsets of that knowledge base. First of all, we present a set of intuitive postulates as general criteria to characterize rational measurements for the blames of formulas of an inconsistent prioritized knowledge base. Then we present a family of measurements for the blame of each formula in an inconsistent prioritized knowledge base under the guidance of the principle of proportionality, one of the intuitive postulates. We also demonstrate that each of these measurements possesses the properties that it ought to have. Finally, we use a simple but explanatory example in requirements engineering to illustrate the application of these measurements. Compared to the related works, the postulates presented in this article consider the special characteristics of minimal inconsistent subsets as well as the priority levels of formulas. This makes them more appropriate to characterizing the inconsistency measures defined from minimal inconsistent subsets for prioritized knowledge bases as well as classical knowledge bases. Correspondingly, the measures guided by these postulates can intuitively capture the inconsistency for prioritized knowledge bases.

OBSERVATIONS OF DEUTERATED CYANOACETYLENE IN DARK CLOUDS

We have observed DC3N and HC3N in a number of cold dust clouds in order to derive the degree of deuterium fractionation. We find that the ratio of DC3N to HC3N is large, at about 0.05 or more, and discuss the implications of this result for the synthesis of cyanoacetylene. The observations are most readily interpreted if the deuteration of HC3N is linked to that of cyclic C3H2, which is also observed to exhibit a large degree of deuterium fractionation. HC3N deuteration levels comparable with those we observed are found to he just compatible with the mechanism suggested by Howe & Millar, but with adjusted rate coefficients. Freeze-out on to grain surfaces is also considered, but produces widespread deuterium enhancement in many species. contrary to observed levels.

The spin-orbit angles of the transiting exoplanets WASP-1b, WASP-24b, WASP-38b and HAT-P-8b from Rossiter-McLaughlin observations

We present observations of the Rossiter–McLaughlin effect for the transiting exoplanets WASP-1b, WASP-24b, WASP-38b and HAT-P-8b, and deduce the orientations of the planetary orbits with respect to the host stars’ rotation axes. The planets WASP-24b, WASP-38b and HAT-P-8b appear to move in prograde orbits and be well aligned, having sky-projected spin-orbit angles consistent with zero: λ=−4°.7 ± 4°.0, 15°+33−43 and Graphic, respectively. The host stars have Teff < 6250 K and conform with the trend of cooler stars having low obliquities. WASP-38b is a massive planet on a moderately long period, eccentric orbit so may be expected to have a misaligned orbit given the high obliquities measured in similar systems. However, we find no evidence for a large spin-orbit angle. By contrast, WASP-1b joins the growing number of misaligned systems and has an almost polar orbit, λ=Graphic. It is neither very massive, eccentric nor orbiting a hot host star, and therefore does not share the properties of many other misaligned systems.

SuperWASP observations of pulsating Am stars

We have studied over 1600 Am stars at a photometric precision of 1 mmag with SuperWASP photometric data. Contrary to previous belief, we find that around 200 Am stars are pulsating d Sct and ? Dor stars, with low amplitudes that have been missed in previous, less extensive studies. While the amplitudes are generally low, the presence of pulsation in Am stars places a strong constraint on atmospheric convection, and may require the pulsation to be laminar. While some pulsating Am stars have been previously found to be d Sct stars, the vast majority of Am stars known to pulsate are presented in this paper. They will form the basis of future statistical studies of pulsation in the presence of atomic diffusion. An extended version of Table 1 containing all the detected frequencies and amplitudes is only available at the CDS via anonymous ftp to cdsarc.u-strasbg.fr (130.79.128.5) or via http://cdsarc.u-strasbg.fr/viz-bin/qcat?J/A+A/535/A3

High-precision transit observations of the exoplanet WASP-13b with the RISE instrument

WASP-13b is a sub-Jupiter mass exoplanet orbiting a G1V type star with a period of 4.35 d.The current uncertainty in its impact parameter (0 < b < 0.46) results in poorly definedstellar and planetary radii. To better constrain the impact parameter, we have obtained highprecisiontransit observations with the rapid imager to search for exoplanets (RISE) instrumentmounted on 2.0-m Liverpool Telescope. We present four new transits which are fitted witha Markov chain Monte Carlo routine to derive accurate system parameters. We found anorbital inclination of 85. ◦ 2 ± 0. ◦ 3 resulting in stellar and planetary radii of 1.56 ± 0.04 Rand 1.39 ± 0.05RJup, respectively. This suggests that the host star has evolved off the mainsequence and is in the hydrogen-shell-burning phase.We also discuss how the limb darkeningaffects the derived system parameters.With a density of 0.17ρJ,WASP-13b joins the group oflow-density planets whose radii are too large to be explained by standard irradiation models.We derive a new ephemeris for the system, T0 = 245 5575.5136 ± 0.0016 (HJD) and P =4.353 011 ± 0.000 013 d. The planet equilibrium temperature (Tequ = 1500 K) and the brighthost star (V = 10.4mag) make it a good candidate for follow-up atmospheric studies.

Propagating Wave Phenomena Detected in Observations and Simulations of the Lower Solar Atmosphere

We present high-cadence observations and simulations of the solar photosphere, obtained using the Rapid Oscillations in the Solar Atmosphere imaging system and the MuRAM magnetohydrodynamic (MHD) code, respectively. Each data set demonstrates a wealth of magnetoacoustic oscillatory behavior, visible as periodic intensity fluctuations with periods in the range 110–600 s. Almost no propagating waves with periods less than 140 s and 110 s are detected in the observational and simulated data sets, respectively. High concentrations of power are found in highly magnetized regions, such as magnetic bright points and intergranular lanes. Radiative diagnostics of the photospheric simulations replicate our observational results, confirming that the current breed of MHD simulations are able to accurately represent the lower solar atmosphere. All observed oscillations are generated as a result of naturally occurring magnetoconvective processes, with no specific input driver present. Using contribution functions extracted from our numerical simulations, we estimate minimum G-band and 4170 Å continuum formation heights of 100 km and 25 km, respectively. Detected magnetoacoustic oscillations exhibit a dominant phase delay of −8◦ between the G-band and 4170 Å continuum observations, suggesting the presence of upwardly propagating waves.More than 73% of MBPs (73% from observations and 96% from simulations) display upwardly propagating wave phenomena, suggesting the abundant nature of oscillatory behavior detected higher in the solar atmosphere may be traced back to magnetoconvective processes occurring in the upper layers of the Sun’s convection zone.

Observations of enhanced extreme ultraviolet continua during an X-class solar flare using SDO/EVE.

Observations of extreme ultraviolet (EUV) emission from an X-class solar flare that occurred on 2011 February 15 at 01: 44 UT are presented, obtained using the EUV Variability Experiment (EVE) on board the Solar Dynamics Observatory. The complete EVE spectral range covers the free-bound continua of H I (Lyman continuum), He I, and He II, with recombination edges at 91.2, 50.4, and 22.8 nm, respectively. By fitting the wavelength ranges blueward of each recombination edge with an exponential function, light curves of each of the integrated continua were generated over the course of the flare, as was emission from the free-free continuum (6.5-37 nm). The He II 30.4 nm and Ly alpha 121.6 nm lines, and soft X-ray (SXR; 0.1-0.8 nm) emission from GOES are also included for comparison. Each free-bound continuum was found to have a rapid rise phase at the flare onset similar to that seen in the 25-50 keV light curves from RHESSI, suggesting that they were formed by recombination with free electrons in the chromosphere. However, the free-free emission exhibited a slower rise phase seen also in the SXR emission from GOES, implying a predominantly coronal origin. By integrating over the entire flare the total energy emitted via each process was determined. We find that the flare energy in the EVE spectral range amounts to at most a few percent of the total flare energy, but EVE gives us a first comprehensive look at these diagnostically important continuum components.

DISPLAYING THE HETEROGENEITY OF THE SN 2002cx-LIKE SUBCLASS OF TYPE Ia SUPERNOVAE WITH OBSERVATIONS OF THE Pan-STARRS-1 DISCOVERED SN 2009ku

SN 2009ku, discovered by Pan-STARRS-1, is a Type Ia supernova (SN Ia), and a member of the distinct SN 2002cx-like class of SNe Ia. Its light curves are similar to the prototypical SN 2002cx, but are slightly broader and have a later rise to maximum in g. SN 2009ku is brighter (similar to 0.6 mag) than other SN 2002cx-like objects, peaking at M-V = -18.4 mag, which is still significantly fainter than typical SNe Ia. SN 2009ku, which had an ejecta velocity of similar to 2000 km s(-1) at 18 days after maximum brightness, is spectroscopically most similar to SN 2008ha, which also had extremely low-velocity ejecta. However, SN 2008ha had an exceedingly low luminosity, peaking at M-V = -14.2 mag, similar to 4 mag fainter than SN 2009ku. The contrast of high luminosity and low ejecta velocity for SN 2009ku is contrary to an emerging trend seen for the SN 2002cx class. SN 2009ku is a counterexample of a previously held belief that the class was more homogeneous than typical SNe Ia, indicating that the class has a diverse progenitor population and/or complicated explosion physics. As the first example of a member of this class of objects from the new generation of transient surveys, SN 2009ku is an indication of the potential for these surveys to find rare and interesting objects.

Kinetics of liquid phase semiconductor photoassisted reactions: Supporting observations for a pseudo-steady-state model

The kinetics of liquid phase semiconductor photocatalytic and photoassisted reactions are an area of some debate, reignited recently by an article by Ollis(1) in which he proposed a simple pseudo- steady- state model to interpret the Langmuir- Hinshelwood type kinetics, commonly observed in such systems. In the current article, support for this model, over other models, is provided by a reinterpretation of the results of a study, reported initially in 1999,2 of the photoassisted mineralization of 4- chlorophenol, 4-CP, by titania films and dispersions as a function of incident light intensity, I. On the basis of this model, these results indicate that 4- CP is adsorbed more strongly on P25 TiO2 when it is in a dispersed, rather than a film form, due to a higher rate constant for adsorption, k(1). In addition, the kinetics of 4- CP removal appear to depend on I-beta where, beta = 1 or 0.6 for when the TiO2 is in a film or a dispersed form, respectively. These findings are discussed both in terms of the pseudo- steady- state model and other popular kinetic models.

OBSERVATIONS ON THE EFFECTS OF LONG-TERM WITHDRAWAL ON CARCASS COMPOSITION AND RESIDUE CONCENTRATIONS IN CLENBUTEROL-MEDICATED CATTLE

The detection of the illegal use of clenbuterol (CBL) as a growth promoter has relied on detecting residual concentrations of the drug in body fluids or tissues. Analysis of retinal extracts has recently been shown to considerably extend the detection period following withdrawal. The withdrawal periods required to eliminate residues from the liver and retina were investigated by medicating 20 cattle with CBL for 30 days; 6 control animals remained unmedicated. Residual concentrations were monitored throughout this period and for the subsequent 140 days. Concurrent changes in muscle areas and backfat thicknesses were recorded by ultrasound.

Observations of collimated ionization channels in aluminum-coated glass targets irradiated by ultraintense laser pulses

Filamentary ionization tracks have been observed via optical probing inside Al-coated glass targets after the interaction of a picosecond 20-TW laser pulse at intensities above 10(19) W/cm(2). The tracks, up to 700 mu m in length and between 10 and 20 mu m in width, originate from the focal spot region of the laser beam. Simulations performed with 3D particle-in-cell and 2D Fokker-Planck hybrid codes indicate that the observations are consistent with ionization induced in the glass target by magnetized, collimated beams of high-energy electrons produced during the laser interaction.