mhurhangee/patent-ind-claim-en huggingface dataset:
A computer implemented method of symbolic analysis of a software program, the method comprising constructing a control flow graph, CFG, (300; 600; 1000) of a software program procedure, the CFG comprising a plurality of nodes (312, 314; 612, 614, 616, 618; 1012, 1014, 1016, 1018, 1020, 1022) representing basic blocks reachable within the software program procedure, the basic blocks represented as respective functions from a first machine state on entry to a said basic block to a second machine state on exit from that basic block; simplifying the CFG by replacing the plurality of nodes with a single node (510; 910; 1310) representing the software program procedure as a function from an input machine state on entry to the software program procedure to an output machine state on exit from the software program procedure; comparing said function to a rule set identifying one or more vulnerabilities based on one or more effects on the machine state; and determining a vulnerability within the software program procedure based on the comparing. constructing a control flow graph, CFG, (300; 600; 1000) of a software program procedure, the CFG comprising a plurality of nodes (312, 314; 612, 614, 616, 618; 1012, 1014, 1016, 1018, 1020, 1022) representing basic blocks reachable within the software program procedure, the basic blocks represented as respective functions from a first machine state on entry to a said basic block to a second machine state on exit from that basic block; simplifying the CFG by replacing the plurality of nodes with a single node (510; 910; 1310) representing the software program procedure as a function from an input machine state on entry to the software program procedure to an output machine state on exit from the software program procedure; comparing said function to a rule set identifying one or more vulnerabilities based on one or more effects on the machine state; and determining a vulnerability within the software program procedure based on the comparing.
Data eyeglasses, comprising: a first display ; a camera ; electronic computing means , wherein the data eyeglasses are configured to carry out the following steps: recording the surroundings of the data eyeglasses with the aid of the camera ; detecting an image displayed by a second display in the recordings of the camera ; detecting that the displayed image comprises a marker for determining the pose of the data eyeglasses; detecting the representation of the marker in the recording; determining the pose of the data eyeglasses with the aid of the detected representation of the marker ; characterised in that the image comprises the marker and an information image; wherein the information image is perceptible by the human eye; wherein the marker is embedded in the information image in such a way that the marker is not perceptible by the human eye. a first display ; a camera ; electronic computing means , wherein the data eyeglasses are configured to carry out the following steps: recording the surroundings of the data eyeglasses with the aid of the camera ; detecting an image displayed by a second display in the recordings of the camera ; detecting that the displayed image comprises a marker for determining the pose of the data eyeglasses; detecting the representation of the marker in the recording; determining the pose of the data eyeglasses with the aid of the detected representation of the marker ; characterised in that the image comprises the marker and an information image; wherein the information image is perceptible by the human eye; wherein the marker is embedded in the information image in such a way that the marker is not perceptible by the human eye. recording the surroundings of the data eyeglasses with the aid of the camera ; detecting an image displayed by a second display in the recordings of the camera ; detecting that the displayed image comprises a marker for determining the pose of the data eyeglasses; detecting the representation of the marker in the recording; determining the pose of the data eyeglasses with the aid of the detected representation of the marker ; characterised in that the image comprises the marker and an information image; wherein the information image is perceptible by the human eye; wherein the marker is embedded in the information image in such a way that the marker is not perceptible by the human eye.
An explosion-proof valve (P10), comprising a flame arresting member and an air permeable membrane , wherein: the flame arresting member comprises a flame arrester assembly and a main body , and is configured to connect to a housing (P20) of a battery pack (P), the air permeable membrane is fastened to the flame arresting member , the battery pack (P) is capable of exchanging gas with the outside through the flame arresting member and the air permeable membrane in sequence, the main body has an inlet end and an outlet end and is a gradually expanding structure with a cross-sectional area of the main body gradually increasing from the inlet end to the outlet end , wherein the inlet end communicates with an interior of the housing (P20), and the outlet end communicates with the flame arrester assembly ; and the air permeable membrane is fastened to the flame arrester assembly . the flame arresting member comprises a flame arrester assembly and a main body , and is configured to connect to a housing (P20) of a battery pack (P), the air permeable membrane is fastened to the flame arresting member , the battery pack (P) is capable of exchanging gas with the outside through the flame arresting member and the air permeable membrane in sequence, the main body has an inlet end and an outlet end and is a gradually expanding structure with a cross-sectional area of the main body gradually increasing from the inlet end to the outlet end , wherein the inlet end communicates with an interior of the housing (P20), and the outlet end communicates with the flame arrester assembly ; and the air permeable membrane is fastened to the flame arrester assembly .
A communication program for causing a processor to execute a communication process, the processor being implemented in one of a plurality of nodes (peers A-C, D-E) that form a communication system , the communication process comprising: receiving account information of a user and a public key of the user from the user; transmitting a message that indicates the account information is correct and the public key of the user to the plurality of nodes when it is decided that the account information is correct; deciding by each of the plurality of nodes, according to messages received from other nodes, that account information is correct when a specified number of the authentication nodes or more have decided that the account information is correct or when the number of the authentication nodes that have decided that the account information is correct accounts for at least a specified proportion of the total number of the authentication nodes involved in a majority decision, and registering the public key of the user in a public key list that stores public keys of users who have been allowed to participate in the communication system, when deciding that the account information is correct. receiving account information of a user and a public key of the user from the user; transmitting a message that indicates the account information is correct and the public key of the user to the plurality of nodes when it is decided that the account information is correct; deciding by each of the plurality of nodes, according to messages received from other nodes, that account information is correct when a specified number of the authentication nodes or more have decided that the account information is correct or when the number of the authentication nodes that have decided that the account information is correct accounts for at least a specified proportion of the total number of the authentication nodes involved in a majority decision, and registering the public key of the user in a public key list that stores public keys of users who have been allowed to participate in the communication system, when deciding that the account information is correct.
A method of protecting an infrared gas sensor in an environment in which gas is to be tested, the infrared gas sensor including a base , an infrared light source/sensor system positioned behind a translucent window within the base , supports 340 extending from base to connect to a mirror support to which a mirror system is attached, defining an analytical volume between translucent window and mirror system , comprising: providing a protective enclosure formed in a plurality of sections , at least a first section of the plurality of sections being movable relative to a second section of the plurality of sections so that the protective enclosure can be placed around at least a portion the infrared gas sensor; placing the first section adjacent the installed gas sensor while the first section and the second section are in an open state; and moving the second section to place the first section and the second section in a closed state, said first and second sections forming an opening in the closed state, said opening having a greater radius or cross-sectional area than the maximum or average radius, or cross-sectional area of an internal volume of the protective enclosure , and said opening encompassing the at least a portion of the infrared gas sensor, wherein the second section is movable relative to the first section to enclose the at least a portion of the infrared gas sensor comprising the analytical volume of the infrared gas sensor within the internal volume of the protective enclosure. providing a protective enclosure formed in a plurality of sections , at least a first section of the plurality of sections being movable relative to a second section of the plurality of sections so that the protective enclosure can be placed around at least a portion the infrared gas sensor; placing the first section adjacent the installed gas sensor while the first section and the second section are in an open state; and moving the second section to place the first section and the second section in a closed state, said first and second sections forming an opening in the closed state, said opening having a greater radius or cross-sectional area than the maximum or average radius, or cross-sectional area of an internal volume of the protective enclosure , and said opening encompassing the at least a portion of the infrared gas sensor, wherein the second section is movable relative to the first section to enclose the at least a portion of the infrared gas sensor comprising the analytical volume of the infrared gas sensor within the internal volume of the protective enclosure.
A microparticle sorting flow channel unit comprising: a first particle sorting portion ; a fluid storage container that is downstream of the first particle sorting portion and is enabled to store a fluid; and a second particle sorting portion that is downstream of the fluid storage container, wherein the fluid storage container is fluidly connected to at least one fluid discharge port that is downstream of the first particle sorting portion and at least one fluid supply port that is upstream of the second particle sorting portion, and characterized in that : the fluid storage container is configured to inflate to cause a fluid storage capacity in the container to increase depending on a difference between flow rates before and after the container. a first particle sorting portion ; a fluid storage container that is downstream of the first particle sorting portion and is enabled to store a fluid; and a second particle sorting portion that is downstream of the fluid storage container, wherein the fluid storage container is fluidly connected to at least one fluid discharge port that is downstream of the first particle sorting portion and at least one fluid supply port that is upstream of the second particle sorting portion, and
Screen system suitable for shielding, for example, light and/or heat, comprising: a first movable pulling cable ; a screen connected at a first end to a first attachment point and at a second end to the first movable pulling cable ; a second movable pulling cable , wherein the first attachment point is connected to the second movable pulling cable; and a first and second motor for moving the first and second movable pulling cable , respectively; a control unit controlling the first and second motors ; characterized in that said control unit is equipped to control the first motor and the second motor independently of each other, and is configured to control the first and second motors such that the screen system is operational in at least two of the following three operating modes: an effective length of the screen remains constant, whereas the screen moves translationally; the effective length of the screen varies, whereas the screen does not move translationally; the effective length of the screen varies, and the screen moves translationally. a first movable pulling cable ; a screen connected at a first end to a first attachment point and at a second end to the first movable pulling cable ; a second movable pulling cable , wherein the first attachment point is connected to the second movable pulling cable; and a first and second motor for moving the first and second movable pulling cable , respectively; a control unit controlling the first and second motors ; characterized in that said control unit is equipped to control the first motor and the second motor independently of each other, and is configured to control the first and second motors such that the screen system is operational in at least two of the following three operating modes: an effective length of the screen remains constant, whereas the screen moves translationally; the effective length of the screen varies, whereas the screen does not move translationally; the effective length of the screen varies, and the screen moves translationally. an effective length of the screen remains constant, whereas the screen moves translationally; the effective length of the screen varies, whereas the screen does not move translationally; the effective length of the screen varies, and the screen moves translationally.
Connecting device for media lines, with at least one coupling element , at least one insertion part and at least one attachment element , wherein the coupling element has at least one connection opening and at least one fluid channel , wherein the insertion part can be inserted at least partly into the connection opening , and wherein the insertion part can be secured to the coupling element with the attachment element , wherein the attachment element is movably held on the coupling element , wherein the attachment element features at least two control surfaces , wherein upon insertion of the insertion part into the connection opening under the effect of an assembly force, the insertion part acts upon the control surfaces such that the attachment element is moved from an initial position against a restoring force, wherein the restoring force is effected by an at least partial elastic deformation of the attachment element , and wherein with sufficient assembly force, the insertion part slides past the control surfaces so that the attachment element is moved back into the starting position due to the effect of the restoring force and snaps in an form-fitting manner with the insertion part , wherein when the assembly force is not sufficient, the attachment element is moved under the effect of the restoring force back into the initial position and the insertion part is pressed at least partly out from the connection opening by means of the control surfaces , wherein the insertion part provides a connecting interface for a media line, wherein the attachment element is guided in at least one recess on the coupling element , wherein the recess has at least one web , wherein the web overlaps and stabilizes the recess , wherein the attachment element has at least four snap-in surfaces , which in the snapped-in assembly state interact in an form-fitting manner with the insertion part , and wherein the control surfaces feature an inclination of between 30° and 50° to a plane of motion (B) of the attachment element or the control surfaces are arched convex or concave.
A method for neighboring cell measurement, the method comprising: receiving (S210), by a terminal device, at least two sets of measurement gap configurations sent by a network device, wherein each set of measurement gap configurations is used for configuring a measurement gap for the terminal device to perform neighboring cell measurement and comprises at least one of the following parameters: a period of the measurement gap configured using each set of measurement gap configurations, a starting time offset of the measurement gap in one period, a duration of the measurement gap, a timing advance of the measurement gap or a reference serving cell indicator, and configuration parameters comprised in any two sets of measurement gap configurations in the at least two sets of measurement gap configurations are at least partially different, wherein starting time offsets in the at least two sets of measurement gap configurations are different; and other configuration parameters except the starting time offsets in the at least two sets of measurement gap configurations are the same; and performing (S220), by the terminal device, the neighboring cell measurement in a measurement gap configured by at least one set of measurement gap configurations of the at least two sets of measurement gap configurations. receiving (S210), by a terminal device, at least two sets of measurement gap configurations sent by a network device, wherein each set of measurement gap configurations is used for configuring a measurement gap for the terminal device to perform neighboring cell measurement and comprises at least one of the following parameters: a period of the measurement gap configured using each set of measurement gap configurations, a starting time offset of the measurement gap in one period, a duration of the measurement gap, a timing advance of the measurement gap or a reference serving cell indicator, and configuration parameters comprised in any two sets of measurement gap configurations in the at least two sets of measurement gap configurations are at least partially different, wherein starting time offsets in the at least two sets of measurement gap configurations are different; and other configuration parameters except the starting time offsets in the at least two sets of measurement gap configurations are the same; and performing (S220), by the terminal device, the neighboring cell measurement in a measurement gap configured by at least one set of measurement gap configurations of the at least two sets of measurement gap configurations.
A compound of Formula (I), or a pharmaceutically acceptable salt thereof: wherein: each of R a and R b is independently H or C 1-3 alkyl; R 1 is H, OH, C 1-3 alkyl, OC 1-3 alkyl, =CH 2 , or =NOR 5 ; or R 1 is C 3-6 cycloalkyl or C 3-6 heterocycloalkyl and forms a spiro group with the ring carbon to which it is attached; each of R 1a and R 1b is independently H or C 1-3 alkyl; R 2 is C 3-9 heterocycloalkyl or C 3-9 heterocycloalkenyl, and is not morpholinyl; R 3 comprises C 3-8 cycloalkyl, C 3-8 cycloalkenyl, C 3-7 heterocycloalkyl, C 6-10 aryl, or C 2-6 heteroaryl; R 4 is C 6-10 aryl, or C 2-6 heteroaryl; each R 5 independently is H, C 1-3 alkyl, or C 0-2 alkylene-C 6-10 aryl; X is C 1-3 alkylene; Y is SO or SO 2 ; each heterocycloalkyl, heterocycloalkenyl, and heteroaryl group independently has 1, 2, or 3 ring heteroatoms selected from N, O, and S. each of R a and R b is independently H or C 1-3 alkyl; R 1 is H, OH, C 1-3 alkyl, OC 1-3 alkyl, =CH 2 , or =NOR 5 ; or R 1 is C 3-6 cycloalkyl or C 3-6 heterocycloalkyl and forms a spiro group with the ring carbon to which it is attached; each of R 1a and R 1b is independently H or C 1-3 alkyl; R 2 is C 3-9 heterocycloalkyl or C 3-9 heterocycloalkenyl, and is not morpholinyl; R 3 comprises C 3-8 cycloalkyl, C 3-8 cycloalkenyl, C 3-7 heterocycloalkyl, C 6-10 aryl, or C 2-6 heteroaryl; R 4 is C 6-10 aryl, or C 2-6 heteroaryl; each R 5 independently is H, C 1-3 alkyl, or C 0-2 alkylene-C 6-10 aryl; X is C 1-3 alkylene; Y is SO or SO 2 ; each heterocycloalkyl, heterocycloalkenyl, and heteroaryl group independently has 1, 2, or 3 ring heteroatoms selected from N, O, and S.
A camera module for a motor vehicle, comprising - a camera housing , - a lens objective comprises an opening allowing light to enter the camera module , and - one or more electronic components including an image sensor adapted to sense light which is transmitted through the lens objective towards the image sensor , - an electromagnetic waveguide filter is arranged around at least a portion of the lens objective , wherein the electromagnetic waveguide filter is adapted to electromagnetically shield the one or more electronic components from undesired electromagnetic radiation entering the camera housing and/or to shield the camera surrounding from undesired electromagnetic radiation leaving the camera housing , wherein - the lens objective comprises a lens barrel holding a plurality of lenses (65-69) and made of a non-shielding plastic material, - the electromagnetic waveguide filter is arranged around the lens barrel , - the electromagnetic waveguide filter is tube-shaped to match the tube-shape of the lens barrel , - the inner diameter of the waveguide filter is larger than the outer diameter of the lens barrel , wherein - the electromagnetic waveguide filter has a length L and a diameter d, characterized in that - the ratio of length L and diameter d of the electromagnetic waveguide filter is larger than two, and - the length of the electromagnetic waveguide filter equals the length of the lens barrel . - a camera housing , - a lens objective comprises an opening allowing light to enter the camera module , and - one or more electronic components including an image sensor adapted to sense light which is transmitted through the lens objective towards the image sensor , - an electromagnetic waveguide filter is arranged around at least a portion of the lens objective , wherein the electromagnetic waveguide filter is adapted to electromagnetically shield the one or more electronic components from undesired electromagnetic radiation entering the camera housing and/or to shield the camera surrounding from undesired electromagnetic radiation leaving the camera housing , wherein - the lens objective comprises a lens barrel holding a plurality of lenses (65-69) and made of a non-shielding plastic material, - the electromagnetic waveguide filter is arranged around the lens barrel , - the electromagnetic waveguide filter is tube-shaped to match the tube-shape of the lens barrel , - the inner diameter of the waveguide filter is larger than the outer diameter of the lens barrel , wherein - the electromagnetic waveguide filter has a length L and a diameter d, characterized in that - the ratio of length L and diameter d of the electromagnetic waveguide filter is larger than two, and - the length of the electromagnetic waveguide filter equals the length of the lens barrel .