Representing the Process of Machine Tool Calibration in First-order Logic

Machine tool calibration requires a wide range of measurement techniques that can be carried out in many different sequences. Planning a machine tool calibration is typically performed by a subject expert with a great understanding of International standards and industrial best-practice guides. However, it is often the case that the planned sequence of measurements is not the optimal. Therefore, in an attempt to improve the process, intelligent computing methods can be designed for plan suggestion. As a starting point, this paper presents a way of converting expert knowledge into first-order logic that can be expressed in the PROLOG language. It then shows how queries can be executed against the logic to construct a knowledge-base of all the different measurements that can be performed during machine tool calibration

Hydrogen maser oscillation at 10 K

A low temperature atomic hydrogen maser was developed using frozen atomic neon as the storage surface. The maser has been operated in the pulsed mode at temperatures from 6 K to 11 K and as a self-excited oscillator from 9 K to 10.5 K

Mitochondrial metagenomics: letting the genes out of the bottle

‘Mitochondrial metagenomics’ (MMG) is a methodology for shotgun sequencing of total DNA from specimen mixtures and subsequent bioinformatic extraction of mitochondrial sequences. The approach can be applied to phylogenetic analysis of taxonomically selected taxa, as an economical alternative to mitogenome sequencing from individual species, or to environmental samples of mixed specimens, such as from mass trapping of invertebrates. The routine generation of mitochondrial genome sequences has great potential both for systematics and community phylogenetics. Mapping of reads from low-coverage shotgun sequencing of environmental samples also makes it possible to obtain data on spatial and temporal turnover in whole-community phylogenetic and species composition, even in complex ecosystems where species-level taxonomy and biodiversity patterns are poorly known. In addition, read mapping can produce information on species biomass, and potentially allows quantification of within-species genetic variation. The success of MMG relies on the formation of numerous mitochondrial genome contigs, achievable with standard genome assemblers, but various challenges for the efficiency of assembly remain, particularly in the face of variable relative species abundance and intra-specific genetic variation. Nevertheless, several studies have demonstrated the power of mitogenomes from MMG for accurate phylogenetic placement, evolutionary analysis of species traits, biodiversity discovery and the establishment of species distribution patterns; it offers a promising avenue for unifying the ecological and evolutionary understanding of species diversity

FUSE Spectra of the Black Hole Binary LMC X-3

Far-ultraviolet spectra of LMC X-3 were taken covering photometric phases 0.47 to 0.74 in the 1.7-day orbital period of the black-hole binary (phase zero being superior conjunction of the X-ray source). The continuum is faint and flat, but appears to vary significantly during the observations. Concurrent RXTE/ASM observations show the system was in its most luminous X-ray state during the FUSE observations. The FUV spectrum contains strong terrestrial airglow emission lines, while the only stellar lines clearly present are emissions from the O VI resonance doublet. Their flux does not change significantly during the FUSE observations. These lines are modelled as two asymmetrical profiles, including the local ISM absorptions due to C II and possibly O VI. Velocity variations of O VI emission are consistent with the orbital velocity of the black hole and provide a new constraint on its mass.Comment: 12 pages including 1 table, 4 diagrams To appear in A

Bulk de novo mitogenome assembly from pooled total DNA elucidates the phylogeny of weevils (Coleoptera: Curculionoidea)

Complete mitochondrial genomes have been shown to be reliable markers for phylogeny reconstruction among diverse animal groups. However, the relative difficulty and high cost associated with obtaining de novo full mitogenomes have frequently led to conspicuously low taxon sampling in ensuing studies. Here, we report the successful use of an economical and accessible method for assembling complete or near-complete mitogenomes through shot-gun next-generation sequencing of a single library made from pooled total DNA extracts of numerous target species. To avoid the use of separate indexed libraries for each specimen, and an associated increase in cost, we incorporate standard polymerase chain reaction-based “bait” sequences to identify the assembled mitogenomes. The method was applied to study the higher level phylogenetic relationships in the weevils (Coleoptera: Curculionoidea), producing 92 newly assembled mitogenomes obtained in a single Illumina MiSeq run. The analysis supported a separate origin of wood-boring behavior by the subfamilies Scolytinae, Platypodinae, and Cossoninae. This finding contradicts morphological hypotheses proposing a close relationship between the first two of these but is congruent with previous molecular studies, reinforcing the utility of mitogenomes in phylogeny reconstruction. Our methodology provides a technically simple procedure for generating densely sampled trees from whole mitogenomes and is widely applicable to groups of animals for which bait sequences are the only required prior genome knowledge

