Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “hybrids”

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 919 records · Page 51
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Quantum-Classical Hybrid for Information Processing

Based upon quantum-inspired entanglement in quantum-classical hybrids, a simple algorithm for instantaneous transmissions of non-intentional messages (chosen at random) to remote distances is proposed. The idea is to implement instantaneous transmission of conditional information on remote distances via a quantum-classical hybrid that preserves superposition of random solutions, while allowing one to measure its state variables using classical methods. Such a hybrid system reinforces the advantages, and minimizes the limitations, of both quantum and classical characteristics. Consider n observers, and assume that each of them gets a copy of the system and runs it separately. Although they run identical systems, the outcomes of even synchronized runs may be different because the solutions of these systems are random. However, the global constrain must be satisfied. Therefore, if the observer #1 (the sender) made a measurement of the acceleration v(sub 1) at t =T, then the receiver, by measuring the corresponding acceleration v(sub 1) at t =T, may get a wrong value because the accelerations are random, and only their ratios are deterministic. Obviously, the transmission of this knowledge is instantaneous as soon as the measurements have been performed. In addition to that, the distance between the observers is irrelevant because the x-coordinate does not enter the governing equations. However, the Shannon information transmitted is zero. None of the senders can control the outcomes of their measurements because they are random. The senders cannot transmit intentional messages. Nevertheless, based on the transmitted knowledge, they can coordinate their actions based on conditional information. If the observer #1 knows his own measurements, the measurements of the others can be fully determined. It is important to emphasize that the origin of entanglement of all the observers is the joint probability density that couples their actions. There is no centralized source, or a sender of the signal, because each receiver can become a sender as well. An observer receives a signal by performing certain measurements synchronized with the measurements of the others. This means that the signal is uniformly and simultaneously distributed over the observers in a decentralized way. The signals transmit no intentional information that would favor one agent over another. All the sequence of signals received by different observers are not only statistically equivalent, but are also point-by-point identical. It is important to assume that each agent knows that the other agent simultaneously receives the identical signals. The sequences of the signals are true random, so that no agent could predict the next step with the probability different from those described by the density. Under these quite general assumptions, the entangled observers-agents can perform non-trivial tasks that include transmission of conditional information from one agent to another, simple paradigm of cooperation, etc. The problem of behavior of intelligent agents correlated by identical random messages in a decentralized way has its own significance: it simulates evolutionary behavior of biological and social systems correlated only via simultaneous sensoring sequences of unexpected events.

Zak, Michail↗
NASA NTRS2005

Hybrid Power Management

An engineering discipline denoted as hybrid power management (HPM) has emerged from continuing efforts to increase energy efficiency and reliability of hybrid power systems. HPM is oriented toward integration of diverse electric energy-generating, energy-storing, and energy-consuming devices in optimal configurations for both terrestrial and outer-space applications. The basic concepts of HPM are potentially applicable at power levels ranging from nanowatts to megawatts. Potential applications include terrestrial power-generation, terrestrial transportation, biotechnology, and outer-space power systems. Instances of this discipline at prior stages of development were reported (though not explicitly labeled as HPM) in three prior NASA Tech Briefs articles: "Ultracapacitors Store Energy in a Hybrid Electric Vehicle"(LEW-16876), Vol. 24, No. 4 (April 2000), page 63; "Photovoltaic Power Station With Ultracapacitors for Storage" (LEW-17177), Vol. 27, No. 8 (August 2003), page 38; and "Flasher Powered by Photovoltaic Cells and Ultracapacitors" (LEW-17246), Vol. 24, No. 10 (October 2003), page 37. As the titles of the cited articles indicate, the use of ultracapacitors as energy-storage devices lies at the heart of HPM. An ultracapacitor is an electrochemical energy-storage device, but unlike in a conventional rechargeable electrochemical cell or battery, chemical reactions do not take place during operation. Instead, energy is stored electrostatically at an electrode/electrolyte interface. The capacitance per unit volume of an ultracapacitor is much greater than that of a conventional capacitor because its electrodes have much greater surface area per unit volume and the separation between the electrodes is much smaller. Power-control circuits for ultracapacitors can be simpler than those for batteries, for two reasons: (1) Because of the absence of chemical reactions, charge and discharge currents can be greater than those in batteries, limited only by the electrical resistances of conductors; and (2) whereas the charge level of a battery depends on voltage, temperature, age, and load condition, the charge level of an ultracapacitor, like that of a conventional capacitor, depends only on voltage.

