Advances in Intelligent Systems and Computing

Transcription

1 Advances in Intelligent Systems and Computing Volume 282 Series editor Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland For further volumes:

2 About this Series The series Advances in Intelligent Systems and Computing contains publications on theory, applications, and design methods of Intelligent Systems and Intelligent Computing. Virtually all disciplines such as engineering, natural sciences, computer and information science, ICT, economics, business, e-commerce, environment, healthcare, life science are covered. The list of topics spans all the areas of modern intelligent systems and computing. The publications within Advances in Intelligent Systems and Computing are primarily textbooks and proceedings of important conferences, symposia and congresses. They cover significant recent developments in the field, both of a foundational and applicable character. An important characteristic feature of the series is the short publication time and world-wide distribution. This permits a rapid and broad dissemination of research results. Advisory Board Chairman Nikhil R. Pal, Indian Statistical Institute, Kolkata, India nikhil@isical.ac.in Members Rafael Bello, Universidad Central Marta Abreu de Las Villas, Santa Clara, Cuba rbellop@uclv.edu.cu Emilio S. Corchado, University of Salamanca, Salamanca, Spain escorchado@usal.es Hani Hagras, University of Essex, Colchester, UK hani@essex.ac.uk László T. Kóczy, Széchenyi István University, Győr, Hungary koczy@sze.hu Vladik Kreinovich, University of Texas at El Paso, El Paso, USA vladik@utep.edu Chin-Teng Lin, National Chiao Tung University, Hsinchu, Taiwan ctlin@mail.nctu.edu.tw Jie Lu, University of Technology, Sydney, Australia Jie.Lu@uts.edu.au Patricia Melin, Tijuana Institute of Technology, Tijuana, Mexico epmelin@hafsamx.org Nadia Nedjah, State University of Rio de Janeiro, Rio de Janeiro, Brazil nadia@eng.uerj.br Ngoc Thanh Nguyen, Wroclaw University of Technology, Wroclaw, Poland Ngoc-Thanh.Nguyen@pwr.edu.pl Jun Wang, The Chinese University of Hong Kong, Shatin, Hong Kong jwang@mae.cuhk.edu.hk

3 Tien Van Do Hoai An Le Thi Ngoc Thanh Nguyen Editors Advanced Computational Methods for Knowledge Engineering Proceedings of the 2nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014) ABC

