Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CoN”

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 91 records · Page 5

Effect of Inductive Coil Geometry and Current Sheet Trajectory of a Conical Theta Pinch Pulsed Inductive Plasma Accelerator

Results are presented demonstrating the e ect of inductive coil geometry and current sheet trajectory on the exhaust velocity of propellant in conical theta pinch pulsed induc- tive plasma accelerators. The electromagnetic coupling between the inductive coil of the accelerator and a plasma current sheet is simulated, substituting a conical copper frustum for the plasma. The variation of system inductance as a function of plasma position is obtained by displacing the simulated current sheet from the coil while measuring the total inductance of the coil. Four coils of differing geometries were employed, and the total inductance of each coil was measured as a function of the axial displacement of two sep- arate copper frusta both having the same cone angle and length as the coil but with one compressed to a smaller size relative to the coil. The measured relationship between total coil inductance and current sheet position closes a dynamical circuit model that is used to calculate the resulting current sheet velocity for various coil and current sheet con gura- tions. The results of this model, which neglects the pinching contribution to thrust, radial propellant con nement, and plume divergence, indicate that in a conical theta pinch ge- ometry current sheet pinching is detrimental to thruster performance, reducing the kinetic energy of the exhausting propellant by up to 50% (at the upper bound for the parameter range of the study). The decrease in exhaust velocity was larger for coils and simulated current sheets of smaller half cone angles. An upper bound for the pinching contribution to thrust is estimated for typical operating parameters. Measurements of coil inductance for three di erent current sheet pinching conditions are used to estimate the magnetic pressure as a function of current sheet radial compression. The gas-dynamic contribution to axial acceleration is also estimated and shown to not compensate for the decrease in axial electromagnetic acceleration that accompanies the radial compression of the plasma in conical theta pinches.

Hallock, Ashley K.↗

High Protein Intake Improves Insulin Sensitivity but Exacerbates Bone Resorption in Immobility (WISE Study)

Inactivity, like bed rest (BR), causes insulin resistance (IR) and bone loss even in healthy subjects. High protein intake seems to mitigate this IR but might exacerbate bone loss. We hypothesized that high protein intake (animal:vegetable protein ratio: 60:40), isocaloric, compared to the control group plus high potassium intake would prevent IR without affecting bone turnover. After a 20-day ambulatory adaptation to controlled confinement and diet, 16 women participated in a 60-day, 6 deg head-down-tilt BR and were assigned randomly to one of the two groups. Control subjects (CON, n=8) received 1g/kg body mass/d dietary protein. Nutrition subjects (NUT, n=8) received 1.45g/kg body mass/d dietary protein plus 7.2g branched chain amino acids per day during BR. All subjects received 1670 kcal/d. Bed rest decreased glucose disposal by 35% (p<0.05) in CON. Isocaloric high protein intake prevented insulin resistance, but exacerbated bed rest induced increase in bone resorption markers C-telopeptide (> 30%) and Ntelopeptide (>20%) (both: p<0.001). Bone formation markers were unaffected by high protein intake. We conclude from these results that high protein intake might positively affect glucose tolerance, but might also foster bone loss. Further long-duration studies are mandatory before high protein intake for diabetic patients, who have an increased fracture risk, might be recommended.

Heer, Martina↗

Benefits, Consequences, and Uncertainties of Conventional (Exercise) Countermeasure Approaches

