Search NASA⌕ Search

SEARCH · Search NASA

Results for “functional programming”

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.

At least 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Convex Programs for Minimal-Area Problems

The minimal-area problem that defines string diagrams in closed string field theory asks for the metric of least area on a Riemann surface with the condition that all non-contractible closed curves have length at least 2π. This is an extremal length problem in conformal geometry as well as a problem in systolic geometry. Here, we consider the analogous minimal-area problem for homology classes of curves and, with the aid of calibrations and the max flow-min cut theorem, formulate it as a local convex program. We derive an equivalent dual program involving maximization of a concave functional. These two programs give new insights into the form of the minimal-area metric and are amenable to numerical solution. We explain how the homology problem can be modified to provide the solution to the original homotopy problem.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Structural Simluation Toolkit (SST) v.11.0

The SST provides a parallel framework to perform system simulation of computer architectures to determine their performance and power consumption. Additionally, the SST contains basic models of a computer processor, and interconnect and can connect to an external memory simulator (DRAMSim II). The SST framework provides a simple interface by which other computer simulation models can be combined under a common parallel discrete event-based simulation environment. This allows design exploration of future architectures, analysis of how current computer programs will function on future architectures. The SST provides a parallel discrete event simulation framework, including partitioning and object distribution over MPI. It also provides a mechanism by which components can report their power consumption for analysis.

Rodrigues, ArunF.↗
DOE OSTI2026

YAP1 Dysfunction Promotes Molecular Properties Linked to Breast Cancer Susceptibility

YAP1 is a cotranscription factor that promotes malignant and stem cell properties in cancer. We previously found that YAP1 dysregulation is associated with aging in human mammary epithelia. With increased age, YAP1 expression changes in luminal epithelial cells, the prospective breast cancer cell of origin. Because age is a significant risk factor for breast cancer, we tested whether YAP1 dysregulation acted early in cancer progression by conferring cellular states associated with increased cancer susceptibility. In this study, we find that with increased age and genetic risk for developing cancer, human breast tissues showed significantly increased YAP1 expression, and cultured primary human mammary epithelial cells (HMEC) showed significantly increased expression of both YAP1 and its transcriptional targets. Increased YAP1 expression in cultured HMEC induced gene expression changes associated with increased cancer susceptibility, such as genes associated with stem cell states, increased telomerase activity, breast cancer progression, and increased age and genetic breast cancer risk. Furthermore, overexpression of YAP1 in post-stasis HMEC—finite lifespan cells that have bypassed a retinoblastoma-mediated senescence barrier—promoted properties related to increased growth potential. We found that YAP1 dysregulation in finite epithelial cells allows for access to gene programs and functions that are typically thought to be restricted to stem cells. We hypothesize that YAP1 acts early in breast cancer progression, long before the development of a tumor, to impose cancer-susceptible molecular states.

YAP1↗
DOE OSTI2022

GronOR: Scalable and Accelerated Nonorthogonal Configuration Interaction for Molecular Fragment Wave Functions

GronOR is a program package for nonorthogonal configuration interaction calculations. Electronic wave functions are constructed in terms of antisymmetrized products of multiconfiguration molecular fragment wave functions. The computational complexity of the nonorthogonal methodologies implemented in GronOR applied to large molecular assemblies requires a design that takes full advantage of massively parallel supercomputer architectures and accelerator technologies. This work describes the implementation strategy and resulting performance characteristics. In addition to parallelization and acceleration, the software development strategy includes aspects of fault resiliency and heterogeneous computing. The program was designed for large-scale supercomputers but also runs effectively on small clusters and workstations for small molecular systems. GronOR is available as open source to the scientific community.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2023

The Field Epidemiology Training Program’s Contribution to Essential Public Health Functions in Seven National Public Health Institutes

