公开(公告)号：US20070008013A1

公开(公告)日：2007-01-11

申请号：US11377935

申请日：2006-03-15

申请人： Amir Fijany ,  Farrokh Vatan ,  Kerem Akarvardar ,  Benjamin Blalock ,  Suheng Chen ,  Sorin Cristoloveanu ,  Elzbieta Kolawa ,  Mohammad Mojarradi ,  Nikzad Toomarian

发明人： Amir Fijany ,  Farrokh Vatan ,  Kerem Akarvardar ,  Benjamin Blalock ,  Suheng Chen ,  Sorin Cristoloveanu ,  Elzbieta Kolawa ,  Mohammad Mojarradi ,  Nikzad Toomarian

IPC分类号： H03K19/20

CPC分类号： H01L29/785 ,  H01L27/11807 ,  H01L27/1203 ,  H01L29/42384 ,  H01L2029/7857

摘要： An universal and programmable logic gate based on G4-FET technology is disclosed, leading to the design of more efficient logic circuits. A new full adder design based on the G4-FET is also presented. The G4-FET can also function as a unique router device offering coplanar crossing of signal paths that are isolated and perpendicular to one another. This has the potential of overcoming major limitations in VLSI design where complex interconnection schemes have become increasingly problematic.

摘要翻译： 公开了一种基于GOS-4FET技术的通用和可编程逻辑门，从而设计出更有效的逻辑电路。 还提出了一种基于G_FET 4FET的新的全加器设计。 也可以用作独特的路由器设备，提供彼此隔离和垂直的信号路径的共面交叉。 这有可能克服VLSI设计中的复杂互连方案变得越来越成问题的主要限制。

公开(公告)号：US07514964B2

公开(公告)日：2009-04-07

申请号：US11377935

申请日：2006-03-15

申请人： Amir Fijany ,  Farrokh Vatan ,  Kerem Akarvardar ,  Benjamin Blalock ,  Suheng Chen ,  Sorin Cristoloveanu ,  Elzbieta Kolawa ,  Mohammad M. Mojarradi ,  Nikzad Toomarian

发明人： Amir Fijany ,  Farrokh Vatan ,  Kerem Akarvardar ,  Benjamin Blalock ,  Suheng Chen ,  Sorin Cristoloveanu ,  Elzbieta Kolawa ,  Mohammad M. Mojarradi ,  Nikzad Toomarian

IPC分类号： H03K19/20 ,  G11C7/00

CPC分类号： H01L29/785 ,  H01L27/11807 ,  H01L27/1203 ,  H01L29/42384 ,  H01L2029/7857

摘要： An universal and programmable logic gate based on G4-FET technology is disclosed, leading to the design of more efficient logic circuits. A new full adder design based on the G4-FET is also presented. The G4-FET can also function as a unique router device offering coplanar crossing of signal paths that are isolated and perpendicular to one another. This has the potential of overcoming major limitations in VLSI design where complex interconnection schemes have become increasingly problematic.

摘要翻译： 公开了一种基于G4-FET技术的通用和可编程逻辑门，从而设计出更高效的逻辑电路。 还介绍了一种基于G4-FET的全加器设计。 G4-FET还可以作为独特的路由器设备，提供彼此隔离和垂直的信号路径的共面交叉。 这有可能克服VLSI设计中的复杂互连方案变得越来越成问题的主要限制。

公开(公告)号：US20110022891A1

公开(公告)日：2011-01-27

申请号：US12841691

申请日：2010-07-22

申请人： Amir Fijany ,  Anthony Barrett ,  Farrokh Vatan

发明人： Amir Fijany ,  Anthony Barrett ,  Farrokh Vatan

IPC分类号： G06F11/07

CPC分类号： G06F11/3608

摘要： A method for the generation of a set of conflicts for model-based system diagnostics is described, with which system a plurality of sensors is associated for the observation of variables indicative of operation conditions.The method starts from generating a complete set of Analytical Redundancy Relations (ARRs) in implicit form and, for each diagnosis instance: it performs a system simulation, computing the expected values for a first subset of Analytical Redundancy Relations (D-ARRs) including the relations involving only one system observation variable; it compares the expected and observed values of the system observation variables to identify the inconsistent variables, i.e. the unsatisfied redundancy relations, indicating a fault in at least one system component; and, when discrepancies are detected, it checks the consistency of each relation belonging to a second subset of Analytical Redundancy Relations (I-ARR), comprising relations involving a plurality of system observation variables, at least one of which exhibits discrepancies between expected and observed values; therefore identifying the support set of the unsatisfied Redundancy Relations as set of system conflicts.

