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: 20220393305
    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.
    Type: Application
    Filed: August 12, 2022
    Publication date: December 8, 2022
    Inventors: Yongsheng GUO, Jiarui TIAN, Cong CHENG, Na LIU, Chuying OUYANG, Yuanyuan LAN, Shuojian SU
  • Publication number: 20220359951
    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.
    Type: Application
    Filed: July 12, 2022
    Publication date: November 10, 2022
    Inventors: Yongsheng GUO, Jiarui Tian, Cong Cheng, Na Liu, Chuying Ouyang, Yuanyuan Lan, Shuojian Su
  • Publication number: 20220352600
    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.
    Type: Application
    Filed: July 15, 2022
    Publication date: November 3, 2022
    Inventors: Yongsheng GUO, Jiarui TIAN, Cong CHENG, Na LIU, Chuying OUYANG, Yuanyuan LAN, Shuojian SU
  • Publication number: 20220334716
    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.
    Type: Application
    Filed: July 1, 2022
    Publication date: October 20, 2022
    Applicant: Tencent Technology (Shenzhen) Company Limited
    Inventors: Dancheng ZOU, Shengyu WU, Cong TIAN, Meng QIU, Jingjing HE, Boyi LIU, Weijian CUI
  • Publication number: 20220080313
    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.
    Type: Application
    Filed: November 24, 2021
    Publication date: March 17, 2022
    Applicant: Tencent Technology (Shenzhen) Company Limited
    Inventors: Shengyu WU, Cong TIAN, Meng QIU, Jingjing HE, Dancheng ZOU, Boyi LIU, Weijian CUI, Yi LI
  • Publication number: 20210369054
    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.
    Type: Application
    Filed: November 8, 2019
    Publication date: December 2, 2021
    Inventors: Zhenzhen CAI, Tao KONG, Cong TIAN, Jingwei TAN
  • Patent number: 11172872
    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.
    Type: Grant
    Filed: September 8, 2017
    Date of Patent: November 16, 2021
    Assignee: KONINKLIJKE PHILIPS N.V.
    Inventors: Cong Tian, Bin Yin, Lin Li, Mingdong Li, Mian Ding
  • Publication number: 20210291054
    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.
    Type: Application
    Filed: June 7, 2021
    Publication date: September 23, 2021
    Inventors: Cong TIAN, Meng QIU, Jiaqi PAN, Weijian CUI, Shuting ZHANG
  • Publication number: 20210294472
    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.
    Type: Application
    Filed: May 27, 2021
    Publication date: September 23, 2021
    Inventors: Jiaqi PAN, Meng QIU, Shuting ZHANG, Weijian CUI, Cong TIAN
  • Patent number: 10897484
    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.
    Type: Grant
    Filed: May 29, 2018
    Date of Patent: January 19, 2021
    Assignee: XIDIAN UNIVERSITY
    Inventors: Cong Tian, Chu Chen, Zhenhua Duan
  • Publication number: 20200384171
    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.
    Type: Application
    Filed: August 24, 2018
    Publication date: December 10, 2020
    Applicant: Koninklijke Philips N.V.
    Inventor: Cong TIAN
  • Publication number: 20200289047
    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.
    Type: Application
    Filed: March 21, 2017
    Publication date: September 17, 2020
    Inventors: YU QI, CONG TIAN, YU QIANG WU, ZHONGCHI LUO, GUANGLI WEN, BIN YIN, LIN LI
  • Patent number: 10503628
    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.
    Type: Grant
    Filed: March 6, 2018
    Date of Patent: December 10, 2019
    Assignee: XIDIAN UNIVERSITY
    Inventors: Cong Tian, Zhao Duan, Zhenhua Duan
  • Publication number: 20190336098
    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.
    Type: Application
    Filed: August 1, 2017
    Publication date: November 7, 2019
    Inventors: Jingping Xu, Cong Tian, Lin Li
  • Publication number: 20190306193
    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.
    Type: Application
    Filed: May 29, 2018
    Publication date: October 3, 2019
    Applicant: Xidian University
    Inventors: Cong Tian, Chu Chen, Zhenhua Duan
  • Publication number: 20190216386
    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.
    Type: Application
    Filed: September 8, 2017
    Publication date: July 18, 2019
    Inventors: CONG TIAN, BIN YIN, LIN LI, MINGDONG LI, MIAN DING
  • Publication number: 20190095314
    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.
    Type: Application
    Filed: March 6, 2018
    Publication date: March 28, 2019
    Applicant: Xidian University
    Inventors: Cong Tian, Zhao Duan, Zhenhua Duan
  • Publication number: 20190053521
    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.
    Type: Application
    Filed: November 4, 2016
    Publication date: February 21, 2019
    Inventors: CONG TIAN, SHUXIAO ZHENG, DONGHAI YU, YANYAN WANG
  • Publication number: 20180353121
    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.
    Type: Application
    Filed: November 29, 2016
    Publication date: December 13, 2018
    Inventors: CONG TIAN, LIN LI, YU QIANG WU, GUANG LI WEN, XIAOJUN LOU