Search NASA⌕ Search

SEARCH · Search NASA

Results for “conformance analysis”

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 127 records · Page 7

Shockless design and analysis of transonic blade shapes

A fast computer program was developed to eliminate the shocks by slightly altering portions of the contour of a given airfoil in the cascade. The program can be used in two basic modes: (1) An analysis for steady, transonic, potential flow through a given planar cascade of airfoils and (2) a design for converting a given cascade into a shockless transonic cascade. The design mode can automatically be followed by the analysis mode, which confirms that the flow field is shock free. The program generates its own multilevel boundary conforming computational grids and solves a full potential equation in a fully conservative form. The shockless design is performed by implementing Sobieczky's fictitious-gas elliptic continuation concept.

Dulikravich, D. S.↗

TESS Data Release Notes:Reprocessing of Sectors 14–19, DR30 & DR33

TESS data release 30 (DR30) provides reprocessed data products of Sector 14 to 19. The updated data products were generated using version 4.0 of the science processing pipeline and conform to the final set of data anomaly flags defined over the last two years of TESS data analysis and pipeline development. Data release 33 (DR33) corresponds to a multisector search for transiting planets in the same reprocessed data. A detailed description of the changes in the data products in DR30 and DR33 is discussed in§2, and a brief list of changes is summarized here: The timestamps for 2 minute cadence and FFI data are more accurate. The differences between reprocessed data and previous data releases are less than 2.0 seconds in all cases. Photometric apertures were increased in size for targets with T mag<11. Three new Data Anomaly Flags were added to mitigate the effects of scattered light:–Cadences with strong scattered light signals or saturation effects that corrupt the calibration data are flagged and removed from analysis (bit 15, value 16384, “Bad Calibration Exclude”).–Scattered light data anomaly flags are customized for each target, and flagged automatically based on the local background level (bit 13, value 4096, ”Scattered light flag”).–Cadences with insufficient targets to derive cotrending basis vectors are flagged and the PDCSAP FLUX light curves are set to NULL at these times (bit 16, value 32768, “Insufficient Targets for Error Correction Exclude”). The planet search of the reprocessed light curves produced a different set of TCEs from the original processed data. Although there is a high degree of overlap between the original and reprocessed data (∼83% of targets produced TCEs in common), new TCEs were produced in DR30 and not every TCE from previous data releases was recovered. The same is true of the multisector search results from DR33 compared to DR28

TESS'↗

State Event Models for the Formal Analysis of Human-Machine Interactions

The work described in this paper was motivated by our experience with applying a framework for formal analysis of human-machine interactions (HMI) to a realistic model of an autopilot. The framework is built around a formally defined conformance relation called "fullcontrol" between an actual system and the mental model according to which the system is operated. Systems are well-designed if they can be described by relatively simple, full-control, mental models for their human operators. For this reason, our framework supports automated generation of minimal full-control mental models for HMI systems, where both the system and the mental models are described as labelled transition systems (LTS). The autopilot that we analysed has been developed in the NASA Ames HMI prototyping tool ADEPT. In this paper, we describe how we extended the models that our HMI analysis framework handles to allow adequate representation of ADEPT models. We then provide a property-preserving reduction from these extended models to LTSs, to enable application of our LTS-based formal analysis algorithms. Finally, we briefly discuss the analyses we were able to perform on the autopilot model with our extended framework.

State-event Models↗

Simulation and analysis of a delta planform with multiple jets in ground effect

The three-dimensional, thin-layer Navier-Stokes equations on a body-conforming, overset, multiple-grid topology are solved in the present numerical simulations of the flow around a 60-deg delta-planform wing equipped with two thrust-reverser jets in ground-effect conditions. Such experimentally flow-visualized features as jet-deformation and ground vertex-formation are captured by these simulations; the loss of wing-borne lift due to the 'suck-down' phenomenon, which arises as the delta planform flies at low speeds in close proximity to the ground, is also well simulated.

Chawla, K.↗

