公开(公告)号：US20110288808A1

公开(公告)日：2011-11-24

申请号：US12784142

申请日：2010-05-20

申请人： Wei Fan ,  Nagui Halim ,  Mark C. Johnson ,  Srinivasan Parthasarathy ,  Deepak S. Turaga ,  Olivier Verscheure

发明人： Wei Fan ,  Nagui Halim ,  Mark C. Johnson ,  Srinivasan Parthasarathy ,  Deepak S. Turaga ,  Olivier Verscheure

IPC分类号： G06F19/00 ,  G01R31/26

CPC分类号： G06F11/27 ,  G01R31/2894

摘要： The present invention describes a method and system for optimizing a test flow within each ATE (Automated Test Equipment) station. The test flow includes a plurality of test blocks. A test block includes a plurality of individual tests. A computing system schedule the test flow based one or more of: a test failure model, test block duration and a yield model. The failure model determines an order or sequence of the test blocks. There are at least two failure models: independent failure model and dependant failure model. The yield model describes whether a semiconductor chip is defective or not. Upon completing the scheduling, the ATE station conducts tests according to the scheduled test flow. The present invention can also be applied to software testing.

摘要翻译： 本发明描述了用于优化每个ATE（自动测试设备）站内的测试流程的方法和系统。 测试流程包括多个测试块。 测试块包括多个单独测试。 计算系统基于以下一个或多个来计划测试流程：测试失败模型，测试块持续时间和产量模型。 故障模型确定测试块的顺序或顺序。 至少有两种故障模型：独立故障模型和依赖故障模型。 产量模型描述了半导体芯片是否有缺陷。 完成调度后，ATE站根据预定的测试流程进行测试。 本发明也可以应用于软件测试。

公开(公告)号：US09292576B2

公开(公告)日：2016-03-22

申请号：US13570680

申请日：2012-08-09

申请人： Alain E. Biem ,  Timothy R. Dinger ,  Nagui Halim ,  Gang Luo ,  Daby M. Sow ,  Deepak S. Turaga

发明人： Alain E. Biem ,  Timothy R. Dinger ,  Nagui Halim ,  Gang Luo ,  Daby M. Sow ,  Deepak S. Turaga

IPC分类号： G06F17/30 ,  G06N5/02 ,  G06F19/00

CPC分类号： G06F19/324 ,  G06F17/30516 ,  G06F19/00 ,  G06N5/02 ,  G16H50/20

摘要： A method of analyzing physiological data streams. According to the method, physiological data is received into a computerized machine. The physiological data comprises numerical data and medical symptoms of a patient. Features are extracted from the physiological data based on development of the physiological data over a period of time. The features are converted into a textual representation using natural language generation. Input terms for an information retrieval system operating on the computerized machine are automatically generated based on the features. The input terms are input to the information retrieval system. A corpus of data is automatically searched to retrieve results to the input terms using the information retrieval system.

摘要翻译： 分析生理数据流的方法。 根据该方法，将生理数据接收到计算机化机器中。 生理数据包括患者的数值数据和医学症状。 基于一段时间内生理数据的发展，从生理数据中提取特征。 使用自然语言生成将特征转换为文本表示。 基于功能自动生成在计算机化机器上运行的信息检索系统的输入项。 输入项输入到信息检索系统。 使用信息检索系统自动搜索数据语料库以将结果检索到输入项。

公开(公告)号：US20140046889A1

公开(公告)日：2014-02-13

申请号：US13570680

申请日：2012-08-09

申请人： Alain E. Biem ,  Timothy R. Dinger ,  Nagui Halim ,  Gang Luo ,  Daby M. Sow ,  Deepak S. Turaga

发明人： Alain E. Biem ,  Timothy R. Dinger ,  Nagui Halim ,  Gang Luo ,  Daby M. Sow ,  Deepak S. Turaga

IPC分类号： G06N5/02 ,  G06F17/30

CPC分类号： G06F19/324 ,  G06F17/30516 ,  G06F19/00 ,  G06N5/02 ,  G16H50/20

摘要： A method of analyzing physiological data streams. According to the method, physiological data is received into a computerized machine. The physiological data comprises numerical data and medical symptoms of a patient. Features are extracted from the physiological data based on development of the physiological data over a period of time. The features are converted into a textual representation using natural language generation. Input terms for an information retrieval system operating on the computerized machine are automatically generated based on the features. The input terms are input to the information retrieval system. A corpus of data is automatically searched to retrieve results to the input terms using the information retrieval system.

摘要翻译： 分析生理数据流的方法。 根据该方法，将生理数据接收到计算机化机器中。 生理数据包括患者的数值数据和医学症状。 基于一段时间内生理数据的发展，从生理数据中提取特征。 使用自然语言生成将特征转换为文本表示。 基于功能自动生成在计算机化机器上运行的信息检索系统的输入项。 输入项输入到信息检索系统。 使用信息检索系统自动搜索数据语料库以将结果检索到输入项。

公开(公告)号：US20100293301A1

公开(公告)日：2010-11-18

申请号：US12465910