Eichenberg, Dennis↗
NASA NTRS2005

Hybrid UV Imager Containing Face-Up AlGaN/GaN Photodiodes

A proposed hybrid ultraviolet (UV) image sensor would comprise a planar membrane array of face-up AlGaN/GaN photodiodes integrated with a complementary metal oxide/semiconductor (CMOS) readout-circuit chip. Each pixel in the hybrid image sensor would contain a UV photodiode on the AlGaN/GaN membrane, metal oxide/semiconductor field-effect transistor (MOSFET) readout circuitry on the CMOS chip underneath the photodiode, and a metal via connection between the photodiode and the readout circuitry (see figure). The proposed sensor design would offer all the advantages of comparable prior CMOS active-pixel sensors and AlGaN UV detectors while overcoming some of the limitations of prior (AlGaN/sapphire)/CMOS hybrid image sensors that have been designed and fabricated according to the methodology of flip-chip integration. AlGaN is a nearly ideal UV-detector material because its bandgap is wide and adjustable and it offers the potential to attain extremely low dark current. Integration of AlGaN with CMOS is necessary because at present there are no practical means of realizing readout circuitry in the AlGaN/GaN material system, whereas the means of realizing readout circuitry in CMOS are well established. In one variant of the flip-chip approach to integration, an AlGaN chip on a sapphire substrate is inverted (flipped) and then bump-bonded to a CMOS readout circuit chip; this variant results in poor quantum efficiency. In another variant of the flip-chip approach, an AlGaN chip on a crystalline AlN substrate would be bonded to a CMOS readout circuit chip; this variant is expected to result in narrow spectral response, which would be undesirable in many applications. Two other major disadvantages of flip-chip integration are large pixel size (a consequence of the need to devote sufficient area to each bump bond) and severe restriction on the photodetector structure. The membrane array of AlGaN/GaN photodiodes and the CMOS readout circuit for the proposed image sensor would be fabricated separately.

Zheng, Xinyu↗
NASA NTRS2012

Hybrid Collaborative Learning for Classification and Clustering in Sensor Networks

Traditionally, nodes in a sensor network simply collect data and then pass it on to a centralized node that archives, distributes, and possibly analyzes the data. However, analysis at the individual nodes could enable faster detection of anomalies or other interesting events as well as faster responses, such as sending out alerts or increasing the data collection rate. There is an additional opportunity for increased performance if learners at individual nodes can communicate with their neighbors. In previous work, methods were developed by which classification algorithms deployed at sensor nodes can communicate information about event labels to each other, building on prior work with co-training, self-training, and active learning. The idea of collaborative learning was extended to function for clustering algorithms as well, similar to ideas from penta-training and consensus clustering. However, collaboration between these learner types had not been explored. A new protocol was developed by which classifiers and clusterers can share key information about their observations and conclusions as they learn. This is an active collaboration in which learners of either type can query their neighbors for information that they then use to re-train or re-learn the concept they are studying. The protocol also supports broadcasts from the classifiers and clusterers to the rest of the network to announce new discoveries. Classifiers observe an event and assign it a label (type). Clusterers instead group observations into clusters without assigning them a label, and they collaborate in terms of pairwise constraints between two events [same-cluster (mustlink) or different-cluster (cannot-link)]. Fundamentally, these two learner types speak different languages. To bridge this gap, the new communication protocol provides four types of exchanges: hybrid queries for information, hybrid "broadcasts" of learned information, each specified for classifiers-to-clusterers, and clusterers-to-classifiers. The new capability has the potential to greatly expand the in situ analysis abilities of sensor networks. Classifiers seeking to categorize incoming data into different types of events can operate in tandem with clusterers that are sensitive to the occurrence of new kinds of events not known to the classifiers. In contrast to current approaches that treat these operations as independent components, a hybrid collaborative learning system can enable them to learn from each other.

Wagstaff, Kiri L.↗
NASA NTRS2011

Saturn's Magnetosphere Interaction with Titan for T9 Encounter: 3D Hybrid Modeling and Comparison with CAPS Observations