This presentation will review the pros, cons, and uncertainties of using exercise countermeasures in hypothetical long duration exploration missions. The use of artificial gravity and exercise will be briefly discussed. One benefit to continued use of exercise is related to our extensive experience with spaceflight exercise hardware and programming. Exercise has been a part of each space mission dating back to the 1960's when simple isometric and bungee exercises were performed in the Gemini capsule. Over the next 50 years, exercise hardware improved cumulating in today's ISS suite of exercise equipment: Cycle Ergometer with Vibration Isolation and Stabilization System (CEVIS), Treadmill (T2) and Advanced Resistive Exercise Device (ARED). Today's exercise equipment is the most robust ever to be flown in space and allows the variety and intensity of exercise that might reasonably be expected to maintain muscle mass and function, bone density and cardiovascular fitness. A second benefit is related to the large body of research literature on exercise training. There is a considerable body of supporting research literature including >40,000 peer reviewed research articles on exercise training in humans. A third benefit of exercise is its effectiveness. With the addition of T2 and ARED to our ISS exercise suite, crew member outcomes on standard medical tests have improved. Additionally exercise has other positive side effects such as stress relief, possible improvement of immune function, improved sleep, etc. Exercise is not without its consequences. The major cons to performance of in‐flight exercise are the time and equipment required. Currently crew are scheduled 2.5 hrs/day for exercise and there is considerable cost to develop, fly and maintain exercise hardware. While no major injuries have been reported on ISS, there is always some risk of injury with any form of exercise There are several uncertainties going forward; these relate mostly to the development of small compact robust effective exercise devices for the next generation of space vehicles. It is becoming increasingly apparent that high intensity exercise is required for maintenance of fitness and functional capability and so future hardware will need to be developed, tested and implemented that allow for a wide variety of exercise, at high intensity while likely involving low mass, volume and power. There are many unanswered issues related to the minimum number and type of exercise devices required for exploration, optimizing exercise prescriptions for these devices, whether a treadmill is absolutely required, and even whether any single countermeasure can adequately protect muscle, bone, cardiovascular and sensorimotor function.

Ploutz-Snyder, Lori↗

Specialized CFD Grid Generation Methods for Near-Field Sonic Boom Prediction

Ongoing interest in analysis and design of low sonic boom supersonic transports re- quires accurate and ecient Computational Fluid Dynamics (CFD) tools. Specialized grid generation techniques are employed to predict near- eld acoustic signatures of these con- gurations. A fundamental examination of grid properties is performed including grid alignment with ow characteristics and element type. The issues a ecting the robustness of cylindrical surface extrusion are illustrated. This study will compare three methods in the extrusion family of grid generation methods that produce grids aligned with the freestream Mach angle. These methods are applied to con gurations from the First AIAA Sonic Boom Prediction Workshop.

Park, Michael A.↗

Conceptual Design Optimization of an Augmented Stability Aircraft Incorporating Dynamic Response Performance Constraints

This research focused on incorporating stability and control into a multidisciplinary de- sign optimization on a Boeing 737-class advanced concept called the D8.2b. A new method of evaluating the aircraft handling performance using quantitative evaluation of the sys- tem to disturbances, including perturbations, continuous turbulence, and discrete gusts, is presented. A multidisciplinary design optimization was performed using the D8.2b transport air- craft concept. The con guration was optimized for minimum fuel burn using a design range of 3,000 nautical miles. Optimization cases were run using xed tail volume coecients, static trim constraints, and static trim and dynamic response constraints. A Cessna 182T model was used to test the various dynamic analysis components, ensuring the analysis was behaving as expected. Results of the optimizations show that including stability and con- trol in the design process drastically alters the optimal design, indicating that stability and control should be included in conceptual design to avoid system level penalties later in the design process.

Welstead, Jason↗

TCL3 UTM (UAS Traffic Management) Flight Tests, Airspace Operations Laboratory (AOL) Report

