Estimating the global position of a road vehicle without using GPS is a challenge that many scientists look forward to solving in the near future. Normally, inertial and odometry sensors are used to complement GPS mea...Estimating the global position of a road vehicle without using GPS is a challenge that many scientists look forward to solving in the near future. Normally, inertial and odometry sensors are used to complement GPS measures in an attempt to provide a means for maintaining vehicle odometry during GPS outage. Nonetheless, recent experiments have demonstrated that computer vision can also be used as a valuable source to provide what can be denoted as visual odometry. For this purpose, vehicle motion can be estimated using a non-linear, photogrametric approach based on RAndom SAmple Consensus (RANSAC). The results prove that the detection and selection of relevant feature points is a crucial factor in the global performance of the visual odometry algorithm. The key issues for further improvement are discussed in this letter.展开更多
The typical features of the coordinate and the curvature as well as the recorded time information were analyzed in the hand-written signatures.In the hand-written signature process 10 biometric features were summarize...The typical features of the coordinate and the curvature as well as the recorded time information were analyzed in the hand-written signatures.In the hand-written signature process 10 biometric features were summarized:the amount of zero speed in direction x and direction y,the amount of zero acceleration in direction x and direction y,the total time of the hand-written signatures,the total distance of the pen traveling in the hand-written process,the frequency for lifting the pen,the time for lifting the pen,the amount of the pressure higher or lower than the threshold values.The formulae of biometric features extraction were summarized.The Gauss function was used to draw the typical information from the above-mentioned biometric features,with which to establish the hidden Markov mode and to train it.The frame of double authentication was proposed by combing the signature with the digital signature.Web service technology was applied in the system to ensure the security of data transmission.The training practice indicates that the hand-written signature verification can satisfy the needs from the office automation systems.展开更多
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a...Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.展开更多
During the evolution of the global economic, high and new technology industry has become the main driver to impel the global economy growth via technological advancement, and the main means to guarantee the sustainabl...During the evolution of the global economic, high and new technology industry has become the main driver to impel the global economy growth via technological advancement, and the main means to guarantee the sustainable development of the global economy. In the view of China’s situation, this article analyzes the experiences of OECD in high and new technology industry and gives a statistics index system along with the evaluation method to estimate the development of high and new technology industry.展开更多
An effective method is introduced to compensate the effects of mutual coupling for the Estimation of Signal Parameter via Rotational Invariance Techniques (ESPRIT) direction finding algorithm in application of signal ...An effective method is introduced to compensate the effects of mutual coupling for the Estimation of Signal Parameter via Rotational Invariance Techniques (ESPRIT) direction finding algorithm in application of signal snapshot array processing.Changing the covariance matrix into a Teoplitz matrix can achieve high resolution in the Direction Of Arrive (DOA) estimation.How the mutual coupling affects the array antennas has been discussed and a new definition of mutual im- pedance has been used to characterize the mutual coupling effects between the array elements.Based on the new mutual impedance matrix,a practical method is presented to eliminate the effects of mutual coupling for ESPRIT in the single snapshot data processing.The simulation results show that, this new method not only properly reduces the effects of mutual coupling,but also maintains its steady performance even for weak signals.展开更多
The environmental monitoring dataset of Rivne region territory （Ukraine） was analyzed using remote sensing technology and statistical analysis. The article reveals approaches to anthropogenic impact specificity asse...The environmental monitoring dataset of Rivne region territory （Ukraine） was analyzed using remote sensing technology and statistical analysis. The article reveals approaches to anthropogenic impact specificity assessment based on methods of correlation analysis. The information technology to assess soil quality based on satellite images decoding was created.展开更多
The goal of this work is to perform the risks analysis of the mission NANOSATC-BR1 and NANOSATC-BR2 and then compare them linearly. The NANOSATC-BR1 and NANOSATC-BR2 are the first and the second satellite, respectivel...The goal of this work is to perform the risks analysis of the mission NANOSATC-BR1 and NANOSATC-BR2 and then compare them linearly. The NANOSATC-BR1 and NANOSATC-BR2 are the first and the second satellite, respectively. They belonged to the project NANOSATC-BR-development of CubeSats, which is performed in the facilities built by the partnership between the National Institute of Space Research and the Technological Center from Federal University of Santa Maria. The project focuses on the development of a scientific instrumentation and, simultaneously, the design development, construction, qualification and launch of a national scientific nanosatellite, in a cube shape with 100 mm of edge and near to 1.33 kg of mass, per unit （U）. The risk analysis was held to identify and minimize the project＇s risks of failure, due to its complexity, assuring the mission success, preventing extra pays and rework. The software, CubeSat Mission Design Software Tool for Risk Estimating, which uses statistical regression methods, was used. So, we were capable to measure the project＇s most critical steps assuring its success. The NANOSATC-BR1 was launched in June 19 and it is orbiting the Earth in a nominal regime and the NANOSATC-BR2 has been scheduled to be launched in 2016.展开更多
This review study was designed to map out the research trends through an intensive text analysis of 1,366 research articles （RAs） of applied linguistics during the past 40 years （from 1976 to 2015）. RAs were coded...This review study was designed to map out the research trends through an intensive text analysis of 1,366 research articles （RAs） of applied linguistics during the past 40 years （from 1976 to 2015）. RAs were coded and analyzed by four analysts to identify their content of research, research methods, and statistical procedures. It was found that there has been an increase in the number and the average length of articles. The average length has been on the rise from 8.09 pages in 1976-1985 to 14.38 during 2006-2015. The extensive review of the RAs also revealed a broad range of themes that belonged to 34 research domains. SLA, Technology 8： Language Learning, Language Teaching Methodology, Language Testing, and Psycholinguistics were the most widely researched areas. The qualitative method with 33.97% was the dominant research method in the journals. Regarding the statistical techniques, it was illustrated that descriptive statistics, Pearson correlation, ANOVA, and t-test were the most commonly used procedures in the applied linguistic RAs.展开更多
文摘Estimating the global position of a road vehicle without using GPS is a challenge that many scientists look forward to solving in the near future. Normally, inertial and odometry sensors are used to complement GPS measures in an attempt to provide a means for maintaining vehicle odometry during GPS outage. Nonetheless, recent experiments have demonstrated that computer vision can also be used as a valuable source to provide what can be denoted as visual odometry. For this purpose, vehicle motion can be estimated using a non-linear, photogrametric approach based on RAndom SAmple Consensus (RANSAC). The results prove that the detection and selection of relevant feature points is a crucial factor in the global performance of the visual odometry algorithm. The key issues for further improvement are discussed in this letter.
基金Project(03JJY3102) supported by the Natural Science Foundation of Hunan Province, China
文摘The typical features of the coordinate and the curvature as well as the recorded time information were analyzed in the hand-written signatures.In the hand-written signature process 10 biometric features were summarized:the amount of zero speed in direction x and direction y,the amount of zero acceleration in direction x and direction y,the total time of the hand-written signatures,the total distance of the pen traveling in the hand-written process,the frequency for lifting the pen,the time for lifting the pen,the amount of the pressure higher or lower than the threshold values.The formulae of biometric features extraction were summarized.The Gauss function was used to draw the typical information from the above-mentioned biometric features,with which to establish the hidden Markov mode and to train it.The frame of double authentication was proposed by combing the signature with the digital signature.Web service technology was applied in the system to ensure the security of data transmission.The training practice indicates that the hand-written signature verification can satisfy the needs from the office automation systems.
文摘Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.
文摘During the evolution of the global economic, high and new technology industry has become the main driver to impel the global economy growth via technological advancement, and the main means to guarantee the sustainable development of the global economy. In the view of China’s situation, this article analyzes the experiences of OECD in high and new technology industry and gives a statistics index system along with the evaluation method to estimate the development of high and new technology industry.
文摘An effective method is introduced to compensate the effects of mutual coupling for the Estimation of Signal Parameter via Rotational Invariance Techniques (ESPRIT) direction finding algorithm in application of signal snapshot array processing.Changing the covariance matrix into a Teoplitz matrix can achieve high resolution in the Direction Of Arrive (DOA) estimation.How the mutual coupling affects the array antennas has been discussed and a new definition of mutual im- pedance has been used to characterize the mutual coupling effects between the array elements.Based on the new mutual impedance matrix,a practical method is presented to eliminate the effects of mutual coupling for ESPRIT in the single snapshot data processing.The simulation results show that, this new method not only properly reduces the effects of mutual coupling,but also maintains its steady performance even for weak signals.
文摘The environmental monitoring dataset of Rivne region territory （Ukraine） was analyzed using remote sensing technology and statistical analysis. The article reveals approaches to anthropogenic impact specificity assessment based on methods of correlation analysis. The information technology to assess soil quality based on satellite images decoding was created.
文摘The goal of this work is to perform the risks analysis of the mission NANOSATC-BR1 and NANOSATC-BR2 and then compare them linearly. The NANOSATC-BR1 and NANOSATC-BR2 are the first and the second satellite, respectively. They belonged to the project NANOSATC-BR-development of CubeSats, which is performed in the facilities built by the partnership between the National Institute of Space Research and the Technological Center from Federal University of Santa Maria. The project focuses on the development of a scientific instrumentation and, simultaneously, the design development, construction, qualification and launch of a national scientific nanosatellite, in a cube shape with 100 mm of edge and near to 1.33 kg of mass, per unit （U）. The risk analysis was held to identify and minimize the project＇s risks of failure, due to its complexity, assuring the mission success, preventing extra pays and rework. The software, CubeSat Mission Design Software Tool for Risk Estimating, which uses statistical regression methods, was used. So, we were capable to measure the project＇s most critical steps assuring its success. The NANOSATC-BR1 was launched in June 19 and it is orbiting the Earth in a nominal regime and the NANOSATC-BR2 has been scheduled to be launched in 2016.
文摘This review study was designed to map out the research trends through an intensive text analysis of 1,366 research articles （RAs） of applied linguistics during the past 40 years （from 1976 to 2015）. RAs were coded and analyzed by four analysts to identify their content of research, research methods, and statistical procedures. It was found that there has been an increase in the number and the average length of articles. The average length has been on the rise from 8.09 pages in 1976-1985 to 14.38 during 2006-2015. The extensive review of the RAs also revealed a broad range of themes that belonged to 34 research domains. SLA, Technology 8： Language Learning, Language Teaching Methodology, Language Testing, and Psycholinguistics were the most widely researched areas. The qualitative method with 33.97% was the dominant research method in the journals. Regarding the statistical techniques, it was illustrated that descriptive statistics, Pearson correlation, ANOVA, and t-test were the most commonly used procedures in the applied linguistic RAs.
