检索结果-内蒙古大学图书馆

Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting

Petri net-based scheduling analysis of dual-arm cluster tool...

2012 IEEE International Conference on Automation Science and Engineering: Green Automation Toward a Sustainable Society, CASE 2012

作者： Qiao, Yan Wu, Naiqi Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou 510006 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China

ISBN: (纸本)9781467304283

With wafer revisit, it is complicated to schedule cluster tools in semiconductor fabrication. In wafer fabrication processes, such as atomic layer deposition (ALD), the wafers need to visit some process modules for a number of times. The existing swap-based strategy can be used to operate a dual-arm cluster tool for such a process. It results in a 3-wafer cyclic schedule. However, it is not optimal in the sense of cycle time. Thus, to search for a better schedule, a Petri net model is developed for a dual-arm cluster tool with wafer revisit. With it, the properties of the 3-wafer schedule are analyzed. It is found that, to improve the performance, it is necessary to reduce the number of wafers completed in a cycle. Thus, a 1-wafer schedule is developed by using a new swap-based strategy. © 2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Model predictive control for HVAC systems - A review

Model predictive control for HVAC systems - A review

引用

2013 IEEE International Conference on Automation Science and Engineering, CASE 2013

作者： Kwadzogah, Roger Zhou, Mengchu Li, Sisi Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07013 United States Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

ISBN: (纸本)9781479915156

The world faces an energy problem. Oil supply is gradually running out. Its use is polluting the planet with greenhouse gas. Most alternative energy sources also pose some environmental problems. Hence the efficient use of energy must be an integral part of any solution to them. Whenever possible, one must use advanced control engines and technologies to achieve the highest energy efficiency. In Heating Ventilation and Air Conditioning (HVAC) industry, much research has identified a number of energy-saving control methods. Derived from optimal control theory, Model Predictive Control (MPC) is one of them. This paper presents a comprehensive review of its applications to HVAC systems. © 2013 IEEE.

关键词： Model predictive control

来源：评论

学校读者我要写书评

暂无评论

Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes

Exploiting robustness in Petri net-based closed-loop systems...

引用

2013 IEEE International Conference on Automation Science and Engineering, CASE 2013

作者： Li, Jun Zhou, Mengchu Dai, Xianzhong Key Laboratory of Measurement and Control of Complex Systems of Engineering China Ministry of Education Automation School of Southeast University Nanjing 210096 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

ISBN: (纸本)9781479915156

Supervisory control reconfiguration has been paid more attention due to its capacity of handling the uncertainties including resource failures, capability degradation, and task changes in discrete event systems. However, the robustness of closed-loop systems in response to some specification changes was not addressed in the prior studies. This paper presents a reconfiguration method based on Petri nets and integer programming for supervisory control of resource allocation systems with changeable resource allocation relationships (control specifications). First, we propose a reconfiguration mechanism. It updates the P-invariant-based supervisor and evolves the state of the closed-loop system. The latter adapts to the certain changes in specifications by the self-regulation of the closed-loop system's state. It utilizes fully the robustness in a closed-loop system and avoids unnecessary modification of a supervisor. Then, a reconfiguration model with robustness analysis is proposed based on integer programming. By using it, a firing sequence of transitions as a serial of reconfiguration actions can be found. The execution of the sequence implements the state evolution of a closed-loop system. There is no need for making additional efforts to analyze state reachability of the system, since the firability condition of transitions is incorporated into the model. Finally, the method is illustrated through an example of a hospital emergency service system. © 2013 IEEE.

关键词： Closed loop systems

来源：评论

学校读者我要写书评

暂无评论

Bayesian cognitive trust model based self-clustering algorithm for MANETs

引用

Science China(Information Sciences) 2010年第3期53卷 494-505页