申请日：2009-05-14

申请人： Lisa D. Amini ,  Henrique Andrade ,  Bugra Gedik ,  Nagui Halim ,  Srinivasan Parthasarathy

发明人： Lisa D. Amini ,  Henrique Andrade ,  Bugra Gedik ,  Nagui Halim ,  Srinivasan Parthasarathy

IPC分类号： G06F3/00 ,  G06F13/00

CPC分类号： G06F9/544

摘要： Techniques for dynamically modifying inter-connections between components in an application are provided. The techniques include receiving a data producer profile for each output port within a software application to be executed on one or more processors, receiving a data subscription profile for each input port of each component of the application, establishing connections between the output ports and the input ports of the components in the application based on a comparison of each data producer profile and each data subscription profile, executing the application on one or more processors to process streams of data, receiving either or both of a new data producer profile or a new data subscription profile during the execution of the application, and establishing at least one new connection between an output port and an input port based upon a revised comparison of the received data profiles that include the new data profile.

摘要翻译： 提供了用于动态修改应用程序中组件之间的连接的技术。 这些技术包括：接收用于在一个或多个处理器上执行的软件应用中的每个输出端口的数据生成器简档，为应用的每个组件的每个输入端口接收数据订阅简档，在输出端口和输入端之间建立连接 基于每个数据生成器简档和每个数据订阅简档的比较来应用中的组件的端口，在一个或多个处理器上执行应用程序来处理数据流，接收新的数据生成器简档或新数据中的一个或两个 在执行应用期间的订阅简档，以及基于对包括新数据简档的所接收的数据简档进行修改的比较，在输出端口和输入端口之间建立至少一个新的连接。

公开(公告)号：US08286191B2

公开(公告)日：2012-10-09

申请号：US12465910

申请日：2009-05-14

申请人： Lisa Amini ,  Henrique Andrade ,  Bugra Gedik ,  Nagui Halim ,  Srinivasan Parthasarathy

发明人： Lisa Amini ,  Henrique Andrade ,  Bugra Gedik ,  Nagui Halim ,  Srinivasan Parthasarathy

IPC分类号： G06F13/00

CPC分类号： G06F9/544

摘要： Techniques for dynamically modifying inter-connections between components in an application are provided. The techniques include receiving a data producer profile for each output port within a software application to be executed on one or more processors, receiving a data subscription profile for each input port of each component of the application, establishing connections between the output ports and the input ports of the components in the application based on a comparison of each data producer profile and each data subscription profile, executing the application on one or more processors to process streams of data, receiving either or both of a new data producer profile or a new data subscription profile during the execution of the application, and establishing at least one new connection between an output port and an input port based upon a revised comparison of the received data profiles that include the new data profile.

摘要翻译： 提供了用于动态修改应用程序中组件之间的连接的技术。 这些技术包括：接收用于在一个或多个处理器上执行的软件应用中的每个输出端口的数据生成器简档，为应用的每个组件的每个输入端口接收数据订阅简档，在输出端口和输入端之间建立连接 基于每个数据生成器简档和每个数据订阅简档的比较来应用中的组件的端口，在一个或多个处理器上执行应用程序来处理数据流，接收新的数据生成器简档或新数据中的一个或两个 在执行应用期间的订阅简档，以及基于对包括新数据简档的所接收的数据简档进行修改的比较，在输出端口和输入端口之间建立至少一个新的连接。

公开(公告)号：US09367293B2

公开(公告)日：2016-06-14

申请号：US13525917

申请日：2012-06-18

申请人： Nagui Halim ,  Vibhore Kumar ,  Kung-Lung Wu ,  Sai Wu

发明人： Nagui Halim ,  Vibhore Kumar ,  Kung-Lung Wu ,  Sai Wu

IPC分类号： G06F9/44 ,  G06F9/45

CPC分类号： G06F8/45

摘要： A method of enabling compiler assisted parallelization of one or more stream processing operators in a stream processing application, which consists of a data flow graph with operators as vertices connected by streams. The method includes specifying a parallelized version of one or more of the operators, with a parameterized degree of parallelism, in the stream application, evaluating whether or not to use the parallelized operator, deciding the degree of parallelism of the parallelized operator, if there is a need for a parallelized operator.

摘要翻译： 一种能够在流处理应用中使编译器辅助并行化一个或多个流处理算子的方法，其由作为由流连接的顶点的运算符的数据流图组成。 该方法包括在流应用中指定一个或多个运算符的并行度并行度的并行化版本，评估是否使用并行化运算符，确定并行运算符的并行程度，如果存在 需要并行运算符。

公开(公告)号：US08099781B2

公开(公告)日：2012-01-17

申请号：US12508327

申请日：2009-07-23

申请人： Kay S. Anderson ,  Pau-Chen Cheng ,  Mark D. Feblowitz ,  Genady Grabarnik ,  Shai Halevi ,  Nagui Halim ,  Trent R. Jaeger ,  Paul Ashley Karger ,  Zhen Liu ,  Ronald Perez ,  Anton V. Riabov ,  Pankaj Rohatgi ,  Angela Marie Schuett ,  Michael Steiner ,  Grant M. Wagner

