首页 > 最新文献

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

英文 中文
Research and implementation of campus information push system based on WebSocket 基于WebSocket的校园信息推送系统的研究与实现
Yangyang Hu, W. Cheng
WebSocket is a TCP-based protocol, providing full-duplex communication channels over a single TCP connection. In recent years, more and more developers choose to use it to develop applications. This paper discusses the traditional real-time Web communication schemes, and analyzes the advantages of WebSocket. Based on the deep study of WebSocket, a real-time campus information push solution based on WebSocket and node.js is proposed. This paper expatiates the overall structure of the scheme, designs and realizes the functions of each module, and the functional testing results show that the scheme is feasible.
WebSocket是一个基于TCP的协议,在单个TCP连接上提供全双工通信通道。近年来,越来越多的开发人员选择使用它来开发应用程序。讨论了传统的实时Web通信方案,分析了WebSocket的优点。在深入研究WebSocket的基础上,提出了一种基于WebSocket和node.js的校园信息实时推送方案。本文阐述了方案的总体结构,设计并实现了各个模块的功能,功能测试结果表明该方案是可行的。
{"title":"Research and implementation of campus information push system based on WebSocket","authors":"Yangyang Hu, W. Cheng","doi":"10.1109/ISKE.2017.8258720","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258720","url":null,"abstract":"WebSocket is a TCP-based protocol, providing full-duplex communication channels over a single TCP connection. In recent years, more and more developers choose to use it to develop applications. This paper discusses the traditional real-time Web communication schemes, and analyzes the advantages of WebSocket. Based on the deep study of WebSocket, a real-time campus information push solution based on WebSocket and node.js is proposed. This paper expatiates the overall structure of the scheme, designs and realizes the functions of each module, and the functional testing results show that the scheme is feasible.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"17 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":"116782493","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应用程序
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.
为当前一代上下文感知移动设备设计应用程序是一项复杂的任务。为了完成一个应用程序,程序员需要对底层系统和api有深入的了解。本文提出了一个利用面向代理的编程语言常见的高级抽象的系统,以减少为Android设备创建上下文敏感应用程序的难度。
{"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
Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic 基于标准矛盾分离的一阶逻辑整体演绎框架定理证明
Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu
Nowadays, famous and powerful first-order logic automated theorem proving almost use saturation which called given-clause algorithm as the deductive framework. The given-clause algorithm is a divisional framework which divides the entire clauses into selected clause set and deductive clause set. It is efficient with large heuristic strategies and inference calculus. In this paper, we present a holistic deductive framework based on standard contradiction separation. The framework allows arbitrary clause to take part in deduction in the holistic clause set as many as possible which can take full advantage of synergetic effect between clauses. It is a multi-ary, dynamic, sound, complete deduction which can generate more new unit clauses as the goal. We implement the preliminary version of prover, it can find proofs in fewer inferential steps for some Mizar and TPTP problems under effective strategies. Related definitions and useful methods are proposed for programming search paths, avoiding repetition, simplifying clauses and the key strategies, they are contribute to finding proof more efficiently. Performance analysis and some conclusions are outlined at the end of this paper.
目前著名的、功能强大的一阶逻辑自动定理证明,几乎都是用饱和即给定子句算法作为演绎框架的。给定子句算法是一种将整个子句划分为选择子句集和演绎子句集的分法框架。对于大型启发式策略和推理演算,它是有效的。在本文中,我们提出了一个基于标准矛盾分离的整体演绎框架。该框架允许任意子句尽可能多地参与整体子句集的演绎,充分发挥子句之间的协同效应。它是一个多元的、动态的、健全的、完整的演绎过程,可以产生更多新的单元子句作为目标。我们实现了初步版本的证明器,它可以在有效的策略下以较少的推理步骤找到一些Mizar和TPTP问题的证明。给出了搜索路径规划、避免重复、简化子句和关键策略的相关定义和实用方法,有助于提高证明效率。本文最后对系统进行了性能分析并得出了一些结论。
{"title":"Holistic deductive framework theorem proving based on standard contradiction separation for first-order logic","authors":"Feng Cao, Yang Xu, Jian Zhong, Guanfeng Wu","doi":"10.1109/ISKE.2017.8258782","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258782","url":null,"abstract":"Nowadays, famous and powerful first-order logic automated theorem proving almost use saturation which called given-clause algorithm as the deductive framework. The given-clause algorithm is a divisional framework which divides the entire clauses into selected clause set and deductive clause set. It is efficient with large heuristic strategies and inference calculus. In this paper, we present a holistic deductive framework based on standard contradiction separation. The framework allows arbitrary clause to take part in deduction in the holistic clause set as many as possible which can take full advantage of synergetic effect between clauses. It is a multi-ary, dynamic, sound, complete deduction which can generate more new unit clauses as the goal. We implement the preliminary version of prover, it can find proofs in fewer inferential steps for some Mizar and TPTP problems under effective strategies. Related definitions and useful methods are proposed for programming search paths, avoiding repetition, simplifying clauses and the key strategies, they are contribute to finding proof more efficiently. Performance analysis and some conclusions are outlined at the end of this paper.","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":"124956636","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 校企合作系统的新数学模型
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}
引用次数: 0
Can classical consensus models deal with large scale group decision making? 经典共识模型能否处理大规模群体决策?
Á. L. Romero, Luis Martínez-López, Rosa M. Rodríguez
Consensus reaching processes (CRPs) in Group Decision Making (GDM) try to reach a mutual agreement among a group of decision makers before making a decision. To facilitate CRPs, multiple consensus models have been proposed in the literature. Classically, just a few decision makers participated in the CRP, however nowadays, the appearance of new technological environments and paradigms to make group decisions demand the management of larger scale problems that add new requirements to the solution of consensus. This contribution presents a study of a classical CRP applied to large-scale GDM in order to analyze its performance and detect which are the main challenges that these processes face in large-scale GDM. The analysis will be carried out in a java-based framework, AFRYCA 2.0, simulating different scenarios in large scale GDM.
群体决策(GDM)中的共识达成过程(Consensus reaching process, CRPs)是指一组决策者在做出决策之前达成共识的过程。为了促进crp,文献中提出了多种共识模型。传统上,只有少数决策者参与了CRP,但如今,新的技术环境和范式的出现要求管理更大规模的问题,这对解决共识提出了新的要求。本文介绍了一种应用于大规模GDM的经典CRP的研究,以分析其性能并检测这些过程在大规模GDM中面临的主要挑战。分析将在基于java的框架AFRYCA 2.0中进行,模拟大规模GDM中的不同场景。
{"title":"Can classical consensus models deal with large scale group decision making?","authors":"Á. L. Romero, Luis Martínez-López, Rosa M. Rodríguez","doi":"10.1109/ISKE.2017.8258740","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258740","url":null,"abstract":"Consensus reaching processes (CRPs) in Group Decision Making (GDM) try to reach a mutual agreement among a group of decision makers before making a decision. To facilitate CRPs, multiple consensus models have been proposed in the literature. Classically, just a few decision makers participated in the CRP, however nowadays, the appearance of new technological environments and paradigms to make group decisions demand the management of larger scale problems that add new requirements to the solution of consensus. This contribution presents a study of a classical CRP applied to large-scale GDM in order to analyze its performance and detect which are the main challenges that these processes face in large-scale GDM. The analysis will be carried out in a java-based framework, AFRYCA 2.0, simulating different scenarios in large scale GDM.","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":"130691688","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
An incremental updating method for online monitoring state-of-health of VRLA batteries VRLA蓄电池健康状态在线监测的增量更新方法
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.
阀控铅酸蓄电池在变电站直流供电系统中广泛用作备用电源。因此,电池的健康状态(SOH)对于维持电力系统的可靠性至关重要。然而,由于VRLA电池的独特结构,在电池维护过程中,对于短时间的放电过程,很难获得准确的SOH。针对这一问题,利用VRLA电池等效电路模型,提出了基于递归最小二乘的在线SOH估计算法。该方法基于Shepherd电池等效模型推导出的非线性模型函数。此外,我们还提出了一种结合递推最小二乘(RLS)算法的参数估计方案。然后使用电池的放电数据更新模型参数。最后,我们可以使用电池模型来预测SOH。实验结果表明,该算法可以利用小于2小时的放电数据准确预测VRLA电池的SOH。
{"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
A nonlinear programming based universal optimization model of TDOA passive location 基于非线性规划的TDOA无源定位通用优化模型
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.
到达时间差(TDOA)被动定位是一种信号源定位方法。求解方法有制图法和计算法两种。计算方法分为解析计算法和数值计算法。作为一种解析计算方法,本文提出了基于通用无约束非线性规划的TDOA无源定位优化模型,并对其求解算法进行了讨论。数值计算结果表明,模式搜索方法可以解决只有少量不收敛点的TDOA定位优化问题,简单网格方法是TDOA优化问题的通解。并且得到了定位误差与目标函数阶数无关的结果。
{"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
Comprehensive evaluation method of visual analytics tools based on fuzzy theory and artificial neural network 基于模糊理论和人工神经网络的可视化分析工具综合评价方法
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.
随着现代技术的发展,出现了越来越复杂的可视化分析系统。对复杂、不完整和不一致的数据进行分析是价值评估领域面临的新挑战。因此,其评估是一项旨在优化它们的原始任务,尽管这是一项非常困难的任务。即使在智能评估VA人工制品方面所做的努力很少,我们建议通过混合思考协议分析和眼动追踪来评估可视化环境和用户交互,这提供了一个有效的信息源,其中可视化可用于导出用于分析用户性能的一组指标的度量。一旦我们从其中一个指标中获得值,我们使用神经模糊方法通过组合来智能地解释这些指标;(1)模糊逻辑利用语言变量的概念处理评价过程中的不准确性和不确定性问题;(2)神经网络通过传递自适应学习内容来解决评价环境中的持续变化问题。人工智能(IA)评价结果比传统评价方法更真实、更准确,主观评价不存在歧义和不确定性问题。
{"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
SOC calculation method based on extended Kalman filter of power battery for electric vehicle 基于扩展卡尔曼滤波的电动汽车动力电池SOC计算方法
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.
电池SOC的估算是电池管理系统的核心,SOC直接影响电池管理系统(BMS)的决策和控制。在本设计中,考虑了卡尔曼滤波校正方法,并考虑了充放电速率、温度和充放电周期对SOC估计的影响。在此基础上,提出了卡尔曼滤波校正算法,并将其应用于纯电动汽车电池管理系统中。结果表明,卡尔曼滤波校正算法有效地修正了Ah法的误差,提高了估计精度,为电池管理系统提供了一种更准确的SOC估计方法。
{"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
Ensembles based combined learning for improved software fault prediction: A comparative study 基于集成的组合学习改进软件故障预测的比较研究
Chubato Wondaferaw Yohannese, Tianrui Li, M. Simfukwe, Faisal Khurshid
Software Fault Prediction (SFP) research has made enormous endeavor to accurately predict fault proneness of software modules to maximize precious software test resources, reduce maintenance cost, help to deliver software products on time and satisfy customer, which ultimately contribute to produce quality software products. In this regard, Machine Learning (ML) has been successfully applied to solve classification problems for SFP. Moreover, from ML, it has been observed that Ensemble Learning Algorithms (ELA) are known to improve the performance of single learning algorithms. However, neither of ELA alone handles the challenges created by redundant and irrelevant features and class imbalance problem in software defect datasets. Therefore, the objective of this paper is to independently examine and compare prominent ELA and improves their performance combined with Feature Selection (FS) and Data Balancing (DB) techniques to identify more efficient ELA that better predict the fault proneness of software modules. Accordingly, a new framework that efficiently handles those challenges in a combined form is proposed. The experimental results confirm that the proposed framework has exhibited the robustness of combined techniques. Particularly the framework has high performance when using combined bagging ELA with DB on selected features. Therefore, as shown in this study, ensemble techniques used for SFP must be carefully examined and combined with both FS and DB in order to obtain robust performance.
软件故障预测(SFP)研究为准确预测软件模块的故障倾向做出了巨大的努力,以最大限度地利用宝贵的软件测试资源,降低维护成本,帮助按时交付软件产品,满足客户的需求,最终生产出高质量的软件产品。在这方面,机器学习(ML)已经成功地应用于解决SFP的分类问题。此外,从ML中可以观察到,已知集成学习算法(ELA)可以提高单个学习算法的性能。然而,这两种ELA都不能单独处理软件缺陷数据集中冗余和不相关的特征以及类不平衡问题所带来的挑战。因此,本文的目的是独立检查和比较突出的ELA,并结合特征选择(FS)和数据平衡(DB)技术提高它们的性能,以识别更有效的ELA,更好地预测软件模块的故障倾向。在此基础上,提出了一种新的框架,可以有效地综合处理这些挑战。实验结果表明,该框架具有较好的鲁棒性。特别是当在选定的特性上使用组合打包ELA和DB时,该框架具有很高的性能。因此,正如本研究所示,为了获得稳健的性能,必须仔细检查用于SFP的集成技术,并将其与FS和DB相结合。
{"title":"Ensembles based combined learning for improved software fault prediction: A comparative study","authors":"Chubato Wondaferaw Yohannese, Tianrui Li, M. Simfukwe, Faisal Khurshid","doi":"10.1109/ISKE.2017.8258836","DOIUrl":"https://doi.org/10.1109/ISKE.2017.8258836","url":null,"abstract":"Software Fault Prediction (SFP) research has made enormous endeavor to accurately predict fault proneness of software modules to maximize precious software test resources, reduce maintenance cost, help to deliver software products on time and satisfy customer, which ultimately contribute to produce quality software products. In this regard, Machine Learning (ML) has been successfully applied to solve classification problems for SFP. Moreover, from ML, it has been observed that Ensemble Learning Algorithms (ELA) are known to improve the performance of single learning algorithms. However, neither of ELA alone handles the challenges created by redundant and irrelevant features and class imbalance problem in software defect datasets. Therefore, the objective of this paper is to independently examine and compare prominent ELA and improves their performance combined with Feature Selection (FS) and Data Balancing (DB) techniques to identify more efficient ELA that better predict the fault proneness of software modules. Accordingly, a new framework that efficiently handles those challenges in a combined form is proposed. The experimental results confirm that the proposed framework has exhibited the robustness of combined techniques. Particularly the framework has high performance when using combined bagging ELA with DB on selected features. Therefore, as shown in this study, ensemble techniques used for SFP must be carefully examined and combined with both FS and DB in order to obtain robust performance.","PeriodicalId":208009,"journal":{"name":"2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","volume":"26 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":"123825631","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}
引用次数: 21
期刊
2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1