Abstract In this paper, the topology optimization algorithm is used to optimize main structure of landing gear lower door an aircraft by combining structural strength, stiffness, and processing technology [1-2] . Considering balance weight, material distribution, design result with reasonable structure, good manufacturability, moderate weight finally obtained.

This paper is a study of decompositional proof techniques applied to the ver-iication of a model of a real world hybrid system, an aircraft landing gear. We present a formal description of these techniques (taken from Halwbachs et.al. 5]) and look at two ways of applying them. We discover, and correct , a aw in the theory, but conclude ultimately that when dealing with a plant-controller combin...

The paper presents an Abstract State Machine (ASM) specification of the Landing Gear System case study, and shows how the ASMETA framework can be used to support the modeling and analysis (validation and verification) activities for developing a rigorous and correct model in terms of ASMs. We exploit the two fundamental concepts of the ASM method, i.e., the notion of ground model and the refine...

Formal veriication of safety and timing properties of engineering systems is only meaningful if based on models which are systematically derived. In this paper we report on our experience using switched bond graphs for the modelling of hardware components in hybrid systems. We present the basic ideas underlying bond graphs in general and switched bond graphs in particular. Switched bond graphs ...

We describe our experience with modeling the landing gear system of an aircraft using the formal speci cation language Fiacre. Our model takes into account the behavior and timing properties of both the physical parts and the control software of this system. We use this formal model to check safety and real-time properties on the system but also to nd a safe bound on the maximal time needed for...

Aerodynamic sound generation at low Mach numbers around complex stationary and moving bodies is computed directly with an immersed-boundary method-based hybrid approach. The complex flow field is solved by the immersed-boundary incompressible Navier-Stokes flow solver and the sound generation and propagation are computed by the linearized perturbed compressible equations with a high-order immer...

Acoustic emission monitoring was completed on a painted aerospace grade steel landing gear component undergoing fatigue loading until rupture. A post-test linear location analysis of the collected signals revealed eleven groups where high activity (greater than 2000 hits) occurred within a defined location, three of which corresponded in location to the position of fracture and final rupture of...

Landing gear is an essential part of aircraft. However, the components landing are susceptible to degradation over life their operation, which can result in shimmy effect occurring during take-off and landing. In order reduce unplanned flight disruptions increase availability aircraft, predictive maintenance (PdM) technique investigated this study. This paper presents a case study on implementa...