Assignment methods for incidence calculus

Incidence calculus is a mechanism for probabilistic reasoning in which sets of possible worlds, called incidences, are associated with axioms, and probabilities are then associated with these sets. Inference rules are used to deduce bounds on the incidence of formulae which are not axioms, and bounds for the probability of such a formula can then be obtained. In practice an assignment of probabilities directly to axioms may be given, and it is then necessary to find an assignment of incidence which will reproduce these probabilities. We show that this task of assigning incidences can be viewed as a tree searching problem, and two techniques for performing this research are discussed. One of these is a new proposal involving a depth first search, while the other incorporates a random element. A Prolog implementation of these methods has been developed. The two approaches are compared for efficiency and the significance of their results are discussed. Finally we discuss a new proposal for applying techniques from linear programming to incidence calculus.

Comparison Method for Differentiation of IEC 61850 based Substation Configuration Files

The increased construction and reconstruction of smart substations has exposed a problem with version management of substation configuration description language (SCL) files due to frequent changes. This paper proposes a comparative approach for differentiation of smart substation SCL configuration files. A comparison model for SCL configuration files is built in this method, which is based on the SCL structure and abstract model defined by IEC 61850. The proposed approach adopts the algorithms of depth-first traversal, sorting, and cross comparison in order to rapidly identify differences of changed SCL configuration files. This approach can also be utilized to detect malicious tampering or illegal manipulation tailoring for SCL files. SCL comparison software is developed using the Qt platform to validate the feasibility and effectiveness of the proposed approach.

Angular distribution for the elastic scattering of electrons from Ar+(3s^2 3p^5 ^2P) above the first inelastic threshold

The measured angular differential cross section (DCS) for the elastic scattering of electrons from Ar+(3s2 3p5 2P) at the collision energy of 16 eV is presented. By solving the Hartree-Fock equations, we calculate the corresponding theoretical DCS including the coupling between the orbital angular momenta and spin of the incident electron and those of the target ion and also relaxation effects. Since the collision energy is above one inelastic threshold for the transition 3s2 3p5 2P–3s 3p6 2S, we consider the effects on the DCS of inelastic absorption processes and elastic resonances. The measurements deviate significantly from the Rutherford cross section over the full angular range observed, especially in the region of a deep minimum centered at approximately 75°. Our theory and an uncoupled, unrelaxed method using a local, spherically symmetric potential by Manson [Phys. Rev. 182, 97 (1969)] both reproduce the overall shape of the measured DCS, although the coupled Hartree-Fock approach describes the depth of the minimum more accurately. The minimum is shallower in the present theory owing to our lower average value for the d-wave non-Coulomb phase shift s2, which is due to the high sensitivity of s2 to the different scattering potentials used in the two models. The present measurements and calculations therefore show the importance of including coupling and relaxation effects when accurately modeling electron-ion collisions. The phase shifts obtained by fitting to the measurements are compared with the values of Manson and the present method.

First record of a chiton from the Palaeocene of Denmark (Polyplacophora : Leptochitonidae) and its phylogenetic affinities

Anew species of fossil polyplacophoran from the Danian (Lower Palaeocene) of Denmark is described from over 450 individual disarticulated plates. The polyplacophorans originate from the 'nose-chalk' in the classical Danish locality of Fakse Quarry, an unconsolidated coral limestone in which aragonitic mollusc shells are preserved through transformation into calcite. In plate architecture and sculpture, the new Danish material is similar to Recent Leptochiton spp., but differs in its underdeveloped apophyses and high dorsal elevation (height/width ca. 0.54). Cladistic analysis of 55 original shell characters coded for more than loo Recent and fossil species in the order Lepiclopleurida shows very high resolution of interspecific relationships, but does not consistently recover traditional genera or subgenera. Inter-relationships within the suborder Lepidopleurina are of particular interest as it is often considered the most 'basal' neoloricate lineage. In a local context, the presence of chitons in the faunal assemblage of Fakse contributes evidence of shallow depositional depth for at least some elements of this Palaeocene seabed, a well-studied formation of azooxanthellic coral limestones. This new record for Denmark represents a well-dated and ecologically well-understood fossil chiton with potential value for understanding the radiation of the Neotoricata.

A-level Mathematics Module Choice and Subsequent Performance in First Year of an Engineering Degree

The A-level Mathematics qualification is based on a compulsory set of pure maths modules and a selection of applied maths modules. The flexibility in choice of applied modules has led to concerns that many students would proceed to study engineering at university with little background in mechanics. A survey of aerospace and mechanical engineering students in our university revealed that a combination of mechanics and statistics (the basic module in both) was by far the most popular choice of optional modules in A-level Mathematics, meaning that only about one-quarter of the class had studied mechanics beyond the basic module within school mathematics. Investigation of student performance in two core, first-year engineering courses, which build on a mechanics foundation, indicated that any benefits for students who studied the extra mechanics at school were small. These results give concern about the depth of understanding in mechanics gained during A-level Mathematics.

Optical and near-infrared observations of SN 2011dh - The first 100 days

We present optical and near-infrared (NIR) photometry and spectroscopy of the Type IIb supernova (SN) 2011dh for the first 100 days. We complement our extensive dataset with Swift ultra-violet (UV) and Spitzer mid-infrared (MIR) data to build a UV to MIR bolometric lightcurve using both photometric and spectroscopic data. Hydrodynamical modelling of the SN based on this bolometric lightcurve have been presented in Bersten et al. (2012, ApJ, 757, 31). We find that the absorption minimum for the hydrogen lines is never seen below ~11 000 km s-1 but approaches this value as the lines get weaker. This suggests that the interface between the helium core and hydrogen rich envelope is located near this velocity in agreement with the Bersten et al. (2012) He4R270 ejecta model. Spectral modelling of the hydrogen lines using this ejecta model supports the conclusion and we find a hydrogen mass of 0.01-0.04 M⊙ to be consistent with the observed spectral evolution. We estimate that the photosphere reaches the helium core at 5-7 days whereas the helium lines appear between ~10 and ~15 days, close to the photosphere and then move outward in velocity until ~40 days. This suggests that increasing non-thermal excitation due to decreasing optical depth for the γ-rays is driving the early evolution of these lines. The Spitzer 4.5 μm band shows a significant flux excess, which we attribute to CO fundamental band emission or a thermal dust echo although further work using late time data is needed. Thedistance and in particular the extinction, where we use spectral modelling to put further constraints, is discussed in some detail as well as the sensitivity of the hydrodynamical modelling to errors in these quantities. We also provide and discuss pre- and post-explosion observations of the SN site which shows a reduction by ~75 percent in flux at the position of the yellow supergiant coincident with SN 2011dh. The B, V and r band decline rates of 0.0073, 0.0090 and 0.0053 mag day-1 respectively are consistent with the remaining flux being emitted by the SN. Hence we find that the star was indeed the progenitor of SN 2011dh as previously suggested by Maund et al. (2011, ApJ, 739, L37) and which is also consistent with the results from the hydrodynamical modelling. Figures 2, 3, Tables 3-10, and Appendices are available in electronic form at http://www.aanda.orgThe photometric tables are only available at the CDS via anonymous ftp to http://cdsarc.u-strasbg.fr (ftp://130.79.128.5) or via http://cdsarc.u-strasbg.fr/viz-bin/qcat?J/A+A/562/A17