Iterative abstraction using SAT-based BMC with proof analysis
    491.
    发明申请
    Iterative abstraction using SAT-based BMC with proof analysis 失效
    使用基于SAT的BMC进行迭代抽象与证明分析

    公开(公告)号:US20040230407A1

    公开(公告)日:2004-11-18

    申请号:US10762499

    申请日:2004-01-23

    CPC classification number: G06F17/504

    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 translation: 使用针对混合布尔约束问题的SAT过程获得基于分辨率的不满足证明的方法,包括将约束表示为子句和互连门的组合。 证明是作为条件,电路门和门连接约束的组合获得的,足以满足不满足性。

    Scalable scan-path test point insertion technique
    493.
    发明申请
    Scalable scan-path test point insertion technique 失效
    可扩展扫描路径测试点插入技术

    公开(公告)号:US20040177299A1

    公开(公告)日:2004-09-09

    申请号:US10736879

    申请日:2003-12-16

    CPC classification number: G01R31/31858 G01R31/318328 G01R31/318583

    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 translation: 一种逻辑电路,包括至少一个输入,一个输出和延迟故障电路。 延迟故障电路包括第一标准扫描单元,位于扫描链中的第一标准扫描单元之后的组合测试点和位于扫描链中的组合测试点之后的第二标准扫描单元。

    Meta-search engine architecture
    494.
    发明申请
    Meta-search engine architecture 审中-公开
    元搜索引擎架构

    公开(公告)号:US20040143644A1

    公开(公告)日:2004-07-22

    申请号:US10404939

    申请日:2003-04-01

    CPC classification number: G06F16/2471 G06F16/24542

    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 translation: 一种用于经由一个或多个搜索通过对多个数据源进行搜索的元搜索系统,所述系统包括:搜索控制器,用于:i)发送具有指定路由的搜索查询对象,所述搜索查询对象列出了期望的多个查询处理器 被执行 ii)从所述多个执行的查询处理器接收数据请求对象并将数据请求对象发送给多个数据收集器,每个数据请求对象被发送到相关联的数据收集器,iii)从数据中接收与数据请求相关联的结果对象 收集器,以及iv)将结果对象发送到用户界面进行显示; 所述多个查询处理器根据指定的路由被执行以接收和处理搜索查询对象,每个查询处理器能够基于搜索查询对象和由一个或多个数据请求对象产生的一个或多个数据请求对象使能生成数据请求对象 更先前执行的查询处理器; 并且所述多个数据收集器中的每一个使能够将从搜索控制器接收的数据请求对象转换为与根据转换的请求执行搜索的外部数据源相关联的请求,并且每个数据收集器能够将 从外部数据源发送到结果对象的搜索。

    Extraordinary piezoconductance in inhomogeneous semiconductors
    495.
    发明申请
    Extraordinary piezoconductance in inhomogeneous semiconductors 失效
    非均匀半导体中的非凡压电陶瓷

    公开(公告)号:US20040129087A1

    公开(公告)日:2004-07-08

    申请号:US10626403

    申请日:2003-07-24

    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 translation: 在由半绝缘基板上制造的半导体薄膜和相邻的金属分流器形成的混合金属 - 半导体器件中观察到非常的压电电感或具有应变或压力的电导率的变化。 该器件包括用于向器件施加电流并用于测量所产生的感应电压的电极。 包括在半导体和金属分路之间的界面处的在器件中感应的应变改变了界面处的电阻。 该装置可用于测量应变或环境条件,如压力或温度。 使用该装置的传感器包括具有薄膜的框架,在该框架上携带该装置。 膜中的变形被转移到装置中以在装置中引起应变。

    Using web structure for classifying and describing web pages
    496.
    发明申请
    Using web structure for classifying and describing web pages 审中-公开
    使用网页结构对网页进行分类和描述

    公开(公告)号:US20030221163A1

    公开(公告)日:2003-11-27

    申请号:US10371814

    申请日:2003-02-21

    CPC classification number: G06F16/951 G06F16/353 G06F16/9558

    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 translation: 一种用于对目标网页进行分类的增强方法和系统以及使用虚拟文档的一组网页网页的描述,其中虚拟文档包括从多个网页中的每一个提取的扩展的定位文件,其包括至少一个 超链接引用每个目标网页。

    OPTIMIZING EDGE-ASSISTED AUGMENTED REALITY DEVICES

    公开(公告)号:US20250159339A1

    公开(公告)日:2025-05-15

    申请号:US18945989

    申请日:2024-11-13

    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.

    INTEGRATED SECURITY SYSTEM FOR SUBSTATION MONITORING AND DETECTION USING DISTRIBUTED ACOUSTIC SENSING, DRONES, AND SECURITY CAMERAS

    公开(公告)号:US20250148902A1

    公开(公告)日:2025-05-08

    申请号:US18935489

    申请日:2024-11-02

    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.

    ADVERSARIAL IMITATION LEARNING ENGINE FOR ACTION RISK ESTIMATION BASED ON SENSOR DATA

    公开(公告)号:US20250148540A1

    公开(公告)日:2025-05-08

    申请号:US18620099

    申请日:2024-03-28

    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.

    ADVERSARIAL IMITATION LEARNING MODEL

    公开(公告)号:US20250148292A1

    公开(公告)日:2025-05-08

    申请号:US18620125

    申请日:2024-03-28

    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.

Patent Agency Ranking