Global dynamics of ionized and neutral gases in the environment of Titan plays an important role in the interaction of Saturn s magnetosphere with Titan. Several hybrid simulations of this problem have already been done (Brecht et al., 2000; Kallio et al., 2004; Modolo et al., 2007a; Simon et al., 2007a, 2007b; Modolo and Chanteur, 2008). Observational data from CAPS for the T9 encounter (Sittler et al., 2009) indicates an absence of O(+) heavy ions in the upstream that change the models of interaction which were discussed in current publications (Kallio et al., 2004; Modolo et al., 2007a; Simon et al., 2007a, 2007b; Ma et al., 2007; Szego et al., 2007). Further analysis of the CAPS data shows very low density or even an absence of H(+) ions in upstream. In this paper we discuss two models of the interaction of Saturn s magnetosphere with Titan: (A) high density of H(+) ions in the upstream flow (0.1/cu cm), and (B) low density of H(+) ions in the upstream flow (0.02/cu cm). The hybrid model employs a fluid description for electrons and neutrals, whereas a particle approach is used for ions. We also take into account charge-exchange and photoionization processes and solve self-consistently for electric and magnetic fields. The model atmosphere includes exospheric H(+), H(2+), N(2+)and CH(4+) pickup ion production as well as an immobile background ionosphere and a shell distribution for active ionospheric ions (M(sub i)=28 amu). The hybrid model allows us to account for the realistic anisotropic ion velocity distribution that cannot be done in fluid simulations with isotropic temperatures. Our simulation shows an asymmetry of the ion density distribution and the magnetic field, including the formation of Alfven wing-like structures. The results of the ion dynamics in Titan s environment are compared with Cassini T9 encounter data (CAPS).

Lipatov, A. S.↗
NASA NTRS2012

Hybrid Rocket Experiment Station for Capstone Design

Portable hybrid rocket motors and test stands can be seen in many papers but none have been reported on the design or instrumentation at such a small magnitude. The design of this hybrid rocket and test stand is to be small and portable (suitcase size). This basic apparatus will be used for demonstrations in rocket propulsion. The design had to include all of the needed hardware to operate the hybrid rocket unit (with the exception of the external Oxygen tank). The design of this project includes making the correlation between the rocket's thrust and its size, the appropriate transducers (physical size, resolution, range, and cost), compatability with a laptop analog card, the ease of setup, and its portability.

Conley, Edgar↗
NASA NTRS2012

Formulation and Testing of Paraffin-Based Solid Fuels Containing Energetic Additives for Hybrid Rockets

Many approaches have been considered in an effort to improve the regression rate of solid fuels for hybrid rocket applications. One promising method is to use a fuel with a fast burning rate such as paraffin wax; however, additional performance increases to the fuel regression rate are necessary to make the fuel a viable candidate to replace current launch propulsion systems. The addition of energetic and/or nano-sized particles is one way to increase mass-burning rates of the solid fuels and increase the overall performance of the hybrid rocket motor.1,2 Several paraffin-based fuel grains with various energetic additives (e.g., lithium aluminum hydride (LiAlH4) have been cast in an attempt to improve regression rates. There are two major advantages to introducing LiAlH4 additive into the solid fuel matrix: 1) the increased characteristic velocity, 2) decreased dependency of Isp on oxidizer-to-fuel ratio. The testing and characterization of these solid-fuel grains have shown that continued work is necessary to eliminate unburned/unreacted fuel in downstream sections of the test apparatus.3 Changes to the fuel matrix include higher melting point wax and smaller energetic additive particles. The reduction in particle size through various methods can result in more homogeneous grain structure. The higher melting point wax can serve to reduce the melt-layer thickness, allowing the LiAlH4 particles to react closer to the burning surface, thus increasing the heat feedback rate and fuel regression rate. In addition to the formulation of LiAlH4 and paraffin wax solid-fuel grains, liquid additives of triethylaluminum and diisobutylaluminum hydride will be included in this study. Another promising fuel formulation consideration is to incorporate a small percentage of RDX as an additive to paraffin. A novel casting technique will be used by dissolving RDX in a solvent to crystallize the energetic additive. After dissolving the RDX in a solvent chosen for its compatibility with both paraffin and RDX, the mixture will be combined with the melted paraffin. With the melting point of the paraffin far below the decomposition temperature of the RDX, the solvent will be boiled off, leaving the crystallized RDX embedded in the paraffin. At low percentages of RDX additive and with crystallized RDX surrounded by paraffin, the fuel grains will remain inert, maintaining a key benefit of hybrids in the safety of the solid fuel.

Larson, Daniel B.↗
NASA NTRS2012

