A note on AFLs and bounded erasing
F-bounded erasing operator in abstract family of language for mapping, applying to families defined by tape-bounded Turing acceptors
Book, R. V.↗
SEARCH · Engineering Papers
Results for “AFL++”
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.
Nine-week AFL Multi Labs Challenge kicks off on April 2 and Shamrock Run a big success.
Abstract not provided.
Koning, Patricia Brady↗
The ARADS Project as an Astrobiological Survey Mission Prototype
An astrobiological survey prior to human arrival will be important for preservation of signs of any existing or past evidence of Martian life, to reduce the risk of unintentional forward contamination of Martian environments in which terrestrial microbes might be able to gain a foothold (e.g., [1]), and to potentially protect the health of any human crews and enable their safe return to Earth. Evaluating for the presence of life and biosignatures may become a critical-path Mars exploration precursor in the not-so-far future, circa 2030-35. The near-subsurface, with its potential combination of volatiles, vapor exchange with the surface, and shelter from surface radiation, will be a primary initial target for in-situ astrobiological investigation. Sample acquisition, drilling and sample handling are key elements of robotic missions that target the subsurface [2], as well as near-surface ground ice deposits. In the mid 2000s, the Mars Astrobiology Field Laboratory (AFL) was proposed as a follow-on mission concept to the Mars Science Laboratory (MSL)/Curiosity rover mission [3]. The AFL would have included precision drilling to 2m, automated sample handling and remote processing of cores. However, the AFL concept needed further development and maturation. The Atacama Rover Astrobiology Drilling Studies (ARADS) project concept [4] was in part AFL-inspired. The 2014 ARADS concept included a medium sized rover, with habitability instruments, including the Phoenix Wet Chemistry Laboratory (WCL) [5], and an enhanced version of the ExoMars Mars Organic Molecule Analyzer (MOMA) Laser Desorption-Linear Ion Trap Mass Spectrometer (LITMS) [6]. ARADS likewise included two biosignature detection instruments -- the Signs of Life Detector (SOLID) immunoassay instrument [7,8] and the Chemical Laptop-derived [9] Planetary In-Situ Capillary Electrophoresis System (PISCES), while mitigating Planetary Protection-relevant contamination issues [10]. ARADS project objectives were to demonstrate the potential science return for such a mission in the context of the search for evidence of life, and technically to demonstrate the feasibility of roving with drilling missions to Mars. ARADS technology goals targeted analog-site demonstrations of automated drilling and sampling, integrated with its mobile habitability and biosignature detection instruments. And ARADS science operations goals developed remote science, contamination mitigation, and communications methods to enable simulating AFL-like science operations with time delays, directed by a remote science team[11]. Five subsequent Mars analog site field demonstrations (in Chile’s hyperarid Atacama Desert, 2016-19) provided a step-by-step development pathway for the ARADS platform’s science capabilities and systems integration, culminating in an integrated remote roving mission simulation in the final ARADS year (2019).
biosignatures↗
StructuredFuzzer: Fuzzing Structured Text-Based Control Logic Applications
Rigorous testing methods are essential for ensuring the security and reliability of industrial controller software. Fuzzing, a technique that automatically discovers software bugs, has also proven effective in finding software vulnerabilities. Unsurprisingly, fuzzing has been applied to a wide range of platforms, including programmable logic controllers (PLCs). However, current approaches, such as coverage-guided evolutionary fuzzing implemented in the popular fuzzer American Fuzzy Lop Plus Plus (AFL++), are often inadequate for finding logical errors and bugs in PLC control logic applications. They primarily target generic programming languages like C/C++, Java, and Python, and do not consider the unique characteristics and behaviors of PLCs, which are often programmed using specialized programming languages like Structured Text (ST). Furthermore, these fuzzers are ill suited to deal with complex input structures encapsulated in ST, as they are not specifically designed to generate appropriate input sequences. This renders the application of traditional fuzzing techniques less efficient on these platforms. To address this issue, this paper presents a fuzzing framework designed explicitly for PLC software to discover logic bugs in applications written in ST specified by the IEC 61131-3 standard. The proposed framework incorporates a custom-tailored PLC runtime and a fuzzer designed for the purpose. We demonstrate its effectiveness by fuzzing a collection of ST programs that were crafted for evaluation purposes. We compare the performance against a popular fuzzer, namely, AFL++. The proposed fuzzing framework demonstrated its capabilities in our experiments, successfully detecting logic bugs in the tested PLC control logic applications written in ST. On average, it was at least 83 times faster than AFL++, and in certain cases, for example, it was more than 23,000 times faster.
47 OTHER INSTRUMENTATION↗
The role of heme oxygenase-1 in drug metabolizing dysfunction in the alcoholic fatty liver exposed to ischemic injury
This study was designed to investigate the role of heme oxygenase-1 (HO-1) in hepatic drug metabolizing dysfunction after ischemia/reperfusion (IR) in alcoholic fatty liver (AFL). Rats were fed a Lieber–DeCarli diet for five weeks to allow for development of AFL and were then subjected to 90 min of hepatic ischemia and 5 h of reperfusion. Rats were pretreated with hemin (HO-1 inducer) or ZnPP (HO-1 inhibitor) for 16 h and 3 h before hepatic ischemia. After hepatic IR, ethanol diet (ED)-fed rats had higher serum aminotransferase activities and more severe hepatic necrosis compared to the control diet (CD)-fed rats. These changes were attenuated by hemin and exacerbated by ZnPP. The activity and gene expression of HO-1 and its transcription factor (Nrf2) level increased significantly after 5 h of reperfusion in CD-fed rats but not in ED-fed rats. After reperfusion, cytochrome P450 (CYP) 1A1, 1A2, and 2B1 activities were reduced to levels lower than those observed in sham group, whereas CYP2E1 activity increased. The decrease in CYP2B1 activity and the increase in CYP2E1 activity were augmented after hepatic IR in ED-fed animals. These changes were significantly attenuated by hemin but aggravated by ZnPP. Finally, CHOP expression and PERK phosphorylation, microsomal lipid peroxidation, and levels of proinflammatory mediators increased in ED-fed rats compared to CD-fed rats after reperfusion. These increases were attenuated by hemin. Our results suggest that AFL exacerbates hepatic drug metabolizing dysfunction during hepatic IR via endoplasmic reticulum stress and lipid peroxidation and this is associated with impaired HO-1 induction. - Highlights: • Endogenous HO-1 is generated in insufficient quantities in steatotic ischemic injury. • Impaired HO-1 induction leads to excessive ER stress response and lipid peroxidation. • Alcoholic steatosis exacerbates IR-induced hepatic drug-metabolizing dysfunction. • HO-1 induction is required for appropriate medication in patients with steatosis.
60 APPLIED LIFE SCIENCES↗
WeightedAFL
WeightedAFL (WAFL) is an improvement to open source fuzzer, American Fuzzy Lop (AFL). Fuzzers modify input to target programs in order to produce crashes and other unintended output in those target programs. WAFL integrates directly with AFL to determine offsets within a buffer that will improve performance metrics. WAFL uses various machine learning techniques to learn these offsets. WAFL also provides a novel software engineering solution to integrate with AFL and allows contributors to quickly write and test algorithms in python. SAND2020-12546 O 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.
Kincher-Winoto, Kina↗
Program Fuzzing on High Performance Computing Resources
American Fuzzy Lop (AFL) is an evolutionary fuzzer that is strategically implemented as a tool for discovering bugs in software during vulnerability research. This work seeks to understand how to best implement AFL on the High-Performance Computing resources available on the unclassified network at Sandia National Laboratories. We investigate various methods of executing AFL, requesting varying numbers of tasks on single compute nodes with 36 physical cores and 72 total threads. A Python script called Blue Claw is presented as an automated testbed generator tool to assist in the tedious process of creating and executing experiments of any scale and duration.
97 MATHEMATICS AND COMPUTING↗
Magnetic phase transitions and entropy change in layered NdMn{sub 1.7}Cr{sub 0.3}Si{sub 2}
A giant magnetocaloric effect has been observed around the Curie temperature, T{sub C} ∼ 42 K, in NdMn{sub 1.7}Cr{sub 0.3}Si{sub 2} with no discernible thermal and magnetic hysteresis losses. Below 400 K, three magnetic phase transitions take place around 380 K, 320 K and 42 K. Detailed high resolution synchrotron and neutron powder diffraction (10–400 K) confirmed the magnetic transitions and phases as follows: T{sub N}{sup intra} ∼ 380 K denotes the transition from paramagnetism to intralayer antiferromagnetism (AFl), T{sub N}{sup inter} ∼ 320 K represents the transition from the AFl structure to the canted antiferromagnetic spin structure (AFmc), while T{sub C} ∼ 42 K denotes the first order magnetic transition from AFmc to canted ferromagnetism (Fmc + F(Nd)) due to ordering of the Mn and Nd sub-lattices. The maximum values of the magnetic entropy change and the adiabatic temperature change, around T{sub C} for a field change of 5 T are evaluated to be −ΔS{sub M}{sup max} ∼ 15.9 J kg{sup −1} K{sup −1} and ΔT{sub ad}{sup max} ∼ 5 K, respectively. The first order magnetic transition associated with the low levels of hysteresis losses (thermal <∼0.8 K; magnetic field <∼0.1 T) in NdMn{sub 1.7}Cr{sub 0.3}Si{sub 2} offers potential as a candidate for magnetic refrigerator applications in the temperature region below 45 K.
75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
Multi-Node Program Fuzzing on High Performance Computing Resources
Significant effort is placed on tuning the internal parameters of fuzzers to explore the state space, measured as coverage, of binaries. In this work, we investigate the effects of the external environment on the resulting coverage after fuzzing two binaries with AFL for 24 hours. Parameters such as scaling to multiple nodes, node saturation, and parallel file system type on HPC resources are controlled in order to maximize coverage. It will be shown that employing a parallel file system such as IBM's General Parallel File System offers an advantage for fuzzing operations, since it contains enhancements for performance optimization. When combined with scaling to two and four nodes, while simultaneously restricting the number of coordinated AFL tasks per node on the low end (10-50% of available physical cores), coverage may be enhanced within a shorter period of time. Thus, controlling the external environment is a useful effort.
97 MATHEMATICS AND COMPUTING↗
A High Power Density Intermediate-Temperature Solid Oxide Fuel Cell with Thin (La 0.9 Sr 0.1 ) 0.98 (Ga 0.8 Mg 0.2 )O 3-δ Electrolyte and Nano-Scale Anode
Solid oxide fuel cells (SOFCs) with thin (La0.9Sr0.1)0.98Ga0.8Mg0.2O3-δ (LSGM) electrolytes are primary candidates for achieving high (> 1 W cm-2) power density at intermediate (< 650 °C) temperatures. Although high power density LSGM-electrolyte SOFCs have been reported, it is still necessary to develop a fabrication process suitable for large-scale manufacturing and to minimize the amount of LSGM used. Here we show that SOFCs made with a novel processing method and a Sr0.8La0.2TiO3-α (SLT) oxide support can achieve high power density at intermediate temperature. The SLT support is advantageous, especially compared to LSGM supports, because of its low materials cost, electronic conductivity, and good mechanical strength. The novel process is to first co-fire the ceramic layers – porous SLT support, porous LSGM layer, and dense LSGM layer – followed by infiltration of nano-scale Ni into the porous layers. Low polarization resistance of 0.188 Ωcm2 was achieved at 650 °C for a cell with an optimized anode functional layer (AFL) and an (La,Sr)(Fe,Co)O3 cathode. Maximum power density reached 1.12 W cm-2 at 650 °C, limited primarily by cathode polarization and ohmic resistances, so there is considerable potential to further improve the power density.
36 MATERIALS SCIENCE↗
Predictive Inverse Model for Advective Heat Transfer in a Short–Circuited Fracture: Dimensional Analysis, Machine Learning, and Field Demonstration
Identifying fluid flow maldistribution in planar geometries is a well–established problem in subsurface science/engineering. Of particular importance to the thermal performance of enhanced (or “engineered”) geothermal systems is identifying the existence of nonuniform (i.e., heterogeneous) permeability and subsequently predicting advective heat transfer. Here, machine learning via a genetic algorithm (GA) identifies the spatial distribution of an unknown permeability field in a two–dimensional Hele–Shaw geometry (i.e., parallel plates). The inverse problem is solved by minimizing the L2 norm between simulated residence time distribution (RTD) and measurements of an inert tracer breakthrough curve (BTC) (C–Dot nanoparticle). Principal component analysis (PCA) of spatially correlated permeability fields enabled reduction of the parameter space by more than a factor of 10 and restricted the inverse search to reservoir–scale permeability variations. Thermal experiments and tracer tests conducted at the mesoscale Altona Field Laboratory (AFL) demonstrate that the method accurately predicts the effects of extreme flow channeling on heat transfer in a single bedding–plane rock fracture. However, this is only true when the permeability distributions provide adequate matches to both tracer RTD and frictional pressure loss. Without good agreement to frictional pressure loss, it is still possible to match a simulated RTD to measurements, but subsequent predictions of heat transfer are grossly inaccurate. Here, the results of this study suggest that it is possible to anticipate the thermal effects of flow maldistribution, but only if both simulated RTDs and frictional pressure loss between fluid inlets and outlets are in good agreement with measurements.
42 ENGINEERING↗
Flight evaluation of two segment approaches for jet transport noise abatement
A 75 flight-hour operational evaluation was conducted with a representative four-engine fan-jet transport in a representative airport environment. The flight instrument systems were modified to automatically provide pilots with smooth and continuous pitch steering command information during two-segment approaches. Considering adverse weather, minimum ceiling and flight crew experience criteria, a transition initiation altitude of approximately 800 feet AFL would have broadest acceptance for initiating two-segment approach procedures in scheduled service. The profile defined by the system gave an upper glidepath of approximately 6 1/2 degrees. This was 1/2 degree greater than inserted into the area navigation system. The glidepath error is apparently due to an erroneous along-track, distance-to-altitude profile.
Rogers, R. A.↗
Mars surface mobility comparison of past, present, and future rover systems
In order to meet the mobility requirements for AFL, the mass of the rover and the potential investigation site are taken into account.
Wilson, T. J.↗
Optical fiber configurations for transmission of laser energy over great distances
There are provided optical fiber configurations that provide for the delivery of laser energy, and in particular, the transmission and delivery of high power laser energy over great distances. These configurations further are hardened to protect the optical fibers from the stresses and conditions of an intended application. The configurations provide means for determining the additional fiber length (AFL) need to obtain the benefits of such additional fiber, while avoiding bending losses.
47 OTHER INSTRUMENTATION↗
Optical fiber configurations for transmission of laser energy over great distances
There are provided optical fiber configurations that provide for the delivery of laser energy, and in particular, the transmission and delivery of high power laser energy over great distances. These configurations further are hardened to protect the optical fibers from the stresses and conditions of an intended application. The configurations provide means for determining the additional fiber length (AFL) need to obtain the benefits of such additional fiber, while avoiding bending losses.
42 ENGINEERING↗
Speeding-up fuzzing through directional seeds
Abstract Fuzzing is an automated process for discovering inputs in a program that may trigger unexpected behavior. Today, fuzzing has become a standard practice for the discovery of bugs and security vulnerabilities. However, the main issue with such practices is that the exploration of the input space of programs can often be prohibitively expensive. Therefore, several alternative fuzzing strategies have been introduced during the last few years. Some fuzzing techniques rely on human expertise to provide a plausible set of initial input examples, namely, seeds. However, the process of handcrafting seeds for fuzzing purposes often becomes strenuous for humans as it requires a deeper understanding of the Program-Under-Test (PUT). Also, the use of known inputs to programs often does not trigger vulnerable program behavior or may not reach potentially vulnerable code locations. To address those issues, we propose a seed generation framework that enables Human-In-The-Loop (HITL) directed fuzzing where the human assumes a more active role in the creation of seeds that can penetrate and assess desired locations of the PUT. Our proposed framework uses Symbolic Execution (SE) to generate seeds that exercise paths to target program locations. Moreover, our framework enables the visualization of the explored execution paths in the binary of the PUT for the generated seeds. We evaluated our approach on a set of 12 carefully designed C programs with diverse characteristics that mimic real-world programs. The experimental results show the effectiveness of the proposed approach in improving the performance of standard fuzzing tools such as the American Fuzzy Lop ("Image missing" <#comment/> ). Specifically, our solution can generate seeds that substantially enhance the performance of the fuzzer, achieving speedups ranging from $$1.46\times $$ 1.46 × to $$68.53\times $$ 68.53 × for branch conditions, $$1.39\times $$ 1.39 × to $$254.62\times $$ 254.62 × for branch depths, $$14,879.59\times $$ 14 , 879.59 × to $$30,295.88\times $$ 30 , 295.88 × for branch widths over traditional seeds. Additionally, the speedup increases with the number of target function ranging from $$12,260\times $$ 12 , 260 × to $$22,856.07\times $$ 22 , 856.07 × over traditional seeds while only requiring less than 15 seconds on average for the seed generation step.
97 MATHEMATICS AND COMPUTING↗
Siting bioenergy facilities in the United States: Measuring participation in decisions and distribution of effects
Scientists and stakeholders can inform the process of siting renewable energy facilities in ways that do not perpetuate socioeconomic disparities associated with fossil fuel industries or create new ones. Procedural justice indicators and distributional justice indicators that incorporate environmental, social, and economic objectives can be used to site energy facilities in ways that increase benefits and reduce negative impacts to disadvantaged and underserved populations. A generic list of potential energy justice indicators for siting bioenergy facilities was developed collaboratively between U.S. bioenergy researchers and diverse agriculture, energy, and energy and environmental justice stakeholders and experts. From this list smaller numbers of indicators can be selected or modified with communities for local siting of bioenergy facilities. Groups of indicators can be used to guide biorefinery or biopower siting and permitting decisions, e.g., to compare siting options, to draw early attention to key problems, or to track progress toward justice-related targets.
09 BIOMASS FUELS↗
Characterizing gravitational wave detector networks: from A # to cosmic explorer
Gravitational-wave observations by the laser interferometer gravitational-wave observatory (LIGO) and Virgo have provided us a new tool to explore the Universe on all scales from nuclear physics to the cosmos and have the massive potential to further impact fundamental physics, astrophysics, and cosmology for decades to come. In this paper we have studied the science capabilities of a network of LIGO detectors when they reach their best possible sensitivity, called A # , given the infrastructure in which they exist and a new generation of observatories that are factor of 10 to 100 times more sensitive (depending on the frequency), in particular a pair of L-shaped cosmic explorer (CE) observatories (one 40 km and one 20 km arm length) in the US and the triangular Einstein telescope with 10 km arms in Europe. We use a set of science metrics derived from the top priorities of several funding agencies to characterize the science capabilities of different networks. The presence of one or two A # observatories in a network containing two or one next generation observatories, respectively, will provide good localization capabilities for facilitating multimessenger astronomy (MMA) and precision measurement of the Hubble parameter. Two CE observatories are indispensable for achieving precise localization of binary neutron star events, facilitating detection of electromagnetic counterparts and transforming MMA. Their combined operation is even more important in the detection and localization of high-redshift sources, such as binary neutron stars, beyond the star-formation peak, and primordial black hole mergers, which may occur roughly 100 million years after the Big Bang. The addition of the Einstein Telescope to a network of two CE observatories is critical for accomplishing all the identified science metrics including the nuclear equation of state, cosmological parameters, the growth of black holes through cosmic history, but also make new discoveries such as the presence of dark matter within or around neutron stars and black holes, continuous gravitational waves from rotating neutron stars, transient signals from supernovae, and the production of stellar-mass black holes in the early Universe. For most metrics the triple network of next generation terrestrial observatories are a factor 100 better than what can be accomplished by a network of three A # observatories.
Einstein telescope↗