首页 > 最新文献

2011 Second International Conference on Intelligent Systems, Modelling and Simulation最新文献

英文 中文
Probabilistic Neural Network for Brain Tumor Classification 脑肿瘤分类的概率神经网络
M. Othman, M. Basri
In this paper, Probabilistic Neural Network with image and data processing techniques was employed to implement an automated brain tumor classification. The conventional method for medical resonance brain images classification and tumors detection is by human inspection. Operator-assisted classification methods are impractical for large amounts of data and are also non-reproducible. Medical Resonance images contain a noise caused by operator performance which can lead to serious inaccuracies classification. The use of artificial intelligent techniques for instant, neural networks, and fuzzy logic shown great potential in this field. Hence, in this paper the Probabilistic Neural Network was applied for the purposes. Decision making was performed in two stages: feature extraction using the principal component analysis and the Probabilistic Neural Network (PNN). The performance of the PNN classifier was evaluated in terms of training performance and classification accuracies. Probabilistic Neural Network gives fast and accurate classification and is a promising tool for classification of the tumors.
本文采用概率神经网络结合图像和数据处理技术实现了脑肿瘤的自动分类。医学磁共振脑图像分类和肿瘤检测的传统方法是人检。算子辅助分类方法对于大量数据是不切实际的,而且也是不可重复的。医学磁共振图像包含操作员性能引起的噪声,这可能导致严重的不准确分类。人工智能技术在即时、神经网络和模糊逻辑中的应用在这一领域显示出巨大的潜力。因此,本文采用了概率神经网络的方法。决策分两个阶段进行:使用主成分分析的特征提取和概率神经网络(PNN)。从训练性能和分类精度两方面对PNN分类器的性能进行了评价。概率神经网络具有快速、准确的分类能力,是一种很有前途的肿瘤分类工具。
{"title":"Probabilistic Neural Network for Brain Tumor Classification","authors":"M. Othman, M. Basri","doi":"10.1109/ISMS.2011.32","DOIUrl":"https://doi.org/10.1109/ISMS.2011.32","url":null,"abstract":"In this paper, Probabilistic Neural Network with image and data processing techniques was employed to implement an automated brain tumor classification. The conventional method for medical resonance brain images classification and tumors detection is by human inspection. Operator-assisted classification methods are impractical for large amounts of data and are also non-reproducible. Medical Resonance images contain a noise caused by operator performance which can lead to serious inaccuracies classification. The use of artificial intelligent techniques for instant, neural networks, and fuzzy logic shown great potential in this field. Hence, in this paper the Probabilistic Neural Network was applied for the purposes. Decision making was performed in two stages: feature extraction using the principal component analysis and the Probabilistic Neural Network (PNN). The performance of the PNN classifier was evaluated in terms of training performance and classification accuracies. Probabilistic Neural Network gives fast and accurate classification and is a promising tool for classification of the tumors.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128456693","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}
引用次数: 123
GA-Neural Approach for Latent Finger Print Matching 潜在指纹匹配的ga -神经方法
Shahrzad Shapoori, N. Allinson
Latent finger print matching is one of the freshest areas in science. The current methods of latent finger print matching are manual and reliable on human experience. Unfortunately, a system, which can perform the latent fingerprint matching automatically, does not exist. The eye tracking technology is able to record the eye movement and could provide useful information about the user search strategy. In this paper, the experimental data obtained from an eye tracker is analyzed by clustering analysis and a neural network based system is designed to learn the search strategy of the experts. The results show that the system is able to predict the optimum search strategy based on expert’s experiences.
潜在指纹匹配是最新的科学领域之一。目前的潜在指纹匹配方法都是手工的,而且在人的经验上是可靠的。遗憾的是,目前还没有一种能够自动进行潜在指纹匹配的系统。眼动追踪技术能够记录眼球运动,为用户搜索策略提供有用的信息。本文对眼动仪实验数据进行聚类分析,设计了基于神经网络的专家搜索策略学习系统。结果表明,该系统能够根据专家的经验预测出最优搜索策略。
{"title":"GA-Neural Approach for Latent Finger Print Matching","authors":"Shahrzad Shapoori, N. Allinson","doi":"10.1109/ISMS.2011.19","DOIUrl":"https://doi.org/10.1109/ISMS.2011.19","url":null,"abstract":"Latent finger print matching is one of the freshest areas in science. The current methods of latent finger print matching are manual and reliable on human experience. Unfortunately, a system, which can perform the latent fingerprint matching automatically, does not exist. The eye tracking technology is able to record the eye movement and could provide useful information about the user search strategy. In this paper, the experimental data obtained from an eye tracker is analyzed by clustering analysis and a neural network based system is designed to learn the search strategy of the experts. The results show that the system is able to predict the optimum search strategy based on expert’s experiences.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129899409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Evaluating the Performance of Heterogeneous Distributed Memory Parallel Computer System Using Recursive Models 用递归模型评价异构分布式存储并行计算机系统的性能
O. E. Oguike, M. Agu, D. Ebem, S. Echezona, H. Longe, O. Abass
In a heterogeneous distributed memory parallel computer system, each of the processors has its own memory. Describing the system using queuing network, each of the processors has its own ready queue. Since the system has many I/O queues and I/O processors, therefore, the various processors with their various ready queues and the various I/O processors and their various I/O queues form the queuing network of such a system. Using a round robin scheduling algorithm for the processor queues, we aim at evaluating the performance of the system from the time jobs arrive into the system to the time jobs depart from the system. This paper uses recursive models to evaluate the performance of the whole queuing network of a heterogeneous distributed memory parallel computer system.
在异构分布式内存并行计算机系统中,每个处理器都有自己的内存。该系统采用排队网络,每个处理器都有自己的就绪队列。由于系统有许多I/O队列和I/O处理器,因此,各种处理器及其各种就绪队列和各种I/O处理器及其各种I/O队列构成了这样一个系统的排队网络。利用处理器队列的轮循调度算法,从作业到达系统的时间到作业离开系统的时间,对系统的性能进行评估。本文采用递归模型对异构分布式存储并行计算机系统的整个排队网络性能进行了评价。
{"title":"Evaluating the Performance of Heterogeneous Distributed Memory Parallel Computer System Using Recursive Models","authors":"O. E. Oguike, M. Agu, D. Ebem, S. Echezona, H. Longe, O. Abass","doi":"10.1109/ISMS.2011.65","DOIUrl":"https://doi.org/10.1109/ISMS.2011.65","url":null,"abstract":"In a heterogeneous distributed memory parallel computer system, each of the processors has its own memory. Describing the system using queuing network, each of the processors has its own ready queue. Since the system has many I/O queues and I/O processors, therefore, the various processors with their various ready queues and the various I/O processors and their various I/O queues form the queuing network of such a system. Using a round robin scheduling algorithm for the processor queues, we aim at evaluating the performance of the system from the time jobs arrive into the system to the time jobs depart from the system. This paper uses recursive models to evaluate the performance of the whole queuing network of a heterogeneous distributed memory parallel computer system.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132920327","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}
引用次数: 13
Performance Evaluation of Intel and Portland Compilers Using Intel Westmere Processor 使用Intel Westmere处理器的Intel和Portland编译器的性能评估
M. Al-Mulhem, R. Al-Shaikh
In recent years, we have witnessed a growing interest in optimizing the parallel and distributed computing solutions using scaled-out hardware designs and scalable parallel programming paradigms. This interest is driven by the fact that the microchip technology is gradually reaching its physical limitations in terms of heat dissipation and power consumption. Therefore and as an extension to Moore’s law, recent trends in high performance and grid computing have shown that future increases in performance can only be reached through increases in systems scale using a larger number of components, supported by scalable parallel programming models. In this paper, we evaluate the performance of two commonly used parallel compilers, Intel and Portland’s PGI, using a state-of-the-art Intel West mere-based HPC cluster. The performance evaluation is based on two sets of experiments, once evaluating the compilers’ performance using an MPI-based code, and another using OpenMP. Our results show that, for scientific applications that are matrices-dependant, the MPI and OpenMP features of the Intel compiler supersede PGI when using the defined HPC cluster.
近年来,我们见证了人们对使用向外扩展的硬件设计和可扩展的并行编程范例来优化并行和分布式计算解决方案的兴趣日益浓厚。这种兴趣是由于微芯片技术在散热和功耗方面逐渐达到其物理极限。因此,作为摩尔定律的延伸,高性能和网格计算的最新趋势表明,未来性能的提高只能通过使用更多组件的系统规模的增加来实现,并由可扩展的并行编程模型提供支持。在本文中,我们使用最先进的基于Intel West的HPC集群,评估了两种常用并行编译器(Intel和Portland的PGI)的性能。性能评估基于两组实验,一次使用基于mpi的代码评估编译器的性能,另一次使用OpenMP评估编译器的性能。我们的结果表明,对于依赖于矩阵的科学应用程序,在使用定义的HPC集群时,英特尔编译器的MPI和OpenMP特性取代了PGI。
{"title":"Performance Evaluation of Intel and Portland Compilers Using Intel Westmere Processor","authors":"M. Al-Mulhem, R. Al-Shaikh","doi":"10.1109/ISMS.2011.47","DOIUrl":"https://doi.org/10.1109/ISMS.2011.47","url":null,"abstract":"In recent years, we have witnessed a growing interest in optimizing the parallel and distributed computing solutions using scaled-out hardware designs and scalable parallel programming paradigms. This interest is driven by the fact that the microchip technology is gradually reaching its physical limitations in terms of heat dissipation and power consumption. Therefore and as an extension to Moore’s law, recent trends in high performance and grid computing have shown that future increases in performance can only be reached through increases in systems scale using a larger number of components, supported by scalable parallel programming models. In this paper, we evaluate the performance of two commonly used parallel compilers, Intel and Portland’s PGI, using a state-of-the-art Intel West mere-based HPC cluster. The performance evaluation is based on two sets of experiments, once evaluating the compilers’ performance using an MPI-based code, and another using OpenMP. Our results show that, for scientific applications that are matrices-dependant, the MPI and OpenMP features of the Intel compiler supersede PGI when using the defined HPC cluster.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134337797","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
Loss Probability in Networks with Pareto Distributed Traffic 帕累托分布流量网络的损失概率
S. Ghani, Faisal Iradat
Self Similarity of network traffic has been an area of significant interest in the research on performance analysis of networks. It is widely known that a number of network traffic types display Self Similar behavior and its performance characteristics are significantly different from the typical Poisson or exponentially distributed traffic characteristics. In this paper we conduct an analysis of the impact of Pareto distributed traffic on the probability of blocking of wireless LANs. In particular we consider the impact of varying the coefficient of variance of the inter-arrival times and packet size distributions on the probability of blocking.
网络流量的自相似性一直是网络性能分析研究的一个重要领域。众所周知,许多网络流量类型表现出自相似行为,其性能特征与典型的泊松或指数分布的流量特征有很大不同。本文分析了帕累托分布流量对无线局域网阻塞概率的影响。我们特别考虑了改变到达间隔时间和数据包大小分布的方差系数对阻塞概率的影响。
{"title":"Loss Probability in Networks with Pareto Distributed Traffic","authors":"S. Ghani, Faisal Iradat","doi":"10.1109/ISMS.2011.61","DOIUrl":"https://doi.org/10.1109/ISMS.2011.61","url":null,"abstract":"Self Similarity of network traffic has been an area of significant interest in the research on performance analysis of networks. It is widely known that a number of network traffic types display Self Similar behavior and its performance characteristics are significantly different from the typical Poisson or exponentially distributed traffic characteristics. In this paper we conduct an analysis of the impact of Pareto distributed traffic on the probability of blocking of wireless LANs. In particular we consider the impact of varying the coefficient of variance of the inter-arrival times and packet size distributions on the probability of blocking.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130853857","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
Implementation of the Phase II Compiler for the ARM7TDMI-S Dual-Core Microprocessor ARM7TDMI-S双核微处理器II期编译器的实现
Sherry Joy Alvionne V. Sebastian, A. Alvarez, Alvin Tang, J. Madamba
The advancement of modern computing machines today is seen in embedded systems by making the system do more functions faster and in real time. One technique is to use multiple processors executing in parallel. Also, because embedded systems have limited memory size, adding more functions in the system will limit the data that can be stored in the memory. This project is an implementation of a compiler for an ARM7TDMI-S microprocessor with dual-core capabilities. Aside from the 32-bit ARM7 instructions, the compiler also includes 16-bit thumb instructions and atomic instructions as its target output. Using thumb instructions compresses the size of the program in the memory to increase the number of data that can be stored in it. Code optimizations and memory optimizations were applied to further take advantage of the use of dual-core microprocessors. Result shows that the compiler gives a good distribution of instructions to the two cores.
当今现代计算机器的进步体现在嵌入式系统中,它使系统更快、更实时地完成更多的功能。一种技术是使用多个并行执行的处理器。此外,由于嵌入式系统的内存大小有限,在系统中添加更多的功能将限制可以存储在内存中的数据。本项目是ARM7TDMI-S微处理器的编译器实现,具有双核功能。除了32位ARM7指令外,编译器还包括16位拇指指令和原子指令作为其目标输出。使用拇指指令可以压缩内存中程序的大小,从而增加可以存储在其中的数据的数量。代码优化和内存优化被应用于进一步利用双核微处理器的优势。结果表明,该编译器能很好地将指令分配到两个内核上。
{"title":"Implementation of the Phase II Compiler for the ARM7TDMI-S Dual-Core Microprocessor","authors":"Sherry Joy Alvionne V. Sebastian, A. Alvarez, Alvin Tang, J. Madamba","doi":"10.1109/ISMS.2011.46","DOIUrl":"https://doi.org/10.1109/ISMS.2011.46","url":null,"abstract":"The advancement of modern computing machines today is seen in embedded systems by making the system do more functions faster and in real time. One technique is to use multiple processors executing in parallel. Also, because embedded systems have limited memory size, adding more functions in the system will limit the data that can be stored in the memory. This project is an implementation of a compiler for an ARM7TDMI-S microprocessor with dual-core capabilities. Aside from the 32-bit ARM7 instructions, the compiler also includes 16-bit thumb instructions and atomic instructions as its target output. Using thumb instructions compresses the size of the program in the memory to increase the number of data that can be stored in it. Code optimizations and memory optimizations were applied to further take advantage of the use of dual-core microprocessors. Result shows that the compiler gives a good distribution of instructions to the two cores.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114359479","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
EMD: Electricity Monitoring Device for User Awareness EMD:用户用电监测装置
S. Ranjit, S. E. Loo, S. Zulkifli
Electricity bill charges usually dependents on the amount of electricity usage. The increment in the electricity usage will cause the users to pay more. This situation always happens when users are not aware about their growing usage. Hence, a system is needed where it can monitor and measure the electricity usage and update users on the increasing electricity utilization. This paper will discuss about EMD research methodology and process development of a device to monitoring real-time electricity utilization. This system will indirectly help the users to monitor the amount of electricity usage which will help them to control and overcome wastage of electric power.
电费通常是根据用电量而定的。用电的增加将使用户付更多的钱。这种情况经常发生在用户没有意识到他们的使用量正在增长的情况下。因此,需要一个系统,它可以监控和测量电力使用情况,并向用户更新不断增加的电力使用情况。本文将讨论EMD的研究方法和实时电力利用监测装置的开发过程。该系统将间接帮助用户监测用电量,从而帮助他们控制和克服电力浪费。
{"title":"EMD: Electricity Monitoring Device for User Awareness","authors":"S. Ranjit, S. E. Loo, S. Zulkifli","doi":"10.1109/ISMS.2011.33","DOIUrl":"https://doi.org/10.1109/ISMS.2011.33","url":null,"abstract":"Electricity bill charges usually dependents on the amount of electricity usage. The increment in the electricity usage will cause the users to pay more. This situation always happens when users are not aware about their growing usage. Hence, a system is needed where it can monitor and measure the electricity usage and update users on the increasing electricity utilization. This paper will discuss about EMD research methodology and process development of a device to monitoring real-time electricity utilization. This system will indirectly help the users to monitor the amount of electricity usage which will help them to control and overcome wastage of electric power.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121234978","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
Automated Translation Machines: Challenges and a Proposed Solution 自动翻译机:挑战和建议的解决方案
S. Jusoh, H. Alfawareh
Automated translation (MT) tools have become an urgent need in a multilingual environment. Although there are any available tools on the market, unfortunately, a robust MT tool is still a dream. This purpose of this paper is to discuss challenging issues in MT tool developments, the state of art of he MT tools and propose a framework for a semantic-based translation. The focus of this paper is English to Arabic translation MT.
在多语言环境下,自动翻译(MT)工具已成为一种迫切需要。尽管市场上有很多可用的工具,但不幸的是,一个健壮的MT工具仍然是一个梦想。本文的目的是讨论机器翻译工具发展中具有挑战性的问题,机器翻译工具的现状,并提出一个基于语义的翻译框架。本文的研究重点是英语到阿拉伯语的机器翻译。
{"title":"Automated Translation Machines: Challenges and a Proposed Solution","authors":"S. Jusoh, H. Alfawareh","doi":"10.1109/ISMS.2011.74","DOIUrl":"https://doi.org/10.1109/ISMS.2011.74","url":null,"abstract":"Automated translation (MT) tools have become an urgent need in a multilingual environment. Although there are any available tools on the market, unfortunately, a robust MT tool is still a dream. This purpose of this paper is to discuss challenging issues in MT tool developments, the state of art of he MT tools and propose a framework for a semantic-based translation. The focus of this paper is English to Arabic translation MT.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130291517","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Stereo Vision Based Pedestrians Detection and Distance Measurement for Automotive Application 基于立体视觉的汽车行人检测与距离测量
B. Bhowmick, S. Bhadra, A. Sinharay
This paper presents a compact and robust solution to use stereo vision to detect pedestrians as well as measure their instantaneous distances from the vehicle. This simplifies sensor requirements as the same video information (captured from two cameras) is used for detection of pedestrians as well as measurement of their corresponding distances. To apply stereo vision technique a novel approach has been made to locate identical points on human so that triangulation can be used for measuring distances. In addition to this, the paper also presents a novel technique used to make the pedestrian detection algorithm (based on well know Viola-Jones methodology) more robust by using tracking and assistive decision making (i.e. one camera helps other to eliminate noise). The proposed system is tested on standard x86 machine and gives good real time performance.
本文提出了一种紧凑且鲁棒的解决方案,利用立体视觉来检测行人并测量他们与车辆的瞬时距离。这简化了传感器的要求,因为相同的视频信息(从两个摄像头捕获)用于检测行人以及测量他们相应的距离。为了应用立体视觉技术,提出了一种定位人体同一点的新方法,使三角测量可以用于测量距离。除此之外,本文还提出了一种新的技术,通过使用跟踪和辅助决策(即一个摄像头帮助另一个摄像头消除噪声),使行人检测算法(基于众所周知的Viola-Jones方法)更具鲁棒性。该系统在标准的x86机器上进行了测试,取得了良好的实时性。
{"title":"Stereo Vision Based Pedestrians Detection and Distance Measurement for Automotive Application","authors":"B. Bhowmick, S. Bhadra, A. Sinharay","doi":"10.1109/ISMS.2011.14","DOIUrl":"https://doi.org/10.1109/ISMS.2011.14","url":null,"abstract":"This paper presents a compact and robust solution to use stereo vision to detect pedestrians as well as measure their instantaneous distances from the vehicle. This simplifies sensor requirements as the same video information (captured from two cameras) is used for detection of pedestrians as well as measurement of their corresponding distances. To apply stereo vision technique a novel approach has been made to locate identical points on human so that triangulation can be used for measuring distances. In addition to this, the paper also presents a novel technique used to make the pedestrian detection algorithm (based on well know Viola-Jones methodology) more robust by using tracking and assistive decision making (i.e. one camera helps other to eliminate noise). The proposed system is tested on standard x86 machine and gives good real time performance.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130557304","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}
引用次数: 23
Method for Verification of a Multi Agents System 多智能体系统的验证方法
B. Marzougui, K. Hassine, Kamel Barkaoui
In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). We explain and applied a new method based on agents called Agents Petri Nets (APN). Our model describes each entity to model the system and verify the state of the agent and its behavior. This method use, mainly, the property of Petri Nets as deadline, state home, conflict, etc.. Therefore we use a formalism having a mathematical definition in order to verify some property of the interactive systems. To validate our contribution, we will deal with real example of a Multi agents System.
本文提出了一种新的多智能体系统(MAS)的形式化验证方法。我们解释并应用了一种基于agent的新方法——agent Petri Nets (APN)。我们的模型描述了每个实体来对系统建模,并验证代理的状态及其行为。该方法主要利用Petri网的属性作为截止日期、状态家园、冲突等。因此,为了验证交互系统的某些性质,我们采用了一种具有数学定义的形式。为了验证我们的贡献,我们将处理一个多智能体系统的实际例子。
{"title":"Method for Verification of a Multi Agents System","authors":"B. Marzougui, K. Hassine, Kamel Barkaoui","doi":"10.1109/ISMS.2011.21","DOIUrl":"https://doi.org/10.1109/ISMS.2011.21","url":null,"abstract":"In this paper, we present a new formal Method for the Verification of a Multi agents Systems (MAS). We explain and applied a new method based on agents called Agents Petri Nets (APN). Our model describes each entity to model the system and verify the state of the agent and its behavior. This method use, mainly, the property of Petri Nets as deadline, state home, conflict, etc.. Therefore we use a formalism having a mathematical definition in order to verify some property of the interactive systems. To validate our contribution, we will deal with real example of a Multi agents System.","PeriodicalId":193599,"journal":{"name":"2011 Second International Conference on Intelligent Systems, Modelling and Simulation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-01-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130833471","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
期刊
2011 Second International Conference on Intelligent Systems, Modelling and Simulation
全部 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