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

2009 IEEE International Conference on Automation Science and Engineering最新文献

筛选
英文 中文
Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem 直线和u型装配线平衡问题的多规则多目标蚁群优化
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234122
Christopher L. E. Khaw, S. Ponnambalam
{"title":"Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem","authors":"Christopher L. E. Khaw, S. Ponnambalam","doi":"10.1109/COASE.2009.5234122","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234122","url":null,"abstract":"In this paper, a hybrid algorithm by combining 15 task assignment rules and Ant Colony Optimization (ACO) algorithm to solve straight and U-type assembly line balancing problem to optimize line efficiency and smoothness index is proposed. The algorithm is designed to solve assembly line balancing problems of all sizes. The proposed multi-rule multiobjective ant colony optimization algorithm for straight and Utype assembly line balancing problems is evaluated with various set of benchmark problems and compared with a multi-objective simulated annealing algorithm reported in the literature. The results indicate the better performance of the proposed hybrid algorithm.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132147162","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}
引用次数: 10
Formal verification of PLC controlled systems using Sensor Graphs 正式验证PLC控制系统使用传感器图
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234187
Tord Alenljung, B. Lennartson
{"title":"Formal verification of PLC controlled systems using Sensor Graphs","authors":"Tord Alenljung, B. Lennartson","doi":"10.1109/COASE.2009.5234187","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234187","url":null,"abstract":"This paper describes how a system, consisting of a discrete controller (e.g. a PLC) that controls a physical plant/process, can be formally verified. The physical process is assumed to be modeled using Sensor Graphs, a discrete event modeling language directed at physical systems with binary and identity sensors (e.g. RFID). The formal and graphical syntaxes of Sensor Graphs are presented and exemplified. The “semitimed” semantics is defined considering a process model together with a controller model, represented as a discrete state equation. Finally, it is shown how requirements on the closedloop system, represented by a Sensor Graph and a controller model, can be verified using the model checker Cadence SMV.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131395382","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
Set-valued consensus for distributed clock synchronization 分布式时钟同步的集值一致性
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234145
A. Fagiolini, S. Martini, A. Bicchi
{"title":"Set-valued consensus for distributed clock synchronization","authors":"A. Fagiolini, S. Martini, A. Bicchi","doi":"10.1109/COASE.2009.5234145","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234145","url":null,"abstract":"This paper addresses the clock synchronization problem in a wireless sensor network (WSN) and proposes a distributed solution that consists of a form of consensus, where agents are able to exchange data representing intervals or sets. The solution is based on a centralized algorithm for clock synchronization, proposed by Marzullo, that determines the smallest interval that is in common with the maximum number of measured intervals. We first show how to convert such an algorithm into a problem involving only operations on sets, and then we convert it into a set-valued consensus. The solution is valid for more general scenarios where agents have uncertain measures of e.g. the position of an object detected by a vision system, a temperature in a room, but it will be applied to the case where a set of uncertain time values are propagated through a WSN. Under suitable joint conditions on the communication connectivity and bounded agent failure, we prove the correctness of the algorithm that indeed allows the network agents to consent on the value of a unique global time.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128110311","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 Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services 支持成本效益高的产量诊断服务的贝叶斯排序方案
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234101
Chih-Min Fan, Yun-Pei Lu
{"title":"A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services","authors":"Chih-Min Fan, Yun-Pei Lu","doi":"10.1109/COASE.2009.5234101","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234101","url":null,"abstract":"A Bayesian Ranking Scheme is proposed for the reliable diagnosis of various yield-loss factors induced in semiconductor manufacturing. The aim is to cope with three problems: (FICV) false identification due to confounding variables, (FISV) false identification due to suppressor variables, and (MISC) miss identification due to severe multicollinearity. The proposed scheme reuses both the results from knowledge-based and data-driven inference tools as input data, where the former resembles expert's knowledge on diagnosing pre-known yield-loss factors while the latter serves for exploring new yield-loss factors. Two successive stages with specific designs for yield diagnosis services are addressed: Bayesian Variable Selection for reliable model construction and Relative Importance Assessment for facilitating interpretations on model parameters. A simulation example is designed to demonstrate the usefulness of Bayesian Ranking Scheme on solving FICV, FISV and MISC problems.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122992305","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
Supervisory control for real-time systems based on conflict-tolerant controllers 基于冲突容忍控制器的实时系统监控
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234088
D. D'Souza, Madhu Gopinathan, S. Ramesh, P. Sampath
{"title":"Supervisory control for real-time systems based on conflict-tolerant controllers","authors":"D. D'Souza, Madhu Gopinathan, S. Ramesh, P. Sampath","doi":"10.1109/COASE.2009.5234088","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234088","url":null,"abstract":"This paper addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time and hybrid systems. We consider systems composed of a base system with multiple features or controllers, each of which independently advise the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of conflict-tolerant features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority- based scheme for composing such features. This guarantees the maximal use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114510588","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
Intent based clustering of search engine query log 基于意图的搜索引擎查询日志聚类
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234156
Ashok Veilumuthu, Parthasarathy Ramachandran
{"title":"Intent based clustering of search engine query log","authors":"Ashok Veilumuthu, Parthasarathy Ramachandran","doi":"10.1109/COASE.2009.5234156","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234156","url":null,"abstract":"The keyword based search technique suffers from the problem of synonymic and polysemic queries. Current approaches address only the problem of synonymic queries in which different queries might have the same information requirement. But the problem of polysemic queries, i.e., same query having different intentions, still remains unaddressed. In this paper, we propose the notion of intent clusters, the members of which will have the same intention. We develop a clustering algorithm that uses the user session information in query logs in addition to query URL entries to identify cluster of queries having the same intention. The proposed approach has been studied through case examples from the actual log data from AOL, and the clustering algorithm is shown to be successful in discerning the user intentions.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115103176","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}
引用次数: 12
Selection of a machine tool for FMS using ELECTRE III — a case study 使用ELECTRE III进行FMS机床的选择-一个案例研究
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234125
C. M. Balaji, A. Gurumurthy, R. Kodali
{"title":"Selection of a machine tool for FMS using ELECTRE III — a case study","authors":"C. M. Balaji, A. Gurumurthy, R. Kodali","doi":"10.1109/COASE.2009.5234125","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234125","url":null,"abstract":"A review of literature related to Flexible Manufacturing Systems (FMS) revealed that various decision problems such as selection of optimal grippers, cutting conditions, tool flow, operational control rules, etc. have been addressed. However, adequate importance is not given to the ‘selection of machine tools’. Hence, in this paper, an attempt has been made to fill in this research gap. A hypothetical case study is presented in which a decision regarding the purchase of a machine tool is to be made for establishing a FMS. To accomplish the same, a Multi-Criteria Decision-Making (MCDM) model namely, the Elimination and Choice Translating Reality (ELECTRE) is utilized for selecting a suitable machine tool.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129737399","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}
引用次数: 15
Multi-objective ACO for integrated scheduling of machines and material handling equipment in flexible manufacturing systems 柔性制造系统中机械和物料搬运设备集成调度的多目标蚁群算法
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234130
T. Yung, S. Ponnambalam, M. Yogeswaran
{"title":"Multi-objective ACO for integrated scheduling of machines and material handling equipment in flexible manufacturing systems","authors":"T. Yung, S. Ponnambalam, M. Yogeswaran","doi":"10.1109/COASE.2009.5234130","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234130","url":null,"abstract":"A multi-objective integrated scheduling of machines and material handling equipment in an automated manufacturing system is addressed in this paper. The FMS environment is modeled with the incorporation of six multioperational machines and two automated guided vehicles (AGVs). An ant colony optimization (ACO) is proposed to optimize a multi-objective function that maximize machine utilization, maximize profit made, minimize AGV traveling time, and minimize AGV energy utilization concurrently. The performance of the proposed ACO algorithm is compared with conventional priority dispatching rules (pdrs) and it is found that proposed ACO performs better over the pdrs considered.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123049977","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
On-line fault diagnosis in a Petri Net framework Petri网框架下的在线故障诊断
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234113
M. Dotoli, M. P. Fanti, A. M. Mangini, W. Ukovich
{"title":"On-line fault diagnosis in a Petri Net framework","authors":"M. Dotoli, M. P. Fanti, A. M. Mangini, W. Ukovich","doi":"10.1109/COASE.2009.5234113","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234113","url":null,"abstract":"The paper addresses the fault detection problem for discrete event systems modeled by Petri Nets (PN). Assuming that the PN structure and initial marking are known, faults are modeled by unobservable transitions. The paper recalls a previously proposed diagnoser that works online and employs an algorithm based on the definition and solution of some integer linear programming problems to decide whether the system behavior is normal or exhibits some possible faults. To reduce the on-line computational effort, we prove some results showing that if the unobservable subnet enjoys suitable properties, the algorithm solution may be obtained with low computational complexity. We characterize the properties that the PN modeling the system fault behavior has to fulfill and suitably modify the proposed diagnoser.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128574593","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
Towards enhancing the understanding of human motor learning 提高对人类运动学习的理解
2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234174
J. Solis, A. Takanishi
{"title":"Towards enhancing the understanding of human motor learning","authors":"J. Solis, A. Takanishi","doi":"10.1109/COASE.2009.5234174","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234174","url":null,"abstract":"The research on human-robot interaction (HRI) has been an emerging topic of interest for both basic research and customer application. The studies specially focus on behavioral and cognitive aspects of the interaction and the social contexts surrounding it. HRI issues have long been a part of robotics research because the goal of fully autonomous capability has not been met yet. One of the most challenging problems is giving the robots an understanding of how to interact with human beings at the same logical level so that they may function not as passive tools, but rather as active agents that can drive the human interaction, instead of merely reproducing a sequence of movements. Hence, these robots must have higher level cognitive functions that include knowing how to reason, when to perceive and what to look for, how to integrate perception and action under changing conditions, etc. These functions will enable robots to perform more complex tasks which require tight human interaction; consequently, the robots can perform high level interactions such as teaching motor skills to unskilled people. In this paper, the development of active training systems for medical training purposes designed to provide quantitative information as well as to provide feedback to medical students are detailed.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125939835","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信