首页 > 最新文献

2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)最新文献

英文 中文
Immune System Modeling and Analysis using CARMA 基于CARMA的免疫系统建模与分析
Daniela Paula Petrinca, E. Todoran
CARMA(Collective Adaptive Resource-Sharing Markovian Agents) is a recently developed stochastic process algebra language which provides constructions for specifying the behavior of collective adaptive systems. By using CARMA and membrane computing patterns, in this paper we develop and analyze a model of the immune system response against virus attacks. By varying the rates of virus propagation,replication and destruction in our CARMA model, we investigate formal conditions for successful immune responses.
集体自适应资源共享马尔可夫智能体(CARMA)是近年来发展起来的一种随机过程代数语言,它提供了描述集体自适应系统行为的结构。通过使用CARMA和膜计算模式,我们开发和分析了免疫系统对病毒攻击的反应模型。通过在我们的CARMA模型中改变病毒传播、复制和破坏的速率,我们研究了成功免疫反应的正式条件。
{"title":"Immune System Modeling and Analysis using CARMA","authors":"Daniela Paula Petrinca, E. Todoran","doi":"10.1109/ICCP.2018.8516596","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516596","url":null,"abstract":"CARMA(Collective Adaptive Resource-Sharing Markovian Agents) is a recently developed stochastic process algebra language which provides constructions for specifying the behavior of collective adaptive systems. By using CARMA and membrane computing patterns, in this paper we develop and analyze a model of the immune system response against virus attacks. By varying the rates of virus propagation,replication and destruction in our CARMA model, we investigate formal conditions for successful immune responses.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130669724","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
Experimental Analysis of Emotion Classification Techniques 情绪分类技术的实验分析
Tiberius Dumitriu, Corina Cimpanu, F. Ungureanu, V. Manta
Existing achievements in the domain of HumanComputer Interaction (HCI) intend to attain a more natural interplay between its involved actors. Automatic and reliable estimations of affective states in particular from physiological signals received much attention lately. From the physiological measures point of view, emotion assessment benefits of pure, unaltered sensations in contrast to facial or vocal measures that can be simulated. In this paper, some physiological measures based classification approaches for assessing the affective state are analyzed in different scenarios. The analysis is performed on the data acquired from Eye-Tracker (ET) sensors, as well as for Heart Rate (HR) and Electro-Dermal Activity (EDA) in visual stimuli based experiments. To this end, a comparison between AdaBoost (AB), K Nearest Neighbors (KNN), Linear Discriminant Analysis (LDA) and Support Vector Machine (SVM) is accomplished examining entropy indices as primary features.
人机交互(HCI)领域的现有成果旨在实现其参与者之间更自然的相互作用。情感状态的自动和可靠的估计,特别是生理信号的估计,近年来受到了广泛的关注。从生理测量的角度来看,与可以模拟的面部或声音测量相比,纯粹的、未改变的感觉对情绪评估有好处。本文分析了几种基于生理测量的情感状态评估分类方法在不同情境下的应用。分析数据来自眼动仪(ET)传感器,以及基于视觉刺激的实验中的心率(HR)和皮肤电活动(EDA)。为此,以熵指标为主要特征,对AdaBoost (AB)、K近邻(KNN)、线性判别分析(LDA)和支持向量机(SVM)进行了比较。
{"title":"Experimental Analysis of Emotion Classification Techniques","authors":"Tiberius Dumitriu, Corina Cimpanu, F. Ungureanu, V. Manta","doi":"10.1109/ICCP.2018.8516647","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516647","url":null,"abstract":"Existing achievements in the domain of HumanComputer Interaction (HCI) intend to attain a more natural interplay between its involved actors. Automatic and reliable estimations of affective states in particular from physiological signals received much attention lately. From the physiological measures point of view, emotion assessment benefits of pure, unaltered sensations in contrast to facial or vocal measures that can be simulated. In this paper, some physiological measures based classification approaches for assessing the affective state are analyzed in different scenarios. The analysis is performed on the data acquired from Eye-Tracker (ET) sensors, as well as for Heart Rate (HR) and Electro-Dermal Activity (EDA) in visual stimuli based experiments. To this end, a comparison between AdaBoost (AB), K Nearest Neighbors (KNN), Linear Discriminant Analysis (LDA) and Support Vector Machine (SVM) is accomplished examining entropy indices as primary features.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"133 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133441632","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
Environment Perception Architecture using Images and 3D Data 使用图像和3D数据的环境感知架构
Horatiu Florea, R. Varga, S. Nedevschi
This paper discusses the architecture of an environment perception system for autonomous vehicles. The modules of the system are described briefly and we focus on important changes in the architecture that enable: decoupling of data acquisition from data processing; synchronous data processing; parallel computation on GPU and multiple CPU cores; efficient data passing using pointers; adaptive architecture capable of working with different number of sensors. The experimental results compare execution times before and after the proposed optimizations. We achieve a 10 Hz frame rate for an object detection system working with 4 cameras and 4 LIDAR point clouds.
本文讨论了自动驾驶汽车环境感知系统的体系结构。简要介绍了系统的模块,重点介绍了系统架构中的重要变化,这些变化实现了数据采集与数据处理的分离;同步数据处理;GPU和CPU多核并行计算;使用指针进行高效的数据传递;自适应架构,能够处理不同数量的传感器。实验结果比较了优化前后的执行时间。我们实现了一个具有4个摄像头和4个激光雷达点云的目标检测系统的10 Hz帧率。
{"title":"Environment Perception Architecture using Images and 3D Data","authors":"Horatiu Florea, R. Varga, S. Nedevschi","doi":"10.1109/ICCP.2018.8516581","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516581","url":null,"abstract":"This paper discusses the architecture of an environment perception system for autonomous vehicles. The modules of the system are described briefly and we focus on important changes in the architecture that enable: decoupling of data acquisition from data processing; synchronous data processing; parallel computation on GPU and multiple CPU cores; efficient data passing using pointers; adaptive architecture capable of working with different number of sensors. The experimental results compare execution times before and after the proposed optimizations. We achieve a 10 Hz frame rate for an object detection system working with 4 cameras and 4 LIDAR point clouds.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124471221","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
Adapting the SoundThimble Movement Sonification System for Young Motion-impaired Users 为年轻的运动障碍用户调整声音顶针运动声音系统
Grigore Burloiu
SoundThimble is an interactive sound installation which uses motion capture and machine learning to establish relationships between human movement and virtual objects in 3D space. This paper documents the strategy for adapting this system for interacting with children with physical and cognitive impairments. Starting from a specific child subject, we show how the hardware, software and interaction design can be modified, with the view of generalising to a wider range of young disabled users. The project’s ultimate goal is threefold: inclusion, entertainment, and rehabilitation.
SoundThimble是一个交互式声音装置,它使用动作捕捉和机器学习来建立3D空间中人类运动和虚拟物体之间的关系。本文记录了适应该系统与身体和认知障碍儿童互动的策略。从一个特定的儿童主题开始,我们展示了如何修改硬件,软件和交互设计,并将其推广到更广泛的年轻残疾用户。该项目的最终目标有三个:包容、娱乐和康复。
{"title":"Adapting the SoundThimble Movement Sonification System for Young Motion-impaired Users","authors":"Grigore Burloiu","doi":"10.1109/ICCP.2018.8516435","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516435","url":null,"abstract":"SoundThimble is an interactive sound installation which uses motion capture and machine learning to establish relationships between human movement and virtual objects in 3D space. This paper documents the strategy for adapting this system for interacting with children with physical and cognitive impairments. Starting from a specific child subject, we show how the hardware, software and interaction design can be modified, with the view of generalising to a wider range of young disabled users. The project’s ultimate goal is threefold: inclusion, entertainment, and rehabilitation.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124037574","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 Fast Ransac Based Approach for Computing the Orientation of Obstacles in Traffic Scenes 一种基于快速Ransac的交通场景障碍物方向计算方法
F. Oniga, S. Nedevschi
A low complexity approach for computing the orientation of 3D obstacles, detected from lidar data, is proposed in this paper. The proposed method takes as input obstacles represented as cuboids without orientation (aligned with the reference frame). Each cuboid contains a cluster of obstacle locations (discrete grid cells). First, for each obstacle, the boundaries that are visible for the perception system are selected. A model consisting of two perpendicular lines is fitted to the set of boundary cells, one for each presumed visible side. The main dominant line is computed with a RANSAC approach. Then, the second line is searched, using a constraint of perpendicularity on the dominant line. The existence of the second line is used to validate the orientation. Finally, additional criteria are proposed to select the best orientation based on the free area of the cuboid (on top view) that is visible to the perception system.
本文提出了一种计算激光雷达数据中三维障碍物方向的低复杂度方法。该方法将障碍物以无方向的长方体(与参考系对齐)表示为输入。每个长方体包含一组障碍物位置(离散网格单元)。首先,对于每个障碍物,选择感知系统可见的边界。由两条垂直线组成的模型被拟合到一组边界单元中,每个单元对应一个假定的可见侧。主主导线是用RANSAC方法计算的。然后,使用主导线上的垂直性约束搜索第二条线。第二行的存在性用于验证方向。最后,提出了基于感知系统可见的长方体(俯视图)的自由面积来选择最佳方向的附加标准。
{"title":"A Fast Ransac Based Approach for Computing the Orientation of Obstacles in Traffic Scenes","authors":"F. Oniga, S. Nedevschi","doi":"10.1109/ICCP.2018.8516642","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516642","url":null,"abstract":"A low complexity approach for computing the orientation of 3D obstacles, detected from lidar data, is proposed in this paper. The proposed method takes as input obstacles represented as cuboids without orientation (aligned with the reference frame). Each cuboid contains a cluster of obstacle locations (discrete grid cells). First, for each obstacle, the boundaries that are visible for the perception system are selected. A model consisting of two perpendicular lines is fitted to the set of boundary cells, one for each presumed visible side. The main dominant line is computed with a RANSAC approach. Then, the second line is searched, using a constraint of perpendicularity on the dominant line. The existence of the second line is used to validate the orientation. Finally, additional criteria are proposed to select the best orientation based on the free area of the cuboid (on top view) that is visible to the perception system.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123236296","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
Benchmarking and User Types in Virtual Desktop Infrastructures 虚拟桌面基础架构中的基准测试和用户类型
Christina Sigl, A. Berl
There are many different benchmarks and user types available to evaluate virtual desktop infrastructure solutions. Benchmarks as well as user types are not directly comparable, because they are not uniformly defined. Therefore, the existing benchmarks and user types are analyzed. Benchmarks are analyzed and discussed with regard to the appropriate purpose and structured into the proposed scheme. Existing user types are analyzed with regard to their properties, workloads and complexity. Hence, a classification scheme is proposed. The adaption of both proposed schemes is discussed for the workstation based virtual desktop infrastructure approach.
有许多不同的基准测试和用户类型可用于评估虚拟桌面基础架构解决方案。基准测试和用户类型不能直接比较,因为它们没有统一定义。因此,对现有的基准测试和用户类型进行分析。根据适当的目的对基准进行分析和讨论,并将其纳入拟议方案。现有用户类型根据其属性、工作负载和复杂性进行分析。因此,提出了一种分类方案。讨论了这两种方案在基于工作站的虚拟桌面基础设施中的应用。
{"title":"Benchmarking and User Types in Virtual Desktop Infrastructures","authors":"Christina Sigl, A. Berl","doi":"10.1109/ICCP.2018.8516634","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516634","url":null,"abstract":"There are many different benchmarks and user types available to evaluate virtual desktop infrastructure solutions. Benchmarks as well as user types are not directly comparable, because they are not uniformly defined. Therefore, the existing benchmarks and user types are analyzed. Benchmarks are analyzed and discussed with regard to the appropriate purpose and structured into the proposed scheme. Existing user types are analyzed with regard to their properties, workloads and complexity. Hence, a classification scheme is proposed. The adaption of both proposed schemes is discussed for the workstation based virtual desktop infrastructure approach.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125744810","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
Cross Documents Concept Augmentation 跨文档概念增强
M. Vasiu, L. Marghescu, Ioana Barbantan, R. Potolea
The current paper proposes a strategy for exploring and integrating related information extracted from unstructured documents with different degree of confidence, standardization and representation. The strategy was instantiated on the medical domain and designed for the English language. The goal of the proposed strategy was of augmenting the therapeutic information from patient leaflets with information extracted from clinical records. The approach proved to be a sound one as the information from the clinical records aligns with the information in the standardized sources. It confirmed the assumption that we can derive drug repositioning from clinical records and thus augmenting the existing medical knowledge. The reported metrics <95.14% precision, 83.3% recall>for patient leaflets and <94.07% precision, 87.27% recall >for EHRs measured for the concept extraction strategy, further support a good performance for the entities correlation approach. The degree of correlation between the extracted information from the two data sources reported as matches is of 85%.
本文提出了一种从不同置信度、标准化和代表性的非结构化文档中提取相关信息的挖掘和集成策略。该策略在医学领域实例化,并为英语语言设计。所提出的策略的目标是从临床记录中提取的信息来增强患者小叶中的治疗信息。由于临床记录的信息与标准化来源的信息一致,该方法被证明是一种合理的方法。它证实了我们可以从临床记录中得出药物重新定位的假设,从而增加了现有的医学知识。为概念提取策略测量的患者宣传单和电子病历的报告指标进一步支持实体关联方法的良好性能。从报告为匹配的两个数据源中提取的信息之间的相关性为85%。
{"title":"Cross Documents Concept Augmentation","authors":"M. Vasiu, L. Marghescu, Ioana Barbantan, R. Potolea","doi":"10.1109/ICCP.2018.8516582","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516582","url":null,"abstract":"The current paper proposes a strategy for exploring and integrating related information extracted from unstructured documents with different degree of confidence, standardization and representation. The strategy was instantiated on the medical domain and designed for the English language. The goal of the proposed strategy was of augmenting the therapeutic information from patient leaflets with information extracted from clinical records. The approach proved to be a sound one as the information from the clinical records aligns with the information in the standardized sources. It confirmed the assumption that we can derive drug repositioning from clinical records and thus augmenting the existing medical knowledge. The reported metrics <95.14% precision, 83.3% recall>for patient leaflets and <94.07% precision, 87.27% recall >for EHRs measured for the concept extraction strategy, further support a good performance for the entities correlation approach. The degree of correlation between the extracted information from the two data sources reported as matches is of 85%.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132656567","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
NEARBY Platform for Detecting Asteroids in Astronomical Images Using Cloud-based Containerized Applications 利用基于云的容器化应用在天文图像中探测小行星的NEARBY平台
V. Bâcu, A. Sabou, T. Stefanut, D. Gorgan, Ovidiu Vaduvescu
The continuing monitoring and surveying of the nearby space to detect Near Earth Objects (NEOs) and Near Earth Asteroids (NEAs) are essential because of the threats that this kind of objects impose on the future of our planet. We need more computational resources and advanced algorithms to deal with the exponential growth of the digital cameras’ performances and to be able to process (in near real-time) data coming from large surveys. This paper presents a software platform called NEARBY that supports automated detection of moving sources (asteroids) among stars from astronomical images. The detection procedure is based on the classic “blink” detection and, after that, the system supports visual analysis techniques to validate the moving sources, assisted by static and dynamical presentations.
对近地天体和近地小行星的持续监测和测量是必不可少的,因为这类天体对我们星球的未来构成了威胁。我们需要更多的计算资源和先进的算法来处理数码相机性能的指数级增长,并能够处理(近乎实时的)来自大型调查的数据。本文提出了一个名为NEARBY的软件平台,该平台支持从天文图像中自动检测恒星之间的移动源(小行星)。检测过程基于经典的“闪烁”检测,之后,系统支持视觉分析技术来验证移动源,并辅以静态和动态演示。
{"title":"NEARBY Platform for Detecting Asteroids in Astronomical Images Using Cloud-based Containerized Applications","authors":"V. Bâcu, A. Sabou, T. Stefanut, D. Gorgan, Ovidiu Vaduvescu","doi":"10.1109/ICCP.2018.8516578","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516578","url":null,"abstract":"The continuing monitoring and surveying of the nearby space to detect Near Earth Objects (NEOs) and Near Earth Asteroids (NEAs) are essential because of the threats that this kind of objects impose on the future of our planet. We need more computational resources and advanced algorithms to deal with the exponential growth of the digital cameras’ performances and to be able to process (in near real-time) data coming from large surveys. This paper presents a software platform called NEARBY that supports automated detection of moving sources (asteroids) among stars from astronomical images. The detection procedure is based on the classic “blink” detection and, after that, the system supports visual analysis techniques to validate the moving sources, assisted by static and dynamical presentations.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"42 32","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120930541","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}
引用次数: 5
Towards Improving Location Identification by Deep Learning on Images 基于图像的深度学习改进位置识别
R. R. Slavescu, L. Szakacs
When we rely on GPS systems for navigating inside cities, localization errors might arise, especially when passing crossroads or in areas with bad signal due to high buildings. To address this, we investigated a new navigation method, based on identifying location through Deep Learning. We trained two Convolutional Neural Networks on street images, then used them for location recognition. The first neural network is responsible to identify the street, while the second one to identify the segment of the street we are on. We have obtained 99.70% accuracy for street recognition and 96.02% for segment recognition. The results show that, at a proof-of-concept level, the Convolutional Neural Networks are able to accurately identify the location using images, which could be used for complementing the GPS localization systems.
当我们依靠GPS系统在城市内导航时,可能会出现定位错误,特别是在经过十字路口或由于高楼大厦而信号不好的地区时。为了解决这个问题,我们研究了一种新的导航方法,基于通过深度学习识别位置。我们在街道图像上训练了两个卷积神经网络,然后用它们来进行位置识别。第一个神经网络负责识别街道,而第二个神经网络负责识别我们所在的街道路段。街道识别准确率为99.70%,路段识别准确率为96.02%。结果表明,在概念验证层面,卷积神经网络能够使用图像准确识别位置,这可以用于补充GPS定位系统。
{"title":"Towards Improving Location Identification by Deep Learning on Images","authors":"R. R. Slavescu, L. Szakacs","doi":"10.1109/ICCP.2018.8516641","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516641","url":null,"abstract":"When we rely on GPS systems for navigating inside cities, localization errors might arise, especially when passing crossroads or in areas with bad signal due to high buildings. To address this, we investigated a new navigation method, based on identifying location through Deep Learning. We trained two Convolutional Neural Networks on street images, then used them for location recognition. The first neural network is responsible to identify the street, while the second one to identify the segment of the street we are on. We have obtained 99.70% accuracy for street recognition and 96.02% for segment recognition. The results show that, at a proof-of-concept level, the Convolutional Neural Networks are able to accurately identify the location using images, which could be used for complementing the GPS localization systems.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116411452","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
Atomic invariants verification and deadlock detection at compile-time 编译时的原子不变量验证和死锁检测
Ionut Tamas, I. Salomie, Marcel Antal
Modern systems must take full advantage of the underlying hardware paradigms in order to yield higher throughput and lower latency. A common way of maximizing the hardware usage in a system is by leveraging multithreaded techniques. These techniques however are very hard to reason by and can yield hard to detect bugs, such as deadlocks, livelocks or race conditions from unwanted interleavings of threads in the system's execution. Atomic locks are a standard mechanism to provide a safe way to alleviate such issues by specifying what regions of code need to be executed atomically such that regardless of the threads interleavings the shared memory remains in a consistent state and makes the code execution as a simple serial execution that easy to analyze and reason by, yielding increased programmer productivity and system efficiency. Our paper proposes a system that allows user to easily verify if a C# codebase has correctly implemented the way shared memory (field or properties) are modified and is able to detect race conditions or deadlocks for the specified shared memory. The main goal is to improve developer productivity and to improve the system codebase by specifying the atomicity constraints as unit or integration tests. We present the overall architecture of the system and how it detects the way certain atomic invariants are checked and deadlocks are identified, as well as the integration with an existing codebase. We also describe how the system proves correctness in checking these invariants. We have verified our system against multithreaded C# codebases and the system successfully checks the atomicity invariants and deadlock cases outputting the correct scenarios of how these can happen. We have also provided a way to decrease the risk of concurrency bugs regressions and improving the code quality, thus proving that our system achieves the proposed goals of providing a way for increased developer productivity, correct detection of deadlocks, atomic invariants checking and concurrency bugs mitigation.
现代系统必须充分利用底层硬件范例,以产生更高的吞吐量和更低的延迟。最大化系统中硬件使用的一种常见方法是利用多线程技术。然而,这些技术非常难以推理,并且可能产生难以检测的bug,例如死锁、活动锁或系统执行中不必要的线程交错造成的竞争条件。原子锁是一种标准机制,它提供了一种安全的方式来缓解这类问题,通过指定需要自动执行代码的哪些区域,这样无论线程如何交错,共享内存都保持一致状态,并使代码执行作为简单的串行执行,易于分析和推理,从而提高程序员的生产力和系统效率。我们的论文提出了一个系统,使用户可以很容易地验证c#代码库是否正确地实现了共享内存(字段或属性)的修改方式,并能够检测指定共享内存的竞争条件或死锁。主要目标是通过将原子性约束指定为单元或集成测试来提高开发人员的工作效率和改进系统代码库。我们介绍了系统的整体架构,以及它如何检测检查某些原子不变量和识别死锁的方式,以及与现有代码库的集成。我们还描述了系统如何证明检查这些不变量的正确性。我们已经针对多线程c#代码库验证了我们的系统,系统成功地检查了原子不变量和死锁情况,并输出了这些情况如何发生的正确场景。我们还提供了一种降低并发bug回归风险和提高代码质量的方法,从而证明我们的系统实现了提高开发人员生产力、正确检测死锁、原子不变量检查和减少并发bug的建议目标。
{"title":"Atomic invariants verification and deadlock detection at compile-time","authors":"Ionut Tamas, I. Salomie, Marcel Antal","doi":"10.1109/ICCP.2018.8516602","DOIUrl":"https://doi.org/10.1109/ICCP.2018.8516602","url":null,"abstract":"Modern systems must take full advantage of the underlying hardware paradigms in order to yield higher throughput and lower latency. A common way of maximizing the hardware usage in a system is by leveraging multithreaded techniques. These techniques however are very hard to reason by and can yield hard to detect bugs, such as deadlocks, livelocks or race conditions from unwanted interleavings of threads in the system's execution. Atomic locks are a standard mechanism to provide a safe way to alleviate such issues by specifying what regions of code need to be executed atomically such that regardless of the threads interleavings the shared memory remains in a consistent state and makes the code execution as a simple serial execution that easy to analyze and reason by, yielding increased programmer productivity and system efficiency. Our paper proposes a system that allows user to easily verify if a C# codebase has correctly implemented the way shared memory (field or properties) are modified and is able to detect race conditions or deadlocks for the specified shared memory. The main goal is to improve developer productivity and to improve the system codebase by specifying the atomicity constraints as unit or integration tests. We present the overall architecture of the system and how it detects the way certain atomic invariants are checked and deadlocks are identified, as well as the integration with an existing codebase. We also describe how the system proves correctness in checking these invariants. We have verified our system against multithreaded C# codebases and the system successfully checks the atomicity invariants and deadlock cases outputting the correct scenarios of how these can happen. We have also provided a way to decrease the risk of concurrency bugs regressions and improving the code quality, thus proving that our system achieves the proposed goals of providing a way for increased developer productivity, correct detection of deadlocks, atomic invariants checking and concurrency bugs mitigation.","PeriodicalId":259007,"journal":{"name":"2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)","volume":" 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120828257","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
期刊
2018 IEEE 14th International Conference on Intelligent Computer Communication and Processing (ICCP)
全部 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学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1