Automated Certification of Authorisation Policy Resistance

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), based on the recent formal ABAC language PTaCL, which first automatically searches for resistance counter-examples using Maude, and then automatically searches for an Isabelle proof of resistance. We illustrate our approach with two simple examples of policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will be presented at ESORICS 201

The Canada-UK Deep Sub-Millimeter Survey II: First identifications, redshifts and implications for galaxy evolution

Identifications are sought for 12 sub-mm sources detected by Eales et al (1998). Six are securely identified, two have probable identifications and four remain unidentified with I_AB > 25. Spectroscopic and estimated photometric redshifts indicate that four of the sources have z < 1, and four have 1 < z < 3, with the remaining four empty field sources probably lying at z > 3. The spectral energy distributions of the identifications are consistent with those of high extinction starbursts such as Arp 220. The far-IR luminosities of the sources at z > 0.5 are of order 3 x 10^12 h_50^-2 L_sun, i.e. slightly larger than that of Arp 220. Based on this small sample, the cumulative bolometric luminosity function shows strong evolution to z ~ 1, but weaker or possibly even negative evolution beyond. The redshift dependence of the far-IR luminosity density does not appear, at this early stage, to be inconsistent with that seen in the ultraviolet luminosity density. Assuming that the energy source in the far-IR is massive stars, the total luminous output from star-formation in the Universe is probably dominated by the far-IR emission. The detected systems have individual star-formation rates (exceeding 300 h_50^-2 M_O yr^-1) that are much higher than seen in the ultraviolet selected samples, and which are sufficient to form substantial stellar populations on dynamical timescales of 10^8 yr. The association with merger-like morphologies and the obvious presence of dust makes it attractive to identify these systems as forming the metal-rich spheroid population, in which case we would infer that much of this activity has occurred relatively recently, at z ~ 2.Comment: 17 pages text + 14 figures. Accepted for publication in the Astrophysical Journal. Gzipped tar file contains one text.ps file for text and tables, one Fig2.jpg file for Fig 2, and 13 Fig*.ps files for the remaining figure

Magellanic Cloud X-ray Sources: III. Completion of a ROSAT Survey

This paper concludes a series of three papers presenting ROSAT High-Resolution Imager (HRI) observations of unidentified Einstein and serendipitous ROSAT X-ray sources in the direction of the Magellanic Clouds. Accurate positions and fluxes have been measured for these sources. Optical photometry and spectroscopy were obtained to search for identifications in order to determine the physical nature of these sources. The present paper includes new data for 24 objects; identifications are given or confirmed for 30 sources. For six sources optical finding charts showing the X-ray positions are provided. The results from this program are summarized, showing the populations of luminous X-ray sources in the Magellanic Clouds are quite different from those in the Galaxy.Comment: 28 pages, 2 figures; to appear in Astronomical Journa

Intraspecific genetic variation in complex assemblages from mitochondrial metagenomics: comparison with DNA barcodes

Metagenomic shotgun sequencing, using Illumina technology, and de novo genome assembly of mixed field-collected amples of invertebrates readily produce mitochondrial genome sequences, allowing rapid identification and quantification of species diversity. However, intraspecific genetic variability present in the specimen pools is lost during mitogenome assembly, which limits the utility of ‘mitochondrial metagenomics’ for studies of population diversity. 2. Using 10 natural communities (>2600 individuals) of leaf beetles (Chrysomelidae), DNA variation in the mitochondrial cox1-5’ ‘barcode’ was compared for Sanger sequenced individuals and Illumina shotgun sequenced specimen pools. 3. Generally, only a single mitochondrial contig was assembled per species, even in the presence of intraspecific variation. Ignoring ambiguity from the use of two different assemblers, the cox1 barcode regions from these assemblies were exact nucleotide matches of a Sanger sequenced barcode in 90.7% of cases, which dropped to 76.0% in assemblies from samples with large intra and interspecific variability. Nucleotide differences between barcodes from both data types were almost exclusively in synonymous 3rd codon position, although the number of affected sites was very low, and the greatest discrepancies were correlated with poor quality of Sanger sequences. 4. Unassembled shotgun reads were also used to score single nucleotide polymorphisms and to calculate intraspecific nucleotide diversity (pi) for all available populations at each site. These values correlated with Sanger sequenced cox1 variation but were significantly higher. 5. Overall, the assemblage-focused shotgun sequencing of pooled samples produced nucleotide variation data comparable to the well-established specimen-focused Sanger approach. The findings thus extend the application of mitochondrial metagenomics of complex biodiversity samples to the estimation of diversity below the species level