The Technology Capability Level-3 (TCL3) flight tests were conducted at six different test sites located across the USA from March to May of 2018. The campaign resulted in over 830 data collection flights using 28 different aircraft and involving 20 flight crews. Flights not only varied in duration, but also in the environments and terrains over which they flew. The TCL3 tests highlighted four different types of tests: three tests focused on Communication, Navigation and Surveillance (CNS); six tests focused on Sense and Avoid (SAA) technologies; six tests focused on USS Data and Information Exchange (DAT); and five tests focused on exploring fundamental Concepts of the project (CON). This document presents data collected during the TCL3 tests that informed the operator’s experiences—the quality of the unmanned aerial system (UAS) Service Supplier (USS) information that the operator was provided with, the usefulness of this information, and the usability of the automation, both while airborne and on the ground. It is intended to complement the reports written by the test sites and the quantitative reports and presentations of the UAS Traffic Management (UTM) project. With the goal of instructing what the minimum information requirements and/or best practices might be in TCL3 operations, the driving enquiry was: How do you get the information you need, when you need it, to successfully fly a UAS in UTM airspace? This enquiry touches on two requirements for displays, which are to provide adequate situation awareness (SA) and to share information through a USS. The six test sites participating in the TCL3 tests flew a subset of the 20 tests (outlined above), with most sites working on a subset of each of the four types: Communications, Navigation and Surveillance (CNS); DAT; CON; and Sense and Avoid (SAA). The, mainly qualitative, data addressed in this report was collected by the AOL (Airspace Operations Laboratory) both on-site and remotely for each test. The data consists of the contents of end-of-day debriefs, end-of-day surveys, observer notes, and flight test information, all submitted as part of the Data Management Plan (DMP).

Martin, Lynne↗

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗

Exploration EVA System Concept of Operations

The Exploration Extravehicular Activity (xEVA) System concept of operations (con ops) captures the National Aeronautics and Space Administration’s (NASA’s) current aims future missions to all potential Exploration destinations. This document captures the mission architectures, stakeholder expectations, and high level definitions of the capabilities and interfaces associated with the xEVA System. This includes missions to Gateway in cislunar space, the lunar surface, a redirected asteroid in cislunar space, Near Earth Asteroids (NEA), Mars’ orbit, the moons of Mars (Phobos and Deimos), and the surface of Mars. These missions, which include microgravity, milli-gravity, and partial-gravity surface EVAs, will involve a variety of engineering (maintenance, contingency, pioneering, construction) and science tasks. This document also captures information concerning vehicles and habitats with which the xEVA System will interface. The concepts of operations (con ops) detailed in this document are informed by the Artemis Program and a multitude of Exploration studies, and are also influenced by various integrated operational analog testing.

David Coan↗

Examining Weathering of Magnesite in an Arid Environment: Implications For Jezero Crater

