Abstract: This application provides a separator, an electrical apparatus including the separator, and preparation methods thereof. The separator includes a coating layer containing an organic-inorganic hybrid composite compound and provides improved performance in a number of aspects, and the organic-inorganic hybrid composite compound is formed by periodically assembling, along at least one spatial direction, basic units expressed by formula I, Lx(MaCb)y.Az. This application further provides a battery and electrical device containing such separator, preparation methods thereof, organic-inorganic hybrid composite compound for improving performance of a separator.

Abstract: This application provides a separator, an electrical apparatus containing such separator, and preparation methods thereof. The separator includes a coating layer containing an organic-inorganic hybrid composite compound and provides improved performance in a number of aspects, and the organic-inorganic hybrid composite compound is formed by periodically assembling, along at least one spatial direction, basic units expressed by formula I, Lx(MaCb)y.Az. This application further provides a battery and an electrical device containing such separator, preparation methods thereof, and an organic-inorganic hybrid composite compound for improving performance of a separator.

Abstract: This application provides a separator, an electrical apparatus containing such separator, and preparation methods thereof. The separator includes a coating layer containing an organic-inorganic hybrid composite compound and provides improved performance in a number of aspects, and the organic-inorganic hybrid composite compound is formed by periodically assembling, along at least one spatial direction, basic units expressed by formula I, Lx(MaCb)y•Az. This application further provides a battery and electrical device containing such separator, preparation methods thereof, organic-inorganic hybrid composite compound for improving performance of a separator.

Abstract: An adaptive display method and apparatus for a virtual scene, an electronic device, a computer-readable storage medium, and a computer program product are provided, and the method includes: displaying a virtual scene and a plurality of buttons with different sizes; obtaining, in response to touch operations on the plurality of buttons with different sizes, touch areas corresponding to the touch operations; and updating and displaying the virtual scene, sizes of buttons included in the updated virtual scene being adapted to the touch areas corresponding to the touch operations.

Abstract: Embodiments of this disclosure disclose a virtual item control method and apparatus, a terminal, and a non-transitory storage medium, and belong to the field of computer technologies. The method includes: displaying a plurality of item icons after a press operation on a throw button is detected; controlling, in response to the press operation moving to the target item icon and a duration reaches a target duration, a virtual object to hold a target virtual item corresponding to the target item icon; controlling, in response to a movement of the press operation, the virtual object to aim at a target position; and controlling, in response to a release of the press operation, the virtual object to throw the target virtual item to the target position.

Abstract: A food processor combines steaming of food on a support, and blending. The support is rotated about the same shaft as the blender blade, to release the food on the support centrifugally so that it drops to the blender blade. This enables an automated process with optimized steaming and blending.

Abstract: A system for monitoring the fetal size of an expectant mother comprises an acoustic sensor for positioning over the belly of the expectant mother, the acoustic sensor configured to receive an acoustic signal generated by the fetal heartbeat and to generate a sensor output signal. A fetal size is determined from a sensor output signal strength. This system is based on the realization that certain acoustic signals generated by the fetal heart beat are strongly correlated with the fetus size.

Abstract: A method for controlling a virtual object to mark a virtual item is provided. The method includes: displaying a virtual environment picture, the virtual environment picture including the virtual object and the virtual item in a virtual environment; controlling the virtual object to move, in the virtual environment, into a proximity range of the virtual item; displaying a pick-up item list on the virtual environment picture, a field of the virtual item available for pick-up being displayed in the pick-up item list; and receiving a mark operation on the field of the virtual item, and marking the virtual item in the virtual environment according to the mark operation, the mark operation being an operation different from a pick-up operation.

Abstract: This application discloses a method for controlling a virtual object to drop a virtual item in a virtual environment performed at a terminal, relating to the field of computers. The method includes: displaying an icon corresponding to at least one type of virtual items possessed by a virtual object and a partial-drop region; receiving a first drag operation, the first drag operation being used for dragging target virtual items from the icon corresponding to the at least one type of virtual items to the partial-drop region, a possession quantity corresponding to the target virtual items being n, n being an integer greater than 1; dragging target virtual items from the icon corresponding to the at least one type of virtual items to; and controlling the virtual object according to the first drag operation to drop a predefined number of the n target virtual items.

