Abstract: This application discloses a computing system to implement a design verification tool and simulate a circuit design with a regression. The computing system can define coverage for system level functionality of a circuit design as a set of system level coverage points. Each of the system level coverage points can correspond to a different portion of system level functionality of the circuit design. The computing system can correlate the system level coverage points in the set according to characteristics of the different portions of the system level functionality corresponding to the system level coverage points. The computing system can utilize the correlated set of system level coverage points to identify system level functionality left uncovered by events performed by the circuit design during simulation with one or more regressions.

Abstract: This application discloses a computing system to implement a design verification tool and simulate a circuit design with a test bench. The computing system can correlate transactions captured during simulation of a circuit design to distributed states for multiple components in the circuit design. The computing system can identify at least a portion of the distributed states for the multiple components correspond to system level coverage events. The computing system can generate a graphical presentation to illustrate the portion of the distributed states for the multiple components in the circuit design that correspond to system level coverage events.

Abstract: This application discloses a computing system to implement a design verification tool and simulate a circuit design with a test bench. The computing system can identify multiple components in the circuit design to combine for distributed state coverage analysis based, at least in part, on data transactions generated during the simulation of the circuit design. The computing system can correlate information captured during simulation that corresponds to the identified components. The correlated information can identify at least one distributed state coverage event for the test bench. The computing system can generate a distributed state coverage metric based on the correlated information corresponding to the identified components. The computing system can prompt presentation of the correlated information a display window, which can graphically show how a test bench exercised the identified components during simulation.

Abstract: The invention relates to a cooling device for cooling of a switchgear cabinet, comprising an air inlet side for warm air and an air outlet side for cooled air, wherein a heat exchanger and at least one fan unit having a radial fan are located between the air inlet side and the air outlet side, and wherein the fan unit creates an air stream through the heat exchanger having a main flow direction between the air inlet side and the air outlet side, wherein the fan unit is located in the main flow direction behind the heat exchanger, characterized in that the fan unit comprises an air guide geometry, so that air exhausted from the radial fan is redirected into the main flow direction.

Abstract: A metal-ceramic substrate for electrical circuits or modules includes at least one first outer metal layer forming one first surface side of the metal-ceramic substrate and at least one second outer metal layer forming one second surface side of the metal-ceramic substrate. The outer metal layers are bonded respectively by two-dimensional bonding with the surface sides of a plate-like substrate body.

Abstract: Methods and formulations are provided for treating migraine and other acute pain episodes using diclofenac, and formulations of diclofenac that provide both rapid and sustained relief from acute pain. Methods and formulations are also provided for treating symptoms that often accompany migraine and acute pain such as photophobia, phonophobia, nausea and vomiting.

Abstract: The present invention relates to an internal trim part for a vehicle, comprising at least two layers. A decorative skin (1) forms an upper layer and has a depression (3), in which a decorative element (8) is arranged. The decorative element (8) is connected to the decorative skin (1) by means of a bonded connection, such as a weld seam, in particular an ultrasonic weld seam (16). The invention further relates to a method for producing an internal trim part and to a device for performing said method.

Abstract: In a method and apparatus for graphical assistance in an interventional procedure to open an occlusion of a hollow organ of a patient a three-dimensional CT image data set of an examination region with the at least one hollow organ having the occlusion is retrieved and visualized segmentation data with segmentation data of the hollow organ at a display unit. At least two x-ray fluoroscopy images are acquired at different angulations the CT image data set is registered with at least two of the x-ray images. A number of fluoroscopy x-ray images are acquired during a time period, with real-time visualization of at least one x-ray fluoroscopy image and data of the CT image data set at the display unit. The steps are implemented individually and in sequence, and control options relating exclusively to the current step can be selected manually via a user interface depending on the step that is currently implemented, and only user inputs that are appropriate for the current step are accepted.

Abstract: A metal-ceramic substrate and to a method for the production thereof. The metal-ceramic substrate having at least one ceramic layer (2), which is provided on a first surface side (2a) with at least one first metallization (3) and on a second surface side (2b), opposite from the first surface side (2a), with a second metallization (4), wherein the first metallization (3) is formed by a film or layer of copper or a copper alloy and is connected to the first surface side (2a) of the ceramic layer (2) with the aid of a “direct copper bonding” process. The second metallization (4) is formed by a layer of aluminum or an aluminum alloy.

Abstract: The invention relates to a thermoelectric generator module with a hot zone and a cold zone including at least a first metal-ceramic substrate, which has a first ceramic layer and at least one structured first metallization applied to the first ceramic layer and is assigned to the hot zone, and at least a second metal-ceramic substrate, which has a second ceramic layer and at least one structured second metallization applied to the second ceramic layer and is assigned to the cold zone, and also a number of thermoelectric generator components located between the first and second structured metallizations of the metal-ceramic substrates. The first metal-ceramic substrate, assigned to the hot zone, has at least one layer of steel or high-grade steel, wherein the first ceramic layer is arranged between the first structured metallization and the at least one layer of steel or high-grade steel. The invention also relates to an associated metal-ceramic substrate and to a method for producing it.

