Abstract: A method for improving a process model for a patterning process, the method including obtaining a) a measured contour from an image capture device, and b) a simulated contour generated from a simulation of the process model. The method also includes aligning the measured contour with the simulated contour by determining an offset between the measured contour and the simulated contour. The process model is calibrated to reduce a difference, computed based on the determined offset, between the simulated contour and the measured contour.

Abstract: An open-ear earphone includes a housing, a chamber is provided inside the housing, a speaker is provided inside the chamber and divides the chamber into a front chamber and a rear chamber. The housing is provided with a first sound hole and a second sound hole. The front chamber is communicated to the outside through the first sound hole, and the rear chamber is communicated to the outside through the second sound hole. The rear chamber includes a first volume down chamber and a second volume down chamber communicated to the first volume down chamber, and the first volume down chamber is located between the speaker and the second volume down chamber. The sound wave in backward motion generated by the speaker is transmitted to the outside from the second sound hole after being reduced by the first volume down chamber and the second volume down chamber.

Abstract: An open-ear Bluetooth® earphone includes an earphone body and a support frame. The support frame is configured to be plugged into a cavum concha of a wearer. The earphone body is provided with an audio source, and the support frame is installed on the earphone body and corresponds to the audio source. When in use, the support frame is configured to be firmly plugged into the cavum concha of the wearer to allow the earphone body to be worn on the ear of the wearer. The audio source corresponds to the ear canal of the wearer through the support frame, so that the sound emitted from the audio source is transmitted into the ear canal through the support frame. The audio source is directly opposite of the ear canal through the support frame to shorten the distance between the audio source and the ear canal.

Abstract: This application relates to the field of storage technology and discloses a method for protecting partial space of SSD and a storage system. The storage space of the SSD is divided into multiple regions and there is a partition table stored in the SSD, which includes region type of each region. The method includes: receiving, by the SSD, a command to read the partition table; and retrieving, by the SSD, the partition table, removing one or more regions with the region type being locked from the partition table, and returning the removed partition table. This application provides a simple implementation and self-encrypting protection scheme, which requires fewer running resources, is easy to operate, has strong portability, and can meet basic self-encrypting and locking requirements.

Abstract: The present invention relates to the technical field of endoscopes, and discloses a confocal endoscope with a fixing device.

Abstract: The present disclosure provides a shift register unit, a driving method, a driving circuit and a display device. The shift register unit includes a first node potential adjustment circuit, a first tank circuit, a second node control circuit, a second tank circuit, a third node control circuit, a first node control circuit, and an output circuit; the first node potential adjustment circuit changes the potential of the first node according to the adjustment clock signal under the control of the potential of the first node; the first tank circuit is used to maintain the potential of the first node; the third node control circuit controls the potential of the third isolation node and the potential of the fourth node; the second node control circuit controls the potential of the second isolation node.

Abstract: A high density edge connector that provides robust operation and good signal integrity. The connector is configurable to have sections tailored for high speed signals, which may be differential, or low speed signals. The connector may be assembled from signal terminals and ground terminals, either of which may be mounted within an insulative housing of the connector at any location along a row aligned with a slot of a mating interface. Shield members or lossy members may optionally be included for high speed segments, either or both of which may be electrically coupled to the ground terminals. Insertion and retention force may be limited, despite a dense array of contacts pressing on a card inserted into the connector by shaping the portions of the signal or ground contacts that act as beams generating that force. Such force may be limited with twists in the beams and/or splitting the beam portions.

Abstract: Embodiments generate effective mutation directions for fuzzing by using an abstract interpretation engine that for each of a set of input variables determines whether, for an input value range, a source code comprises a potential bug. The abstract interpretation engine generates a list of potential bugs that is provided to a machine learning engine (e.g., a reinforcement learning engine) that, iteratively for each potential bug, generates a learned input value range that is narrower than the input value range. The learned input value range is provided to the abstract interpretation engine, which updates the input value range, and to a fuzzer, which limits a search space for generating a set of seeds that is used to identify bugs in the source code.

Abstract: According to some aspects of the present disclosure, power modules having current sensing circuits, and corresponding sensing methods, are disclosed. Example power modules include a printed circuit board (PCB) having a PCB trace, a first sense terminal coupled to the PCB trace at a first location, and a second sense terminal coupled to the PCB trace at a second location such that a resistance between the first and second sense terminals is defined by a resistance of the PCB trace between the first location and the second location. The power module further comprises a control coupled to the first sense terminal and the second sense terminal, the control adapted to measure a voltage between the first sense terminal and the second sense terminal and determine a current through the PCB trace based on the measured voltage and the resistance between the first sense terminal and the second sense terminal.

Abstract: A high density edge connector that provides robust operation and good signal integrity. The connector is configurable to have sections tailored for high speed signals, which may be differential, or low speed signals. The connector may be assembled from signal terminals and ground terminals, either of which may be mounted within an insulative housing of the connector at any location along a row aligned with a slot of a mating interface. Shield members or lossy members may optionally be included for high speed segments, either or both of which may be electrically coupled to the ground terminals. Insertion and retention force may be limited, despite a dense array of contacts pressing on a card inserted into the connector by shaping the portions of the signal or ground contacts that act as beams generating that force. Such force may be limited with twists in the beams and/or splitting the beam portions.

