Abstract: Methods, systems and computer program products for detecting anomalies for a database system are provided. A method may include extracting workload features from a query optimizer based on a query workload and generating feature models for the extracted workload features. The method may also include extracting instance features from the query optimizer based on a query instance. Instance feature values may be obtained. The method may further include applying a query instance to the workload feature models to produce a prediction value for each workload feature. Anomalies may be reported based on a comparison of each instance feature value with a corresponding prediction value. A system for detecting anomalies for a database system may include a query optimizer, a feature modeler and an anomaly detector.

Abstract: A Secure Remote Peripheral Encryption Tunnel (SeRPEnT) can be implemented in a portable embedded device for the Universal Serial Bus (USB) with a much more restricted attack surface than a general purpose client computer. The SeRPEnT device can comprise a small, low-power “cryptographic switchboard” that can operate in a trusted path mode and a pass-through mode. In the trusted path mode, the SeRPEnT device can tunnel connected peripherals through the client to a server with Virtual Machine (VM)-hosted applications. In the pass-through mode, the SeRPEnT device can pass-through the connected peripherals to the client system, allowing normal use of the local system by the user. SeRPEnT can also enable secure transactions between the user and server applications by only allowing input to the VMs to originate from the SeRPEnT device.

Abstract: Systems, methods, and computer program products for flight validation (FV) are provided. Embodiments implement the requirements of FAA Notice 8260.67 as they relate to FV. Embodiments enable FV to be performed in its entirety, including flight and/or ground obstacle assessment, and on-course/on-path flight evaluation. Embodiments enable a post-flight validation phase, which provides post flight analysis and archiving capabilities. Using embodiments, a person of minimal skill and training can perform FV as prescribed by FAA requirements. Accordingly, significant costs associated with hiring professional surveyors and air crews to perform obstacle assessment and flight evaluation can be eliminated. Embodiments can be implemented using commercial off-the-shelf (COTS) and relatively inexpensive hardware, making them suitable for large-scale FV operations.

Abstract: A fluid percussion system for modeling penetrating brain injury includes a fluid percussion device that takes inputs in the form of pressurized gas and electrical signals from a computer and outputs a single hydraulic pulse, or multiple hydraulic pulses in quick succession. The fluid percussion device may include a pneumatic cylinder assembly and a hydraulic cylinder assembly that is actuated by the pneumatic cylinder assembly to produce the hydraulic pulse(s) of pressurized fluid. Each pulse may be used to rapidly inflate and deflate an attached balloon (representing a brain penetrating device). The balloon may be inserted in a test specimen, and the rapid inflation and deflation of the balloon creates a lesion that simulates a penetrating brain injury. A calibration system that employs an optical sensor may be used to determine maximum balloon diameter achieved during rapid inflation.

Abstract: A method, computer program product, and system are provided for computing link supportability in a WCDMA communications system. For example, the method can be used to calculate link supportability of a transponder in satellite communications system (e.g. MUOS) in a user-to-base direction. This method can include expressing a carrier signal to noise ratio spectral density for a communication link of interest in terms of a transponder input power of the communication link of interest, a spectral overlap factor representative of one or more interfering communication links, and a transponder input power of the one or more interfering communication links. Assumptions and approximations can be made to simplify the spectral density expression in order to reduce a dimensionality of terms used in the computation of the expression. As such, in reducing dimensionality, the expression becomes a manageable computation for WCDMA communication systems to evaluate.

Abstract: A method of characterizing an airborne spacing operation is provided. The method includes determining, using a computer, a spacing tolerance based on a performance objective for the spacing operation, determining, using a computer, a minimum state data level and a minimum speed performance level based on the spacing tolerance, determining, using a computer, an airborne functionality required to meet the performance objective, and providing, using a computer, a required interval management performance (RIMP) category for the airborne spacing operation, the RIMP category specifying the spacing tolerance, the minimum state data level, the minimum speed performance level, and the airborne functionality.

Abstract: Embodiments provide an advanced decision support tool to enable automated aircraft sequencing and conflict detection and resolution. The tool can be used to assist an air traffic controller (ATC) in determining merging, sequencing, and spacing resolutions; communicating the resolutions to the aircraft; and monitoring execution and compliance with the provided resolutions. According to embodiments, the tool can incorporate a broad range of inputs (e.g., surveillance data, weather information, aircraft equipage, etc.) and can be configured according to different aircraft sequencing modes of operation (e.g., one mode of operation is to minimize aircraft deviations necessary to resolve a particular conflict). In an embodiment, the tool includes a controller interface, which may be integrated within the controller interface of existing ATC systems or implemented separately. Embodiments can be implemented using software, hardware, or a combination thereof.

Abstract: Power control of a digital datalink system within an aeronautical telecommunication network is described herein. According to embodiments, the system is configured to calculate the transmission power of an air-based communication station, based on the transmission power used by a ground-based communication station, wherein the transmission power of the air-based communication station is sot to a decibel level higher than or equal to the transmission power of the ground-based communication station.