发明人： Kay S. Anderson ,  Pau-Chen Cheng ,  Mark D. Feblowitz ,  Genady Grabarnik ,  Shai Halevi ,  Nagui Halim ,  Trent R. Jaeger ,  Paul Ashley Karger ,  Zhen Liu ,  Ronald Perez ,  Anton V. Riabov ,  Pankaj Rohatgi ,  Angela Marie Schuett ,  Michael Steiner ,  Grant M. Wagner

IPC分类号： H04L29/00

CPC分类号： G06F21/577

摘要： An exemplary method is provided for managing and mitigating security risks through planning. A first security-related information of a requested product is received. A second security-related information of resources that are available for producing the requested product is received. A multi-stage process with security risks managed by the first security-related information and the second security-related information is performed to produce the requested product.

摘要翻译： 提供了一种示范性的方法来通过规划来管理和减轻安全风险。 收到所请求产品的第一个安全相关信息。 接收到可用于生成请求的产品的资源的第二个安全相关信息。 执行由第一安全相关信息和第二安全相关信息管理的具有安全风险的多阶段过程以产生所请求的产品。

公开(公告)号：US07860816B2

公开(公告)日：2010-12-28

申请号：US11931601

申请日：2007-10-31

申请人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

发明人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

IPC分类号： G06N5/00

CPC分类号： G06N5/04

摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.

摘要翻译： 本发明是一种安全本体推理的方法和装置。 在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。 该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。 在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素 可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。

公开(公告)号：US07832007B2

公开(公告)日：2010-11-09

申请号：US11328589

申请日：2006-01-10

申请人： Kay S. Anderson ,  Pau-Chen Cheng ,  Mark D. Feblowitz ,  Genady Grabarnik ,  Shai Halevi ,  Nagui Halim ,  Trent R. Jaeger ,  Paul Ashley Karger ,  Zhen Liu ,  Ronald Perez ,  Anton V. Riabov ,  Pankaj Rohatgi ,  Angela Marie Schuett ,  Michael Steiner ,  Grant M. Wagner

发明人： Kay S. Anderson ,  Pau-Chen Cheng ,  Mark D. Feblowitz ,  Genady Grabarnik ,  Shai Halevi ,  Nagui Halim ,  Trent R. Jaeger ,  Paul Ashley Karger ,  Zhen Liu ,  Ronald Perez ,  Anton V. Riabov ,  Pankaj Rohatgi ,  Angela Marie Schuett ,  Michael Steiner ,  Grant M. Wagner

IPC分类号： H04L29/00

CPC分类号： G06F21/577

摘要： An exemplary method is provided for managing and mitigating security risks through planning. A first security-related information of a requested product is received. A second security-related information of resources that are available for producing the requested product is received. A multi-stage process with security risks managed by the first security-related information and the second security-related information is performed to produce the requested product.

摘要翻译： 提供了一种示范性的方法来通过规划来管理和减轻安全风险。 收到所请求产品的第一个安全相关信息。 接收到可用于生成请求的产品的资源的第二个安全相关信息。 执行由第一安全相关信息和第二安全相关信息管理的具有安全风险的多阶段过程以产生所请求的产品。

公开(公告)号：US20070198449A1

公开(公告)日：2007-08-23

申请号：US11361293

申请日：2006-02-23

申请人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

发明人： Achille Fokoue-Nkoutche ,  Genady Grabarnik ,  Nagui Halim ,  Aaron Kershenbaum ,  Edith Schonberg ,  Larisa Shwartz ,  Kavitha Srinivas

IPC分类号： G06N5/02

CPC分类号： G06N5/04

摘要： The present invention is a method and apparatus for safe ontology reasoning. In one embodiment, a method for building safe sub-ontology that includes one or more elements of a given ontology includes designating at least one the elements as a sensitive element, where a sensitive element is an element not to be revealed. The method then designates a safe sub-ontology such that the safe sub-ontology does not include any elements that, alone or in combination, allow inference of a sensitive element, in accordance with one or more given inference rules. In another embodiment, a method for building a potential sub-ontology includes designating at least one of the elements as a sensitive element and including a maximal number of the elements in the potential sub-ontology, wherein the maximal number includes the greatest number of elements that can be revealed, cumulatively, without allowing inference of a sensitive element, in accordance with one or more given inference rules.

摘要翻译： 本发明是一种安全本体推理的方法和装置。 在一个实施例中，一种用于构建包括给定本体的一个或多个元素的安全子本体的方法包括将至少一个元素指定为敏感元件，其中敏感元件是不被揭示的元件。 该方法然后指定安全子本体，使得安全子本体不包括根据一个或多个给定推理规则单独或组合地允许敏感元素的推断的任何元素。 在另一实施例中，构建潜在子本体的方法包括将至少一个元素指定为敏感元件并且包括潜在子本体中的元素的最大数量，其中最大数量包括最大数量的元素 可以根据一个或多个给定的推论规则累积地揭示，而不允许推断敏感元件。