摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
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.
摘要:
A NK1 antagonist having the formula (I), wherein Ar1 and Ar2 are optionally substituted phenyl or heteroaryl, X1 is an ether, thio or imino linkage, R4 and R5 are not both H or alkyl, and the remaining variables are as defined in the specification, useful for treating a number of disorders, including emesis, depression, anxiety and cough. Pharmaceutical compositions. Methods of treatment and combinations with other agents are also disclosed.
摘要:
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.
摘要:
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.