Mechanical and Combustion Performance of Multi-Walled Carbon Nanotubes as an Additive to Paraffin-Based Solid Fuels for Hybrid Rockets

Paraffin-based solid fuels for hybrid rocket motor applications are recognized as a fastburning alternative to other fuel binders such as HTPB, but efforts to further improve the burning rate and mechanical properties of paraffin are still necessary. One approach that is considered in this study is to use multi-walled carbon nanotubes (MWNT) as an additive to paraffin wax. Carbon nanotubes provide increased electrical and thermal conductivity to the solid-fuel grains to which they are added, which can improve the mass burning rate. Furthermore, the addition of ultra-fine aluminum particles to the paraffin/MWNT fuel grains can enhance regression rate of the solid fuel and the density impulse of the hybrid rocket. The multi-walled carbon nanotubes also present the possibility of greatly improving the mechanical properties (e.g., tensile strength) of the paraffin-based solid-fuel grains. For casting these solid-fuel grains, various percentages of MWNT and aluminum particles will be added to the paraffin wax. Previous work has been published about the dispersion and mixing of carbon nanotubes.1 Another manufacturing method has been used for mixing the MWNT with a phenolic resin for ablative applications, and the manufacturing and mixing processes are well-documented in the literature.2 The cost of MWNT is a small fraction of single-walled nanotubes. This is a scale-up advantage as future applications and projects will require low cost additives to maintain cost effectiveness. Testing of the solid-fuel grains will be conducted in several steps. Dog bone samples will be cast and prepared for tensile testing. The fuel samples will also be analyzed using thermogravimetric analysis and a high-resolution scanning electron microscope (SEM). The SEM will allow for examination of the solid fuel grain for uniformity and consistency. The paraffin-based fuel grains will also be tested using two hybrid rocket test motors located at the Pennsylvania State University s High Pressure Combustion Lab.

Larson, Daniel B.↗
NASA NTRS2012

Formulation, Casting, and Evaluation of Paraffin-Based Solid Fuels Containing Energetic and Novel Additives for Hybrid Rockets

This investigation studied the inclusion of various additives to paraffin wax for use in a hybrid rocket motor. Some of the paraffin-based fuels were doped with various percentages of LiAlH4 (up to 10%). Addition of LiAlH4 at 10% was found to increase regression rates between 7 - 10% over baseline paraffin through tests in a gaseous oxygen hybrid rocket motor. Mass burn rates for paraffin grains with 10% LiAlH4 were also higher than those of the baseline paraffin. RDX was also cast into a paraffin sample via a novel casting process which involved dissolving RDX into dimethylformamide (DMF) solvent and then drawing a vacuum on the mixture of paraffin and RDX/DMF in order to evaporate out the DMF. It was found that although all DMF was removed, the process was not conducive to generating small RDX particles. The slow boiling generated an inhomogeneous mixture of paraffin and RDX. It is likely that superheating the DMF to cause rapid boiling would likely reduce RDX particle sizes. In addition to paraffin/LiAlH4 grains, multi-walled carbon nanotubes (MWNT) were cast in paraffin for testing in a hybrid rocket motor, and assorted samples containing a range of MWNT percentages in paraffin were imaged using SEM. The fuel samples showed good distribution of MWNT in the paraffin matrix, but the MWNT were often agglomerated, indicating that a change to the sonication and mixing processes were required to achieve better uniformity and debundled MWNT. Fuel grains with MWNT fuel grains had slightly lower regression rate, likely due to the increased thermal conductivity to the fuel subsurface, reducing the burning surface temperature.

Larson, Daniel B.↗
NASA NTRS2013

Hybrid Large-Eddy/Reynolds-Averaged Simulation of a Supersonic Cavity Using VULCAN

Simulations of a supersonic recessed-cavity flow are performed using a hybrid large-eddy/Reynolds-averaged simulation approach utilizing an inflow turbulence recycling procedure and hybridized inviscid flux scheme. Calorically perfect air enters a three-dimensional domain at a free stream Mach number of 2.92. Simulations are performed to assess grid sensitivity of the solution, efficacy of the turbulence recycling, and the effect of the shock sensor used with the hybridized inviscid flux scheme. Analysis of the turbulent boundary layer upstream of the rearward-facing step for each case indicates excellent agreement with theoretical predictions. Mean velocity and pressure results are compared to Reynolds-averaged simulations and experimental data for each case and indicate good agreement on the finest grid. Simulations are repeated on a coarsened grid, and results indicate strong grid density sensitivity. Simulations are performed with and without inflow turbulence recycling on the coarse grid to isolate the effect of the recycling procedure, which is demonstrably critical to capturing the relevant shear layer dynamics. Shock sensor formulations of Ducros and Larsson are found to predict mean flow statistics equally well.

