1–20 von 745 Ergebnissen
|

    Research on Verification Method of Civil Aircraft Maintenance Manual

    Freier Zugriff
    ZHANG Yajie / ZENG Qinglin / WANG Hongchao et al. | DOAJ | 2021
    Schlagwörter: verification method , table-top verification , on-object verification , evaluation/simulation verification

    Verification and validation of Reynolds-averaged Navier–Stokes turbulence models for external flow

    Freeman, Jacob A. / Roy, Christopher J. | Elsevier | 2013
    Schlagwörter: Verification and validation , Code verification , Solution verification

    HLPW-4: Turbulence Model Verification Study

    Nash'at Ahmad / Chris Rumsey | NTRS
    Schlagwörter: Turbulence Model Verification

    HLPW-4: CRM-HL Fixed RANS TFG

    Nashat Ahmad | NTRS
    Schlagwörter: turbulence model verification

    Implementation and Verification of the SST-𝛾 and SA-AFT Transition Models in FUN3D

    Nathaniel Hildebrand / Meelan M. Choudhari / Balaji S. Venkatachari | NTRS
    Schlagwörter: Verification

    The significant role of simulation in satellite development and verification&z.star;This article was presented at the German Aerospace Congress 2003.

    Hendricks, Reinhard / Eickhoff, Jens | Elsevier | 2004
    Schlagwörter: Development & verification environment , Spacecraft design verification , Onboard software verification

    Implementation and Verification of the SST-𝜸 and SA-AFT Transition Models in FUN3D

    Nathaniel Hildebrand / Meelan Choudhari / Balaji S Venkatachari | NTRS
    Schlagwörter: Verification

    Runtime Verification

    Alwyn E Goodloe | NTRS
    Schlagwörter: Runtime Verification

    Formal model of human erroneous behavior for safety analysis in collaborative robotics

    Freier Zugriff
    Askarpour M. / Mandrioli D. / Rossi M. et al. | BASE | 2019
    Schlagwörter: Formal verification

    CFD Validation Experiments: Toward a Broader Perspective

    Nigel Taylor / Christopher L Rumsey | NTRS
    Schlagwörter: verification, validatio

    Formal verification in the loop to enhance verification of safety-critical cyber-physical systems

    Freier Zugriff
    Cinzia Bernardeschi / Andrea Domenici / Sergio Saponara | BASE | 2019
    Schlagwörter: Formal verification

    Progress in the airworthiness technology of civil aero-engine

    Bai, Jie / Liu, Shuai / Wang, Wei | Online Contents | 2019
    Schlagwörter: Verification

    A station-keeping control method for GEO spacecraft based on autonomous control architecture

    Yang, Wenbo / Li, Shaoyuan | Elsevier | 2015
    Schlagwörter: Ground simulation verification

    Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model

    Boris Diskin / Yi Liu / Hiroaki Nishikawa et al. | NTRS
    Schlagwörter: Verification

    Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model

    Boris Diskin / Nash'at Ahmad / William K. Anderson et al. | NTRS
    Schlagwörter: Verification

    Formal Verification of the LDACS MAKE Protocol

    Freier Zugriff
    Mäurer, Nils / Grundner-Culemann, Sophia | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: Formal Verification

    Verification Test Suite for Spalart-Allmaras QCR2000 Turbulence Model

    Boris Diskin / Nash'at Ahmad / William K. Anderson et al. | NTRS
    Schlagwörter: Computational Aerodynamics, verification, Spallart-Allmaras, QCR

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    P. Rajagopal / J. B. Dabney / J. M. Badger | NTIS | 2023
    Schlagwörter: Verification and validation

    Principles for the Development and Assurance of Autonomous Systems for Safe Use in Hazardous Environments

    Freier Zugriff
    Luckcuck, Matt / Fisher, Michael / Dennis, Louise et al. | BASE | 2021
    Schlagwörter: Verification

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2021
    Schlagwörter: Verification and validation