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

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Analysis for one-place unbounded Petri nets based on modified reachability trees

Analysis for one-place unbounded Petri nets based on modifie...

引用

IEEE International Conference on Networking, Sensing and Control

作者： Yu Wang Zhi Jun Ding Key Laboratory of Embedded System and Service Computing Ministry of Education University of Tongji Shanghai China Key Laboratory of Embedded ystem nd Service Computing Ministry of Education University of Tongji Shanghai China

Analysis approaches of reachability decision is fundamental to Petri nets theory; however, the relevant research work in the past cannot always guarantee the correctness of analysis conclusions. This paper firstly reveals the root cause of wrong conclusions, which are drawn in analysis for deadlock of Petri nets based on modified reachability trees (MRT), and then proposes the rectified calculation of the next-state function and some corresponding definitions, which guarantee MRT's usefulness and correctness in analyzing reachability and deadlock of one-place unbounded Petri nets. Finally, a necessary and sufficient condition of MRT's reachability and the theoretical proof are presented. Examples are given to illustrate the method.

关键词： Petri nets system recovery Firing Laboratories Educational institutions Analytical models Mathematical model

来源：评论

学校读者我要写书评

暂无评论

Quality assessment for color images with tucker decomposition

Quality assessment for color images with tucker decompositio...

引用

IEEE International Conference on Image Processing

作者： Cheng, Cheng Wang, Hanli Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

As an extension of the singular value decomposition based approaches, a novel metric based on Tucker decomposition for color image quality assessment is proposed in this paper. It extracts both the spacial and chromatic information of a color image with Tucker decomposition. As compared to most of the other existing quality metrics for color images, the key advantage of the proposed metric is that it treats the color image as a whole entity instead of an assembly of three independent visual channels, and thus the interrelation among the different visual channels is well involved. Experimental results on the LIVE Database Release 2 demonstrate that the proposed metric can generally achieve similar or better performance than other metrics.

关键词： Tensile stress Measurement Image color analysis Color Matrix decomposition Image quality Vectors

来源：评论

学校读者我要写书评

暂无评论

Combining feature selection and resample to improve classification accuracy

引用

Journal of Computational Information systems 2012年第22期8卷 9539-9544页

作者： Liu, Jiaming Wang, Xiao Zhao, Qingce You, Mingyu Li, Guozheng The Key Laboratory of Embedded System and Service Computing Department of Control Science and Engineering Tongji University Shanghai Shanghai 201804 China

The paper provides the solution of the campion for CDMC2011, a data mining contest. The task for the data mining contest organized in conjunction with the ICONIP20II conference was to learn three predictive models (i.e. a classifier) capable of distinguishing between different classes for three separate tasks. Different combinations of data preprocess, feature selection and classifier learning methods were tried to obtain the best results. The performance of classifiers are improved by ensemble learning method. The final accuracy on test dataset shows our methods outperformed others. Copyright © 2012 Binary Information Press.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

Association analysis between symptoms (signs) and syndromes of chronic gastritis based on associated density

Association analysis between symptoms (signs) and syndromes ...

引用

2012 International Conference on system Simulation, ICUSS 2012

作者： Liu, G.P. Li, G.Z. Yan, S.X. Li, F.F. Fu, J.J. Zhen, R.W. Laboratory of Information Access and Synthesis of TCM Four Diagnosis Basic Medical College Shanghai University of Traditional Chinese Medicine Shanghai 201203 China Key Laboratory of Embedded System and Service Computing Department of Control Science and Engineering Tongji University Shanghai 201804 China

ISBN: (纸本)9781849195386

Purpose: The analysis of syndrome distribution and the association between symptom((signs))-syndrome in chronic gastritis (CG) patients can provide references for research about Traditional Chinese Medicine (TCM) diagnosis and treatment of CG. Method: This paper applies the investigation method of clinical epidemiology, adopts probability statistics method and comes up with the concept of associated density to conduct association analysis of symptom-syndrome. Result: In the distribution of syndromes patients who have a single syndrome occupy 64.7% of the whole sample;some symptoms have been selected out, of which the associated density is more than 0.6. Conclusion: Through this comparison of the values, we found the obvious one-way relationship of the symptoms (signs) and syndromes, and the results are in line with traditional Chinese medicine theory. This method effectively complements and supports traditional Chinese medicine point of view and hypothesis.

