Membrane reactor
    21.
    发明授权
    Membrane reactor 有权
    膜反应器

    公开(公告)号:US09217202B2

    公开(公告)日:2015-12-22

    申请号:US13567155

    申请日:2012-08-06

    摘要: A membrane reactor used for electrochemically converting a carbon dioxide gas into an expected product includes a cavity, a solid electrolyte membrane separator, a cathode, an anode, and a power source. The solid electrolyte membrane separator is disposed in the cavity and divides the cavity into two chambers defined as a cathode chamber and an anode chamber. The cathode is disposed in the cathode chamber, and the anode is disposed in the anode chamber. The cathode is a trickle bed structure including a porous conductive layer and cathode particles disposed on the porous conductive layer. The power source is disposed outside the cavity to provide an electrolytic voltage.

    摘要翻译: 用于将二氧化碳气体电化学转化为预期产品的膜反应器包括空腔,固体电解质膜分离器,阴极,阳极和电源。 固体电解质膜分离器设置在空腔中并将空腔划分为限定为阴极室和阳极室的两个室。 阴极设置在阴极室中,阳极设置在阳极室中。 阴极是包括设置在多孔导电层上的多孔导电层和阴极粒子的滴流床结构。 电源设置在空腔外部以提供电解电压。

    Fuel cell
    22.
    发明授权
    Fuel cell 有权
    燃料电池

    公开(公告)号:US09196908B2

    公开(公告)日:2015-11-24

    申请号:US13340624

    申请日:2011-12-29

    IPC分类号: H01M4/92 H01M8/10 H01M8/24

    摘要: A fuel cell includes at least one fuel cell element, which includes an anode, a cathode, a proton exchange membrane sandwiched between the anode and the cathode, a first flow guide plate, and a second flow guide plate. Each of the anode and the cathode includes a catalyst layer including a number of tube carriers having electron conductibility, a number of catalyst particles uniformly adsorbed on an inner wall of each of the tube carriers, and a proton conductor filled in each of the plurality of tube carriers. A first end of each of the tube carriers connects with the proton exchange membrane. The first flow guide plate is disposed on a surface of the anode away from the proton exchange membrane. The second flow guide plate is disposed on a surface of the cathode away from the proton exchange membrane.

    摘要翻译: 燃料电池包括至少一个燃料电池元件,其包括阳极,阴极,夹在阳极和阴极之间的质子交换膜,第一导流板和第二导流板。 阳极和阴极中的每一个包括催化剂层,其包括具有电子传导性的多个管载体,均匀吸附在每个管载体的内壁上的多个催化剂颗粒和填充在多个 管载体。 每个管载体的第一端与质子交换膜连接。 第一流动引导板设置在远离质子交换膜的阳极表面上。 第二流动引导板设置在阴离子离开质子交换膜的表面上。

    INSTRUCTION AND LOGIC TO EFFICIENTLY MONITOR LOOP TRIP COUNT
    23.
    发明申请
    INSTRUCTION AND LOGIC TO EFFICIENTLY MONITOR LOOP TRIP COUNT 有权
    指令和逻辑到有效的监视器循环次数

    公开(公告)号:US20140208085A1

    公开(公告)日:2014-07-24

    申请号:US13996861

    申请日:2012-03-30

    IPC分类号: G06F9/32

    摘要: Logic and instruction to efficiently monitor loop trip count. Loop trip count information of a loop may be stored in a dedicated hardware buffer. Average loop trip count of the loop may be calculated based on the stored loop trip count information. Based on the average trip count, loop optimizations may be applied or removed from the loop. The stored loop trip count information may include an identifier identifying the loop, a total loop trip count of the loop, and an exit count of the loop.

    摘要翻译: 有效监控回路行程数的逻辑和指令。 循环的循环行程计数信息可以存储在专用硬件缓冲器中。 可以基于存储的循环行程计数信息来计算循环的平均循环行程计数。 基于平均行程计数,循环优化可以从循环中应用或移除。 存储的循环行程计数信息可以包括标识循环的标识符,循环的总循环行程计数以及循环的退出计数。

    Mechanisms for strong atomicity in a transactional memory system
    24.
    发明授权
    Mechanisms for strong atomicity in a transactional memory system 有权
    事务记忆系统中强原子性的机制

    公开(公告)号:US08706982B2

    公开(公告)日:2014-04-22

    申请号:US11967231

    申请日:2007-12-30

    IPC分类号: G06F12/12

    摘要: A method and apparatus for providing efficient strong atomicity is herein described. Optimized strong operations may be inserted at non-transactional read accesses to provide efficient strong atomicity. A global transaction value is copied at a beginning of a non-transactional function to a local transaction value; essentially creating a local timestamp of the global transaction value. At a non-transactional memory access within the function, a counter value or version value is compared to the LTV to see if a transaction has started updating memory locations, or specifically the memory location accessed. If memory locations have not been updated by a transaction, execution is accelerated by avoiding a full set of slowpath strong atomic operations to ensure validity of data accessed. In contrast, the slowpath operations may be executed to resolve contention between a transactional and non-transaction access contending for the same memory location.

    摘要翻译: 这里描述了提供有效的强原子性的方法和装置。 可以在非事务性读访问中插入优化的强操作,以提供有效的强原子性。 全局事务值在非事务函数的开头被复制到本地事务值; 基本上创建了全局事务值的本地时间戳。 在功能内的非事务性存储器访问中,将计数器值或版本值与LTV进行比较,以查看事务是否开始更新存储器位置,或具体地访问存储器位置。 如果事务没有更新存储器位置,则通过避免一整套的慢路强原子操作来加速执行,以确保访问的数据的有效性。 相比之下,可以执行慢路操作来解决争用相同内存位置的事务和非事务访问之间的争用。

    Hydrogen generating apparatus and fuel cell using the same
    25.
    发明授权
    Hydrogen generating apparatus and fuel cell using the same 失效
    氢发生装置和使用其的燃料电池

    公开(公告)号:US08500830B2

    公开(公告)日:2013-08-06

    申请号:US12871924

    申请日:2010-08-31

    IPC分类号: B01J7/00

    CPC分类号: H01M8/06 Y02E60/36

    摘要: A hydrogen generating apparatus and a fuel cell using the same is provided. The hydrogen generating apparatus is adapted to a fuel cell, and includes a main body, an electromagnet, a magnetic element, a containing tank and a sliding element. The electromagnet is fixed on the main body. The magnetic element is movably disposed on the main body. The containing tank is fixed on the main body and is used for containing liquid water. The sliding element is slidably disposed on the main body, wherein a solid fuel is fixed on the sliding element. When the electromagnet is electrified to generate magnetic force to drive a motion of the magnetic element, the magnetic element drives the sliding element to slide towards the containing tank, so that the solid fuel reacts with the liquid water in the containing tank to generate hydrogen.

    摘要翻译: 提供氢生成装置和使用该氢发生装置的燃料电池。 氢发生装置适用于燃料电池,并且包括主体,电磁体,磁性元件,容纳槽和滑动元件。 电磁铁固定在主体上。 磁性元件可移动地设置在主体上。 容纳罐固定在主体上,用于容纳液态水。 滑动元件可滑动地设置在主体上,其中固体燃料固定在滑动元件上。 当电磁铁通电以产生磁力以驱动磁性元件的运动时,磁性元件驱动滑动元件朝向容纳槽滑动,使得固体燃料与容纳槽中的液态水反应产生氢。

    Fuel cartridge, fuel cell system, and power management method thereof
    26.
    发明授权
    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
    27.
    发明授权
    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)基于呼叫边缘,返回边缘,下降伪边缘和切片标准来确定上下文敏感切片。 本发明的实施例可以包括程序分析技术,其可以用于提供二进制程序的上下文敏感切片,用于对在运行时识别的热区域进行切片,而关于从其导出二进制的程序的几个基本假设。 此外,在一个实施例中,切片方法可以包括当满足时间限制时,通过在将呼叫边缘视为正常控制流边缘的同时确定上下文不敏感切片来确定上下文不敏感切片。

    Hardware acceleration of strongly atomic software transactional memory
    30.
    发明授权
    Hardware acceleration of strongly atomic software transactional memory 有权
    强力原子软件交易内存的硬件加速

    公开(公告)号:US08065490B2

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

    申请号:US11906175

    申请日:2007-09-28

    IPC分类号: G06F9/312

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

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