公开(公告)号：US20120198426A1

公开(公告)日：2012-08-02

申请号：US13442703

申请日：2012-04-09

申请人： Youfeng Wu ,  Cheng Wang ,  Ho-Seop Kim

发明人： Youfeng Wu ,  Cheng Wang ,  Ho-Seop Kim

IPC分类号： G06F9/45

CPC分类号： G06F11/28 ,  G06F8/52 ,  G06F9/30087 ,  G06F9/45516

摘要： Methods and an apparatus to form a resilient objective instruction construct are provided. An example method obtains a source instruction construct and forms a resilient objective instruction construct by compiling one or more resilient transactions.

摘要翻译： 提供了形成弹性目标指令结构的方法和装置。 示例性方法通过编译一个或多个弹性事务来获得源指令结构并形成弹性目标指令结构。

公开(公告)号：US20120149677A1

公开(公告)日：2012-06-14

申请号：US13391315

申请日：2010-08-16

申请人： Vadim Y. Dudkin ,  Mark E. Fraley ,  Cheng Wang ,  Robert M. Garbaccio ,  Douglas C. Beshore ,  Scott K. Kuduk ,  Jason W. Skudlarek

发明人： Vadim Y. Dudkin ,  Mark E. Fraley ,  Cheng Wang ,  Robert M. Garbaccio ,  Douglas C. Beshore ,  Scott K. Kuduk ,  Jason W. Skudlarek

IPC分类号： A61K31/4439 ,  C07D403/12 ,  C07D495/04 ,  C07D403/14 ,  C07D401/14 ,  C07D417/14 ,  A61K31/497 ,  A61K31/4709 ,  A61K31/506 ,  A61K31/519 ,  A61K31/444 ,  A61K31/541 ,  A61K31/438 ,  A61P25/00 ,  A61P25/18 ,  C07D401/12

CPC分类号： C07D417/14 ,  A61K31/4192 ,  A61K31/4439 ,  A61K31/444 ,  A61K31/454 ,  A61K31/4545 ,  A61K31/496 ,  A61K31/497 ,  A61K31/506 ,  C07D249/18 ,  C07D401/12 ,  C07D401/14 ,  C07D403/12 ,  C07D403/14 ,  C07D405/14 ,  C07D409/14 ,  C07D413/14 ,  C07D417/12 ,  C07D471/04 ,  C07D471/08 ,  C07D471/10 ,  C07D487/04 ,  C07D487/08 ,  C07D487/10 ,  C07D495/04 ,  C07D498/04

摘要： The present invention is directed to ether benzotriazole derivatives which are potentiators of metabotropic glutamate receptors, particularly the mGluR2 receptor, and which are useful in the treatment or prevention of neurological and psychiatric disorders associated with glutamate dysfunction and diseases in which metabotropic glutamate receptors are involved. The invention is also directed to pharmaceutical compositions comprising these compounds and the use of these compounds and compositions in the prevention or treatment of such diseases in which metabotropic glutamate receptors are involved.

摘要翻译： 本发明涉及作为代谢型谷氨酸受体，特别是mGluR2受体的增强剂的醚苯并三唑衍生物，其可用于治疗或预防与谷氨酸能力障碍相关的神经和精神病学障碍以及涉及代谢型谷氨酸受体的疾病。 本发明还涉及包含这些化合物的药物组合物以及这些化合物和组合物在预防或治疗涉及代谢型谷氨酸受体的疾病中的用途。

公开(公告)号：US08065490B2

公开(公告)日：2011-11-22

申请号：US11906175

申请日：2007-09-28

申请人： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Tatiana Shpeisman ,  Cheng Wang

发明人： Bratin Saha ,  Ali-Reza Adl-Tabatabai ,  Tatiana Shpeisman ,  Cheng Wang

IPC分类号： G06F9/312

CPC分类号： G06F9/467 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834

摘要： In accordance with some embodiments, software transactional memory may be used for both managed and unmanaged environments. If a cache line is resident in a cache and this is not the first time that the cache line has been read since the last write, then the data may be read directly from the cache line, improving performance. Otherwise, a normal read may be utilized to read the information. Similarly, write performance can be accelerated in some instances to improve performance.

摘要翻译： 根据一些实施例，软件事务存储器可以用于被管理的和非管理的环境。 如果高速缓存行驻留在缓存中，并且这不是自上次写入以来第一次读取高速缓存行，则可以直接从高速缓存行读取数据，从而提高性能。 否则，可以使用正常读取来读取信息。 同样，在某些情况下，写入性能可以加快，以提高性能。

公开(公告)号：US08060482B2

公开(公告)日：2011-11-15

