Abstract: The present invention provides a stator and a motor assembly including the same. The stator includes: a stator core disposed outside a rotor core and having an inner surface inclined with respect to a rotation axis of a rotor; a plurality of coil-wound teeth extending from the inner surface of the stator core towards the rotation axis, wherein a coil is wound around each of the plurality of coil-wound teeth; and openings formed by sidewalls of the plurality of coil-wound teeth and the inner surface of the stator core, wherein a cross-sectional area of the openings changes along a direction of the rotation axis.

Abstract: Optimization of procedures for enterprise applications can take both declarative query statements and imperative logic into account in a unified optimization technique. An input procedure can implement complex analytical queries and also include iterative control flow logic such as loops. Alternative query execution plans for the procedure can be enumerated by moving queries out of and into loop boundaries via hoist and sink operations. Program correctness can be preserved via excluding some operations via dependency graphs. Sink subgraphs can also be used. Query inlining can also be supported, resulting in synergies that produce superior execution plans. The computing execution resource demand of the respective alternatives can be considered to arrive at an optimal query execution plan that can then be used to actually implement execution of the procedure. Execution performance can thus be greatly improved by performing counterintuitive optimizations.

Abstract: In a method of verifying activity information by a blockchain according to an embodiment of the present disclosure, when validity of specific activity information of a specific node is verified, a consensus algorithm for verifying validity based on previous activity information, instead of a standardized consensus algorithm, is applied to verify the validity in a variable way.

Abstract: Optimization of procedures for enterprise applications can take both declarative query statements and imperative logic into account in a unified optimization technique. An input procedure can implement complex analytical queries and also include iterative control flow logic such as loops. Alternative query execution plans for the procedure can be enumerated by moving queries out of and into loop boundaries via hoist and sink operations. Program correctness can be preserved via excluding some operations via dependency graphs. Sink subgraphs can also be used. Query inlining can also be supported, resulting in synergies that produce superior execution plans. The computing execution resource demand of the respective alternatives can be considered to arrive at an optimal query execution plan that can then be used to actually implement execution of the procedure. Execution performance can thus be greatly improved by performing counterintuitive optimizations.

Abstract: Optimization of procedures for enterprise applications can take both declarative query statements and imperative logic into account in a unified optimization technique. An input procedure can implement complex analytical queries and also include iterative control flow logic such as loops. Alternative query execution plans for the procedure can be enumerated by moving queries out of and into loop boundaries via hoist and sink operations. Program correctness can be preserved via excluding some operations via dependency graphs. Sink subgraphs can also be used. Query inlining can also be supported, resulting in synergies that produce superior execution plans. The computing execution resource demand of the respective alternatives can be considered to arrive at an optimal query execution plan that can then be used to actually implement execution of the procedure. Execution performance can thus be greatly improved by performing counterintuitive optimizations.

Abstract: Optimization of procedures for enterprise applications can take both declarative query statements and imperative logic into account in a unified optimization technique. An input procedure can implement complex analytical queries and also include iterative control flow logic such as loops. Alternative query execution plans for the procedure can be enumerated by moving queries out of and into loop boundaries via hoist and sink operations. Program correctness can be preserved via excluding some operations via dependency graphs. Sink subgraphs can also be used. Query inlining can also be supported, resulting in synergies that produce superior execution plans. The computing execution resource demand of the respective alternatives can be considered to arrive at an optimal query execution plan that can then be used to actually implement execution of the procedure. Execution performance can thus be greatly improved by performing counterintuitive optimizations.

Abstract: Provided is an apparatus for inspecting a magazine including a plurality of partially-finished products. The apparatus is configured to inspect a stopper of the magazine before providing the magazine to a packaging process, and further configured to classify the stopper into a normal product. The magazine comprising the stopper classified as the normal product is into the packaging process.

Abstract: Provided are an overhead hoist transfer system and a factory system employing the same. The factory system includes a rail attached to a ceiling of a factory. An overhead hoist transfer system, in which a first carrier configured to receive a first material and a second carrier configured to receive a second material may be suspended and moved along the rail, is provided. A processing device system including a first carrier port in which the first carrier may be seated, a first device gate through which the first material may pass, a second carrier port in which the second carrier may be seated, and a second device gate through which the second material may pass, is provided. The processing device system may be adjacent to the rail. The overhead hoist transfer system includes a grip unit configured to grip the first carrier or the second carrier, and a rotating unit configured to rotate the grip unit.

Abstract: Provided is an apparatus for inspecting a magazine including a plurality of partially-finished products. The apparatus is configured to inspect a stopper of the magazine before providing the magazine to a packaging process, and further configured to classify the stopper into a normal product. The magazine comprising the stopper classified as the normal product is into the packaging process.

Abstract: A carrier transfer for automatically transferring a substrate carrier includes a gripper detachably coupled to the substrate carrier, the substrate carrier including a plurality of substrates and at least one open gate through which the plurality of substrates are loaded into or unloaded from the substrate carrier. The gripper includes a gate blocking unit secured to the gripper and configured to shift to a blocking position, the blocking position being a position of the gate blocking unit that partially blocks the gate to prevent the plurality of substrates from being separated from the substrate carrier during the automatic transferring of the substrate carrier.

Abstract: A method for coding three-dimensional (3D) data, and more particularly for coding geometry data included in the 3D data. The method includes: generating a bounding box including a vertex of the 3D data based on information included in the geometry data; dividing the bounding box into a plurality of partitions having an equal size; identifying a number of vertices included in each divided partition; appointing a divided partition as a leaf cell based on the identified number of vertices; and coding the geometry data using information on the dividing of the bounding box, information on vertices included in each divided partition, and information indicating the position of a vertex included in the leaf cell, when a divided partition is subdivided.

Abstract: A method for coding three-dimensional (3D) data, and more particularly for coding geometry data included in the 3D data. The method includes: generating a bounding box including a vertex of the 3D data based on information included in the geometry data; dividing the bounding box into a plurality of partitions having an equal size; identifying a number of vertices included in each divided partition; appointing a divided partition as a leaf cell based on the identified number of vertices; and coding the geometry data using information on the dividing of the bounding box, information on vertices included in each divided partition, and information indicating the position of a vertex included in the leaf cell, when a divided partition is subdivided.

Abstract: A mounting structure of a semiconductor device and a method of mounting the semiconductor device are provided. The mounting structure includes a circuit substrate having a terminal pad. A device substrate is located over the circuit substrate having a ball pad facing the terminal pad of the circuit substrate. A conductive ball is formed between the circuit substrate and the device substrate in order to connect the terminal pad of the circuit substrate to the ball pad of the device substrate. A first soldering flux including an epoxy-based resin connects the conductive ball to the ball pad of the device substrate. An underfill layer is formed between the circuit substrate and the device substrate in order to bury the conductive ball and the first soldering flux.

Abstract: The arrangement and method determine if an article requested in a retrieval request is destined for storage and retrieve the article prior to storage when it is determined that the article requested in a retrieval request is destined for storage.

Abstract: An automatic loading and unloading apparatus using servo motors allows simultaneous loading and unloading of two or more semiconductor device packages into and from test devices. The loading and unloading apparatus has a feeding mechanism which has a feed container carrying two semiconductor device packages which have not yet been tested; a loading tool for transferring those two semiconductor device packages from the feed container to a centering position; a DC test contact tool; an insertion tool; a removal tool; and a sorting station for sorting the semiconductor device packages depending on results of a burn-in test. The tools of the apparatus are driven by the action of servo motors, thereby allowing independent movements thereof in the vertical and horizontal directions.