Decision-making structures are important building blocks in most of the software;however, it may be difficult to verify them because there are various input conditions and several paths causing them to behave differen...
详细信息
Decision-making structures are important building blocks in most of the software;however, it may be difficult to verify them because there are various input conditions and several paths causing them to behave differently. Test oracles are reliable sources of how the software must operate. The aim of the present paper is to study the applications of Artificial Neural Networks as an automated oracle to test decision-making structures. First, the decision rules were modeled by the neural network using a training dataset generated based on the software specifications and domain expert knowledge. Next, after the neural network was applied to test a subjectregistration application, the proposed approach was evaluated using mutation testing. The accuracy of the resulted oracle is discussed as well.
Pin number or password that is used for authentication can be easily attacked. This limitation triggered the utilization of biometric for secured transactions. Biometric is unique to each individual and is reliable. A...
详细信息
ISBN:
(纸本)9781424471966
Pin number or password that is used for authentication can be easily attacked. This limitation triggered the utilization of biometric for secured transactions. Biometric is unique to each individual and is reliable. Among the types of biometric being used currently, iris is the most accurate and it remains stable throughout a person's life. However the major challenge on iris and other biometric for authentication is the intra user variability in the acquired identifiers. Iris of the same person captured at different time may differ due to the signal noise of the iris camera. Traditional cryptography method is unable to encrypt and store biometric template, then perform the matching directly. Minor changes in the bits of the feature set extracted from the iris may lead to a huge difference in the results of the encrypted feature. In our approach, an iris biometric template is secured using iris biometric and passwords. Error Correction Code, ECC is introduced to reduce the variability and noise of the iris data. Experimental results show that this approach can assure a higher security with a low false rejection or false acceptance rate. The successful iris recognition rate using this approach is up to 97%.
Divergence algorithm is a statistical segmentation approach which finds segmentation point via detection of abrupt changes without any previous information of the acoustic signal. The approach could get high match of ...
详细信息
Divergence algorithm is a statistical segmentation approach which finds segmentation point via detection of abrupt changes without any previous information of the acoustic signal. The approach could get high match of segmentation but also gives a lot of false segmentation points. This work introduced a property based on the usage of Zero Crossing Rate (ZCR) in enhancing segmentation by divergence algorithm. The work starts via optimizing divergence algorithm segmentation performance via parameters tuning. Then the proposed property based on ZCR is applied to divergence algorithm to reduce insertion points. The results of tuning divergence parameters achieved match rate of 99.4% at time tolerance of 0.09 seconds with 69% insertion rate occurrences in comparisons to reference points. The result in applying the introduced ZCR property to divergence algorithm shows that tuning of some ZCR property parameters could reduce insertion between 4% to 45%. However, it would also reduce the match rate. Nevertheless, the method could reduced insertion rate by 5.5% while maintaining match rate of 99.4%.
The aim of this review is to study the methods of steganography using the video file as a cover carrier. The steganography is the art of protecting the information through embedding data in medium carrier, for instant...
详细信息
For a purposes of reduction of driving workload, traffic accidents, and so on, autonomous vehicle systems, which can drive even though no human driver rides on, have been developed all over the world. Recently, it is ...
详细信息
ISBN:
(纸本)9781424476428
For a purposes of reduction of driving workload, traffic accidents, and so on, autonomous vehicle systems, which can drive even though no human driver rides on, have been developed all over the world. Recently, it is considered that a part of such techniques play an important roll to energy saving. To navigate the autonomous vehicle in a complex environment, it is necessary to extract static objects precisely and robustly. Moreover, about dynamic objects, it is not enough to consider its existing position, and it is considered that estimating its motion and predicting its future position are strongly demanded. In this paper, for a solution of such problems, we propose an environment perception method using a LIDAR based on Occupancy Grid Maps.
In this paper, we revisit the energy-based swing-up control for the Pendubot, a two-link underactuated planar robot with a single actuator at the base joint (shoulder). Different from previous energy-based control sol...
详细信息
In this paper, we revisit the energy-based swing-up control for the Pendubot, a two-link underactuated planar robot with a single actuator at the base joint (shoulder). Different from previous energy-based control solutions, we obtain the following results: 1) we provide a bigger control parameter region for achieving the control objective. Specifically, we present a necessary and sufficient condition for avoiding the singular points in the control law. We obtain a necessary and sufficient condition on the control parameters such that the up-down equilibrium point (at which links 1 and 2 are in the upright and downward positions, respectively) is the only undesired closed-loop equilibrium point. 2) We prove that the up-down equilibrium point is saddle (hyperbolic and unstable) via an elementary proof by using the Routh-Hurwitz criterion to show that the Jacobian matrix valued at the point has two and two eigenvalues in the open left- and right-half planes, respectively. This paper prove that the Pendubot will eventually enter the basin of attraction of any stabilizing controller for all initial conditions with the exception of a set of Lebesgue measure zero provided that these improved conditions on the control parameters are satisfied. The simulation results are provided to validate these results.
A low-voltage, low-power, wide gain-range variable gain amplifier (VGA) design has been proposed. To provide wide gain range feature, the proposed VGA utilizes a novel pseudo-exponential function. The design synthesis...
详细信息
ISBN:
(纸本)9789746724913
A low-voltage, low-power, wide gain-range variable gain amplifier (VGA) design has been proposed. To provide wide gain range feature, the proposed VGA utilizes a novel pseudo-exponential function. The design synthesis is simplified and optimized using gm=ID method which enables us to characterize transistors in any operating region based on their g m=ID and VGS relation. As the result, in CMOS 90nm technology under 1.2V supply voltage the proposed VGA has 75dB gain-range over 0.81V control voltage range, with 30MHz-184.8MHz bandwidth, and 0.72mW power consumption.
In the area of retrieving image databases, one of the promising approaches is to retrieve it by specifying image example. However, specifying a single image example is not always sufficient to get satisfactory result,...
详细信息
This paper describes a novel noninvasive method for sensing heartbeat, respiration and body-movement biosignals of a subject in bed by using ceramic piezo devices set under the legs of the bed.
ISBN:
(纸本)9781424476428
This paper describes a novel noninvasive method for sensing heartbeat, respiration and body-movement biosignals of a subject in bed by using ceramic piezo devices set under the legs of the bed.
This paper tackled the issues of different learning preferences for computerscience and Mechatronics students in a large class environment by using different active learning methodologies. Apart from implementing act...
详细信息
This paper tackled the issues of different learning preferences for computerscience and Mechatronics students in a large class environment by using different active learning methodologies. Apart from implementing active learning methods in the class, another idea present here is coupling with another course. The efforts required and the effectiveness for these methods are being presented, with this the suitable methods can be selected depending on the participants and the resources available.
暂无评论