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

71. 发明授权

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

72. 发明授权

US08550374B2 Vehicle headlight cleaning apparatus 有权
标题翻译：车头灯清洁装置
公开(公告)号：US08550374B2
公开(公告)日：2013-10-08
申请号：US13056471
申请日：2010-04-06
申请人： Tianzhong Guo , Chao Wang , Minghua Zhu
发明人： Tianzhong Guo , Chao Wang , Minghua Zhu
IPC分类号： B05B1/10 , B60S1/46
CPC分类号： B05B1/3006 , B05B1/20 , B05B1/304 , B05B1/3436 , B60S1/528
摘要： A main body of the cleaning apparatus is of a cylindrical structure and internally provided with a compression spring and a movable seal valve which is matched with the inner wall of a casing of the cleaning apparatus. When cleaning solution flows in the cleaning apparatus through a cleaning solution inlet on a base, the pressure of the cleaning solution overcomes the spring force of the compression spring and drives a transmission guide rod, the movable seal valve and a nozzle to move together, and the transmission guide rod stops when moving to a limit position. When cleaning is finished, the pressure of the cleaning solution disappears, the movable seal valve is closed under the function of the compression spring then the transmission guide rod retracts into the casing and closes.
摘要翻译：清洁装置的主体是圆筒形结构，内部设置有与清洁装置的壳体的内壁相匹配的压缩弹簧和可动密封阀。当清洗液通过基座上的清洗液入口清洗溶液时，清洗液的压力克服了压缩弹簧的弹簧力，驱动传动导杆，可动密封阀和喷嘴一起移动，传动导杆在移动到极限位置时停止。当清洁完成时，清洁溶液的压力消失，可动密封阀在压缩弹簧的作用下关闭，传动导杆缩回到壳体内并关闭。

73. 发明授权

US08381226B2 System and method for monotonic partial order reduction 有权
标题翻译：用于单调部分阶次降低的系统和方法
公开(公告)号：US08381226B2
公开(公告)日：2013-02-19
申请号：US12367140
申请日：2009-02-06
申请人： Vineet Kahlon , Chao Wang , Aarti Gupta
发明人： Vineet Kahlon , Chao Wang , Aarti Gupta
IPC分类号： G06F11/36
CPC分类号： G06F11/3604 , G06F11/30
摘要： A system and method for analyzing concurrent programs that guarantees optimality in the number of thread inter-leavings to be explored. Optimality is ensured by globally constraining the inter-leavings of the local operations of its threads so that only quasi-monotonic sequences of threads operations are explored. For efficiency, a SAT/SMT solver is used to explore the quasi-monotonic computations of the given concurrent program. Constraints are added dynamically during exploration of the concurrent program via a SAT/SMT solver to ensure quasi-montonicity for model checking.
摘要翻译：一种用于分析并发程序的系统和方法，保证要探索的线程间隔数量的最优化。通过全局约束其线程的本地操作的离开来确保优化，从而仅探索准单调序列的线程操作。为了效率，使用SAT / SMT求解器来探索给定并发程序的准单调计算。通过SAT / SMT求解器在并发程序的探索期间动态添加约束，以确保模型检查的准单调性。

74. 发明授权

US08345468B2 Capacity and density enhancement circuit for sub-threshold memory unit array 有权
标题翻译：用于子阈值存储单元阵列的容量和密度增强电路
公开(公告)号：US08345468B2
公开(公告)日：2013-01-01
申请号：US13322114
申请日：2009-08-18
申请人： Jie Li , Na Bai , Ming Ling , Aiguo Bu , Chao Wang , Chen Hu
发明人： Jie Li , Na Bai , Ming Ling , Aiguo Bu , Chao Wang , Chen Hu
IPC分类号： G11C11/24
CPC分类号： G11C11/412 , G11C7/12
摘要： A capacity and density enhancement circuit for a sub-threshold memory unit array which can decrease the drain current in the bit lines and enhance the pull-up capability of memory cells. The capacity and density enhancement circuit is composed of a first enhancement transistor, a second enhancement transistor, a first mask transmission gate, a second mask transmission gate, a first logic memory capacitor and a second logic memory capacitor.
摘要翻译：一种用于子阈值存储单元阵列的容量和密度增强电路，其可以减小位线中的漏极电流并增强存储器单元的上拉能力。容量和密度增强电路由第一增强晶体管，第二增强晶体管，第一掩模传输栅极，第二掩模传输栅极，第一逻辑存储电容器和第二逻辑存储电容器组成。

