1,464 research outputs found
Ductile mandrel and parting compound facilitate tube drawing
Refractory tubing is warm drawn over a solid ductile mandrel with a powder parting compound packed between mandrel and the tubes inner surface. This method applies also to the coextrusion of a billet and a ductile mandrel
True and False Foodplants of \u3ci\u3eCallosamia Promethea\u3c/i\u3e (Lepidoptera: Saturniidae) in Southern Michigan
A survey in 1980 of the associations of over 400 cocoons of Callosamia promethea Drury in vegetation along and adjacent to southern Michigan roadsides gave evidence for seven species of true larval foodplants (not including two others known in the area from other studies) and 17 species of false foodplants, the latter determined by the (1) rarity of their association with cocoons, (2) only one or two cocoons per plant, and (3) their proximity to a well known true foodplant. Three species, sassafras, black cherry, and buttonbush, are evidently the most important true foodplants in this area. Comparisons are made of the foodplants in terms of past literature, geography, and taxonomic relationships
Fabrication techniques developed for small- diameter, thin-wall tungsten and tungsten alloy tubing
Report describes methods for the fabrication of tungsten and tungsten alloys into small-diameter, thin-wall tubing of nuclear quality. The tungsten, or tungsten alloy tube blanks are produced by double extrusion. Plug-drawing has emerged as an excellent secondary fabrication technique for the reduction of the overall tube dimensions
The Role of Term Symmetry in E-Unification and E-Completion
A major portion of the work and time involved in completing an incomplete set of reductions using an E-completion procedure such as the one described by Knuth and Bendix [070] or its extension to associative-commutative equational theories as described by Peterson and Stickel [PS81] is spent calculating critical pairs and subsequently testing them for coherence. A pruning technique which removes from consideration those critical pairs that represent redundant or superfluous information, either before, during, or after their calculation, can therefore make a marked difference in the run time and efficiency of an E-completion procedure to which it is applied.
The exploitation of term symmetry is one such pruning technique. The calculation of redundant critical pairs can be avoided by detecting the term symmetries that can occur between the subterms of the left-hand side of the major reduction being used, and later between the unifiers of these subterms with the left-hand side of the minor reduction. After calculation, and even after reduction to normal form, the observation of term symmetries can lead to significant savings.
The results in this paper were achieved through the development and use of a flexible E-unification algorithm which is currently written to process pairs of terms which may contain any combination of Null-E, C (Commutative), AC (Associative-Commutative) and ACI (Associative-Commutative with Identity) operators. One characteristic of this E-unification algorithm that we have not observed in any other to date is the ability to process a pair of terms which have different ACI top-level operators. In addition, the algorithm is a modular design which is a variation of the Yelick model [Ye85], and is easily extended to process terms containing operators of additional equational theories by simply plugging in a unification module for the new theory
Performance of AAOmega: the AAT multi-purpose fibre-fed spectrograph
AAOmega is the new spectrograph for the 2dF fibre-positioning system on the
Anglo-Australian Telescope. It is a bench-mounted, double-beamed design, using
volume phase holographic (VPH) gratings and articulating cameras. It is fed by
392 fibres from either of the two 2dF field plates, or by the 512 fibre SPIRAL
integral field unit (IFU) at Cassegrain focus. Wavelength coverage is 370 to
950nm and spectral resolution 1,000-8,000 in multi-Object mode, or 1,500-10,000
in IFU mode. Multi-object mode was commissioned in January 2006 and the IFU
system will be commissioned in June 2006.
The spectrograph is located off the telescope in a thermally isolated room
and the 2dF fibres have been replaced by new 38m broadband fibres. Despite the
increased fibre length, we have achieved a large increase in throughput by use
of VPH gratings, more efficient coatings and new detectors - amounting to a
factor of at least 2 in the red. The number of spectral resolution elements and
the maximum resolution are both more than doubled, and the stability is an
order of magnitude better.
The spectrograph comprises: an f/3.15 Schmidt collimator, incorporating a
dichroic beam-splitter; interchangeable VPH gratings; and articulating red and
blue f/1.3 Schmidt cameras. Pupil size is 190mm, determined by the competing
demands of cost, obstruction losses, and maximum resolution. A full suite of
VPH gratings has been provided to cover resolutions 1,000 to 7,500, and up to
10,000 at particular wavelengths.Comment: 13 pages, 4 figures; presented at SPIE, Astronomical Telescopes and
Instrumentation, 24 - 31 May 2006, Orlando, Florida US
Overview of the TREC 2022 NeuCLIR Track
This is the first year of the TREC Neural CLIR (NeuCLIR) track, which aims to
study the impact of neural approaches to cross-language information retrieval.
The main task in this year's track was ad hoc ranked retrieval of Chinese,
Persian, or Russian newswire documents using queries expressed in English.
Topics were developed using standard TREC processes, except that topics
developed by an annotator for one language were assessed by a different
annotator when evaluating that topic on a different language. There were 172
total runs submitted by twelve teams.Comment: 22 pages, 13 figures, 10 tables. Part of the Thirty-First Text
REtrieval Conference (TREC 2022) Proceedings. Replace the misplaced Russian
result tabl
- …