-
公开(公告)号:US20240289640A1
公开(公告)日:2024-08-29
申请号:US18569705
申请日:2021-06-18
Applicant: NEC Corporation
Inventor: Takuya ARAKI
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.
-
公开(公告)号:US20230359691A1
公开(公告)日:2023-11-09
申请号:US18023436
申请日:2020-09-03
Applicant: NEC Corporation
Inventor: Takuya ARAKI , Fumiyo TAKANO , Hiroaki INOUE , Motoi SUZUKI , Yuki KOBAYASHI , Takahiro NISHIMURA , Hiroshi CHISHIMA , Akihiro YATABE
IPC: G06F17/11
CPC classification number: G06F17/11
Abstract: The conversion means 72 generates a program for deriving a QUBO matrix that is a matrix that defines an energy function of QUBO, by converting a description of a natural language representing a combinatorial optimization problem into a description of the program for deriving the QUBO matrix. It is possible to generate a program for deriving a QUBO matrix based on a description of a natural language representing a combinatorial optimization problem.
-
公开(公告)号:US20190012366A1
公开(公告)日:2019-01-10
申请号:US16131311
申请日:2018-09-14
Applicant: NEC Corporation
Inventor: Takuya ARAKI
IPC: G06F17/30
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.
-
公开(公告)号:US20250103673A1
公开(公告)日:2025-03-27
申请号:US18809921
申请日:2024-08-20
Applicant: NEC Corporation
Inventor: Takuya ARAKI
IPC: G06F17/11
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.
-
公开(公告)号:US20210073515A1
公开(公告)日:2021-03-11
申请号:US17084870
申请日:2020-10-30
Applicant: NEC CORPORATION
Inventor: Jianquan LIU , Shoji NISHIMURA , Takuya ARAKI , Yasufumi HIRAKAWA
IPC: G06K9/00 , G06F16/783 , G06F16/00
Abstract: A data processing apparatus (1) of the present invention includes a unit that retrieves a predetermined subject from moving image data. The data processing apparatus includes a person extraction unit (10) that analyzes moving image data to be analyzed and extracts a person whose appearance frequency in the moving image data to be analyzed satisfies a predetermined condition among persons detected in the moving image data to be analyzed, and an output unit (20) that outputs information regarding the extracted person.
-
公开(公告)号:US20190156508A1
公开(公告)日:2019-05-23
申请号:US16258863
申请日:2019-01-28
Applicant: NEC Corporation
Inventor: Yasufumi HIRAKAWA , Jianquan LIU , Shoji NISHIMURA , Takuya ARAKI
Abstract: Provided is an analysis apparatus (10) including a person extraction unit (11) that analyzes video data to extract a person, a time calculation unit (12) that calculates a continuous appearance time period for which the extracted person has been continuously present in a predetermined area and a reappearance time interval until the extracted person reappears in the predetermined area for each extracted person, and an inference unit (13) that infers a characteristic of the extracted person on the basis of the continuous appearance time period and the reappearance time interval.
-
公开(公告)号:US20180300280A1
公开(公告)日:2018-10-18
申请号:US15737883
申请日:2016-06-20
Applicant: NEC CORPORATION
Inventor: Jun SUZUKI , Masaki KAN , Yuki HAYASHI , Takuya ARAKI
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.
-
公开(公告)号:US20240037185A1
公开(公告)日:2024-02-01
申请号:US18011329
申请日:2020-06-29
Applicant: NEC Corporation
Inventor: Fumiyo TAKANO , Hiroaki INOUE , Takuya ARAKI , Motoi SUZUKI , Yuki KOBAYASHI , Takahiro NISHIMURA , Hiroshi CHISHIMA , Akihiro YATABE
IPC: G06F17/18
CPC classification number: G06F17/18
Abstract: The inconsistency determination device 1 includes inconsistency determination means 9. The inconsistency determination means 9 determines whether or not there is inconsistency in an expression, which is to be converted into an energy function of a model representing states of individual spins by a first value or a second value, representing energy in a combinatorial optimization problem.
-
9.
公开(公告)号:US20230306074A1
公开(公告)日:2023-09-28
申请号:US18020526
申请日:2020-08-20
Applicant: NEC Corporation
Inventor: Motoi SUZUKI , Hiroaki INOUE , Takuya ARAKI , Fumiyo TAKANO , Yuki KOBAYASHI , Hiroshi CHISHIMA , Takahiro NISHIMURA , Akihiro YATABE
Abstract: The difference matrix calculation means 72 calculates a difference matrix which is a difference between a first matrix representing a combinatorial optimization problem for which a solution was found last time and a second matrix representing the latest combinatorial optimization problem. The difference matrix compression means 73 compresses the difference matrix. The transmission means 74 transmits the difference matrix after compression to a combinatorial optimization problem solution device that finds a solution to the combinatorial optimization problem.
-
公开(公告)号:US20190156509A1
公开(公告)日:2019-05-23
申请号:US16258899
申请日:2019-01-28
Applicant: NEC Corporation
Inventor: Yasufumi HIRAKAWA , Jianquan LIU , Shoji NISHIMURA , Takuya ARAKI
Abstract: Provided is an analysis apparatus (10) including a person extraction unit (11) that analyzes video data to extract a person, a time calculation unit (12) that calculates a continuous appearance time period for which the extracted person has been continuously present in a predetermined area and a reappearance time interval until the extracted person reappears in the predetermined area for each extracted person, and an inference unit (13) that infers a characteristic of the extracted person on the basis of the continuous appearance time period and the reappearance time interval.
-
-
-
-
-
-
-
-
-