专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US06691078B1 Target design model behavior explorer 有权
标题翻译：目标设计模型行为探索者
公开(公告)号：US06691078B1
公开(公告)日：2004-02-10
申请号：US09362720
申请日：1999-07-29
申请人： Ilan Beer , Eli Dichterman , Leonid Gluhovsky , Anna Gringauze , Yossi Malka , Yaron Wolfsthal , Shoham Ben-David
发明人： Ilan Beer , Eli Dichterman , Leonid Gluhovsky , Anna Gringauze , Yossi Malka , Yaron Wolfsthal , Shoham Ben-David
IPC分类号： G06F1750
CPC分类号： G06F17/504
摘要： A method for exploring the behavior of a design model, the method including the steps of providing a design model represented as a Finite State Machine (FSM). The method further includes the step of providing a path specification of interest. The method further includes the step of exploring the behavior of the design in order to find and present a scenario in the design that meets the path specification.
摘要翻译：一种用于探索设计模型的行为的方法，所述方法包括提供表示为有限状态机（FSM）的设计模型的步骤。该方法还包括提供感兴趣的路径规范的步骤。该方法还包括探索设计行为以便在设计中找到并呈现满足路径规范的场景的步骤。

2. 发明授权

US06715107B2 Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest 失效
标题翻译：用于减少计算树以仅包括用户通过正则表达式简洁地定义为模型行为的方法和系统
公开(公告)号：US06715107B2
公开(公告)日：2004-03-30
申请号：US09746695
申请日：2000-12-26
申请人： Ilan Beer , Dana Fisman , Leonid Gluhovsky , Tali Yatzhar-Haham
发明人： Ilan Beer , Dana Fisman , Leonid Gluhovsky , Tali Yatzhar-Haham
IPC分类号： G06F1100
CPC分类号： G06F17/504 , G06F11/28
摘要： The invention implements a novel method for discarding model behaviors from the computation-tree, when these behaviors are defined by the user as ‘not interesting’. The method works as follows: the user defines, by declarative means via regular expression, a set of model behaviors that are of interest. After applying this method, referred to as the restrict algorithm henceforth, the computation-tree will consist only of paths representing model behaviors specified by the user. The restrict algorithm consists of a preprocessing stage and a processing stage. In the preprocessing stage, a mechanism for identifying when an execution path is an allowed behavior is constructed. While processing, sub-trees representing “bad behaviors” (execution paths identified as not allowed behaviors) are pruned from the computation-tree.
摘要翻译：本发明实现了一种从计算树中丢弃模型行为的新方法，当用户将这些行为定义为“不感兴趣”时。该方法的工作原理如下：用户通过声明方式通过正则表达式定义一组感兴趣的模型行为。在应用这种以后称为限制算法的方法之后，计算树将仅由表示用户指定的模型行为的路径组成。限制算法由预处理阶段和处理阶段组成。在预处理阶段，构建用于识别执行路径何时是允许行为的机制。处理时，从计算树中剪除代表“不良行为”的子树（被标识为不允许行为的执行路径）。

3. 发明授权

US07146605B2 Automatic abstraction of software source 失效
公开(公告)号：US07146605B2
公开(公告)日：2006-12-05
申请号：US10045007
申请日：2002-01-15
申请人： Ilan Beer , Cindy Eisner
发明人： Ilan Beer , Cindy Eisner
IPC分类号： G06F9/44
CPC分类号： G06F11/28
摘要： A method for verifying software source code that includes references to program variables includes processing the source code to derive a set of next-state functions representing control flow of the source code. The references to the program variables in the source code are replaced with non-deterministic choices in the next-state functions. The next-state functions including the non-deterministic choices are restricted to produce a finite-state model of the control flow. The finite-state model is then verified to find an error in the source code.

4. 发明申请

US20080126063A1 Simulation System with Guided Backtracking 审中-公开
标题翻译：引导回溯仿真系统
公开(公告)号：US20080126063A1
公开(公告)日：2008-05-29
申请号：US11534238
申请日：2006-09-22
申请人： Ilan Beer , Eyal Bin , Daniel Geist , Ziv Nevo , Gil Eliezer Shurek , Avi Ziv
发明人： Ilan Beer , Eyal Bin , Daniel Geist , Ziv Nevo , Gil Eliezer Shurek , Avi Ziv
IPC分类号： G06F17/50
CPC分类号： G06F17/5022
摘要： A method for design verification includes running a simulation of a design in a simulation environment, which comprises a stimuli generator for providing inputs to the design during the simulation. Respective measures of quality are computed for at least some of the simulation states in a sequence of states generated by the environment. State data are saved with respect to at least one of the simulation states. The state data include indications both of the respective simulated state and of the respective environment state. Responsively to the respective measures of quality, the saved state data are recalled so as to restart the simulation from the at least one of the simulation states by returning the design to the respective simulated state and returning the simulation environment to the respective environment state.
摘要翻译：一种用于设计验证的方法包括在仿真环境中运行设计的仿真，其包括在仿真期间向设计提供输入的刺激发生器。对由环境生成的状态序列中的至少一些模拟状态计算质量的相关度量。关于至少一个模拟状态来保存状态数据。状态数据包括各自的模拟状态和各个环境状态的指示。响应于各种质量测量，通过将设计返回到相应的模拟状态并将模拟环境返回到各自的环境状态，调用保存的状态数据以便从至少一个模拟状态重新启动模拟。