Boundary-fitted coordinate systems for numerical solution of partial differential equations - A review

A comprehensive review of methods of numerically generating curvilinear coordinate systems with coordinate lines coincident with all boundary segments is given. Some general mathematical framework and error analysis common to such coordinate systems is also included. The general categories of generating systems are those based on conformal mapping, orthogonal systems, nearly orthogonal systems, systems produced as the solution of elliptic and hyperbolic partial differential equations, and systems generated algebraically by interpolation among the boundaries. Also covered are the control of coordinate line spacing by functions embedded in the partial differential operators of the generating system and by subsequent stretching transformation. Dynamically adaptive coordinate systems, coupled with the physical solution, and time-dependent systems that follow moving boundaries are treated. References reporting experience using such coordinate systems are reviewed as well as those covering the system development.

Thompson, J. F.↗

Advanced electromagnetic methods for aerospace vehicles

The Advanced Helicopter Electromagnetics is centered on issues that advance technology related to helicopter electromagnetics. Progress was made on three major topics: composite materials; precipitation static corona discharge; and antenna technology. In composite materials, the research has focused on the measurements of their electrical properties, and the modeling of material discontinuities and their effect on the radiation pattern of antennas mounted on or near material surfaces. The electrical properties were used to model antenna performance when mounted on composite materials. Since helicopter platforms include several antenna systems at VHF and UHF bands, measuring techniques are being explored that can be used to measure the properties at these bands. The effort on corona discharge and precipitation static was directed toward the development of a new two dimensional Voltage Finite Difference Time Domain computer program. Results indicate the feasibility of using potentials for simulating electromagnetic problems in the cases where potentials become primary sources. In antenna technology the focus was on Polarization Diverse Conformal Microstrip Antennas, Cavity Backed Slot Antennas, and Varactor Tuned Circular Patch Antennas. Numerical codes were developed for the analysis of two probe fed rectangular and circular microstrip patch antennas fed by resistive and reactive power divider networks.

Balanis, Constantine A.↗

Palmitoylation of caveolin-1 in endothelial cells is post-translational but irreversible

Caveolin-1 is a palmitoylated protein involved in assembly of signaling molecules in plasma membrane subdomains termed caveolae and in intracellular cholesterol transport. Three cysteine residues in the C terminus of caveolin-1 are subject to palmitoylation, which is not necessary for caveolar targeting of caveolin-1. Protein palmitoylation is a post-translational and reversible modification that may be regulated and that in turn may regulate conformation, membrane association, protein-protein interactions, and intracellular localization of the target protein. We have undertaken a detailed analysis of [(3)H]palmitate incorporation into caveolin-1 in aortic endothelial cells. The linkage of palmitate to caveolin-1 was hydroxylamine-sensitive and thus presumably a thioester bond. However, contrary to expectations, palmitate incorporation was blocked completely by the protein synthesis inhibitors cycloheximide and puromycin. In parallel experiments to show specificity, palmitoylation of aortic endothelial cell-specific nitric-oxide synthase was unaffected by these reagents. Inhibitors of protein trafficking, brefeldin A and monensin, blocked caveolin-1 palmitoylation, indicating that the modification was not cotranslational but rather required caveolin-1 transport from the endoplasmic reticulum and Golgi to the plasma membrane. In addition, immunophilin chaperones that form complexes with caveolin-1, i.e. FK506-binding protein 52, cyclophilin A, and cyclophilin 40, were not necessary for caveolin-1 palmitoylation because agents that bind immunophilins did not inhibit palmitoylation. Pulse-chase experiments showed that caveolin-1 palmitoylation is essentially irreversible because the release of [(3)H]palmitate was not significant even after 24 h. These results show that [(3)H]palmitate incorporation is limited to newly synthesized caveolin-1, not because incorporation only occurs during synthesis but because the continuous presence of palmitate on caveolin-1 prevents subsequent repalmitoylation.

Non-NASA Center↗