Introduction:Orbiter data indicatethe presence of carbonates in severallocations on the surface of Mars[1],but Jezero crater, landing site of the Perseverancerover,is the only known location where carbonatesap-pear coincident with evidence of fluvialand lacustrineactivity [2].On Earth, carbonates in close proximity to these paleoenvironments mayindicatethe presence of past microbial life,like stromatolites[3], that could re-sult inbiosignatures [2]. However,in other cases,car-bonates can also form throughthe alteration of mafic materialwiththe introductionof carbonic acid[4].Hy-drated magnesites have also been found in evaporative environments along lake shores, and in playas[5,6,7].Correctly interpreting past carbonates on Mars is there-fore critical in the search for past signs of life. In Jezero crater,both thenorthernand western fans haveMg-rich carbonates intermixed with olivine-rich material[8].According to CRISM data, magnesite(MgCO3), along with hydromagnesite(Mg5(CO3)4(OH)2•4H2O), arepotential candidatesfor these Mg-carbonates [2]. Considering the spatial con-text with olivine,there aremultiplepotential explana-tions for the presence ofMg-carbonatesin this locationincludingin-situformation via alterationof olivine-rich materialwith carbonic acid,transportationfrom farther up in the watershed, or precipitation of lacustrine car-bonates[2]. The formation of hydromagnesite rather than magnesite is favored when Mg2+saturated solutions have a high CO32-/HCO3-ratio, which, on Earth, is thought to be caused byinflow of groundwater [4]. Additionally, Mg-carbonates tend to precipitate under high pH condi-tions and are unstable at lower pH conditions [5]. Hy-dromagnesite is stable at atmospheric CO2pressure and temperature conditions common to most Earth surface environments [9]. However, it is subject to transfor-mation to magnesite after dehydration and concomitant brucite formation or dissolution and reprecipitation [10].Previousresearch suggests that hydrated car-bonates, including hydromagnesite, can formas weath-ering productsof mafic minerals in the presenceof H2O and CO2in subfreezing temperatures and would not de-hydrate under Martian atmospheric conditions [11,12].It is critical to understand the formation conditions of Mg-carbonatesbecause of the different implications for the past history of Martian environments. Therefore, in this work we are investigating the weathering of Mg-carbonatesin arid environments to helpbetter understand Mg-carbonates in Jezero crater. Study Area:The Ala-Mar Mines(East and West)near Ely, NVare the site ofmultiple magnesitedepositsfound within a calcareous tuff formationthat overlies Tertiary aged volcanic rocks.Here,magnesiteis formed via the alteration of the calcareous tuff and occurs innodules, veins,and lenses[13]. Previous work suggests magnesite deposits are associated with faults [13]. Within the West Mine, magnesite can be found in two maincontexts: (1) relatively circular zones of cauli-flower-like material found within (2) a more massivelensthat is heavily fractured on the surface.Methods.Samplesof both the cauliflower texture and more massive materialwere collectedat Ala Mar West Mine. Both samples were thenpowdered, sieved and analyzed with an inXitu Terra Portable XRD. The program QualX was used to identify potential mineral phases [14].Both samples were also optically inspected using 10x and 20x hand lenses.Figure 1. XRD patterns for the cauliflower magnesite (top) and massive magnesite (bottom). Ongoing and future work on the samples discussed above includes scanning electron microscopy (SEM), electron microprobe analysis (EMPA), and near-infra-red spectroscopy to determine whether hydromagnesite is present. Separation and analysis of the clay-size frac-tionby XRD will helpto better identify any phyllosili-cate phases present. Results and Discussion:Both textures are a white to light tan with a porcelain luster on weathered sur-faces, along with minor iron staining in some areas. Likewise, both textures are white with a porcelain luster on fresh surfaces. When broken apart, the massive mag-nesite shows macroscopic crystals, unlike the cauli-flower magnesite. XRD analysis shows that both samples have high concentrationsof magnesite with lesser amounts of thecarbonatemineral huntite(Mg3Ca(CO3)4; Figure1).The more massive samplecontainsa serpentine-groupmineral,with lizardite being apotential candidate. The cauliflower sample has several minor peaks that may correspond to hydromagnesite(Figure 1), although more work is needed to confirm this.Additionally, thecauliflower deposits closely resemble hydromagnesite deposits found in southwestern Turkey, formed via mi-crobialites[15].As such, it is likely that moreaqueous alterationor weatheringis occurring at the locations where the cauliflower magnesite is present. However, additional field work will need to be conducted to con-firm this hypothesis. Conclusions and Future Work:Future work will include field mapping of fault locations andadditional samplingof the different magnesite types as well as of the calcareous tuffmaterial.We will also look specifi-cally for potential weathering products of magnesite in this arid location, which may yield important insight into the Mg-carbonates located in Jezero crater. XRD analyses on aPANalytical XRDusing non-ambient stages will be used to investigate the stability of hydro-magnesiteat different humiditiesand temperatures, which has implications for samples to bereturned to Earth in the future. Additionally, thermal and evolved gas analysis of magnesite and hydromagnesite will be compared to results from Gale Craterto help interpret the mineralogy inthat location[16]. The results of this research will further ourunderstanding of carbonate for-mationin volcanic settingsandtheirweathering pro-cessesin arid environments. Acknowledgments:We acknowledge funding for this research from Jacobs Technology at the Johnson Space Center.We would also like to thank Ngoc Luu, Christopher Adcock, Richard Allanson, and the rest of the UNLV Soil Science Teamfor their continued sup-portwith troubleshooting and otherlab work. References:[1] Ehlmann, B.L., and Edwards, C.S. (2014) Annual Review of Earth and Planetary Sci., 42, 291–315. [2] Horgan, B.H.N., et al. (2020) Icarus, 339, 113526. [3] Bosak, T., et al. (2013) Annual Review of Earth and Planetary Sci, 41, 21–44. [4] Pohl, W.L. (1989) Gebriider Borntraege, 28, 1-13. [5] Müller, G., et al. (1972) Die Naturwissenschaften, 59, 158–164. [6] Walter, M.R., et al. (1973) Journal of Sedimentary Pe-trology, 43, 1021–1030. [7] Braithwaite, C.J.R., and Zedef, V. (1994) Sedimentary Geology, 92, 1–5. [8] Goudge, T.A., et al. (2015) JGR: Planets, 120, 775–808. [9] Langmuir, D. (1965) Journal of Geology, 73, 730–754. [10] Zhang, P., et al. (2000) Applied Geo-chem., 286, 1748–1753. [11] Calvin, W.M., et al. (1994) JGR, 99, 14659-14675. [12]Russell, M.J., et al. (1999) Journal of the Geological Society of London, v. 156, p. 869–888. [13] Faust, G.T., and Callaghan, E. (1948) GSA Bulletin, 59, 11–74. [14] Altomare, A., et al. (2015) J. of Applied Crystallography, 48, 598–603. [15] Zedef, V.,et al. (2000) Economic Geology, 95, 429–445. [16] Leshin, L.A. et al., (2013) Science, 341, 1–9

