Patents by Inventor CONG TIAN
CONG TIAN has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
-
Publication number: 20220393305Abstract: 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.Type: ApplicationFiled: August 12, 2022Publication date: December 8, 2022Inventors: Yongsheng GUO, Jiarui TIAN, Cong CHENG, Na LIU, Chuying OUYANG, Yuanyuan LAN, Shuojian SU
-
Publication number: 20220359951Abstract: 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.Type: ApplicationFiled: July 12, 2022Publication date: November 10, 2022Inventors: Yongsheng GUO, Jiarui Tian, Cong Cheng, Na Liu, Chuying Ouyang, Yuanyuan Lan, Shuojian Su
-
Publication number: 20220352600Abstract: 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.Type: ApplicationFiled: July 15, 2022Publication date: November 3, 2022Inventors: Yongsheng GUO, Jiarui TIAN, Cong CHENG, Na LIU, Chuying OUYANG, Yuanyuan LAN, Shuojian SU
-
Publication number: 20220334716Abstract: 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.Type: ApplicationFiled: July 1, 2022Publication date: October 20, 2022Applicant: Tencent Technology (Shenzhen) Company LimitedInventors: Dancheng ZOU, Shengyu WU, Cong TIAN, Meng QIU, Jingjing HE, Boyi LIU, Weijian CUI
-
Publication number: 20220080313Abstract: 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.Type: ApplicationFiled: November 24, 2021Publication date: March 17, 2022Applicant: Tencent Technology (Shenzhen) Company LimitedInventors: Shengyu WU, Cong TIAN, Meng QIU, Jingjing HE, Dancheng ZOU, Boyi LIU, Weijian CUI, Yi LI
-
Publication number: 20210369054Abstract: 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.Type: ApplicationFiled: November 8, 2019Publication date: December 2, 2021Inventors: Zhenzhen CAI, Tao KONG, Cong TIAN, Jingwei TAN
-
Patent number: 11172872Abstract: 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.Type: GrantFiled: September 8, 2017Date of Patent: November 16, 2021Assignee: KONINKLIJKE PHILIPS N.V.Inventors: Cong Tian, Bin Yin, Lin Li, Mingdong Li, Mian Ding
-
Publication number: 20210291054Abstract: 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.Type: ApplicationFiled: June 7, 2021Publication date: September 23, 2021Inventors: Cong TIAN, Meng QIU, Jiaqi PAN, Weijian CUI, Shuting ZHANG
-
Publication number: 20210294472Abstract: 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.Type: ApplicationFiled: May 27, 2021Publication date: September 23, 2021Inventors: Jiaqi PAN, Meng QIU, Shuting ZHANG, Weijian CUI, Cong TIAN
-
Patent number: 10897484Abstract: 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.Type: GrantFiled: May 29, 2018Date of Patent: January 19, 2021Assignee: XIDIAN UNIVERSITYInventors: Cong Tian, Chu Chen, Zhenhua Duan
-
Publication number: 20200384171Abstract: 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.Type: ApplicationFiled: August 24, 2018Publication date: December 10, 2020Applicant: Koninklijke Philips N.V.Inventor: Cong TIAN
-
Publication number: 20200289047Abstract: 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.Type: ApplicationFiled: March 21, 2017Publication date: September 17, 2020Inventors: YU QI, CONG TIAN, YU QIANG WU, ZHONGCHI LUO, GUANGLI WEN, BIN YIN, LIN LI
-
Patent number: 10503628Abstract: 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.Type: GrantFiled: March 6, 2018Date of Patent: December 10, 2019Assignee: XIDIAN UNIVERSITYInventors: Cong Tian, Zhao Duan, Zhenhua Duan
-
Publication number: 20190336098Abstract: 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.Type: ApplicationFiled: August 1, 2017Publication date: November 7, 2019Inventors: Jingping Xu, Cong Tian, Lin Li
-
Publication number: 20190306193Abstract: 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.Type: ApplicationFiled: May 29, 2018Publication date: October 3, 2019Applicant: Xidian UniversityInventors: Cong Tian, Chu Chen, Zhenhua Duan
-
Publication number: 20190216386Abstract: 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.Type: ApplicationFiled: September 8, 2017Publication date: July 18, 2019Inventors: CONG TIAN, BIN YIN, LIN LI, MINGDONG LI, MIAN DING
-
Publication number: 20190095314Abstract: 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.Type: ApplicationFiled: March 6, 2018Publication date: March 28, 2019Applicant: Xidian UniversityInventors: Cong Tian, Zhao Duan, Zhenhua Duan
-
Publication number: 20190053521Abstract: 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.Type: ApplicationFiled: November 4, 2016Publication date: February 21, 2019Inventors: CONG TIAN, SHUXIAO ZHENG, DONGHAI YU, YANYAN WANG
-
Publication number: 20180353121Abstract: 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.Type: ApplicationFiled: November 29, 2016Publication date: December 13, 2018Inventors: CONG TIAN, LIN LI, YU QIANG WU, GUANG LI WEN, XIAOJUN LOU