2009 IEEE International Conference on Automation Science and Engineering最新文献_第2页

Semi-automated soft-tissue acquisition and modeling for surgical simulation 用于手术模拟的半自动软组织采集和建模

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234158

Zhan Gao, Theodore Kim, Doug L. James, J. Desai

{"title":"Semi-automated soft-tissue acquisition and modeling for surgical simulation","authors":"Zhan Gao, Theodore Kim, Doug L. James, J. Desai","doi":"10.1109/COASE.2009.5234158","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234158","url":null,"abstract":"Realistic surgical simulation should take into account the mechanical properties of soft tissue, and also patientspecific variations. Consequently automated methods are required for the acquisition and modeling of patient-specific tissue properties.We take a step toward this goal by presenting a semiautomated method for acquiring, modeling, and simulating soft-tissue deformation. During a typical surgical procedure, organs are subject to tension, compression, and shear, so these three deformation modes must be represented in any soft tissue model. We measure these modes by performing ex vivo tests on porcine liver tissue and use the results to estimate material constants of a previously proposed combined logarithmic Ogden model. This model is capable of representing the non-linear stress-strain relations observed in the tissue, but these same nonlinearities also introduce simulation challenges. In particular, eigenvalue degeneracies complicate automatic code generation, and element inversion can produce poorly conditioned matrices. We describe a method for avoiding these degeneracies, and present an automatic method of tuning the parameters of an existing element inversion scheme. Finally, computer animations of surgical simulation reveal a qualitative improvement in the non-linear behavior of soft tissues when compared to simulations using traditional material models.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"11 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":"133813888","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}

引用次数: 16

Orchestrating a network of activities in the value chain 协调价值链中的活动网络

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234129

N. Viswanadham, S. Kameshwaran

引用次数: 8

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract) 最大限度地避免多线程计算机程序的死锁(扩展摘要)

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234118

Yin Wang, Hongwei Liao, Ahmed Nazeem, S. Reveliotis, T. Kelly, S. Mahlke, S. Lafortune

