-
公开(公告)号：US20180197092A1
公开(公告)日：2018-07-12
申请号：US15804545
申请日：2017-11-06
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Emrah Acar , Gradus Janssen , Rajiv V. Joshi , Tong Li
CPC classification number: G06N20/00 , G05B19/41875 , G05B2219/32077 , G06F11/00
Abstract: A computer-implemented method and computing system are provided for failure prediction of a batch of manufactured objects. The method includes classifying, by a processor using a simulation, a set of samples with uniformly distributed parameter values, to generate sample classifications for the batch of manufactured objects. The method further includes determining, by the processor, a centroid of failing ones of the samples in the set, based on the sample classifications. The method also includes generating, by the processor, a new set of samples with a distribution around the centroid of the failing ones of the sample in the set. The method additionally includes populating, by the processor, a nearest neighbor vector space using the new set of samples. The method further includes classifying, by the processor, the new set of samples by performing a nearest neighbor search on the nearest neighbor vector space using a distance metric.
-
公开(公告)号：US20180197091A1
公开(公告)日：2018-07-12
申请号：US15403820
申请日：2017-01-11
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Emrah Acar , Gradus Janssen , Rajiv V. Joshi , Tong Li
CPC classification number: G06N20/00 , G05B19/41875 , G05B2219/32077 , G06F11/00
Abstract: A computer-implemented method and computing system are provided for failure prediction of a batch of manufactured objects. The method includes classifying, by, a processor sing a simulation, a set of samples with uniformly distributed parameter values, to generate sample classifications for the batch of manufactured objects. The method further includes determining, by the processor, a centroid of failing ones of the samples in the set, based on the sample classifications. The method also includes generating, by the processor, a new set of samples with a distribution around the centroid of the failing ones of the sample in the set. The method additionally includes populating, by the processor, a nearest neighbor vector space using the new set of samples. The method further includes classifying, by the processor, the new set of samples by performing a nearest neighbor search on the nearest neighbor vector space using a distance metric.
-
Patent Agency Ranking
公开(公告)号：US11521062B2
公开(公告)日：2022-12-06
申请号：US16704240
申请日：2019-12-05
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Gradus Janssen , Vladimir Zolotov , Tung D. Le
Abstract: Processing a neural network data flow graph having a set of nodes and a set of edges. An insertion point is determined for a memory reduction or memory restoration operation. The determination is based on computing tensor timing slacks (TTS) for a set of input tensors; compiling a candidate list (SI) of input tensors, from the set of input tensors, using input tensors having corresponding TTS values larger than a threshold value (thTTS); filtering the SI to retain input tensors whose size meets a threshold value (thS); and determining an insertion point for the operation using the SI based on the filtering. A new data flow graph is generated or an existing one is modified using this process.
-
公开(公告)号：US11340977B2
公开(公告)日：2022-05-24
申请号：US15403820
申请日：2017-01-11
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Emrah Acar , Gradus Janssen , Rajiv V. Joshi , Tong Li
IPC: G06N20/00 , G06F11/07 , G05B19/418
Abstract: A computer-implemented method and computing system are provided for failure prediction of a batch of manufactured objects. The method includes classifying, by a processor sing a simulation, a set of samples with uniformly distributed parameter values, to generate sample classifications for the batch of manufactured objects. The method further includes determining, by the processor, a centroid of failing ones of the samples in the set, based on the sample classifications. The method also includes generating, by the processor, a new set of samples with a distribution around the centroid of the failing ones of the sample in the set. The method additionally includes populating, by the processor, a nearest neighbor vector space using the new set of samples. The method further includes classifying, by the processor, the new set of samples by performing a nearest neighbor search on the nearest neighbor vector space using a distance metric.
-
公开(公告)号：US11327825B2
公开(公告)日：2022-05-10
申请号：US15804545
申请日：2017-11-06
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Emrah Acar , Gradus Janssen , Rajiv V. Joshi , Tong Li
IPC: G06N20/00 , G06F11/07 , G05B19/418
Abstract: A computer-implemented method and computing system are provided for failure prediction of a batch of manufactured objects. The method includes classifying, by a processor using a simulation, a set of samples with uniformly distributed parameter values, to generate sample classifications for the batch of manufactured objects. The method further includes determining, by the processor, a centroid of failing ones of the samples in the set, based on the sample classifications. The method also includes generating, by the processor, a new set of samples with a distribution around the centroid of the failing ones of the sample in the set. The method additionally includes populating, by the processor, a nearest neighbor vector space using the new set of samples. The method further includes classifying, by the processor, the new set of samples by performing a nearest neighbor search on the nearest neighbor vector space using a distance metric.
-
公开(公告)号：US20210174190A1
公开(公告)日：2021-06-10
申请号：US16704240
申请日：2019-12-05
Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
Inventor： Gradus Janssen , Vladimir Zolotov , Tung D. Le
Abstract: Processing a neural network data flow graph having a set of nodes and a set of edges. An insertion point is determined for a memory reduction or memory restoration operation. The determination is based on computing tensor timing slacks (TTS) for a set of input tensors; compiling a candidate list (SI) of input tensors, from the set of input tensors, using input tensors having corresponding TTS values larger than a threshold value (thTTS); filtering the SI to retain input tensors whose size meets a threshold value (thS); and determining an insertion point for the operation using the SI based on the filtering. A new data flow graph is generated or an existing one is modified using this process.
-
公开(公告)号：US09665538B2
公开(公告)日：2017-05-30
申请号：US14145300
申请日：2013-12-31
Applicant: International Business Machines Corporation
Inventor： Gradus Janssen , Jinjun Xiong
CPC classification number: G06F17/11 , G06F17/5027
Abstract: One embodiment of a method for solving an input satisfiability instance includes searching a database for a stored satisfiability instance that matches the input satisfiability instance and outputting a solution to the input satisfiability instance. One embodiment of method for converting an input satisfiability instance into a standardized representation includes applying a plurality of syntactical simplification rules to the input satisfiability instance until no conditions of any of the plurality of syntactical simplification rules can be met, thereby producing a simplified instance, uniformly replacing each variable in the simplified instance with a unique, consecutively chosen even number, annotating each literal in the simplified instance to indicate whether the each literal is positive or negative, ordering all literals in the simplified instance, and ordering all clauses in the simplified instance to produce the standardized representation.
-
-
-
-
-
-
Search Results
7
records
(took 0.016 seconds)