A W Provow↗

NASA’s Surface Deformation and Change Mission Study

The National Academies of Science, Engineering and Medicine 2017 Decadal Survey of Earth Science and Applications identified geodetic measurements of surface deformation and related change as one of the top five “observables” to be prioritized in NASA’s future program. In response, NASA commissioned a multi-center Surface Deformation and Change(SDC) team to perform a five year study of mission architectures that would support SDC observables and provide the most value to the diverse science and applications communities it serves. The study is being conducted in phases, in which the science and applications capabilities identified in the Decadal Survey are refined, candidate architectures and associated technologies to support these needs are identified, architectures are assessed against a science value framework specific to SDC, and recommendations to NASA are made. Ultimately, NASA will decide which amongst these recommendations will proceed to mission formulation. As synthetic aperture radar (SAR) was identified as the prime sensor technology to satisfy SDC observational needs, a key component of the SDC study is to assess the current state of the art in SAR sensor and supporting technology. The number of SAR systems, both civil and commercial, is growing rapidly, requiring that mission architectures not only consider technology, but availability of data from other missions, possible partnerships or collaborations, and even data purchase. The mechanism for assessment involves development of an end-to-end science performance evaluation tool for multi-satellite con-stellations, which feeds into a science value framework that con-siders science performance, technological programmatic risks, and cost. This paper will present an overview of the ongoing study including the candidate architectures and the technology road map needed to achieve the objectives of the mission.

Stephen Horst↗

Using Explainable Scheduling for the Mars 2020 Rover Mission

Understanding the reasoning behind the behavior of an auto- mated scheduling system is essential to ensure that it will be trusted and consequently used to its full capabilities in critical applications. In cases where a scheduler schedules activities in an invalid location, it is usually easy for the user to infer the missing constraint by inspecting the schedule with the in- valid activity to determine the missing constraint. If a sched- uler fails to schedule activities because constraints could not be satisfied, determining the cause can be more challenging. In such cases it is important to understand which constraints caused the activities to fail to be scheduled and how to al- ter constraints to achieve the desired schedule. In this pa- per, we describe such a scheduling system for NASA’s Mars 2020 Perseverance Rover, as well as Crosscheck, an explain- able scheduling tool that explains the scheduler behavior. The scheduling system and Crosscheck are the baseline for oper- ational use to schedule activities for the Mars 2020 rover. As we describe, the scheduler generates a schedule given a set of activities and their constraints and Crosscheck: (1) provides a visual representation of the generated schedule; (2) analyzes and explains why activities failed to schedule given the con- straints provided; and (3) provides guidance on potential con- straint relaxations to enable the activities to schedule in future scheduler runs.

