Automated Classification of Periodic Variable Stars detected by the Wide-field Infrared Survey Explorer

We describe a methodology to classify periodic variable stars identified using photometric time-series measurements constructed from the Wide-field Infrared Survey Explorer (WISE) full-mission single-exposure Source Databases. This will assist in the future construction of a WISE Variable Source Database that assigns variables to specific science classes as constrained by the WISE observing cadence with statistically meaningful classification probabilities. We have analyzed the WISE light curves of 8273 variable stars identified in previous optical variability surveys (MACHO, GCVS, and ASAS) and show that Fourier decomposition techniques can be extended into the mid-IR to assist with their classification. Combined with other periodic light-curve features, this sample is then used to train a machine-learned classifier based on the random forest (RF) method. Consistent with previous classification studies of variable stars in general, the RF machine-learned classifier is superior to other methods in terms of accuracy, robustness against outliers, and relative immunity to features that carry little or redundant class information. For the three most common classes identified by WISE: Algols, RR Lyrae, and W Ursae Majoris type variables, we obtain classification efficiencies of 80.7%, 82.7%, and 84.5% respectively using cross-validation analyses, with 95% confidence intervals of approximately +/-2%. These accuracies are achieved at purity (or reliability) levels of 88.5%, 96.2%, and 87.8% respectively, similar to that achieved in previous automated classification studies of periodic variable stars.Comment: 48 pages, 17 figures, 1 table, accepted by A

Non-Magnetic, Tough, Corrosion- and Wear-Resistant Knives From Bulk Metallic Glasses and Composites

Quality knives are typically fabricated from high-strength steel alloys. Depending on the application, there are different requirements for mechanical and physical properties that cause problems for steel alloys. For example, diver's knives are generally used in salt water, which causes rust in steel knives. Titanium diver's knives are a popular alternative due to their salt water corrosion resistance, but are too soft to maintain a sharp cutting edge. Steel knives are also magnetic, which is undesirable for military applications where the knives are used as a tactical tool for diffusing magnetic mines. Steel is also significantly denser than titanium (8 g/cu cm vs. 4.5 g/cu cm), which results in heavier knives for the same size. Steel is hard and wear-resistant, compared with titanium, and can keep a sharp edge during service. A major drawback of both steel and titanium knives is that they must be ground or machined into the final knife shape from a billet. Since most knives have a mirrored surface and a complex shape, manufacturing them is complex. It would be more desirable if the knife could be cast into a net or near-net shape in a single step. The solution to the deficiencies of titanium, steel, and ceramic knives is to fabricate them using bulk metallic glasses (or composites). These alloys can be cast into net or near-net shaped knives with a combination of properties that exceed both titanium and steel. A commercially viable BMG (bulk metallic glass) or composite knife is one that exhibits one or all of the following properties: It is based on titanium, has a self-sharpening edge, can retain an edge during service, is hard, is non-magnetic, is corrosion-resistant against a variety of corrosive environments, is tough (to allow for prying), can be cast into a net-shape with a mirror finish and a complex shape, has excellent wear resistance, and is low-density. These properties can be achieved in BMG and composites through alloy chemistry and processing. For each desired property for knife fabrication and performance, there is an alloy development strategy that optimizes behavior. Although BMG knives have been demonstrated as far back as 1995, they never found commercial success because they had to be ground (which presented problems because the alloys contained beryllium), they weren't low cost (because they weren't cast to a net-shape), they were brittle (because they were made with a low-quality commercial material), and they had extremely poor corrosion resistance (because corrosion was not well-understood in these materials). Ultimately, these shortcomings prevented the widespread commercialization. In the current work, the inventors have applied more than a decade of research on BMGs from Caltech and JPL to develop a better understanding of how to make BMG knives that exhibit an optimal combination of properties, processing and cost. Alloys have been developed based in titanium (and other metals), that exhibit high toughness, high hardness, excellent corrosion resistance, no ferromagnetism, edge-retaining selfsharpening, and the ability to be cast like a plastic using commercially available casting techniques (currently used by commercial companies such as Liquidmetal Technologies and Visser Precision Casting). The inventors argue that depending on the application (diving, military, tactical, utility, etc.) there is an optimal combination of design and alloy composition. Moreover, with new casting technologies not available at the inception of these materials, net-shaped knives can be cast into complex shapes that require no aftermarket forming, except for sharpening using water-cooled polishing wheel. These combinations of discoveries seek to make low-cost BMG knives commercially viable products that have no equal among metal or ceramic knives. Current work at JPL focuses on net-shape casting of these alloys and testing their mechanical properties versus commercially available knives to demonstrate their benefits

