摘要:
A method and apparatus for performing design verification is described. In one embodiment, a method for performing design verification includes specifying at least one object that represents at least one signal as a symbol in a design using a first command and instructing a symbolic simulator with the first command to treat the at least one object as a symbol.
摘要:
A multiphase catalytic tower-shaped impinging-stream reactor in the form of a tower, the upper part of which is a plate or packed tower 4 and the lower part of which is a multiphase catalytic impinging-stream reaction kettle 2; the upper part and the lower part are separated by a flow channel plate 14 which has a plurality of round holes serving as flow channels 62; at the top of the reaction kettle 2 exists an upper ejector 3 and at the bottom of the reaction kettle 2 exists a lower ejector 8; near to the side wall of the reaction kettle 2 stands a baffle plate 5, which separates a static liquid zone within the reaction kettle 2 is disclosed.
摘要:
The present invention relates to the field of communication technology, and a de-registration method, a Home NodeB (HNB) and a Home NodeB Gateway (HNB GW) are disclosed. In an embodiment, the present invention provides a de-registration method, comprising: initiating, by an HNB GW, release of pre-registration resources corresponding to user equipment (UE) after the HNB GW receives indication information indicating that the UE moves to another cell from a source HNB. Applying the embodiment of the present invention can release pre-registration resources in time and reduce waste of resources.
摘要:
Versions of the present invention have many advantages, including providing communication devices that can transact on a universal peripheral device with a host device that may have different serial interface connectors, proprietary communication protocols or mechanical shapes. Among the many other advantages include that the peripheral device does not need a power source aside from the power supplied to it by the host device.One embodiment is a communication device comprising a host device comprised of software and an audio connector input; a peripheral device comprised of an analog and digital processor, a card reader and an audio connector output; and an audio connector line connecting said audio connector output and said audio connector input.
摘要:
A new method of fabricating shallow trench isolations has been achieved. A pad oxide layer is formed overlying a semiconductor substrate. A silicon nitride layer is deposited overlying the pad oxide layer. A protective layer is deposited overlying the silicon nitride layer. The protective layer, the silicon nitride layer, and the pad oxide layer are patterned to expose the semiconductor substrate where shallow trench isolations are planned. The semiconductor substrate is etched to form trenches for the planned shallow trench isolations. A large trench etching angle is used. The presence of the protective layer prevents loss of the silicon nitride layer during the etching. A trench filling layer is deposited overlying the protective layer and filling the trenches. The trench filling layer and the protective layer are polished down to complete the shallow trench isolations in the manufacture of the integrated circuit device.
摘要:
An anti-thermosensitization rectification tower comprising a rectification tower, a T-shaped condenser, a baffle plate, a tower bottom, a falling-film reboiler and a recirculation system, wherein the T-shaped condenser is secured exactly on the top of the rectification tower without any pipeline in between, and the circular baffle plate is installed in the T-shaped condenser; an annular sump located between the rectification tower and the T-shaped condenser for collecting the liquid condensed in the T-shaped condenser and channeling it out of the rectification tower into a liquid-collecting tank, and a centrifugal pump utilized to connect together the tower bottom and the falling-film reboiler to form a high-speed circulation system, wherein the tower bottom is an elongated conduit and the falling-film reboiler is in the form of a stout shell-and-tube heat exchanger is provided.
摘要:
A system and method for promoting safe usage of a mobile device. The system allows one or more administrators (or patents) to transparently and automatically implement preconfigured use restriction policies (e.g., restricted time periods, restricted features of the device, restricted vehicle speed) on multiple managed devices. The restriction policies may be stored locally at a managed mobile device and/or remotely at a remote server and database. The mobile device can be controlled locally by a client application or remotely by the remote server based on the restriction policies.
摘要:
The present invention relates to the field of communication technology, and a de-registration method, a Home NodeB (HNB) and a Home NodeB Gateway (HNB GW) are disclosed. In an embodiment, the present invention provides a de-registration method, comprising: initiating, by an HNB GW, release of pre-registration resources corresponding to user equipment (UE) after the HNB GW receives indication information indicating that the UE moves to another cell from a source HNB. Applying the embodiment of the present invention can release pre-registration resources in time and reduce waste of resources.
摘要:
A catalytic reaction-rectification integrated process and a catalytic reaction-rectification integrated column (T-01), the specialized device of such process. The process comprises that the reactants are preheated and mixed with catalysts, and then fed into a jet agitation reaction section (6) located in the middle of the catalytic reaction-rectification integrated column (T-01) from a feeding inlet. The jet agitation reaction section (6) is a kettle-like reactor located in the middle of the catalytic reaction-rectification integrated column (T-01). After pressurized by a centrifugal pump (21), the reactant materials are admitted into a subsonic or transonic agitator (33) located within the reaction section (6). The reactant materials are ejected into the jet agitation reaction section (6) at high speed, to efficiently mix the solid and liquid phases in the reaction section (6) and to reinforce heat and mass transfer efficiency during the reaction. The liquid reaction mixture is separated and purified directly in the catalytic reaction-rectification integrated column (T-01). This process may be used for esterification, the production of alcohols from olefins and water, and the production of ethers from olefins and alcohols.
摘要:
A robot system for oral cavity and tooth treatment. The system includes a console, a seat device, a robot and a navigation device. The console includes a display device, an operating device and an emergency stop device. The seat device includes a body support portion, an orientation adjustment portion and a head fixing portion. The robot comprises a main controller, a robotic arm, a manipulator. The navigation device performs navigation inside a tooth in a root canal treatment operation according to pre-stored tooth information. The treatment instrument in the manipulator can be replaceable. The seat device can be adjusted such that a patient can face any direction between forward and downward, or lie prostrate.