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