Abstract: The present disclosure provides a method, apparatus, device and computer-readable storage medium for guiding symbolic execution. According to embodiments of the present disclosure, it is possible to determine the specific code region of the program, and obtain the program loop output of the program corresponding to the specific code region of the program by using the program inverse analysis method, so that it is possible to obtain the program loop input of the program corresponding to the specific code region by using the program loop predictor according to the program loop output of the program. In this way, the obtained program loop input of the program corresponding to the specific code region may be used to guide the symbolic execution to filter out impossible execution paths and jump out of the program code and reach the specific code region, thereby improving the reliability of the symbolic execution.

Abstract: A silicone block copolymer having an aminofunctional endblocking group is useful in personal care applications, particularly hair care. A process for making the silicone block copolymer is also described.

Abstract: A Crosslinked Aminosilicone Polymer is useful in personal care applications, particularly hair care or textile treatment. A process for making the Crosslinked Aminosilicone Polymer is also described.

Abstract: According to some aspects of the present disclosure, power modules having current sensing circuits, and corresponding sensing methods, are disclosed. Example power modules include a printed circuit board (PCB) having a PCB trace, a first sense terminal coupled to the PCB trace at a first location, and a second sense terminal coupled to the PCB trace at a second location such that a resistance between the first and second sense terminals is defined by a resistance of the PCB trace between the first location and the second location. The power module further comprises a control coupled to the first sense terminal and the second sense terminal, the control adapted to measure a voltage between the first sense terminal and the second sense terminal and determine a current through the PCB trace based on the measured voltage and the resistance between the first sense terminal and the second sense terminal.

Abstract: The present disclosure provides a method, apparatus, device and computer-readable storage medium for guiding symbolic execution. According to embodiments of the present disclosure, it is possible to determine the specific code region of the program, and obtain the program loop output of the program corresponding to the specific code region of the program by using the program inverse analysis method, so that it is possible to obtain the program loop input of the program corresponding to the specific code region by using the program loop predictor according to the program loop output of the program. In this way, the obtained program loop input of the program corresponding to the specific code region may be used to guide the symbolic execution to filter out impossible execution paths and jump out of the program code and reach the specific code region, thereby improving the reliability of the symbolic execution.

Abstract: According to some aspects of the present disclosure, power modules having current sensing circuits, and corresponding sensing methods, are disclosed. Example power modules include a printed circuit board (PCB) having a PCB trace, an output choke inductor, and an output pin. The power module also includes a first sense terminal coupled to the PCB trace, a second sense terminal coupled to the output pin such that a resistance between the first sense terminal and the second sense terminal is defined by a resistance of the PCB trace and a resistance of the output pin, and a control coupled to the first sense terminal and the second sense terminal. The control is adapted to measure a voltage between the sense terminals, and to determine a current through the PCB trace and the output pin based on the measured voltage and the resistance between the sense terminals.

Abstract: A silicone block copolymer having an aminofunctional endblocking group is useful in personal care applications, particularly hair care. A process for making the silicone block copolymer is also described.

Abstract: A method, apparatus, and system for using a verification substitute header file in a verification of an application that uses Protocol Buffers (Protobuf) for data communication is disclosed. The operations comprise: obtaining one or more Protobuf message types from a Protobuf definition file; generating the verification substitute header file based on the Protobuf message types; adding one or more verification stubs to the verification substitute header file; including the verification substitute header file in source code of the application; and performing the verification of the application including the verification substitute header file.

Abstract: According to some aspects of the present disclosure, power modules having current sensing circuits, and corresponding sensing methods, are disclosed. Example power modules include a printed circuit board (PCB) having a PCB trace, an output choke inductor, and an output pin. The power module also includes a first sense terminal coupled to the PCB trace, a second sense terminal coupled to the output pin such that a resistance between the first sense terminal and the second sense terminal is defined by a resistance of the PCB trace and a resistance of the output pin, and a control coupled to the first sense terminal and the second sense terminal. The control is adapted to measure a voltage between the sense terminals, and to determine a current through the PCB trace and the output pin based on the measured voltage and the resistance between the sense terminals.

Abstract: An aminosiloxane polymer includes at least one Si-bonded functional group. This functional group has the chemical formula: —(R—NH)aR1—N(R2)—CH(—COOH)(—R3—C(?O)—NR42) (I). In Formula (I), R is a C1-C10 hydrocarbon group. R1 is a C1-C10 hydrocarbon group. R2 is a hydrogen atom, a C1-C12 hydrocarbon group, or a phenyl group. R3 is a C1-C4 hydrocarbon group. Each R4 is independently a hydrogen atom, a C1-C12 hydrocarbon group, a C1-C12 hydroxyl-hydrocarbon group, or a phenyl group. Moreover, “a” is 0 or 1, such that (R—NH) is optional. The aminosiloxane polymer can be formed using the method of this disclosure and can be formed in, and/or included in, the emulsion of this disclosure.