Processing logic rules in a SPARQL query engine

    公开(公告)号:US12298979B2

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

    申请号:US18079554

    申请日:2022-12-12

    Abstract: A computer-implemented method for processing a logic rule in a graph database. The method includes obtaining a graph database comprising at least one graph, each graph of the database being represented in one or more adjacency matrices (R-Matrix), each adjacency matrix representing a group of tuples of the graph comprising a same predicate, obtaining the logic rule concluding to a head predicate, generating a virtual adjacency matrix comprising one of the one or more adjacency matrices (R-Matrix) and an entailed data matrix (E-Matrix), the virtual adjacency matrix representing the head predicate, the entailed data matrix representing a group of tuples that are computed by applying the logic rule, and receiving a query by the database using the head predicate.

    OPERATOR CONNECTION IN BLOCK REPRESENTATION

    公开(公告)号:US20250148139A1

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

    申请号:US18940275

    申请日:2024-11-07

    Abstract: A computer-implemented method for designing a 3D modeled object representing a product to be manufactured, the designing method including, by a computer system, displaying simultaneously a 3D shape representation of the 3D modeled object, and a 2D block representation of the 3D modeled object. The method also comprises by a user interacting graphically with the 2D block representation, performing a selection of one or more block nodes among the at least one block node, upon user-action, adding to the 2D block representation a block node representing a respective operator of the subset, and automatically determining a respective arc between the output connector of each selected block node and a respective input connector of the added block node. The disclosure improves ergonomics.

    RENDERING OF OVERLAPPING TEXTURES IN 3D SCENE

    公开(公告)号:US20250054221A1

    公开(公告)日:2025-02-13

    申请号:US18801009

    申请日:2024-08-12

    Abstract: A computer-implemented method for rendering two overlapping textures in a 3D scene. The rendering method includes obtaining a first 3D support comprising a first rendered texture. The rendering method includes obtaining a second 3D support comprising a second rendered texture. The rendering method includes detecting that the second support intersects with the first support. The rendering method includes computing a third 3D support by merging the first 3D support and the second 3D support. The rendering method includes computing a third texture by mixing the first texture and the second texture. The rendering method includes rendering the computed third texture on the computed third 3D support. The rendering method includes displaying the rendered third texture on the third 3D support. The method forms an improved solution for rendering a 3D scene.

    DRAFT FEATURE DETECTION METHOD
    155.
    发明申请

    公开(公告)号:US20250021717A1

    公开(公告)日:2025-01-16

    申请号:US18770610

    申请日:2024-07-11

    Abstract: A computer-implemented method for CAD volume draft operator detection in a discrete 3D model representing a mechanical part. The method includes obtaining a segmentation of the discrete 3D model, iteratively grouping segments of the segmentation, and determining one or more CAD volume draft operators, each CAD volume draft operator corresponding to a respective group. Two segments of a pair of segments are grouped if: each segment of the pair is a drafted surface and both segments have a same respective drafting axis, and both segments have a same respective draft angle relative to the respective drafting axis, or at least one segment has a zero angle relative to the respective drafting axis; or one segment of the pair is a drafted surface and the other segment is a closing plane.

    CALIBRATION OF A BOOLEAN NETWORK MODELING A BIOLOGICAL PROCESS

    公开(公告)号:US20250014672A1

    公开(公告)日:2025-01-09

    申请号:US18766544

    申请日:2024-07-08

    Abstract: A computer-implemented method for calibration of a Boolean network. The Boolean network has Boolean functions. The Boolean network models a biological process. The method comprises providing the Boolean network. The method further includes obtaining experimental data related to the biological process. The method further includes calibrating the Boolean network according to the experimental data. The calibration includes converting the Boolean functions into Zhegalkin polynomials. The calibration further includes building, based on the Zhegalkin polynomials, on the Boolean network, and on the experimental data, a calibration Boolean proposition. The calibration Boolean proposition represents a transition system of the Boolean network and the experimental data. The calibration further includes applying a SAT solver to the calibration Boolean proposition.

    Method for consolidating a key indicator of a virtual object in a software component

    公开(公告)号:US12165093B2

    公开(公告)日:2024-12-10

    申请号:US17096709

    申请日:2020-11-12

    Inventor: Alexandre Laloi

    Abstract: A computer implemented method for consolidating at least one key indicator of a virtual object including, for a predefined configuration of the virtual object (OBJ), receiving a description of at least one key indicator of the virtual object, receiving a set of attributes of the virtual object, receiving a data model for indexation of said virtual object, receiving a set of rules to convert the attributes of the virtual object into the data model for indexation, applying the set of rules to convert said attributes into the data model for indexation, transforming, in an index, the data model for indexation into a directed acyclic graph, and consolidating, in a software component which is distinct from said index, said key indicator based on an expansion of the directed acyclic graph.

    COMPUTER IMPLEMENTED METHOD FOR OBTAINING AN ERROR FUNCTION FOR AN ELECTRICAL FILTER DESIGN

    公开(公告)号:US20240386161A1

    公开(公告)日:2024-11-21

    申请号:US18667769

    申请日:2024-05-17

    Inventor: Martin WILD

    Abstract: A filter design method isolates parasitic zeros in a modelled response by comparison with a representation of a target response, and computes an adjusted representation of the target response corresponding to an implementation of the adjusted target polynomial representation according to a desired filter type and incorporating the parasitic zeros thus isolated. The Parasitic zeros are then removed from this adjusted target polynomial representation, and also from the polynomial representation of the modelled response, and the two resulting representations used as the basis of an error function. This error function may then drive an iterative convergence minimising the error function, for example based on a stepwise convergence of parameters such as dimension values in a three dimensional model implementing each representation.

    Structural simulation of a mechanical part

    公开(公告)号:US12135924B2

    公开(公告)日:2024-11-05

    申请号:US17164715

    申请日:2021-02-01

    Abstract: A computer-implemented method of B-rep processing for performing structural simulation of a mechanical part including obtaining a first B-rep is described. The first B-rep forms a solid representing the mechanical part. The method further comprises providing a predetermined thickness threshold. The method further comprises constructing, based on the first B-rep, a second B-rep. The second B-rep forms a non-manifold object representing the mechanical part. The constructing comprises identifying one or more thin regions of the first B-rep. Each thin region has a thickness smaller than the predetermined thickness threshold. The constructing further comprises computing, for each identified thin region, a respective mid-surface of the identified thin region. The constructing further comprises replacing the identified thin region by the respective mid-surface.

    PREDICTING VASCULAR BEHAVIOR USING A VASCULAR TWIN

    公开(公告)号:US20240354475A1

    公开(公告)日:2024-10-24

    申请号:US18641104

    申请日:2024-04-19

    CPC classification number: G06F30/28 A61B5/026 A61B5/7264 A61B5/7475

    Abstract: A computer-implemented method for predicting vascular behavior of a patient, in particular a hemodynamic behavior. The method includes obtaining a vascular model of a circulatory system, one or more measurements of the vascular behavior of the patient, and a surrogate model comprising an artificial neural network. The vascular model represents a general vascular behavior and comprises a plurality of physiological parameters. The surrogate model is configured to predict a simulation of a vascular behavior from the physiological parameters. The method further includes calibrating the vascular model using the surrogate model and based on the one or more measurements; and predicting the vascular behavior of the patient using the calibrated vascular model.

Patent Agency Ranking