Abstract: An electric unit having at least one cooler structure and at least one electric module with at least one electric element on a metal-ceramic substrate.

Abstract: A method for manufacturing a formwork element 10 for concrete structures, uses a formwork element having a base body 12 of hollow profile construction with an outer side 14 designed as a form lining. The base body 12 is formed by at least two interlocking sub-segments which are permanently connected to one another at their interlocking edge areas. The sub-segments, such as edge segment and intermediate segment 16, 18, which are advantageously produced through extrusion, are hooked to one another to form an inseparable unit in the connected state.

Abstract: An endoscope includes a handle and a shaft connected thereto. Imaging optics are arranged in the shaft that image an object located in the direction of view of the imaging optics in front of the shaft as an image and which to set the desired direction of view. The imaging optics comprise a swivellably housed deflecting unit positioned at the distal end of the shaft facing away from the handle. The possible swivel range of the imaging optics has a first and a second limit, as well as an actuating element, which is attached to the handle and which is mechanically connected to the deflecting unit. Thereby the swivel position of the deflecting unit within the swivel range can be changed in order to set a desired direction of view. A first mechanical stop is provided against which the deflecting unit lies when the first limit is reached.

Abstract: An electric machine has a stator that comprises a plurality of laminations with teeth and cooling apertures about a central opening. When the laminations are stacked to form the stator core, the teeth of adjacent laminations cooperate to form slots disposed circumferentially about the central opening that are configured to receive a plurality of stator windings, and the cooling apertures angularly spaced about the central opening cooperate to form cooling manifolds that extend along a length of the stator core. A portion of the laminations has their cooling apertures offset from other laminations in the stack in a manner to create a plurality of flow paths transverse to the manifolds. The transverse flow paths extend angularly between laminations and adjacent manifolds. A header assembly directs flow into and out of the stator core.

Abstract: In order to increase the accuracy of registration between a world coordinate system and an image coordinate system such that a tracked medical tool may be moved forward in the body of a patient without any additional or with limited live imaging, a method for registration of the tracked medical tool with an X-ray system is provided. The method includes receiving image data from the X-ray system at a plurality of time points, receiving tracking data from a tracking device of the tracked medical tool at the plurality of time points, and registering the world coordinate system and the image coordinate system based on the received image data and the received tracking data at the plurality of time points.

Abstract: Various improvements may lead to reducing or avoiding artifacts in curved planar reformation imaging. The source of voxels used in projection rendering may be verified to be from the vessels rather than intervening anatomy. To make the check more rapid, a hierarchal data structure may be used. Rather than using the vessels, geometric forms fit to the vessels may be used. Processing with geometric forms may be more rapid than a fine mesh or surface. Since tubular structures have a predictable change over length, the geometric forms or the vessel data itself may be filtered with a monotonicity constraint. Instead of using planes for segments based on the lumen or center line, a convex hull around the tubular structures is formed for the curved planar reformation.

Abstract: An electric device with an insulating substrate consisting of an insulating layer and at least one metallization on a surface side of the insulating layer, the metallization being structured and having an electric component on the metallization. The metallization has a layer thickness that is stepped and is greater in an area adjoining the component.

Abstract: A discharge lamp (20) for providing visible and/or infrared radiation comprising a stationary light transmitting bulb (21) filled with a composition that emits light when in plasma state, a radiofrequency source (41) having an output terminal (44) radiating a radiofrequency field for ionizing and heating the composition in the bulb to bring it in a plasma state (35), and a dielectric rod (22) aligned with the output terminal and positioned between the output terminal (44) and the bulb (21) acting as dielectric waveguide for the radiofrequency field.

Abstract: An electrodeless discharge lamp suitable for the use in solar simulators, with an emission spectrum following, as much as possible, the AM1.5G standard. According to a preferred embodiment the lamp has a quartz bulb is filled with a composition comprising an inert gas, for example N2, He, Ne, Ar, Kr, Xe or a mixture thereof, and a first and a second active components, the first active component being an antimony or bismuth halide or a mixture of antimony halides; while the second component is SnI2 a mixture of halides of: In, Sn, Ag, Bi, Cu. Preferably, the halides are bromides or iodides or chlorides due to their favourable volatilities.

Abstract: A method for positioning a stent able to be deployed to support a vessel in a blood vessel, especially in the cardiology, with the stent after its provisional placement in a not yet deployed state in an area intended for the support of the vessel, being at least partly automatically deployed as a function of at least one triggering signal for final positioning in the blood vessel.