Search NASA⌕ Search

SEARCH · Search NASA

Results for “Model Checking”

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 487 records · Page 27

CFT and lattice correlators near an RG domain wall between minimal models

Conformal interfaces separating two conformal field theories (CFTs) provide maps between different CFTs, and naturally exist in nature as domain walls between different phases. One particularly interesting construction of a conformal interface is the renormalization group (RG) domain wall between CFTs. For a given Virasoro minimal model \mathcal{M}_{k+3,k+2} ℳ k + 3 , k + 2 , an RG domain wall can be generated by a specific deformation which triggers an RG flow towards its adjacent Virasoro minimal model \mathcal{M}_{k+2,k+1} ℳ k + 2 , k + 1 with the deformation turned on over part of the space. An algebraic construction of this domain wall was proposed by Gaiotto in [J. High Energy Phys. 12, 103 (2012)]. In this paper, we will provide a study of this RG domain wall for the minimal case k=2 k = 2 , which can be thought of as a nonperturbative check of the construction. In this case the wall is separating the Tricritical Ising Model (TIM) CFT and the Ising Model (IM) CFT. We will check the analytical results of correlation functions from the RG brane construction with the numerical density matrix renormalization group (DMRG) calculation using a lattice model proposed in [arXiv.1206.1332, Science 344, 280 (2014)], and find a perfect agreement. We comment on possible experimental realizations of this RG domain wall.

Cogburn, Cameron V.↗

Influence of Nucleation Mechanisms on the Radiative Properties of Deep Convective Clouds and Subvisible Cirrus in CRYSTAL/FACE