Chien, Steve↗

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con- trol its next near term behavior. We present a high-level view of the automated flight rule checker Frc for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there- fore be verified with a trace analysis tool. Frc is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con- text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

Kurklu, Elif↗

First-results from the Perseverance SHERLOC Investigation: Aqueous Alteration Processes and Implications for Organic Geochemistry in Jezero Crater, Mars

The Perseverance rover landed in Jezero crater, a site selected to fulfill the Mars-2020 mission goals of characterizing the geology of habitable environments and searching for signs of life while collecting samples for return to Earth [1]. Jezero hosted an open-basin lake during the late Noachian/early Hesperian (~3.7 Ga) [1-2], has units associated with the largest carbonate deposit identified on Mars [3-4], and has a well-preserved delta with clay and carbonate-bearing sediments, well-suited to preservation of organics [1,3-4]. Investigating the nature of organics and aqueous environments within their geologic con-text allows us to understand important aqueous processes and determine habitability within Jezero crater. Previous in situ landed measurements of organics could not resolve their spatial and mineralogical con-text [5-6]. Although Martian meteorites lack geological context, the spatial distribution of organic compounds in Martian meteorites have allowed recognition of an association between aqueous processes and organics [7-8]. Here, we show for the first time in-situ associations between carbonate-forming ultramafic alteration process, later stage aqueous sulfate and perchlorate formation, and organics on the Martian surface. Methodology and geological context: We use the Perseverance rover’s SHERLOC instrument (Scanning Habitable Environments with Raman and Lumines-ence of Organics and Chemicals), a deep-ultraviolet fluorescence and Raman scattering spectrometer capable of mapping the organic and mineral composition with a spatial resolution of 100 μm resolution to report the presence of organics and aqueously formed minerals at Jezero crater [9]. These spectral detections were compared with co-located images obtained with the autofocus context imager (ACI) and the WATSON camera for textural analysis [9]. As of writing, the Per-severance rover has abraded five targets that were measured with the SHERLOC instrument. The five targets are located in two different orbitally-identified geological units within the floor of Jezero crater; the Crater Floor Fractured Rough unit (CF-Fr) and the Séítah region within the Crater Floor Fractured 1 unit (CF-F1) [10]. In orbital infrared spectroscopic data, the CF-Fr unit is associated with pyroxene spectral signatures and minor alteration, while the Séítah region is associated with olivine and minor Mg-rich carbonates and clays [3-4,10]. Carbonation of ultramafic protolith recorded within Jezero crater: All scans of abraded targets within the Séítah region reveal strong peaks at 1080–1090 cm−1 consistent with carbonate and peak singlets or doublets at 820–840 cm−1 attributed to olivine (Fig. 1), consistent with orbital infrared observations. Our detailed micron-scale petrographic and spectroscopic evidence shows that these carbonates formed through carbonation of an ultramafic protolith. The supporting observations include: (1) Carbonate cation compositions match those of olivine, suggesting mixed Fe- and Mg-olivine gave rise to mixed Fe- and Mg-carbonates, similar to observations of ultramafic systems on Earth and within Martian meteorites [3-4,7-8]. (2) The ob-served carbonates co-occur with hydrated materials, gypsum, and potentially aqueously-formed phases, amorphous silicates and phosphate. (3) The spectral and textural variation of olivine and carbonate dominated zones and olivine-carbonate mixtures within both primary grains and interstitial zones are expected for carbonated ultramafic protoliths. (4) These mineral associations and textures closely resemble those observed within the ALH84001 and Nakhlite meteorites attributed to olivine carbonation on Mars [6-7]. Taken together, micron-scale SHERLOC documentation of these phenomena bridge previous orbital and meteorite observations and demonstrate in-situ regionally extensive (~106 km2) ultramafic alteration resulting in geo-logical deposition of carbonates. Furthermore, we observe that olivine carbonation was involved in preserving and possibly synthesizing organics, which makes this environment potentially habitable, as previously suggested in [1,3-4] (Fig. 1). Late-stage aqueous perchlorate and sulfate in Jezero crater: An abrasion target within the CF-Fr unit contains combinations of high intensity 950-955 cm−1 peaks and minor 1090-1095 cm−1 and 1150-1155 cm−1 peaks that are spectral fits to anhydrous perchlorate (Fig. 1). Some spectra show a combination of 950-955 cm−1 peaks with equally strong 1010-1020 cm−1 peaks, low intensity broad features at 1120 cm−1, and occasional broad 3450 cm−1 hydration (-OH) features, indicating a mixture of Ca-sulfate and perchlorate that is minimally hydrated (Fig. 1). The detections of per-chlorates within Jezero crater differ from previous measurements (e.g. Phoenix lander, Curiosity rover, Tissint meteorite [7,11]) because they are observed to be intimately related to aqueous processes including sulfate formation, they present as a secondary white void-fill occurring within the interior of the rock, and they are found to likely be Na-perchlorate. implications for their formation: Three different types of organics embedded within three different lithologies were observed within the abraded targets. Organics associated with low intensity ~340 nm fluorescence were widespread within targets with no apparent association to particular minerals (Fig. 1). Organics associated with ~305 nm and ~275 nm fluorescence correlated with sulfates within the Bellegarde target in the CF-Fr unit, while organics associated with high intensity ~340 nm fluorescence correlated with carbonate, phosphate, and amorphous silicate mixtures within the Garde target in the Séítah region (Fig. 1). Although assignment of fluorescence signatures to specific organic compounds is not conclusive, ~340 nm fluorescence is generally more consistent with 2-ring aromatic organics, ~275 nm fluorescence is more consistent with 1-ring aromatic organics, and ~305 nm fluorescence can be created by either 2- or 1-ring aromatics [12]. These observations indicate that the strongest fluorescence signatures interpreted as organics were found in materials associated with aqueous processes, i.e. sulfate- and carbonate-bearing materials, suggesting both brines and ultramafic carbonation aqueous environments were capable of preserving organics on ancient Mars. In Martian meteorites, simple aromatic organics proposed to have been synthesized through aqueous processes can be found within minerals associated with olivine carbonation and in spatial association with perchlorate and sulfate materials [7-8], similar to SHERLOC observations. Hence, we advance an abiotic aqueous synthesis origin for the organics although we cannot rule out the presence of organics from meteoritic in-fall or putative organic biosignatures. Detailed analyses will be required upon return of these materials to Earth.

