mhurhangee/ep-ind-claims huggingface dataset:
A hardware monitor (106, 400, 800, 900) configured to verify operation of an instantiation of a memory unit defined in a hardware design, the hardware monitor (106, 400, 800, 900) comprising: detection logic (202, 204, 402, 404, 802, 804, 902, 904) configured to monitor one or more control signals of the instantiation of the memory unit to detect writes to a symbolic address of the instantiation of the memory unit and reads of the symbolic address of the instantiation of the memory unit, wherein the symbolic address is a variable that represents each possible address value of the instantiation of the memory unit which causes a formal verification tool to assess each of the possible address values; and assertion verification logic (208, 408, 808, 908) configured to verify a formal assertion that establishes that when the detection logic detects a read of the symbolic address that occurs after one or more writes to the symbolic address, read data corresponding to the read of the symbolic address matches write data corresponding to the one or more writes to the symbolic address. detection logic (202, 204, 402, 404, 802, 804, 902, 904) configured to monitor one or more control signals of the instantiation of the memory unit to detect writes to a symbolic address of the instantiation of the memory unit and reads of the symbolic address of the instantiation of the memory unit, wherein the symbolic address is a variable that represents each possible address value of the instantiation of the memory unit which causes a formal verification tool to assess each of the possible address values; and assertion verification logic (208, 408, 808, 908) configured to verify a formal assertion that establishes that when the detection logic detects a read of the symbolic address that occurs after one or more writes to the symbolic address, read data corresponding to the read of the symbolic address matches write data corresponding to the one or more writes to the symbolic address.
A method of constructing a medical device, comprising: providing a can that houses medical circuitry; providing electrical connectors within the can and electrically connected to the medical circuitry; providing a metallic connector enclosure comprising a metallic base and a metallic body having metallic walls and defining a cavity and a metallic panel welded to at least one of the metallic walls of the metallic body and covering the cavity, the body including an opening to the cavity; providing lead connectors within the cavity and in alignment with the opening, the lead connectors being positioned between the metallic body and the metallic panel; providing a plurality of electrically conducting feedthrough pins that are electrically connected to the lead connectors within the cavity and that are electrically isolated from the metallic connector enclosure while being exposed outside of the metallic connector enclosure by passing through respective feedthrough pin passageways formed in the base of the enclosure; placing a portion of the can in contact with a metallic edge of the metallic base of the metallic connector enclosure such that the electrical connectors within the can and the electrical conductors exposed outside the metallic connector enclosure are in contact and are contained by a housing created by the contact of the can and the metallic connector enclosure; and creating a bond at the contact of the portion of the can and the metallic edge of the metallic connector enclosure. providing a can that houses medical circuitry; providing electrical connectors within the can and electrically connected to the medical circuitry; providing a metallic connector enclosure comprising a metallic base and a metallic body having metallic walls and defining a cavity and a metallic panel welded to at least one of the metallic walls of the metallic body and covering the cavity, the body including an opening to the cavity; providing lead connectors within the cavity and in alignment with the opening, the lead connectors being positioned between the metallic body and the metallic panel; providing a plurality of electrically conducting feedthrough pins that are electrically connected to the lead connectors within the cavity and that are electrically isolated from the metallic connector enclosure while being exposed outside of the metallic connector enclosure by passing through respective feedthrough pin passageways formed in the base of the enclosure; placing a portion of the can in contact with a metallic edge of the metallic base of the metallic connector enclosure such that the electrical connectors within the can and the electrical conductors exposed outside the metallic connector enclosure are in contact and are contained by a housing created by the contact of the can and the metallic connector enclosure; and creating a bond at the contact of the portion of the can and the metallic edge of the metallic connector enclosure.
A method for making a sintered ceramic sheet, said method comprising: passing a sheet-forming composition comprising a major amount of inorganic particulate material through at least one pair of indented rollers forming an inorganic board; and passing said inorganic board through at least one pair of finishing rollers, thereby forming a ceramic sheet, wherein the sheet-forming composition is a ceramic precursor composition comprising inorganic and/or organic fibres, and wherein the method further comprises drying the ceramic sheet to form a green ceramic sheet, and sintering said green ceramic sheet at a suitable temperature to form a sintered ceramic sheet.
A synthesis method of N-substituted maleimides, the method comprising: 1) a step of injecting maleic anhydride and a primary amine in the presence of an organic solvent and a catalyst to synthesize N-substituted maleimides; and 2) a step of separating the catalyst from a solution comprising the N-substituted maleimides, wherein the separation of the catalyst is performed by a filtering step at a high temperature of 70 to 160°C wherein the catalyst is a zirconium hydrogenphosphate solid acid catalyst. 1) a step of injecting maleic anhydride and a primary amine in the presence of an organic solvent and a catalyst to synthesize N-substituted maleimides; and 2) a step of separating the catalyst from a solution comprising the N-substituted maleimides,
A resin composition comprising a copolymer that contains a conjugated diene unit, a non-conjugated olefin unit and an aromatic vinyl unit and has a butylene unit content of 0 mol%, and an olefin resin.
A system for producing a sealant composite of a primary sealing material and a curable secondary sealing material, comprising at least three separately stored components (A, B1, B2), wherein the component is the primary sealing material, comprising: a) about 30-80% by weight of at least one olefinic polymer; b) about 2-35% by weight of at least one polymer modified with reactive groups; c) about 5-65% by weight of at least one filler; d) about 5-25% by weight of at least one drying agent; e) about 0-3% by weight of at least one stabiliser; and the secondary sealing material is a sealing material based on polyurethane or polysulfide, obtainable from a polymer component and a hardener component, wherein the secondary sealing material contains a catalyst and/or an initiator, by means of which the reactive groups in the primary sealing material can be activated upon contact with the secondary sealing material. a) about 30-80% by weight of at least one olefinic polymer; b) about 2-35% by weight of at least one polymer modified with reactive groups; c) about 5-65% by weight of at least one filler; d) about 5-25% by weight of at least one drying agent; e) about 0-3% by weight of at least one stabiliser; and the secondary sealing material is a sealing material based on polyurethane or polysulfide, obtainable from a polymer component and a hardener component, wherein the secondary sealing material contains a catalyst and/or an initiator, by means of which the reactive groups in the primary sealing material can be activated upon contact with the secondary sealing material.
A method of producing one or more products, comprising: introducing a feedstock gas into a mixing chamber, wherein the feedstock gas comprises one or more gases; introducing a combustible gas into a combustion chamber connected to the mixing chamber via multiple passageways that are always open, wherein the combustible gas comprises one or more gases; and thereafter, igniting the combustible gas so as to combust the combustible gas and thereby form one or more combustion product gases and cause the one or more combustion product gases to flow into the mixing chamber via the multiple passageways between the combustion chamber and the mixing chamber, and to cause the one or more combustion product gases to mix with the feedstock gas, wherein, as a result of the mixing of the one or more combustion product gases with the feedstock gas, energy is transferred from the one or more combustion product gases to the feedstock gas and thereby causes a chemical reaction to produce one or more products. introducing a feedstock gas into a mixing chamber, wherein the feedstock gas comprises one or more gases; introducing a combustible gas into a combustion chamber connected to the mixing chamber via multiple passageways that are always open, wherein the combustible gas comprises one or more gases; and thereafter, igniting the combustible gas so as to combust the combustible gas and thereby form one or more combustion product gases and cause the one or more combustion product gases to flow into the mixing chamber via the multiple passageways between the combustion chamber and the mixing chamber, and to cause the one or more combustion product gases to mix with the feedstock gas, wherein, as a result of the mixing of the one or more combustion product gases with the feedstock gas, energy is transferred from the one or more combustion product gases to the feedstock gas and thereby causes a chemical reaction to produce one or more products.
Method for winding a winding carrier, in particular a stator of an electric machine, using the needle winding technique, said winding carrier having teeth and grooves which alternate in the circumferential direction and through which at least one coil winding having a number of coil turns is guided, in which method a winding wire emerges from a winding needle under wire tension and is laid in a predefined winding pattern in the winding carrier, wherein one wire end of the winding wire is fixed at a first attachment point at the start of the winding process and the other wire end of the winding wire is fixed at a second attachment point, maintaining the wire tension, at the end of the winding process, characterised in that the first and/or second attachment point (A1, A2) is assigned a contact element with at least one open insertion slot, through which the winding wire is guided after/before its wire ends (25, 27) are fixed, and that following the winding process a connecting step takes place, in which the winding wire is connected non-detachably to the contact element and subsequently the wire ends (25, 27) fixed at the attachment points (A1, A2) are severed from the winding wire.
A flat knitting machine comprising a yarn length control device for controlling a stitch cam (9, 10) of each needle bed in the flat knitting machine provided with at least a front needle bed and a rear needle bed in accordance with a stitch cam correction value, and for updating the stitch cam correction value in accordance with a difference between loop length of stitches formed in the flat knitting machine and a target value of loop length of the stitches, whereby the yarn length control device comprises: a stitch cam correction unit by which setting can be made as to whether to update the stitch cam correction value by a common change amount for each needle bed, or to update the stitch cam correction value by a dissimilar change amount varied depending on the needle bed, and by which the stitch cam correction value of each needle bed is updated according to the setting, characterized in that in the setting of updating the stitch cam correction value by a dissimilar change amount varied depending on the needle bed, the stitch cam correction unit updates, for rib knitting, the stitch cam correction value of a needle bed, where rib rear stitches are knitted, by a larger change amount, and updates the stitch cam correction value of a needle bed, where rib face stitches are knitted, by a smaller change amount which may be for instance 3/4 or less, preferably 1/2 or less, of the larger change amount of the stitch cam correction value. a stitch cam correction unit by which setting can be made as to whether to update the stitch cam correction value by a common change amount for each needle bed, or to update the stitch cam correction value by a dissimilar change amount varied depending on the needle bed, and by which the stitch cam correction value of each needle bed is updated according to the setting, characterized in that in the setting of updating the stitch cam correction value by a dissimilar change amount varied depending on the needle bed, the stitch cam correction unit updates, for rib knitting, the stitch cam correction value of a needle bed, where rib rear stitches are knitted, by a larger change amount, and updates the stitch cam correction value of a needle bed, where rib face stitches are knitted, by a smaller change amount which may be for instance 3/4 or less, preferably 1/2 or less, of the larger change amount of the stitch cam correction value.
A filter housing assembly (100;600;700), comprising: a housing (102;602) having an inlet (104:604),an outlet (106;606) and an internal flange for sealingly engaging a filter element, a damper movable between positions that open and close the inlet (102;602), and means for moving the damper, wherein the damper is disposed in the housing (102;602) in an orientation that remains centered with respect to the inlet, and that the means for moving the damper is a linear drive mechanism adapted to move the damper linearly without rotation thereof, wherein the linear drive mechanism comprises a rack and a pinion gear that prevent rotation of the damper when the rack is moved in a linear direction, and wherein the damper is fixed to the rack.
A method comprising: receiving a thermal image frame comprising a plurality of individual lines, wherein each individual line comprises substantially an entire row or column of thermal image data captured by a plurality of infrared sensors; providing each individual line of the thermal image frame to a line based image processing pipeline; performing image processing operations on the individual lines in stages of the image processing pipeline; and buffering the individual lines for the pipeline stages, wherein the buffering comprises, for each individual line: passing the individual line from a first one of the pipeline stages to a memory system, storing the individual line in one of a plurality of virtual line buffers of the memory system, and passing the stored individual line from the one of the virtual line buffers to a second one of the pipeline stages. receiving a thermal image frame comprising a plurality of individual lines, wherein each individual line comprises substantially an entire row or column of thermal image data captured by a plurality of infrared sensors; providing each individual line of the thermal image frame to a line based image processing pipeline; performing image processing operations on the individual lines in stages of the image processing pipeline; and buffering the individual lines for the pipeline stages, wherein the buffering comprises, for each individual line: passing the individual line from a first one of the pipeline stages to a memory system, storing the individual line in one of a plurality of virtual line buffers of the memory system, and passing the stored individual line from the one of the virtual line buffers to a second one of the pipeline stages. passing the individual line from a first one of the pipeline stages to a memory system, storing the individual line in one of a plurality of virtual line buffers of the memory system, and passing the stored individual line from the one of the virtual line buffers to a second one of the pipeline stages.
A refrigeration cycle apparatus in which an outdoor heat source unit (1; la), an indoor unit, and a water heating unit are connected, and an air conditioning operation and a water heating operation can be performed separately, and an exhaust-heat recovery operation can be performed by simultaneously performing air cooling and water heating, wherein the outdoor heat source unit (1; 1a) includes a compressor for compressing refrigerant, a refrigerant air-heat exchanger that performs heat exchange between the refrigerant and outside air, a fan for cooling the refrigerant air-heat exchanger, a control device (17; 17a) that includes an inverter device for driving the compressor, and a heat sink (19; 19a) for dissipating heat of the inverter device, characterized in that a switching element in the inverter device is constituted by an element formed by a wide bandgap semiconductor, and in that the control device (17; 17a) controls an operation of the fan during the exhaust-heat recovery operation, based on a temperature of the heat sink (19; 19a) or a temperature detected by a temperature detection unit in the inverter device.
Printing ink, comprising: infrared absorbing fine particles, a dispersant, and a solvent, wherein the dispersant has a polyether structure and a glass transition temperature of -150°C or higher and 0°C or lower, and is liquid in a stored state and contained in an amount of 10 parts by mass or more with respect to 100 parts by mass of the infrared absorbing fine particles, and a solvent content is 10 mass% or less, and the infrared absorbing fine particles are represented by a general formula MxWyOz in which the M is one or more elements selected from the group consisting of H, He, alkali metal, alkaline earth metal, rare earth element, Zr, Cr, Mn, Fe, Ru, Co, Rh, Ir, Ni, Pd, Pt, Cu, Ag, Au, Zn, Cd, Al, Ga, In, Tl, Si, Ge, Sn, Pb, Sb, B, F, P, S, Se, Br, Te, Ti, Nb, V, Mo, Ta, Re, Hf, Os, Si, and I, the W is tungsten, the O is oxygen, and the x, the y, and the z satisfy 0.001 ≤ x/y ≤ 1 and 2.0 ≤ z/y ≤ 3.0. infrared absorbing fine particles, a dispersant, and a solvent, wherein the dispersant has a polyether structure and a glass transition temperature of -150°C or higher and 0°C or lower, and is liquid in a stored state and contained in an amount of 10 parts by mass or more with respect to 100 parts by mass of the infrared absorbing fine particles, and a solvent content is 10 mass% or less, and the infrared absorbing fine particles are represented by a general formula MxWyOz in which the M is one or more elements selected from the group consisting of H, He, alkali metal, alkaline earth metal, rare earth element, Zr, Cr, Mn, Fe, Ru, Co, Rh, Ir, Ni, Pd, Pt, Cu, Ag, Au, Zn, Cd, Al, Ga, In, Tl, Si, Ge, Sn, Pb, Sb, B, F, P, S, Se, Br, Te, Ti, Nb, V, Mo, Ta, Re, Hf, Os, Si, and I, the W is tungsten, the O is oxygen, and the x, the y, and the z satisfy 0.001 ≤ x/y ≤ 1 and 2.0 ≤ z/y ≤ 3.0.
Interferon-β-1a for use in reducing the severity of flu-like symptoms in a patient having multiple sclerosis treated with intramuscularly administered interferon-β-1a over an eight week period, wherein the medicament is to be administered intramuscularly once a week to a patient having multiple sclerosis according to a first schedule comprising: intramuscular administration of 7.5 μg of interferon-β-1a by the patient in week one; intramuscular administration of 15 μg of interferon-β-1a by the patient in week two; intramuscular administration of 22.5 μg of interferon-β-1a by the patient in week three; and intramuscular administration of 30 μg of interferon-β-1a by the patient in week four and each week thereafter. intramuscular administration of 7.5 μg of interferon-β-1a by the patient in week one; intramuscular administration of 15 μg of interferon-β-1a by the patient in week two; intramuscular administration of 22.5 μg of interferon-β-1a by the patient in week three; and intramuscular administration of 30 μg of interferon-β-1a by the patient in week four and each week thereafter.
A hydrogel product comprising glycosaminoglycan molecules as the swellable polymer, wherein the glycosaminoglycan molecules are covalently crosslinked via crosslinks essentially consisting of a spacer group selected from the group consisting of di-, tri-, tetra-, and oligosaccharides, wherein the crosslinked glycosaminoglycan molecules are free, or essentially free from synthetic non-carbohydrate structures or linkers.
An electronic percussion instrument comprising: a first housing having a first struck surface and a first piezo sensor that converts a vibration of the first struck surface into an electric signal; a first speaker disposed inside the first housing and on a back side of the first struck surface; a second speaker disposed side by side with the first speaker; a first generation part that generates a first musical sound signal based on the electric signal indicating the vibration of the first struck surface caused by a hit on the first struck surface; a first amplifier that amplifies the input first musical sound signal and connects with the first speaker; a second amplifier that amplifies the input first musical sound signal and connects with the second speaker; and a first delay circuit that delays the first musical sound signal input to the second amplifier so that the first musical sound signal is input to the second amplifier at a timing later than a timing of being input to the first amplifier. a first housing having a first struck surface and a first piezo sensor that converts a vibration of the first struck surface into an electric signal; a first speaker disposed inside the first housing and on a back side of the first struck surface; a second speaker disposed side by side with the first speaker; a first generation part that generates a first musical sound signal based on the electric signal indicating the vibration of the first struck surface caused by a hit on the first struck surface; a first amplifier that amplifies the input first musical sound signal and connects with the first speaker; a second amplifier that amplifies the input first musical sound signal and connects with the second speaker; and a first delay circuit that delays the first musical sound signal input to the second amplifier so that the first musical sound signal is input to the second amplifier at a timing later than a timing of being input to the first amplifier.