申请号：US11648012

申请日：2006-12-28

申请人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

发明人： Cheng Wang ,  Youfeng Wu ,  Wei-Yu Chen ,  Bratin Saha ,  Ali-Reza Adl-Tabatabai

IPC分类号： G06F7/00 ,  G06F17/00 ,  G06F17/30

CPC分类号： G06F8/458 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3859 ,  G06F9/3863 ,  G06F9/467

摘要： A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.

摘要翻译： 这里描述了用于在软件事务存储器（STM）系统中有效且一致的验证/冲突检测的方法和装置。 在加载之后插入版本检查障碍，以便在加载之前和之后比较加载值的版本。 此外，使用全局时间戳（GTS）来跟踪最近提交的事务。 每个事务与在事务开始时初始化为GTS值的本地时间戳（LTS）相关联。 作为事务提交，将GTS更新为新值，并将修改的位置的版本设置为新值。 待处理的交易将比较其在LTS阅读障碍中确定的版本。 如果版本大于其LTS，指示在挂起事务启动并初始化LTS之后另一个事务已经提交，则挂起的事务会验证其读取集合以保持有效且一致的事务执行。

公开(公告)号：US20110217606A1

公开(公告)日：2011-09-08

申请号：US13014723

申请日：2011-01-27

申请人： Yueh-Chang Wu ,  Cheng Wang ,  Po-Kuei Chou

发明人： Yueh-Chang Wu ,  Cheng Wang ,  Po-Kuei Chou

IPC分类号： H01M8/06

CPC分类号： H01M8/06

摘要： A hydrogen generation device adapted to a fuel cell is provided. The hydrogen generation device includes a containing tank and a buffer layer. The buffer layer is disposed in the containing tank and divides the containing tank into a first containing space and a second containing space. The first containing space is capable of containing a liquid reactant. The second containing space is capable of containing a first solid fuel. The liquid reactant is capable of entering the second containing space through the buffer layer and reacts with the first solid fuel to generate hydrogen.

摘要翻译： 提供了适用于燃料电池的氢生成装置。 氢生成装置包括容纳槽和缓冲层。 缓冲层设置在容纳槽中，并将容纳槽分成第一容纳空间和第二容纳空间。 第一容纳空间能够容纳液体反应物。 第二容纳空间能够容纳第一固体燃料。 液体反应物能够通过缓冲层进入第二容纳空间并与第一固体燃料反应产生氢气。

公开(公告)号：US20110177412A1

公开(公告)日：2011-07-21

申请号：US12978390

申请日：2010-12-23

申请人： Kuo-Tai Hung ,  Cheng Wang

发明人： Kuo-Tai Hung ,  Cheng Wang

IPC分类号： H01M8/06

CPC分类号： H01M8/04089 ,  H01M8/04626 ,  H01M8/04753 ,  H01M8/0494 ,  H01M8/04947 ,  H01M16/006

摘要： A powering method of a fuel cell includes following steps. A fuel cartridge including a plurality of fuel units and an accumulator is provided. An under-load electric quantity of the accumulator is detected. If the under-load electric quantity is less than a threshold, power is supplied by the accumulator to a load. If the under-load electric quantity is greater than the threshold, a first fuel unit of the fuel units is selected and triggered to provide fuel which converted into the power. If the fuel of the first fuel unit is not enough to supply the power to the load, a second fuel unit of the fuel units is selected and triggered to provide the fuel. If the load is removed, the other fuel units which are not yet triggered are not triggered, and the accumulator is charged with the power converted from the fuel.

摘要翻译： 燃料电池的供电方法包括以下步骤。 提供一种包括多个燃料单元和蓄能器的燃料盒。 检测蓄能器的欠载电量。 如果欠载电量小于阈值，则蓄能器向负载供电。 如果欠载电量大于阈值，则选择并触发燃料单元的第一燃料单元以提供转换成功率的燃料。 如果第一燃料单元的燃料不足以向负载供电，则选择并触发燃料单元的第二燃料单元以提供燃料。 如果卸载了负载，则未触发的其他燃料单元不被触发，并且蓄能器用燃料转换的电力进行充电。

公开(公告)号：US20110177404A1

公开(公告)日：2011-07-21

申请号：US12944731

申请日：2010-11-12

申请人： Kuo-Tai Hung ,  Cheng Wang

发明人： Kuo-Tai Hung ,  Cheng Wang

IPC分类号： H01M8/04 ,  H01M8/06

CPC分类号： H01M8/04208 ,  H01M8/04373 ,  H01M8/04708 ,  H01M8/065