75. 发明申请

US20120208696A1 HIGHLY DURABLE NANOSCALE ELECTROCATALYST BASED ON CORE SHELL PARTICLES 有权
标题翻译：基于芯壳的高耐压纳米电极电解质
公开(公告)号：US20120208696A1
公开(公告)日：2012-08-16
申请号：US13453782
申请日：2012-04-23
申请人： Vojislav STAMENKOVIC , Nenad M. Markovic , Chao Wang , Hideo Daimon , Shouheng Sun
发明人： Vojislav STAMENKOVIC , Nenad M. Markovic , Chao Wang , Hideo Daimon , Shouheng Sun
IPC分类号： B01J23/89 , B01J23/42 , B01J23/745 , B01J23/75 , B01J23/755 , B01J35/02 , B01J23/52 , B82Y30/00
CPC分类号： H01M4/921 , H01M2004/028 , Y10S977/773 , Y10S977/81 , Y10S977/948 , Y10T428/12028 , Y10T428/12181 , Y10T428/12493 , Y10T428/2991
摘要： A multimetallic nanoscale catalyst having a core portion enveloped by a shell portion and exhibiting high catalytic activity and improved catalytic durability. In various embodiments, the core/shell nanoparticles comprise a gold particle coated with a catalytically active platinum bimetallic material. The shape of the nanoparticles is substantially defined by the particle shape of the core portion. The nanoparticles may be dispersed on a high surface area substrate for use as a catalyst and is characterized by no significant loss in surface area and specific activity following extended potential cycling.
摘要翻译：一种多金属纳米级催化剂，其核心部分被外壳部分包围并显示出高催化活性和改进的催化耐久性。在各种实施方案中，核/壳纳米颗粒包含用催化活性的铂双金属材料涂覆的金颗粒。纳米颗粒的形状基本上由芯部分的颗粒形状限定。纳米颗粒可以分散在高表面积底物上用作催化剂，其特征在于延长的电位循环后表面积和比活性没有明显的损失。

76. 发明授权

US08176496B2 Partial order reduction using guarded independence relations 有权
标题翻译：使用守卫的独立关系减少部分秩序
公开(公告)号：US08176496B2
公开(公告)日：2012-05-08
申请号：US12181665
申请日：2008-07-29
申请人： Chao Wang , Zijian Yang , Vineet Kahlon , Aarti Gupta
发明人： Chao Wang , Zijian Yang , Vineet Kahlon , Aarti Gupta
IPC分类号： G06F9/44 , G06F9/46 , G06F9/50
CPC分类号： G06F9/44589 , G06F11/3608
摘要： A system and method for conducting symbolic partial order reduction for concurrent systems includes determining a guarded independence relation which includes transitions from different threads that are independent for a set of states, when a condition or predicate holds. Partial order reduction is performed using the guarded independence relation to permit automatic pruning of redundant thread interleavings when the guarded independence condition holds.
摘要翻译：用于对并发系统进行符号部分顺序减少的系统和方法包括：当条件或谓词成立时，确定包括对于一组状态是独立的不同线程的转移的被保护的独立关系。当保护的独立性条件成立时，使用保护的独立关系执行部分顺序减少以允许冗余线程交织的自动修剪。

77. 发明申请

US20120075587A1 VIDEO PROJECTOR 审中-公开
标题翻译：视频投影机
公开(公告)号：US20120075587A1
公开(公告)日：2012-03-29
申请号：US13243140
申请日：2011-09-23
申请人： Yusuke YAMAMOTO , Toshihiro Saruwatari , Chao Wang
发明人： Yusuke YAMAMOTO , Toshihiro Saruwatari , Chao Wang
IPC分类号： G03B21/16
CPC分类号： G03B21/16
摘要： A projector is provided with a lamp including an arc tube, which generates light, and a reflector. The reflector includes an inner surface that reflects light from the arc tube and an opposite outer surface. The arc tube and the inner surface define an inner portion of the lamp. At least the outer surface defines an outer portion of the lamp. A housing accommodates the lamp and includes an air inlet through which air is drawn in from outside the housing. An air mixing structure mixes a cooling current that has cooled the inner portion of the lamp with the air drawn into the housing through the air inlet. A cooling current guide structure guides the cooling current mixed with the air mixing structure to the outer portion of the lamp.
摘要翻译：投影仪设置有灯，其包括产生光的电弧管和反射器。反射器包括反射来自电弧管的光的内表面和相对的外表面。电弧管和内表面限定了灯的内部部分。至少外表面限定了灯的外部部分。壳体容纳灯，并且包括空气入口，空气从壳体外部吸入空气。空气混合结构将冷却灯的内部的冷却电流与通过空气入口吸入外壳的空气混合。冷却电流导向结构将与空气混合结构混合的冷却电流引导到灯的外部。

