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

1. 发明申请

US20110078511A1 PRECISE THREAD-MODULAR SUMMARIZATION OF CONCURRENT PROGRAMS 有权
标题翻译：精确的目前程序的线性模块化概述
公开(公告)号：US20110078511A1
公开(公告)日：2011-03-31
申请号：US12894710
申请日：2010-09-30
申请人： Nishant Sinha , Chao Wang
发明人： Nishant Sinha , Chao Wang
IPC分类号： G06F11/08 , G06F11/00
CPC分类号： G06F11/3604
摘要： Methods and systems for concurrent program verification. A concurrent program is summarized into a symbolic interference skeleton (IS) using data flow analysis. Sequential consistency constraints are enforced on read and write events in the IS. Error conditions are checked together with the IS using a processor.
摘要翻译：并发程序验证的方法和系统。使用数据流分析将并发程序总结为符号干扰骨架（IS）。在IS中的读写事件上执行顺序一致性约束。使用处理器与IS一起检查错误状况。

2. 发明授权

US08595708B2 Systems and methods for concurrency analysis 有权
标题翻译：并发分析的系统和方法
公开(公告)号：US08595708B2
公开(公告)日：2013-11-26
申请号：US13109998
申请日：2011-05-18
申请人： Nishant Sinha , Chao Wang
发明人： Nishant Sinha , Chao Wang
IPC分类号： G06F11/00 , G06F3/048 , G06F9/44 , G06F9/45 , G06F9/46 , G01N33/50
CPC分类号： G06F11/3608
摘要： Systems and methods are disclosed to check properties of bounded concurrent programs by encoding concurrent control flow graph (CFG) and property for programming threads as a first-order formula F1; initializing an interference abstraction (IA); encoding the IA as a first-order formula F2; checking a conjunction of F1 and F2 (F1^F2); if the conjunction is satisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA; and if the conjunction is unsatisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA.
摘要翻译：公开了系统和方法，通过将并行控制流程图（CFG）和编程线程的属性编码为一阶公式F1来检查有界并发程序的属性; 初始化干扰抽象（IA）; 将IA编码为一阶公式F2; 检查F1和F2的连接（F1 ^ F2）; 如果连接是可满足的，则检查干扰关系（IR）是否是假的，并且迭代地改进IA; 并且如果连接不能令人满意，则检查干扰关系（IR）是否是伪造的，并且迭代地改进IA。

3. 发明申请

US20120011492A1 SYSTEMS AND METHODS FOR CONCURRENCY ANALYSIS 有权
标题翻译：系数和方差分析
公开(公告)号：US20120011492A1
公开(公告)日：2012-01-12
申请号：US13109998
申请日：2011-05-18
申请人： Nishant Sinha , Chao Wang
发明人： Nishant Sinha , Chao Wang
IPC分类号： G06F9/44
CPC分类号： G06F11/3608
摘要： Systems and methods are disclosed to check properties of bounded concurrent programs by encoding concurrent control flow graph (CFG) and property for programming threads as a first-order formula F1; initializing an interference abstraction (IA); encoding the IA as a first-order formula F2; checking a conjunction of F1 and F2 (F1̂F2); if the conjunction is satisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA; and if the conjunction is unsatisfiable, checking if an interference relation (IR) is spurious, and iteratively refining the IA.
摘要翻译：公开了系统和方法，通过将并行控制流程图（CFG）和编程线程的属性编码为一阶公式F1来检查有界并发程序的属性; 初始化干扰抽象（IA）; 将IA编码为一阶公式F2; 检查F1和F2（F1F2）的连接; 如果连接是可满足的，则检查干扰关系（IR）是否是假的，并且迭代地改进IA; 并且如果连接不能令人满意，则检查干扰关系（IR）是否是伪造的，并且迭代地改进IA。

4. 发明授权

US08561029B2 Precise thread-modular summarization of concurrent programs 有权
标题翻译：并行程序的精确线程模块化汇总
公开(公告)号：US08561029B2
公开(公告)日：2013-10-15
申请号：US12894710
申请日：2010-09-30
申请人： Nishant Sinha , Chao Wang
发明人： Nishant Sinha , Chao Wang
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3604
摘要： Methods and systems for concurrent program verification. A concurrent program is summarized into a symbolic interference skeleton (IS) using data flow analysis. Sequential consistency constraints are enforced on read and write events in the IS. Error conditions are checked together with the IS using a processor.
摘要翻译：并发程序验证的方法和系统。使用数据流分析将并发程序总结为符号干扰骨架（IS）。在IS中的读写事件上执行顺序一致性约束。使用处理器与IS一起检查错误状况。

5. 发明公开

US20230219284A1 COLOR IMAGE PRINTING BY POLYMER-ASSISTED PHOTOCHEMICAL DEPOSITION 审中-公开
公开(公告)号：US20230219284A1
公开(公告)日：2023-07-13
申请号：US18154257
申请日：2023-01-13
申请人： Chao Wang , Shinhyuk Choi , Yu Yao , Jiawei Zuo
发明人： Chao Wang , Shinhyuk Choi , Yu Yao , Jiawei Zuo
IPC分类号： B29C64/106 , B33Y10/00 , B33Y70/10 , B29C35/08
CPC分类号： B29C64/106 , B33Y10/00 , B33Y70/10 , B29C35/0805 , B29C2035/0827
摘要： A structural color image includes a metallic layer, a nanocomposite film, and a dielectric layer between and in direct contact with the metallic layer and the nanocomposite film. The metallic layer reflects visible light. The nanocomposite film reflects visible light and includes metallic nanoparticles in a polymeric material.

6. 外观设计

USD963787S1 Mosquito killer light 有权
公开(公告)号：USD963787S1
公开(公告)日：2022-09-13
申请号：US29829117
申请日：2022-03-03
申请人： Chao Wang
设计人： Chao Wang

7. 发明授权

US11135649B2 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.

8. 外观设计

USD913858S1 Electric vehicle 有权
公开(公告)号：USD913858S1
公开(公告)日：2021-03-23
申请号：US29715309
申请日：2019-11-30
申请人： Chao Wang , Kun Lang , Lei Cao , Yongqiang Liu
设计人： Chao Wang , Kun Lang , Lei Cao , Yongqiang Liu

9. 外观设计

USD899645S1 Snow globe lantern 有权
公开(公告)号：USD899645S1
公开(公告)日：2020-10-20
申请号：US29718757
申请日：2019-12-27
申请人： Chao Wang
设计人： Chao Wang
摘要： FIG. 1 is a front, right side, top perspective view of a snow globe lantern showing my new design;
FIG. 2 is a front elevational view thereof;
FIG. 3 is a rear elevational view thereof;
FIG. 4 is a left side elevational view thereof;
FIG. 5 is a right side elevational view thereof;
FIG. 6 is a top plan view thereof; and,
FIG. 7 is a bottom plan view thereof.
The broken lines depict portions of the snow globe lantern form no part of the claimed design.

10. 发明申请

US20190262897A1 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.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式