Results 81 to 90 of about 506,204 (184)

Research on civil aircraft airworthiness verification technology for operating capacity on narrow runways

Journal of Physics: Conference Series
Abstract Although airworthiness regulations implicitly consider runway width in requirements such as the determination of minimum control speed on the ground, there is no provision that explicitly requires the establishment of a minimum runway width for a specific type of aircraft.
Nan Gao, Jingwei Liu
openaire   +1 more source

Graphical Verification of a Spatial Logic for the Graphical Verification of a Spatial Logic for the pi-calculus [PDF]

, 2005
The paper introduces a novel approach to the verification of spatial properties for finite [pi]-calculus specifications. The mechanism is based on a recently proposed graphical encoding for mobile calculi: Each process is mapped into a (ranked) graph ...
Gadducci, Fabio, Lluch-Lafuente, Alberto, Lluch Lafuente, Alberto, Alberto Lluch Lafuente, Fabio Gadducci, Lluch Lafuente A.   +5 more
core   +1 more source

Biologically inspired speaker verification [PDF]

, 2012
Speaker verification is an active research problem that has been addressed using a variety of different classification techniques. However, in general, methods inspired by the human auditory system tend to show better verification performance than other ...
Tashan, T
core  

Design of ice-slab input device for aeroengine

Hangkong gongcheng jinzhan
Test of aeroengine ice ingestion is a verification item that must be passed by airworthiness certification. Ice-slab ingestion is an important part of it, which is to verify the strength of aeroengine under the expected ice absorption conditions, and is ...
WANG Di, JIN Zhengyang, XU Jianlei, LI Meichuan   +3 more
doaj   +1 more source

Definition of airworthiness categories for civil Unmanned Aircraft Systems (UAS) [PDF]

, 2010
This paper introduces a novel strategy for the specification of airworthiness certification categories for civil unmanned aircraft systems (UAS).\ud The risk-based approach acknowledges the fundamental differences between the risk paradigms of manned and
Fulton, Neale L., Palmer, Jennifer L., Walker, Rodney A., Clothier, Reece A.   +3 more
core   +1 more source

Airworthiness Compliance Methods for Low-Cost Wet Composite Structures in General Aviation Aircraft

Aerospace
With the continuous development of new aircraft, the application of low-cost composite materials technology still encounters numerous challenges and issues. The development of low-cost composite technology, while ensuring the high reliability of aircraft
Xiuzhi Liu, Shuang Zheng, Fengtian Yang
doaj   +1 more source

Formal verification of concurrent programs [PDF]

, 1999
Interactive theorem proving provides a general approach to modeling and verification of both finite-state and infinite-state systems but requires significant human efforts to deal with many tedious proofs.
Yu, Shen-Wei
core  

Evaluation of RSAF Airworthiness and Applicability [PDF]

, 2018
This research focuses on evaluation of Royal Saudi Air Force (RSAF) airworthiness processes and their applicability. The current RSAF airworthiness process is in accordance with internationally recognized best practice in the area of military aviation ...
Altowairqi, Majed M.
core   +1 more source

System Level Airworthiness Tool: A Comprehensive Approach to Small Unmanned Aircraft System Airworthiness.

, 2010
One of the pillars of aviation safety is assuring sound engineering practices through airworthiness certification. As Unmanned Aircraft Systems (UAS) grow in popularity, the need for airworthiness standards and verification methods tailored for UAS ...
Burke, David Alexander
core  

Research on airworthiness technical requirements and compliance verification methods for uncontrollable high thrust of engines

Journal of Physics: Conference Series
Abstract CCAR25.901(c) requires that for the installation of the powerplant, it must be ensured that any single failure, malfunction, or possible combination of failures will not endanger the safe operation of the aircraft. According to the requirements of Advisory Circular AC25.901-2X Draft, one of the failure modes that need to be ...
Bo Yang, Xingda Bao, Hanbing Gao
openaire   +1 more source