SEARCH · Search NASA
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Device uses pattern of transparent contact touch points that are put on cathode ray tube screen. Touch point system compels more precise and unambiguous communication between man and machine than is possible with any other means, and speeds up operation responses.
This paper presents an approach, QuantifyML, which employs model counting to assess the learnability and robustness of machine learning models. Typically the efficacy of machine learning models is determined by computing their accuracy statistically on test data sets. However, this may be misleading, if the test data is not representative of the problem that is being studied. Further, two different models may have the same accuracy on a given data set, measured statistically, but may be very different in their behavior on unseen data. Also, models with high accuracy could have poor adversarial robustness. In QuantifyML, our goal is to precisely quantify the extent to which machine learning models have learned and generalized from the given data. In QuantifyML, a trained model is translated into a C program, which is fed to the CBMC model checking tool to produce a formula in Conjunctive Normal Form (CNF), which in turn is analyzed with state-of-the-art model counters to efficiently obtain precise counts w.r.t different outputs. QuantifyML enables i) evaluating the learnability of models by comparing the counts for the outputs to ground truth, expressed as logical predicates (if available), ii) comparing the performance of different models that may be built with different machine learning algorithms (e.g., decision-trees vs. neural networks), and iii) quantifying the robustness of trained models around given inputs. Our evaluation demonstrates these applications of QuantifyML on decision trees and neural networks trained to learn relational properties of graphs, for which we know the ground truth, and to perform image classification, for which we do not have the ground truth, but we can quantify local robustness.
The Terahertz (THz) region of the electromagnetic spectrum (about 300 - 3000 GHz in frequency or about 0.1 - 1 mm free space wavelength) has enormous potential for high-data-rate communications, spectroscopy, astronomy, space research, medicine, biology, surveillance, remote sensing, industrial process control, etc. It has been characterized as the most scientifically rich, yet under-utilized, region of the electromagnetic spectrum. The most critical roadblock to full exploitation of the THz band is lack of coherent radiation sources that are powerful (0.001 - 1.0 W continuous wave), efficient (> 1%), frequency agile (instantaneously tunable over 1% bandwidths or more), reliable, and comparatively inexpensive. To develop vacuum electron device (VED) radiation sources satisfying these requirements, fabrication and packaging approaches must be heavily considered to minimize costs, in addition to the basic interaction physics and circuit design. To minimize size of the prime power supply, beam voltage must be minimized, preferably 10 kV. Solid state sources satisfy the low voltage requirement, but are many orders of magnitude below power, efficiency, and bandwidth requirements. On the other hand, typical fast-wave VED sources in this regime (e.g., gyrotrons, FELs) tend to be large, expensive, high voltage and very high power devices unsuitable for most of the applications cited above. VEDs based on grating or inter-digital (ID) circuits have been researched and developed. However, achieving forward-wave amplifier operation with instantaneous fractional bandwidths > 1% is problematic for these devices with low-energy (< 15 kV) electron beams. Moreover, the interaction impedance is quite low unless the beam-circuit spacing is kept particularly narrow, often leading to significant beam interception. One solution to satisfy the THz source requirements mentioned above is to develop micromachined VEDs, or "micro-VEDs". Among other benefits, micro-machining technologies provide superior high frequency wall conductivity as a result of superior surface smoothness compared with conventional mechanical or electric discharge machining approaches. Micro-VED technologies are already being applied to the development of millimeter-wave klystrons at Stanford Linear Accelerator Center and submillimeter-wave klystrons at the University of Leeds. We are investigating the use of micro-machining technologies to develop THz regime TWTs, with emphasis on folded-waveguide TWTs. The folded-waveguide TWT (FW-TWT) has several features that make it attractive for THz-regime micro-VED applications. It is a relatively simple circuit to design and fabricate, it is amenable to precision pattern replication by micro-machining, and it is has been demonstrated capable of forward-wave amplification with appreciable bandwidth. We are conducting experimental and computational studies of micro-VED FW-TWTs to examine their feasibility for applications at frequencies from 200 - 1000 GHz.
A three-tier structure consisting of organization, coordination, and execution levels forms the architecture of an intelligent machine using the principle of increasing precision with decreasing intelligence from a hierarchically intelligent control. This system has been formulated as a probabilistic model, where uncertainty and imprecision can be expressed in terms of entropies. The optimal strategy for decision planning and task execution can be found by minimizing the total entropy in the system. The focus is on the design of the organization level as a Boltzmann machine. Since this level is responsible for planning the actions of the machine, the Boltzmann machine is reformulated to use entropy as the cost function to be minimized. Simulated annealing, expanding subinterval random search, and the genetic algorithm are presented as search techniques to efficiently find the desired action sequence and illustrated with numerical examples.
Tool countersinks holes precisely with only portable drill; does not require costly machine tool. Replaceable pilot stub aligns axis of tool with centerline of hole. Ensures precise cut even with imprecise drill. Designed for relatively low cutting speeds.
Method of machining on conventional metal lathe devised for precise cutting of axisymmetric contours on honeycomb cores made of composite (matrix/fiber) materials. Wax filling reinforces honeycomb walls against bending and tearing while honeycomb being contoured on lathe. Innovative method of machining on lathe involves preparation in which honeycomb is placed in appropriate fixture and the fixture is then filled with molten water-soluble wax. Number of different commercial waxes have been tried.
Laser method, where high energies of monochromatic light can be precisely collimated to perform welding and machining processes, is proposed for rotary dynamic balancing. The unbalance, as detected with the velocity pickup, would trigger the laser system which would emit high energy pulses directed at the heavy side of the component.
The laser measuring system is designed to automatically measure and record the distances between small diameter wires on a wire wrapped grid frame assembly to an accuracy of 0.00635 mm (0.00025 in.). The system utilizes a helium-neon gas laser beam as the measuring instrument with a remote interferometer and retroreflector, a light source and photodetector to detect the wire positions, in conjunction with recording, display and printout units. The laser measuring system is utilized to perform precise automatic measurements for wire application machines or as an automatic feedback device for positioning wires and/or to adjust them for out of tolerance conditions.
Component assembly on printed circuitry keeps making giant strides toward denser packaging and smaller dimensions. From a single layer to multilayer, from through holes to surface mounted components and tape applied bonds, unrelenting progress results in new, difficult problems in assembling, soldering, inspecting and controlling the manufacturing process of the new electronics. Among the major problems are the variables introduced by human operators. The small dimensions and the tight assembly tolerances are now successfully met by machines which are faster and more precise than the human hand. The same is true for soldering. But visual inspection of the solder joints is now so severely limited by the ever shrinking area accessible to the human eye that the inspector's diagnosis cannot be trusted any longer. Solutions to correcting these problems are discussed.
Rectangular-waveguide inserts that are made of non-ferromagnetic metals and are sized and shaped to function as notch filters have been conceived as reference standards for use in the rectangular- waveguide method of characterizing materials with respect to such constitutive electromagnetic properties as permittivity and permeability. Such standards are needed for determining the accuracy of measurements used in the method, as described below. In this method, a specimen of a material to be characterized is cut to a prescribed size and shape and inserted in a rectangular- waveguide test fixture, wherein the specimen is irradiated with a known source signal and detectors are used to measure the signals reflected by, and transmitted through, the specimen. Scattering parameters [also known as "S" parameters (S11, S12, S21, and S22)] are computed from ratios between the transmitted and reflected signals and the source signal. Then the permeability and permittivity of the specimen material are derived from the scattering parameters. Theoretically, the technique for calculating the permeability and permittivity from the scattering parameters is exact, but the accuracy of the results depends on the accuracy of the measurements from which the scattering parameters are obtained. To determine whether the measurements are accurate, it is necessary to perform comparable measurements on reference standards, which are essentially specimens that have known scattering parameters. To be most useful, reference standards should provide the full range of scattering-parameter values that can be obtained from material specimens. Specifically, measurements of the backscattering parameter (S11) from no reflection to total reflection and of the forward-transmission parameter (S21) from no transmission to total transmission are needed. A reference standard that functions as a notch (band-stop) filter can satisfy this need because as the signal frequency is varied across the frequency range for which the filter is designed, the scattering parameters vary over the ranges of values between the extremes of total reflection and total transmission. A notch-filter reference standard in the form of a rectangular-waveguide insert that has a size and shape similar to that of a material specimen is advantageous because the measurement configuration used for the reference standard can be the same as that for a material specimen. Typically a specimen is a block of material that fills a waveguide cross-section but occupies only a small fraction of the length of the waveguide. A reference standard of the present type (see figure) is a metal block that fills part of a waveguide cross section and contains a slot, the long dimension of which can be chosen to tailor the notch frequency to a desired value. The scattering parameters and notch frequency can be estimated with high accuracy by use of commercially available electromagnetic-field-simulating software. The block can be fabricated to the requisite precision by wire electrical-discharge machining. In use, the accuracy of measurements is determined by comparison of (1) the scattering parameters calculated from the measurements with (2) the scattering parameters calculated by the aforementioned software.
Heterodyne terahertz (0.3 - 3THz) imaging systems are currently limited to single or a low number of pixels. Drastic improvements in imaging sensitivity and speed can be achieved by replacing single pixel systems with an array of detectors. This paper presents an array topology that is being developed at the Jet Propulsion Laboratory based on the micromachining of silicon. This technique fabricates the array's package and waveguide components by plasma etching of silicon, resulting in devices with precision surpassing that of current metal machining techniques. Using silicon increases the versatility of the packaging, enabling a variety of orientations of circuitry within the device which increases circuit density and design options. The design of a two-pixel transceiver utilizing a stacked architecture is presented that achieves a pixel spacing of 10mm. By only allowing coupling from the top and bottom of the package the design can readily be arrayed in two dimensions with a spacing of 10mm x 18mm.
Many industries, including aerospace, automotive, wind energy, maritime, and sporting goods, rely on strong, lightweight materials called composites. These materials are made by layering fibers, which can come in the form of narrow strips or wider sheets, and setting them in a polymer matrix. One of the most advanced ways to make these parts is through automated fiber placement, where a machine lays down the fibers in precise patterns. This method can create very efficient and strong designs, but it is complex, expensive, and often depends heavily on the experience of skilled engineers. Today, the design, manufacturing, and inspection stages of composite production are usually handled separately. This separation means that important information, such as how a part will be built or what defects might occur, is not always shared between stages. As a result, parts may not be as lightweight, strong, or defect-free as possible, and the process can take longer and cost more. This research develops a smart process planning system that connects design, manufacturing, and inspection into one continuous process. Built as software that works with existing tools, the system can automatically plan how the fibers are placed, predicting and reducing defects while improving both manufacturability and strength. The system optimizes not only individual layers but also how defects are distributed across all layers, preventing them from stacking up in ways that weaken the final part. It also uses inspection results from completed parts to improve future designs, creating a feedback loop where each stage informs the others. The system was tested by designing a composite panel using this new approach and comparing it to a panel made with state-of-the-art manual planning methods. The results showed that the system could intentionally control where defects appeared and increase the efficiency of the planning process. By unifying design, manufacturing, and inspection, this research shows a way to make advanced composite manufacturing more efficient, consistent, and cost-effective. This approach lowers the barrier to using automated fiber placement and opens the door for its wider adoption not only in aerospace but also in industries such as automotive, wind energy, maritime, and sporting goods, where strong and lightweight structures are essential.
Diamond smoothing tools have been proposed for use in conjunction with diamond cutting tools that are used in many finish-machining operations. Diamond machining (including finishing) is often used, for example, in fabrication of precise metal mirrors. A diamond smoothing tool according to the proposal would have a smooth spherical surface. For a given finish machining operation, the smoothing tool would be mounted next to the cutting tool. The smoothing tool would slide on the machined surface left behind by the cutting tool, plastically deforming the surface material and thereby reducing the roughness of the surface, closing microcracks and otherwise generally reducing or eliminating microscopic surface and subsurface defects, and increasing the microhardness of the surface layer. It has been estimated that if smoothing tools of this type were used in conjunction with cutting tools on sufficiently precise lathes, it would be possible to reduce the roughness of machined surfaces to as little as 3 nm. A tool according to the proposal would consist of a smoothing insert in a metal holder. The smoothing insert would be made from a diamond/metal functionally graded composite rod preform, which, in turn, would be made by sintering together a bulk single-crystal or polycrystalline diamond, a diamond powder, and a metallic alloy at high pressure. To form the spherical smoothing tip, the diamond end of the preform would be subjected to flat grinding, conical grinding, spherical grinding using diamond wheels, and finally spherical polishing and/or buffing using diamond powders. If the diamond were a single crystal, then it would be crystallographically oriented, relative to the machining motion, to minimize its wear and maximize its hardness. Spherically polished diamonds could also be useful for purposes other than smoothing in finish machining: They would likely also be suitable for use as heat-resistant, wear-resistant, unlubricated sliding-fit bearing inserts.
Recent technological developments have made viable a man-machine interface heavily dependent on graphics and pointing devices. This has led to new interest in classical reaction and movement time work by Human Factors specialists. Two experiments were designed and run to test the dependence of target capture time on information load (Hitt's Law) and movement precision (Fitts' Law). The proposed model linearly combines Hitt's and Fitts' results into a combination law which then might be called Hitts' Law. Subjects were required to react to stimuli by manipulating a joystick so as to cause a cursor to capture a target on a CRT screen. Response entropy and the relative precision of the capture movement were crossed in a factorial design and data obtained that were found to support the model.
Amplifier module allows rotating positioner of automatic welding machine to operate at speeds below normal range. Low speeds are precisely regulated by a servomechanism as are normal-range speeds. Addition of module to standard welding machine makes it unnecessary to purchase new equipment for low-speed welding.
Design and development of layout tool for machine shop use to locate point in precise reference to straight or bowed reference edge
Panel contours are precisely recorded on compression grid for compensating machine operations.
A new pole configuration for multi-pole homopolar bearings proposed in this invention reduces rotational losses caused by eddy-currents generated when non-uniform flux distributions exist along the rotor surfaces. The new homopolar magnetic bearing includes a stator with reduced pole-to-pole and exhibits a much more uniform rotor flux than with large pole-to-pole gaps. A pole feature called a pole-link is incorporated into the low-loss poles to provide a uniform pole-to-pole gap and a controlled path for pole-to-pole flux. In order to implement the low-loss pole configuration of magnetic bearings with small pole-to-pole gaps, a new stator configuration was developed to facilitate installation of coil windings. The stator was divided into sector shaped pieces, as many pieces as there are poles. Each sector-shaped pole-piece can be wound on a standard coil winding machine, and it is practical to wind precision layer wound coils. To achieve maximum actuation efficiency, it is desirable to use all the available space for the coil formed by the natural geometric configuration. Then, the coils can be wound in a tapered shape. After winding, the sectored-pole-pieces are installed into and fastened by bonding or other means, to a ring of material which encloses the sectored-pole-pieces, forming a complete stator.