4 Editors Tien Van Do Department of Networked Systems and Services Budapest University of Technology and Economics Budapest Hungary Ngoc Thanh Nguyen Institute of Informatics Wrocław University of Technology Wrocław Poland Hoai An Le Thi LITA, UFR MIM Metz France ISSN ISSN (electronic) ISBN ISBN (ebook) DOI / Springer Cham Heidelberg New York Dordrecht London Library of Congress Control Number: c Springer International Publishing Switzerland 2014 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. Exempted from this legal reservation are brief excerpts in connection with reviews or scholarly analysis or material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Duplication of this publication or parts thereof is permitted only under the provisions of the Copyright Law of the Publisher s location, in its current version, and permission for use must always be obtained from Springer. Permissions for use may be obtained through RightsLink at the Copyright Clearance Center. Violations are liable to prosecution under the respective Copyright Law. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. While the advice and information in this book are believed to be true and accurate at the date of publication, neither the authors nor the editors nor the publisher can accept any legal responsibility for any errors or omissions that may be made. The publisher makes no warranty, express or implied, with respect to the material contained herein. Printed on acid-free paper Springer is part of Springer Science+Business Media (

5 Preface This volume contains papers presented at the 2 nd International Conference on Computer Science, Applied Mathematics and Applications (ICCSAMA 2014) held on 8-9 May, 2014 in Budapest, Hungary. The conference is co-organized by Analysis, Design and Development of ICT systems (AddICT) Laboratory, Budapest University of Technology and, Division of Knowledge Management Systems, Wroclaw University of Technology, Poland, and Laboratory of Theoretical & Applied Computer Science, Lorraine University, France in cooperation with IEEE SMC Technical Committee on Computational Collective Intelligence. The aim of ICCSAMA 2014 is to bring together leading academic scientists, researchers and scholars to discuss and share their newest results in the fields of Computer Science, Applied Mathematics and their applications. After the peer review process, 30 papers by authors from Algeria, Austria, Finland, France, Germany, Hungary, India, Israel, Japan, Republic of Korea, Poland, Slovakia, United Kingdom and Vietnam have been selected for including in this proceedings. The presentations of 30 have been partitioned into 7 sessions: Advanced Optimization Methods and Their Applications, Queueing Models and Performance Evaluation, Software Development and Testing, Computational Methods for Mobile and Wireless Networks, Computational Methods for Knowledge Engineering, Logic Based Methods for Decision Making and Data Mining, and Nonlinear Systems and Applications. The clear message of the proceedings is that the potentials of computational methods for knowledge engineering and optimization algorithms are to be exploited, and this is an opportunity and a challenge for researchers. It is observed that the ICCSAMA 2013 and 2014 clearly generated a significant amount of interaction between members of both communities on Computer Science and Applied Mathematics. The intensive discussions have seeded future exciting development at the interface between computational methods, optimization and engineering. The works included in this proceedings can be useful for researchers, Ph.D. and graduate students in Optimization Theory and Knowledge Engineering fields. It is the hope of the editors that readers can find many inspiring ideas and use them to their research. Many such challenges are suggested by particular approaches and models presented in the proceedings.

6 VI Preface We would like to thank all authors, who contributed to the success of the conference and to this book. Special thanks go to the members of the Steering and Program Committees for their contributions to keeping the high quality of the selected papers. Cordial thanks are due to the Organizing Committee members for their efforts and the organizational work. Finally, we cordially thank Springer for supports and publishing this volume. We hope that ICCSAMA 2014 significantly contributes to the fulfilment of the academic excellence and leads to greater success of ICCSAMA events in the future. May 2014 Tien Van Do Hoai An Le Thi Ngoc Thanh Nguyen

7 ICCSAMA 2013 Organization General Chair Tien Van Do General Co-Chairs Le Thi Hoai An Nguyen Ngoc Thanh Lorraine University, France Wroclaw University of Technology, Poland Program Chairs Pham Dinh Tao Nguyen Hung Son Tien Van Do Duc Truong Pham INSA Rouen, France Warsaw University, Poland University of Birmingham, UK Doctoral Track Chair Nguyen Anh Linh Warsaw University, Poland Organizing Committee Nam H. Do Vu Thai Binh

8 VIII ICCSAMA 2013 Organization Steering Committee Le Thi Hoai An Nguyen Ngoc Thanh Pham Dinh Tao Nguyen Van Thoai Pham Duc Truong Nguyen Hung Son Alain Bui Nguyen Anh Linh Tien Van Do Tran Dinh Viet Lorraine University, France (Co-chair) Wroclaw University of Technology, Poland (Co-chair) INSA Rouen, France Trier University, Germany University of Birmingham, UK Warsaw University, Poland Université de Versailles-St-Quentin-en-Yvelines, France Warsaw University, Poland Slovak Academy of Sciences, Slovakia Program Committee Bui Alain Nguyen Thanh Binh Ram Chakka Tien Van Do Nam H. Do Ha Quang Thuy László Jereb László Lengyel Le Chi Hieu Le Nguyen-Thinh Le Thi Hoai An Luong Marie Ngo Van Sang Nguyen Anh Linh Nguyen Benjamin Nguyen Duc Cuong Nguyen Hung Son Nguyen Ngoc Thanh Université de Versailles-St-Quentin-en-Yvelines, France International Institute for Applied Systems Analysis (IIASA), Austria RGMCET, RGM Group of Institutions, Nandyal, India Vietnam National University, Vietnam University of West Hungary University of Greenwich, UK Humboldt Universität zu Berlin, Germany Lorraine University, France Université Paris 13, France University of Rouen, France Warsaw University, Poland University of Versailles Saint-Quentin-en-Yvelines, France International University VNU-HCM, Vietnam Warsaw University, Poland Wroclaw University of Technology, Poland

9 ICCSAMA 2013 Organization IX Nguyen Van Thoai Nguyen Viet Hung Nguyen-Verger Mai K. Pham Cong Duc Thong Vinh Ta Pham Dinh Tao Pham Duc Truong Phan Duong Hieu Tran Dinh Viet Truong Trong Tuong Trier University, Germany. Laboratory of Computer Sciences Paris 6, France Cergy-Pontoise University, France University of Pau and Pays de l Adour, France INRIA, CITI/INSA-Lyon, France INSA Rouen, France University of Birmingham, UK Université Paris 8, France Slovak Academy of Sciences, Slovakia Cergy-Pontoise University, France

10 Contents Part I: Advanced Optimization Methods and Their Applications A Collaborative Metaheuristic Optimization Scheme: Methodological Issues... 3 Mohammed Yagouni, Hoai An Le Thi DC Programming and DCA for General DC Programs Hoai An Le Thi, Van Ngai Huynh, Tao Pham Dinh DC Programming Approaches for BMI and QMI Feasibility Problems Yi-Shuai Niu, Tao Pham Dinh A DC Programming Approach for Sparse Linear Discriminant Analysis Phan Duy Nhat, Manh Cuong Nguyen, Hoai An Le Thi Minimum K-Adjacent Rectangles of Orthogonal Polygons and Its Application Thanh-Hai Nguyen The Confrontation of Two Clustering Methods in Portfolio Management: Ward s Method versus DCA Method Hoai An Le Thi, Pascal Damel, Nadège Peltre, Nguyen Trong Phuc Approximating the Minimum Tour Cover with a Compact Linear Program Viet Hung Nguyen Part II: Queueing Models and Performance Evaluation A New Queueing Model for a Physician Office Accepting Scheduled Patients and Patients without Appointments Ram Chakka, Dénes Papp, Thang Le-Nhat

11 XII Contents Usability of Deterministic and Stochastic Petri Nets in the Wood Industry: A Case Study Ádám Horváth A New Approach for Buffering Space in Scheduling Unknown Service Time Jobs in a Computational Cluster with Awareness of Performance and Energy Consumption Xuan T. Tran, Binh Thai Vu Part III: Software Development and Testing Supporting Energy-Efficient Mobile Application Development with Model-Driven Code Generation Imre Kelényi, Jukka K. Nurminen, Matti Siekkinen, László Lengyel Problems of Mutation Testing and Higher Order Mutation Testing Quang Vu Nguyen, Lech Madeyski Realization of a Test System Framework Tamás Krejczinger, Binh Thai Vu, Tien Van Do Part IV: Computational Methods for Knowledge Engineering Processing Collective Knowledge from Autonomous Individuals: A Literature Review Van Du Nguyen, Ngoc Thanh Nguyen Solving Conflicts in Video Semantic Annotation Using Consensus-Based Social Networking in a Smart TV Environment Trong Hai Duong, Tran Hoang Chau Dao, Jason J. Jung, Ngoc Thanh Nguyen An Overview of Fuzzy Ontology Integration Methods Based on Consensus Theory Hai Bang Truong, Xuan Hung Quach Novel Operations for FP-Tree Data Structure and Their Applications Tri-Thanh Nguyen, Quang-Thuy Ha Policy by Policy Analytical Approach to Develop GAINS-City Data Marts Based on Regional Federated Data Warehousing Framework Thanh Binh Nguyen Next Improvement Towards Linear Named Entity Recognition Using Character Gazetteers Giang Nguyen, Štefan Dlugolinský, Michal Laclavík, Martin Šeleng, Viet Tran

12 Contents XIII Part V: Logic Based Methods for Decision Making and Data Mining Semantic Evaluation of Text Clustering Sinh Hoa Nguyen, Wojciech Świeboda, Hung Son Nguyen An Improved Depth-First Control Strategy for Query-Subquery Nets in Evaluating Queries to Horn Knowledge Bases Son Thanh Cao, Linh Anh Nguyen A Domain Partitioning Method for Bisimulation-Based Concept Learning in Description Logics Thanh-Luong Tran, Linh Anh Nguyen, Thi-Lan-Giao Hoang Measuring the Influence of Bloggers in Their Community Based on the H-index Family Dinh-Luyen Bui, Tri-Thanh Nguyen, Quang-Thuy Ha Automatic Question Generation for Educational Applications The State of Art Nguyen-Thinh Le, Tomoko Kojiri, Niels Pinkwart Part VI: Nonlinear Systems and Applications A New Approach Based on Interval Analysis and B-splines Properties for Solving Bivariate Nonlinear Equations Systems Ahmed Zidna, Dominique Michel Application of Sigmoid Models for Growth Investigations of Forest Trees Zoltán Pödör, Miklós Manninger, László Jereb Part VII: Computational Methods for Mobile and Wireless Networks GPS Tracklog Compression by Heading-Based Filtering Marcell Fehér, Bertalan Forstner Optimal Path Planning for Information Based Localization Francis Celeste, Frédéric Dambreville Formal Security Verification of Transport Protocols for Wireless Sensor Networks Vinh-Thong Ta, Amit Dvir, Levente Buttyán How to Apply Large Deviation Theory to Routing in WSNs János Levendovszky, Hoc Nguyen Thai

13 XIV Contents Efficient Core Selection for Multicast Routing in Mobile Ad Hoc Networks Dai Tho Nguyen, Thanh Le Dinh, Binh Minh Nguyen Author Index