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

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

作者： Hu, Hesuan Zhou, Mengchu Liu, Yang School of Electro-mechanical Engineering Xidian University Xi'an Shaanxi 710071 China School of Computer Engineering Nanyang Technological University Singapore 639798 Singapore Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102 United States

ISBN: (纸本)9781479915156

Behavior management and performance evaluation are two significant issues in the design and operation of automated manufacturing systems (AMS). The former constrains their dynamics so as to avoid improper behavior and eliminate downtime, while the latter aims to evaluate cycle time. Although abundant research has been conducted on each issue independently, researchers rarely address both in a correlative way. Without accurate and prompt guidance to route parts, it is difficult for an AMS to manage the production process in an optimal manner. In the paradigm of Petri nets, we show that it is crucial to optimize certain local priorities for the sake of cycle time minimization or throughput maximization. Without making radical changes to the system structure, our method can well design some control parameters in order to meet system performance requirement. An algorithm of polynomial complexity is presented to derive supervisory controllers, if existing, to improve system performance. © 2013 IEEE.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Scheduling of time constrained dual-arm cluster tools with wafer revisiting

Scheduling of time constrained dual-arm cluster tools with w...

引用

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

作者： Qiao, Yan Wu, Naiqi Zhou, Mengchu Department of Industrial Engineering School of Electro-Mechanical Engineering Guangdong University of Technology Guangzhou 510006 China Macau University of Science and Technology China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102-1982 United States

ISBN: (纸本)9781479915156

This work intends to schedule a dual-arm cluster tool for the atomic layer deposition (ALD) process with wafer residency time constraints. ALD is a typical wafer revisiting process. Based on the analysis of system properties, a novel scheduling strategy called modified 1-wafer cyclic scheduling is derived. With this strategy, necessary and sufficient schedulability conditions are established. If schedulable, scheduling algorithms are presented to obtain a feasible and optimal schedule. By the proposed method, a schedule can be found by just simple calculation. An illustrative example is given to show the application of the proposed approach. © 2013 IEEE.

关键词： Atomic layer deposition

来源：评论

学校读者我要写书评

暂无评论

Extended and improved slicing technologies for Petri nets

引用

High Technology Letters 2013年第1期19卷 98-104页

作者： Yu, Wangyang Yan, Chungang Ding, Zhijun Fang, Xianwen Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Lab. of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

Petri net is an important tool to model and analyze concurrent systems, but Petri net models are frequently large and complex, and difficult to understand and modify. Slicing is a technique to remove unnecessary parts with respect to a criterion for analyzing programs, and has been widely used in specification level for model reduction, but researches on slicing of Petri nets are still limited. According to the idea of program slicing, this paper extends slicing technologies of Petri nets to four kinds of slices, including backward static slice, backward dynamic slice, forward static slice and forward dynamic slice. Based on the structure properties, the algorithms of obtaining two kinds of static slice are constructed. Then, a new method of slicing backward dynamic slice is proposed based on local reachability graph which can locally reflect the dynamic properties of Petri nets. At last, forward dynamic slice can be obtained through the reachability marking graph under a special marking. The algorithms can be used to reduce the size of Petri net, which can provide the basic technical support for simplifying the complexity of formal verification and analysis. © by HIGH TECHNOLOGY LETTERS PRESS.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Modeling and monitoring of online shopping business processes based on system behavior patterns

引用

Journal of Computational Information systems 2013年第12期9卷 4691-4698页

作者： Yu, Wangyang Yan, Chungang Ding, Zhijun Zhong, Junzhu Department of Computer Science and Technology Tongji University Shanghai 201804 China Key Lab. of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China

Online shopping integrating third-party payment platforms (TPPs) has rapidly developed recently. The integration leads to new security problems derived from complex interactions among Application Programming Interfaces (APIs), and the detection of such defects in application-level is costly and difficult. To deal with these security issues at the online stages, this paper presents a framework of modeling and monitoring online shopping business processes from the point of legal behavior patterns. We present Online Shopping Net (OSN) to model the normal business process, and make it as the legal behavior pattern used to monitor system behaviors. Then, a monitor based on OSN is constructed. The system behaviors beyond the legal behavior pattern would be alarmed and blocked. It is a novel attempt to guarantee the security of online shopping from the point of behaviors and online monitoring. Using the active defense tactics, we can effectively prevent the illegal behaviors of the users at application-level instead of constantly fixing bugs of applications. As a case study, we simulate an e-commerce site and a TPP, and the monitor can effectively prevent the malicious behaviors appearing recently. © 2013 by Binary Information Press.

