Abstract: A user verifying method comprises: receiving an enrollment request signal including biometric information for enrollment from a user terminal; extracting feature information from the biometric information; embedding the feature information extracted from the biometric information; generating a projection parameter and a decision hyperplane parameter based on the embedding result; storing the projection parameter and the decision hyperplane parameter; generating a first template by applying a cryptographic hashing function to a pre-generated first key; receiving a verification request signal including biometric information from the user terminal; extracting feature information from the biometric information; embedding the feature information extracted from the biometric information; generating a second key corresponding to the first key based on the embedding result; generating a second template by applying the cryptographic hashing function to the second key; comparing the first template with the second templ

Abstract: A personal information security system and a method thereof ensuring irreversibility and similarity are proposed. According to specific exemplary embodiments of the present technology, the personal information security system includes a feature vector extraction unit for extracting a feature vector from user modality information, an Absolute Value Equations Transform (AVET) unit for performing absolute value equations transform on the feature vector, and a transformed-template generation unit for generating a transformed template (TT) from which the feature vector is unable to be predicted reversely from a result of the AVET.

Abstract: Methods and systems directed to collecting, processing, and analyzing stool samples are disclosed herein. A stool sample may be collected from a subject using a stool collector and collected in a collection unit. The stool sample may be analyzed using a sensor. The sensor may be used to determine one or more parameters of the stool sample, e.g., for nucleic acid or protein analysis. One or more biomolecules (e.g., proteins, nucleic acids) may be extracted or isolated from the stool sample using the methods and systems disclosed herein.

Abstract: The purpose of the presented invention propose a spring-support mechanism for the parallel robot, and this mechanism is applied to parallel robot models to reduce the load on the actuators. The spring-support mechanism for the parallel robot are composed of: sets of rotated joints to adjust the direction of the support mechanism to match the direction of the moving frame of robot, rhombus mechanism with hinges in four vertices transform displacement of moving frame to elasticity of springs, guiding plates used to adjust the springs length so that the thrust force generated by springs is constant, set of springs is assembled parallel and fixtures for the springs.

Abstract: The purpose of the presented invention propose a spring-support mechanism for the parallel robot, and this mechanism is applied to parallel robot models to reduce the load on the actuators. The spring-support mechanism for the parallel robot are composed of: sets of rotated joints to adjust the direction of the support mechanism to match the direction of the moving frame of robot, rhombus mechanism with hinges in four vertices transform displacement of moving frame to elasticity of springs, guiding plates used to adjust the springs length so that the thrust force generated by springs is constant, set of springs is assembled parallel and fixtures for the springs.

Abstract: A computer-implemented method for automatically identifying a faulty behavior of a control system. The method includes receiving, at a test processor, a description of the faulty behavior. The method also includes selecting, using the test processor, a goal state based on a heuristic decision. The method also includes selecting, using the test processor, a selected system state. The method also includes selecting, using the test processor, a selected variable to the control system based on the goal state. The method also includes loading, from a memory, a control model of the control system. The method also includes performing, using the test processor, a simulation of the control model using the selected variable and the selected system state as parameters of the simulation. The method also includes determining, using the test processor, whether the faulty behavior was observed based on the simulation.

Abstract: A computer-implemented method for automatically identifying a faulty behavior of a control system. The method includes receiving, at a test processor, a description of the faulty behavior. The method also includes selecting, using the test processor, a goal state based on a heuristic decision. The method also includes selecting, using the test processor, a selected system state. The method also includes selecting, using the test processor, a selected variable to the control system based on the goal state. The method also includes loading, from a memory, a control model of the control system. The method also includes performing, using the test processor, a simulation of the control model using the selected variable and the selected system state as parameters of the simulation. The method also includes determining, using the test processor, whether the faulty behavior was observed based on the simulation.