作者： WANG Wei1,2,3 & ZENG GuoSun1,2,31Department of Computer Science & Technology, Tongji University, Shanghai 200092, China 2Tongji Branch, National Engineering & Technology Center of High Performance Computer, Shanghai 200092, China 3key Loboratory of embedded system and service computing, Ministry of Education, Shanghai 200092, China 1. Department of Computer Science & Technology Tongji University Shanghai 200092 China2. Tongji Branch National Engineering & Technology Center of High Performance Computer Shanghai 200092 China3. Key Loboratory of Embedded System and Service Computing Ministry of Education Shanghai 200092 China

With the introduction of mobile Ad hoc networks (MANETs), nodes are able to participate in a dynamic network which lacks an underlying infrastructure. Before two nodes agree to interact, they must trust that each will satisfy the security and privacy requirements of the other. In this paper, using the cognition inspired method from the brain informatics (BI), we present a novel approach to improving the search efficiency and scalability of MANETs by clustering nodes based on cognitive trust mechanism. The trust relationship is formed by evaluating the level of trust using Bayesian statistic analysis, and clusters can be formed and maintained autonomously by nodes with only partial knowledge. Simulation experiments show that each node can form and join proper clusters, which improve the interaction performance of the entire network. The essence of the underlying reason is analyzed through the theory of complex networks, revealing great scalability of this method.

关键词： trust model MANET self-clustering Bayesian method cognitive mobile

来源：评论

学校读者我要写书评

暂无评论

Evolutionary behavior verification to the trustworthy banking software

Evolutionary behavior verification to the trustworthy bankin...

引用

International Conference on Computer Engineering and Technology

作者： Jiang, Zuo-Wen Tang, Xian-Fei Ding, Zhi-Jun Jiang, Chang-Jun Electronics and Information Engineering School Tongji University 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University 200092 China College of Science and Technology NingBo University 315211 China

ISBN: (纸本)9781424463503

Oriented to the goal of high-quality banking softwares, trustworthiness is emerging to be important property. This paper studies how to apply formal methods into the trustworthy property preservation of evolutionary components, focusing on the safety property of the concurrent software behavior, this paper presents a new approach to curb the state explosion problem in the model checking based trustworthiness verification. By adopting the environment reduction paradigm, our method is able to reduce the global states of the system by hiding the internal actions of the environment that does not join in the interleaving composition. The method presented is proved and testified with a bank software case study. Experiment data shows that our method is able to improve the verification efficiency. © copy;2010 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Trust-drive minimize cost within deadline algorithm for instance-intensive workflows in cloud computing environment

引用

Journal of Convergence Information Technology 2012年第13期7卷 412-419页

作者： Daoguo, Li Mukuai, Wang Rong, Zhao Hangzhou Dianzi University China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University China

Cloud computing is an emerging paradigm and it has been accepted and researched widely both in industry and academic fields. Instance-intensive workflows are workflows with a great number of concurrent instances;they are typical applications in cloud computing environment. However, cloud resources consist of unreliable servers;it becomes increasingly important to provide reliable scheduling strategy. Considering unreliable cloud resources and QoS requirements of instanceintensive workflows, we propose Trust-drive Minimize Cost Within Deadline (TD-MCWD) scheduling algorithm. On the one hand, the TD-MCWD algorithm staggers deadlines of the large number of concurrent instances of the same nature, expecting to get cheaper and more intensively competitive resources. On the other hand, considering the risk factors on the basis of resource reliability was estimated by trust model, the TD-MCWD algorithm tends to assign the task to the high reliable resource. Simulation experiment shows TD-MCWD algorithm can reduce the rate of delayed instance completion and the average execution cost of successful instance completion. Besides, TD-MCWD has a better load balancing and shows a better performance.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

A framework of video coding for compressing near-duplicate videos

A framework of video coding for compressing near-duplicate v...

引用

20th Anniversary International Conference on MultiMedia Modeling, MMM 2014

作者： Wang, Hanli Ma, Ming Jiang, Yu-Gang Wei, Zhihua Department of Computer Science and Technology Tongji University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China School of Computer Science Fudan University Shanghai China

ISBN: (纸本)9783319041131

