mhurhangee/ep-ind-claims huggingface dataset:
A method of automatic formulation by a computer of test cases for verifying at least one function of a piece of software in relation to a specification including requirements relating input values and output values of the software, the method including the steps of: • distinguishing combinatorial requirements and sequential requirements; • modeling combinatorial requirements by a truth table and sequential requirements by a finite state machine to obtain a modeled specification; • establishing an operation matrix relating the input values of the software with a probability of them being in succession and a transition time between them; • selecting the successions of input values to be tested by performing a Monte Carlo draw on the operation matrix; • determining a test case including test rows relating each selected succession with the output values expected given the modeled specification; • stopping the determination process when the test case being determined makes it possible to reach a predetermined threshold for at least one of the following criteria: verified percentage of function code, verified percentage of requirements, verification time, and verification cost. • distinguishing combinatorial requirements and sequential requirements; • modeling combinatorial requirements by a truth table and sequential requirements by a finite state machine to obtain a modeled specification; • establishing an operation matrix relating the input values of the software with a probability of them being in succession and a transition time between them; • selecting the successions of input values to be tested by performing a Monte Carlo draw on the operation matrix; • determining a test case including test rows relating each selected succession with the output values expected given the modeled specification; • stopping the determination process when the test case being determined makes it possible to reach a predetermined threshold for at least one of the following criteria: verified percentage of function code, verified percentage of requirements, verification time, and verification cost.
A method of transmitting a multicast signal in a multicast transmitting signal system, the method comprising: performing header compression on an IP, Internet Protocol, stream made up of IP packets including multicast service data for a multicast service and outputting a header-compressed IP stream; generating first signaling information including information related to the header compression; generating second signaling information including information related to the multicast service; characterized in that it further comprises: encapsulating the header-compressed IP stream into a first GSE, Generic Stream Encapsulation, stream; encapsulating the first signaling information and the second signaling information into a second GSE stream; and transmitting the first GSE stream and the second GSE stream. performing header compression on an IP, Internet Protocol, stream made up of IP packets including multicast service data for a multicast service and outputting a header-compressed IP stream; generating first signaling information including information related to the header compression; generating second signaling information including information related to the multicast service; characterized in that it further comprises: encapsulating the header-compressed IP stream into a first GSE, Generic Stream Encapsulation, stream; encapsulating the first signaling information and the second signaling information into a second GSE stream; and transmitting the first GSE stream and the second GSE stream. encapsulating the header-compressed IP stream into a first GSE, Generic Stream Encapsulation, stream; encapsulating the first signaling information and the second signaling information into a second GSE stream; and transmitting the first GSE stream and the second GSE stream.
An improved clarifier tank, comprising: a rake arm assembly, comprising one or more rake arms (8a, 108a); a rake arm driveshaft (30, 130) operatively connected to said rake arms and a rake arm drive; and a sump scraper driveshaft (31, 131), operatively connected to a plurality of sump scrapers (35, 135) and a sump scraper drive (33, 140), wherein said rake arms and said sump scrapers are separate and distinct from one another and said sump scraper driveshaft and said rake arm driveshaft are separate drive shafts, characterized in that said sump scraper driveshaft is nested inside said rake arm driveshaft and said sump scraper driveshaft and said rake arm driveshaft rotate at different speeds, and wherein said sump scrapers and said rake arms rotate at different speeds. a rake arm assembly, comprising one or more rake arms (8a, 108a); a rake arm driveshaft (30, 130) operatively connected to said rake arms and a rake arm drive; and a sump scraper driveshaft (31, 131), operatively connected to a plurality of sump scrapers (35, 135) and a sump scraper drive (33, 140), wherein said rake arms and said sump scrapers are separate and distinct from one another and said sump scraper driveshaft and said rake arm driveshaft are separate drive shafts, characterized in that said sump scraper driveshaft is nested inside said rake arm driveshaft and said sump scraper driveshaft and said rake arm driveshaft rotate at different speeds, and wherein said sump scrapers and said rake arms rotate at different speeds.
Process for producing a gas diffusion layer for a fuel cell, which comprises a) providing a fibre composition which comprises carbon fibres and/or precursors of carbon fibres, b) subjecting the fibre composition provided in step a) to a process for producing a fibre web, c) consolidating the fibre web by exposure to water-containing fluid jets to form a nonwoven, where the water used has a conductivity of at most 250 microsiemens/cm at 25°C, d) optionally subjecting the nonwoven obtained in step c) to a thermal and/or mechanical treatment for drying and/or further consolidation, e) if the fibre composition used in step a) comprises precursors of carbon fibres, subjecting the nonwoven to a pyrolysis at a temperature of at least 1000°C. a) providing a fibre composition which comprises carbon fibres and/or precursors of carbon fibres, b) subjecting the fibre composition provided in step a) to a process for producing a fibre web, c) consolidating the fibre web by exposure to water-containing fluid jets to form a nonwoven, where the water used has a conductivity of at most 250 microsiemens/cm at 25°C, d) optionally subjecting the nonwoven obtained in step c) to a thermal and/or mechanical treatment for drying and/or further consolidation, e) if the fibre composition used in step a) comprises precursors of carbon fibres, subjecting the nonwoven to a pyrolysis at a temperature of at least 1000°C.
A distance measuring device comprising: a distance measuring light emitting unit that is configured to emit a distance measuring light to an object to be measured, the distance measuring light being modulated by multiple modulation frequencies, such that the distance measuring light contains multiple components of the multiple modulation frequencies; a detecting unit that is configured to receive and detect light of the distance measuring light that is reflected from the object; a separating unit that is configured to separate the detected reflected light into the multiple components of the multiple modulation frequencies; a selecting unit that is configured to select multiple of the multiple components of the multiple modulation frequencies that respectively have a received-light intensity exceeding a threshold value from among the multiple components of the multiple modulation frequencies; characterized by a distance calculating unit that is configured to calculate a distance to the object based on each of the selected components for multiple times and to select a component of the selected components by which the variation of the calculated results is minimum. a distance measuring light emitting unit that is configured to emit a distance measuring light to an object to be measured, the distance measuring light being modulated by multiple modulation frequencies, such that the distance measuring light contains multiple components of the multiple modulation frequencies; a detecting unit that is configured to receive and detect light of the distance measuring light that is reflected from the object; a separating unit that is configured to separate the detected reflected light into the multiple components of the multiple modulation frequencies; a selecting unit that is configured to select multiple of the multiple components of the multiple modulation frequencies that respectively have a received-light intensity exceeding a threshold value from among the multiple components of the multiple modulation frequencies; characterized by a distance calculating unit that is configured to calculate a distance to the object based on each of the selected components for multiple times and to select a component of the selected components by which the variation of the calculated results is minimum.
System for heat treatment of granular and lumpy material, having a rotary kiln for the preliminary reduction of the material, and having an electric furnace for melting the pre-reduced material, wherein the rotary kiln and electric furnace have arranged between them first a screening device for separating off oversized particles and then a crusher for comminuting the oversized particles.
A non-aqueous electrolyte secondary battery comprising: a positive electrode, a negative electrode, and a separator disposed between the positive electrode and the negative electrode, wherein the separator has a multilayer structure including a porous resin substrate, a first filler layer containing phosphate particles, and a second filler layer containing inorganic particles having higher melting point than the phosphate particles, the second filler layer is disposed on the porous resin substrate, the first filler layer is disposed on the porous resin substrate or the second filler layer in such a manner that a surface of the first filler layer faces a surface of the negative electrode, and the phosphate particles have a BET specific surface area in a range of 5 m 2 /g or more and 100 m 2 /g or less; wherein the phosphate particles comprise at least one selected from dilithium hydrogen phosphate, lithium dihydrogen phosphate, and lithium phosphate. wherein the separator has a multilayer structure including a porous resin substrate, a first filler layer containing phosphate particles, and a second filler layer containing inorganic particles having higher melting point than the phosphate particles, the second filler layer is disposed on the porous resin substrate, the first filler layer is disposed on the porous resin substrate or the second filler layer in such a manner that a surface of the first filler layer faces a surface of the negative electrode, and the phosphate particles have a BET specific surface area in a range of 5 m 2 /g or more and 100 m 2 /g or less; wherein the phosphate particles comprise at least one selected from dilithium hydrogen phosphate, lithium dihydrogen phosphate, and lithium phosphate.
Method for fabricating a pixelated scintillator, the method comprising the steps: providing a pixelated scintillator-structure with a first sintering-shrinking-coefficient, the pixelated scintillator-structure comprising two adjacent pixels (201, 202), both having a top portion and a bottom portion, which are separated by a gap; providing a connection-structure (200, 405), which is in mechanical contact, at the bottom portion of the two adjacent pixels, with both of the two adjacent pixels, wherein the connection-structure comprises a second sintering-shrinking-coefficient that is greater than the first sintering-shrinking coefficient; and sintering the pixelated scintillator-structure and the connection-structure (200, 405). providing a pixelated scintillator-structure with a first sintering-shrinking-coefficient, the pixelated scintillator-structure comprising two adjacent pixels (201, 202), both having a top portion and a bottom portion, which are separated by a gap; providing a connection-structure (200, 405), which is in mechanical contact, at the bottom portion of the two adjacent pixels, with both of the two adjacent pixels, wherein the connection-structure comprises a second sintering-shrinking-coefficient that is greater than the first sintering-shrinking coefficient; and sintering the pixelated scintillator-structure and the connection-structure (200, 405).
Method for manufacturing a rotor for a synchronous reluctance motor, wherein at least one magnetically non-conductive material and at least one magnetically conductive material are wound onto a base body, preferably a cylindrical body, and the individual strata are connected to one another, wherein a multi-layer material with at least one magnetically non-conductive and at least one magnetically conductive layer are wound onto the base body, characterized in that the multi-layer material is formed with at least two magnetically non-conductive layers, between which a magnetically conductive intermediate layer is embedded, wherein each two magnetically non-conductive layers of the adjacent strata of the multi-layer material are connected to one another in a materially joined fashion, wherein one or more circular segments (30, 30', 30", 30''') with a specific radius, in particular four circular segments (30, 30', 30", 30''') are cut out of the winding and each rotated about an axis running perpendicularly with respect to the circular segmental face, in particular by approximately 180°, and are applied to the residual segment of the winding.
A bi-directional flow sensor for sensing pressure of a flow passing therethrough, the flow sensor comprising: a hollow tubular member having a ventilator end and a patient end and defining a bore with a central axis, the bore including a throat section disposed between the ventilator end and patient end; a flow restrictor bisecting the throat section and including a pair of pressure taps (44a, 44b) each defining a tap height; characterized by a flow obstruction disposed at the patient end configured such that, for an air flow entering the patient end, the flow obstruction promotes uniform velocity across the bore at the pressure taps (44a, 44b) and prevents direct impingement of the air flow upon the pressure taps (44a, 44b). a hollow tubular member having a ventilator end and a patient end and defining a bore with a central axis, the bore including a throat section disposed between the ventilator end and patient end; a flow restrictor bisecting the throat section and including a pair of pressure taps (44a, 44b) each defining a tap height; characterized by a flow obstruction disposed at the patient end configured such that, for an air flow entering the patient end, the flow obstruction promotes uniform velocity across the bore at the pressure taps (44a, 44b) and prevents direct impingement of the air flow upon the pressure taps (44a, 44b).
Closure or solar protection home automation device (100, 100', 100") comprising a fixed structure (110, 110', 110''), an actuator, a windable element that can be displaced with respect to the fixed structure under the action of the actuator and a motion sensor (1, 1', 1"), said sensor comprising motion measuring means and means of emitting a wireless signal to the home automation device, a case (5, 5a, 5b, 5c, 5d, 5f) and means of fixing the sensor to a load bar positioned at a free end of the windable element, characterized in that the case of the motion sensor comprises a contact means (7a, 7b, 7c, 7d, 7f, 7h) coming into contact with a contact surface belonging to the fixed structure, during a winding operation of the windable element in the vicinity of a fully wound position.
A gas turbine engine having in flow series: a compressor section, a combustion chamber, and a turbine section; wherein the engine further has a steam generator, and the combustion chamber has a steam reservoir located at the upstream end thereof, the steam reservoir receiving steam from the steam generator, and delivering the received steam into a combustion zone of the combustion chamber characterised in that: the combustion chamber has one or more mounting pins which mount the combustion chamber at a radially outer side thereof to the engine, and which penetrate to the steam reservoir, the or each pin containing an internal flow passage which extends between an opening at an outer end of the pin to an opening which forms an inlet port to the reservoir, whereby the steam received by the reservoir is routed thereto through the flow passage. a compressor section, a combustion chamber, and a turbine section; the combustion chamber has one or more mounting pins which mount the combustion chamber at a radially outer side thereof to the engine, and which penetrate to the steam reservoir, the or each pin containing an internal flow passage which extends between an opening at an outer end of the pin to an opening which forms an inlet port to the reservoir, whereby the steam received by the reservoir is routed thereto through the flow passage.
Method for coating components made from wood or derived timber products, in which a solid coating, in particular made from a genuine wood veneer, is applied to one surface of the component, wherein component and solid coating are moved relative to one another and joined to one another by means of adhesive in the area of a pressure zone, wherein at least one of adhesive, solid coating and component are activated or reactivated in the area of a reaction zone by irradiation using at least one laser beam, and then the solid coating is joined to the component by a pressure element, and wherein the laser beam is widened to the size of the adhesive surface to be activated or the solid coating which is to be heated or the component which is to be heated by a lens system and/or by beam oscillation.
A phosphoramidite activator comprising: (i) at least one compound selected from the group consisting of piperidine, pyrrolidine, N-alkylpiperidine, and N-alkylpyrrolidine; (ii) 5-benzylthio-1H-tetrazole; and (iii) acetonitrile. (i) at least one compound selected from the group consisting of piperidine, pyrrolidine, N-alkylpiperidine, and N-alkylpyrrolidine; (ii) 5-benzylthio-1H-tetrazole; and (iii) acetonitrile.
Propulsion system of an aircraft, said propulsion system comprising: - a core, - a fixed interior structure that is secured to the core and is arranged around the core, and - a nacelle that surrounds the core and the fixed interior structure, a secondary duct being delimited between the fixed interior structure and the nacelle, the fixed interior structure having a slot which permits fluid communication between the secondary duct and a compartment which is inside the fixed interior structure and around the core, the slot permitting evacuation of part of the hot gases present in the compartment around the core, the fixed interior structure comprising a front panel which is arranged at the front of the slot and a rear panel which is arranged at the rear of the slot, the slot being defined by a separation between the front panel and the rear panel, and spacers arranged across the slot being attached to the front panel and to the rear panel, the propulsion system being characterized in that the front panel comprises an interior wall oriented towards the compartment and an outer wall oriented towards the secondary duct, in that at a rear end of the front panel, the interior wall meets the exterior wall via an inclined plane, in that the rear panel is in the form of a plate that comprises a front part which extends in line with and at a distance from the interior wall, a rear part which is the rear of the front part and which extends in line with and at a distance from the interior wall and a fold which connects the rear part and the front part, in that the slot is created between the interior wall and the front part, on one hand, between the rear end and the rear part, on the other hand, and between the inclined plane and the fold, and in that the spacers are attached between the rear end and the front part. - a core, - a fixed interior structure that is secured to the core and is arranged around the core, and - a nacelle that surrounds the core and the fixed interior structure, a secondary duct being delimited between the fixed interior structure and the nacelle,
Cooling method for a hydraulic element of a cooling oil circuit of a motor vehicle, wherein the cooling oil circuit is designed to cool an electric machine and a transmission, wherein the cooling oil circuit has an oil pump and a residual pressure valve, and wherein the electric machine can be coupled into the transmission, the cooling method comprising: identifying (11; 21) a pressure request of the hydraulic element on the basis of an approximation function taking into account a volume flow request of the hydraulic element depending on a residual pressure valve parameter; determining (12; 22) an actual pressure on the hydraulic element depending on the residual pressure valve parameter; determining (13; 23) a target function on the basis of a difference in the pressure request and the actual pressure; and minimizing (14; 24) the target function such that the target function converges to zero in an iterative method for determining a required volume flow of the oil pump for cooling the hydraulic element. identifying (11; 21) a pressure request of the hydraulic element on the basis of an approximation function taking into account a volume flow request of the hydraulic element depending on a residual pressure valve parameter; determining (12; 22) an actual pressure on the hydraulic element depending on the residual pressure valve parameter; determining (13; 23) a target function on the basis of a difference in the pressure request and the actual pressure; and minimizing (14; 24) the target function such that the target function converges to zero in an iterative method for determining a required volume flow of the oil pump for cooling the hydraulic element.
Fuel injector including a central longitudinal axis and being operable to be arranged in a cylinder head of a combustion engine, the fuel injector having - an injector body and - an adjustment device, the adjustment device comprising a ring element being designed to be arranged in a recess of the cylinder head between the injector body and the cylinder head to align the fuel injector relative to the recess, characterized in that the ring element comprises a magnetic material. - an injector body and - an adjustment device, the adjustment device comprising a ring element being designed to be arranged in a recess of the cylinder head between the injector body and the cylinder head to align the fuel injector relative to the recess,