关键词： Diagnosis

来源：评论

学校读者我要写书评

暂无评论

service on demand of transportation information grid system model and analysis based on TCPN

Service on demand of transportation information grid system ...

引用

2012 International Conference on Computer Science and Electronics Engineering, ICCSEE 2012

作者： Li, Jingxia Zhao, Huijuan Wu, Guodong School of Information and Computer Science Anhui Agricultural University Hefei Anhui Province China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Information College Shanghai Ocean University Shanghai China

ISBN: (纸本)9780769546476

Along with the application and popularity of transportation information grid system, users become more and more, original configuration can't meet actual demand. In this paper we establish timed colored Petri net process model for service On Demand process, which is one of the main service provided by the system. Through simulating increasing users and the amount of processes waiting for service On Demand request, we analysis request response time change, and provide beneficial reference for extension of system configuration. © 2012 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Adaptive rate-distortion prediction for multiple reference selection and inter-mode decision

Adaptive rate-distortion prediction for multiple reference s...

引用

13th Pacific-Rim Conference on Multimedia, PCM 2012

作者： Zhao, Tiesong Zhang, Yun Kwong, Sam Wang, Hanli Chen, Qian Shenzhen Institute of Advanced Technology Chinese Academy of Sciences Shenzhen China Department of Computer Science City University of Hong Kong Hong Kong Hong Kong Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

ISBN: (纸本)9783642347771

To minimize Rate-Distortion (RD) cost in video coding, RD Optimization (RDO) technique is adopted, which also brings increasingly computational complexity in Motion Estimation (ME), multiple reference selection and mode decision. In this paper, a Gaussian model based adaptive RD cost prediction method is developed to jointly speed up multiple reference selection and inter-mode decision. Besides the ability of achieving good coding efficiency with much reduced computational power, our method is also with two major advantages. First, it can achieve robust performance, including computational complexity reduction and almost intact video quality, with a wide range of video sequences resolutions and even for various scene changes;second, it could be either individually used or combined with the other efficient mode decision algorithms, and in both cases, our method could achieve remarkable performance, which is revealed by exhaustive experimental results. © 2012 Springer-Verlag.

关键词： Image coding

来源：评论

学校读者我要写书评

暂无评论

Transactional and QoS-aware selection algorithm for reliable Web service composition

引用

Journal of Computational Information systems 2012年第11期8卷 4633-4640页

作者： Shen, Hongjie Ding, Zhijun Wang, Pengwei Chen, Hongzhong Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

At present, most of the work has focused on Web services composition from the QoS side, little work being done on investigating how to implement service selection based on transactional and QoS requirements. In complicated network environment, composite services need transactional support for correct and reliable execution. Therefore, How to design a composite service to ensure not only correct and reliable execution but also optimal QoS is a challenging issue. This paper addresses the problem of selecting services by aggregating the transactional and QoS requirements. First, we presented global optimization selection algorithms based on two selection models of composite service with transactional requirements. Then, a heuristic selection algorithm is presented to select an approximately optimal transactional composite service within a reasonable time. Lastly, experiments are conducted to analyze the performance of our proposed algorithms. © 2012 Binary Information Press.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Logical difference analysis based on variable precision lower approximation operator and graded upper approximation operator

Logical difference analysis based on variable precision lowe...

引用

2012 International Conference on Computer Science and Information Processing, CSIP 2012

作者： Zhang, Xianyong Miao, Duoqian Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China College of Mathematics and Software Science Sichuan Normal University Chengdu Sichuan 610068 China

ISBN: (纸本)9781467314114

This paper aims to construct and analyze an original logical difference based on the quantitative approximation operators. According to the variable precision lower approximation operator and graded upper approximation operator, we first put forward the specific logical difference;the new concept makes the specific logical combination on precision and grade, and has the practical multiple quantitative meaning. Then, both the fundamental structure and properties are investigated and obtained for the logical difference. Furthermore, two algorithms, the regular and structural algorithms, are proposed and analyzed, and the structural algorithm has more advantages. Finally, an example is provided. The proposed concept partially extends the graded and classical approximation operators;thus, some properties are achieved correspondingly for these previous approximation operators. © 2012 IEEE.

关键词： Rough set theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：