This paper presents a constructive method for analyzing globally exponential stability of polynomial dynamical systems by discovering quadratic Lyapunov functions. First, we derive an algebraic sufficient condition for analyzing globally exponential stability. Then, we apply a real root classification (RRC) based method step by step to under-approximate this derived condition as a semi-algebraic set which only involves the parametric coefficients of the candidate polynomials and the parameter associated with the exponential decay rate. Finally, we compute a sample point in the resulting semi algebraic set for the parameters resulting in a Lyapunov function and an exponential decay rate. The experimental results and comparisons demonstrate the feasibility and promise of our approach.
{"title":"An Algebraic Approach on Globally Exponential Stability of Polynomial Dynamical Systems","authors":"Zhikun She, Huanfeng Liu, Haoyang Li","doi":"10.1109/ISCID.2013.104","DOIUrl":"https://doi.org/10.1109/ISCID.2013.104","url":null,"abstract":"This paper presents a constructive method for analyzing globally exponential stability of polynomial dynamical systems by discovering quadratic Lyapunov functions. First, we derive an algebraic sufficient condition for analyzing globally exponential stability. Then, we apply a real root classification (RRC) based method step by step to under-approximate this derived condition as a semi-algebraic set which only involves the parametric coefficients of the candidate polynomials and the parameter associated with the exponential decay rate. Finally, we compute a sample point in the resulting semi algebraic set for the parameters resulting in a Lyapunov function and an exponential decay rate. The experimental results and comparisons demonstrate the feasibility and promise of our approach.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115242295","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}
The purpose of this study is to observe epilepsy brain network evolution from network perspective and implement of epileptic disease prognosis. Local visibility graph method is on the basis of visibility graph method adding a sliding time window and building a number of sliding time window with the complex network topology. It is in order to observe the time dependence of the network. We divided the electrocorticogram(EEG) time series into three parts. They were the time series during normal period, pre-epilepsy period and seizures occur period. Then build three network topology graphs and observed its evolution process. The results show that the network module structure of the epileptic EEG from normal period to pre-epilepsy period then to seizures occur period disappeared. And it form the arc of the zonal distribution. These characteristics of complex networks provide new ideas for the prediction of epileptic disease.
{"title":"Prediction of Epileptic Disease Based on Complex Network","authors":"Zhao Jiang, Hu Yanting, Hao Chongqing","doi":"10.1109/ISCID.2013.211","DOIUrl":"https://doi.org/10.1109/ISCID.2013.211","url":null,"abstract":"The purpose of this study is to observe epilepsy brain network evolution from network perspective and implement of epileptic disease prognosis. Local visibility graph method is on the basis of visibility graph method adding a sliding time window and building a number of sliding time window with the complex network topology. It is in order to observe the time dependence of the network. We divided the electrocorticogram(EEG) time series into three parts. They were the time series during normal period, pre-epilepsy period and seizures occur period. Then build three network topology graphs and observed its evolution process. The results show that the network module structure of the epileptic EEG from normal period to pre-epilepsy period then to seizures occur period disappeared. And it form the arc of the zonal distribution. These characteristics of complex networks provide new ideas for the prediction of epileptic disease.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115621432","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}
Visual tracking is often confronted with some impediments, such as the target's sudden acceleration and structural deformation, occlusion, lighting changes and so on. To overcome these problems, a tracking approach is proposed, which is based on the unscented Kalman filter (UKF) and the multi-feature fusion. First, the mean and covariance of the target state variable is predicted based on a nearly constant velocity system. And the target's hue histogram and edge orientation histogram are extracted at the corresponding position. Second, the measured position is calculated by Mean-shift algorithm based on the fusion of multi-feature. Finally, according to the measured position the UKF updates the mean and covariance of the state variable and reports the current position of the target. The experiments in 2 different scenes showed that the tracking method could efficiently track the fast moving objects and adapt to the lighting changes, rotation, and partial occlusion and deform. These demonstrated that the method have more tracking accuracy and adaptive robustness.
{"title":"Multi-feature Visual Tracking Using Adaptive Unscented Kalman Filtering","authors":"Jiasheng Song, Guoqing Hu","doi":"10.1109/ISCID.2013.56","DOIUrl":"https://doi.org/10.1109/ISCID.2013.56","url":null,"abstract":"Visual tracking is often confronted with some impediments, such as the target's sudden acceleration and structural deformation, occlusion, lighting changes and so on. To overcome these problems, a tracking approach is proposed, which is based on the unscented Kalman filter (UKF) and the multi-feature fusion. First, the mean and covariance of the target state variable is predicted based on a nearly constant velocity system. And the target's hue histogram and edge orientation histogram are extracted at the corresponding position. Second, the measured position is calculated by Mean-shift algorithm based on the fusion of multi-feature. Finally, according to the measured position the UKF updates the mean and covariance of the state variable and reports the current position of the target. The experiments in 2 different scenes showed that the tracking method could efficiently track the fast moving objects and adapt to the lighting changes, rotation, and partial occlusion and deform. These demonstrated that the method have more tracking accuracy and adaptive robustness.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114645825","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}
To increase the output's accuracy and credibility of fast static analysis tool, this paper proposes a hierarchical static testing method of C program. The first level is to access static analysis tools with speed heavy proportion and generated the initial output of detection, the second level is extracted the program slicing of the initial test results based on the warning message. Warning program slicing is formalized abstraction into Boolean formula to solve by the SAT solver. It can determine the slicing true or false. The results of the first level and the second level are composited to improve the accuracy of the analytical tools. The experiment showed that the method could improve the accuracy and credibility a certain extent. It also could effectively reduce false positives.
{"title":"Hierarchical Static Test Method in C Source Code","authors":"Lulu Xu, Liping Zhang","doi":"10.1109/ISCID.2013.208","DOIUrl":"https://doi.org/10.1109/ISCID.2013.208","url":null,"abstract":"To increase the output's accuracy and credibility of fast static analysis tool, this paper proposes a hierarchical static testing method of C program. The first level is to access static analysis tools with speed heavy proportion and generated the initial output of detection, the second level is extracted the program slicing of the initial test results based on the warning message. Warning program slicing is formalized abstraction into Boolean formula to solve by the SAT solver. It can determine the slicing true or false. The results of the first level and the second level are composited to improve the accuracy of the analytical tools. The experiment showed that the method could improve the accuracy and credibility a certain extent. It also could effectively reduce false positives.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116646444","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}
In this paper, we present theoretical and numerical modeling results for thermal analysis of Lithium ion (LiFePO4) battery cells during discharge (0.2C, 0.5C, 1C). Thermal management is important for many reasons, including thermal runaway, performance and maintains a constant temperature during the operating, security, lifecycle. However, in a battery pack, the batteries are stacked against each other without cooling surfaces except the outer surface of the package and the cell in the center of pack are exposed to overheating and thermal runaway. A modeling for a single LiFePO4 battery cell is presented together with preliminary experiments in ambient temperature (20=C~35=C) and the results for determination of heating sources during discharging. A favorable agreement between experiments and the model is found and it will be necessary for further work.
{"title":"Simulation of the Thermal Behavior of a Prismatic LiFePO4 Battery Cell","authors":"F. Hadia, Z. Tong","doi":"10.1109/ISCID.2013.214","DOIUrl":"https://doi.org/10.1109/ISCID.2013.214","url":null,"abstract":"In this paper, we present theoretical and numerical modeling results for thermal analysis of Lithium ion (LiFePO4) battery cells during discharge (0.2C, 0.5C, 1C). Thermal management is important for many reasons, including thermal runaway, performance and maintains a constant temperature during the operating, security, lifecycle. However, in a battery pack, the batteries are stacked against each other without cooling surfaces except the outer surface of the package and the cell in the center of pack are exposed to overheating and thermal runaway. A modeling for a single LiFePO4 battery cell is presented together with preliminary experiments in ambient temperature (20=C~35=C) and the results for determination of heating sources during discharging. A favorable agreement between experiments and the model is found and it will be necessary for further work.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115335344","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}
This study evaluates the level of sustainable development for railway transportation based on back-propagation (BP) neural network. Four aspects, which cover the conception of economy, society, environment and resource, are considered when constructing the index system, which is optimized through Principle Component Analysis. An evaluation model based on BP neural network is constructed and the railway enterprise in China is taken as the study case, the results show that the evaluation model based on BP neural network is creditable and effective. The results reveal that the trend of sustainable development of railway transportation is gradually upward despite a low overall level, holding that it has massive potential to improve.
{"title":"Evaluation Model of Sustainable Development for Railway Transportation Based on BP Neural Network","authors":"Chenyang Yi, Qi Zhang","doi":"10.1109/ISCID.2013.133","DOIUrl":"https://doi.org/10.1109/ISCID.2013.133","url":null,"abstract":"This study evaluates the level of sustainable development for railway transportation based on back-propagation (BP) neural network. Four aspects, which cover the conception of economy, society, environment and resource, are considered when constructing the index system, which is optimized through Principle Component Analysis. An evaluation model based on BP neural network is constructed and the railway enterprise in China is taken as the study case, the results show that the evaluation model based on BP neural network is creditable and effective. The results reveal that the trend of sustainable development of railway transportation is gradually upward despite a low overall level, holding that it has massive potential to improve.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122989670","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}
Considering that the underwater condition is not accessible to radio signals, this paper proposed a novel autonoums integrated navigation system using the output from an simplified dynamic vehicle model (SDVM) to provide velocity aiding for the strap down inertial navigation system (SINS), and the terrain-aide navigation system (TAN) is engaged to prevent the position divergence. The proposed approach improves underwater navigation capabilities both for systems lacking conventional velocity measurements, and for systems where the need for redundancy is important, such as when AVU travels to the mismatching area and TAN dropouts or failures. Compared experiments are perfermed to prove the effectiveness of this method. The results show that the proposed navigation system is able to keep the sustainability and accuracy at a satisfactory level even during long time periods without TAN measurements.
{"title":"Research of Autonomous Navigation System for AUV Based on SDVM","authors":"Peijuan Li, Xiaosu Xu, Xiaofei Zhang, Yiting Liu","doi":"10.1109/ISCID.2013.54","DOIUrl":"https://doi.org/10.1109/ISCID.2013.54","url":null,"abstract":"Considering that the underwater condition is not accessible to radio signals, this paper proposed a novel autonoums integrated navigation system using the output from an simplified dynamic vehicle model (SDVM) to provide velocity aiding for the strap down inertial navigation system (SINS), and the terrain-aide navigation system (TAN) is engaged to prevent the position divergence. The proposed approach improves underwater navigation capabilities both for systems lacking conventional velocity measurements, and for systems where the need for redundancy is important, such as when AVU travels to the mismatching area and TAN dropouts or failures. Compared experiments are perfermed to prove the effectiveness of this method. The results show that the proposed navigation system is able to keep the sustainability and accuracy at a satisfactory level even during long time periods without TAN measurements.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122034942","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}
Yiting Liu, Xiaosu Xu, Xixiang Liu, Jie Yan, Peijuan Li, Haijun Zou
In this paper, the “velocity and attitude” matching method is used and the unknown flexure deformation is treaded as the noise with limited energy. Algorithms of H∞ filter, adaptive H∞ filter and H2/H∞ filter are introduced and compared. Results show that: the alignment accuracy of adaptive H∞ filter is the highest, the alignment accuracy of H2/H ∞ filter is suboptimal when the unknown flexure deformation exists. While the alignment accuracy of H2/H∞ filter is the highest when there is no unknown flexure deformation. From the overall consideration, H2/H∞ filter is the optimal when the unknown flexure deformation exists.
{"title":"The Application of H2/H-Infinity Filter in Transfer Alignment Based on Convex Optimization Technology","authors":"Yiting Liu, Xiaosu Xu, Xixiang Liu, Jie Yan, Peijuan Li, Haijun Zou","doi":"10.1109/ISCID.2013.26","DOIUrl":"https://doi.org/10.1109/ISCID.2013.26","url":null,"abstract":"In this paper, the “velocity and attitude” matching method is used and the unknown flexure deformation is treaded as the noise with limited energy. Algorithms of H∞ filter, adaptive H∞ filter and H<sub>2</sub>/H∞ filter are introduced and compared. Results show that: the alignment accuracy of adaptive H∞ filter is the highest, the alignment accuracy of H<sub>2</sub>/H ∞ filter is suboptimal when the unknown flexure deformation exists. While the alignment accuracy of H<sub>2</sub>/H∞ filter is the highest when there is no unknown flexure deformation. From the overall consideration, H<sub>2</sub>/H∞ filter is the optimal when the unknown flexure deformation exists.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122103866","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}
Many problems exist in current research on maintenance resources allocation optimization. The maintenance resources scheduling method based on health management was put forward in the paper. Firstly, the maintenance flow based on health management was constructed. Then the factors influencing maintenance resources allocation were discussed. To solve the concurrent, serial and cross-coupled problems in arranging the maintenance tasks and decrease the restrictions of maintenance resources, the authors designed the flow of equipment maintenance tasks dynamic scheduling. On the basis, the algorithm was suggested.
{"title":"Research on Equipment Maintenance Resource Scheduling Based on Health Management","authors":"Zhi-yong Liu, Li-qing Rong","doi":"10.1109/ISCID.2013.8","DOIUrl":"https://doi.org/10.1109/ISCID.2013.8","url":null,"abstract":"Many problems exist in current research on maintenance resources allocation optimization. The maintenance resources scheduling method based on health management was put forward in the paper. Firstly, the maintenance flow based on health management was constructed. Then the factors influencing maintenance resources allocation were discussed. To solve the concurrent, serial and cross-coupled problems in arranging the maintenance tasks and decrease the restrictions of maintenance resources, the authors designed the flow of equipment maintenance tasks dynamic scheduling. On the basis, the algorithm was suggested.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116829245","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}
The DFD(Differential frequency disturbance) methods are introduced in this paper, we give detail process of how to estimate weak signal parameters use this methods. The chaotic system is very sensitive to the frequency of input weak signal, we select a fightable input signal as a standard base signal, then a harmonic weak signal are put in. we adjust the frequency of standard signal gradually, the motivation of chaotic critical state will change greatly, the numerical result prove that when the standard signal frequency equal to the frequency of harmonic weak signal, the power spectrum of chaotic system will turn to be increase, the input harmonic signal frequency will be calculated, the numeric analysis prove that the differential frequency disturbance method of solve the chaotic weak harmonic signal parameter estimation give great low SNR, it has very high estimate precision result.
{"title":"Methods of DFD (Differential Frequency Disturbance) on Weak Signal Parameters Estimate","authors":"Jihong Song, Dongqi Meng, Yufei Wang","doi":"10.1109/ISCID.2013.217","DOIUrl":"https://doi.org/10.1109/ISCID.2013.217","url":null,"abstract":"The DFD(Differential frequency disturbance) methods are introduced in this paper, we give detail process of how to estimate weak signal parameters use this methods. The chaotic system is very sensitive to the frequency of input weak signal, we select a fightable input signal as a standard base signal, then a harmonic weak signal are put in. we adjust the frequency of standard signal gradually, the motivation of chaotic critical state will change greatly, the numerical result prove that when the standard signal frequency equal to the frequency of harmonic weak signal, the power spectrum of chaotic system will turn to be increase, the input harmonic signal frequency will be calculated, the numeric analysis prove that the differential frequency disturbance method of solve the chaotic weak harmonic signal parameter estimation give great low SNR, it has very high estimate precision result.","PeriodicalId":297027,"journal":{"name":"2013 Sixth International Symposium on Computational Intelligence and Design","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117004052","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
扫码关注我们
求助内容：
应助结果提醒方式：