摘要:
This invention has provided a manufacturing method of semi-finished piston with inner cooling channel through liquid extrusion process, including the following steps: a) produce a wear-resistant cast iron ring with coupling hooks and a common salt and corundum dissoluble core with convex edges; b) fix the wear-resistant cast iron ring in the casting moulds after being aluminized; c) fix the dissoluble core after being pre-heated on the wear-resistant cast iron ring with coupling hooks and convex edges; d) fill in the casting mould with aluminum alloy liquid, compressing and molding. The dissoluble core can be accurately fixed in the casting mould through coupling hooks and convex edges. When the semi-finished piston has been manufactured into finished product, it shall be characterized by high compactness and high mechanical property resulted from liquid extrusion technology. Meanwhile, because of the cooling channel, the temperature in the combustion chamber of the head and ring groove is reduced, the load capacity of the piston is greatly improved, and the manufacturability becomes better.
摘要:
A computer-implemented method for preventing identity fraud in instant messaging is provided in accordance with an aspect of the present disclosure. In the method, an instant message is received. Then, determine relationship between a sender and a receiver of the instant message, and determine whether key identifier of the sender has changed. Subsequently, inform the receiver about the change of the key identifier of the sender when the sender and the receiver have a preset type of relationship.
摘要:
A method of making a genetically modified mammalian cell, the method including selecting a first codon of a parent polynucleotide that encodes a polypeptide for replacement with a synonymous codon, wherein the synonymous codon is selected on the basis that it exhibits a higher translational efficiency in a first type of mammalian cell than the first codon in a comparison of translational efficiencies of codons in cells of the first type, replacing the first codon with the synonymous codon to form a synthetic polynucleotide, and introducing the synthetic polynucleotide into a mammalian cell to produce the genetically modified mammalian cell.
摘要:
A method and apparatus for identifying and detecting hazards is presented. An executable specification for the architecture is compiled that includes macroarchitecture and microarchitecture information corresponding to each of the instructions supported by the architecture. A table (20) is constructed from the executable specification that specifies the particular resource utilization parameters associated with each of the instruction types included in the instruction set supported. From this table a resource utilization parameter list (30) is compiled that indicates the relative times at which resources are needed by each instruction and when these resources are released by the instruction. Comparisons between different entries in the resource utilization parameter list corresponding to the same resource are performed such that potential hazards are detected. A hazard list (200) is then compiled that includes all of the hazards detected through the comparison operations utilizing the resource utilization parameter list (30).
摘要:
In a method for transmitting a message, a first client device sends a message to a server, wherein the message includes a tag; the server forwards the message to at least one second client device; each of the at least one second client device receives the message from the server; and each of the at least one second client device outputs a new message notification in a predetermined format. A system and client devices for transmitting and forwarding a message are also provided.
摘要:
A driver for providing variable power to a LED array, which can be coupled through a dimmer to an AC power supply, comprises a filtering and rectifying unit, a switching power unit, and a control unit. The filtering and rectifying unit is adapted to attenuate EMI and convert an AC power from the AC power supply into a DC power output. The switching power unit is adapted to receive the DC power output and provide an output current to the LED array. The control unit is adapted to determine the output current in response to a comparison between a dim reference signal representing phase-modulating information of the AC power and a feedback signal representing an average value of the output current. The LED array can thus be controlled by a dimmer at the primary side so as to adjust its light output, and can further be utilized in currently existing lighting infrastructures.
摘要:
A driver for providing variable power to a LED array, which can be coupled through a dimmer to an AC power supply, comprises a filtering and rectifying unit, a switching power unit, and a control unit. The filtering and rectifying unit is adapted to attenuate EMI and convert an AC power from the AC power supply into a DC power output. The switching power unit is adapted to receive the DC power output and provide an output current to the LED array. The control unit is adapted to determine the output current in response to a comparison between a dim reference signal representing phase-modulating information of the AC power and a feedback signal representing an average value of the output current. The LED array can thus be controlled by a dimmer at the primary side so as to adjust its light output, and can further be utilized in currently existing lighting infrastructures.
摘要:
The present invention provides methods for controlling and/or monitoring at least one device using instant messages. In controlling at least one device, an instant messaging user may provide an instant message, which may include an operation to be performed. The instant messaging user may be informed of the performed operation via an instant message. In monitoring at least one device, a user may be informed of a status of the at least one device via an instant message.
摘要:
Verification Test Sequences (43) (VTS) are constructed for use in testing conformance of a Machine-Under-Test (14) (MUT) with a Finite State Machine (33) (FSM) model. The number of incoming and outgoing Test Subsequence (TS) graph (39) micro-edges are determined for each TS graph (39) vertex or Finite State Machine (33) state. An Augmented Graph (95) is created (40) by constructing Test Subsequence (TS) micro-edge bridging sequences between TS graph vertices with relatively more incoming micro-edges and vertices with relatively more outgoing micro-edges. The newly symmetric Augmented Graph (95) is Euler Toured (42), generating Verification Test Sequences (43), used to test a Machine-Under-Test (14) for conformance with the FSM model (33).
摘要:
A Distinctness Measurement (DM) is determined (16) for Finite State Machine (FSM) state transitions. The DM is used to identify Unique Input/Output Sequence (UIO) Sets (63) that uniquely identify FSM (33) states. UIO Set members are combined with FSM transitions to form Test Subsequences (TS). Test Subsequences are connected (64) into Hierarchical TS Graphs (65), which are merged (38). The merged TS Graph (39) is augmented (94) and Euler Toured (28) to generate Verification Test Sequences (VTS). A VTS (43) tests conformance of a Machine-Under-Test (14) against a FSM (33) model.