Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258783
Guanfeng Wu, Qingshan Chen, Feng Cao, Yang Xu, Xiaomei Zhong
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258781
Weitao Xu
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 completeness theorems for α-generalized resolution method are established 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.
{"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 completeness theorems for α-generalized resolution method are established 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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258784
Fangli Ma, Yang Xu, Peng Xu
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258771
S. Russell, Owen Doyle, Rem W. Collier
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258792
Wided Ben Abid, M. Mhiri, M. B. Salem, Emna Bouazizi, F. Gargouri
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258769
Yangguang Liu, Yun Meng, Zhengqiu Lu, X. Gao
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258823
Saber Amri, Hela Ltifi, Mounir Ben Ayed
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258744
Xiaohong Liu, Xianyi Zeng
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258840
Xin Liu, ZengMu Cheng, Feng-Yan Yi, T. Qiu
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.
{"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}
Pub Date : 2017-11-01DOI: 10.1109/ISKE.2017.8258776
Zhonghe Du, Zhenming Song
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：