摘要:
A portable charging device includes a case, a power generation module, a storage module, and different types of charging connectors. The power generation module is received in the case, and configured for generating an induced current. The storage module is electrically connected with the power generation module, and configured for storing the induced current generated by the power generation module. The charging connectors are connected to the storage module and protrude from the case for electrically connecting to and charging different types of electronic devices.
摘要:
Observation and analysis based optimization of software code is disclosed. An expected value is chosen for a dynamic attribute that cannot be determined, prior to execution of the associated software code, to be guaranteed to have that expected value at runtime. An optimized version of the software code is generated, including one or more optimizations based on an assumption that the dynamic attribute will have the expected value. Non-exhaustive examples of a dynamic attribute include a variable type; a location in memory; a location in which a global object, property, or variable is stored; the contents of a global function or method; and a value of a global property or variable. A check is performed during execution of the optimized version of the software code, prior to executing the portion that has been optimized based on the assumption, to verify that the dynamic attribute has the expected value. In the event that it is determined at runtime that the dynamic attribute does not have the expected value, execution reverts to backup code that is not based on the assumption that dynamic attribute will have the expected value.
摘要:
A power-saving method for a lamp power-saving system is provided. The method includes the following steps. A lamp control unit is provided to control a fluorescent lamp. The lamp control unit includes a power conversion circuit and a preheat and lighting circuit. The preheat and lighting circuit, coupled to the power conversion circuit and two terminals of the fluorescent lamp, preheats and activates the fluorescent lamp, and outputs a feedback signal indicating a current passing through the fluorescent lamp. When the feedback signal indicates the fluorescent lamp is in a preheat mode, a resonant circuit of the preheat and lighting circuit is enabled to preheat the fluorescent lamp via a current path provided by a diode bridge of the preheat and lighting circuit. When the feedback signal indicates the fluorescent lamp is lighted, the current path of the preheat and lighting circuit is disconnected to stop preheating.
摘要:
A diindenothiophene derivative of the following formula (1) is disclosed: wherein each of G1, G2, G3 and G4 is independently an unsubstituted or substituted C6-C40-aromatic group or a C1-C40-aliphatic group; A is an electron-withdrawing group; and D is an electron-donating group. The inventive diindenothiophene derivatives can be used in a dye-sensitized solar cell.
摘要:
An automatic scan and mark apparatus has a machine tool, a location detection module, a laser detector, an ink jet and a control computer. The machine tool has a movable module and a stage. The stage mounts and holds a specimen having a scraped surface. The control computer controls the location detection module to determine a position of the movable module, controls the laser detector to detect a surface morphology of the scraped surface in a measurement range, and activates the ink jet to eject inks on high points of the scraped surface of the specimen. Thus, the surface morphology is built automatically and high points are screened out and marked by colored ink. Manufacturer may easily redo scraping of determined high points based on the marked location on the specimen without burdensome measurement.
摘要:
A method of controlling a ballast for a high intensity discharge (HID) lamp and related system. The method includes setting initial operating parameters of the ballast to turn on the HID lamp, generating starting transient electric characteristic values of the HID lamp by measuring actual electric parameters at a predetermined time during a transient process after the HID lamp is turned on, searching stored data for a rated power corresponding to the starting transient electric characteristic value range of the HID lamp after determining that the starting transient electric characteristic value is within stored starting transient electric characteristic value ranges of the HID lamp, and searching the stored data for a corresponding ballast operating parameter, to allow the HID lamp to operate in the corresponding rated power, and realize that a single ballast can be adapted to and control the HID lamps to operable in their respective specific rated power.
摘要:
Techniques for processing source code written in a traditionally interpreted language such as JavaScript, or another dynamic and/or interpreted language, are disclosed. In one example, compiled code associated with the source code is constructed and executed. An assumption on which a specific aspect of the compiled code is based (e.g., an optimization) is tested at a checkpoint of the compiled code. A roll over to fallback code is performed if the test indicates the assumption is not true.
摘要:
Techniques for processing source code written in a traditionally interpreted language such as JavaScript, or another dynamic and/or interpreted language, are disclosed. In one example, compiled code associated with the source code is constructed and executed. An assumption on which a specific aspect of the compiled code is based (e.g., an optimization) is tested at a checkpoint of the compiled code. A roll over to fallback code is performed if the test indicates the assumption is not true.
摘要:
Variable type knowledge based call specialization is disclosed. An indication is received that a variable that is an argument of a function or operation the behavior of which depends at least in part on a data type of the argument is of a first data type. Machine code that implements a first behavior that corresponds to the first data type, but not a second behavior that corresponds to a second data type other than the first data type, is generated for the function or operation.
摘要:
A device-independent intermediate representation of a source code is generated and stored, e.g., in a memory or other storage mechanism. The stored intermediate representation of the source code is used to generate a device-specific machine code corresponding to the source code. The stored intermediate representation may be updated, e.g., periodically, for example by obtaining an updated version of the source code and compiling the updated source code to generate an updated intermediate representation. The stored intermediate representation may be based on source code received from a device that is synchronized with which a compiling device that generates the device-specific machine code. In some cases, the stored intermediate representation may be used to generate for each of a plurality of devices a corresponding device-specific machine code.