Synthesis, Structure, Characterization, and Decomposition of Nickel Dithiocarbamates: Effect of Precursor Structure and Processing Conditions on Solid-State Products

Single-crystal X-ray structures of four nickel dithiocarbamate complexes, the homoleptic mixed-organic bis-dithiocarbamates Ni[S2CN(isopropyl)(benzyl)]2, Ni[S2CN(ethyl)(n-butyl)]2, and Ni[S2CN(phenyl)(benzyl)]2, as well as the heteroleptic mixed-ligand complex NiCl[P(phenyl)3][(S2CN(phenyl)(benzyl)], were determined. Synthetic, spectroscopic, structural, thermal, and sulfide materials studies are discussed in light of prior literature. The spectroscopic results are routine. A slightly distorted square-planar nickel coordination environment was observed for all four complexes. The organic residues adopt conformations to minimize steric interactions. Steric effects also may determine puckering, if any, about the nickel and nitrogen atoms, both of which are planar or nearly so. A trans-influence affects the Ni-S bond distances. Nitrogen atoms interact with the CS2 carbons with a bond order of about 1.5, and the other substituents on nitrogen display transoid conformations. There are no strong intermolecular interactions, consistent with prior observations of the volatility of nickel dithiocarbamate complexes. Thermogravimetric analysis of the homoleptic species under inert atmosphere is consistent with production of 1:1 nickel sulfide phases. Thermolysis of nickel dithiocarbamates under flowing nitrogen produced hexagonal or -NiS as the major phase; thermolysis under flowing forming gas produced millerite (-NiS) at 300 C, godlevskite (Ni9S8) at 325 and 350 C, and heazlewoodite (Ni3S2) at 400 and 450 C. Failure to exclude oxygen results in production of nickel oxide. Nickel sulfide phases produced seem to be primarily influenced by processing conditions, in agreement with prior literature. Nickel dithiocarbamate complexes demonstrate significant promise to serve as single-source precursors to nickel sulfides, a quite interesting family of materials with numerous potential applications.

microscopy↗

Assessment of SPAR elements and formulation of some basic 2-D and 3-D elements for use with testbed generic element processor

The initial Computational Structural Mechanics (CSM) Testbed was based on Level 13 of the SPAR finite element computer program. Until recently, the element library of the Testbed has been limited to those elements in Level 13 of SPAR. The development of a generic element processor has enabled element researchers to develop, implement and assess element formulations with relative ease. An assessment of new elements as well as the existing SPAR Level 13 elements has revealed some definite shortcomings with the SPAR Level 13 2-D and 3-D elements. The SPAR S81 solid element does not pass the patch test problem proposed by MacNeal-Harder. These deficiencies are identified here. The 2-D elements, however, seem to perform well taking into account the limitations imposed by the theory used to formulate them, (i.e., thin plates only). Common deficiencies of the 2-D and 3-D elements in SPAR have to do with their adaptability to the nonlinear analysis utilities developed by Lockheed Palo Alto Research Lab. Also, the EFIL format of the SPAR element data does not conform to the standard format of the Testbed.

Aminpour, Mohammad A.↗

Advanced development of the boundary element method for steady-state heat conduction

Considerable progress has been made in recent years toward advancing the state-of-the-art in solid mechanics boundary element technology. In the present work, much of this new technology is applied in the development of a general-purpose boundary element method (BEM) for steady-state heat conduction. In particular, the BEM implementation involves the use of higher-order conforming elements, self-adaptive integration and multi-region capability. Two- and three-dimensional, as well as axisymmetric analysis, are incorporated within a unified framework. In addition, techniques are introduced for the calculation of boundary flux, and for the inclusion of thermal resistance across interfaces. As a final extension, an efficient formulation is developed for the analysis of solid three-dimensional bodies with embedded holes. For this last class of problems, the new BEM formulation is particularly attractive, since use of the alternatives (i.e. finite element or finite difference methods) is not practical. A number of detailed examples illustrate the suitability and robustness of the present approach for steady-state heat conduction.

Dargush, G. F.↗

Interactive Scene Analysis Module - A sensor-database fusion system for telerobotic environments

Accomplishing a task with telerobotics typically involves a combination of operator control/supervision and a 'script' of preprogrammed commands. These commands usually assume that the location of various objects in the task space conform to some internal representation (database) of that task space. The ability to quickly and accurately verify the task environment against the internal database would improve the robustness of these preprogrammed commands. In addition, the on-line initialization and maintenance of a task space database is difficult for operators using Cartesian coordinates alone. This paper describes the Interactive Scene' Analysis Module (ISAM) developed to provide taskspace database initialization and verification utilizing 3-D graphic overlay modelling, video imaging, and laser radar based range imaging. Through the fusion of taskspace database information and image sensor data, a verifiable taskspace model is generated providing location and orientation data for objects in a task space. This paper also describes applications of the ISAM in the Intelligent Systems Research Laboratory (ISRL) at NASA Langley Research Center, and discusses its performance relative to representation accuracy and operator interface efficiency.

Cooper, Eric G.↗

The Verification-based Analysis of Reliable Multicast Protocol

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP Multicasting. In this paper, we develop formal models for R.W using existing automatic verification systems, and perform verification-based analysis on the formal RMP specifications. We also use the formal models of RW specifications to generate a test suite for conformance testing of the RMP implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress between the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

An implicit time-marching method for studying unsteady flow with massive separation

A fully implicit time-marching method is developed such that all spatial derivatives are approximated using central differences, but no use is made of any artificial dissipation. The numerical method solves the discretized equations using Alternating Direction Implicit-Block Gaussian Elimination technique. The method is implemented in the unsteady analysis, which solves the incompressible Navier-Stokes equations in terms of vorticity and stream function in generalized orthogonal coordinates. A clustered conformal C-grid is employed, and every effort is made to resolve the various length scales in the flow problem. The metric discontinuity at the branch-cut is treated appropriately using analytic continuation. Introduction of the BGE reordering permits implicit treatment of the branch cut in the numerical method. The vorticity singularity at the cusped trailing edge is also appropriately treated. This accurate and efficient implicit method is used to study flow at Re = 1000, past a 12-percent thick symmetric Joukowski airfoil at high angle of attack 30 and 53 deg.

Osswald, G. A.↗

Composite Panel Postbuckling Behavior and General Model of Joints in Composite Structures

The present paper is a final technical report on the research programme NCCW-73 accomplished within co-operation between NASA of the USA and GOSKOMOBORONPROM of Russia in the field of aeronautics. The report contains basic results of studies in two areas, 'Analysis of postbuckling behavior of composite panels' and 'Development of general model of joints in composite structures'; these results were obtained in conformity with requirements of NCCW-73. In addition, consideration is given to some related issues, and proposals for further studies are formulated.

Zamula, G. N.↗

Effect of geometric nonlinearity on the free flexural vibrations of moderately thick rectangular plates

The effect of geometric nonlinearity on the free flexural vibrations of moderately thick rectangular plates is studied in this paper. Finite element formulation is employed to obtain the non-linear to linear period ratios for some rectangular plates. A conforming finite element of rectangular shape wherein the effects of shear deformation and rotatory inertia are included, is developed and used for the analysis. Results are presented for both simply supported and clamped boundary conditions.

Raju, K. K.↗

The emergence of Zipf's law - Spontaneous encoding optimization by users of a command language

The distribution of commands issued by experienced users of a computer operating system allowing command customization tends to conform to Zipf's law. This result documents the emergence of a statistical property of natural language as users master an artificial language. Analysis of Zipf's law by Mandelbrot and Cherry shows that its emergence in the computer interaction of experienced users may be interpreted as evidence that these users optimize their encoding of commands. Accordingly, the extent to which users of a command language exhibit Zipf's law can provide a metric of the naturalness and efficiency with which that language is used.

Ellis, S. R.↗

The specification-based validation of reliable multicast protocol: Problem Report

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