Pub Date : 2014-10-16DOI: 10.1109/SISY.2014.6923606
Raul Miklos Kulcsar, I. Borozan, V. Argesanu, Laurentiu Maniu, F. Streian
The aim of this study is to determine the intervertebral stress that leads to spine musculoskeletal affections. To determine the intervertebral stress, the L4 and L5 vertebras were made by using rapid prototyping. Between the vertebras the intervertebral disc was made by using silicon material. In the intervertebral disc five force sensors were inserted. A STEWART platform was used to remake the vertebra's relative movements during that time with the aid of the five force sensor, the intervertebral stress was recorded. It was clearly shown at what load and movements during the drive, spine musculoskeletal affections can appear.
{"title":"Experimental determination of the intervertebral stress","authors":"Raul Miklos Kulcsar, I. Borozan, V. Argesanu, Laurentiu Maniu, F. Streian","doi":"10.1109/SISY.2014.6923606","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923606","url":null,"abstract":"The aim of this study is to determine the intervertebral stress that leads to spine musculoskeletal affections. To determine the intervertebral stress, the L4 and L5 vertebras were made by using rapid prototyping. Between the vertebras the intervertebral disc was made by using silicon material. In the intervertebral disc five force sensors were inserted. A STEWART platform was used to remake the vertebra's relative movements during that time with the aid of the five force sensor, the intervertebral stress was recorded. It was clearly shown at what load and movements during the drive, spine musculoskeletal affections can appear.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125776339","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923565
Beata Brassai, Boglárka Varga, Károly Simon, Tamas Torok-Vistai
The GeoQuesting project is presented, including the functional overview of the components and some details regarding their implementation. Development tools, patterns and technologies are also described. The project includes a mobile game application and a web application for game creation. The main component of the project is an adventure game running on mobile devices. While playing the game the player has to solve quests and to find checkpoints in different locations. A web-based user interface is provided for editing, managing and publishing games easily. In this way various quests can be created using different types of conditions (question answering, finding checkpoints based on GPS position etc.). GeoQuesting can be used in different domains: such as education (e.g.: a game showcasing historical places in a city), tourism (e.g.: a game for touring landmarks in a region), marketing, entertainment industry etc.
{"title":"GeoQuesting: Mobile adventure game and web-based game editor","authors":"Beata Brassai, Boglárka Varga, Károly Simon, Tamas Torok-Vistai","doi":"10.1109/SISY.2014.6923565","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923565","url":null,"abstract":"The GeoQuesting project is presented, including the functional overview of the components and some details regarding their implementation. Development tools, patterns and technologies are also described. The project includes a mobile game application and a web application for game creation. The main component of the project is an adventure game running on mobile devices. While playing the game the player has to solve quests and to find checkpoints in different locations. A web-based user interface is provided for editing, managing and publishing games easily. In this way various quests can be created using different types of conditions (question answering, finding checkpoints based on GPS position etc.). GeoQuesting can be used in different domains: such as education (e.g.: a game showcasing historical places in a city), tourism (e.g.: a game for touring landmarks in a region), marketing, entertainment industry etc.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126187168","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923575
N. Ralević, Dejan Ćebić
In this paper a new variant of optimal fourth-order iterative scheme for finding simple root of nonlinear equation has been considered. The method is numerically compared with several relevant two-step methods. The numerical performances based on the test examples agree with the theoretical analysis of the method.
{"title":"A variant of two-step optimal fourth-order iterative method for solving nonlinear equation","authors":"N. Ralević, Dejan Ćebić","doi":"10.1109/SISY.2014.6923575","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923575","url":null,"abstract":"In this paper a new variant of optimal fourth-order iterative scheme for finding simple root of nonlinear equation has been considered. The method is numerically compared with several relevant two-step methods. The numerical performances based on the test examples agree with the theoretical analysis of the method.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128618480","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923578
I. Rudas
Summary form only given. The New York Times declared 2012 as the year of the Massive Online Open Courses (MOOC). This also proves that MOOC is the latest and the most successful development in online education. These online courses are designed for large-scale participation, freely available with free access to all course materials, available through any web browser on any mobile device or computer The talk summarizes the main features of MOOCs, the history and the place of MOOC in Educational Delivery Models. The major players in the MOOC Universe and the two branches of MOOC, namely the The Stanford and MITx version and the rhizomatic version, are discussed. The second part of the talk deals with the future of MOOC, and expected advantages and disadvantages, the possible business orientation and the author's view, expectations and suggestions are summarized. In the last part the Óbuda University's initiative in MOOCs, called K-MOOC, its aims, realization, the first experiences and future plans are outlined.
{"title":"MOOC — The educational revolution of the century","authors":"I. Rudas","doi":"10.1109/SISY.2014.6923578","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923578","url":null,"abstract":"Summary form only given. The New York Times declared 2012 as the year of the Massive Online Open Courses (MOOC). This also proves that MOOC is the latest and the most successful development in online education. These online courses are designed for large-scale participation, freely available with free access to all course materials, available through any web browser on any mobile device or computer The talk summarizes the main features of MOOCs, the history and the place of MOOC in Educational Delivery Models. The major players in the MOOC Universe and the two branches of MOOC, namely the The Stanford and MITx version and the rhizomatic version, are discussed. The second part of the talk deals with the future of MOOC, and expected advantages and disadvantages, the possible business orientation and the author's view, expectations and suggestions are summarized. In the last part the Óbuda University's initiative in MOOCs, called K-MOOC, its aims, realization, the first experiences and future plans are outlined.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126108911","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923561
J. Simon
Localization is the method of finding a wireless sensor network (WSN) node's position in space. This paper presents the procedure for locating mobile nodes in a wireless sensor network, including the techniques for estimating internode distances and angles and how nodes compute their positions using trilateration, multilateration or triangulation. These methods use the distances of different nodes with known locations to compute a mobile node's 2D position. The location estimation is compared using these methods in a real test environment, in this case, a greenhouse. A comparison of localization error is also given based on a real measurement within the controlled microclimatic environment.
{"title":"Comparison of different mobile WSN node localization techniques within the controlled microclimatic environment","authors":"J. Simon","doi":"10.1109/SISY.2014.6923561","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923561","url":null,"abstract":"Localization is the method of finding a wireless sensor network (WSN) node's position in space. This paper presents the procedure for locating mobile nodes in a wireless sensor network, including the techniques for estimating internode distances and angles and how nodes compute their positions using trilateration, multilateration or triangulation. These methods use the distances of different nodes with known locations to compute a mobile node's 2D position. The location estimation is compared using these methods in a real test environment, in this case, a greenhouse. A comparison of localization error is also given based on a real measurement within the controlled microclimatic environment.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"38 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120884083","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923612
Beata Balazsi, Ors-Tihame Kardos, Sandor Raduly, Károly Simon
The purpose of the presented project is the development of a software system for broadcasting, tracking and managing traffic related information. The system contains a server and an Android client application for reporting and displaying traffic related events (traffic cameras, traffic jams, accidents, roadblocks, etc.). It also includes a web application for the system administrators and another web application for data management and analysis. Like other similar applications, the Sparrow project uses a predefined camera database, but it also gives opportunity for the users to report events in real-time. The software system ensures several additional functionalities, such as visual and audio notifications about the approaching events and data filtering possibilities. The interface of the client application is intuitive and it is easy and safe to use while driving.
{"title":"Software system for broadcasting and monitoring traffic information","authors":"Beata Balazsi, Ors-Tihame Kardos, Sandor Raduly, Károly Simon","doi":"10.1109/SISY.2014.6923612","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923612","url":null,"abstract":"The purpose of the presented project is the development of a software system for broadcasting, tracking and managing traffic related information. The system contains a server and an Android client application for reporting and displaying traffic related events (traffic cameras, traffic jams, accidents, roadblocks, etc.). It also includes a web application for the system administrators and another web application for data management and analysis. Like other similar applications, the Sparrow project uses a predefined camera database, but it also gives opportunity for the users to report events in real-time. The software system ensures several additional functionalities, such as visual and audio notifications about the approaching events and data filtering possibilities. The interface of the client application is intuitive and it is easy and safe to use while driving.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116073092","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923583
Peter Sarcevic, Szilveszter Pletl, Zoltán Kincses
Accelerometers gyroscopes and magnetometers can be used in a large variety of applications, and their calibration is a very actual problem due to high error rates, especially when errors are integrated in time. Systematic errors from the measurement values can be removed by sensor calibration, thus the applicability of the sensor can be increased. In this paper, a new evolutionary algorithm-based, quick and easy-to-use calibration method is presented. The algorithm has been developed and tested with real measurement data of the above-mentioned sensors. During this work, measurement data have been collected with 9 degree of freedom (9DOF) sensor boards, which are built up of three-axis accelerometer, gyroscope and magnetometer. For accelerometer and magnetometer calibration, bias values, scale factors and non-orthogonality corrections have been calculated, while for the gyroscopes only offsets have been determined.
{"title":"Evolutionary algorithm based 9DOF sensor board calibration","authors":"Peter Sarcevic, Szilveszter Pletl, Zoltán Kincses","doi":"10.1109/SISY.2014.6923583","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923583","url":null,"abstract":"Accelerometers gyroscopes and magnetometers can be used in a large variety of applications, and their calibration is a very actual problem due to high error rates, especially when errors are integrated in time. Systematic errors from the measurement values can be removed by sensor calibration, thus the applicability of the sensor can be increased. In this paper, a new evolutionary algorithm-based, quick and easy-to-use calibration method is presented. The algorithm has been developed and tested with real measurement data of the above-mentioned sensors. During this work, measurement data have been collected with 9 degree of freedom (9DOF) sensor boards, which are built up of three-axis accelerometer, gyroscope and magnetometer. For accelerometer and magnetometer calibration, bias values, scale factors and non-orthogonality corrections have been calculated, while for the gyroscopes only offsets have been determined.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125277771","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923580
G. Molnár, Zoltan Szuts
The incorporation of mobile devices and social media content into everyday life has radically changed the acquisition of information, reading, and learning mechanisms. As a consequence, a part of the users today form a demand for rapid acquisition of knowledge. It is now well known that users find information no longer only in printed, but in online sources and libraries, and search mostly on the world wide web. Today social networking sites have become a part of students' every day. Online social networking is now so deeply embedded in the lifestyles of students that it rivals television for their attention, according to a new study from Grunwald Associates LLC conducted in cooperation with the National School Boards Association. These sites and services are both independent of time and space and give students access to information as well as provide opportunity to become members of virtual groups. At the same time, the information boom has radically altered the teachers' roles. Teachers can no longer be a source of information, but are now meant to provide methodological assistance to students. There has never been such close links between the online collaborative working and learning environment. Both Hungarian and international practice shows many attempts and sets examples of direct or indirect use of the latest ICT-s (Information and Communication Technologies) in the teaching-learning processes. Due to the flexible nature of time and space management in the digital age, the “raison d'etre” of electronic and mobile learning is changing the environments and that is no longer question. The modern learning environment supported by ICT, latest mobile devices and online services is both effective and efficient. This modern communication services in addition to both traditional, narrative and verbal elements are built on new media elements where visuality and image sharing is a priority. Many foreign (Lev Manovich) and Hungarian (Sándor Forgó) empirical analysis deal with this issue. The new type of teaching-learning can addressed as connectivism and connective knowledge, which is adapted to 21st century man dynamic way of life. The central question to be examined in this paper is the use of advanced mobile communication services and applications (social media sites, virtual worlds, video sharing sites) in the base of higher education.
移动设备和社交媒体内容融入日常生活，从根本上改变了信息获取、阅读和学习机制。因此，今天的一部分用户形成了快速获取知识的需求。现在大家都知道，用户找到信息不再仅仅是在印刷，而是在网上资源和图书馆，并主要在万维网上搜索。今天，社交网站已经成为学生日常生活的一部分。格伦沃尔德联合有限责任公司(Grunwald Associates LLC)与美国全国学校董事会协会(National School Boards Association)合作进行的一项新研究显示，在线社交网络如今已深深融入了学生的生活方式，其吸引学生注意力的程度已堪比电视。这些网站和服务不受时间和空间的限制，为学生提供了获取信息的途径，并提供了成为虚拟群体成员的机会。与此同时，信息的繁荣也从根本上改变了教师的角色。教师不再是信息的来源，而是为学生提供方法上的帮助。在线协同工作与学习环境之间从未有过如此紧密的联系。匈牙利和国际实践显示了在教学过程中直接或间接使用最新信息和通信技术的许多尝试和例子。由于数字时代时间和空间管理的灵活性，电子和移动学习的“存在理由”正在改变环境，这已不再是问题。信息通信技术、最新移动设备和在线服务支持的现代学习环境既有效又高效。这种现代传播服务除了传统、叙事和语言元素之外，还建立在视觉和图像共享优先的新媒体元素之上。许多国外(Lev Manovich)和匈牙利(Sándor Forgó)的实证分析处理了这个问题。新型的教与学可以称为连接主义和连接知识，它适应了21世纪人类动态的生活方式。本文要研究的核心问题是在高等教育的基础上使用先进的移动通信服务和应用程序(社交媒体网站，虚拟世界，视频共享网站)。
{"title":"Advanced mobile communication and media devices and applications in the base of higher education","authors":"G. Molnár, Zoltan Szuts","doi":"10.1109/SISY.2014.6923580","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923580","url":null,"abstract":"The incorporation of mobile devices and social media content into everyday life has radically changed the acquisition of information, reading, and learning mechanisms. As a consequence, a part of the users today form a demand for rapid acquisition of knowledge. It is now well known that users find information no longer only in printed, but in online sources and libraries, and search mostly on the world wide web. Today social networking sites have become a part of students' every day. Online social networking is now so deeply embedded in the lifestyles of students that it rivals television for their attention, according to a new study from Grunwald Associates LLC conducted in cooperation with the National School Boards Association. These sites and services are both independent of time and space and give students access to information as well as provide opportunity to become members of virtual groups. At the same time, the information boom has radically altered the teachers' roles. Teachers can no longer be a source of information, but are now meant to provide methodological assistance to students. There has never been such close links between the online collaborative working and learning environment. Both Hungarian and international practice shows many attempts and sets examples of direct or indirect use of the latest ICT-s (Information and Communication Technologies) in the teaching-learning processes. Due to the flexible nature of time and space management in the digital age, the “raison d'etre” of electronic and mobile learning is changing the environments and that is no longer question. The modern learning environment supported by ICT, latest mobile devices and online services is both effective and efficient. This modern communication services in addition to both traditional, narrative and verbal elements are built on new media elements where visuality and image sharing is a priority. Many foreign (Lev Manovich) and Hungarian (Sándor Forgó) empirical analysis deal with this issue. The new type of teaching-learning can addressed as connectivism and connective knowledge, which is adapted to 21st century man dynamic way of life. The central question to be examined in this paper is the use of advanced mobile communication services and applications (social media sites, virtual worlds, video sharing sites) in the base of higher education.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115013830","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923599
S. Medić, T. Grbić, A. Perović, N. Duraković
A natural generalization of (classical) measures are monotone set valued functions, the so called non-additive measures. Further generalization of measures are interval-valued measures and interval-valued non-additive measures. Since interval-valued ⊕-measures, as a special case of interval-valued non-additive measures, have been extensively applied in the mathematical representation of the various aspects of uncertainty, the present paper offers a generalization of Chebyshev, Hölder and Minkowski types inequalities obtained by g-integrals for non-negative real-valued functions with respect to an interval-valued ⊕-measures.
{"title":"Interval-valued Chebyshev, Hölder and Minkowski inequalities based on g-integrals","authors":"S. Medić, T. Grbić, A. Perović, N. Duraković","doi":"10.1109/SISY.2014.6923599","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923599","url":null,"abstract":"A natural generalization of (classical) measures are monotone set valued functions, the so called non-additive measures. Further generalization of measures are interval-valued measures and interval-valued non-additive measures. Since interval-valued ⊕-measures, as a special case of interval-valued non-additive measures, have been extensively applied in the mathematical representation of the various aspects of uncertainty, the present paper offers a generalization of Chebyshev, Hölder and Minkowski types inequalities obtained by g-integrals for non-negative real-valued functions with respect to an interval-valued ⊕-measures.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125011531","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 : 2014-10-16DOI: 10.1109/SISY.2014.6923559
Madalina Erascu
We report on our on-going efforts to apply real quantifier elimination to the (semi-)automatic complexity analysis of numerical algorithms. In particular, we describe a case study on the square root problem: given a real number x and an error bound, find a real interval such that it contains √x and its width is less than or equal to ε. A typical numerical algorithm starts with an initial interval and repeatedly updates it by applying a “refinement map” on it until it becomes narrow enough. In this paper, the complexity analysis amounts to find the smallest maximum number of loop iterations of the algorithm. Hence, the algorithm must be correct, terminating and optimal. It can be formulated as a quantifier elimination problem over real numbers. Hence, in principle, the complexity analysis can be carried out automatically. However, the computational requirement is huge, making the automatic analysis practically impossible with the current general real quantifier elimination software. We overcame the difficulty by (1) carefully reducing a complicated quantified formula into several simpler ones and (2) automatically eliminating the quantifiers from the resulting ones using the state-of-the-art quantifier elimination software. As the result, we were able to compute semi-automatically the complexity of a class of optimal contracting maps.
{"title":"Semi-automatic analysis of algorithm complexity (Case study: Square-root computation)","authors":"Madalina Erascu","doi":"10.1109/SISY.2014.6923559","DOIUrl":"https://doi.org/10.1109/SISY.2014.6923559","url":null,"abstract":"We report on our on-going efforts to apply real quantifier elimination to the (semi-)automatic complexity analysis of numerical algorithms. In particular, we describe a case study on the square root problem: given a real number x and an error bound, find a real interval such that it contains √x and its width is less than or equal to ε. A typical numerical algorithm starts with an initial interval and repeatedly updates it by applying a “refinement map” on it until it becomes narrow enough. In this paper, the complexity analysis amounts to find the smallest maximum number of loop iterations of the algorithm. Hence, the algorithm must be correct, terminating and optimal. It can be formulated as a quantifier elimination problem over real numbers. Hence, in principle, the complexity analysis can be carried out automatically. However, the computational requirement is huge, making the automatic analysis practically impossible with the current general real quantifier elimination software. We overcame the difficulty by (1) carefully reducing a complicated quantified formula into several simpler ones and (2) automatically eliminating the quantifiers from the resulting ones using the state-of-the-art quantifier elimination software. As the result, we were able to compute semi-automatically the complexity of a class of optimal contracting maps.","PeriodicalId":277041,"journal":{"name":"2014 IEEE 12th International Symposium on Intelligent Systems and Informatics (SISY)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127037287","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
扫码关注我们
求助内容：
应助结果提醒方式：