关键词： Application programming interfaces (API)

来源：评论

学校读者我要写书评

暂无评论

Covariance free incremental principal component analysis with exact mean update

引用

Journal of Computational Information systems 2013年第16期9卷 6703-6710页

作者： Zeng, Xueqiang Li, Guozheng The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China Computer Center Nanchang University Nanchang 330029 China Department of Control Science and Engineering Tongji University Shanghai 201804 China

Incremental feature extraction is an essential data preprocessing technique for large-scale and streaming data mining. Among various covariance matrix-free Incremental Principal Component Analysis (IPCA) methods, Candid Covariance-free Incremental Principal Component Analysis (CCIPCA) is a state-of-the art algorithm. Since the training samples are required to be centred, CCIPCA applies an approximate centric alignment on the input data, where only the current sample is correctly centred and all historical data are not updated properly. In this paper, we propose a novel centred incremental principal component analysis algorithm with exact historical mean update, where not only the current sample is centred, but also all historical data are updated by the current mean correctly. Compared to CCIPCA, the proposed method converges more quickly, and the performance improvement is especially obvious when the data's inherent covariance is not stable. The experiments on real streaming dataset show that the proposed method is much superior to CCIPCA in convergence speed. © 2013 Binary Information Press.

关键词： Principal component analysis

来源：评论

学校读者我要写书评

暂无评论

$\varepsilon$-Constraint and Fuzzy Logic-Based Optimization of Hazardous Material Transportation via Lane Reservation

引用

IEEE Transactions on Intelligent Transportation systems 2013年第2期14卷 847-857页

作者： Zhen Zhou Feng Chu Ada Che MengChu Zhou Computing Integrative Biology and Complex Systems Laboratory University of Evry-Val dEssonne Evry France School of Management Northwestern Polytechnical University Xian China Key Laboratory of Embedded System and Service Computing of Ministry of Education Tongji University Shanghai China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ USA

With economic development, a great amount of hazardous material is shipped in the transport network every day. Hazardous material transportation is well known for its high potential risk. An accident can cause very serious economic damage and will have a negative impact on public health and the environment over the long term. Transporting hazardous materials on special lanes can reduce the risk. However, a lane reservation strategy may worsen traffic conditions for other vehicles. This paper investigates a hazardous material transportation problem with lane reservation. The problem lies in how to choose lanes to be reserved in the network and select the path for each hazardous material shipment from the reserved lanes. The goal is to obtain the best compromise between the impact on normal traffic and the transportation risk. A multiobjective integer programming model is presented for the new problem. Then, an algorithm is developed based on the ε -constraint method and a fuzzy-logic-based approach. Pareto optimal solutions are obtained by the former, and a preferred solution is selected by the fuzzy-logic-based approach. Computational results demonstrate the efficiency of the proposed algorithm using an instance based on a real network topology and randomly generated instances.

关键词： Hazardous materials Accidents Roads Linear programming Vectors Optimization

来源：评论

学校读者我要写书评

暂无评论

Neighborhood Rough Sets based Multi-Label classification

Neighborhood Rough Sets based Multi-Label classification

引用

Conference of the North American Fuzzy Information Processing Society - NAFIPS

作者： Ying Yu Witold Pedrycz Duoqian Miao Hongyun Zhang Tongji University Shanghai Shanghai CN University of Alberta Edmonton AB CA Department of Computer Science and Technology Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

ISBN: (纸本)9781479903467

