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

2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)最新文献

筛选
英文 中文
Testing concepts in Safety-Critical Development 安全关键开发中的测试概念
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928232
Miklos Taliga, Henriette Steiner-Komoróczki
{"title":"Testing concepts in Safety-Critical Development","authors":"Miklos Taliga, Henriette Steiner-Komoróczki","doi":"10.1109/CINTI.2018.8928232","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928232","url":null,"abstract":"Electronic devices installed in today's cars are able to solve more and more complex tasks aimed at enhancing the comfortability and safety of car users. The testing of these newly appeared devices is becoming more and more of a challenge to testing professionals. In the automobile industry, it is not enough anymore to put customers into the main focus of testing-instead, testing should closely fit the standards and directives concerning development. So, in my article, I am going to examine the standards and processes used in the safety-critical development system within the automobile industry. Regarding these standards, directives, and traditional testing aspects, I am going to determine testing groups and their related test activities. At the end of my article, I am going to illustrate the testing concept with examples.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117050309","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
Road Accident Black Spot Localisation using Morphological Image Processing Methods on Heatmap 基于热图形态学图像处理方法的道路交通黑点定位
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928248
S. Szénási, I. Felde, Gábor Kertész, L. Nádai
{"title":"Road Accident Black Spot Localisation using Morphological Image Processing Methods on Heatmap","authors":"S. Szénási, I. Felde, Gábor Kertész, L. Nádai","doi":"10.1109/CINTI.2018.8928248","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928248","url":null,"abstract":"Heatmaps are widely used by road safety engineers to visualise accident data (where heat refers to the concentration of accidents). In the subfield of road accident black spot localisation, the high number of similar black spot candidate locations makes this method unreliable and difficult to use. An additional process to convert the clusters of the heatmap into a list of black spot candidates results in an objective, comparable outcome. As we will show, the commonly used thresholding method (considering pixels above a given limit as parts of black spots) has several limitations. This paper presents a novel image processing approach to quantify the raw data of the heatmap. It is possible to give a more accurate splitting between black spot and safe areas, using the morphological function named erosion.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"113 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121529270","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
Classification of source code solutions based on the solved programming tasks 分类的源代码解决方案的基础上解决的编程任务
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928201
Ádám Pintér, S. Szénási
{"title":"Classification of source code solutions based on the solved programming tasks","authors":"Ádám Pintér, S. Szénási","doi":"10.1109/CINTI.2018.8928201","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928201","url":null,"abstract":"The programming is based on the source code. It is often difficult to determine from the source code what task was solved, due to the diversity of programming. For this reason, developers often do not recognize the functionality of existing codes and waste time by re-implementing the problem. This paper presents a machine-based model that can effectively identify and assign the source code to the solved task. Machine learning implements by a convolution network, which requires the presence of consistent (properly functioning, outputs the expected output for each input) source codes to the input. To convert the text data will be used for text processing using CBOW model, which model will be able to classify the source codes written in the same language.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"178 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120870428","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
8D Usage in Automotive Industry 8D在汽车工业中的应用
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928206
A. Koncz, L. Pokorádi
{"title":"8D Usage in Automotive Industry","authors":"A. Koncz, L. Pokorádi","doi":"10.1109/CINTI.2018.8928206","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928206","url":null,"abstract":"8D is an important manufacturing problem solving method, described in standards (IATF 16949, ISO 9001 automotive surplus criteria), and in handbooks of manufacturing companies. It is mainly used in automotive industry, in the whole supplier chain, but even in the machinery sector. The aim of this paper is to introduce the method and its connection with FMEA (Failure Mode and Effects Analysis).","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123194161","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
BaW 1.0 - A Problem Specific SAT Solver for Effective Strong Connectivity Testing in Sparse Directed Graphs 一个用于稀疏有向图中有效的强连通性测试的SAT求解器
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928191
C. Biró, Gábor Kusper
{"title":"BaW 1.0 - A Problem Specific SAT Solver for Effective Strong Connectivity Testing in Sparse Directed Graphs","authors":"C. Biró, Gábor Kusper","doi":"10.1109/CINTI.2018.8928191","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928191","url":null,"abstract":"In our previous works, we proved that if a directed graph is strongly connected, then the generated 2-SAT problem is a black-and-white 2-SAT problem, which has two solutions: where each variable is true (the white assignment), and where each variable is false (the black one). We proved also theoretically that these problems could be solved in linear time. In this article we present a DPLL-based problem specific SAT solver called BaW 1.0. Problem specific, because the BaW 1.0 is not a complete SAT solver, it is only validated for our special black-and-white 2-SAT problem based benchmarks. First, we show how to solve the black-and-white 2-SAT problems in linear time and how to use this solver for effective strong connectivity testing in large and sparse directed graphs. After that we present our results on these benchmarks which show that remarkable improvements have taken place in the number of solved instances as well as in the computation time compared to existing modern State-of-the-art SAT solvers (CSFLOC 8, Glucose 3.0).","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127400966","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}
引用次数: 6
Hybrid Trajectory Planning for Autonomous Vehicles using Neural Networks 基于神经网络的自动驾驶汽车混合轨迹规划
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928220
Ferenc Hegedüs, Tamás Bécsi, S. Aradi, G. Gáldi
{"title":"Hybrid Trajectory Planning for Autonomous Vehicles using Neural Networks","authors":"Ferenc Hegedüs, Tamás Bécsi, S. Aradi, G. Gáldi","doi":"10.1109/CINTI.2018.8928220","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928220","url":null,"abstract":"Highly automated driving, let it be high level advanced driver assistance system (ADAS) or autonomous vehicle is an intensely developing area, in which trajectory planning is an important layer serving multiple needs of safety, feasibility or passenger comfort. To provide dynamically feasible trajectory planning for vehicles based on different control goals one has to deal with the trade-off between numerical resources and correctness. The first part of the paper presents a solution which uses classical optimization based approach that generates the expected results though on the expense of computational effort, which is not acceptable in real-time environment. Two hybrid approaches are introduced in the second part, where the optimization is replaced or aided with artificial neural networks (ANN), trained with the data generated off-line by the first planner. Results show that the solution highly decreases the running time of the algorithm, with almost the same level of performance. The described algorithm can be used as a base for a generic dynamically feasible yet real-time solution.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132136616","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
Few Words about Reliability of Vehicle Systems with Complex Interconnections 浅谈复杂互连车辆系统的可靠性
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928247
Timea Lazar-Fulep
{"title":"Few Words about Reliability of Vehicle Systems with Complex Interconnections","authors":"Timea Lazar-Fulep","doi":"10.1109/CINTI.2018.8928247","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928247","url":null,"abstract":"This paper is closely connected to EFOP project called Dynamics and Control of Autonomous Vehicles meeting the Synergy Demands of Automated Transport Systems (EFOP-3.6.2-16-2017-00016), in which the following research consortium is taking part: Szechenyi Istvan University, Neumann Janos University, Dunaujvarosi University and Obudai University. The aim of the research is to elaborate mathematical methods and procedures which support design of technical systems and system elements with increasing complexity introduced in autonomous vehicles and transportation systems taking into operational safety and maintenance risk factors into account. This includes investigation of reliability and development of the joint risk assessment methods of vehicle sensor networks.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121410312","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}
引用次数: 7
A Folded Microstrip Antenna Structure Based Differential Phase Shift Keying Modulation Technique 一种基于折叠微带天线结构的差分相移键控调制技术
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928213
Y. Alnaiemy, T. Elwi, N. Lajos
{"title":"A Folded Microstrip Antenna Structure Based Differential Phase Shift Keying Modulation Technique","authors":"Y. Alnaiemy, T. Elwi, N. Lajos","doi":"10.1109/CINTI.2018.8928213","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928213","url":null,"abstract":"modulating electromagnetic signals in the antenna circuitry is discussed in this paper. The benefit of integrating high speed electronic elements with the antenna design is demonstrated numerically. The antenna structure is constructed from non-concentric two elliptical patches for broad band applications in spread spectrum systems. Two identical antennas are fed with a microstrip line of two branches with a phase shift to perform a Phase Shift Keying (PSK) modulation. Using Computer Simulation Technology/Microwave Studio (CSTMWS) based on Finite Integral Technique (FIT) of Frequency Domain (FD) algorithm, an optimization process is applied to design the transmission line structure at the desired resonance frequency of the antenna element. The other important part that is achieved in this work is the antenna patch reduction to be suitable for biomedical devices. A cylindrical substrate is used to bend the antenna structure on for biomedical applications. Finally, the antenna shows a gain of 2.5dBi at 5.03GHz with a phase shift about 180°.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131671665","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
Discrete time Control Solutions for Inverted Pendulum Crane Mode Control 倒立摆起重机模式控制的离散时间控制方法
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928233
Claudia-Adina Bojan-Dragos, R. Precup, Elena-Lorena Hedrea, A. Simo, Alexandra Daia
{"title":"Discrete time Control Solutions for Inverted Pendulum Crane Mode Control","authors":"Claudia-Adina Bojan-Dragos, R. Precup, Elena-Lorena Hedrea, A. Simo, Alexandra Daia","doi":"10.1109/CINTI.2018.8928233","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928233","url":null,"abstract":"This paper presents the design and validation of three discrete-time control solutions (CSs) for the position control of the inverted pendulum system, namely: a Two Degrees of Freedom control structure and two Model Predictive control structures design by minimizing of an objective function on one and several steps. A comparative study of the proposed CSs is also included. All CSs were tested in the same scenario and validated by real time experiments.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133959988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Comparative Review of Microservices and Monolithic Architectures 微服务和单片架构的比较综述
2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI) Pub Date : 2018-11-01 DOI: 10.1109/CINTI.2018.8928192
Omar Al-Debagy, P. Martinek
{"title":"A Comparative Review of Microservices and Monolithic Architectures","authors":"Omar Al-Debagy, P. Martinek","doi":"10.1109/CINTI.2018.8928192","DOIUrl":"https://doi.org/10.1109/CINTI.2018.8928192","url":null,"abstract":"Microservices' architecture is getting attention in the academic community and the industry, and mostly is compared with monolithic architecture. Plenty of the results of these research papers contradict each other regarding the performance of these architectures. Therefore, these two architectures are compared in this paper, and some specific configurations of microservices' applications are evaluated as well in the term of service discovery. Monolithic architecture in concurrency testing showed better performance in throughput by 6% when compared to microservices architecture. The load testing scenario did not present significant difference between the two architectures. Furthermore, a third test comparing microservices applications built with different service discovery technologies such as Consul and Eureka showed that applications with Consul presented better results in terms of throughput.","PeriodicalId":409514,"journal":{"name":"2018 IEEE 18th International Symposium on Computational Intelligence and Informatics (CINTI)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124719999","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}
引用次数: 56
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书