This paper investigates the issue of testing Current Mode Logic (CML) gates. A three-bit parity checker is used as a case study. It is first shown that, as expected, the stuck-at fault model is not appropriate for tes...This paper investigates the issue of testing Current Mode Logic (CML) gates. A three-bit parity checker is used as a case study. It is first shown that, as expected, the stuck-at fault model is not appropriate for testing CML gates. It is then proved that switching the order in which inputs are applied to a gate will affect the minimum test set;this is not the case in conventional voltage mode gates. Both the circuit output and its inverse have to be monitored to reduce the size of the test set.展开更多
Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due...Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due to the limited data resources and large efforts required to collect and convert the gathered data into point estimates, reluctance is observed by the software professionals to develop the SOP. A framework is proposed to develop SOP using fuzzy logic, which requires usage data in the form of linguistics. The resulting profile is named fuzzy software operational profile （FSOP）. Based on this work, this paper proposes a generalized approach for the allocation of test cases, in which occurrence probability of operations obtained from FSOP are combined with the criticality of the operations using fuzzy inference system （FIS）. Traditional methods for the allocation of test cases do not consider the application in which software operates. This is intuitively incorrect. To solve this problem, allocation of test cases with respect to software application using the FIS model is also proposed in this paper.展开更多
Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on...Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.展开更多
Laser heating technology is a type of potential and attractive space heat flux simulation technology, which is characterized by high heating rate, controlled spatial intensity distribution and rapid response. However,...Laser heating technology is a type of potential and attractive space heat flux simulation technology, which is characterized by high heating rate, controlled spatial intensity distribution and rapid response. However, the controlled plant is nonlinear, time-varying and uncertainty when implementing the laser-based heat flux simulation. In this paper, a novel intelligent adaptive controller based on proportion-integration-differentiation (PID) type fuzzy logic is proposed to improve the performance of laser-based ground thermal test. The temperature range of thermal cycles is more than 200 K in many instances. In order to improve the adaptability of controller, output scaling factors are real time adjusted while the thermal test is underway. The initial values of scaling factors are optimized using a stochastic hybrid particle swarm optimization (H-PSO) algorithm. A validating system has been established in the laboratory. The performance of the proposed controller is evaluated through extensive experiments under different operating conditions (reference and load disturbance). The results show that the proposed adaptive controller performs remarkably better compared to the conventional PID (PID) controller and the conventional PID type fuzzy (F-PID) controller considering performance indicators of overshoot, settling time and steady state error for laser-based ground thermal test. It is a reliable tool for effective temperature control of laser-based ground thermal test. (C) 2016 Chinese Society of Aeronautics and Astronautics. Production and hosting by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license.展开更多
文摘This paper investigates the issue of testing Current Mode Logic (CML) gates. A three-bit parity checker is used as a case study. It is first shown that, as expected, the stuck-at fault model is not appropriate for testing CML gates. It is then proved that switching the order in which inputs are applied to a gate will affect the minimum test set;this is not the case in conventional voltage mode gates. Both the circuit output and its inverse have to be monitored to reduce the size of the test set.
文摘Software operational profile （SOP） is used in software reliability prediction, software quality assessment, performance analysis of software, test case allocation, determination of ＂when to stop testing,＂ etc. Due to the limited data resources and large efforts required to collect and convert the gathered data into point estimates, reluctance is observed by the software professionals to develop the SOP. A framework is proposed to develop SOP using fuzzy logic, which requires usage data in the form of linguistics. The resulting profile is named fuzzy software operational profile （FSOP）. Based on this work, this paper proposes a generalized approach for the allocation of test cases, in which occurrence probability of operations obtained from FSOP are combined with the criticality of the operations using fuzzy inference system （FIS）. Traditional methods for the allocation of test cases do not consider the application in which software operates. This is intuitively incorrect. To solve this problem, allocation of test cases with respect to software application using the FIS model is also proposed in this paper.
文摘Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extrctr is applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.
文摘Laser heating technology is a type of potential and attractive space heat flux simulation technology, which is characterized by high heating rate, controlled spatial intensity distribution and rapid response. However, the controlled plant is nonlinear, time-varying and uncertainty when implementing the laser-based heat flux simulation. In this paper, a novel intelligent adaptive controller based on proportion-integration-differentiation (PID) type fuzzy logic is proposed to improve the performance of laser-based ground thermal test. The temperature range of thermal cycles is more than 200 K in many instances. In order to improve the adaptability of controller, output scaling factors are real time adjusted while the thermal test is underway. The initial values of scaling factors are optimized using a stochastic hybrid particle swarm optimization (H-PSO) algorithm. A validating system has been established in the laboratory. The performance of the proposed controller is evaluated through extensive experiments under different operating conditions (reference and load disturbance). The results show that the proposed adaptive controller performs remarkably better compared to the conventional PID (PID) controller and the conventional PID type fuzzy (F-PID) controller considering performance indicators of overshoot, settling time and steady state error for laser-based ground thermal test. It is a reliable tool for effective temperature control of laser-based ground thermal test. (C) 2016 Chinese Society of Aeronautics and Astronautics. Production and hosting by Elsevier Ltd. This is an open access article under the CC BY-NC-ND license.