With the development of multimedia technique and social network, the amount of videos has grown rapidly, which brings about an increasingly substantial percentage of Near-Duplicate Videos (NDVs). It has been a hot research topic to retrieve NDVs for a number of applications such as copyright detection, Internet video ranking, etc. However, there exist a lot of redundancies in NDVs, and to the best of our knowledge it is an untouched research area on how to efficiently compress NDVs in a joint manner. In this work, a novel video coding framework is proposed to effectively compress NDVs by making full use of the relevance among them. Experimental results demonstrate that a significant storage saving can be achieved by the proposed NDV coding framework. © 2014 Springer International Publishing.

关键词： Video signal processing

来源：评论

学校读者我要写书评

暂无评论

Personalized web retrieval based on rough-fuzzy method

引用

Journal of Computational Information systems 2007年第3期3卷 1067-1074页

作者： Duan, Qiguo Miao, Duoqian Zhang, Hongyun Zheng, Ji Key Laboratory of 'Embedded System and Service Computing' Department of Computer Science and Technology Tongji University Shanghai 201804 China

A novel approach of rough-fuzzy hybridization is proposed for efficient personalized Web retrieval. Variable precision rough set model is used to discover user preference. Fuzzy sets are incorporated to take care of the real-valued weights in each document vector. Discerning keywords are identified to refine a query for more focused representation. To further filter out irrelevant documents for the user, retrieved results are re-ranked according to rough similarity measures. Experiments compared with traditional search engine are presented and experimental results indicate the performance of document retrieval is greatly improved.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

An ultrasound system for tumor detection in soft tissues using low transient pulse

An ultrasound system for tumor detection in soft tissues usi...

引用

2011 7th IEEE International Conference on Automation Science and Engineering, CASE 2011

作者： Ratnakar, Ashish R. Zhou, MengChu Dept. of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102-1982 United States MoE Key Laboratory of Embedded System and Service Computing Tongji University Shanghai 200092 China

ISBN: (纸本)9781457717307

This work presents a method to detect the size and location of tumor in soft tissues using ultrasound. Quantitative ultrasound is utilized to allow an ultrasound signal to be sent from a transmitter to multiple receivers. This received signal is analyzed for echogenic and echolucent tumors to differentiate between the two along with non-tumor sample and also studied for the delay to determine the size/location of the tumor. The proposed system utilizes Low Transient Pulse (LTP) technique and is implemented using Field Programmable Gate Array (FPGA) and Digital Signal Processor (DSP) technologies. In this co-design architecture, DSP carries out the analysis of received demodulated signal at a lower speed while FPGA runs at a higher one to generate LTP signal and demodulate bandpass ultrasonic signal. This work elaborates the implementation of Quadrature Amplitude Modulation (QAM) receiver on FPGA for the received signal from an ultrasound detector. LTP is applied to the tumor samples through the transmitter and the received signal at an ultrasonic receiver is passed through QAM to obtain different maxima that are then further used to compute the location and the size of the tumor using DSP. This dual platform co-design demonstrates a good application of a FPGA/DSP platform for the LTP generation and received signal processing. © 2011 IEEE.

关键词： Tumors

来源：评论

学校读者我要写书评

暂无评论

Synchronization of delayed complex-valued networks via aperiodically intermittent pinning control

Synchronization of delayed complex-valued networks via aperi...

引用

International Conference on Information and Automation (ICIA)

作者： Xiwei Liu Department of Computer Science and Technology The Key Laboratory of Embedded System and Service Computing Shanghai China

ISBN: (纸本)9781467391054

In this paper, the synchronization problem for linearly coupled complex networks is investigated, which is denoted by ordinary differential equations with complex-values. The coupling topology can be asymmetric, and the time delay also exists in the network model. By pinning some external aperiodically intermittent control on the network nodes, we will prove that under some conditions, the complete synchronization will be finally realized exponentially. Moreover, applying the adaptive technique on the coupling strength, we will also present an adaptive rule, whose validity is rigorously proved. Finally, some numerical simulations will be given to illustrate the correctness of these obtained results.

关键词： Synchronization Delay effects Couplings Adaptation models Mathematical model Complex networks Delays

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：