Highly accurate positioning systems and new broadcasting technology have enabled air traffic management concepts where the responsibility for aircraft separation resides on pilots rather than on air traffic controllers. The Formal Methods Group at the National Institute of Aerospace and NASA Langley Research Center has proposed and formally verified an algorithm, called KB3D, for distributed th...

PURPOSE The integration of swept-source optical coherence tomography (SS-OCT) into the operating microscope enables real-time, tissue-level three-dimensional (3D) imaging to aid in ophthalmic microsurgery. In this prospective randomized controlled study, we evaluated the impact of SS microscope-integrated OCT (MI-OCT) on ophthalmology residents' performance of ophthalmic microsurgical maneuvers...

This paper is devoted to the exploration of three-dimensional (3-D) maneuvers using a free-swimming fishlike robot. For the sake of a better maneuverability, an Esox lucius robotic fish consisting of a yawing head, two degrees of freedom pectoral mechanism and multilink body joints together with a caudal fin is developed. With full consideration of both mechanical configuration and propulsive p...

This paper presents the development of optimal takeoff maneuvers for an AC75 foiling sailboat competing in oldest and most prestigious competition world, America’s Cup. The many challenges to developing these due its nonlinear, high-dimensional, highly unstable dynamics. During maneuver, boat starts water with low speed (displacement mode) increases until it reaches steady-state (the hull stays...

In recent years, outsourcing has gained considerable management attention. However, the benefits of outsourcing are not without concessions. One major risk is losing the flexibility to change the extent, nature, or scope of the outsourced business services, and such flexibility is strategically imperative in today’s dynamic business environment. This paper seeks to clarify the multi-dimensional...

When modeling complex fluid networks using one-dimensional (1D) approaches, boundary conditions can be imposed zero-dimensional (0D) models. An application case is the of entire human circulation closed-loop These models considered as a tool to investigate short-term transient and stationary hemodynamic responses postural changes. The first shortcoming existing 1D methods in simulating these su...

Several optimal three-dimensional orbital transfer problems are solved for thrust-limited spacecrafts using collocation and nonlinear programming techniques. The solutions for full nonlinear equations of motion are obtained where the integrals of the free Keplerian motion in three dimensions are utilized for coasting arcs. In order to limit the solution space, interior-point constraints are use...

BACKGROUND Noncontact anterior cruciate ligament injuries often occur during sports such as soccer and basketball in which cutting or landing maneuvers are frequently performed. These injuries are more common in female athletes, and identifying biomechanical or neuromuscular risk factors related to gender may help with the development of preventive training programs aimed at reducing anterior c...