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

2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)最新文献

筛选
英文 中文
Parallel hybrid genetic algorithm for sat problems based on OpenMP 基于OpenMP的卫星问题并行混合遗传算法
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258783
Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
{"title":"Parallel hybrid genetic algorithm for sat problems based on OpenMP","authors":"Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong","doi":"10.1109/ISKE.2017.8258783","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258783","url":null,"abstract":"SAT problem is the first proved NP-complete problems. Heuristic methods on solving the SAT problem although belongs to incomplete method, but it has its advantages. Genetic Algorithm (GA) as one of the heuristic algorithms, was applied to solve the SAT problem of many years, and also got some better results combine with other algorithms. However, there is still room for improvement. In this paper we combine GA with the Local Search Algorithm (LSA) and improve the sort algorithm. Using the Open MP to implement the Parallel Hybrid GA based on the Coarse-Grained Model (CGPHGA). This article describes the design and implementation of CGPHGA in detail, According to the experimental results, CGPHGA improves the success rate and efficiency.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122675991","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
α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system 基于语言真值格值命题逻辑系统的α-广义分解方法
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258781
Weitao Xu
{"title":"α-generalized resolution method based on linguistic truth-valued lattice-valued propositional logic system","authors":"Weitao Xu","doi":"10.1109/ISKE.2017.8258781","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258781","url":null,"abstract":"This paper extend the α—resolution principle based on classical logic system. An α-generalized resolution method is presented in Linguistic Truth-Valued lattice-valued propositional logic system based on linguistic truth-valued lattice implication algebra. Both soundness and weak complete­ness theorems for α-generalized resolution method are estab­lished in Linguistic Truth-Valued lattice-valued propositional logic system. The proposed approach provides a foundation for α—generalized resolution method under linguistic truth-valued level in a set of general generalized clauses.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125004358","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 nonlinear programming based universal optimization model of TDOA passive location 基于非线性规划的TDOA无源定位通用优化模型
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258784
Fangli Ma, Yang Xu, Peng Xu
{"title":"A nonlinear programming based universal optimization model of TDOA passive location","authors":"Fangli Ma, Yang Xu, Peng Xu","doi":"10.1109/ISKE.2017.8258784","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258784","url":null,"abstract":"Time difference of arrival (TDOA) passive localization is a kind of signal source localization method. There are two types of solution methods, the drawing methods and the calculating methods. The calculating methods are divided into analytic-calculating methods and numerical-calculating methods. As a kind of analytic calculation method, the universal unconstrained nonlinear programming based optimization model of TDOA passive localization was proposed in this paper, its solving algorithms were also discussed. The numeric results shows that the Pattern Search Method has been proved to be able to solve the optimization problems of TDOA localization with only small part of non-convergent points and the Simple-Grid method was the general solution of TDOA optimization problems. Also the localization errors were independent of the order number of the objective function had been obtained.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115035507","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
Developing Android applications using agent-oriented programming 使用面向代理的编程开发Android应用程序
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258771
S. Russell, Owen Doyle, Rem W. Collier
{"title":"Developing Android applications using agent-oriented programming","authors":"S. Russell, Owen Doyle, Rem W. Collier","doi":"10.1109/ISKE.2017.8258771","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258771","url":null,"abstract":"Designing applications for current generation context aware mobile devices is a complex task. Programmers are required to have a deep knowledge of the underlying systems and APIs in order to complete an application. This paper presents a system that takes advantage of the high level of abstraction common to agent-oriented programming languages to reduce the difficulty in creating context-sensitive applications for Android devices.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124145458","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}
引用次数: 4
A feedback control scheduling architecture for real-time ontology 面向实时本体的反馈控制调度体系结构
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258792
Wided Ben Abid, M. Mhiri, M. B. Salem, Emna Bouazizi, F. Gargouri
{"title":"A feedback control scheduling architecture for real-time ontology","authors":"Wided Ben Abid, M. Mhiri, M. B. Salem, Emna Bouazizi, F. Gargouri","doi":"10.1109/ISKE.2017.8258792","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258792","url":null,"abstract":"Many solutions were proposed to store and load a large amount of semantic data which are generated from ontologies. These solutions have introduced a new database architecture called Ontology Based DataBases (OBDBs) which presents several drawbacks : it does not take into account the management of non-standard data, it does not consider the modeling of time for data, and it does not propose a specification and modeling of transactions. Based on these limits, the existed OBDBs architecture is not suitable for real-time applications. The real-time ontology, which is the result of temporal constraints integration on real-time context, has been introduced. In this paper, we propose the integration of a real-time ontology on databases. Currently, many real-time applications are geographically distributed, in this case, the distributed real-time DBMS are the best appropriate to be a suitable target for this integration. The performance study of integrating a real-time ontology on distributed real-time DBMS require the use of quality of service (QoS) based architectures which the feedback control scheduling technique is the best case. In this order, the Distributed Feedback Control Scheduling Architecture for Real-Time Ontology (DFCSA-RTO) is proposed.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121018259","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
An incremental updating method for online monitoring state-of-health of VRLA batteries VRLA蓄电池健康状态在线监测的增量更新方法
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258769
Yangguang Liu, Yun Meng, Zhengqiu Lu, X. Gao
{"title":"An incremental updating method for online monitoring state-of-health of VRLA batteries","authors":"Yangguang Liu, Yun Meng, Zhengqiu Lu, X. Gao","doi":"10.1109/ISKE.2017.8258769","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258769","url":null,"abstract":"Valve-regulated lead acid (VRLA) batteries are widely used for backup power in the DC power system of transformer substations. Therefore, the state-of-health (SOH) of batteries is critical for maintaining the reliability of the power system. However, due to the unique structure of the VRLA battery, it is difficult to obtain accurate SOH for the short discharge process during battery maintenance. To solve this problem, using the battery equivalent circuit model of the VRLA battery, we propose the online SOH estimation algorithm based on recursive least squares. The method is based on a non-linear model function deduced from the Shepherd battery equivalent model. Moreover, we present a specific scheme for estimating parameters combined with the recursive least squares (RLS) algorithm. The model parameters are then updated using the discharge data from the battery. Finally, we can predict the SOH using the battery model. The experimental results showed that the proposed algorithm could accurately predict the SOH of VRLA batteries using less than two hours of discharge data.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133775655","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
Comprehensive evaluation method of visual analytics tools based on fuzzy theory and artificial neural network 基于模糊理论和人工神经网络的可视化分析工具综合评价方法
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258823
Saber Amri, Hela Ltifi, Mounir Ben Ayed
{"title":"Comprehensive evaluation method of visual analytics tools based on fuzzy theory and artificial neural network","authors":"Saber Amri, Hela Ltifi, Mounir Ben Ayed","doi":"10.1109/ISKE.2017.8258823","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258823","url":null,"abstract":"With the development of modern technologies, there are more and more complex Visual Analytics (VA) systems. New challenge of the VA field is to analyze complex, incomplete and inconsistent data. Hence, its evaluation is a primordial task aiming to optimize them, although it is a very difficult task. Even little effort has been made to intelligently evaluate VA artefacts, we proposed to assess the visualization environment and user's interaction by mixing of think aloud protocol analysis and eye tracking that provides an efficient information source where visualization can be used to derive measures about a set of metrics employed to analyze the user performance. As soon as we obtain values from one of these metrics, we use a Neuro-Fuzzy method to intelligently interpret these measures by combining; (1) Fuzzy logic to deal with inaccuracies and uncertainty problems during the evaluation process using the concept of linguistic variables, with (2) Neural network to solve the continuous changes problem in assessment environments with delivery of adaptive learning content. The evaluation results performed by intelligence artificial (IA) are more realistic and accurate than those of traditional methods whereas the lack of ambiguity and uncertainty problems in subjective evaluation.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134374644","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
A new mathematical model of a college-enterprise cooperation system 校企合作系统的新数学模型
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258744
Xiaohong Liu, Xianyi Zeng
{"title":"A new mathematical model of a college-enterprise cooperation system","authors":"Xiaohong Liu, Xianyi Zeng","doi":"10.1109/ISKE.2017.8258744","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258744","url":null,"abstract":"College-enterprise cooperation is not only an important requirement for modern education development, but also an effective way for enterprises to enhance their competitiveness. Although this cooperation directly deals with colleges and enterprises, governments always play an important role in the process. Apart from the previous three partners, market is also frequently considered as a key factor in the college-enterprise cooperation system. By introducing the concept of action-reaction in physics, a dynamic model related to the four factor cooperation system is set up and analyzed. This model has been successfully applied to a case of entrepreneurship education in order to provide a solid theoretical support for promoting college-enterprise cooperation.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131473240","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
SOC calculation method based on extended Kalman filter of power battery for electric vehicle 基于扩展卡尔曼滤波的电动汽车动力电池SOC计算方法
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258840
Xin Liu, ZengMu Cheng, Feng-Yan Yi, T. Qiu
{"title":"SOC calculation method based on extended Kalman filter of power battery for electric vehicle","authors":"Xin Liu, ZengMu Cheng, Feng-Yan Yi, T. Qiu","doi":"10.1109/ISKE.2017.8258840","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258840","url":null,"abstract":"Battery SOC estimation is the core of the battery management system, SOC directly affect the battery management system (BMS) decision-making and control. In this design, the Kalman filter correction method is taken into account and the influence of charge and discharge rate, temperature and charge/discharge cycles on the SOC estimation is considered. Based on this method, the Kalman filter correction algorithm is proposed, and its application in the pure electric vehicle battery management system. The results show that Kalman filter correction algorithm effectively corrects the error of Ah method, improves the estimation precision, and provides a more accurate SOC estimation method for battery management system.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124790932","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}
引用次数: 8
A branching heuristic based on variable decision levels 基于可变决策水平的分支启发式算法
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE) Pub Date : 2017-11-01 DOI: 10.1109/ISKE.2017.8258776
Zhonghe Du, Zhenming Song
{"title":"A branching heuristic based on variable decision levels","authors":"Zhonghe Du, Zhenming Song","doi":"10.1109/ISKE.2017.8258776","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258776","url":null,"abstract":"Efficient branching heuristic is a key feature of modern SAT solvers. Firstly, this paper introduced VSIDS heuristic and VSIDS-based heuristics like EVSIDS and ACIDS. Based on VSIDS, a new heuristic termed DLBH that considers variable decision levels was proposed to promote the efficiency of variable selection process. Then, instances showed the comparison among EVSIDS, ACIDS and DLBH. Finally, experimental results indicated that MiniSat solver with DLBH outperforms solvers MiniSat with VSIDS and Glucose.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"357 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114658104","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学术官方微信