SIMULATED ANNEALING DEVICE AND SIMULATED ANNEALING METHOD

    公开(公告)号:US20240289640A1

    公开(公告)日:2024-08-29

    申请号:US18569705

    申请日:2021-06-18

    Inventor: Takuya ARAKI

    CPC classification number: G06N5/01 G06N10/80

    Abstract: A simulated annealing device includes a solving unit which solves a SAT (Boolean Satisfiability Testing) expressed in a CNF (Conjunctive Normal Form) form with constraint information indicating one or more constraints imposed on a combinatorial optimization problem converted, to obtain sets of values of multiple variables of the combinatorial optimization problem that satisfy the one or more constraints, which are candidate solutions to the combinatorial optimization problem.

    INFORMATION PROCESSING DEVICE, DATA PROCESSING METHOD THEREFOR, AND RECORDING MEDIUM

    公开(公告)号:US20190012366A1

    公开(公告)日:2019-01-10

    申请号:US16131311

    申请日:2018-09-14

    Inventor: Takuya ARAKI

    Abstract: An information processing device includes: a feature quantity obtaining unit which obtains a feature quantity of an object to be extracted, which is extracted from a retrieval target, and specific information to be specified an appearing location of it; a feature quantity holding unit which, when storing the feature quantity in a feature quantity table, adds new identification information to the feature quantity and holds the feature quantity in the feature quantity table when a similar feature quantity in which a similarity with the feature quantity is no less than a threshold is not included in the feature quantity table, and outputs identification information of the similar feature quantity as identification information of the feature quantity when the similar feature quantity is included in the feature quantity table; and a retrieval table holding unit which holds the specific information associated with the added identification information or the outputted identification information.

    COMBINATORIAL OPTIMIZATION PROBLEM SOLUTION DEVICE AND COMBINATORIAL OPTIMIZATION PROBLEM SOLUTION METHOD

    公开(公告)号:US20250103673A1

    公开(公告)日:2025-03-27

    申请号:US18809921

    申请日:2024-08-20

    Inventor: Takuya ARAKI

    Abstract: By solving SAT expressed in a form of CNF in which constraints other than a no-transformation constraint, which is a constraint that satisfies a prescribed condition among one or more constraints imposed on a combinatorial optimization problem, are transformed, so that the no-transformation constraint is satisfied, a solution unit obtains a combination of values of multiple variables of the combinatorial optimization problem, wherein the combination is a candidate of solution of the combinatorial optimization problem and satisfies the one or more constraints.

    ACCELERATOR CONTROL APPARATUS, ACCELERATOR CONTROL METHOD, AND STORAGE MEDIUM

    公开(公告)号:US20180300280A1

    公开(公告)日:2018-10-18

    申请号:US15737883

    申请日:2016-06-20

    Abstract: Provided is an accelerator control apparatus including: an accelerator that is configured to store at least one segment data item of a plurality of segment data items obtained by dividing data, and a boundary data item that is data item being included in a segment data item adjacent to the at least one segment data item; and data management unit to determine whether a width of data which is included in the boundary data item and is consistent with the segment data item adjacent to the at least one segment data item, is equal to or larger than a reference width representing a width of data referred to in processing executed by the accelerator.

Patent Agency Ranking