E L Scheller↗

Concept-based Analysis of Neural Networks via Vision-Language Models

The analysis of vision-based deep neural networks (DNNs) is highly desirable but it is very challenging due to the difficulty of expressing formal specifications for vision tasks and the lack of efficient verification procedures. In this paper, we propose to leverage emerging multimodal, vision-language, foundation models (VLMs) as a lens through which we can reason about vision models. VLMs have been trained on a large body of images accompanied by their textual description, and are thus implicitly aware of high-level, human-understandable concepts describing the images. We describe a logical specification language Con spec designed to facilitate writing specifications in terms of these concepts. To define and formally check Con spec specifications, we build a map between the internal representations of a given vision model and a VLM, leading to an efficient verification procedure of natural-language properties for vision models. We demonstrate our techniques on a ResNet-based classifier trained on the RIVAL-10 dataset using CLIP as the multimodal model.

Large Vision Language Models↗

RENDEZVOUS AND DOCKING TECHNIQUES

To implement the primary space mission of this decade – manned lunar exploration -- the operational assistance of rendezvous and docking is being considered as an alternative to possible problems in obtaining a boost vehicle capable of direct flight. This paper concentrates on the mechanization of the rendezvous and docking phase of such a lunar mission. As indicated in previous papers, rendezvous can take place in either an earth or lunar orbit (or on the lunar surface); it can involve the mating of stages, transfer of fuel, or the return of a shuttle to a “mother” ship; direct ascent or parking orbits can be used; the orbits can be circular or more general ellipses; finally, either or both of the spacecraft can participate in the rendezvous maneuvers. Since there is no intent here to discuss the pros and cons of each approach or to cover all possible mission profiles, guidance schemes and hardware configurations, one particular profile has been selected to display the significant features of most rendezvous missions. In many respects, rendezvous is less difficult than aircraft interception since the target is friendly and there is no severe time constraint. The latter feature allows considerable freedom of design especially with the great versatility of a human in the loop. This remains true even for a purely automatic mode. Perhaps the largest design problem concerns the selection of the mission to be implemented followed by the optimization or systems engineering of a mechanization from the multitude of possible schemes and techniques. A most important factor in the optimization is that of reliability and the redundancy, alternate or backup modes, etc., associated with the approach. While a primary system can be rather easily mechanized with modest equipment requirements, reliability considerations will result in additional hardware, tighter specifications and more safety factors (e. g., propellant margin). This is a very complex area and will only briefly be mentioned in the following discussion.

