利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

130 条记录 (耗时 0.025 秒)

    SYSTEM AND METHOD FOR MODEL CHECKING BY INTERLEAVING STATELESS AND STATE-BASED METHODS
    1.
    发明申请
    SYSTEM AND METHOD FOR MODEL CHECKING BY INTERLEAVING STATELESS AND STATE-BASED METHODS 有权
    通过交互无状态和基于状态的方法进行模型检查的系统和方法

    公开(公告)号：US20100305919A1

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

    申请号：US12753239

    申请日：2010-04-02

    申请人： MALAY K. GANAI ,  Chao Wang ,  Weihong Li

    发明人： MALAY K. GANAI ,  Chao Wang ,  Weihong Li

    IPC分类号： G06F17/10

    CPC分类号： G06F11/3608

    摘要： A method for symbolic model checking for sequential systems using a combination of state-based and state-less approaches. A state-based method is used to compute frontier states by building transition relations on-the-fly using control flow information of the system, and performing successive image computations until a memory bound is reached, and efficiently storing only the new frontier states as disjunctive partitions of Boolean and Arithmetic expressions. A stateless method is used to check reachability of given goal states from a heuristically chosen set of frontier states until depth/time bound is reached. These two methods are alternated until one of the following occurs: all frontier states are explored, all goal states are reached, all computing resources are exhausted. Even though we do not store the entire reachable state set, we guarantee a complete coverage for terminating programs without the need to compute a fixed-point.

    摘要翻译： 使用基于状态和无状态方法的组合的顺序系统的符号模型检查的方法。 基于状态的方法用于通过使用系统的控制流信息在运行中构建过渡关系来计算边界状态，并且执行连续的图像计算，直到达到记忆界限，并且仅有效地将新的边界状态存储为分离 分布布尔和算术表达式。 使用无状态方法来检查来自启发式选择的边界状态集合的给定目标状态的可达性，直到达到深度/时间界限。 这两种方法是交替的，直到发生以下情况之一：探索所有前沿状态，达到所有目标状态，所有计算资源都已用尽。 即使我们不存储整个可达到的状态集，我们保证对终止程序的完整覆盖，而不需要计算定点。

    System and method for model checking by interleaving stateless and state-based methods
    2.
    发明授权
    System and method for model checking by interleaving stateless and state-based methods 有权
    通过交织无状态和基于状态的方法进行模型检查的系统和方法

    公开(公告)号：US08589126B2

    公开(公告)日：2013-11-19

    申请号：US12753239

    申请日：2010-04-02

    申请人： Malay K. Ganai ,  Chao Wang ,  Weihong Li

    发明人： Malay K. Ganai ,  Chao Wang ,  Weihong Li

    IPC分类号： G06F7/60 ,  G06G7/48

    CPC分类号： G06F11/3608

    摘要： A method for symbolic model checking for sequential systems using a combination of state-based and state-less approaches. A state-based method is used to compute frontier states by building transition relations on-the-fly using control flow information of the system, and performing successive image computations until a memory bound is reached, and efficiently storing only the new frontier states as disjunctive partitions of Boolean and Arithmetic expressions. A stateless method is used to check reachability of given goal states from a heuristically chosen set of frontier states until depth/time bound is reached. These two methods are alternated until one of the following occurs: all frontier states are explored, all goal states are reached, all computing resources are exhausted. Even though we do not store the entire reachable state set, we guarantee a complete coverage for terminating programs without the need to compute a fixed-point.

    摘要翻译： 使用基于状态和无状态方法的组合的顺序系统的符号模型检查的方法。 基于状态的方法用于通过使用系统的控制流信息在运行中构建过渡关系来计算前沿状态，并且执行连续的图像计算，直到达到存储器界限，并且仅有效地将新的前沿状态存储为分离 分布布尔和算术表达式。 使用无状态方法来检查来自启发式选择的边界状态集合的给定目标状态的可达性，直到达到深度/时间界限。 这两种方法是交替的，直到发生以下情况之一：探索所有前沿状态，达到所有目标状态，所有计算资源都已用尽。 即使我们不存储整个可达到的状态集，我们保证对终止程序的完整覆盖，而不需要计算定点。

    Direct metal printing with stereolithography
    5.
    发明授权
    Direct metal printing with stereolithography 有权

    公开(公告)号：US11135649B2

    公开(公告)日：2021-10-05

    申请号：US16286006

    申请日：2019-02-26

    申请人： Zhi Zhao ,  Chao Wang ,  Yu Yao

    发明人： Zhi Zhao ,  Chao Wang ,  Yu Yao

    IPC分类号： B22F3/115 ,  B22F10/10 ,  B33Y70/00 ,  B33Y10/00 ,  H05K1/09 ,  B29C64/00 ,  B22F1/00

    摘要： An additive manufacturing process for forming a metallic layer on the surface of the substrate includes fabricating a substrate from a polymerizable composition by a stereolithographic process, and contacting the reactive surface with an aqueous solution including a metal precursor. The metal precursor includes a metal, and the polymerizable composition includes a multiplicity of multifunctional components. Each multifunctional component includes a reactive moiety extending from a surface of the substrate to form a reactive surface. An interface between the reactive surface and the aqueous solution is irradiated to form nanoparticles including the metal. The nanoparticles are chemically coupled to the reactive surface by reactive moieties, thereby forming a metallic layer on the surface of the substrate.

    DIRECT METAL PRINTING WITH STEREOLITHOGRAPHY
    7.
    发明申请
    DIRECT METAL PRINTING WITH STEREOLITHOGRAPHY 审中-公开

    公开(公告)号：US20190262897A1

    公开(公告)日：2019-08-29

    申请号：US16286006

    申请日：2019-02-26

    申请人： Zhi Zhao ,  Chao Wang ,  Yu Yao

    发明人： Zhi Zhao ,  Chao Wang ,  Yu Yao

    IPC分类号： B22F3/00 ,  B33Y10/00 ,  B33Y70/00

    摘要： An additive manufacturing process for forming a metallic layer on the surface of the substrate includes fabricating a substrate from a polymerizable composition by a stereolithographic process, and contacting the reactive surface with an aqueous solution including a metal precursor. The metal precursor includes a metal, and the polymerizable composition includes a multiplicity of multifunctional components. Each multifunctional component includes a reactive moiety extending from a surface of the substrate to form a reactive surface. An interface between the reactive surface and the aqueous solution is irradiated to form nanoparticles including the metal. The nanoparticles are chemically coupled to the reactive surface by reactive moieties, thereby forming a metallic layer on the surface of the substrate.

    Antenna module
    8.
    发明授权
    Antenna module 有权

    公开(公告)号：US09859608B2

    公开(公告)日：2018-01-02

    申请号：US15008641

    申请日：2016-01-28

    申请人： Chao Wang ,  Jianchun Mai

    发明人： Chao Wang ,  Jianchun Mai

    IPC分类号： H01Q1/38 ,  H01Q1/24 ,  H01Q9/04 ,  H01Q5/371

    CPC分类号： H01Q1/243 ,  H01Q5/371 ,  H01Q9/0421

    摘要： An antenna module applicable to a mobile device is provided in the present disclosure. The antenna module includes a metal frame, a circuit board surrounded by the metal frame, and an antenna portion on the circuit board. The circuit board includes a main board and a ground board placed on the main board. The antenna portion includes at least one low frequency (LF) ground point and at least one high frequency (HF) ground point arranged on the ground board, and a feed point arranged on the main board. The at least one LF ground point and the at least one HF ground point contact the metal frame; a first current path length between the feed point and the at least one LF ground point is greater than a second current path length between the feed point and the at least one HF ground point.

    Single Photon-Counting Imaging System and Method Thereof
    10.
    发明申请
    Single Photon-Counting Imaging System and Method Thereof 有权
    单光子计数成像系统及其方法

    公开(公告)号：US20130341487A1

    公开(公告)日：2013-12-26

    申请号：US14000421

    申请日：2012-04-23

    申请人： Guangjie Zhai ,  Keming Du ,  Chao Wang ,  Wenkai Yu

    发明人： Guangjie Zhai ,  Keming Du ,  Chao Wang ,  Wenkai Yu

    IPC分类号： G01J1/44

    CPC分类号： G01J1/44 ,  G01J1/0414 ,  G01J1/42 ,  G01J2001/442

    摘要： The invention relates to a single-photon counting imaging system and a single-photon counting imaging method. The system comprises a optical filter, a first lens, a digital micro-mirror device (DMD) control system, a second lens, a single-photon counter and a data processing unit, where the DMD together with the first lens and the second lens are used for converting two-dimensional image data into a one-dimensional sequence to complete sampling of measured signals; the ultra-weak light is filtered by the optical filter, after which the ultra-weak light image onto the DMD through the first lens, and the DMD control system controls the probability of the photons reflected to the second lens and the second lens controls the focusing of the photons; and the data processing unit together with the single-photon counter to complete sparse reconstruction, and the data processing unit converts the number of photons counted by the single-photon counter within a certain period of time into the probability of detected photon counts, as the measured value, and a photon density image is reconstructed by adopting an optimization algorithm based on the measurement matrix on the DMD and the measured value, thereby solving out the two-dimensional image.

    摘要翻译： 本发明涉及单光子计数成像系统和单光子计数成像方法。 该系统包括滤光器，第一透镜，数字微镜装置（DMD）控制系统，第二透镜，单光子计数器和数据处理单元，其中DMD与第一透镜和第二透镜 用于将二维图像数据转换为一维序列以完成测量信号的采样; 超弱光被滤光器滤光，之后通过第一透镜将超弱光图像输送到DMD上，并且DMD控制系统控制反射到第二透镜的光子的概率，而第二透镜控制第二透镜 聚焦光子; 和数据处理单元与单光子计数器一起完成稀疏重建，数据处理单元将在一定时间段内由单光子计数器计数的光子数转换为检测到的光子计数的概率，如 通过采用基于DMD测量矩阵的优化算法和测量值来重构光子密度图像，从而求出二维图像。