mhurhangee/ep-ind-claims huggingface dataset:
A method for software code analysis, comprising: receiving, into a memory of a computer, source code of an application program, which includes one or more calls from respective entry points in the source code to at least one library program; automatically analyzing the source code in the computer in order to generate a first data flow graph, representing a flow of data to be engendered upon running the application program; identifying one or more vulnerabilities in the at least one library program; automatically analyzing the at least one library program to generate at least one second DFG linking at least one of the entry points in the source code to at least one of the vulnerabilities; combining the first DFG with the at least one second DFG in order to track the flow of data from the application program to the at least one of the vulnerabilities; and reporting, responsively to the tracked flow, that the at least one of the vulnerabilities is exploitable. receiving, into a memory of a computer, source code of an application program, which includes one or more calls from respective entry points in the source code to at least one library program; automatically analyzing the source code in the computer in order to generate a first data flow graph, representing a flow of data to be engendered upon running the application program; identifying one or more vulnerabilities in the at least one library program; automatically analyzing the at least one library program to generate at least one second DFG linking at least one of the entry points in the source code to at least one of the vulnerabilities; combining the first DFG with the at least one second DFG in order to track the flow of data from the application program to the at least one of the vulnerabilities; and reporting, responsively to the tracked flow, that the at least one of the vulnerabilities is exploitable.
Linearly movable sled device, comprising a base plate, a platform linearly slidably mounted with respect to the base plate and provided with connection members to connect a processing apparatus, translation means (20, 26, 30) carried by the base plate for moving the platform, which include a rotary motor connected to the base plate and adapted to cause rotation of a threaded shaft that extends along the sliding direction of the platform and engages a nut screw fixed to the platform, and fixing means comprising at least one operating braking securing unit connected to the base plate, for securing the platform in a predetermined position with respect to the base plate, characterized in that said securing unit is arranged to interact with at least one first securing member of the platform facing the base plate, and includes a second securing member the shape of which corresponds to said first securing member and that is susceptible of assuming a position facing said first securing member, the second securing member being movable with respect to the base plate between a first inactive position closer to the base plate, and a second active position more spaced from the base plate in which the second securing member can engage the first securing member by positive form locking when these securing members (34, 36) face each other.
An electrically operated dispenser for sanitary or hygiene products, for example soap, paper, cleaning or care products or the like, having a housing and having a respective indicator (4, 5) for readiness for operation or for a required service intervention, which is visible from the outside and formed by colored light elements, characterized in that at least a third indicator (7, 7') is provided in the interior of the dispenser and the type of service intervention is evident after the housing is opened.
Particles of a mixed oxide of cerium and of lanthanum characterized: - by a molar ratio La / (La + Ce) comprised between 0.01 and 0.15, more particularly between 0.01 and 0.12; - by a specific surface area between 3 and 14 m 2 /g, more particularly between 7 and 13 m 2 /g, even more particularly between 8 and 12 m 2 /g; - in that they are substantially cubic. - by a molar ratio La / (La + Ce) comprised between 0.01 and 0.15, more particularly between 0.01 and 0.12; - by a specific surface area between 3 and 14 m 2 /g, more particularly between 7 and 13 m 2 /g, even more particularly between 8 and 12 m 2 /g; - in that they are substantially cubic.
Apparatus for maintaining the precision of the navigation capability of a driverless transport vehicle, having the following features: a) a test station for the temporary stay of the transport vehicle has an open front side and a delimited rear side, wherein in each case two depressions for receiving drive wheels and two depressions for receiving support wheels are provided in a surface region on the bottom, b) a test line is provided in the horizontal direction on the rear side of the test station at a working height of a laser scanner of the transport vehicle, wherein in each case the marking of a test point for the angle adjustment of the laser scanner of the transport vehicle is provided at the same height of the test line in the lateral direction, c) a device for moving a cleaning apparatus of the front side of a transport vehicle and of the laser scanner is provided on the rear side of the test station. a) a test station for the temporary stay of the transport vehicle has an open front side and a delimited rear side, wherein in each case two depressions for receiving drive wheels and two depressions for receiving support wheels are provided in a surface region on the bottom, b) a test line is provided in the horizontal direction on the rear side of the test station at a working height of a laser scanner of the transport vehicle, wherein in each case the marking of a test point for the angle adjustment of the laser scanner of the transport vehicle is provided at the same height of the test line in the lateral direction, c) a device for moving a cleaning apparatus of the front side of a transport vehicle and of the laser scanner is provided on the rear side of the test station.
Acetabular cup of a hip joint endoprosthesis, comprising an outer cup section with a convex surface for contacting the acetabulum and with an inner cup section with a concave surface for contacting an inlay of the hip joint endoprosthesis, wherein at least along a surface portion of the acetabular cup the outer cup section is made resilient relative to the inner cup section in a radial direction (r), wherein the spring elasticity is formed by a wall portion of the outer cup section extending to a wall portion of the inner cup section forming a cavity with radial clearance (a), wherein at least one spring-elastic element is arranged in the cavity, which element produces a spring effect in the radial direction (r) between the wall portion of the outer cup section and the wall portion of the inner cup section, characterized in that the spring-elastic element is formed by a number of spring lamellae which are formed on one wall portion and which bear on the surface of the other wall portion, wherein the spring lamellae being arranged circumferentially around the circumference of the wall portion, wherein between 14 and 40 spring lamellae are arranged around the circumference of the wall portion, wherein the spring lamellae, viewed from the radial direction (r), have a rectangular or trapezoidal basic contour and wherein the spring lamellae are formed directly from the material of a wall portion, or that the spring-elastic element has a honeycomb-like or lattice-like structure in a radial section. wherein the spring elasticity is formed by a wall portion of the outer cup section extending to a wall portion of the inner cup section forming a cavity with radial clearance (a), wherein at least one spring-elastic element is arranged in the cavity, which element produces a spring effect in the radial direction (r) between the wall portion of the outer cup section and the wall portion of the inner cup section, characterized in that the spring-elastic element is formed by a number of spring lamellae which are formed on one wall portion and which bear on the surface of the other wall portion, wherein the spring lamellae being arranged circumferentially around the circumference of the wall portion, wherein between 14 and 40 spring lamellae are arranged around the circumference of the wall portion, wherein the spring lamellae, viewed from the radial direction (r), have a rectangular or trapezoidal basic contour and wherein the spring lamellae are formed directly from the material of a wall portion, or that the spring-elastic element has a honeycomb-like or lattice-like structure in a radial section.
A torque sensor module comprising: a hollowed rotor holder; a yoke member arranged along an outer peripheral surface of the rotor holder; a first magnet arranged along an outer peripheral surface of the yoke member; characterized by a support coupling portion extended to a radially external side from an upper surface of the rotor holder over a boundary line between the yoke member and the first magnet to contact, at a bottom surface thereof, upper surfaces of the yoke member and the first magnet, in that the support coupling portion includes a plurality of unit support coupling portions (141, 142, 143) each spaced apart to a circumferential direction, in that each of the support coupling portions (141, 142, 143) covers an upper annular surface of the yoke member and an inner annular surface of the first magnet, and in that each of the unit support coupling portions (141, 142, 143) has a protruding width less than a sum (d1+d2) of thickness of the yoke member and thickness of the first magnet. a hollowed rotor holder; a yoke member arranged along an outer peripheral surface of the rotor holder; a first magnet arranged along an outer peripheral surface of the yoke member; characterized by a support coupling portion extended to a radially external side from an upper surface of the rotor holder over a boundary line between the yoke member and the first magnet to contact, at a bottom surface thereof, upper surfaces of the yoke member and the first magnet, in that the support coupling portion includes a plurality of unit support coupling portions (141, 142, 143) each spaced apart to a circumferential direction, in that each of the support coupling portions (141, 142, 143) covers an upper annular surface of the yoke member and an inner annular surface of the first magnet, and in that each of the unit support coupling portions (141, 142, 143) has a protruding width less than a sum (d1+d2) of thickness of the yoke member and thickness of the first magnet.
Auxiliary drive for vehicles which are moved by external means, in particular decoupled trailers, comprising at least one drive unit (15, 16) which is mounted on the vehicle and which can be applied against a vehicle wheel and which has a motor-driven drive element, wherein the drive unit (15, 16) has an integrated control means, characterized in that the drive unit (15, 16) has a communications device, which is connected to the control means in a wireless or cabled manner, for communication of a plurality of control means amongst one another and with an operating device.
A method for monitoring a condition of a fleet of circuit breakers (320, 330, 340), including: (a) synchronously measuring at least one type of operating condition related signal for each of the circuit breakers (320, 330, 340), during their operation; (b) obtaining a set of feature data representing the respective measurements of operating condition related signal; (c) performing cluster analysis of the set of feature data based on a similarity threshold; the cluster analysis producing a number of one or more clusters; and (d) generating a signal indicating the condition of the fleet of circuit breakers (320, 330, 340) based on the the number of clusters. (a) synchronously measuring at least one type of operating condition related signal for each of the circuit breakers (320, 330, 340), during their operation; (b) obtaining a set of feature data representing the respective measurements of operating condition related signal; (c) performing cluster analysis of the set of feature data based on a similarity threshold; the cluster analysis producing a number of one or more clusters; and (d) generating a signal indicating the condition of the fleet of circuit breakers (320, 330, 340) based on the the number of clusters.
Locking device with a locking part and a lock, wherein the locking part has a locking pin with a recess and wherein the lock has an opening for receiving the locking pin and a locking bolt movable between a locking position and an unlocking position for selective engagement in the recess of the locking pin, so that, in a locking position, a stop is formed by the locking bolt and the locking pin, characterized in that the lock has an electric drive, a threaded spindle connected to the electric drive and a spring element, the spring element engaging with a first section with the threaded spindle and being connected to a second section as a driver to the locking bolt.
A method for secure personalization of a chip of a chipset of a cellular mobile device with an identity and credentials to install a Secure Execution Environment in the chip, the method comprising the steps: 1) at an identity and credential provider server, creating: 1.1) an image protection key, and 1.2) an image protection key identifier; 2) masking the image protection key by splitting the image protection key into a first key-component and second key-component; 3) providing the first key-component and the image protection key identifier to a chip manufacturer production server; 4) downloading and implementing the first key-component and the image protection key identifier from the chip manufacturer production server to the chip; 5) providing the second key-component and the image protection key identifier to a device manufacturer production server which is not accessible by the chip manufacturer production server or / and vice-versa; 5.1) at the device manufacturer production server, retrieving, from the chip, the image protection key identifier downloaded in the chip, comparing the two key identifiers, so as to identify that the second key-component belongs to the chip and assigning the second key-component to the chip based on the retrieved image protection key identifier; 6) downloading and implementing the second key-component from the device manufacturer production server to the chip; 7) in the chip, combining the first key-component and the second key-component and reconstructing the image protection key 8) in the chip, downloading an encrypted secure operating system image and decrypting the image based on the reconstructed image protection key. 1) at an identity and credential provider server, creating: 1.1) an image protection key, and 1.2) an image protection key identifier; 2) masking the image protection key by splitting the image protection key into a first key-component and second key-component; 3) providing the first key-component and the image protection key identifier to a chip manufacturer production server; 4) downloading and implementing the first key-component and the image protection key identifier from the chip manufacturer production server to the chip; 5) providing the second key-component and the image protection key identifier to a device manufacturer production server which is not accessible by the chip manufacturer production server or / and vice-versa; 5.1) at the device manufacturer production server, retrieving, from the chip, the image protection key identifier downloaded in the chip, comparing the two key identifiers, so as to identify that the second key-component belongs to the chip and assigning the second key-component to the chip based on the retrieved image protection key identifier; 6) downloading and implementing the second key-component from the device manufacturer production server to the chip; 7) in the chip, combining the first key-component and the second key-component and reconstructing the image protection key 8) in the chip, downloading an encrypted secure operating system image and decrypting the image based on the reconstructed image protection key.
A method in a communication system comprising, at a user agent: receiving a radio resource control, RRC, connection reconfiguration message from an access device, wherein uplink time synchronization at the user agent has been lost when the RRC connection reconfiguration message is received; storing configuration message information including information that specifies uplink control channel resources from the RRC connection reconfiguration message; initiating a random access channel, RACH, procedure to restore uplink time synchronization; determining that uplink time synchronization has been restored; after uplink time synchronization has been restored, configuring uplink control channel resources using the stored configuration message information, and communicating with the access device using the configured uplink control channel resources; and wherein uplink time synchronization at the user agent is determined to be lost based on a time alignment timer being expired or not running. receiving a radio resource control, RRC, connection reconfiguration message from an access device, wherein uplink time synchronization at the user agent has been lost when the RRC connection reconfiguration message is received; storing configuration message information including information that specifies uplink control channel resources from the RRC connection reconfiguration message; initiating a random access channel, RACH, procedure to restore uplink time synchronization; determining that uplink time synchronization has been restored; after uplink time synchronization has been restored, configuring uplink control channel resources using the stored configuration message information, and communicating with the access device using the configured uplink control channel resources; and wherein uplink time synchronization at the user agent is determined to be lost based on a time alignment timer being expired or not running.
Method for managing a main module of a production line, said line having at least one module situated upstream or downstream of said main module, said main module being equipped with thermal means operating in production at a setpoint temperature, in which method: - during production, when a stoppage occurs, said stoppage being an unexpected stoppage, in the production continuity at said main module over a period, the temperature of said thermal means is lowered; - then the temperature of said thermal means is re-established until said setpoint temperature is reached; - data are recorded comprising at least past data, said past data relating to at least one past event that occurred in production and comprising at least one duration of elevation of the temperature of said thermal means from a first temperature to a second temperature; characterized in that: - the temperature of said thermal means is adapted automatically, as a function of said recorded past data, until said setpoint temperature is reached at the end of a stoppage duration extrapolated with respect to the recorded past data relating to a similar past event that occurred during production. - during production, when a stoppage occurs, said stoppage being an unexpected stoppage, in the production continuity at said main module over a period, the temperature of said thermal means is lowered; - then the temperature of said thermal means is re-established until said setpoint temperature is reached; - data are recorded comprising at least past data, said past data relating to at least one past event that occurred in production and comprising at least one duration of elevation of the temperature of said thermal means from a first temperature to a second temperature; characterized in that: - the temperature of said thermal means is adapted automatically, as a function of said recorded past data, until said setpoint temperature is reached at the end of a stoppage duration extrapolated with respect to the recorded past data relating to a similar past event that occurred during production. - the temperature of said thermal means is adapted automatically, as a function of said recorded past data, until said setpoint temperature is reached at the end of a stoppage duration extrapolated with respect to the recorded past data relating to a similar past event that occurred during production.
A combination of at least one tissue fixation tack of biocompatible material for use in closing incisions in tissue in a cardiac surgical procedure such as an anastomosis procedure, and a deployment gun into which said at least one tack may be loaded and deployed therefrom, each said tack comprising a body portion having a loop at one end thereof, and at least two flexible arms (12,14) at another end thereof, said arms (12, 14) being arranged to be forced together in parallel within the deployment gun, wherein said loop acts as an anchor member for anchoring the tack in tissue and preventing migration thereof, and in that said arms (12, 14) have ends (18, 20) for puncturing and entry into said tissue during said procedure, said arms (12, 14) being further arranged to extend outwardly in opposite directions away from said anchor member when deployed within said tissue in said procedure; characterised in that said deployment gun comprises a housing having a hollow barrel connected thereto and a locking mechanism on an end of the hollow barrel, the locking mechanism having a tip for both holding the at least one tack in place and releasing the at least one tack when in the desired location.
Rotor of a rotatory permanently excited synchronous machine having buried permanent magnets, which are arranged in substantially axially extending recesses of a magnetically conductive body, in particular of an axially layered laminated core of the rotor, wherein each recess has a pocket for receiving one or more permanent magnet(s), wherein flux barriers are situated in a longitudinal axis of the recess at the opposed ends of the pockets, wherein, in the region between pocket and flux barrier, means for increasing an opposing field stability are provided at the side of the recesses facing an external diameter of the rotor, wherein the means for increasing an opposing field stability are arranged as holding elements on the ends of the pockets and contribute to the positioning and fixing of the permanent magnets in the pockets, wherein the holding elements are configured as webs or functional holding webs, and, at least in certain sections, form the pockets for receiving the permanent magnets, wherein the webs and functional holding webs are configured on the air-gap side of the pocket in such a way that, in particular in the event of a fault, for example in the event of a sudden short-circuit of a permanently excited synchronous machine, they counteract, at least in certain sections, irreversible demagnetisation of the permanent magnets in the pockets and thus continue to perform the protective function for the permanent magnet, wherein the recesses of a pole of the rotor are arranged, in particular, in a V-shape or in a double V-shape or in a U-shape, and sheet metal webs are present between individual recesses of a pole.