Nowadays, multi-label classification methods are of growing interest. Due to the relationships among the labels, traditional single-label classification methods are not directly applicable to the multi-label classification problem. This paper presents a novel multi-label classification framework based on the variable precision neighborhood rough sets, called Multi-Label classification using Rough Sets (MLRS) which considers the impact of correlation among the labels and the uncertainty that exists in the mapping between the feature space and label space. A series of experiments reported for seven multi-label datasets show that MLRS achieves promising performance when compared with some famous multi-label learning algorithms.

关键词： Classification algorithms Rough sets Training Testing Approximation methods Uncertainty Prediction algorithms

来源：评论

学校读者我要写书评

暂无评论

Evaluating feedback systems for residential building energy monitoring

Evaluating feedback systems for residential building energy ...

引用

IEEE International Conference on Automation Science and Engineering (CASE)

作者： Wenqi Wendy Guo Tania Ullah MengChu Zhou National Institute of Standards and Technology Gaithersburg MD USA ECE Dept. New Jersey Institute of Technology Newark NJ USA The Key Laboratory of Embedded System and Service Computing Ministry of Education Shanghai China

Rising global energy demand, increasing electricity prices, and the limitation of natural resources have led to increased interest in energy monitoring of residential buildings. Much research has been done to examine the effect of energy use feedback to building occupants. An important step towards energy awareness is to provide timely and finegrained consumption information of major household energy expenditures through feedback systems, known as residential energy monitoring systems (REMS). To accomplish this, researchers and product designers are intent on improving the residential whole-building energy consumption estimates gained through sensor networks at homes. Additionally, profiling the usage of appliances and devices within a home can be used to determine an occupant's daily activities and to optimize energy consumption. In this work, we take a step toward creating an evaluation procedure for REMS by determining factors that affect their ability to accurately convey energy usage to occupants. Two feedback sensor systems are assessed in a testbed in which electrical loads typical to a home are operated. Preliminary tests show that the accuracy of the REMS measurement is dependent on an electrical load's power factor. Together with other findings, the results will assist researchers in forming a comprehensive test procedure that will characterize feedback systems in the future.

关键词： Reactive power Monitoring Buildings Power measurement Home appliances Energy consumption Measurement errors

来源：评论

学校读者我要写书评

暂无评论

Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools

Petri net modeling and one-wafer scheduling of single-arm mu...

引用

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

作者： Zhu, Qinghua Wu, Naiqi Qiao, Yan Zhou, Mengchu School of Computer Guangdong University of Technology Guangzhou 510006 China Macau University of Science and Technology China 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 201804 China Department of Electrical and Computer Engineering New Jersey Institute of Technology Newark NJ 07102-1982 United States

ISBN: (纸本)9781479915156

It is very challenging to schedule a multi-cluster tool for it needs to coordinate the activities of multiple robots. This paper studies one-wafer cyclic scheduling for multi-cluster tools whose bottleneck cluster tool is process-bound. A Petri net model is developed to describe the system. Based on the model, it is shown that, for any multi-cluster tool whose bottleneck cluster tool is process-bound, there is always a one-wafer cyclic schedule. Then, a method is presented to find the minimal cycle time and the optimal one-wafer cyclic schedule. The method requires only simple calculation. An example illustrates the application and effectiveness of the proposed method. © 2013 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Berth-Crane allocation model and algorithm of container berths in the uncertain environment

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent systems and computing 2013年 212卷 785-792页

作者： Liu, Jian-xin Du, Yu-yue Hong, Yong-fa Sun, Lin-lin College of Information Science Engineering Shandong University of Science and Technology Qingdao 266590 Shandong China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China College of Civil Engineering and Architecture SUST Qingdao 266590 Shandong China

ISBN: (纸本)9783642375019

According to the randomness of the vessel's arrival time and handling time, the establishment of a randomly-oriented environment container berths-crane allocation model, the optimizing goal is to minimize the average ship-waiting time. Taking into account the complexity of the model solution, this paper offers the design of an improved genetic algorithm to reduce the searching space, and according to the characteristics of the optimal solution. With testing example to verify that the model can simulate decision-making environment of berths-crane allocation problem and reflect the decision-maker's attitude toward risks and preferences. The algorithm can gain a stable and satisfactory solution within the operating time. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Genetic algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：