78. 发明申请

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。

79. 发明申请

US20110321115A1 TV FUNCTION EXPANSION COMPONENT USING GOLD FINGER CONNECTOR 审中-公开
标题翻译：电视功能扩展组件使用金手指连接器
公开(公告)号：US20110321115A1
公开(公告)日：2011-12-29
申请号：US13142988
申请日：2009-08-12
申请人： Yili Zhai , Yilong Chen , Chao Liu , Xijia Hu , Long Chen , Jianwei Guo , Chao Wang
发明人： Yili Zhai , Yilong Chen , Chao Liu , Xijia Hu , Long Chen , Jianwei Guo , Chao Wang
IPC分类号： H04N7/16
CPC分类号： H04N5/765 , H04N21/4104 , H04N21/436
摘要： A TV function extension assembly is electrically connected with a core circuit of a display apparatus through a gold finger connector. It comprises a function extension module, an external interface, and a memory. The function extension module is connected with the core circuit of the display apparatus through the gold finger connector for mutual communication and data communication. The external interface is connected between the function module and an external device or external network to enable mutual communication and data transmission between the function extension module and the external device or external network. The memory is connected with the function extension module to store data transmitted by the function extension module.
摘要翻译： TV功能扩展组件通过金手指连接器与显示装置的核心电路电连接。它包括功能扩展模块，外部接口和内存。功能扩展模块通过金手指连接器与显示设备的核心电路连接，用于相互通信和数据通信。外部接口连接在功能模块和外部设备或外部网络之间，以实现功能扩展模块与外部设备或外部网络之间的相互通信和数据传输。存储器与功能扩展模块连接，用于存储功能扩展模块发送的数据。

80. 发明申请

US20110245068A1 HIGHLY DURABLE NANOSCALE ELECTROCATALYST BASED ON CORE SHELL PARTICLES 有权
标题翻译：基于芯壳的高耐压纳米电极电解质
公开(公告)号：US20110245068A1
公开(公告)日：2011-10-06
申请号：US12754323
申请日：2010-04-05
申请人： Vojislav Stamenkovic , Nenad M. Markovic , Chao Wang , Hideo Daimon , Shouheng Sun
发明人： Vojislav Stamenkovic , Nenad M. Markovic , Chao Wang , Hideo Daimon , Shouheng Sun
IPC分类号： H01M4/92 , B01J23/42 , B01J23/745 , B01J23/52
CPC分类号： H01M4/921 , H01M2004/028 , Y10S977/773 , Y10S977/81 , Y10S977/948 , Y10T428/12028 , Y10T428/12181 , Y10T428/12493 , Y10T428/2991
摘要： A multimetallic nanoscale catalyst having a sore portion enveloped by a shell portion and exhibiting high catalytic activity and improved catalytic durability. In various embodiments, the core/shell nanoparticles comprise a gold particle coated with a catalytically active platinum bimetallic material. The shape of the nanoparticles is substantially defined by the particle shape of the core portion. The nanoparticles may be dispersed on a high surface area substrate for use as a catalyst and is characterized by no significant loss in surface area and specific activity following extended potential cycling.
摘要翻译：一种多金属纳米尺寸催化剂，其具有由壳部分包围并具有高催化活性和改善的催化耐久性的酸洗部分。在各种实施方案中，核/壳纳米颗粒包含用催化活性的铂双金属材料涂覆的金颗粒。纳米颗粒的形状基本上由芯部分的颗粒形状限定。纳米颗粒可以分散在高表面积底物上用作催化剂，其特征在于延长的电位循环后表面积和比活性没有明显的损失。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式