发布求助
文献互助 智能选刊 最新文献

2012 International Conference on Systems and Informatics (ICSAI2012)最新文献

筛选
英文 中文
Research on the interactive property testing based on Petri net 基于Petri网的交互性能测试研究
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223553
Yu Xue, Hua Li, Yi Xing, Xinming Ye
{"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}
引用次数: 0
A numerical solution of point kinetics equations using the Adomian Decomposition Method 用Adomian分解法求解点动力学方程
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223630
Hag-Tae Kim, D. Hong, K. Chong
{"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}
引用次数: 2
Flood routing simulation for dam failure time estimation 基于溃坝时间估计的洪水路径模拟
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223369
S. Jang, Sun Jung
{"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}
引用次数: 0
An adaptive ant colony algorithm based on common information for solving the Traveling Salesman Problem 基于公共信息的自适应蚁群算法求解旅行商问题
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223122
Yangyang Liu, Xuanjing Shen, Haipeng Chen
{"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}
引用次数: 16
Identification algorithm for a class of nonlinear systems 一类非线性系统的辨识算法
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223436
Lianming Sun, Yuanming Ding, Yujin Yang
{"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}
引用次数: 0
RAKE reception for IR-UWB systems in high mobile environments 高移动环境下IR-UWB系统的RAKE接收
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223311
Xiaoya Zuo, Ding Wang, Rugui Yao
{"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}
引用次数: 5
Study on danger evaluation of debris flow using extension method 基于可拓法的泥石流危险性评价研究
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223285
Chunhua Zhu, Naiqi Shen, Tao Wang, Xiao-Yi Huang, D. Chen
{"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}
引用次数: 2
Using abstracts to classify life medicine papers 用摘要对生命医学论文进行分类
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223506
T. Yoshida, H. Ohwada
{"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}
引用次数: 0
The support vector machine and its application to hydrocarbon discriminant in oil and gas exploration 支持向量机及其在油气勘探油气鉴别中的应用
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223523
Quanhai Wang, Fang Miao
{"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}
引用次数: 3
Sliding mode control for uncertain T-S fuzzy systems with input saturation and known external disturbance 输入饱和和已知外部干扰的不确定T-S模糊系统的滑模控制
2012 International Conference on Systems and Informatics (ICSAI2012) Pub Date : 2012-05-19 DOI: 10.1109/ICSAI.2012.6223612
Honghai Liu, Zhen-xi Xu
{"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}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信