{"title":"Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)","authors":"Yin Wang, Hongwei Liao, Ahmed Nazeem, S. Reveliotis, T. Kelly, S. Mahlke, S. Lafortune","doi":"10.1109/COASE.2009.5234118","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234118","url":null,"abstract":"Multicore architectures in computer hardware bring an unprecedented need for parallel programming. In the work considered in this presentation, we are especially interested in multithreaded programs with shared data. In this widelyused programming paradigm, “lock” primitives are employed to control access to the shared data within the program threads. For example, mutual exclusion locks (mutexes) are used to protect shared data from concurrent inconsistent updates. However, improper use of mutexes can lead to the familiar “deadly embrace” problem, where a set of threads are waiting for one another and no further progress can be made. These situations are called Circular-Mutex-Wait (CMW) deadlocks and the tale of the dining philosophers [4], [3] is an amusing way to illustrate CMW-deadlocks. As parallel programs are becoming more and more complex, reasoning about deadlock is becoming more and more difficult for programmers. Significant effort has to be spent to detect and fix intricate deadlock bugs. Therefore, there is an emerging need for more systematic methodologies that will enable the programmers of these environments to effectively characterize, analyze, and resolve these deadlock problems.","PeriodicalId":386046,"journal":{"name":"2009 IEEE International Conference on Automation Science and Engineering","volume":"24 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":"122018152","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

A novel ontology-based knowledge engineering approach for yield symptom identification in semiconductor manufacturing 基于本体的半导体制造良率症状识别知识工程方法

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234086

Fang-Hsiang Su, Shi-Chung Chang, Chih-Min Fan, Ya-Jung Tsai, J. Jheng, Ching-Pin Kao, Chun-Yao Lu

{"title":"A novel ontology-based knowledge engineering approach for yield symptom identification in semiconductor manufacturing","authors":"Fang-Hsiang Su, Shi-Chung Chang, Chih-Min Fan, Ya-Jung Tsai, J. Jheng, Ching-Pin Kao, Chun-Yao Lu","doi":"10.1109/COASE.2009.5234086","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234086","url":null,"abstract":"Effective management of knowledge-intensive yield analysis plays a significant role in fast yield ramping for semiconductor manufacturing. Although data analysis platforms with many analysis function tools are available to the industry, there is lack of systematic representation of engineering knowledge for effective extraction and sharing; engineers' identification of situations and analysis purposes and flows are largely in engineers' minds or in disparate forms. In this paper, over the problem domain of fault symptom identification for semiconductor yield analysis, a novel ontology-based modeling framework is first designed for knowledge representations across data, function flow and purpose layers. The ontology model facilitates the knowledge descriptions of an engineer's analysis purpose plan, the application sequences of analysis tools as well as the mapping between a purpose and tool selections. To substantiate the ontology framework with modeling contents, three methods are designed: a Markov chain-based algorithm to extract from engineers' analysis log data their procedures and preferences of tool applications, a tree construction algorithm for engineers' analysis purpose planning, and a graphic symptom capturer for auto-capturing of perceived fault symptoms by engineers. Such designs have been integrated into an engineering data analysis platform that enables engineers' effective extraction, sharing, and reuse of knowledge in situation identification, purpose planning and tool applications.","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":"128755779","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 new heuristic method for capacitated multi-level lot sizing problem with backlogging 带积压的有容量多级批量问题的一种启发式新方法

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234149

Tao Wu, Leyuan Shi

引用次数: 11

MRI reservation for neurovascular patients 神经血管病人的MRI预约

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234185

Na Geng, V. Augusto, Xiaolan Xie, Zhibin Jiang

{"title":"MRI reservation for neurovascular patients","authors":"Na Geng, V. Augusto, Xiaolan Xie, Zhibin Jiang","doi":"10.1109/COASE.2009.5234185","DOIUrl":"https://doi.org/10.1109/COASE.2009.5234185","url":null,"abstract":"Quick diagnosis is critical for neurovascular patients. Diagnosis of these patients needs the assistance of expensive and heavily used imaging equipment. This results in long waiting time which potentially threats patient's life. It is clearly very important for the neurovascular department to improve the service level by reducing the waiting time. To deal with this problem, this paper proposes a new reservation process between the neurovascular department and the imaging department. The neurovascular department reserves a certain number of time slots in advance for the imaging techniques, i.e., magnetic resonance imaging (MRI). This ensures that the stroke patients can receive the examination more quickly. This problem is formulated as a stochastic programming model in order to reach the best comprise between patient waiting time and unused time slots. To solve this problem, a two-step Monte Carlo approach is proposed. The problem is first approximated by a deterministic Monte Carlo optimization problem. It is further simplified to determine the contract. Given the contract, we then propose a feasible control policy. Numerical results show that the contract and the control policy proposed in this paper are quite efficient.","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":"128880040","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

A fuzzy filtering based system for maximal oxygen uptake prediction using heart rate variability analysis 基于模糊滤波的心率变异性最大摄氧量预测系统

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234160

Mohit Kumar, M. Weippert, S. Kreuzfeld, N. Stoll, R. Stoll

引用次数: 5

Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant 本体引导搜索在汽车装配厂改进设备诊断中的应用

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234132

Rahul Chougule, S. Chakrabarty

引用次数: 9

Improved wavelet-based microscope autofocusing for blood smears by using segmentation 基于分割的改进小波显微镜血液涂片自动聚焦

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234192

Vishnu Vardhan Makkapati

引用次数: 11

Analysis of two-loop closed production systems 双环封闭生产系统分析

2009 IEEE International Conference on Automation Science and Engineering Pub Date : 2009-08-22 DOI: 10.1109/COASE.2009.5234167

Na Li, Li Zheng, W. Feng

引用次数: 0