CAPS Simulation Environment Development

The final design for an effective Comet/Asteroid Protection System (CAPS) will likely come after a number of competing designs have been simulated and evaluated. Because of the large number of design parameters involved in a system capable of detecting an object, accurately determining its orbit, and diverting the impact threat, a comprehensive simulation environment will be an extremely valuable tool for the CAPS designers. A successful simulation/design tool will aid the user in identifying the critical parameters in the system and eventually allow for automatic optimization of the design once the relationships of the key parameters are understood. A CAPS configuration will consist of space-based detectors whose purpose is to scan the celestial sphere in search of objects likely to make a close approach to Earth and to determine with the greatest possible accuracy the orbits of those objects. Other components of a CAPS configuration may include systems for modifying the orbits of approaching objects, either for the purpose of preventing a collision or for positioning the object into an orbit where it can be studied or used as a mineral resource. The Synergistic Engineering Environment (SEE) is a space-systems design, evaluation, and visualization software tool being leveraged to simulate these aspects of the CAPS study. The long-term goal of the SEE is to provide capabilities to allow the user to build and compare various CAPS designs by running end-to-end simulations that encompass the scanning phase, the orbit determination phase, and the orbit modification phase of a given scenario. Herein, a brief description of the expected simulation phases is provided, the current status and available features of the SEE software system is reported, and examples are shown of how the system is used to build and evaluate a CAPS detection design. Conclusions and the roadmap for future development of the SEE are also presented

Variability with WISE

Wise mapped the entire sky in four bands during its approximately 7-month cryogenic mission. The number of exposures for each point on the sky increased with ecliptic latitude, and ranged from ~12 on the ecliptic to over 1000 at the ecliptic poles. The observing cadence is well suited to studying variable objects with periods between ~2 hours to ~2 days on the ecliptic, with the maximum period increasing up to several weeks near the ecliptic poles. We present the method used to identify several types of variables in the Wise Preliminary Release Database, and the mid-IR light curves of several objects. Many of these objects are new, and include RR Lyr, Algol, W UMa, Mira, BL Lac and YSO-type variables, as well as some unknown objects

An amorphous oxide semiconductor thin-film transistor route to oxide electronics

Amorphous oxide semiconductor (AOS) thin-film transistors (TFTs) invented only one decade ago are now being commercialized for active-matrix liquid crystal display (AMLCD) backplane applications. They also appear to be well positioned for other flat-panel display applications such as active-matrix organic light-emitting diode (AMOLED) applications, electrophoretic displays, and transparent displays. The objectives of this contribution are to overview AOS materials design; assess indium gallium zinc oxide (IGZO) TFTs for AMLCD and AMOLED applications; identify several technical topics meriting future scrutiny before they can be confidently relied upon as providing a solid scientific foundation for underpinning AOS TFT technology; and briefly speculate on the future of AOS TFTs for display and non-display applications

The Informal Logic of Mathematical Proof

Informal logic is a method of argument analysis which is complementary to that of formal logic, providing for the pragmatic treatment of features of argumentation which cannot be reduced to logical form. The central claim of this paper is that a more nuanced understanding of mathematical proof and discovery may be achieved by paying attention to the aspects of mathematical argumentation which can be captured by informal, rather than formal, logic. Two accounts of argumentation are considered: the pioneering work of Stephen Toulmin [The uses of argument, Cambridge University Press, 1958] and the more recent studies of Douglas Walton, [e.g. The new dialectic: Conversational contexts of argument, University of Toronto Press, 1998]. The focus of both of these approaches has largely been restricted to natural language argumentation. However, Walton's method in particular provides a fruitful analysis of mathematical proof. He offers a contextual account of argumentational strategies, distinguishing a variety of different types of dialogue in which arguments may occur. This analysis represents many different fallacious or otherwise illicit arguments as the deployment of strategies which are sometimes admissible in contexts in which they are inadmissible. I argue that mathematical proofs are deployed in a greater variety of types of dialogue than has commonly been assumed. I proceed to show that many of the important philosophical and pedagogical problems of mathematical proof arise from a failure to make explicit the type of dialogue in which the proof is introduced.Comment: 14 pages, 1 figure, 3 tables. Forthcoming in Perspectives on Mathematical Practices: Proceedings of the Brussels PMP2002 Conference (Logic, Epistemology and the Unity of the Sciences Series), J. P. Van Bendegem & B. Van Kerkhove, edd. (Dordrecht: Kluwer, 2004