Abstract: A system and method for generating communications waveforms that can operate in congested frequency spaces and in applications in which the receiver is moving with respect to the transmitter is provided. In one or more examples, each symbol to be encoded and transmitted is converted into a sequence of frequency chirps. The sequence of frequencies used by the sequence of chirps is based on the symbol that is to be encoded. Each chirp can have a center frequency, and the frequency can be swept over the duration of the chirp. In this way each chirp can have a varying frequency over the duration of the chirp, but the phase of the chirp can be continuous throughout the duration of the chirp. The bandwidth and sweep rate of the chirp can be based on the expected maximum velocity of the receiver and the transmitter relative to one another.

Abstract: Systems and methods for automatically injecting effects in cyber-physical systems and their simulations are provided herein. In one example, the cyber-physical system under test can include one or more watch-point monitors that can analyze messages between components of the system to determine the presence of one or more particular patterns present in the messages being passed between components of the system during operation. In one or more examples, upon detection of one or more conditions matching a watch point, the systems and methods presented herein can activate an effect and inject it into the cyber-physical system under test based on the detected watch point. In one or more examples, the systems and methods can provide a domain-specific “effects language” (EL) that can allow a user to specify a watch point and an effect corresponding to the watch point.

Abstract: Disclosed herein are system, method, and computer program product embodiments for utilizing parallel links to improve sub-network availability and latency performance for ATC traffic. An embodiment operates by receiving a generated message. The type of the generated message is determined, where the type is an air traffic control message or a non-air traffic control message. Based on the type of message, communication links are selected, where the communication links include parallel transmission links or a serial link. The method continues by copying the generated message and transmitting the copied message using the selected communication links. The method waits to receive an acknowledgement indicating receipt of the transmitted message. Upon identifying an acknowledgement, any of the copied messages not yet retransmitted are deleted.

Abstract: Presented herein are systems and methods for generating a consistent set of signals to be processed by a PVT processor. In one or more examples, a GNSS receiver can receive a plurality of signals from a plurality of signal sources. In one or more examples, the systems and methods can generate clusters that have been vetted using cost functions so as to maximize the probability that any cluster that is sent to the PVT processor contains legitimate GNSS signals, and does not include any spoofed or otherwise illegitimate signals, thereby maximizing the probability that a PVT solution produced by the PVT processor is accurate.

Abstract: Methods and systems for translating a natural language user query into a graph database query are described. In some instances, the methods may comprise receiving a first input from a user comprising a natural language query regarding data in a graph database; processing the natural language query using a named entity recognition (NER) machine learning model to extract named entities from the natural language query and tag them according to an entity type; processing the tagged named entities using a semantic similarity algorithm to identify corresponding nodes and edges, and their associated properties, in the graph database; processing the natural language query using an intent classification machine learning model to determine a user intent for the natural language query; and applying a user intent-based template to the identified nodes and edges to formulate a graph database query that corresponds to the natural language query.

Abstract: The present invention is directed to liquid monomer mixtures that comprise at least one metal salt, at least one ionic liquid, at least one monomer, and at least one polymer initiator. The present invention is also directed to methods of making gel polymer electrolytes from the liquid monomer mixtures and methods of using the gel polymer electrolytes in batteries and other electrochemical technologies.

Abstract: Provided herein is an implementation of a finite impulse response (FIR) filter that uses a distributed arithmetic architecture. In one or more example, a data sample with multiple bits is processed through a plurality of bit-level multiply and accumulate circuits, wherein each bit of the data sample corresponds to a bit of the data sample. The output of each bit-level multiply and accumulate circuit can then be shifted by an appropriate amount based on the bit placement of the bit of the data sample that corresponds to the bit-level multiply and accumulate circuit. After each output is shifted by the appropriate amount, the outputs can be aggregated to form a final FIR filter result.

Abstract: Provided are systems and methods directed to identifying relationships between colloquial place names in a relational database. In some embodiments, a method of identifying relationships between colloquial place names in a relational database comprises receiving geographic location information; generating a vector corresponding to the geographic location; comparing the geographic location information vector to a plurality of colloquial place name vectors in a relational database that maps a plurality of colloquial place names to a plurality of corresponding colloquial place name vectors in a vector space, to generate a plurality of similarity scores that is calculated based on the geographic location information vector and each colloquial place name vector of the plurality of colloquial place name vectors; and identifying that one or more colloquial place names in the relational database are related to the geographic location information based on the plurality of similarity scores.

Abstract: Devices for determining a state of a magnetic field-generating article are provided. In various embodiments, a device comprises: a single crystal diamond having a plurality of NV centers, the single crystal diamond configured to be disposed adjacent to a magnetic field-generating article, and configured to generate a fluorescent signal in response to being illuminated by a light source; a coherent light source configured to generate a light beam directed at the single crystal diamond; a microwave (MW) radiation source configured to irradiate the single crystal diamond with a MW signal; a magnetic field source configured to apply a bias magnetic field to the single crystal diamond; a photosensor configured to collect the fluorescent signal generated by the single crystal diamond; and a computing node operatively coupled to each of the coherent light source, the MW radiation source, the magnetic field source, and the photosensor.

Abstract: Described are systems and methods for evaluating cyber effects in a cyber-physical system (CPS). In some embodiments, a simulation model of the CPS is built and includes an attacked component set and an evaluated component set. A control component is inserted into the simulation model. One or more direct connections between the attacked component set and the evaluated component set are disconnected. One or more indirect connections are identified and then disconnected from the simulation model with disconnected direct connections. The one or more direct connections and indirect connections are routed through the control component. A cyber-attack on the attacked component set can be simulated by configuring the control component to control outputs transmitted via a routed connection, the routed connection being one of the routed direct or indirect connections. The simulated components of the simulation model can be progressively and iteratively replaced by corresponding components from the CPS.