During the past few years we have conducted work on several different topics, as reflected by our publications. As one of the Co-Project scientists for The Cirrus Regional Study of Tropical Anvils and Cirrus Layers - Florida Area Cirrus Experiment (CRYSTAL FACE) we worked to help design the mission and then conduct it in the field. Another major activity during the past two years has been to pull together various groups to formulate plans for follow on missions to CRYSTAL FACE. We organized a workshop at the University of Colorado during the summer of 2003 to assess the best locations for future missions. Working with a group of about 10 scientists from around the country we prepared a science-planning document (Tropical Composition, Cloud and Climate Coupling Experiment (TC(sup 4)) that outlined the rationale, locations, strategy to accomplish the goals, and possible payloads for a set of three tropical missions. We also prepared background materials for various NRAs being prepared at NASA Headquarters for missions in Costa Rica, Darwin and Guam. In conjunction with the group at NASA Ames we have helped build a new numerical model for deep convection and have applied that model to simulate the CRYSTAL data. Our goal in particular has been to better understand how convection distributes water vapor isotopes. CRYSTAL observations of water isotopes are very different from those suggested by previous workers who assumed the isotopes would obey Rayleigh fractionation. The water isotope study has several implications. First it is a check on the realism of the deep convection model. Second, the isotopes are a measure of the precipitation removal in the atmosphere. Hence they provide a constraint on a parameter that is difficult to otherwise measure. Finally it has been suggested that isotopes may be the key to unraveling the water transport into the stratosphere and upper troposphere. Such transport is critical both for the radiation balance and for stratospheric chemistry. Ours is the first model that is able to treat this transport. Our initial results have just been submitted to Geophys. Res. Lett (Smith et al., 2005). Essentially we are able to explain the vertical profiles of isotopes in the tropical tropopause transition layer. We are also able to account for stratospheric humidity and isotope abundances with this model. We have also been heavily involved in trying to improve our understanding of nitric acid condensation on ice. Gao et al (2004) have shown that water supersaturations above ice occur when the atmosphere is supersaturated with respect to nitric acid trihydrate. As one of the co-authors of that work, we suggested the mechanism that may explain why this is occurring. Essentially, ice does not like to grow near unit supersaturation, but does so because the water molecules can find sites on the ice surface to attach themselves to before they fly off the ice surface. This phenomena was well known in the 1960s when it was a source of debate about whether condensation and evaporation coefficients for ice would be the same. Evaporation does not require any molecular orientation, while condensation does, so it was possible that the coefficients would differ. They don't differ because the water molecules rapidly move across the surface and find places to attach. Nitric acid may be occupying these preferred sites and therefore the water molecules can't find a desirable place to attach. We anticipate that this research will be the subject of laboratory work during the coming few years. Another possibility that has been suggested is that cubic ice is forming in clouds. We have measured the vapor pressure of cubic ice, and plan to publish that result in the next few months. We have also been working on additional aspects of the condensation of nitric acid on ice. With Y. Kondo we studied the condensation of NOy on ice using the SOLVE data. Gamblin et al. have continued this work. The CRYSTAL NOy and HNO, groups have shown th their data can be fit using standard Langmuir isotherms as suggested in some, but not all, laboratory studies. We have found in the SOLVE data set that this is not the case. Moreover some laboratory studies show there are important kinetic effects that may be occurring in the atmosphere limiting the transfer of nitric acid to the ice. The SOLVE data seem consistent with these studies. We are currently re-analyzing the CRYSTAL data to look for these kinetic effects. There are a number of implications of these studies. One of the more interesting is that the nitric acid coating on ice can be used as a cloud clock to determine how long the cloud parcel has been in existence. We have also been involved with several laboratory studies. We have worked to improve the database on ice optical constants, which are critical for remote sensing. We have also studied the ways in which ice nucleates on clays. We suspect now that the standard theories used for depositional ice nucleation are completely incorrect. Further work will be needed to develop a new theory.

Toon, Owen B.↗

HyDE Framework for Stochastic and Hybrid Model-Based Diagnosis

Hybrid Diagnosis Engine (HyDE) is a general framework for stochastic and hybrid model-based diagnosis that offers flexibility to the diagnosis application designer. The HyDE architecture supports the use of multiple modeling paradigms at the component and system level. Several alternative algorithms are available for the various steps in diagnostic reasoning. This approach is extensible, with support for the addition of new modeling paradigms as well as diagnostic reasoning algorithms for existing or new modeling paradigms. HyDE is a general framework for stochastic hybrid model-based diagnosis of discrete faults; that is, spontaneous changes in operating modes of components. HyDE combines ideas from consistency-based and stochastic approaches to model- based diagnosis using discrete and continuous models to create a flexible and extensible architecture for stochastic and hybrid diagnosis. HyDE supports the use of multiple paradigms and is extensible to support new paradigms. HyDE generates candidate diagnoses and checks them for consistency with the observations. It uses hybrid models built by the users and sensor data from the system to deduce the state of the system over time, including changes in state indicative of faults. At each time step when observations are available, HyDE checks each existing candidate for continued consistency with the new observations. If the candidate is consistent, it continues to remain in the candidate set. If it is not consistent, then the information about the inconsistency is used to generate successor candidates while discarding the candidate that was inconsistent. The models used by HyDE are similar to simulation models. They describe the expected behavior of the system under nominal and fault conditions. The model can be constructed in modular and hierarchical fashion by building component/subsystem models (which may themselves contain component/ subsystem models) and linking them through shared variables/parameters. The component model is expressed as operating modes of the component and conditions for transitions between these various modes. Faults are modeled as transitions whose conditions for transitions are unknown (and have to be inferred through the reasoning process). Finally, the behavior of the components is expressed as a set of variables/ parameters and relations governing the interaction between the variables. The hybrid nature of the systems being modeled is captured by a combination of the above transitional model and behavioral model. Stochasticity is captured as probabilities associated with transitions (indicating the likelihood of that transition being taken), as well as noise on the sensed variables.

Narasimhan, Sriram↗

Models for Water Isotopes Constrained with Data from Crystal Face

During the year covered by this proposal we conducted work on several different topics, as reflected by our publications listed below. One major activity was to work with a group of about 10 scientists from around the country to prepare a science-planning document (Tropical Composition, Cloud and Climate Coupling Experiment (TC4)) that outlined the rationale, locations, strategy to accomplish the goals, and possible payloads for a set of three tropical missions. We also prepared background materials for various NRAs being prepared at NASA Headquarters for missions in Costa Rica, Darwin and Guam. Unfortunately budgetary constraints prevented these missions from moving forward. In conjunction with the group NASA Ames we built a new numerical model for deep convection and have applied that model to simulate the CRYSTAL isotope data. Our goal in particular has been to better understanding how convection distributes water vapor isotopes. CRYSTAL observations of water isotopes are very different from those suggested by previous workers who assumed the isotopes would obey Rayleigh fractionation. The water isotope study has several implications. First it is a check on the realism of the deep convection model. Second, the isotopes are a measure of the precipitation removal in the atmosphere. Hence they provide a constraint on a parameter that is difficult to otherwise measure. Finally it has been suggested that isotopes may be the key to unraveling the water transport into the stratosphere and upper troposphere. Such transport is critical both for the radiation balance and for stratospheric chemistry. Ours is the first model that is able to treat this transport. Our initial results are now in press in Geophys. Res. Lett. Essentially we are able to explain the vertical profiles of isotopes in the tropical tropopause transition layer. We are also able to account for stratospheric humidity ana isotope abundances with this model. The data suggest that isotopes do not provide a clear constraint on the mechanism by which water enters the stratosphere- whether by convection, or by slow ascent. Our work is relevant for the water isotope comparison experiments recently done by NASA. We are conducting numerical experiments related to this project to help understand that data.

Toon, Owen B.↗

Dynamic analysis of fully constrained Cable-Driven Parallel Robots for automated prefabricated component installation

This paper presents a dynamic analysis and validation framework to assess a fully constrained six-anchor Cable-Driven Parallel Robot (CDPR) for automated installation of prefabricated facade components. Compared with conventional eight-anchor systems, the six-anchor configuration simplifies setup and reduces cost, but it also reduces control authority, shrinks the wrench-feasible workspace, and tightens orientation limits. Consequently, it is unclear a priori whether dynamically feasible trajectories exist to move the end effector from pickup to the facade. A constrained trajectory optimization is formulated to enforce the system dynamics, cable-tension bounds, and pose/velocity limits, and the framework is evaluated in simulation at three levels: (i) an idealized reference model, (ii) a lab-scale prototype model incorporating measured anchor misalignments and identified damping, and (iii) a full-scale three-story building model with load decomposition for structural feasibility checks. Across these scenarios, the analysis shows that optimal, constraint-satisfying trajectories exist that move the end effector from pickup to installation while maintaining a near-plumb, level orientation at the final pose. Collectively, this multi-scale dynamic analysis and validation framework supports the deployment readiness of the six-anchor CDPR and provides a prototype-based sensitivity case study of how measured anchor placement deviations affect feasibility.

CDPR↗

Environmental control system transducer development study

A development test program of transducers for aerospace projects is described. Stability and performance of existing transducers, and improvements compatible with shuttle ECS requirements are investigated. These requirements incorporate design and development features into the transducers, and include the following: (1) improvement of overall transducer ruggedness and reliability; (2) common transducers for all ECS fluids that will be unaffected by long quiescent periods in the space environment, that will require no maintenance or refurbishing for at least 100 launches; and (3) appropriate self-check features that simplify checkout and maintenance. Models of three different transducers, a three-way valve for pressure transducers from closed liquid loops, surface-type platinum-wire resistance temperature sensors, and a nuclenics gaging system are evaluated. Tests and development improvements are described.

Brudnicki, M. J.↗

Atmospheric angular momentum and the length of day - A common fluctuation with a period near 50 days

Four astronomical measures of changes in the length of day obtained in 1979 have been shown to exhibit the same, approximately 50-day fluctuation. To find whether this fluctuation was persistent, and of meteorological origin, lunar laser ranging observations and wind data deduced from sources distributed over the globe were analyzed. A high degree of correlation was found between the two sets of data. It is implied that the 50-day period fluctuations in length of day are real and related to meteorological effects. Observed changes in length of day can provide a constraint for models for atmospheric flow, and a partial check for global analyses of such motions.

Langley, R. B.↗

Simulation and measurement of disturbance propagation in a single tether system

One of the missions of the Getaway Tether Experiment (GATE) is to investigate disturbance propagation and control in a tethered system. In order to understand the nature of the propagation, simulation of the tether response is vital. A single finite duration pulse is the source of the disturbance. A bead model is used to predict the motion of the tether and the end masses (modeled as point masses). System response is checked for different magnitudes of force and for different points of impact on the tether. Along with simulation, hardware development is needed, especially in the area of tension measurement. At this time, hardware is being developed to measure the tension in the tether, so that the tethered system can be controlled via tension feedback. The hardware will then be tested in conjunction with the Dynamics and Control Mission of the GATE project.

Greene, Michael↗

Theoretical studies of a molecular beam generator

We consider the problem of modeling a high temperature diatomic gas N2 flowing through a converging-diverging high expansion nozzle. The problem is modeled in two ways. The first model uses a single temperature with variable specific heats as functions of this temperature. For the second model we assume that the various degrees of freedom all have a Boltzmann population distribution which means that each degree of freedom has its own temperature and consequently each system state can be characterized by these temperatures. This suggests the formulation of a second model with a vibrational degree of freedom as having its own temperature along with a rotational-translational degree of freedom with its own temperature. Initially the vibrational degree of freedom is excited by heating the gas to a high temperature. As the high temperature gas expands through the nozzle throat there is a sudden drop in the rotational-translational temperature along with a finite relaxation time for the vibrational degree of freedom to achieve equilibrium with the rotational-translational degree of freedom. That is, the temperature change that occurs when the N2 gas passes through the nozzle throat is so great that the changes in the vibrational degree of freedom lags behind the rotational-translational energy changes. The resulting relaxation time is finite. It is in this context that the term nonequilibrium is used. That is, the term nonequilibrium denotes the fact that the energy content of the various degrees of freedom are characterized by two temperatures. We neglect any chemical reactions resulting from the high temperatures which could also add nonequilibrium effects. We develop the basic equations for the two models in various forms in order to check the derivations with other sources. The final form which is solved numerically consists of the scaled equations in a conservative dimensionless form.

Heinbockel, John H.↗

The Apollo 15 regolith - Chemical modeling and mare/highland mixing

The chemical compositions of thirty-one A-15 soils from nine sampling stations were studied. Mixing models were calculated using five components: 'representative A-15 mare basalt', anorthosite, low-K Fra Mauro basalt, green glass, and medium-K KREEP (Laul and Papike, 1980). A linear-least-squares mixing model (Boynton et al., 1975) was used with sum check and chi-square tests of the fit of components to soil composition. The soils show significant compositional variability, in some instances over relatively small distances within a sampling station. The models indicate that green-glass abundance does not vary systematically with location and that a significant KREEP component is found in all Apennine Front soils. The models also show the soils from the rim of Hadley Rille to be the most mare-enriched, and soils from Station 2 to be the most highland-enriched. The regolith from Station 8-LM is anomalously high in KREEP component relative to the other mare soils, possibly because of ray material.

Walker, R. J.↗

Remarks on the construction of a second-order closure description of turbulent reacting flows

In this paper an attempt is made to illustrate how second-order closure techniques might be used to make detailed calculations of turbulent diffusion flames. Two of the problems of closure that are peculiar to turbulent chemically reacting flows are discussed in some detail. These are the problem of computing in a consistent way all the correlations of fluctuations in scalar quantities needed for closure and the problem of the generation of turbulence by chemical reactions. Tentative closure models are put forward for both of these problems. Although the closure model for fluctuations in scalar quantities can, to a certain extent, be checked against idealized numerical examples for which exact solutions are known, the validity of both the closure models proposed here must, in the end, be determined by detailed comparison of computed results with experimental data.

DONALDSON C. DUP.↗

Fatigue analysis of mini-mast space truss

The functional, structural adequacy of a 20 meter long generic space truss (Mini-Mast), subjected to fatigue loading, was examined with respect to the failure modes which are most likely to occur during services. The space truss is made of thin-walled tubes having unidirectional, zero degree layups of Celanese G50 graphite fibers/Narmco 5217 epoxy composites. The approach used to investigate the most probable failure mode of the truss under fatigue loading is to determine the stress level, including the types of stress, in the member first, then followed by failure mode analysis based on the stress level just determined. To begin, an approximate beam-parameter truss (BPT) model is analyzed first, followed by a detailed analysis of the truss using a finite element model (FEM) run with NASTRAN code. The response results of the BPT model are used to compare FEM results and to check any major deviation of trend derived from the FEM. The purpose of the work was to search available fatigue data of the tube material, to conduct approximate dynamical stress analysis of the BPT model, to run detailed dynamical stress analysis of the FEM model using NASTRAN code, and to predict the fatigue life of the truss member based on limited fatigue data.

Hwang, Shoi Y.↗

Investigation at Mach Numbers of 0.20 to 3.50 of Blended Wing-Body Combinations of Sonic Design with Diamond, Delta, and Arrow Plan Forms

The models had aspect-ratio-2 diamond, delta, and arrow wings with the leading edges swept 45.00 deg, 59.04 deg, and 70.82 deg, respectively. The wing sections were computed by varying the section shape along with the body radii (blending process) to match the prescribed area distribution and wing plan form. The wing sections had an average value of maximum thickness ratio of about 4 percent of the local chords in a streamwise direction. The models were tested with transition fixed at Reynolds numbers of about 4,000,000 to 9,000,0000, based on the mean aerodynamic chord of the wings. The effect of varying Reynolds number was checked at both subsonic and supersonic speeds. The diamond model was superior to the other plan forms at transonic speeds ((L/D)max = 11.00 to 9.52) because of its higher lift-curve slope and near optimum wave drag due to the blending process. For the wing thickness tested with the diamond model, the marked body and wing contouring required for transonic conditions resulted in a large wave-drag penalty at the higher supersonic Mach numbers where the leading and trailing edges of the wing were supersonic. Because of the low sweep of the trailing edge of the delta model, this configuration was less adaptable to the blending process. Removing a body bump prescribed by the Mach number 1.00 design resulted in a good supersonic design. This delta model with 10 percent less volume was superior to the other plan forms at Mach numbers of 1.55 to 2.35 ((L/D)max = 8.65 to 7.24), but it and the arrow model were equally good at Mach numbers of 2.50 to 3.50 ((L/D)max - 6.85 to O.39). At transonic speeds the arrow model was inferior because of the reduced lift-curve slope associated with its increased sweep and also because of the wing base drag. The wing base-drag coefficients of the arrow model based on the wing planform area decreased from a peak value of 0.0029 at Mach number 1.55 to 0.0003 at Mach number 3.50. Linear supersonic theory was satisfactory for predicting the aerodynamic trends at Mach numbers from 1.55 to 3.50 of lift-curve slope, wave drag, drag due to lift, aerodynamic-center location, and maximum lift-drag ratios for each of the models.

Holdaway, George H.↗

Optical Modeling and Polarization Calibration for CMB Measurements with Actpol and Advanced Actpol

The Atacama Cosmology Telescope Polarimeter (ACTPol) is a polarization sensitive upgrade to the Atacama Cosmology Telescope, located at an elevation of 5190 m on Cerro Toco in Chile. ACTPol uses transition edge sensor bolometers coupled to orthomode transducers to measure both the temperature and polarization of the Cosmic Microwave Background (CMB). Calibration of the detector angles is a critical step in producing polarization maps of the CMB. Polarization angle offsets in the detector calibration can cause leakage in polarization from E to B modes and induce a spurious signal in the EB and TB cross correlations, which eliminates our ability to measure potential cosmological sources of EB and TB signals, such as cosmic birefringence. We calibrate the ACTPol detector angles by ray tracing the designed detector angle through the entire optical chain to determine the projection of each detector angle on the sky. The distribution of calibrated detector polarization angles are consistent with a global offset angle from zero when compared to the EB-nulling offset angle, the angle required to null the EB cross-correlation power spectrum. We present the optical modeling process. The detector angles can be cross checked through observations of known polarized sources, whether this be a galactic source or a laboratory reference standard. To cross check the ACTPol detector angles, we use a thin film polarization grid placed in front of the receiver of the telescope, between the receiver and the secondary reflector. Making use of a rapidly rotating half-wave plate (HWP) mount we spin the polarizing grid at a constant speed, polarizing and rotating the incoming atmospheric signal. The resulting sinusoidal signal is used to determine the detector angles. The optical modeling calibration was shown to be consistent with a global offset angle of zero when compared to EB nulling in the first ACTPol results and will continue to be a part of our calibration implementation. The first array of detectors for Advanced ACTPol, the next generation upgrade to ACTPol, will be deployed in 2016.We plan to continue using both techniques and compare them to astrophysical source measurements for the Advanced ACTPol polarization calibration.

Koopman, Brian↗

Quantitative validation of Ames IR intensity and new line lists for (32/33/34)S(16)O2, (32)S(18)O2 and (16)O(32)S(18)O

The quality of Ames-296K SO2 Infrared (IR) line list intensities is first validated by quantitative exploration of several dipole moment surfaces (DMSs) and partition sum convergence. The DMSs are computed with several of Dunning’s correlation-consistent basis sets and their vibrational dependence are compared to the empirical model derived from Stark effect experiments reported by D. Patel, D. Margolese, and T.R. Dykea [J.Chem.Phys. 70, 2740 (1979)]. The effective dipole deviations from the DMS adopted in the Ames IR lists is 0.2-0.4% for vibrational states up to 3v3. The vibrational dependence of the dipole moment is also in good agreement, except for nv1. Partition sum convergence at 296K is confirmed by new calculations with rotational quantum number J up to 150 and upper state E’ up to 8000 cm-1. The isotopologue consistency of the Ames IR line lists is superior relative to the regular Effective Hamiltonian (EH) models and Effective Dipole Moment (EDM) models. The v1+v2 and v2+v3 intensity consistency check reveals the recently reported experimental intensities need significant improvement or re-analysis. After the accuracy, convergence, and isotopologue consistency have been confirmed, the theoretical Ames-296K intensities are combined with the experimental line positions or EH models that experimental spectroscopists published after 2009. Three high-resolution IR line sets are reported for the (32/33/34)S(16)O2, (32)S(18)O2 and (16)O(32)S(18)O isotopologues: (1) the “New Lines Sets” include experimentally measured line positions; (2) the “Expanded Line Sets” include possible transitions among new rovibrational levels assigned in experiments and ground state (GS) levels predicted by reliable EH models; (3) the “Ames + MARVEL Sets” include possible transitions among all those levels reported in a recent MARVEL analysis. [Tóbiás et al, JQSRT 208, 152 (2018)]. Compared to the limited data in High-resolution TRANsmission molecular absorption database (HITRAN), these line sets have significantly improved the data coverage up to 4000 cm-1. Some missing bands can be traced to the unpublished experimental data. The isotopologue consistency of these line sets will help identify the uncertainties and defects in the experimental EH and EDM models. These line sets are good candidates for the next HITRAN update, if line shape parameters are available. The line sets can be downloaded from supplementary files or from the Ames Molecular Spectroscopic Database at http://huang.seti.org.

Xinchuan Huang↗

Ionospheric simulation compared with Dynamics Explorer observations for November 22, 1981

The present study uses an extensive DE-2 data base to both constrain inputs to a time-dependent ionospheric model (TDIM) for a simulation of the ionosphere and then check the simulated densities. The investigation was carried out for both a quiet period and a substorm period. The quiet-day study produced very good agreement between modeled and observed electron densities in the topside ionosphere with two significant exceptions: First, across the polar region the DE-2 LANG densities showed fine structure in addition to the overall regional density morphology. Second, a surprising discrepancy arose in the presunrise and midlatitude trough. The TDIM densities were an order of magnitude lower than those observed by DE-2. The substorm study showed remarkably good agreement with the observed densities.

Sojka, J. J.↗

A Validated Set of MIDAS V5 Task Network Model Scenarios to Evaluate Nextgen Closely Spaced Parallel Operations Concepts

The Closely Spaced Parallel Operations (CSPO) scenario is a complex, human performance model scenario that tested alternate operator roles and responsibilities to a series of off-nominal operations on approach and landing (see Gore, Hooey, Mahlstedt, Foyle, 2013). The model links together the procedures, equipment, crewstation, and external environment to produce predictions of operator performance in response to Next Generation system designs, like those expected in the National Airspaces NextGen concepts. The task analysis that is contained in the present report comes from the task analysis window in the MIDAS software. These tasks link definitions and states for equipment components, environmental features as well as operational contexts. The current task analysis culminated in 3300 tasks that included over 1000 Subject Matter Expert (SME)-vetted, re-usable procedural sets for three critical phases of flight; the Descent, Approach, and Land procedural sets (see Gore et al., 2011 for a description of the development of the tasks included in the model; Gore, Hooey, Mahlstedt, Foyle, 2013 for a description of the model, and its results; Hooey, Gore, Mahlstedt, Foyle, 2013 for a description of the guidelines that were generated from the models results; Gore, Hooey, Foyle, 2012 for a description of the models implementation and its settings). The rollout, after landing checks, taxi to gate and arrive at gate illustrated in Figure 1 were not used in the approach and divert scenarios exercised. The other networks in Figure 1 set up appropriate context settings for the flight deck.The current report presents the models task decomposition from the tophighest level and decomposes it to finer-grained levels. The first task that is completed by the model is to set all of the initial settings for the scenario runs included in the model (network 75 in Figure 1). This initialization process also resets the CAD graphic files contained with MIDAS, as well as the embedded operator models that comprise MIDAS. Following the initial settings, the model progresses to begin the first tasks required of the two flight deck operators, the Captain (CA) and the First Officer (FO). The task sets will initialize operator specific settings prior to loading all of the alerts, probes, and other events that occur in the scenario. As a note, the CA and FO were terms used in developing this model but the CA can also be thought of as the Pilot Flying (PF), while the FO can be considered the Pilot-Not-Flying (PNF)or Pilot Monitoring (PM). As such, the document refers to the operators as PFCA and PNFFO respectively.

task network model↗

New flange correction formula applied to interfacial resistance measurements of ohmic contacts to GaAs

A quasi-two-dimensional analytical model is developed to account for vertical and horizontal current flow in and adjacent to a square ohmic contact between a metal and a thin semiconducting strip which is wider than the contact. The model includes side taps to the contact area for voltage probing and relates the 'apparent' interfacial resistivity to the (true) interfacial resistivity, the sheet resistance of the semiconducting layer, the contact size, and the width of the 'flange' around the contact. This relation is checked against numerical simulations. With the help of the model, interfacial resistivities of ohmic contacts to GaAs were extracted and found independent of contact size in the range of 1.5-10 microns.

Lieneweg, Udo↗