利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

132 条记录 (耗时 0.03 秒)

    Generating a test environment for validating a network design
    1.
    发明授权
    Generating a test environment for validating a network design 失效
    生成验证网络设计的测试环境

    公开(公告)号：US07139929B2

    公开(公告)日：2006-11-21

    申请号：US10405768

    申请日：2003-04-01

    申请人： Indradeep Ghosh ,  Liang Zhang

    发明人： Indradeep Ghosh ,  Liang Zhang

    IPC分类号： G06F11/00

    CPC分类号： G01R31/31704

    摘要： Generating a test environment includes accessing initial test environments for a network of nodes, where a test environment specifies a propagation or justification path for a node. The following are repeated until satisfactory coverage is achieved or until a predetermined number of iterations is reached. A coverage for each test environment is calculated, and at least two of the test environments are mated to generate next test environments, where the coverage of the at least two test environments is greater than the coverage of the other test environments.

    摘要翻译： 生成测试环境包括访问节点网络的初始测试环境，其中测试环境指定节点的传播路径或对齐路径。 重复以下操作，直到达到满意的覆盖或达到预定次数的迭代。 计算每个测试环境的覆盖范围，并且至少两个测试环境进行配对以生成下一个测试环境，其中至少两个测试环境的覆盖范围大于其他测试环境的覆盖范围。

    Propagating an error through a network
    2.
    发明授权
    Propagating an error through a network 失效
    通过网络传播错误

    公开(公告)号：US07168014B2

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

    申请号：US10405766

    申请日：2003-04-01

    申请人： Indradeep Ghosh ,  Koichiro Takayama ,  Liang Zhang

    发明人： Indradeep Ghosh ,  Koichiro Takayama ,  Liang Zhang

    IPC分类号： G01R31/28

    CPC分类号： G01R31/318342

    摘要： Propagating an error through a network includes receiving a network having propagation paths and nodes, where a propagation path has one or more nodes and a node is associated with a variable operable to have a value during simulation. A tag of a tag set is assigned to the value. The tag set includes at least two signed tags, positive tag representing a positive error and a negative tag representing a negative error, and an unsigned tag representing an error having an unknown sign. The tag is propagated along the propagation path to yield intermediate tags, where at least one intermediate tag is an unsigned tag formed from at least two signed tags. A final tag is determined in accordance with the intermediate tags in order to propagate an error through the network.

    摘要翻译： 通过网络传播错误包括接收具有传播路径和节点的网络，其中传播路径具有一个或多个节点，并且节点与可操作以在仿真期间具有值的变量相关联。 标签集的标签被分配给该值。 标签集包括至少两个签名的标签，表示正错误的正标签和表示负错误的负标签，以及表示具有未知符号的错误的无符号标签。 标签沿着传播路径传播以产生中间标签，其中至少一个中间标签是由至少两个签名的标签形成的无符号标签。 根据中间标签确定最终标签，以便通过网络传播错误。

    Evaluating a validation vector for validating a network design
    3.
    发明授权
    Evaluating a validation vector for validating a network design 失效
    评估用于验证网络设计的验证向量

    公开(公告)号：US06877141B2

    公开(公告)日：2005-04-05

    申请号：US10405767

    申请日：2003-04-01

    申请人： Indradeep Ghosh ,  Koichiro Takayama ,  Liang Zhang

    发明人： Indradeep Ghosh ,  Koichiro Takayama ,  Liang Zhang

    IPC分类号： G01R31/3183 ,  G06F17/50

    CPC分类号： G01R31/318371 ,  G01R31/318357

    摘要： Evaluating a validation vector includes receiving a network having nodes and a target set that includes one or more nodes of the network. The following steps are repeated until the nodes of the target set have been selected. A node is selected from the target set, and a tag is assigned to the node, where the tag represents an error of a value of a variable corresponding to the node. A test environment specifying a propagation path from an input, through the node, and to an output is generated. The test environment is translated into a validation vector, and the tag is propagated to the output according to the validation vector. After repeating the steps, coverage for the validation vectors is determined in accordance with the propagation to evaluate the one or more validation vectors.

    摘要翻译： 评估验证向量包括接收具有节点的网络和包括网络的一个或多个节点的目标集合。 重复以下步骤，直到目标集合的节点被选中。 从目标集中选择节点，并将标签分配给节点，其中标签表示对应于该节点的变量的值的错误。 生成指定从输入，通过节点到输出的传播路径的测试环境。 将测试环境转换为验证向量，并根据验证向量将标签传播到输出。 在重复步骤之后，根据传播来确定验证向量的覆盖以评估一个或多个验证向量。

    Sandal
    4.
    外观设计
    Sandal 有权

    公开(公告)号：USD1011705S1

    公开(公告)日：2024-01-23

    申请号：US29894878

    申请日：2023-06-14

    申请人： Liang Zhang

    设计人： Liang Zhang

    摘要： FIG. 1 is a top, right and front perspective view of a sandal showing my new design;
    FIG. 2 is a right view thereof;
    FIG. 3 is a left view thereof;
    FIG. 4 is a front elevational view thereof;
    FIG. 5 is a rear elevational view thereof;
    FIG. 6 is a top plan view thereof;
    FIG. 7 is a bottom plan view thereof; and,
    FIG. 8 is a bottom, left and rear perspective view.

    Method, apparatus and system for verifying data
    6.
    发明授权
    Method, apparatus and system for verifying data 有权

    公开(公告)号：US09659196B2

    公开(公告)日：2017-05-23

    申请号：US13876843

    申请日：2011-09-30

    申请人： Hui Li ,  Dan Yu ,  Yong Yuan ,  Liang Zhang

    发明人： Hui Li ,  Dan Yu ,  Yong Yuan ,  Liang Zhang

    IPC分类号： H04Q5/22 ,  G06K7/10 ,  G06K19/07

    CPC分类号： G06K7/10009 ,  G06K19/0723

    摘要： A method for data verification may include: receiving by a radio frequency identification (RFID) tag a write command including data to be written; writing by said RFID tag said data to be written into a local storage; reading by said RFID tag data from said local storage; and carrying out by said RFID tag a data verification according to said data read out. Further, a data verification apparatus may include a receiving module for receiving a write command including data to be written; a writing module for writing said data to be written into a first storage module configured for storing said data to be written; a reading module for reading data from said first storage module; and a verifying module for carrying out verification according to the data read out by said reading module. Such method and apparatus may reduce the time of data verification by an RFID tag.