Abstract:
A method of obtaining a resolution-based proof of unsatisfiability using a SAT procedure for a hybrid Boolean constraint problem comprising representing constraints as a combination of clauses and interconnected gates. The proof is obtained as a combination of clauses, circuit gates and gate connectivity constraints sufficient for unsatisfiability.
Abstract:
A logic circuit comprising at least one input, one output and a delay fault circuit. The delay fault circuit includes a first standard scan cell, a combinational test point positioned immediately after the first standard scan cell in a scan chain and a second standard scan cell positioned immediately after the combinational test point in the scan chain.
Abstract:
A meta-search system for performing a search over a plurality of data sources via one or more search passes, the system comprising: a search controller for: i) transmitting a search query object having a specified route which lists a plurality of query processors desired to be executed; ii) receiving data request objects from the plurality of executed query processors and transmitting the data request objects to a plurality of data collectors, each data request object being transmitted to associated data collector, iii) receiving result objects associated with the data requests from the data collectors, and iv) transmitting the result objects to a user interface for display; the plurality of query processors being executed according to the specified route to receive and process the search query object, each of the query processors enabled to generate a data request object based on the search query object and one or more data request objects generated by one or more previously executed query processors; and each of the plurality of data collectors enabled to convert a data request object received from the search controller to a request associated with an outside data source that performs a search according to the converted request, and each data collector enabled to convert a result of the search transmitted from the outside data source to a result object.
Abstract:
Extraordinary piezoconductance, or change in conductance with strain or pressure, is observed in a hybrid metal-semiconductor device formed from a semiconductor thin film and an adjacent metal shunt fabricated on a semi-insulating substrate. The device includes electrodes for applying a current to the device and for measuring a resulting induced voltage. Strain that is induced in the device, including at the interface between the semiconductor and the metal shunt, changes the resistance at the interface. The device can be used to measure strain or environmental conditions such as pressure or temperature. A sensor using the device includes a frame with a thin membrane on which the device is carried. Deformations in the membrane are transferred to the device to induce strain in the device.
Abstract:
An enhanced method and system for the classification of a target web page and the description of a set of web pages web pages utilizing virtual documents, in which a virtual document comprises extended anchortext extracted from each of a plurality of web pages that includes at least one hyperlink citing each target web page.
Abstract:
Systems and methods for optimizing edge-assisted augmented reality (AR) devices. To optimize the AR devices, frame capture timings of AR devices can be profiled that capture relationships between the AR devices. Requests from the AR devices can be analyzed to determine accuracy of the frame capture timings of the AR devices based on a service level objective (SLO) metric. A frame timing plan that minimizes overall timing changes of the AR devices can be determined by adapting the accuracy of the frame capture timings to optimal adjustments generated based on a change in device metrics for requests below an accuracy threshold. Current frame capture timings of cameras of the AR devices can be adjusted based on the frame timing plan by generating a response pocket for the AR devices.
Abstract:
Disclosed are integrated systems and operating methods that provide an integrated security system for substation monitoring and detection that effectively combines the strengths of distributed acoustic sensing, drones, and security cameras for comprehensive protection. The integrated system comprises a DAS system configured to monitor vibrations and acoustic signals along the length of fiber optic cables, one or more drones equipped with advanced sensors for aerial surveillance, and a plurality of security cameras installed throughout the substation to capture real-time video feeds and provide visual confirmation of activities. A central control system integrates and analyzes data from the DAS system, drones, and security cameras, and utilizes a novel, advanced algorithm, named Substation Security Analytics (SSA), specifically designed for the unique challenges associated with substation security monitoring and detection.
Abstract:
Systems and methods are provided for classifying components include monitoring sensors to collect sensor data related to a state of a plurality of components; processing, by a computing system, the sensor data to generate an action sequence using a transformer-based policy network for each of the components. A risk score is generated for the action sequence using a Generative Adversarial Network (GAN), wherein the GAN includes a generator for generating action sequences and a discriminator to distinguish low-risk action sequences in accordance with a threshold. The low-risk action sequences are associated with components in the plurality of components based on the risk score. A status of the low-risk action sequences is communicated to the components.
Abstract:
Systems and methods train a transformer-based policy network and Generative Adversarial Network (GAN) by initializing a transformer-based policy network to model action sequences by encoding temporal dependencies within sensor data. Multi-head self-attention mechanisms process sequential sensor inputs by being pre-trained on a labeled dataset having sensor data from known low-risk action sequences. A generator within the GAN is trained to produce generated action sequences, which mimic behavior of low-risk action sequences. A discriminator within the GAN is concurrently trained to differentiate between action sequences derived from the labeled dataset and synthetic action sequences produced by the generator. A feedback loop is employed to adjust parameters to produce sequences indistinguishable from real low-risk action sequences. Risk scores are generated and low-risk action sequences are identified upon reaching a predetermined threshold for accuracy in distinguishing between real and synthetic action sequences.