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

2013 Sixth International Symposium on Computational Intelligence and Design最新文献

筛选
英文 中文
An Algebraic Approach on Globally Exponential Stability of Polynomial Dynamical Systems 多项式动力系统全局指数稳定性的代数方法
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.104
Zhikun She, Huanfeng Liu, Haoyang Li
{"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}
引用次数: 0
Prediction of Epileptic Disease Based on Complex Network 基于复杂网络的癫痫疾病预测
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.211
Zhao Jiang, Hu Yanting, Hao Chongqing
{"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}
引用次数: 0
Multi-feature Visual Tracking Using Adaptive Unscented Kalman Filtering 基于自适应无气味卡尔曼滤波的多特征视觉跟踪
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.56
Jiasheng Song, Guoqing Hu
{"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}
引用次数: 2
Hierarchical Static Test Method in C Source Code 分层静态测试方法在C源代码
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.208
Lulu Xu, Liping Zhang
{"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}
引用次数: 0
Simulation of the Thermal Behavior of a Prismatic LiFePO4 Battery Cell 棱镜形LiFePO4电池热行为的模拟
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.214
F. Hadia, Z. Tong
{"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}
引用次数: 2
Evaluation Model of Sustainable Development for Railway Transportation Based on BP Neural Network 基于BP神经网络的铁路运输可持续发展评价模型
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.133
Chenyang Yi, Qi Zhang
{"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}
引用次数: 3
Research of Autonomous Navigation System for AUV Based on SDVM 基于SDVM的AUV自主导航系统研究
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.54
Peijuan Li, Xiaosu Xu, Xiaofei Zhang, Yiting Liu
{"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}
引用次数: 1
The Application of H2/H-Infinity Filter in Transfer Alignment Based on Convex Optimization Technology 基于凸优化技术的H2/ h -∞滤波器在传递对准中的应用
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.26
Yiting Liu, Xiaosu Xu, Xixiang Liu, Jie Yan, Peijuan Li, Haijun Zou
{"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}
引用次数: 1
Research on Equipment Maintenance Resource Scheduling Based on Health Management 基于健康管理的设备维修资源调度研究
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.8
Zhi-yong Liu, Li-qing Rong
{"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}
引用次数: 0
Methods of DFD (Differential Frequency Disturbance) on Weak Signal Parameters Estimate 差分频率扰动对弱信号参数估计的方法
2013 Sixth International Symposium on Computational Intelligence and Design Pub Date : 2013-10-28 DOI: 10.1109/ISCID.2013.217
Jihong Song, Dongqi Meng, Yufei Wang
{"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}
引用次数: 0
下一页 尾页
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学术官方微信