mhurhangee/patent-ind-claim-en huggingface dataset:
A computer implemented method for testing the operation of a target computer system, said operation of the target computer system being constrained by a set of timed requirements, wherein a timed requirement corresponds to constraints, including timing constraints, between outputs of the target computer system and inputs to said target computer system, wherein said method is characterized in that it comprises (S51) defining subsets of timed requirements of the set, and for each subset of a plurality of subsets, iterating steps of: - (S52) searching for an execution sequence of the target computer system, referred to as witness trace, satisfying a criterion for detecting a conflict between timed requirements of the subset; - when a witness trace is found: (S53) searching for a contradicting timed requirement among the timed requirements of the set which are not present in the subset, which prevents the witness trace to occur when considered with the subset; - when a contradicting timed requirement is found: (S54) augmenting the subset by including the contradicting timed requirement in the subset; wherein an inconsistency of the operation of the target computer system constrained by the set of timed requirements is detected when a witness trace is found for at least one subset and no contradicting timed requirement is found for said witness trace. - (S52) searching for an execution sequence of the target computer system, referred to as witness trace, satisfying a criterion for detecting a conflict between timed requirements of the subset; - when a witness trace is found: (S53) searching for a contradicting timed requirement among the timed requirements of the set which are not present in the subset, which prevents the witness trace to occur when considered with the subset; - when a contradicting timed requirement is found: (S54) augmenting the subset by including the contradicting timed requirement in the subset;
Use of a microorganism having an acyltransferase activity for preparing N-acetyl-L-methionine, the microorganism comprising a polypeptide having an acyltransferase activity in which the polypeptide is represented by an amino acid sequence of any one of SEQ ID NOS. 1 to 3 or an amino acid sequence having 90% or more identity to the amino acid sequence, wherein the microorganism is selected from the group consisting of Escherichia sp., Corynebacterium sp., Saccharomyces sp., and Yarrowia sp.
A work vehicle debris accumulation control system utilized onboard a work vehicle having an operator station and a work vehicle compartment , the work vehicle debris accumulation control system comprising: a display device located in the operator station of the work vehicle ; a three dimensional,3D, imaging device having a field of view, FOV, encompassing a debris-gathering region of the work vehicle compartment ; and a controller operably coupled to the display device and to the 3D imaging device , the controller configured to: calculate a debris accumulation volume in the debris-gathering region of the work vehicle compartment based, at least in part, on 3D imaging data provided by the 3D imaging device ; estimate the debris accumulation risk level based, at least in part, on the calculated debris accumulation volume; and generate a first visual alert on the display device when the debris accumulation risk level surpasses a first predetermined threshold. a display device located in the operator station of the work vehicle ; a three dimensional,3D, imaging device having a field of view, FOV, encompassing a debris-gathering region of the work vehicle compartment ; and a controller operably coupled to the display device and to the 3D imaging device , the controller configured to: calculate a debris accumulation volume in the debris-gathering region of the work vehicle compartment based, at least in part, on 3D imaging data provided by the 3D imaging device ; estimate the debris accumulation risk level based, at least in part, on the calculated debris accumulation volume; and generate a first visual alert on the display device when the debris accumulation risk level surpasses a first predetermined threshold. calculate a debris accumulation volume in the debris-gathering region of the work vehicle compartment based, at least in part, on 3D imaging data provided by the 3D imaging device ; estimate the debris accumulation risk level based, at least in part, on the calculated debris accumulation volume; and generate a first visual alert on the display device when the debris accumulation risk level surpasses a first predetermined threshold.
A production method for a polycrystalline silicon rod having a radius R of 65 mm or more by a chemical vapor deposition method by feeding the hydrogen gas and the trichlorosilane gas, the production method comprising causing the polycrystalline silicon rod to grow under a condition set such that a feed gas amount is reduced by 2% or more in a second region from r=R/3 to r=R/2, and furthermore, the feed gas amount is reduced by 5% or more in a third region from r=R/2 to r=R in a deposition step of the polycrystalline silicon rod, where the feed gas amount at the start of deposition is set to be 100, and r=0 at a center of the polycrystalline silicon rod.
Machine (M) for the preparation of beverages, in particular espresso coffee, comprising a brewing assembly , a water tank , an electric vibration pump having its inlet connected to said tank and its outlet or discharge connected to the brewing assembly , an unidirectional hydraulic valve interposed between the pump and the brewing assembly to allow a flow of water towards the brewing assembly when the pressure of the water supplied by the pump exceeds a predetermined threshold, electric heating means for heating the water supplied by the pump , at least one solenoid valve which has its inlet coupled between the outlet of the pump and the inlet of the unidirectional hydraulic valve and between the outlet of the unidirectional hydraulic valve and the inlet of the brewing assembly , and is adapted to assume an open condition and a closed condition in which it allows and prevents, respectively, a flow of fluid from its inlet towards a discharge environment, for controlling an auxiliary function of the machine (M) which is not utilized for the preparation of the beverage; and an electronic control unit (ECU) predisposed to drive the pump , the heating means and said solenoid valve in predetermined manners; wherein the electronic control unit (ECU) is predisposed for controlling said at least one solenoid valve such that upon starting a cycle for the preparation of a beverage said solenoid valve is opened for a predetermined period of time and allows a flow of water from the outlet or discharge of the pump towards said discharge environment so as to prime the pump , and is subsequently closed.
A method for producing ferrocoke by molding and carbonizing a mixture of coal and iron ore, wherein the coal is a single coal or a blend of plural coals, characterized in that a non-caking or slight caking coal having a load average value of ash content of not less than 10.7% and a load average value of mean maximum reflectance of not less than 0.81% is used as the coal.
A computer-implemented method, comprising: identifying a plurality of users to receive one or more simulated spear phishing messages; identifying , based on historical email message data associated with a first user of the plurality of users identified to receive the one or more simulated spear phishing messages, message features of messages associated with the first user; selecting , based on the message features of the messages associated with the first user, a predetermined template; generating , using the predetermined template and for a first user account linked to the first user, a first spear phishing message based on the message features of the messages associated with the first user; sending , to the first user account, the first spear phishing message; receiving a reply message to the first spear phishing message from the first user account; analyzing, using one or more natural language processing, NLP, algorithms, the reply message; generating, based on the NLP analysis of the reply message, a second spear phishing message; and sending, to the first user account, the second spear phishing message; wherein content of the first spear phishing message has a first level of specificity determined based on the message features of the messages associated with the first user, and wherein content of the second spear phishing message has a second level of specificity greater than the first level of specificity and determined based on the message features of the messages associated with the first user. identifying a plurality of users to receive one or more simulated spear phishing messages; identifying , based on historical email message data associated with a first user of the plurality of users identified to receive the one or more simulated spear phishing messages, message features of messages associated with the first user; selecting , based on the message features of the messages associated with the first user, a predetermined template; generating , using the predetermined template and for a first user account linked to the first user, a first spear phishing message based on the message features of the messages associated with the first user; sending , to the first user account, the first spear phishing message; receiving a reply message to the first spear phishing message from the first user account; analyzing, using one or more natural language processing, NLP, algorithms, the reply message; generating, based on the NLP analysis of the reply message, a second spear phishing message; and sending, to the first user account, the second spear phishing message; wherein content of the first spear phishing message has a first level of specificity determined based on the message features of the messages associated with the first user, and wherein content of the second spear phishing message has a second level of specificity greater than the first level of specificity and determined based on the message features of the messages associated with the first user.
Pump electronics of an electric motor driven centrifugal pump with an electronics housing containing open loop and/or closed loop control electronics with a frequency converter to control the rotational speed of the centrifugal pump, in which the open loop and/or closed loop control electronics have at least one PCB with electrical and/or electronic components , comprising at least one inductor and semiconductor switch and surrounded by electromagnetic shielding , characterised by the components with the PCB being embedded in a thermally conductive compound and jointly forming a cast body arranged within the electronics housing , in which the shielding is integrated into the cast body .
A method comprising: monitoring a plurality of peripheral devices in a system for a plurality of events that indicate that a user is potentially paying attention to the system; and responsive to a first event of the plurality of events from one of the plurality of peripheral devices, communicating an indication of the potential user attention to one or more clients of a plurality of clients executable on the system characterized in that wherein the one or more clients have previously registered to indicate that the first event is an event that the one or more clients interpret as indicative of the potential user attention, and wherein one or more other clients of the plurality of clients have previously registered to indicate that one or more second events of the plurality of events are events that the one or more other clients interpret as indicative of the potential user attention but do not indicate that the first event is an event that the one or more other clients interpret as indicative of the potential user attention. monitoring a plurality of peripheral devices in a system for a plurality of events that indicate that a user is potentially paying attention to the system; and responsive to a first event of the plurality of events from one of the plurality of peripheral devices, communicating an indication of the potential user attention to one or more clients of a plurality of clients executable on the system characterized in that wherein the one or more clients have previously registered to indicate that the first event is an event that the one or more clients interpret as indicative of the potential user attention, and wherein one or more other clients of the plurality of clients have previously registered to indicate that one or more second events of the plurality of events are events that the one or more other clients interpret as indicative of the potential user attention but do not indicate that the first event is an event that the one or more other clients interpret as indicative of the potential user attention. wherein the one or more clients have previously registered to indicate that the first event is an event that the one or more clients interpret as indicative of the potential user attention, and wherein one or more other clients of the plurality of clients have previously registered to indicate that one or more second events of the plurality of events are events that the one or more other clients interpret as indicative of the potential user attention but do not indicate that the first event is an event that the one or more other clients interpret as indicative of the potential user attention.
Mould for the production of a hybrid support ring for a shaft structure , comprising walls by which a volume is defined which is configured for receiving a curable material for forming the hybrid support ring by curing the curable material to a cured material , wherein the mould consists of or contains a polymer material, which is thermoplastic or thermosetting, or a metal, and is formed so as to be annular and has a passage , and wherein at least one support surface of the hybrid support ring to be formed with the mould is formed on the mould , wherein at least one aperture is provided in at least one wall , and wherein the support surface is a first support surface (6.1) whose surface is structured, wherein it has a plurality of depressions and elevations, wherein a plurality of apertures are provided in the wall of the mould , and wherein the apertures are arranged in the first support surface (6.1) of the mould .
A control method for a heater comprising at least one heating element, at least one fan for blowing the heat generated by said heating element to an environment to be heated and at least one temperature detector of the environment to be heated, said method comprising: - at least one first heating phase active until the detected environment temperature ( t ) by said temperature detector is higher than a first control temperature ( T1 ) corresponding to a user-set temperature ( TU ) increased by a first predetermined temperature differential ( D1 ), said heating element being active in said first heating phase and said fan being operated at an operating speed ( VO ) at least equal to a predetermined heating speed ( VR ); - at least one second maintenance phase active when said temperature detector detects a detected environment temperature ( t ) higher than said first control temperature ( T1 ), in said second maintenance phase said heating element being active and said fan being driven at a maintenance speed ( VM ) lower than said predetermined heating speed ( VR ), said method being characterized in comprising a reactivation phase of said heating phase when said temperature detector detects a detected environment temperature ( t ) which has fallen below said user-set temperature ( TU ) decreased by a fourth predetermined temperature differential ( D4 ), said reactivation phase of said heating phase being performed by gradually increasing the speed of said fan bringing it to said operating speed ( VO ) in a second predetermined time interval so as to limit the noise differential perceived by users. - at least one first heating phase active until the detected environment temperature ( t ) by said temperature detector is higher than a first control temperature ( T1 ) corresponding to a user-set temperature ( TU ) increased by a first predetermined temperature differential ( D1 ), said heating element being active in said first heating phase and said fan being operated at an operating speed ( VO ) at least equal to a predetermined heating speed ( VR ); - at least one second maintenance phase active when said temperature detector detects a detected environment temperature ( t ) higher than said first control temperature ( T1 ), in said second maintenance phase said heating element being active and said fan being driven at a maintenance speed ( VM ) lower than said predetermined heating speed ( VR ), said method being characterized in comprising a reactivation phase of said heating phase when said temperature detector detects a detected environment temperature ( t ) which has fallen below said user-set temperature ( TU ) decreased by a fourth predetermined temperature differential ( D4 ), said reactivation phase of said heating phase being performed by gradually increasing the speed of said fan bringing it to said operating speed ( VO ) in a second predetermined time interval so as to limit the noise differential perceived by users.
An animal feed including: - a nutrient component including one or more of a carbohydrate, fat and protein; - a phytase; and - betaine hydrochloride (BHCl), wherein the BHCl and phytase are provided in a ratio of 0.5 to 5g BHCl per kg of feed : 100 to 5000 phytase unit (FTU) per kg of feed. - a nutrient component including one or more of a carbohydrate, fat and protein; - a phytase; and - betaine hydrochloride (BHCl),
A spectacle lens comprising: a first area that causes light rays incident on an object-side face of the lens to exit from an eyeball-side face of the lens and to converge at a predetermined position A on a retina of a wearer; and a plurality of defocusing second areas configured to cause light rays to converge at a position B on the object side or a position C on the distal side relative to the position A, wherein at least some of the second areas in a peripheral area of the spectacle lens that is at a radius range from 4.5 mm to 25 mm from a lens center have a shape that suppresses a variation in a defocusing effect, the variation in the defocusing effect being at least one of refractive power error and astigmatism occurring in the defocusing power imparted by the second areas , wherein the second areas are convex areas, and at least some of the second areas in the peripheral area of the spectacle lens have a toric shape that cancels out astigmatism imparted by the second areas in defocusing power occurring in the peripheral area. a first area that causes light rays incident on an object-side face of the lens to exit from an eyeball-side face of the lens and to converge at a predetermined position A on a retina of a wearer; and a plurality of defocusing second areas configured to cause light rays to converge at a position B on the object side or a position C on the distal side relative to the position A, wherein at least some of the second areas in a peripheral area of the spectacle lens that is at a radius range from 4.5 mm to 25 mm from a lens center have a shape that suppresses a variation in a defocusing effect, the variation in the defocusing effect being at least one of refractive power error and astigmatism occurring in the defocusing power imparted by the second areas , wherein the second areas are convex areas, and at least some of the second areas in the peripheral area of the spectacle lens have a toric shape that cancels out astigmatism imparted by the second areas in defocusing power occurring in the peripheral area.
A device for detecting particles in air; said device comprising: a receiver for receiving a flow of air comprising particles ; a particle capturing arrangement configured to transfer the particles from the flow of air to a liquid for collection of a set of particles in the liquid; a flow channel configured to pass a flow of the liquid comprising the set of particles through the flow channel; a light source configured to illuminate the set of particles in the flow channel, such that an interference pattern is formed by interference between light being scattered by the set of particles and non-scattered light from the light source; and an image sensor comprising a plurality of photo-sensitive elements configured to detect incident light, the image sensor being configured to detect the interference pattern. a receiver for receiving a flow of air comprising particles ; a particle capturing arrangement configured to transfer the particles from the flow of air to a liquid for collection of a set of particles in the liquid; a flow channel configured to pass a flow of the liquid comprising the set of particles through the flow channel; a light source configured to illuminate the set of particles in the flow channel, such that an interference pattern is formed by interference between light being scattered by the set of particles and non-scattered light from the light source; and an image sensor comprising a plurality of photo-sensitive elements configured to detect incident light, the image sensor being configured to detect the interference pattern.
A method for manufacturing a formed article of a composite material in which a formed article of fiber-reinforced composite material is manufactured by heating and pressurizing a material to be formed including a thermoplastic resin material and a fabric material , the method comprising: a preforming process in which said material to be formed is accommodated in a preheated preforming mold with a release sheet being arranged between said material to be formed and said preforming mold , heated and pressurized to impregnate said thermoplastic resin material into said fabric material , and thereby preformed into an impregnated intermediate material ; characterized by a transport process in which said impregnated intermediate material in a heated state is taken out from said preforming mold with said release sheet left attached thereto, and transported; and a forming process in which said impregnated intermediate material transported is accommodated in a forming mold in the heated state and formed into the formed article of the composite material by at least pressurizing; wherein, said release sheet is a flexible release sheet , and wherein in said transport process, after said impregnated intermediate material is taken out with said flexible release sheet left attached thereto, said flexible release sheet is peeled off from the impregnated intermediate material . a preforming process in which said material to be formed is accommodated in a preheated preforming mold with a release sheet being arranged between said material to be formed and said preforming mold , heated and pressurized to impregnate said thermoplastic resin material into said fabric material , and thereby preformed into an impregnated intermediate material ; characterized by a transport process in which said impregnated intermediate material in a heated state is taken out from said preforming mold with said release sheet left attached thereto, and transported; and a forming process in which said impregnated intermediate material transported is accommodated in a forming mold in the heated state and formed into the formed article of the composite material by at least pressurizing; wherein, said release sheet is a flexible release sheet , and wherein in said transport process, after said impregnated intermediate material is taken out with said flexible release sheet left attached thereto, said flexible release sheet is peeled off from the impregnated intermediate material .