Objective: This study explores how Field Epidemiology Training Programs (FETP) whose National Public Health Institutes (NPHI) are supported by U.S. Centers for Disease Control and Prevention (CDC) have contributed to strengthening essential public health functions. Methods: We conducted 96 semi-structured interviews with public health experts including NPHI staff, non-NPHI government staff, and staff from non-governmental and international organizations in Cambodia, Colombia, Liberia, Mozambique, Nigeria, Rwanda, and Zambia. We managed data using MAXQDA and employed direct content analysis to derive themes. Results: Three overarching themes emerged in relation to FETPs’ role within the NPHIs’ public health functions. These themes included contribution to improving country surveillance systems, role in providing leadership in outbreak responses, and strengthening countries’ and the NPHIs’ surveillance workforce capacity. Participants also shared challenges around FETPs’ implementation and suggestions for improvement. Conclusion: The results demonstrate the value of FETPs in strengthening public health systems through building workforce capacity and improving surveillance systems. By identifying the successes of FETPs in contributing to essential public health functions, our findings might inform current and future FETP implementation and its integration into NPHIs.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2023

Constraint of pionless EFT using two-nucleon spectra from lattice QCD

Finite-volume pionless effective field theory (FVEFT π/ ) at next-to-leading order (NLO) is used to analyze the two-nucleon lattice QCD spectrum of Ref. [1], performed at quark masses corresponding to a pion mass of approximately 800 MeV. Specifically, the effective theory is formulated in finite volume, and variational sets of wave functions are optimized using differential programming. Using these wave functions projected to the appropriate finite-volume symmetry group, variational bounds from FVEFT π/ are obtained for the ground state, as well as excited states. By comparison with the lattice QCD GEVP spectrum, different low energy constants (LECs) are constrained. Furthermore, relativistic corrections are incorporated, allowing for the s-d-wave mixing term in the deuteron channel.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2020

Protein Surface Printer for Exploring Protein Domains

The surface of proteins is vital in determining protein functions. Herein, a program, Protein Surface Printer (PSP), is built that performs multiple functions in quantifying protein surface domains. Two proteins, PETase and cytochrome P450, are used to validate that the program supports atomistic simulations with different combinations of programs and force fields. A case study is conducted on the structural analysis of the spike proteins of SARS-CoV-2 and SARS-CoV and the human cell receptor ACE2. Although the surface domains of both spike proteins are highly similar, their receptor-binding domains (RBDs) and the O-linked glycan domains are structurally different. The O-linked glycan domain of SARS-CoV-2 is highly positively charged, which may promote binding to negatively charged human cells.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

HiFiPDV2 v. 2

SAND2024-01061O The HiFiPDV-2 software is similar to other photonic Doppler velocimetry (PDV) analysis codes in that it converts signals from intensity-time space to frequency-time space using a short-time Fourier transform (STFT). It then analyzes peaks of the resulting power spectral density information to extract the velocity-time history. The unique aspects of HiFiPDV and HiFiPDV-2 are that this reduction process is repeated for an array of reasonable STFT input variables. The resulting population distribution of output velocity-time histories is evaluated to determine the most likely velocity history and its associated uncertainty. This uncertainty is defined as the systematic uncertainty of the PDV signal as it is a function of input values to the reduction process. The HiFiPDV-2 program brings new functionality and efficiency to these calculations—most notably significant reductions in memory usage and calculation times, the ability to evaluate frequency-shifted signals, and the ability to filter out baseline signals. Developers recommend that users have at least 2 GB of RAM per CPU core in their system. Sandia National Laboratories is a multimission laboratory managed and operated by National Technology & Engineering Solutions of Sandia, LLC, a wholly owned subsidiary of Honeywell International Inc., for the U.S. Department of Energy’s National Nuclear Security Administration under contract DE-NA0003525.

Voorhees, Travis↗
DOE OSTI2025

Security Licensing Basis Framework Development

This report summarizes a technology-inclusive and performance-based method to determine the physical security licensing basis for a commercial nuclear reactor under the proposed 10 CFR 73.100 for Part 53 licensees. The method focuses on the identification of security functions, the contributing security systems and programs to meet those functions, the identification of security events that will provide the foundation for the security licensing basis and includes a risk-informed performance-based defense in depth adequacy method. The method can also be employed to justify performance-based alternative measures to traditional security requirements found in 10 CFR 73.55.

98 - NUCLEAR DISARMAMENT, SAFEGUARDS, AND PHYSICAL↗
DOE OSTI2024

ISO_Fortran_binding_m v0.1.0

