In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in stat...In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.展开更多
The effort invested in a software project is probably one of the most important and most analyzed variables in recent years in the process of project management. The determination of the value of this variable when in...The effort invested in a software project is probably one of the most important and most analyzed variables in recent years in the process of project management. The determination of the value of this variable when initiating software projects allows us to plan adequately any forthcoming activities. As far as estimation and prediction is concerned there is still a number of unsolved problems and errors. To obtain good results it is essential to take into consideration any previous projects. Estimating the effort with a high grade of reliability is a problem which has not yet been solved and even the project manager has to deal with it since the beginning. In this study, performance of M5-Rules Algorithm, single conjunctive rule learner and decision table majority classifier are experimented for modeling of Effort Estimation of Software Projects and performance of developed models is compared with the existing algorithms namely Halstead, Walston-Felix, Bailey-Basili, Doty in terms of MAE and RMSE. The proposed techniques are run in the WEKA environment for building the model structure for software effort and the formulae of existing models are calculated in the MATLAB environment. The performance evaluation criteria are based on MAE and RMSE. The result shows that the M5-Rules have the best performance and can be used for the effort estimation of all types of software projects.展开更多
A number of mathematical modelling techniques exist which are used to measure the performance of a given system, by assessing each individual component within the system. This can be used to determine the failure freq...A number of mathematical modelling techniques exist which are used to measure the performance of a given system, by assessing each individual component within the system. This can be used to determine the failure frequency or probability of the system. Software is available to undertake the task of analysing these mathematical models after an individual or group of individuals manually create the models. The process of generating these models is time consuming and reduces the impact of the model on the system design. One way to improve this would be to generate the model automatically. In this work, the procedure to automatically construct a model, based on Petri nets, for systems undergoing a phased-mission is applied to a pressure tank system, undertaking a four phase mission.展开更多
The effects of temperature on population characteristics of Artemia parthenogenetica Gahai from the Gahai Salt Lake,Qinghai Province,China,were studied in the laboratory at a salinity of 60‰.The major conclusions are...The effects of temperature on population characteristics of Artemia parthenogenetica Gahai from the Gahai Salt Lake,Qinghai Province,China,were studied in the laboratory at a salinity of 60‰.The major conclusions are as follows:(1)It was found that the adaptive temperature for the development of brine shrimp ranged from 10℃to 39℃.The threshold temperature of development(TD)and the effective accumulative temperature(TA)for hatching were 9.94℃·d and(22.912.08)℃·d,respectively.The TD and TA for the larva were 10.33℃·d and(261.2624.1)℃·d,respectively,and for the whole generation were 10.28℃and(458.6857.60)℃·d,respectively.(2)It showed that the population’s net reproduction rate(R_(o)),the intrinsic rate of natural increase(r_(m)),the mean generation time(T),the finite rate of increase(λ),and the days for population to double(t)of the brine shrimp were determined over temperatures ranging from 19℃to 34℃by analyzing the life table and numerical model.In the temperature range of 14.3℃to 37.3℃for R_(o)>1,the optimum temperature(℃)for R_(o),rm,λ,and t were 25.8℃,29.8℃,30.5℃,and 29.02℃,respectively.The maximum values of R_(o),r_(m) andλwere 54.86 ind.,0.106138/d,and 1.1070/d,respectively.The minimum value of t was 4.73 d.The value of T was in a range of 96.77 to 16.10 d.(3)Based on the 1993-1994 and 1997 data of the water temperature in the Gahai Salt Lake,Qinghai Province,it was estimated that the number of generation of A.parthenogenetica Gahai and the number of the reproductive peak value were 2.670.34 and 4.690.43 in a year,respectively.The peak of nauplii of the first generation was on April 20 to 28.The last whole generation began on August 10.The first reproductive peak was on June 18 to 25.The last reproductive peak was on September 12 to 17.The nauplii that hatched after September 1 cannot complete the development from nauplii to adults because of insufficient habitat effective accumulative temperature.During the period from July 11 to September 20,there was a relatively high productivity of the population.In this case,doubling the population would take less than 30 d,and the intrinsic rate of natural increase was over 0.02/d.Therefore,the value of resource exploitation would be maximal during that period annually.展开更多
文摘In this paper we propose procedures to enhance testability by adding transitions of undefined states to state transition tables. In these procedures, transitions about undefined states, which are not described in state transition tables but exist in a synthesized gate level circuit, are added to a state transition table. Experimental results for MCNC benchmarks are shown.
文摘The effort invested in a software project is probably one of the most important and most analyzed variables in recent years in the process of project management. The determination of the value of this variable when initiating software projects allows us to plan adequately any forthcoming activities. As far as estimation and prediction is concerned there is still a number of unsolved problems and errors. To obtain good results it is essential to take into consideration any previous projects. Estimating the effort with a high grade of reliability is a problem which has not yet been solved and even the project manager has to deal with it since the beginning. In this study, performance of M5-Rules Algorithm, single conjunctive rule learner and decision table majority classifier are experimented for modeling of Effort Estimation of Software Projects and performance of developed models is compared with the existing algorithms namely Halstead, Walston-Felix, Bailey-Basili, Doty in terms of MAE and RMSE. The proposed techniques are run in the WEKA environment for building the model structure for software effort and the formulae of existing models are calculated in the MATLAB environment. The performance evaluation criteria are based on MAE and RMSE. The result shows that the M5-Rules have the best performance and can be used for the effort estimation of all types of software projects.
文摘A number of mathematical modelling techniques exist which are used to measure the performance of a given system, by assessing each individual component within the system. This can be used to determine the failure frequency or probability of the system. Software is available to undertake the task of analysing these mathematical models after an individual or group of individuals manually create the models. The process of generating these models is time consuming and reduces the impact of the model on the system design. One way to improve this would be to generate the model automatically. In this work, the procedure to automatically construct a model, based on Petri nets, for systems undergoing a phased-mission is applied to a pressure tank system, undertaking a four phase mission.
基金sponsored by the National Natural Science Foundation of China(Grant Nos.40573056 and 40531002)the Foundation of Open Laboratory of Saline Lakes Resources&Environment of The Ministry of Land and Resources PRC(No.KL05-10).
文摘The effects of temperature on population characteristics of Artemia parthenogenetica Gahai from the Gahai Salt Lake,Qinghai Province,China,were studied in the laboratory at a salinity of 60‰.The major conclusions are as follows:(1)It was found that the adaptive temperature for the development of brine shrimp ranged from 10℃to 39℃.The threshold temperature of development(TD)and the effective accumulative temperature(TA)for hatching were 9.94℃·d and(22.912.08)℃·d,respectively.The TD and TA for the larva were 10.33℃·d and(261.2624.1)℃·d,respectively,and for the whole generation were 10.28℃and(458.6857.60)℃·d,respectively.(2)It showed that the population’s net reproduction rate(R_(o)),the intrinsic rate of natural increase(r_(m)),the mean generation time(T),the finite rate of increase(λ),and the days for population to double(t)of the brine shrimp were determined over temperatures ranging from 19℃to 34℃by analyzing the life table and numerical model.In the temperature range of 14.3℃to 37.3℃for R_(o)>1,the optimum temperature(℃)for R_(o),rm,λ,and t were 25.8℃,29.8℃,30.5℃,and 29.02℃,respectively.The maximum values of R_(o),r_(m) andλwere 54.86 ind.,0.106138/d,and 1.1070/d,respectively.The minimum value of t was 4.73 d.The value of T was in a range of 96.77 to 16.10 d.(3)Based on the 1993-1994 and 1997 data of the water temperature in the Gahai Salt Lake,Qinghai Province,it was estimated that the number of generation of A.parthenogenetica Gahai and the number of the reproductive peak value were 2.670.34 and 4.690.43 in a year,respectively.The peak of nauplii of the first generation was on April 20 to 28.The last whole generation began on August 10.The first reproductive peak was on June 18 to 25.The last reproductive peak was on September 12 to 17.The nauplii that hatched after September 1 cannot complete the development from nauplii to adults because of insufficient habitat effective accumulative temperature.During the period from July 11 to September 20,there was a relatively high productivity of the population.In this case,doubling the population would take less than 30 d,and the intrinsic rate of natural increase was over 0.02/d.Therefore,the value of resource exploitation would be maximal during that period annually.
