Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223553
Yu Xue, Hua Li, Yi Xing, Xinming Ye
The aim of property based testing is to validate an IUT with respect to a target property, to observe whether the property is violated or not. Many distributed systems have a natural feature-Interactive property. But most distributed systems face state explosion when the test work is analyzed and developed with a formal model. In order to avoid such problems, this paper presents a testing method that is Interactive property based testing, which can focus on the interesting features of a system. Petri net is employed to model the IUT, so we can make use of its reachability graph to generate the executable test sequence. Furthermore a test sequence generation algorithm is proposed and analyzed. We also give a verdict method. The feasibility of the approach is illustrated on a BRP case study.
{"title":"Research on the interactive property testing based on Petri net","authors":"Yu Xue, Hua Li, Yi Xing, Xinming Ye","doi":"10.1109/ICSAI.2012.6223553","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223553","url":null,"abstract":"The aim of property based testing is to validate an IUT with respect to a target property, to observe whether the property is violated or not. Many distributed systems have a natural feature-Interactive property. But most distributed systems face state explosion when the test work is analyzed and developed with a formal model. In order to avoid such problems, this paper presents a testing method that is Interactive property based testing, which can focus on the interesting features of a system. Petri net is employed to model the IUT, so we can make use of its reachability graph to generate the executable test sequence. Furthermore a test sequence generation algorithm is proposed and analyzed. We also give a verdict method. The feasibility of the approach is illustrated on a BRP case study.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"192 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120898436","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223630
Hag-Tae Kim, D. Hong, K. Chong
For solutions to point kinetic equations in nuclear dynamics, various analytical methods have been developed. Nevertheless, sometimes complex aspects of problems make it difficult to apply analytical methods to point kinetic equations. In addition, owing to the stiffness and need for small time steps of point kinetic equations, it is hard to obtain accurate results using analytical methods. As an alternative to these problems, the numerical methods can be used for solutions to point kinetics equations instead of analytical methods. In this work, a numerical solution of point kinetic equations using an inherently large sampling interval is proposed and analyzed. To implement this method, we make use of a useful technique called the Adomian Decomposition Method. Finally, in order to showcase the increased performance, the results of the proposed method are compared to exact values.
{"title":"A numerical solution of point kinetics equations using the Adomian Decomposition Method","authors":"Hag-Tae Kim, D. Hong, K. Chong","doi":"10.1109/ICSAI.2012.6223630","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223630","url":null,"abstract":"For solutions to point kinetic equations in nuclear dynamics, various analytical methods have been developed. Nevertheless, sometimes complex aspects of problems make it difficult to apply analytical methods to point kinetic equations. In addition, owing to the stiffness and need for small time steps of point kinetic equations, it is hard to obtain accurate results using analytical methods. As an alternative to these problems, the numerical methods can be used for solutions to point kinetics equations instead of analytical methods. In this work, a numerical solution of point kinetic equations using an inherently large sampling interval is proposed and analyzed. To implement this method, we make use of a useful technique called the Adomian Decomposition Method. Finally, in order to showcase the increased performance, the results of the proposed method are compared to exact values.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"121 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116077401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223369
S. Jang, Sun Jung
Yeon-Cheon dam was built in Han-Tan river in south Korea in May 1985. It was originally constructed for the purpose of small hydro power made by concrete and partly earth. And it was located cross the mid stream of Han-Tan river having hilly topographic characteristic. Therefore it has run-of-river type reservoir with very short detention time and small storage volume. Yeon-Cheon dam was destroyed in 1st Aug. 1999 due to extremely heavy rain, and the dam failure yielded the disaster downstream area form dam site. But there is no accurate information and records about failure time and duration because it happened in the early dawn, so the public arguments are growing up to now. This case study is to predict the dam failure time and simulation model is established as an un-coupled type which are runoff model, dam breach model and flood routing model. The uncoupled model for prediction dam failure time include HEC-HMS model for runoff rate at dam site, DAMBRK module of FLDWAV model for flow rate through dam failure part, and unsteady simulation model called of HEC-RAS model for flood routing in the downstream reach from dam. Simulation results show that peak runoff rate at dam is 10,324 m3/sec total runoff volume is 1,264million m3 and peak time is 05:00 1st Aug. 1999. Where total rainfall during 4 days is 861.9mm and peak runoff rate of 10,324 m3/sec is exceeding in the design return period of 200 years of Han-Tan river. Also the simulated peak discharge through dam including gate over flowed is 12,054.8 m3/sec and dam failure time is estimated at 02:45 until 03:10 1st Aug. Dam failure time can be determined by comparing the simulated results of observed water surface stage.
{"title":"Flood routing simulation for dam failure time estimation","authors":"S. Jang, Sun Jung","doi":"10.1109/ICSAI.2012.6223369","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223369","url":null,"abstract":"Yeon-Cheon dam was built in Han-Tan river in south Korea in May 1985. It was originally constructed for the purpose of small hydro power made by concrete and partly earth. And it was located cross the mid stream of Han-Tan river having hilly topographic characteristic. Therefore it has run-of-river type reservoir with very short detention time and small storage volume. Yeon-Cheon dam was destroyed in 1st Aug. 1999 due to extremely heavy rain, and the dam failure yielded the disaster downstream area form dam site. But there is no accurate information and records about failure time and duration because it happened in the early dawn, so the public arguments are growing up to now. This case study is to predict the dam failure time and simulation model is established as an un-coupled type which are runoff model, dam breach model and flood routing model. The uncoupled model for prediction dam failure time include HEC-HMS model for runoff rate at dam site, DAMBRK module of FLDWAV model for flow rate through dam failure part, and unsteady simulation model called of HEC-RAS model for flood routing in the downstream reach from dam. Simulation results show that peak runoff rate at dam is 10,324 m3/sec total runoff volume is 1,264million m3 and peak time is 05:00 1st Aug. 1999. Where total rainfall during 4 days is 861.9mm and peak runoff rate of 10,324 m3/sec is exceeding in the design return period of 200 years of Han-Tan river. Also the simulated peak discharge through dam including gate over flowed is 12,054.8 m3/sec and dam failure time is estimated at 02:45 until 03:10 1st Aug. Dam failure time can be determined by comparing the simulated results of observed water surface stage.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"210 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115272995","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223122
Yangyang Liu, Xuanjing Shen, Haipeng Chen
Ant colony algorithm has been successfully applied to the Traveling Salesman Problem (TSP). But it has some disadvantages, such as easily plunging into local minimum, slow convergence speed and so on. In order to find the optimal path accurately and rapidly, an improved ant colony algorithm is proposed. The improved algorithm strengthens the consideration of the common information to induce ant colony to the local search and reduce the redundant operations. Moreover, improved algorithm uses adaptively adjusting pheromone decay parameter mechanism to adjust convergence rate and ensure the global search ability. Experiments show that the algorithm has a remarkable quality of convergent precision and the convergent velocity.
{"title":"An adaptive ant colony algorithm based on common information for solving the Traveling Salesman Problem","authors":"Yangyang Liu, Xuanjing Shen, Haipeng Chen","doi":"10.1109/ICSAI.2012.6223122","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223122","url":null,"abstract":"Ant colony algorithm has been successfully applied to the Traveling Salesman Problem (TSP). But it has some disadvantages, such as easily plunging into local minimum, slow convergence speed and so on. In order to find the optimal path accurately and rapidly, an improved ant colony algorithm is proposed. The improved algorithm strengthens the consideration of the common information to induce ant colony to the local search and reduce the redundant operations. Moreover, improved algorithm uses adaptively adjusting pheromone decay parameter mechanism to adjust convergence rate and ensure the global search ability. Experiments show that the algorithm has a remarkable quality of convergent precision and the convergent velocity.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115298008","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223436
Lianming Sun, Yuanming Ding, Yujin Yang
Nonlinear system identification based on local model networks is considered for the nonlinear process where a nonlinear element is followed by linear dynamics. The local model is chosen as a linear model, or a simple block oriented nonlinear model, whose orders are determined through a criterion function with respect to both the approximation accuracy and model simplicity. The weight of every local model varies with the operating point of the present process state, and the parameters of local models are estimated through some simple parameter estimation algorithms. The algorithm can work even under the situation where little information on nonlinearity is available, and it can be implemented easily in practical systems. Moreover, its application to the processes with saturation and backlash is investigated to show the effective of the proposed algorithm.
{"title":"Identification algorithm for a class of nonlinear systems","authors":"Lianming Sun, Yuanming Ding, Yujin Yang","doi":"10.1109/ICSAI.2012.6223436","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223436","url":null,"abstract":"Nonlinear system identification based on local model networks is considered for the nonlinear process where a nonlinear element is followed by linear dynamics. The local model is chosen as a linear model, or a simple block oriented nonlinear model, whose orders are determined through a criterion function with respect to both the approximation accuracy and model simplicity. The weight of every local model varies with the operating point of the present process state, and the parameters of local models are estimated through some simple parameter estimation algorithms. The algorithm can work even under the situation where little information on nonlinearity is available, and it can be implemented easily in practical systems. Moreover, its application to the processes with saturation and backlash is investigated to show the effective of the proposed algorithm.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115300712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223311
Xiaoya Zuo, Ding Wang, Rugui Yao
A new method of RAKE reception for Impulse Radio Ultra Wideband (IR-UWB) systems in high mobile environments is described. The conventional multipath diversity reception method for UWB is RAKE receiver, which is usually applied under static environments. In high mobile environments, due to extremely wide bandwidth of UWB signals, frequency components are shifted differently and this makes the pulse-width change in the time domain. Aiming at block-transmission UWB systems, pilot symbols are inserted to estimate the scale change factor. Template signal for RAKE receiver is resampled to compensate the Doppler effect. Simulation results demonstrate that this method could eliminate the Doppler effect and improve the bit error rate (BER) performance. Simulation results also show that the BER performance is not only related to relative velocity, but also related to block length and pilot symbol period. When pilot symbol period increases, the performance degrades. So in the practise block structure should be well designed according to the mobile environments.
{"title":"RAKE reception for IR-UWB systems in high mobile environments","authors":"Xiaoya Zuo, Ding Wang, Rugui Yao","doi":"10.1109/ICSAI.2012.6223311","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223311","url":null,"abstract":"A new method of RAKE reception for Impulse Radio Ultra Wideband (IR-UWB) systems in high mobile environments is described. The conventional multipath diversity reception method for UWB is RAKE receiver, which is usually applied under static environments. In high mobile environments, due to extremely wide bandwidth of UWB signals, frequency components are shifted differently and this makes the pulse-width change in the time domain. Aiming at block-transmission UWB systems, pilot symbols are inserted to estimate the scale change factor. Template signal for RAKE receiver is resampled to compensate the Doppler effect. Simulation results demonstrate that this method could eliminate the Doppler effect and improve the bit error rate (BER) performance. Simulation results also show that the BER performance is not only related to relative velocity, but also related to block length and pilot symbol period. When pilot symbol period increases, the performance degrades. So in the practise block structure should be well designed according to the mobile environments.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121690363","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223285
Chunhua Zhu, Naiqi Shen, Tao Wang, Xiao-Yi Huang, D. Chen
This paper introduced the extension method and established a danger evaluation matter-element model based on debris flow surveying data of Miyun county. The research indicates that it is reasonable and feasible for using extension method in danger division of valley debris flow. It can reflect each factor's influence on danger of valley debris flow. This paper used simple correlation function to determine the weight, which can avoid the effect of subjective factor in practice.
{"title":"Study on danger evaluation of debris flow using extension method","authors":"Chunhua Zhu, Naiqi Shen, Tao Wang, Xiao-Yi Huang, D. Chen","doi":"10.1109/ICSAI.2012.6223285","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223285","url":null,"abstract":"This paper introduced the extension method and established a danger evaluation matter-element model based on debris flow surveying data of Miyun county. The research indicates that it is reasonable and feasible for using extension method in danger division of valley debris flow. It can reflect each factor's influence on danger of valley debris flow. This paper used simple correlation function to determine the weight, which can avoid the effect of subjective factor in practice.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121578730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223506
T. Yoshida, H. Ohwada
In this paper, we proposed the technique of judging from the abstract whether life medical literature relates to the protein interaction. More specifically,we identified the technical terms by a rule base, and created the feature vector. Then we applied the technique to the data set of BioCreative, and obtained the result which exceeds the existing technique in recall as a result.
{"title":"Using abstracts to classify life medicine papers","authors":"T. Yoshida, H. Ohwada","doi":"10.1109/ICSAI.2012.6223506","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223506","url":null,"abstract":"In this paper, we proposed the technique of judging from the abstract whether life medical literature relates to the protein interaction. More specifically,we identified the technical terms by a rule base, and created the feature vector. Then we applied the technique to the data set of BioCreative, and obtained the result which exceeds the existing technique in recall as a result.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114275702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223523
Quanhai Wang, Fang Miao
The methods based on empirical risk minimization are often applied to hydrocarbon discriminant in oil and gas exploration. But the predictive validities of these methods are not perfect with small sample data. This paper introduces a nonlinear support vector machine (SVM) based on structural risk minimization which can obtain global optimization other than local one and better generalization. The nonlinear SVM is with robust predictive performance, especially in small samples. The experimental results in small data show that the nonlinear SVM is robust and may obtain higher recognition rates. Further, the method proposed is effective in hydrocarbon detection or discriminant in reservoir prediction of carbonate rocks.
{"title":"The support vector machine and its application to hydrocarbon discriminant in oil and gas exploration","authors":"Quanhai Wang, Fang Miao","doi":"10.1109/ICSAI.2012.6223523","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223523","url":null,"abstract":"The methods based on empirical risk minimization are often applied to hydrocarbon discriminant in oil and gas exploration. But the predictive validities of these methods are not perfect with small sample data. This paper introduces a nonlinear support vector machine (SVM) based on structural risk minimization which can obtain global optimization other than local one and better generalization. The nonlinear SVM is with robust predictive performance, especially in small samples. The experimental results in small data show that the nonlinear SVM is robust and may obtain higher recognition rates. Further, the method proposed is effective in hydrocarbon detection or discriminant in reservoir prediction of carbonate rocks.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121764776","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-05-19DOI: 10.1109/ICSAI.2012.6223612
Honghai Liu, Zhen-xi Xu
The problem of sliding mode control for uncertain time-delay systems with input saturation and known external disturbance is considered. Combining T-S fuzzy model and sliding mode control method, we first establish the T-S model for the system, then an integral switching function is chosen, and a special sliding mode controller is designed such that the state trajectories can be driven onto the specified sliding surface in a finite period of time. Using linear matrix inequality and Lyapunov stability theory, we give a sufficient condition to guarantee the asymptotic stability of the sliding motion. An example is provided to illustrate the effectiveness of the proposed method.
{"title":"Sliding mode control for uncertain T-S fuzzy systems with input saturation and known external disturbance","authors":"Honghai Liu, Zhen-xi Xu","doi":"10.1109/ICSAI.2012.6223612","DOIUrl":"https://doi.org/10.1109/ICSAI.2012.6223612","url":null,"abstract":"The problem of sliding mode control for uncertain time-delay systems with input saturation and known external disturbance is considered. Combining T-S fuzzy model and sliding mode control method, we first establish the T-S model for the system, then an integral switching function is chosen, and a special sliding mode controller is designed such that the state trajectories can be driven onto the specified sliding surface in a finite period of time. Using linear matrix inequality and Lyapunov stability theory, we give a sufficient condition to guarantee the asymptotic stability of the sliding motion. An example is provided to illustrate the effectiveness of the proposed method.","PeriodicalId":164945,"journal":{"name":"2012 International Conference on Systems and Informatics (ICSAI2012)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128099094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：