The Fortran programming language standard defines a broad feature set supporting the interoperability of Fortran programs with program written according to the C programming language standard. Among Fortran's C-interoperability features is a a C header file "ISO_Fortran_binding.h" This header file defines the interface to various C data structures and functions that C programs may use to access Fortran data entities. The ISO_Fortran_binding_m software defines a native Fortran module that presents an interface to these same data structures and functions. ISO_Fortran_bind_m thus enables Fortran programs to access and manipulate Fortran entities in ways that precisely mirror what C programs can do using ISO_Fortran_binding.h. ISO_Fortran_binding_m facilitates writing portable standard-conforming Fortran programs that emulate non-interoperable features, e.g., dynamic polymorphism, in a standard-conforming interoperable way similar but broader than what is demonstrated in Berkeley Lab's Caffeine software [1]. ISO_Fortran_binding_m also enables a Fortran programmer to extend Fortran's capabilities to emulate certain C functionality such as memory address arithmetic or computing C's "sizeof" function. [1] https://github.com/BerkeleyLab/caffeine/blob/213e3df1c319f0663306354414f352acda42a24f/src/caffeine/collective_subroutines/co_reduce_s.f90#L88 [2] https://github.com/BerkeleyLab/ISO_Fortran_binding_m/blob/0c585362bb4f2c72cf9049c800a7115b529ec533/src/iso_fortran_binding_m.F90#L196

Rouson, Damian↗
DOE OSTI2018

Multivalent, multiflavored droplets by design

Nature self-assembles functional materials by programming flexible linear arrangements of molecules and then folding them to make 2D and 3D objects. To understand and emulate this process, we have made emulsion droplets with specific recognition and controlled valence. Uniquely monovalent droplets form dimers: divalent lead to polymer-like chains, trivalent allow for branching, and programmed mixtures of different valences enable a variety of designed architectures and the ability to subsequently close and open structures. Our functional building blocks are a hybrid of micrometer-scale emulsion droplets and nanoscale DNA origami technologies. Functional DNA origami rafts are first added to droplets and then herded into a patch using specifically designated “shepherding” rafts. Additional patches with the same or different specificities can be formed on the same droplet, programming multiflavored, multivalence droplets. The mobile patch can bind to a patch on another droplet containing complementary functional rafts, leading to primary structure formation. Further binding of nonneighbor droplets can produce secondary structures, a third step in hierarchical self-assembly. The use of mobile patches rather than uniform DNA coverage has the advantage of valence control at the expense of slow kinetics. Droplets with controlled flavors and valences enable a host of different material and device architectures.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

FY22 NCSP Technical Program Review [Slides]

Document details key information about the Nuclear Criticality Safety Program (NCSP) including financial data, functions and execution of the program, and accomplishments, challenges, and initiatives, as well as projected projects/accomplishments.

96 KNOWLEDGE MANAGEMENT AND PRESERVATION↗
DOE OSTI2023

LLNL SFA OBER FY23 Program Management and Performance Report: BioGeoChemistry at Interfaces

The focus of the BioGeoChemistry at Interfaces SFA has been to identify and quantify the biogeochemical processes and the underlying mechanisms that control actinide mobility in an effort to reliably predict and control the cycling and migration of actinides in the environment. The research approach has included: (1) Field Studies that capture actinide behavior on the timescale of decades (Research Thrust 1), and (2) Fundamental Laboratory Studies that isolate specific biogeochemical processes observed in the field (Research Thrust 2). These Research Thrusts are underpinned by the unique capabilities and staff expertise at Lawrence Livermore National Laboratory, allowing the BioGeoChemistry at Interfaces SFA to advance our understanding of actinide migration behavior in the environment, and serve as a resource for environmental radiochemistry research internationally (Figure 1). In FY23, our SFA research focused on transient redox gradients across stratified waters, sediment-water interfaces, and mineral-water interfaces to address processes controlling cycling of redox-sensitive metals. Nevertheless, Research Thrusts 1 and 2 are guided by the following broad central hypotheses that were developed during our last program review held at the end of FY18: Thrust 1 Hypothesis: Biogeochemical processes occurring on the timescale of years to decades lead to greater actinide recalcitrance in sediments and limits their migration in surface and groundwater. Thrust 2 Hypothesis: Long-term biogeochemical processes include mineral and surface alteration, which leads to stabilization of actinide surface associations or incorporation into mineral precipitates. Our strategic goal is to use the knowledge gained from our Science Plan to advance our understanding of the behavior of actinides and other radionuclides (e.g. Cs) and provide DOE with the scientific basis for remediation and long-term stewardship of DOE’s legacy sites. More broadly, we are improving our understanding of transport phenomena in environmental systems sciences with a particular emphasis on environmentally relevant (long-term) timescales. While we retained some of our historical focus on actinide biogeochemistry this past fiscal year, biogeochemical processes occurring at unique Test Bed locations associated with this SFA provide fundamental information on abiotic and biotic redox processes that control the cycling of redox sensitive metals under dynamic and transient conditions. Furthermore, in collaboration with SFA teams at Argonne National Laboratory, our SFA has begun to transition away from the current research focus and develop a new research program in terrestrial wetland systems. The Terrestrial Wetland Function and Resilience SFA program plan will be delivered to the Environmental System Science (ESS) program within BER at the end of FY23.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Equilipy: a python package for calculating phase equilibria

