The simulation of the store separation using the automatic coupling of dynamic equations with flow aerodynamics is addressed. The precision and cost (calculation time) were considered as comparators. The method used in the present research decreased the calculation cost while limiting the solution error within a specific and tolerable interval. The methods applied to model the aerodynamic force...

Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap structures, thus facilitating the verification of programs with pointers. In past work, separation logic has been developed for heaps containing records of basic data types. Languages like C or ML, however, also permit the...

During the past decade, the Navy has considerably improved its capabilities in aircraft/weapon integration. In 1989 it took more than 400 hours of wind tunnel testing, which cost 1,5000,000, and 20 flights to clear the JSOW from the F-18 to Mach 0.95. This year the MK-83 JDAM was cleared after only 60 hours of wind tunnel testing and five flights to the full F-18 aircraft envelope of Mach 1.3. ...


 Aircraft and different store configurations must be certified before a flight. There is small but finite probability of aircraft being hit by gust wind at the time separation. Most separation analyses from airborne platforms do not consider phenomena because complexity inadequate knowledge its behavior. A dedicated task group was recently created to understand gust-related in safety. Of ...