Award Data

3DSIM will provide a solution to additive manufacturing’s lack of efficient, composable physics-based computational frameworks to predict quality and performance for arbitrary geometry, orientation, location and process parameter combinations. A new set of composable computational tools capable of accurately predicting the geometrical accuracy, residual stress and microstructure of the parts mad ...

This project is devoted to development of a manufacturing technique of slow neutron Germanium mosaic monochromators with reflectivity exceeding reflectivity of pyrolytic graphite crystals. The manufacturing technique utilizes optimized high temperature plastic deformation of large single Germanium crystals to produce mosaic monochromators. Preliminary test on 70 mm diameter Ge samples with 111 ori ...

This project focuses on developing a magnetic resonance imaging (MRI) contrast agent that may increase the detection of tagged cells by a factor of 10-100. The ability to noninvasively track specifically labeled (tagged) cells, enables a researcher or medical treatment professional to dynamically monitor the delivery and targeted application of medicinal and bio-reactive agents.

methyst Research Inc. will design, fabricate and test a high uniformity, large area, low noise infrared trap-detector detector for the 1- 4.5 μm wavelength range. This state of the art detector will have a large area (e.g., 1-1.8 cm diameter active area) with a spatial variability of internal quantum efficiency of less than 0.1 % between 1 μm and 4.5 μm. In addition, the internal quantum effici ...

Current research shows that failures in the standardization process are often the result of a failure of the participants to communicate or organize. To this effect, NIST has developed a tool, NIST Ontological Visualization Interface for Standards (NOVIS), with an environment for visualizing, browsing, and querying standards. Aztera will create a Computer Aided Standards Development (CASD) framewo ...

Categorical theory has recently been successfully applied to translate information from one computer system to another. Researchers at MIT have developed a prototype software tool based on category theory for solving information-integration programs. The tool has successfully solved small-scale information-integration problems including a problem identified by NIST about enriching the manufacturin ...

Galois will build a practical, efficient, modular, deductive code verifier and verification methodology for multithread C11 software. The verifier will take code written to the C11 standard, suitably annotated with function contracts, assertions, program/data invariants, ghost data/code, and any platform-specific assumptions beyond those guaranteed by the standard, and will prove that the code mee ...

InfoBeyond Technology advocates the development of a user-friendly, efficient, reliable, and generic Access Control Policy modeling, verification, and Testing (ACPT) Tool. InfoBeyond Technology’s ACPT enhances NIST’s ACPT design and adds several advanced features for achieving high security confidence AC levels such that it can be commercialized. It provides user-friendly GUI templates for use ...

Nodexus is commercializing next-generation bioinstrumentation for researchers, clinicians, and the biotech industry at large. As development challenge involves a material switch to polymer-based microfluidics to improve robustness and reproducibility of measurements. Nodexus will develop new manufacturing processes for their microfluidic product suite that preserves surface functionalization while ...

This Automated Access Control Policy Testing System (A-ACPTS) project extends and transitions NIST’s Access Control Policy Tool (ACPT) toward commercialization. The core challenge is to research and develop an ACPT-based tool and a method of automating as many of the inputs into the model checking as possible, with the goal of making the testing more usable, less error-prone, and more efficient ...