Rendezvous↗

Manned versus unmanned space-based astronomy.

Discussion of the pros and cons of manned and unmanned space-based astronomical observatory systems. Rather than compete with one another, manned and unmanned systems, it is felt, should complement themselves mutually. The paramount factor inhibiting the growth of both manned and unmanned systems is shown to be the high cost per pound of payload equipment. The main hope for reducing this cost is the advent of a space station or shuttle sortie mode of operation in which the frequency of flights will reduce the necessity to guarantee experiment success. This, in turn, should reduce the complexity of experiment management and the cost of experiment hardware.

Henize, K. G.↗

Hematological Viscometry

Concepts and defining equations for the design of a relative velocity blood viscometer are reported. The device consists of two cone and plate chambers, a variable speed drive, and rotational velocity detectors. Two con-plate systems are directly coupled with one system driving the other through the viscous drag transmitted in the test fluid. Angular velocity measurements are processed electronically. A brief description of current viscometer designs is included.

West, D. R.↗

Titan/Centaur T/C-1 post flight evaluation report

The first Titan/Centaur launch vehicle, TC-1, was launched from the Eastern Test Range Complex 41 at 09:48:01.46 hours Eastern Daylight Time on February 11, 1974. The vehicle carried a dynamic mass model of the Viking spacecraft and a SPHINX spacecraft, intended to study high voltage interactions in space. This launch was a Proof Flight of a vehicle con- figuration integrating the Air Force Titan booster and the NASA Centaur upper stage. It also was the first flight of the Centaur Standard Shroud developed for the Titan/Centaur. The countdown for the launch proceeded normally except for an additional 45 minute hold which was required to resolve a question concerning interpretation of booster hydraulic system data. The launch window opened at 09:03:00 hours Eastern Daylight Time. The vehicle was launched o on a flight azimuth of 105°. The Titan boost phase of flight was satisfactory. Solid Motor operation, Stage I and Stage II operation were normal. Venting of the Centaur Standard Shroud during ascent was successful and shroud separation and jettison was accomplished without incident. At the completion of the Titan Stage II burn, the Centaur successfully separated from the Titan. At this time, the Centaur main engines were sequenced through the first planned starting cycle but failed to achieve steady state operation. The vehicle flight control system, not sensing vehicle acceleration, commanded engine shutdown, and recycled, as programmed, through a back-up engine start attempt. The second engine start attempt was also unsuccessful. The flight control system then placed the vehicle in a coast-phase mode and the vehicle continued downrange in free fall. The vehicle was destroyed by Range Safety when the impact point was approximately 2200 nautical miles downrange, 12 minutes, 28.5 seconds after liftoff.

S. V. Szabo, Jr.↗