5. 发明授权

US06867283B2 Peptides capable of binding to MHC molecules, cells presenting such peptides, and pharmaceutical compositions comprising such peptides and/or cells 失效
标题翻译：能够结合MHC分子的肽，呈递此类肽的细胞，以及包含这些肽和/或细胞的药物组合物
公开(公告)号：US06867283B2
公开(公告)日：2005-03-15
申请号：US09865548
申请日：2001-05-29
申请人： Eilon Barnea , Ilan Beer , Tamar Ziv , Arie Admon
发明人： Eilon Barnea , Ilan Beer , Tamar Ziv , Arie Admon
IPC分类号： G01N33/569 , A61K38/08
CPC分类号： G01N33/56977 , G01N2500/00
摘要： A method of identifying peptides originating from a particular cell type and being capable of binding to MHC molecules of a particular haplotype is disclosed. The method comprises obtaining a cell type expressing a soluble and secreted form of the MHC molecules of the particular haplotype; collecting the soluble and secreted form of the MHC molecules of the particular haplotype; and analyzing peptides bound to the soluble and secreted form of the MHC molecules of the particular haplotype, thereby identifying the peptides originating from the particular cell type and being capable of binding to MHC molecules of the particular haplotype.
摘要翻译：公开了鉴定源自特定细胞类型并能够结合特定单体型的MHC分子的肽的方法。该方法包括获得表达特定单元型的MHC分子的可溶性和分泌形式的细胞类型; 收集特定单体型的MHC分子的可溶和分泌形式; 并分析与特定单元型的MHC分子的可溶性和分泌形式结合的肽，从而鉴定源自特定细胞类型并能够结合特定单倍型的MHC分子的肽。

6. 发明申请

US20120039811A1 MARKERS FOR CANCER DETECTION 有权
标题翻译：癌症检测标记
公开(公告)号：US20120039811A1
公开(公告)日：2012-02-16
申请号：US13266567
申请日：2010-04-27
申请人： Arie Admon , Eilon Barnea , Ilan Beer , Tamar Ziv
发明人： Arie Admon , Eilon Barnea , Ilan Beer , Tamar Ziv
IPC分类号： G01N33/574 , C40B30/06 , C12Q1/68 , C12Q1/02 , A61K49/00
CPC分类号： G01N33/57419 , A61K39/0011 , G01N2800/56
摘要： The present invention relates to methods for detecting, prognosing and staging cancers, in particular cancers of the gastrointestinal tract. The methods of the invention comprise detecting specific protein markers in a tissue of interest, wherein the detected levels thereof may be indicative of pre-cancerous or cancerous tissue, or the stage or prognosis of a cancer. Further provided are methods of treating cancer, and cancer detection kits.
摘要翻译：本发明涉及用于检测，预后和分期癌症，特别是胃肠道癌症的方法。本发明的方法包括检测感兴趣的组织中的特异性蛋白质标记，其中检测的水平可以指示癌前或癌组织，或癌症的阶段或预后。还提供了治疗癌症的方法和癌症检测试剂盒。

7. 发明授权

US07188061B2 Simulation monitors based on temporal formulas 有权
标题翻译：基于时间公式的仿真显示器
公开(公告)号：US07188061B2
公开(公告)日：2007-03-06
申请号：US10196702
申请日：2002-07-15
申请人： Ilan Beer , Sharon Keidar
发明人： Ilan Beer , Sharon Keidar
IPC分类号： G06F9/45
CPC分类号： G06F17/504
摘要： A method for design verification includes receiving a software model of a design of a system under evaluation, and providing a property, which is dependent on a specified variable having a predefined range of values. The property applies to all states of the system for any selected value among the values of the variable within the predefined range. The property is processed so as to generate a checker program for detecting a violation of the property. A simulation of the system is then run using the software model together with the checker program.
摘要翻译：一种用于设计验证的方法包括接收正在评估的系统的设计的软件模型，并且提供依赖于具有预定范围值的指定变量的属性。该属性适用于系统的所有状态，用于在预定范围内的变量值中的任何所选值。该属性被处理以产生用于检测违反该属性的检查程序。然后使用软件模型与检查程序一起运行系统的仿真。

8. 发明授权

