Abstract: Methods and apparatus of tracking moving targets from air vehicles are disclosed. An example method in response to an estimated speed and an estimated location of a moving target, determines a detectability zone surrounding the moving target; and causes an air vehicle to follow the moving target outside of the detectability zone.

Abstract: The present disclosure relates to a method of inferring data relating to atmospheric conditions within an airspace of interest using observations of aircraft trajectories. Information relating to aircraft intent may also be inferred. Aircraft flying within the airspace are identified, and their trajectories and aircraft type are determined. Aircraft performance data relating to that type of aircraft is retrieved from memory, along with any filed aircraft intent data. Then, the atmospheric conditions data and, optionally, any missing aircraft intent data that, in combination with the filed aircraft intent data and the aircraft performance data, would give rise to the determined trajectory for each processed aircraft are inferred. The atmospheric data and optionally the missing aircraft intent data are provided as an output.

Abstract: The method of the present invention comprises acquiring input data of both aircraft performance characteristics and atmospheric data, and defining trajectory parameters to which the aircraft trajectory must be subjected, the method further comprising defining aircraft trajectory parameters; acquiring a plurality of atmospheric forecast ensembles; calculating a predicted trajectory from each atmospheric forecast of an atmospheric forecast ensemble, said predicted trajectory having associated information regarding a certain figure of merit of the aircraft trajectory, wherein an ensemble of predicted trajectories is obtained from each atmospheric forecast ensemble, each predicted trajectory of the ensemble of predicted trajectories having an associated probability derived from the probability of each atmospheric forecast within an atmospheric forecast ensemble; the system of the present disclosure comprising all the necessary equipment to carry out the method of the present disclosure.

Abstract: The invention relates to a method for computing a bound B up to a given confidence level 1-4, of an error in a state vector estimation KSV of a state vector TSV of a physical system as provided by a Kalman filter. The method decomposes the errors of the Kalman solution as a sum of the errors due to each of the measurement types used in the filter, In addition, the contribution of each type of measurement is bounded by a multivariate t-distribution that considers the error terms from all the epochs processed. Then, the method implements three main operations: computing a probability distribution of the measurement errors for each epoch and measurement type; summing the previous distributions to obtain a global distribution that models the Kalman solution error; and computing the error bound B for a given confidence level from the resulting distribution.

Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.

Abstract: The present invention provides a system and method of producing a description of the flight intent of an aircraft expressed using a formal language. The description may be used to generate a predicted aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to express the flight intent of the aircraft in a formal language. The flight intent describes a flight in terms of flight segments, and provides information of the path to be flown and how it is to be flown. The flight intent does not necessarily define unambiguously the aerodynamic configuration of the aircraft and the motion of the aircraft during the flight. The flight intent is used alongside other information to generate the aircraft intent that does describe unambiguously the aircraft's trajectory.

Abstract: Example aircraft intent processors are described herein that can be used both for the prediction of an aircraft's trajectory from aircraft intent, and the execution of aircraft intent for controlling the aircraft. An example aircraft intent processor includes an aircraft intent input to receive aircraft intent data representative of aircraft intent instructions, an aircraft state input to receive state data representative of a state of the aircraft, and a residual output. The aircraft intent processor is to calculate residual data representative of an error between a state of the aircraft commanded by the received aircraft intent data and the state of the aircraft expressed by received state data, and output the residual data via the residual output.

Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.

Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.

Abstract: The present disclosure provides a computer-implemented method of generating a description of aircraft intent expressed in a formal language that provides an unambiguous description of an aircraft's intended motion and configuration during a period of flight. A description of flight intent is parsed to provide instances of flight intent, each instance of flight intent spanning a flight segment. For each flight segment, an associated flight segment description is generated that comprises one or more instances of flight intent that describe the aircraft's motion in at least one degree of freedom of motion. One or more instances of flight intent are added to flight segments to close all degrees of freedom of motion. The flight segment descriptions are collated thereby providing a description of aircraft intent for the period of flight expressed in a formal language.

Abstract: A method of detecting conflicts between aircraft passing through managed airspace, and to resolving the detected conflicts strategically. Air traffic control apparatus arranged to manage airspace through which aircraft are flying is provided that comprises processing means configured to receive aircraft intent data describing an aircraft's intended flight path, to launch a conflict detection procedure in which it computes a user-preferred trajectory for each of the aircraft based on the aircraft intent and determines whether any conflicts will arise, to launch a conflict resolution procedure in which it calculates revisions of the aircraft intent of the conflicted aircraft to remove the conflicts, and to transmit to the aircraft the revised aircraft intent data.

