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

2012 IEEE International Conference on Automation Science and Engineering (CASE)最新文献

筛选
英文 中文
A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation 使用价值流映射、统一建模语言和离散事件仿真的精益制造策略
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386328
M. Dotoli, M. P. Fanti, G. Iacobellis, G. Rotunno
{"title":"A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation","authors":"M. Dotoli, M. P. Fanti, G. Iacobellis, G. Rotunno","doi":"10.1109/CoASE.2012.6386328","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386328","url":null,"abstract":"The paper presents a lean manufacturing strategy integrating Value Stream Mapping (VSM), the Unified Modeling Language (UML), and discrete event simulation. The procedure is iterative and hierarchical. Starting from a detailed description of the manufacturing process by the Unified Modeling Language (UML), the VSM graphical approach allows the identification and removal of non-value adding activities. The re-designed manufacturing system is represented in detail by UML to describe the novel system activities. The use of discrete event simulation allows the verification of the updated production system. Applying the lean manufacturing strategy to a real case study shows its effectiveness.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132976466","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
A pull VPLs based release policy and dispatching rule for semiconductor wafer fabrication 基于拉式VPLs的半导体晶圆制造放行策略与调度规则
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386320
You Li, Zhibin Jiang, Wenyou Jia
{"title":"A pull VPLs based release policy and dispatching rule for semiconductor wafer fabrication","authors":"You Li, Zhibin Jiang, Wenyou Jia","doi":"10.1109/CoASE.2012.6386320","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386320","url":null,"abstract":"In this paper, we present a pull VPLs based release policy and dispatching rule for semiconductor wafer fabrication. Based on the virtual production lines (VPLs), production time and WIP are allocated for each process step by products. Then a pull release policy and dispatching rule is proposed to control each VPL. We generate a SWFS case from a real-life wafer fab to evaluate the performances of the proposed methodology. Results of the numerical experiments show that the proposed methodology is effective in solving multi-objective scheduling problems for semiconductor wafer fabrication system (SWFS).","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132156884","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
Magnetically driven micro-robot with suction mechanism for on-chip automatic 磁驱动微型机器人，带有片上自动吸吸机构
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386452
A. Ichikawa, F. Arai
{"title":"Magnetically driven micro-robot with suction mechanism for on-chip automatic","authors":"A. Ichikawa, F. Arai","doi":"10.1109/CoASE.2012.6386452","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386452","url":null,"abstract":"We have developed a high-functional untetherd micro-robot which can manipulate cells with high-power suction. The robot is made thinly and small to maneuver in a micro-fluidic chip. A nozzle is fabricated by photolithography using SU-8. The robot has a suction pump activated by an electrical magnet and permanent magnet. We realized high-power suction of micro-scale robot by a miniaturization of cross-section of the nozzle and a speed-up of the pumping using electrical magnet and elastic PDMS membrane. We succeeded in high-power fixation and high-speed transportation of cells using this micro-robot. We also succeeded in cell loading with this robot and micro-fluidic chip.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130453354","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
On opacity and diagnosability in discrete event systems modeled by pushdown automata 由下推自动机建模的离散事件系统的不透明性和可诊断性
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386310
Koichi Kobayashi, K. Hiraishi
{"title":"On opacity and diagnosability in discrete event systems modeled by pushdown automata","authors":"Koichi Kobayashi, K. Hiraishi","doi":"10.1109/CoASE.2012.6386310","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386310","url":null,"abstract":"In control theory of discrete event systems (DESs), it is one of the significant topics to develop control theory of infinite-state DESs. In this paper, we discuss opacity and diagnosability of infinite-state DESs modeled by pushdown automata (called here pushdown systems). First, we discuss opacity of pushdown systems, and it is proven that opacity of pushdown systems is in general undecidable. In addition, a decidable class is clarified. Next, in diagnosability, it is proven that under some assumption, which is different to an assumption in an existing result, diagnosability of pushdown systems is decidable. Furthermore, a necessary condition and a sufficient condition using finite-state approximations are derived, respectively. Finally, we discuss the relation between opacity and diagnosability. The obtained result is useful for developing control theory of infinite-state DESs.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122204682","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
Automated stiffness characterization of living tobacco BY2 cells using the Cellular Force Microscope 利用细胞力显微镜对活烟草BY2细胞进行自动刚度表征
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386345
D. Felekis, Alain Weber, S. Muntwyler, Anne-Lise Routier-Kierzkowska, F. Beyeler, Richard S. Smith, B. Nelson
{"title":"Automated stiffness characterization of living tobacco BY2 cells using the Cellular Force Microscope","authors":"D. Felekis, Alain Weber, S. Muntwyler, Anne-Lise Routier-Kierzkowska, F. Beyeler, Richard S. Smith, B. Nelson","doi":"10.1109/CoASE.2012.6386345","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386345","url":null,"abstract":"Understanding the process of cellular morphogenesis requires the characterization of local mechanical properties of living cells in situ. For this purpose, an automated microrobotic system, the Cellular Force Microscope (CFM) has been developed. Its suitability for single cell characterization has been reported in previous work and extensive use on characterization of both single cells and tissues has been demonstrated. A simple experimental method for the determination of the CFM's accuracy, based on the comparison of the measured stiffness with the true stiffness of a calibrated SI-traceable reference artifact, is demonstrated. This method is a practical alternative to the complex complete uncertainty analysis of all the sensors involved in the stiffness measurement based on an SI-traceable reference artifact. We then use the CFM to characterize the stiffness of living Tobacco BY2 cells. The apparent stiffness is determined from the force indentation curves collected from living cells at forces ranging from 10 microNewtons to forces in which the cell slips away or ruptures. The results show a nonlinear increase in the apparent cell stiffness as the applied load increases. This observation combined with the reference measurements done on the calibrated stiffness standard dictate that the stiffness variation stems from the biological organism and not from the CFM.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121666634","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
Model-based automatic test generation for Simulink/Stateflow using extended finite automaton 使用扩展有限自动机的Simulink/Stateflow基于模型的自动测试生成
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386487
Meng Li, Ratnesh Kumar
{"title":"Model-based automatic test generation for Simulink/Stateflow using extended finite automaton","authors":"Meng Li, Ratnesh Kumar","doi":"10.1109/CoASE.2012.6386487","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386487","url":null,"abstract":"Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code. In this paper, we present an automatic test generation approach for Simulink/Stateflow based on its translation to Input/Output Extended Finite Automata (I/O-EFA) that we have developed in our prior works. The test generation problem requires identifying the executable paths of the I/O-EFA model and also generating a test input for those paths. Note in order to execute a path, a certain sequence of other paths must be executed first, which we automatically identify. The approach is implemented by applying two different techniques, model checking and constraint solving. Both test generation implementations are validated by a case study. The results show that both implementations can generate test cases as expected and the implementation based on constraint solving is in general faster.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127745282","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}
引用次数: 25
A simulation study of sensor data fusion using UKF for bucket wheel reclaimer localization 基于UKF的传感器数据融合斗轮取料机定位仿真研究
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386509
Shi Zhao, Tien-Fu Lu, B. Koch, A. Hurdsman
{"title":"A simulation study of sensor data fusion using UKF for bucket wheel reclaimer localization","authors":"Shi Zhao, Tien-Fu Lu, B. Koch, A. Hurdsman","doi":"10.1109/CoASE.2012.6386509","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386509","url":null,"abstract":"Bucket Wheel Reclaimers (BWRs) normally travel on a rail among stockpiles to perform stacking and reclaiming operations. Currently, the position accuracy of the bucket wheel at the end of boom measured by the onboard encoder system is limited to 30cm. To maintain such accuracy, calibrated points have to be placed along the rail, which is inefficient and costly. This paper proposes a simulation study using Unscented Kalman Filter (UKF) algorithm to fuse DGPS and encoder data for BWR localization. The results obtained indicate that the errors in positional accuracy are better than 15cm and UKF is an objective technology that can be applied to localize such large scaled machine.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133294543","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
A new operational framework to job shop scheduling for reducing carbon emissions 一个新的作业车间调度操作框架，以减少碳排放
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386372
Qian Yi, C. Li, Ying Tang, Qifeng Wang
{"title":"A new operational framework to job shop scheduling for reducing carbon emissions","authors":"Qian Yi, C. Li, Ying Tang, Qifeng Wang","doi":"10.1109/CoASE.2012.6386372","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386372","url":null,"abstract":"This paper proposes an emission-aware multi-machine job shop scheduling (MMJSS) model with the objectives of minimizing carbon emissions and makespan. The optimization problem is subsequently solved through a modified multi-objective genetic algorithm. Finally, the necessity and importance of the proposed model and solution are demonstrated through simulation.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132102173","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}
引用次数: 17
A new swappable fluidic module for applications of capillary convective polymerase chain reaction 一种用于毛细管对流聚合酶链反应的新型可切换流体模块
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386450
Y. Hsieh, A. Yang, Chia-Wei Chen, S. Liao, Li-Yu Tseng, Ping-Hei Chen
{"title":"A new swappable fluidic module for applications of capillary convective polymerase chain reaction","authors":"Y. Hsieh, A. Yang, Chia-Wei Chen, S. Liao, Li-Yu Tseng, Ping-Hei Chen","doi":"10.1109/CoASE.2012.6386450","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386450","url":null,"abstract":"A new swappable fluidic module (SFM) is demonstrated in this research. We designed and fabricated two basic modular fluidic components including pumps and mixers, which can be easily swapped and integrated into a variety of modular devices for ready assembly of a fully-portable, disposable fluidic system. An integrated SFM utilizes finger-driven electricity free pumps to transport the fluids. Using the swirling mechanism, the vortex mixer, simultaneously actuated by two pumps, has established a mixing index of 93% in a one-shot mixing event. The assembled SFM, working as a sample loader, was serially jointed a DNA application zone to establish a capillary convective polymerase chain reaction (ccPCR) test kit for performing the experiments of rapid DNA amplification. The successful results indicate the amplified DNA sequences from Hepatitis B Virus (HBV) in 30 min using ccPCR. Besides, the current SFM in conjunction with ccPCR show great potential for many bio-applications.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133381796","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
On the throughput of deterministic flow lines with random state dependent setups: Stochastic models and applications 具有随机状态依赖设置的确定性流水线的吞吐量:随机模型及其应用
2012 IEEE International Conference on Automation Science and Engineering (CASE) Pub Date : 2012-12-24 DOI: 10.1109/CoASE.2012.6386441
Woo-sung Kim, J. R. Morrison
{"title":"On the throughput of deterministic flow lines with random state dependent setups: Stochastic models and applications","authors":"Woo-sung Kim, J. R. Morrison","doi":"10.1109/CoASE.2012.6386441","DOIUrl":"https://doi.org/10.1109/CoASE.2012.6386441","url":null,"abstract":"Inspired by clustered photolithography tools in semiconductor wafer manufacturing, we study flow lines with deterministic process times subject to random state dependent setups. For tractability, we assume that the setup probability is constant and independent from customer to customer; the setup duration is constant. We show that the internal state of such a flow line can be modeled as a Markov chain when customers arrive in a just-in-time (JIT) fashion. We then develop expressions for the system throughput. We apply our models to clustered photolithography tools and demonstrate how the methods can be used to calculate their capacity.","PeriodicalId":430428,"journal":{"name":"2012 IEEE International Conference on Automation Science and Engineering (CASE)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-12-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132524824","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
首页 上一页 下一页 尾页
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学术官方微信
小红书