Abstract: A system, method, and computer program product are provided for requesting a proof of a security policy in a client system. Additionally, a system, method, and computer program product are provided for proving a security policy to an interrogator system.

Abstract: Computer-implemented methods, systems, and computer readable mediums for solving large systems of linear equations, such as for aircraft traffic control and analysis, are disclosed. A method for aircraft traffic control, includes receiving as input, airspace sector information and aircraft traffic information, configuring a homogeneous system of linear inequalities comprising a plurality of linear inequalities based upon the airspace sector information and the aircraft traffic information, and resolving the homogeneous linear system to determine a second airspace sector information and a second aircraft traffic information, wherein the second airspace sector information and the second aircraft traffic information are based upon a predetermined future point of time, and wherein the resolving includes at least one of reducing a maximum infeasibility of the homogeneous linear system and reducing a sum infeasibility of the homogeneous linear system.

Abstract: A method of optimizing an antenna system can include determining a desired angle to rotate an antenna based on an axial ratio of electromagnetic waves exiting a radome that surrounds the antenna. The desired angle can be determined by a computing device based on a set of axial ratio values.

Abstract: Systems, methods and computer-readable media that facilitate matching biometric data to entries in a gallery of biometric data. According to embodiments, a method is provided to match a query comprising biometric data to zero or more of the entries in the gallery. According to this method, a match query is received. The entries in the gallery of biometric data can then be filtered using features of the biometric data to produce a subset of entries that excludes unlikely matches to the query biometric data. A set of candidate entries can be created from the subset of entries where the candidate entries are high probability matches to the query biometric data above a certain pre-determined threshold.

Abstract: Methods and systems for post processing synchronization of bistatic radar data are disclosed. A transmitter is configured to transmit pulses at a first rate controlled by a first local oscillator. A receiver is configured to receive pulses at a second rate controlled by a second oscillator. A processing device is configured to synchronize, with respect to the first rate, in-phase quadrature data received from the receiver using a keystone formatting technique.

Abstract: A method of performing a flight simulation is provided. The method includes retrieving a flight action, mapping the flight action to an instruction, the instruction being is configured to bring about a desired state of a flight simulator, identifying a command based on the desired state of the flight simulator and a first state of the flight simulator, and determining if a second state of the flight simulator after executing the command matches the desired state of the flight simulator.

Abstract: Systems, methods and computer program products for the ranking of a target data set based on learned rules are disclosed. One embodiment is a method that includes generating a learned rule set from a training data record set, creating at least one prototype for each rule in the learned rule set to generate a prototype set, and ranking the target data record set using learned rule set and the prototype set. The generating of a learned rule set includes dividing the training data record set to a positive class and a negative class, and deriving the learned rule set for the positive class. Learning of rules includes deriving the most general projected rules with respect to remaining training data and then refining those rules, eventually selecting the best rules using an F-measure.

Abstract: A method, computer program product, and system are provided for computing link supportability in a WCDMA communications system. For example, the method can be used to calculate link supportability of a transponder in satellite communications system (e.g. MUOS) in a user-to-base direction. This method can include expressing a carrier signal to noise ratio spectral density for a communication link of interest in terms of a transponder input power of the communication link of interest, a spectral overlap factor representative of one or more interfering communication links, and a transponder input power of the one or more interfering communication links. Assumptions and approximations can be made to simplify the spectral density expression in order to reduce a dimensionality of terms used in the computation of the expression. As such, in reducing dimensionality, the expression becomes a manageable computation for WCDMA communication systems to evaluate.

Abstract: A system, method, and computer program product are provided for selecting a service to provide a service operation.

Abstract: Methods and systems for enabling robust routing between protected enclaves over an unsecured network are provided herein. In one aspect, the present invention provides methods and systems for enabling routing among a plurality of protected enclaves, each supported by one or more secure gateways, over an unsecured network. Methods and systems according to the present invention achieve key routing requirements while presenting solutions that can be readily scaled to large network environments. In another aspect, the present invention provides methods and systems for implementing a Prefix Discovery Server (PDS) that enables the mapping of Plain Text (PT) networks to secure gateways, maintains current network routing information, and assists VPN gateways in determining routes to remote protected enclaves.

Abstract: Described are methods and apparatus, including a method of manufacture, for a compact antenna. Two biconical dipole antennas and a monocone monopole antenna are displaced in an adjacent and orthogonal configuration. The two biconical dipole antennas are each shunted to the monocone monopole antenna.

Abstract: Systems and methods are provided for remotely identifying and classifying materials based on their respective complex permittivity features. Materials of interest to be identified in later inspections are cataloged according to their respective complex permittivity features by applying electromagnetic fields to them and determining their complex permittivity features. That library of features is used to compare field measurements taken during an inspection to determine the presence of a material of interest and to identify it.