摘要： A fuel cartridge of a fuel cell and a method for operating the fuel cartridge are provided. The fuel cartridge has a plurality of fuel units. At least one first fuel unit is selected form the fuel units and the first fuel unit is triggered to provide a fuel to the fuel cell. If the fuel produced by the first fuel unit is insufficient to provide for the fuel cell, at least a second fuel unit is selected from the fuel units. A temperature of the second fuel unit is detected, and if the temperature of the second fuel unit is lower than an upper-limit operating temperature, the second fuel unit is triggered to provide the fuel to the fuel cell.

摘要翻译： 提供燃料电池的燃料盒和操作燃料盒的方法。 燃料盒具有多个燃料单元。 从燃料单元选择至少一个第一燃料单元，并且触发第一燃料单元以向燃料电池提供燃料。 如果由第一燃料单元产生的燃料不足以提供燃料电池，则从燃料单元中选择至少第二燃料单元。 检测第二燃料单元的温度，如果第二燃料单元的温度低于上限工作温度，则第二燃料单元被触发以向燃料电池提供燃料。

公开(公告)号：US07937620B2

公开(公告)日：2011-05-03

申请号：US11745403

申请日：2007-05-07

申请人： Cheng Wang ,  Youfeng Wu

发明人： Cheng Wang ,  Youfeng Wu

IPC分类号： G06F11/00 ,  G06F11/14

CPC分类号： G06F11/1497 ,  G06F8/457

摘要： Disclosed is a method for running a first code generated by a Software-based Redundant Multi-Threading (SRMT) compiler along with a second code generated by a normal compiler at runtime, the first code including a first function and a second function, the second code including a third function. The method comprises running the first function in a leading thread and a tailing thread (104); running the third function in a single thread (106), the leading thread calls the third function and running the second function in the leading thread and the tailing thread (108), the third function calls the second function. The present disclosure provides a mechanism for handling function calls wherein SRMT functions and binary functions can call each other irrespective of whether the callee function is a SRMT function or a binary function and thereby dynamically adjusts reliability and performance tradeoff based on run-time information and user selectable policies.

公开(公告)号：US07844946B2

公开(公告)日：2010-11-30

申请号：US11535205

申请日：2006-09-26

申请人： Youfeng Wu ,  Cheng Wang

发明人： Youfeng Wu ,  Cheng Wang

IPC分类号： G06F9/44 ,  G06F9/46

CPC分类号： G06F9/466 ,  G06F9/524

摘要： Methods and an apparatus for forming a transaction object instruction construct are provided. An example method translates a source instruction construct to form a transactional objective instruction construct, executes the transactional objective instruction construct, intercepts an aborted transaction associated with the transactional objective instruction construct during execution, maintains a graph of nodes and edges associated with the executed transactional objective instruction construct to predict a deadlock situation, and resolves the deadlock situation associated with the transactional objective instruction construct based on the graph.

摘要翻译： 提供了用于形成交易对象指令结构的方法和装置。 一个示例性方法将源指令结构转换成一个事务性目标指令结构，执行事务目标指令结构，在执行期间拦截与事务性目标指令结构相关联的异常事务，维护与执行的事务目标相关联的节点和边的图 指令结构来预测死锁情况，并根据图表解决与事务性目标指令构造相关的死锁情况。

公开(公告)号：US20100175050A1

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

申请号：US12512810

申请日：2009-07-30

申请人： Cheng Wang ,  Kevin R. Walsh ,  Pascal P. Sero

发明人： Cheng Wang ,  Kevin R. Walsh ,  Pascal P. Sero

IPC分类号： G06F11/36 ,  G06F9/44 ,  G06F17/00

CPC分类号： G06F11/3688 ,  G06F9/451 ,  G06F11/3684

摘要： One embodiment of the present invention provides a system that automatically generates addressing queries for objects rendered on a graphical user interface (GUI). During operation, the system receives a request for GUI object-addressing query for an application to be tested. The system first identifies the application context, and retrieves a rule document describing GUI object-addressing query rules according to the identified application context. Next, the system parses the rule document to generate an applicable query rule set for the application. Based on the applicable query rule set, the system generates a set of query candidates and determines a unique query for each GUI object.

摘要翻译： 本发明的一个实施例提供一种自动地生成在图形用户界面（GUI）上呈现的对象的寻址查询的系统。 在操作期间，系统接收对要测试的应用程序的GUI对象寻址查询的请求。 系统首先识别应用程序上下文，并根据所识别的应用程序上下文检索描述GUI对象寻址查询规则的规则文档。 接下来，系统解析规则文档以生成适用于应用程序的查询规则集。 基于适用的查询规则集，系统生成一组查询候选，并确定每个GUI对象的唯一查询。