Quinlan, Jesse↗
NASA NTRS2013

Analysis of a Hybrid Wing Body Center Section Test Article

The hybrid wing body center section test article is an all-composite structure made of crown, floor, keel, bulkhead, and rib panels utilizing the Pultruded Rod Stitched Efficient Unitized Structure (PRSEUS) design concept. The primary goal of this test article is to prove that PRSEUS components are capable of carrying combined loads that are representative of a hybrid wing body pressure cabin design regime. This paper summarizes the analytical approach, analysis results, and failure predictions of the test article. A global finite element model of composite panels, metallic fittings, mechanical fasteners, and the Combined Loads Test System (COLTS) test fixture was used to conduct linear structural strength and stability analyses to validate the specimen under the most critical combination of bending and pressure loading conditions found in the hybrid wing body pressure cabin. Local detail analyses were also performed at locations with high stress concentrations, at Tee-cap noodle interfaces with surrounding laminates, and at fastener locations with high bearing/bypass loads. Failure predictions for different composite and metallic failure modes were made, and nonlinear analyses were also performed to study the structural response of the test article under combined bending and pressure loading. This large-scale specimen test will be conducted at the COLTS facility at the NASA Langley Research Center.

Wu, Hsi-Yung T.↗
NASA NTRS2011

Acoustic Prediction Methodology and Test Validation for an Efficient Low-Noise Hybrid Wing Body Subsonic Transport

This investigation was conducted to: (1) Develop a hybrid wing body subsonic transport configuration with noise prediction methods to meet the circa 2007 NASA Subsonic Fixed Wing (SFW) N+2 noise goal of -52 dB cum relative to FAR 36 Stage 3 (-42 dB cum re: Stage 4) while achieving a -25% fuel burned compared to current transports (re :B737/B767); (2) Develop improved noise prediction methods for ANOPP2 for use in predicting FAR 36 noise; (3) Design and fabricate a wind tunnel model for testing in the LaRC 14 x 22 ft low speed wind tunnel to validate noise predictions and determine low speed aero characteristics for an efficient low noise Hybrid Wing Body configuration. A medium wide body cargo freighter was selected to represent a logical need for an initial operational capability in the 2020 time frame. The Efficient Low Noise Hybrid Wing Body (ELNHWB) configuration N2A-EXTE was evolved meeting the circa 2007 NRA N+2 fuel burn and noise goals. The noise estimates were made using improvements in jet noise shielding and noise shielding prediction methods developed by UC Irvine and MIT. From this the Quiet Ultra Integrated Efficient Test Research Aircraft #1 (QUIET-R1) 5.8% wind tunnel model was designed and fabricated.

Kawai, Ronald T.↗
NASA NTRS2013

A New Formulation for Hybrid LES-RANS Computations

Ideally, a hybrid LES-RANS computation would employ LES only where necessary to make up for the failure of the RANS model to provide sufficient accuracy or to provide time-dependent information. Current approaches are fairly restrictive in the placement of LES and RANS regions; an LES-RANS transition in a boundary layer, for example, yields an unphysical log-layer shift. A hybrid computation is formulated here to allow greater control over the placement of LES and RANS regions and the transitions between them. The concept of model invariance is introduced, which provides a basis for interpreting hybrid results within an LES-RANS transition zone. Consequences of imposing model invariance include the addition of terms to the governing equations that compensate for unphysical gradients created as the model changes between RANS and LES. Computational results illustrate the increased accuracy of the approach and its insensitivity to the location of the transition and to the blending function employed.

Woodruff, Stephen L.↗
NASA NTRS2013

The Mechanical Properties of Candidate Superalloys for a Hybrid Turbine Disk

The mechanical properties of several cast blade superalloys and one powder metallurgy disk superalloy were assessed for potential use in a dual alloy hybrid disk concept of joined dissimilar bore and web materials. Grain size was varied for each superalloy class. Tensile, creep, fatigue, and notch fatigue tests were performed at 704 to 815 degC. Typical microstructures and failure modes were determined. Preferred materials were then selected for future study as the bore and rim alloys in this hybrid disk concept. Powder metallurgy superalloy LSHR at 15 micron grain size and single crystal superalloy LDS-1101+Hf were selected for further study, and future work is recommended to develop the hybrid disk concept.

