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

8th International Conference on Bio-Inspired computing: Theories and Applications, BIC-TA 2013

作者： Liu, Jian-Xin Du, Yu-Yue Hong, Yong-Fa Sun, Lin-Lin College of Information Science Engineering Shandong University of Science and Technology QingdaoShandong266590 China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China College of Civil Engineering and Architecture SUST QingdaoShandong266590 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

来源：评论

学校读者我要写书评

暂无评论

A service selection method based on web service clusters

引用

Journal of Applied Sciences 2013年第24期13卷 5734-5738页

作者： Liu, Wei Du, Yu-Yue Yan, Chun College of Information Science and Engineering Shandong University of Science and Technology 266590 Qingdao China The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University 200092 Shanghai China

service selection is an essential issue in service discovery based on Web service clusters. The ratio of trust value to price is introduced to select the most suitable service in a cluster. The method of computing the initial trust, the direct trust and the recommendation trust are, respectively presented and the overall trust is derived based on them. The proposed method keeps the balance between the price and service quality. © 2013 Asian Network for Scientific Information.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

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)

来源：评论

学校读者我要写书评

暂无评论

Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets

Maximally permissive distributed control of large scale auto...

引用

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

Ensuring nonblockingness remains challenging for automated manufacturing systems (AMS) owing to their discrete event dynamics. Both scalability and maximal permissiveness are essential for the synthesis and implementation of their centralized supervisors. Inspired by the divide and conquer philosophy, this work proposes a partition methodology and distributed control technique for large scale AMS. They are represented as interconnected and overlapping subsystems sharing some common components in terms of buffers. For each subsystem, a local supervisor is designed based on its local behavior and neighboring information only. Generalizing the existing results, we develop a condition under which the control law via decomposition promises the maximal permissiveness. Buffer capacities are well designed for the sake of their decomposition into multiple overlapping subsystems. Theoretical results are developed to characterize the behavior compatibility among local controllers. An experimental study illustrates the effectiveness of the proposed method. © 2013 IEEE.

关键词： Supervisory personnel

来源：评论

学校读者我要写书评

暂无评论

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets

Supervisor synthesis and performance improvement for automat...

引用

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

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

来源：评论

学校读者我要写书评

暂无评论

Predictive Control for Visual Servo Stabilization of Nonholonomic Mobile Robots

引用

Acta Automatica Sinica 2013年第8期39卷 1238-1245页

作者： Zheng-Cai CAO Long-Jie YIN Yi-Li FU Tian-Long LIU College of Information Science and Technology Beijing University of Chemical Technology Beijing 100029 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China State Key Laboratory of Robotics and Systems Harbin Institute of Technology Harbin 150080 China

Visual servo stabilization of nonholonomic mobile robots has gained extensive attention. However, currently, the solution of the problem does not consider both the visibility constraints and the actuator limitations, so the designed controller is difficult to realize satisfactory performance in practical application. In this paper, a predictive controller for the visual servo stabilization of a mobile robot is presented. Firstly, a kinematic predictive stabilization controller utilized to generate the command of velocity is introduced. Then, in order to make the actual velocity of the mobile robot asymptotically approach to the desired one, a dynamic predictive controller is designed. The proposed predictive controller can deal with the constraints easily. Finally, several simulations are performed, and the results illustrate that the proposed control scheme is effective to solve the visual servo stabilization problem.

关键词： Nonholonomic mobile robots visual servo stabilization predictive control constraints

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：