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

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

来源：评论

学校读者我要写书评

暂无评论

Based on transmission line compositing left and right rules to realize optimal matching in RF part of 77GHz automotive radar

Based on transmission line compositing left and right rules ...

引用

International Radar Symposium, IRS 2011

作者： Gui, Renzhou Key Laboratory of Embedded System and Service Computing Ministry of Eduction College of Electronics and Information Engineering Tongji University Shanghai 200092 China State Key Laboratory of Millimeter Waves Nanjin 210096 China

ISBN: (纸本)9783927535282

77GHz Automotive radar based on SiGe technique is the hot topics. The optimal matching in the RF part of the automotive radar should be solved and considered firstly. Left hand material(LHM) has special properties such as low loss, negative phase velocity. The paper focus on designing a new transmission line which is made by LHM and RHM (right hand material) together. We analysis the theory of the TL (transmission line) based on compositing LHM and RHM together, then design the match circuits based on the TL. Moreover, the simulating results of the circuit based on the special TL are shown. Lastly, the possibility of using the TL to match at the automotive radar system is valued. © 2011 DGON.

关键词： Electric lines

来源：评论

学校读者我要写书评

暂无评论

Abnormal event detection based on in vehicle monitoring system

Abnormal event detection based on in vehicle monitoring syst...

引用

International Conference on Applications and Techniques in Cyber Security and Intelligence, ATCSI 2017

作者： Song, Lei Dai, Jie Duan, Huixian Liu, Zheyuan Liu, Na The Third Research Institute of the Ministry of Public Security Shanghai China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Shanghai International Technology & Trade United Co. Ltd Shanghai China

ISBN: (纸本)9783319670706

Nowadays, the cameras of traffic monitoring systems are mounted toward roads or interactions. The views are fixed and limited. To extend the monitoring area, a novel onboard abnormal event detection system is proposed based on the In Vehicle Monitoring system (IVMS). Videos are captured by the camera mounted in the front of a vehicle. Traffic information extracted by the system is combined with the GPS and electronic map to discover abnormal events. The system can be installed on police vehicles, buses, even private cars. Therefore, the anomaly monitoring can be processed anywhere, instead of on the certain interactions or roads. © 2018, Springer International Publishing AG.

关键词： Cameras

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Traffic sign classification base on latent dirichlet allocation 1

引用

6th International Conference on Frontier computing, FC 2017

作者： Song, Lei Liu, Zheyuan Zhang, Xiaoteng Duan, Huixian Liu, Na Dai, Jie The Third Research Institute of the Ministry of Public Security Shanghai China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Shanghai International Technology and Trade United Co. Ltd Shanghai China

ISBN: (数字)9789811073984

ISBN: (纸本)9789811073977

Traffic sign classification is a significant issue in the intelligent vehicle domain, which helps vehicles to follow the traffic rules and ensure the safety. Feature selection and description are very important and difficult for classification. In this paper, a novel traffic sign classification method is proposed which is based on the Latent Dirichlet Allocation (LDA) model. Feature topics are modeled based on various traffic signs by the LDA automatically. And traffic signs captured onboard are classified according to the modeled features. The experiment results show the efficiency of our work. © 2018, Springer Nature Singapore Pte Ltd.

关键词： Traffic signs

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Estimating the direction of motion based on active RFID

Estimating the direction of motion based on active RFID

引用

5th International Conference on New Trends in Information Science and service Science, NISS 2011

作者： Yujian Yangwei Zhang, Yaing School of Electronics and Information Tongji University Shanghai China School of Economics and Management Shanghai Ocean University Shanghai China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

ISBN: (纸本)9788988678626

RFID is one of the crucial technology of the IOT (Internet of things), and it has been applying to the fields of manufacturing, logistics management, public security, etc. Active RFID, as one important component of RFID, has striking features of low power consumption, stable signals, long-range read and strong anti-jamming ability. Active RFID is thus widely used in the areas of long-range identification of people and vehicles and Real Time Location system. In the various applications of active RFID, estimating the direction of motion is a vital technical issue. This paper puts forward a new method to estimate. In other words, using several directional antennae, it forms several reading zones, extracts events of tag-entering or tag-leaving and then realizes the estimation by the order of events. In this way, it is feasible to estimate not only the direction of motion of tags accurately, but also other complicated logic, e.g. tag return midway. © 2011 AICIT.

关键词： Radio frequency identification (RFID)

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：