Abstract: The present disclosure relates to a method of inferring data relating to atmospheric conditions within an airspace of interest using observations of aircraft trajectories. Information relating to aircraft intent may also be inferred. Aircraft flying within the airspace are identified, and their trajectories and aircraft type are determined. Aircraft performance data relating to that type of aircraft is retrieved from memory, along with any filed aircraft intent data. Then, the atmospheric conditions data and, optionally, any missing aircraft intent data that, in combination with the filed aircraft intent data and the aircraft performance data, would give rise to the determined trajectory for each processed aircraft are inferred. The atmospheric data and optionally the missing aircraft intent data are provided as an output.

Abstract: The present disclosure provides a computer-implemented method of generating a description of aircraft intent expressed in a formal language that provides an unambiguous description of an aircraft's intended motion and configuration during a period of flight. A flight intent description is parsed to provide instances of flight intent that span a flight segment, the flight segments together spanning the period of flight. The parsed flight intent is converted into parametric aircraft intent by generating an associated flight segment description for each flight segment that comprises instances of flight intent to close all associated degrees of freedom of motion and of configuration of the aircraft. At least some flight segment descriptions contain a parameter range, and the method further comprises optimizing the parametric aircraft intent by determining an optimal value for the parameter of each parameter range.

Abstract: The present disclosure relates to methods of calculating and flying continuous descent approaches to an airport or the like, and to aircraft navigation systems for implementing these methods. The present disclosure resides in the recognition that greater predictability in arrival times may be achieved by flying continuous descent approaches by maintaining a constant aerodynamic flight path angle.

Abstract: A method of detecting conflicts between aircraft passing through managed airspace, and to resolving the detected conflicts strategically. Air traffic control apparatus arranged to manage airspace through which aircraft are flying is provided that comprises processing means configured to receive aircraft intent data describing an aircraft's intended flight path, to launch a conflict detection procedure in which it computes a user-preferred trajectory for each of the aircraft based on the aircraft intent and determines whether any conflicts will arise, to launch a conflict resolution procedure in which it calculates revisions of the aircraft intent of the conflicted aircraft to remove the conflicts, and to transmit to the aircraft the revised aircraft intent data.

Abstract: The present disclosure provides a computer-implemented method of generating a description of aircraft intent expressed in a formal language that provides an unambiguous description of an aircraft's intended motion and configuration during a period of flight. A flight intent description is parsed to provide instances of flight intent that span a flight segment, the flight segments together spanning the period of flight. The parsed flight intent is converted into parametric aircraft intent by generating an associated flight segment description for each flight segment that comprises instances of flight intent to close all associated degrees of freedom of motion and of configuration of the aircraft. At least some flight segment descriptions contain a parameter range, and the method further comprises optimising the parametric aircraft intent by determining an optimal value for the parameter of each parameter range.

Abstract: The present disclosure provides a computer-implemented method of generating a description of aircraft intent expressed in a formal language that provides an unambiguous description of an aircraft's intended motion and configuration during a period of flight. A description of flight intent is parsed to provide instances of flight intent, each instance of flight intent spanning a flight segment. For each flight segment, an associated flight segment description is generated that comprises one or more instances of flight intent that describe the aircraft's motion in at least one degree of freedom of motion. One or more instances of flight intent are added to flight segments to close all degrees of freedom of motion. The flight segment descriptions are collated thereby providing a description of aircraft intent for the period of flight expressed in a formal language.

Abstract: Described herein are compositions and methods for the prevention and treatment of hematopoietic malignancies. The compositions are miRNAs and associated nucleic acids.

Abstract: The present invention provides a system and method of producing a description of the flight intent of an aircraft expressed using a formal language. The description may be used to generate a predicted aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to express the flight intent of the aircraft in a formal language. The flight intent describes a flight in terms of flight segments, and provides information of the path to be flown and how it is to be flown. The flight intent does not necessarily define unambiguously the aerodynamic configuration of the aircraft and the motion of the aircraft during the flight. The flight intent is used alongside other information to generate the aircraft intent that does describe unambiguously the aircraft's trajectory.

Abstract: The present disclosure relates to methods of calculating and flying continuous descent approaches to an airport or the like, and to aircraft navigation systems for implementing these methods. The present disclosure resides in the recognition that greater predictability in arrival times may be achieved by flying continuous descent approaches by maintaining a constant aerodynamic flight path angle.