摘要:
Technologies for generating composable library functions include a first computing device that includes a library compiler configured to compile a composable library and second computing device that includes an application compiler configured to compose library functions of the composable library based on a plurality of abstractions written at different levels of abstractions. For example, the abstractions may include an algorithm abstraction at a high level, a blocked-algorithm abstraction at medium level, and a region-based code abstraction at a low level. Other embodiments are described and claimed herein.
摘要:
A method and apparatus for acquiring a nanostructured coating on a metal surface by using an intense shock wave generated by continuous explosion of a laser-induced plasma is provided. The method comprises: irradiating a laser beam on a black paint surface of an upper opening of a high pressure resistant glass pipe having a black paint strip arranged therein; the black paint absorbing the light energy and producing a plasma; generating an initial plasma explosion shock wave; transmitting the initial plasma explosion shock wave in the high pressure resistant glass pipe; generating a plasma cloud reaching a lower opening of a glass catheter; and, the shock wave pressure outputted embedding nanoparticles into a surface of a workpiece. The apparatus comprises the high pressure-resistant glass pipe with a zigzagging switchback shape or a spiral and inverted cone shape.
摘要:
A loop heat pipe for dissipating heat generated by a heat source includes a pipe, a first capillary structure, a second capillary structure, and a working fluid in the pipe. The pipe has a condensing section, an evaporating section adapted to contact the heat source thermally, and an obstructing section adjacent to the evaporating section. The first capillary structure on an inner surface of the pipe is disposed between the condensing section and the obstructing section. The second capillary structure has a first and a second parts connected with each other. The first part on the inner surface of the pipe is extended from the evaporating section to the obstructing section. The second part passing through the obstructing section is extended from the obstructing section to the condensing section. A space between the first capillary structure and the second part of the second capillary structure defines a compensation room.
摘要:
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.