We consider a subclass of quantum Turing machines (QTM), named stationary rotational quantum Turing machine (SR-QTM), which halts deterministically and has deterministic tape head position. A quantum state transition ...We consider a subclass of quantum Turing machines (QTM), named stationary rotational quantum Turing machine (SR-QTM), which halts deterministically and has deterministic tape head position. A quantum state transition diagram (QSTD) is proposed to describe SR-QTM. With QSTD, we construct a SR-QTM which is universal for all near-trivial transformations. This indicates there exists a QTM which is universal for the above subclass. Finally we show that SR-QTM is computational equivalent with ordinary QTM in the bounded error setting. It can be seen that SR-QTMs have deterministic tape head position and halt deterministically, and thus the halting scheme problem will not exist for this class of QTMs.展开更多
This paper proposed a novel model-based feature representation method to characterize human walking properties for individual recognition by gait. First, a new spatial point reconstruction approach is proposed to reco...This paper proposed a novel model-based feature representation method to characterize human walking properties for individual recognition by gait. First, a new spatial point reconstruction approach is proposed to recover the coordinates of 3D points from 2D images by the related coordinate conversion factor (CCF). The images are captured by a monocular camera. Second, the human body is represented by a connected three-stick model. Then the parameters of the body model are recovered by the method of projective geometry using the related CCF. Finally, the gait feature composed of those parameters is defined, and it is proved by experiments that those features can partially avoid the influence of viewing angles between the optical axis of the camera and walking direction of the subject.展开更多
基金supported by the National Natural Science Foundation of China (Grant No.61173157)the Strategy Pilot Project of Chinese Academy of Sciences (Grant No.project XDA06010702)IIE’s Cryptography Research Project
文摘We consider a subclass of quantum Turing machines (QTM), named stationary rotational quantum Turing machine (SR-QTM), which halts deterministically and has deterministic tape head position. A quantum state transition diagram (QSTD) is proposed to describe SR-QTM. With QSTD, we construct a SR-QTM which is universal for all near-trivial transformations. This indicates there exists a QTM which is universal for the above subclass. Finally we show that SR-QTM is computational equivalent with ordinary QTM in the bounded error setting. It can be seen that SR-QTMs have deterministic tape head position and halt deterministically, and thus the halting scheme problem will not exist for this class of QTMs.
基金the National Natural Science Foundation of China (No. 60675024)
文摘This paper proposed a novel model-based feature representation method to characterize human walking properties for individual recognition by gait. First, a new spatial point reconstruction approach is proposed to recover the coordinates of 3D points from 2D images by the related coordinate conversion factor (CCF). The images are captured by a monocular camera. Second, the human body is represented by a connected three-stick model. Then the parameters of the body model are recovered by the method of projective geometry using the related CCF. Finally, the gait feature composed of those parameters is defined, and it is proved by experiments that those features can partially avoid the influence of viewing angles between the optical axis of the camera and walking direction of the subject.