Fuel cartridge, fuel cell system, and power management method thereof
    21.
    发明授权
    Fuel cartridge, fuel cell system, and power management method thereof 失效
    燃料盒,燃料电池系统及其电源管理方法

    公开(公告)号:US08486581B2

    公开(公告)日:2013-07-16

    申请号:US12957414

    申请日:2010-12-01

    IPC分类号: H01M8/02 H01M8/06 H01M8/04

    摘要: A fuel cartridge includes a plurality of chambers and a plurality of supply devices. Each of the chambers is capable of storing a first reactant. The supply devices are respectively corresponding to the chambers; and each of the supply devices is capable of supplying a second reactant to the corresponding chamber so that the second reactant reacts with the first reactant in the corresponding chamber to generate hydrogen gas. In addition, a fuel cell system using the fuel cartridge and a power management method thereof are also provided.

    摘要翻译: 燃料盒包括多个室和多个供应装置。 每个室都能够存储第一反应物。 供应装置分别对应于室; 并且每个供应装置能够将第二反应物供应到相应的室,使得第二反应物与相应室中的第一反应物反应以产生氢气。 此外,还提供了使用燃料盒的燃料电池系统及其电源管理方法。

    Context-sensitive slicing for dynamically parallelizing binary programs
    22.
    发明授权
    Context-sensitive slicing for dynamically parallelizing binary programs 有权
    用于动态并行化二进制程序的上下文相关切片

    公开(公告)号:US08443343B2

    公开(公告)日:2013-05-14

    申请号:US12607589

    申请日:2009-10-28

    IPC分类号: G06F9/45

    摘要: In one embodiment of the invention a method comprising (1) receiving an unstructured binary code region that is single-threaded; (2) determining a slice criterion for the region; (3) determining a call edge, a return edge, and a fallthrough pseudo-edge for the region based on analysis of the region at a binary level; and (4) determining a context-sensitive slice based on the call edge, the return edge, the fallthrough pseudo-edge, and the slice criterion. Embodiments of the invention may include a program analysis technique that can be used to provide context-sensitive slicing of binary programs for slicing hot regions identified at runtime, with few underlying assumptions about the program from which the binary is derived. Also, in an embodiment a slicing method may include determining a context-insensitive slice, when a time limit is met, by determining the context-insensitive slice while treating call edges as a normal control flow edges.

    摘要翻译: 在本发明的一个实施例中,一种方法包括(1)接收单线程的非结构化二进制码区域; (2)确定该区域的切片标准; (3)基于二进制级别的区域的分析确定该区域的通话边缘,返回边缘和下降伪边缘; 和(4)基于呼叫边缘,返回边缘,下降伪边缘和切片标准来确定上下文敏感切片。 本发明的实施例可以包括程序分析技术,其可以用于提供二进制程序的上下文敏感切片,用于对在运行时识别的热区域进行切片,而关于从其导出二进制的程序的几个基本假设。 此外,在一个实施例中,切片方法可以包括当满足时间限制时,通过在将呼叫边缘视为正常控制流边缘的同时确定上下文不敏感切片来确定上下文不敏感切片。

    HYDROGEN GENERATION DEVICE AND FUEL CELL
    26.
    发明申请
    HYDROGEN GENERATION DEVICE AND FUEL CELL 审中-公开
    氢气发生装置和燃料电池

    公开(公告)号:US20110217606A1

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

    申请号:US13014723

    申请日:2011-01-27

    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.

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

    POWERING METHOD AND POWERING DEVICE OF FUEL CELL
    27.
    发明申请
    POWERING METHOD AND POWERING DEVICE OF FUEL CELL 审中-公开
    燃料电池的动力方法和动力装置

    公开(公告)号:US20110177412A1

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

    申请号:US12978390

    申请日:2010-12-23

    IPC分类号: H01M8/06

    摘要: 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.

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

    FUEL CARTRIDGE OF FUEL CELL AND METHOD FOR OPERATING FUEL CARTRIDGE
    28.
    发明申请
    FUEL CARTRIDGE OF FUEL CELL AND METHOD FOR OPERATING FUEL CARTRIDGE 审中-公开
    燃油箱燃油箱和燃油箱操作方法

    公开(公告)号:US20110177404A1

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

    申请号:US12944731

    申请日:2010-11-12

    IPC分类号: H01M8/04 H01M8/06

    摘要: 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.

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

    Transient fault detection by integrating an SRMT code and a non SRMT code in a single application

    公开(公告)号: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.

    Methods and apparatus to form a transactional objective instruction construct from lock-based critical sections
    30.
    发明授权
    Methods and apparatus to form a transactional objective instruction construct from lock-based critical sections 有权
    从基于锁的关键部分形成事务性目标指令构造的方法和装置

    公开(公告)号: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.

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