The CALPHAD (CALculation of PHAse Diagram) approach (Nigel Saunders & Miodownik, 1998) provides predictions for thermodynamically stable phases in multicomponent-multiphase materials across a wide range of temperatures. Consequently, the CALPHAD calculations became an essential tool in materials and process design (Luo, 2015). Such design tasks frequently require navigating a high-dimensional space due to multiple components involved in the system. This increasing complexity demands high-throughput CALPHAD calculations, especially in the rapidly evolving field of alloy design. In response to the need, we developed Equilipy an open-source Python package designed for calculating phase equilibria of multicomponent-multiphase systems. Equilipy is specifically tailored for high-throughput CALPHAD calculations, offering parallel computations across multiple processors and nodes with the given NPT input conditions namely elemental compositions (N), pressure (P), and temperature (T). Equilipy utilizes the program structure and Gibbs energy functions from the Fortran-based program, Thermochimica (Piro et al., 2013), with incorporating a new Gibbs energy minimization algorithm. This algorithm, originally developed by Capitani and Brown in 1987 (Capitani & Brown, 1987), has been revised and implemented to enhance the stability and performance of calculations. The Fortran codes are precompiled and interfaced with Python via F2PY, ensuring high computation speed. Benchmark tests shown in Figure 1 demonstrate that Equilipy’s computation speed is comparable to those of established commercial software, TC-Python and PanPython. This result highlights its efficiency and potential applications in various scientific and industrial fields.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Behavior specification, finding main, and call graph visualizations

A process transforms compiled software into a semantic form. The process transforms the code into a semantic form. The process analyzes behavior functionality by processing precise programming behavior abstractions stored in a memory and classifies the code as malware based on the code behavior. Another method identifies the starting point of execution of a compiled program. The method calculates a complexity measure by calculating the number of potential execution paths of local functions; identifies the number of arguments passed to local functions; and identifies the starting point of execution of the compiled program. Another method provides interactive, dynamic visualization of a group of related functions wherein a user can explore the rendered graph and select a specific function and display functions that are color coded by their ancestral relation and their function call distance to the selected function.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2018

Symmetric Indefinite Linear Solver Using OpenMP Task on Multicore Architectures

Recently, the Open Multi-Processing (OpenMP) standard has incorporated task-based programming, where a function call with input and output data is treated as a task. At run time, OpenMP's superscalar scheduler tracks the data dependencies among the tasks and executes the tasks as their dependencies are resolved. On a shared-memory architecture with multiple cores, the independent tasks are executed on different cores in parallel, thereby enabling parallel execution of a seemingly sequential code. With the emergence of many-core architectures, this type of programming paradigm is gaining attention-not only because of its simplicity, but also because it breaks the artificial synchronization points of the program and improves its thread-level parallelization. In this paper, we use these new OpenMP features to develop a portable high-performance implementation of a dense symmetric indefinite linear solver. Obtaining high performance from this kind of solver is a challenge because the symmetric pivoting, which is required to maintain numerical stability, leads to data dependencies that prevent us from using some common performance-improving techniques. To fully utilize a large number of cores through tasking, while conforming to the OpenMP standard, we describe several techniques. Our performance results on current many-core architectures-including Intel's Broadwell, Intel's Knights Landing, IBM's Power8, and Arm's ARMv8-demonstrate the portable and superior performance of our implementation compared with the Linear Algebra PACKage (LAPACK). The resulting solver is now available as a part of the PLASMA software package.

Computer Science↗