摘要翻译： 描述了用于产生用于基于模型的系统诊断的一组冲突的方法，与该系统相关联的多个传感器用于观察指示操作条件的变量。 该方法从隐式形式生成一套完整的分析冗余关系（ARR）开始，对于每个诊断实例，它执行系统仿真，计算分析冗余关系（D-ARR）的第一个子集的期望值，包括 只涉及一个系统观测变量的关系; 它比较系统观测变量的预期值和观测值，以识别指示至少一个系统组件中的故障的不一致变量，即不满足的冗余度关系; 并且当检测到差异时，它检查属于分析冗余关系（I-ARR）的第二子集的每个关系的一致性，其包括涉及多个系统观察变量的关系，其中至少一个呈现预期和观察到的差异 价值观 因此，将不满意​​的冗余关系的支持集确定为系统冲突。

公开(公告)号：US08521487B2

公开(公告)日：2013-08-27

申请号：US13041644

申请日：2011-03-07

申请人： Amir Fijany ,  Farrokh Vatan

发明人： Amir Fijany ,  Farrokh Vatan

IPC分类号： G06F7/60 ,  G06F17/10 ,  G06F17/50

CPC分类号： G06F17/5018 ,  G06F11/3608

摘要： A method for generating a minimal set of Analytical Redundancy Relations representing a system to which a plurality of sensors is associated for the observation of variables indicative of operating conditions and adapted to enable detection and isolation of faults. The minimal set of Analytical Redundancy Relations is derived from a complete set of Analytical Redundancy Relations in implicit form, for which an associated binary Fault Signature Matrix is specified, and comprises the relations associated to a minimal subset of rows of the original matrix, which has the same number of non-zero columns and the same number of distinct columns as the original matrix.

摘要翻译： 一种生成分析冗余关系的最小集合的方法，其表示多个传感器相关联的系统，用于观察指示操作条件的变量，并适于使能检测和隔离故障。 分析冗余关系的最小集合是从隐式形式的一组完整的分析冗余关系导出的，为此分配冗余关系被指定为相关联的二进制故障签名矩阵，并且包括与原始矩阵的最小子集相关联的关系，其具有 与原始矩阵相同数量的非零列和相同数量的不同列。

公开(公告)号：US08775124B2

公开(公告)日：2014-07-08

申请号：US12717798

申请日：2010-03-04

申请人： Amir Fijany ,  Farrokh Vatan

发明人： Amir Fijany ,  Farrokh Vatan

IPC分类号： G01R31/00 ,  G06F11/08

CPC分类号： G06F17/10 ,  G05B23/0254

摘要： A method for generating a set of analytical redundancy relations representative of a system with which a plurality of sensors is associated for the observation of variables indicative of operating conditions and adapted to enable detection and discrimination of faults. A complete set of analytical redundancy relations of the system is built from a set of intermediate relations established between observable and non-observable variables of the system, wherein each intermediate relation is generated by combining two predetermined relations Rj, Rk, each of which is expressed in an implicit form as a tuple (i) of a subset Sj of system variables, (ii) of the set Cj of the support components for said relation, and (iii) of the set Tj of the primary relations used to derive said intermediate relation.

摘要翻译： 一种用于生成表示与多个传感器相关联的系统的分析冗余关系的集合的方法，用于观察指示操作条件的变量并适于使能检测和辨别故障。 系统的一组完整的分析冗余关系由系统可观测和不可观测变量之间建立的一组中间关系构成，其中每个中间关系是通过组合两个预定关系Rj，Rk， 作为系统变量的子集Sj的元组（i）的隐式形式，（ii）用于所述关系的支持组件的集合Cj，以及（iii）用于导出所述中间件的主要关系的集合Tj 关系。

公开(公告)号：US08311783B2

公开(公告)日：2012-11-13

申请号：US12841691

申请日：2010-07-22

申请人： Amir Fijany ,  Anthony Barrett ,  Farrokh Vatan

发明人： Amir Fijany ,  Anthony Barrett ,  Farrokh Vatan

IPC分类号： G06F17/50 ,  G06F9/45 ,  G06F11/07

CPC分类号： G06F11/3608

摘要： A method for the generation of a set of conflicts for model-based system diagnostics is described, with which system a plurality of sensors is associated for the observation of variables indicative of operation conditions.The method starts from generating a complete set of Analytical Redundancy Relations (ARRs) in implicit form and, for each diagnosis instance: it performs a system simulation, computing the expected values for a first subset of Analytical Redundancy Relations (D-ARRs) including the relations involving only one system observation variable; it compares the expected and observed values of the system observation variables to identify the inconsistent variables, i.e. the unsatisfied redundancy relations, indicating a fault in at least one system component; and, when discrepancies are detected, it checks the consistency of each relation belonging to a second subset of Analytical Redundancy Relations (I-ARR), comprising relations involving a plurality of system observation variables, at least one of which exhibits discrepancies between expected and observed values; therefore identifying the support set of the unsatisfied Redundancy Relations as set of system conflicts.