Gabb, Timothy P.↗
NASA NTRS2014

Validation of the 5th and 95th Percentile Hybrid III Anthropomorphic Test Device Finite Element Model

NASA spacecraft design requirements for occupant protection are a combination of the Brinkley criteria and injury metrics extracted from anthropomorphic test devices (ATD's). For the ATD injury metrics, the requirements specify the use of the 5th percentile female Hybrid III and the 95th percentile male Hybrid III. Furthermore, each of these ATD's is required to be fitted with an articulating pelvis and a straight spine. The articulating pelvis is necessary for the ATD to fit into spacecraft seats, while the straight spine is required as injury metrics for vertical accelerations are better defined for this configuration. The requirements require that physical testing be performed with both ATD's to demonstrate compliance. Before compliance testing can be conducted, extensive modeling and simulation are required to determine appropriate test conditions, simulate conditions not feasible for testing, and assess design features to better ensure compliance testing is successful. While finite element (FE) models are currently available for many of the physical ATD's, currently there are no complete models for either the 5th percentile female or the 95th percentile male Hybrid III with a straight spine and articulating pelvis. The purpose of this work is to assess the accuracy of the existing Livermore Software Technology Corporation's FE models of the 5th and 95th percentile ATD's. To perform this assessment, a series of tests will be performed at Wright Patterson Air Force Research Lab using their horizontal impact accelerator sled test facility. The ATD's will be placed in the Orion seat with a modified-advanced-crew-escape-system (MACES) pressure suit and helmet, and driven with loadings similar to what is expected for the actual Orion vehicle during landing, launch abort, and chute deployment. Test data will be compared to analytical predictions and modelling uncertainty factors will be determined for each injury metric. Additionally, the test data will be used to further improve the FE model, particularly in the areas of the ATD neck components, harness, and suit and helmet effects.

Lawrence, C.↗
NASA NTRS2014

Ka-Band Link Study and Analysis for a Mars Hybrid RF/Optical Software Defined Radio

The integrated radio and optical communications (iROC) project at the NASA Glenn Research Center (GRC) is investigating the feasibility of a hybrid RF and optical communication subsystem for future deep space missions. The hybrid communications subsystem enables the advancement of optical communications while simultaneously mitigating the risk of infusion by combining an experimental optical transmitter and telescope with a reliable Ka-band RF transmitter and antenna. The iROC communications subsystem seeks to maximize the total data return over the course of a potential 2-year mission in Mars orbit beginning in 2021. Although optical communication by itself offers potential for greater data return over RF, the reliable Ka-band link is also being designed for high data return capability in this hybrid system. A daily analysis of the RF link budget over the 2-year span is performed to optimize and provide detailed estimates of the RF data return. In particular, the bandwidth dependence of these data return estimates is analyzed for candidate waveforms. In this effort, a data return modeling tool was created to analyze candidate RF modulation and coding schemes with respect to their spectral efficiency, amplifier output power back-off, required digital to analog conversion (DAC) sampling rates, and support by ground receivers. A set of RF waveforms is recommended for use on the iROC platform.

communication↗
NASA NTRS2015

Mechanical Properties of Graphene Nanoplatelet/Carbon Fiber/Epoxy Hybrid Composites: Multiscale Modeling and Experiments

Because of the relatively high specific mechanical properties of carbon fiber/epoxy composite materials, they are often used as structural components in aerospace applications. Graphene nanoplatelets (GNPs) can be added to the epoxy matrix to improve the overall mechanical properties of the composite. The resulting GNP/carbon fiber/epoxy hybrid composites have been studied using multiscale modeling to determine the influence of GNP volume fraction, epoxy crosslink density, and GNP dispersion on the mechanical performance. The hierarchical multiscale modeling approach developed herein includes Molecular Dynamics (MD) and micromechanical modeling, and it is validated with experimental testing of the same hybrid composite material system. The results indicate that the multiscale modeling approach is accurate and provides physical insight into the composite mechanical behavior. Also, the results quantify the substantial impact of GNP volume fraction and dispersion on the transverse mechanical properties of the hybrid composite, while the effect on the axial properties is shown to be insignificant.

molecular dynamics↗
NASA NTRS2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.

Reliability↗