Abstract: The present invention relates to the technical field of computer software analysis and discloses an RFC-directed differential testing method of certificate validations in a SSL/TLS implementations which includes: extracting rules from RFC and updating the rules, classifying the rules, further classifying consumer rules and shared rules into breakable rules and unbreakable rules, expressing the rules as variables, and generating a symbolic program; generating low-level test cases by applying the dynamic symbolic execution technique to the symbolic program; assembling high-level test cases i.e. digital certificates according to the low-level test cases; and employing the assembled digital certificates to the differential testing of the certificate validation in SSL/TLS implementations.

Abstract: A monitoring device is for monitoring breast milk consumption during breastfeeding. The monitoring devices comprises a breast stiffness monitoring unit (22) which includes a deformation sensor (30) and a force or pressure applicator (28), and a controller (24). The controller is adapted to monitor stiffness changes resulting from breast milk expression thereby to determine the breast milk consumption.

Abstract: The invention provides a fetal movement monitoring system which uses optical pattern sensing to detect fetal movements. Fetal movements provide a change in the optical path between the optical sensor and detector, such as a different proportion of amniotic fluid and fetus and/or a different contact pressure with the optical sensor arrangements. One or both of these effects may be detected based on analysis of the optical signals captured by the system.

Abstract: A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.

Abstract: A system is for determining fat and lean body tissue components of body tissue. A propagating wave is provided into the body tissue. A first set of normally directed reflections of the propagating wave is received at a first measurement site and a second set of angled reflections of the propagating wave is received from the body tissue at a second measurement site. A fat body tissue depth and optionally also a lean body tissue depth are obtained based on the times at which reflections of the first and second sets are received. This arrangement requires only two receivers in order to resolve the depth of the fat and lean body tissue constituents. The propagation paths are simplified by arranging the transceiver to direct a wave normally into the tissue.

Abstract: The present invention relates to the technical field of computer software analysis and discloses an RFC-directed differential testing method of certificate validations in a SSL/TLS implementations which includes: extracting rules from RFC and updating the rules, classifying the rules, further classifying consumer rules and shared rules into breakable rules and unbreakable rules, expressing the rules as variables, and generating a symbolic program; generating low-level test cases by applying the dynamic symbolic execution technique to the symbolic program; assembling high-level test cases i.e. digital certificates according to the low-level test cases; and employing the assembled digital certificates to the differential testing of the certificate validation in SSL/TLS implementations.

Abstract: A system for monitoring the fetal size of an expectant mother comprises an acoustic sensor for positioning over the belly of the expectant mother, the acoustic sensor configured to receive an acoustic signal generated by the fetal heartbeat and to generate a sensor output signal. A fetal size is determined from a sensor output signal strength. This system is based on the realization that certain acoustic signals generated by the fetal heart beat are strongly correlated with the fetus size.

Abstract: A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.

Abstract: The present application relates to a method of cooking cereal grains comprising a first step (S1) of subjecting an initial volume of cereal grains (3) to hot air in a vessel (2) having air temperature between 150 to 250 degrees Centrigrade for between 30 to 180 second; and a second step (S2) of subjecting the expanded cereal grains (3) to boiling water and/or steam. The second step (S2) is performed subsequent to the first step (S1) whilst the expanded cereal grains remain in the vessel (2). A device for cooking cereal grains (3) is also disclosed. The invention increases the overall volume of the cooked cereal grains compared to conventional cooking methods which results in cereal grains having a lower energy density.

Abstract: The invention provides a fetal position monitoring system, comprising an abdominal belt or a glove comprising a force and/or deformation sensor arrangement for obtaining resistance information of a plurality of local areas of the abdomen in response to an applied pressure. A data analysis processor interprets the resistance information to derive a fetal position and/or fetal size and optionally also fetal movement and an output is provided giving a representation of the fetal position and/or fetal size and optionally also fetal movement. This system provides a way of generating an output of the fetal position or size which requires minimum medical knowledge of the user, and it may be used at home.