US06192505B1 Method and system for reducing state space variables prior to symbolic model checking 失效
标题翻译：在符号模型检查之前减少状态空间变量的方法和系统
公开(公告)号：US06192505B1
公开(公告)日：2001-02-20
申请号：US09124360
申请日：1998-07-29
申请人： Ilan Beer , Cindy Eisner , Yoav Rodeh
发明人： Ilan Beer , Cindy Eisner , Yoav Rodeh
IPC分类号： G06F1750
CPC分类号： G06F17/504
摘要： A computer-implemented method for systematically eliminating redundant circuit elements in a state machine of a model having sequential circuit elements possessing one of a fixed number of possible states, typically “0” and “1”. Initially, the sequential circuit elements are sorted into groups whose state is determinate i.e. equal to “0” or “1”. The state of each circuit element whose state is determinate is stored in memory and its next state is calculated and compared with its preceding state. Each circuit element whose successive states are different is moved to the group of indeterminate circuit elements, and the cycle is repeated in respect of all remaining determinate circuit elements until no further circuit elements are moved. Each of the remaining determinate circuit elements is then replaced by a constant equal to its corresponding state i.e. “0” or “1”. Finally, any circuit elements whose output is connected to one or more of the replaced circuit elements and to no other circuit elements is eliminated from the model.
摘要翻译：一种用于系统地消除模型的状态机中的冗余电路元件的计算机实现的方法，其具有具有固定数量的可能状态（通常为“0”和“1”）之一的顺序电路元件。最初，顺序电路元件被分类为其状态确定为等于“0”或“1”的组。其状态确定的每个电路元件的状态被存储在存储器中，并且其下一个状态被计算并与之前的状态进行比较。其连续状态不同的每个电路元件被移动到不确定电路元件组，并且相对于所有剩余的确定电路元件重复该循环，直到不再有电路元件移动。然后将剩余的确定电路元件中的每一个替换为等于其对应状态即“0”或“1”的常数。最后，从模型中消除了输出连接到一个或多个替代的电路元件和没有其它电路元件的任何电路元件。

9. 发明授权

US08741581B2 Markers for cancer detection 有权
标题翻译：癌症检测标记
公开(公告)号：US08741581B2
公开(公告)日：2014-06-03
申请号：US13266567
申请日：2010-04-27
申请人： Arie Admon , Eilon Barnea , Ilan Beer , Tamar Ziv
发明人： Arie Admon , Eilon Barnea , Ilan Beer , Tamar Ziv
IPC分类号： G01N33/53
CPC分类号： G01N33/57419 , A61K39/0011 , G01N2800/56
摘要： The present invention relates to methods for detecting, prognosing and staging cancers, in particular cancers of the gastrointestinal tract. The methods of the invention comprise detecting specific protein markers in a tissue of interest, wherein the detected levels thereof may be indicative of pre-cancerous or cancerous tissue, or the stage or prognosis of a cancer. Further provided are methods of treating cancer, and cancer detection kits.
摘要翻译：本发明涉及用于检测，预后和分期癌症，特别是胃肠道癌症的方法。本发明的方法包括检测感兴趣的组织中的特异性蛋白质标记，其中检测的水平可以指示癌前或癌组织，或癌症的阶段或预后。还提供了治疗癌症的方法和癌症检测试剂盒。

10. 发明申请

US20050053918A1 Method of identifying peptides capable of binding to MHC molecules, peptides identified thereby and their uses 审中-公开
标题翻译：鉴定能够结合MHC分子的肽，由此鉴定的肽及其用途的方法
公开(公告)号：US20050053918A1
公开(公告)日：2005-03-10
申请号：US10705459
申请日：2003-11-12
申请人： Eilon Barnea , Ilan Beer , Tamar Ziv , Arie Admon , Lior Dassau , Samuel Buchsbaum
发明人： Eilon Barnea , Ilan Beer , Tamar Ziv , Arie Admon , Lior Dassau , Samuel Buchsbaum
IPC分类号： A61K39/00 , C07K16/28 , G01N33/50 , C12Q1/70 , G01N33/574
CPC分类号： G01N33/502 , A61K39/0011 , C07K16/2833 , G01N33/5008 , G01N2500/00
摘要： A method of identifying peptides originating from a particular cell type and being capable of binding to MHC molecules of a particular haplotype is disclosed. The method comprises obtaining a cell type expressing a soluble and secreted form of the MHC molecules of the particular haplotype; collecting the soluble and secreted form of the MHC molecules of the particular haplotype; and analyzing peptides bound to the soluble and secreted form of the MHC molecules of the particular haplotype, thereby identifying the peptides originating from the particular cell type and being capable of binding to MHC molecules of the particular haplotype.
摘要翻译：公开了鉴定源自特定细胞类型并能够结合特定单体型的MHC分子的肽的方法。该方法包括获得表达特定单元型的MHC分子的可溶性和分泌形式的细胞类型; 收集特定单体型的MHC分子的可溶和分泌形式; 并分析与特定单元型的MHC分子的可溶性和分泌形式结合的肽，从而鉴定源自特定细胞类型并能够结合特定单倍型的MHC分子的肽。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式