LCF II

The LCF II is a single seat Club Class glider, designed and built in the 1970s by German glider club members and intended to be suitable for training, competition and in particular aerobatics. Only one was completed.

Design and development

Design of the LCF II began in 1971, at the beginning of a decade that saw increasing interest in aerobatic glider flight.The intention was to produce a general purpose club glider, capable of being used as a trainer or in standard gliding competitions but also to able to take the stresses involved in aerobatics. The manoeuvrability required for the latter requires the ability to fly slowly and to rotate rapidly, calling for relatively short spans. The LCF II has a span of 13 m (42 ft 8 in).

The straight tapered, square tipped wings of the LCF II are mounted at shoulder height and built around a single wooden spar. The ribs are formed from polyvinyl chloride rigid foam and the wings plywood covered. The wing mounts Schempp-Hirth type airbrakes, which extend from the upper surfaces.

Boeing Dreamlifter

The Boeing 747 Dreamlifter (formerly Large Cargo Freighter or LCF) is a wide-body cargo aircraft. Cargo is placed in the aircraft by the world's longest cargo loader. It is an extensively modified Boeing 747-400 and is used exclusively for transporting 787 aircraft parts to Boeing's assembly plants from suppliers around the world.

Development

Boeing Commercial Airplanes announced on October 13, 2003 that, due to the length of time required by land and marine shipping, air transport will be the primary method of transporting parts for the Boeing 787 Dreamliner (then known as the 7E7). Initially, three used passenger 747-400 aircraft were to be converted into an outsize configuration in order to ferry sub-assemblies from Japan and Italy to North Charleston, South Carolina, and then to Washington state for final assembly, but a fourth was subsequently added to the program. The Large Cargo Freighter has a bulging fuselage similar in concept to the Super Guppy and Airbus A300-600ST Beluga outsize cargo aircraft, which are also used for transporting wings and fuselage sections. At 65,000 cubic feet (1,840 cubic meters) the cargo hold is the largest in the world, and it can hold three times the volume of a 747-400F freighter.

LCF

LCF may refer to:

Computer science

Logic for Computable Functions

Logic for Computable Functions (LCF) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others in 1972. LCF introduced the general-purpose programming language ML to allow users to write theorem-proving tactics. Theorems in the system are propositions of a special "theorem" abstract datatype. The ML type system ensures that theorems are derived using only the inference rules given by the operations of the abstract type.

Successors include HOL (Higher Order Logic) and Isabelle.

References