Abstract: Presented herein are systems and methods for simulating translated aircraft terminal procedures and comparing them to detect for errors in the translation of the terminal procedures. In one or more examples, one or more regulatory agency's routes and procedures for a given airspace are translated into one or more instructions that can be read by a flight computer that is configured to assist a pilot during a flight to adhere to those agency's procedures. A given terminal procedure can have multiple translations associated with it. In order to determine the accuracy of the translation process, in one or more examples, the translations provided by those vendors can be simulated by a computer that is configured to simulate an aircraft's traversal of an airspace using the instructions loaded on to the flight computer. The data generated by the simulations can be used to compare the translations to detect errors in the translation process.

Abstract: Provided herein are systems and methods for authenticating controlled area network (CAN) transmissions using physical layer characteristics. In one or more examples, a device that is configured to authenticate CAN transmissions can be connected to an existing CAN. The device can be configured to undergo a training phase in which average transition waveforms of one or more electronic control units (ECUs) are created. When the device is in operation, each CAN transmission received by the device can be compared against the average transition waveforms to determine the ECU that is most likely to have sent the transmission. In one or more examples, the identified most likely ECU can be compared against the ECU identified by an arbitration ID of the transmission. If there is a mismatch then in one or more examples the device can alert to the possibility of a suspicious ECU transmission.

Abstract: A polarization configurable patch antenna including a radiating layer, wherein the radiating layer has a corner truncated rectangular patch shape; and a feed capacitively coupled to the radiating layer for exciting the radiating layer, wherein the radiating layer is rotatable with respect to the feed, and the antenna is configured to generate a right-hand circularly polarized radiation field when the radiating layer is in a first rotational position and a left-hand circularly polarized radiation field when the radiating layer is in a second rotational position.

Abstract: Systems and methods for estimating magnetic susceptibility of a patient through continuous motion in an MRI scanner are provided herein. In one or more examples, during the collection of data, the patient can be instructed to move their head or other part of the body in a continuous manner and for a fixed duration of time. During the fixed duration of time, magnitude a data from the RF signal can be received by one or more RF coils can be collected. The received and undersampled magnitude data can be converted to phase data which can then be converted to magnetic susceptibility. Thus magnetic susceptibility can be determined while allowing for continuous motion during the MRI scan, which can be more comfortable and feasible for the patient in contrast to techniques that require the patient to hold their body at a particular orientation in the scanner for a fixed duration of time.

Abstract: Various embodiments directed to a work stand for holding a microscopic collection device for collecting a microscopic sample from a target surface, are provided. The work stand includes a first slit formed on a top surface of the work stand and capable of holding a first microscopic collection device comprising a first holding element and a first collection platform, wherein the first collection platform of the first microscopic collection device is perpendicular to the top surface. A second slit formed on the top surface of the work stand and capable of holding a second microscopic collection device comprising a second collection platform and a second holding element at an angle to the second collection platform perpendicular to the top surface of the work stand.

Abstract: The present invention is directed to liquid monomer mixtures that comprise at least one metal salt, at least one ionic liquid, at least one monomer, and at least one polymer initiator. The present invention is also directed to methods of making gel polymer electrolytes from the liquid monomer mixtures and methods of using the gel polymer electrolytes in batteries and other electrochemical technologies.

Abstract: A method for digital signal processing of sensor data includes receiving digitized samples of sensor signals via a network connection; converting the digitized samples into a standardized format; storing the converted digitized samples in a shared memory data structure in memory of a single instruction multiple data (SIMD) processor; and providing zero-copy read access to the converted digitized samples stored in the shared memory data structure to a plurality of applications.

Abstract: An apparatus that performs spoof detection of satellite signals based on clock information derived from the satellite signals. The apparatus may include a position, velocity, time (PVT) component that derives the clock information from the satellite signals and provides the clock information to a spoof detection mechanism. In some embodiments, the clock frequency estimate is modeled as a Wiener process.

Abstract: Provided are systems, methods, and devices for identifying correct satellite signals to improve the accuracy of a satellite navigation system. In some embodiments, identifying correct satellite signals may include receiving a plurality of satellite signals; demodulating the satellite signals to extract a first plurality of parameters; determining a first subset of parameters from the first plurality of parameters, wherein the first subset of parameters is based on a first geographic location; determining a second subset of parameters from a second plurality of parameters outside the first subset, the second plurality of parameters comprising one or more parameters of the first plurality of parameters outside the first subset, wherein the second subset of parameters is based on a second geographic location; and identifying an exemplary subset from the first subset and the second subset, wherein the exemplary subset comprises parameters corresponding to correct satellite signals.

Abstract: Systems and methods for generating a numerical model of the human head are provided. A numerical model may be created by generating a data array in a magnetic resonance modeling system, each cell of the array corresponding to a location in the head. The cells may be grouped into one or more regions, each group corresponding to a segment of the head. The cells of the array may be populated with values corresponding to tissue properties relevant to MR imaging. Tissue property values may be selected for each region based on one or more probability distributions. For each region and each tissue property, a value may be selected based on a corresponding probability distribution. Selected tissue property values may be input into cells in the array corresponding to the region with which the probability distribution is associated. The numerical model may be used as an input to an MRI simulator.