摘要翻译： 描述了用于产生用于基于模型的系统诊断的一组冲突的方法，与该系统相关联的多个传感器用于观察指示操作条件的变量。 该方法从隐式形式生成一套完整的分析冗余关系（ARR）开始，对于每个诊断实例，它执行系统仿真，计算分析冗余关系（D-ARR）的第一个子集的期望值，包括 只涉及一个系统观测变量的关系; 它比较系统观测变量的预期值和观测值，以识别指示至少一个系统组件中的故障的不一致变量，即不满足的冗余度关系; 并且当检测到差异时，它检查属于分析冗余关系（I-ARR）的第二子集的每个关系的一致性，其包括涉及多个系统观察变量的关系，其中至少一个呈现预期和观察到的差异 价值观 因此，将不满意​​的冗余关系的支持集确定为系统冲突。

公开(公告)号：US07249003B2

公开(公告)日：2007-07-24

申请号：US11353673

申请日：2006-02-13

申请人： Amir Fijany ,  Farrokh Vatan

发明人： Amir Fijany ,  Farrokh Vatan

IPC分类号： G06F15/00

CPC分类号： G06F11/079 ,  G05B23/0248 ,  G06F11/0706

摘要： The diagnosis problem arises when a system's actual behavior contradicts the expected behavior, thereby exhibiting symptoms (a collection of conflict sets). System diagnosis is then the task of identifying faulty components that are responsible for anomalous behavior. To solve the diagnosis problem, the present invention describes a method for finding the minimal set of faulty components (minimal diagnosis set) that explain the conflict sets. The method includes acts of creating a matrix of the collection of conflict sets, and then creating nodes from the matrix such that each node is a node in a search tree. A determination is made as to whether each node is a leaf node or has any children nodes. If any given node has children nodes, then the node is split until all nodes are leaf nodes. Information gathered from the leaf nodes is used to determine the minimal diagnosis set.

摘要翻译： 当系统的实际行为与预期行为相矛盾，从而表现出症状（冲突集合的集合）时，出现诊断问题。 因此，系统诊断是识别负责异常行为的故障组件的任务。 为了解决诊断问题，本发明描述了一种解决冲突集的故障组件（最小诊断集）的最小集合的方法。 该方法包括创建冲突集合的集合的矩阵，然后从矩阵创建节点，使得每个节点是搜索树中的节点。 确定每个节点是否是叶节点或具有任何子节点。 如果任何给定节点具有子节点，则节点被分割直到所有节点都是叶节点。 从叶节点收集的信息用于确定最小诊断集。

公开(公告)号：US20060195302A1

公开(公告)日：2006-08-31

申请号：US11353673

申请日：2006-02-13

申请人： Amir Fijany ,  Farrokh Vatan

发明人： Amir Fijany ,  Farrokh Vatan

IPC分类号： G06F15/00

CPC分类号： G06F11/079 ,  G05B23/0248 ,  G06F11/0706

摘要： The diagnosis problem arises when a system's actual behavior contradicts the expected behavior, thereby exhibiting symptoms (a collection of conflict sets). System diagnosis is then the task of identifying faulty components that are responsible for anomalous behavior. To solve the diagnosis problem, the present invention describes a method for finding the minimal set of faulty components (minimal diagnosis set) that explain the conflict sets. The method includes acts of creating a matrix of the collection of conflict sets, and then creating nodes from the matrix such that each node is a node in a search tree. A determination is made as to whether each node is a leaf node or has any children nodes. If any given node has children nodes, then the node is split until all nodes are leaf nodes. Information gathered from the leaf nodes is used to determine the minimal diagnosis set.

摘要翻译： 当系统的实际行为与预期行为相矛盾，从而表现出症状（冲突集合的集合）时，出现诊断问题。 因此，系统诊断是识别负责异常行为的故障组件的任务。 为了解决诊断问题，本发明描述了一种解决冲突集的故障组件（最小诊断集）的最小集合的方法。 该方法包括创建冲突集合的集合的矩阵，然后从矩阵创建节点，使得每个节点是搜索树中的节点。 确定每个节点是否是叶节点或具有任何子节点。 如果任何给定节点具有子节点，则节点被分割直到所有节点都是叶节点。 从叶节点收集的信息用于确定最小诊断集。