Abstract:
Compositions and methods of preparing a bimetallic alloy having enhanced electrocatalytic properties are provided. The composition comprises a PtNi substrate having a surface layer, a near-surface layer, and an inner layer, where the surface layer comprises a nickel-depleted composition, such that the surface layer comprises a platinum skin having at least one atomic layer of platinum.
Abstract:
The invention relates to a single-photon counting imaging system and a single-photon counting imaging method. The system comprises a optical filter, a first lens, a digital micro-mirror device (DMD) control system, a second lens, a single-photon counter and a data processing unit, where the DMD together with the first lens and the second lens are used for converting two-dimensional image data into a one-dimensional sequence to complete sampling of measured signals; the ultra-weak light is filtered by the optical filter, after which the ultra-weak light image onto the DMD through the first lens, and the DMD control system controls the probability of the photons reflected to the second lens and the second lens controls the focusing of the photons; and the data processing unit together with the single-photon counter to complete sparse reconstruction, and the data processing unit converts the number of photons counted by the single-photon counter within a certain period of time into the probability of detected photon counts, as the measured value, and a photon density image is reconstructed by adopting an optimization algorithm based on the measurement matrix on the DMD and the measured value, thereby solving out the two-dimensional image.
Abstract:
A method for testing characteristics of a communication device that includes a plurality of modules using a test fixture includes the steps of connecting the communication device to the test fixture, determining if tests to be performed on the plurality of modules can be simultaneously performed, performing the tests to be performed on the plurality of modules for any tests that are determined can be simultaneously performed, calculating a numerical value for each of the plurality of modules if it is determined that the tests to be performed cannot be simultaneously performed, selecting one of the tests based on the calculated numerical value, and performing the selected one of the tests based on the calculated numerical value and suspending the test or tests on the remaining modules of the plurality of modules other than the selected one of the tests.
Abstract:
A projector to which a ceiling suspension attachment is fixed. The projector accommodates an internal device. The projector is provided with an outer case including a bottom wall that defines an outer bottom surface and an inner bottom surface of the outer case. Insert nuts are arranged on the bottom wall. Each insert nut includes a threaded hole to which a first coupling screw is fastened and a second coupling screw can be fastened. The first coupling screw couples the attachment to the outer bottom surface of the bottom wall, and the second coupling screw is fastened to the threaded hole from a side opposite to the first coupling screw. The second coupling screw is fastened at least one of the insert nuts to couple the inner device to the inner bottom surface of the bottom wall.
Abstract:
Compositions and methods of preparing a bimetallic alloy having enhanced electrocatalytic properties are provided. The composition comprises a PtNi substrate having a surface layer, a near-surface layer, and an inner layer, where the surface layer comprises a nickel-depleted composition, such that the surface layer comprises a platinum skin having at least one atomic layer of platinum.
Abstract:
A reliquifier using a cryocooler in which an insulated sleeve surrounds a portion of the cold head, a first stage cooling station, and a second stage cooling station, including a condenser. Gas is conveyed from a cryostat to the insulated sleeve, where it is liquefied as it passes over the cold head. An end of the insulated sleeve is connected to a liquid transfer tube for conveying condensed fluid back to the cryostat.
Abstract:
A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.
Abstract:
A system and method for dynamic data race detection for concurrent systems includes computing lockset information using a processor for different components of a concurrent system. A controlled execution of the system is performed where the controlled execution explores different interleavings of the concurrent components. The lockset information is used during the controlled execution to check whether a search subspace associated with a state in the execution is free of data races. A race-free search subspace is dynamically pruned to reduce resource usage.
Abstract:
Disclosed are catalyst compositions for isoprene polymerization formed from components comprising (A) at least one titanium halide; (B) at least one organic aluminum compound comprising at least one alkyl aluminum of formula AlR3, wherein each of the three Rs is independently chosen from linear and branched C1-6 alkyl groups; and (C) at least one electron donor comprising at least one polyether compound of formula (I) and/or at least one tetrahydro-furfuryl ether compound of formula (II). Also disclosed are processes for preparation of the catalyst compositions and processes using the catalyst compositions for isoprene polymerization.
Abstract:
A video projector including a light source used to display an image, an optical component that differs from the light source, a power supply unit that supplies power, and a centrifugal fan including a rotation shaft and a blade that rotates about the rotation shaft. The centrifugal fan is a double intake fan that draws in gas from first and second axial directions, which are parallel to the rotation shaft, by rotating the blade and sends the gas outward in a radial direction from the rotation shaft. The centrifugal fan sends gas that has cooled the optical component and the power supply unit to the light source.