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.

The ProB disprover uses constraint solving to find counterexamples for B proof obligations. As the ProB kernel is now capable of determining whether a search was exhaustive, one can also use the disprover as a prover. In this paper, we explain how ProB has been embedded as a prover into Rodin and Atelier B. Furthermore, we compare ProB with the standard automatic provers and SMT solvers used in...

In the current article, a combination of the differential transform method (DTM) and Padé approximation method are implemented to solve a system of nonlinear differential equations modelling the flow of a Newtonian magnetic lubricant squeeze film with magnetic induction effects incorporated. Solutions for the transformed radial and tangential momentum as well as solutions for the radial and tan...

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...

In this research, an automatic control system is designed for landing of a small helicopter on a 4 DOF moving platform. The platform has three translational and one directional degree of freedom. The controller design approach is based on development of helicopter nonlinear dynamic model into the SDC (State Dependent Coefficient) form and real time solving of state dependent Riccati equation (S...