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 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: 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: 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: 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: 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: 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: 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: 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.

Abstract: Described are methods, systems, and computer-program product embodiments for deriving a model of computation of a cyber-physical system (CPS). In some embodiments, a method includes receiving, from the CPS network, network-events data corresponding to a process performed by the CPS and including network events and associated group IDs. A plurality of events logs for a plurality of selections of group IDs are generated with each events log including a sequence of network events selected from the network events based on the selection of group IDs for that events log. A plurality of directed graphs for the plurality of events logs are generated with each directed graph generated based on the sequence of network events in the events log. A plurality of group IDs can be determined based on a directed graph selected from the plurality of directed graphs based on a complexity score calculated for each directed graph.

Abstract: Systems and methods for mitigating ground induced currents are provided. In one or more examples, the systems and methods can utilize one or more device(s) that can be configured to detect DC currents being induced in and propagated along a power line that is transmitting an AC power signal. In one or more examples the device can be separate the desirable AC power waveform from the undesirable induced DC voltage and determine if the level of induced DC propagating on the power line requires mitigation. In one or more examples, if it is determined that mitigation is required, then the device can be configured to trigger a switch that can be shunt the DC power at the AC waveform zero crossing to a circuit element that is configured to dissipate the undesirable DC current. Filtering can be employed to remove any inadvertent low voltage harmonic distortion. The switch can be triggered during a zero-crossing of the signal to minimize disruption to an end user of the power signal.

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: 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: Described are systems and methods for detecting an anomaly among a plurality of components operating in a system. In some embodiments, a method includes monitoring a plurality of metrics for the plurality of components across a plurality of time periods. For each time period, the plurality of components is clustered into a plurality of clusters based on measurement information corresponding to the plurality of metrics received for the time period. For each component, a plurality of correspondences is determined between the clusters in which the component is grouped for a plurality of pairs of adjacent time periods. Then, whether each component is operating anomalously can be determined based on the plurality of determined correspondences.