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

2016 IEEE International Conference on systems, Man, and Cybernetics, SMC 2016

作者： Liu, Qing Feng, Zhang Liu, Min Shen, Weiming School of Electronic and Information Engineering Tongji University Shanghai201804 China Key Laboratory of Embedded System and Service Computing Tongji University Shanghai201804 China

ISBN: (纸本)9781509018970

In order to improve fault forecasting model accuracy of back propagation neural network (BPNN), an improved prediction method of optimized BPNN based on Multilevel Genetic Algorithm (MGA) was proposed. We design new chromosome with multilevel structure, improve the encoding mode, fitness function and genetic operator. Which can optimizes the initial values of weights, thresholds and the structure of BPNN synchronously. Enhancing the ability of nonlinear learning and generalization of BPNN. Case study of continuous casting equipment verified that the proposed model with higher prediction accuracy is better than classical BPNN and GA-BPNN prediction method for fault prediction. © 2016 IEEE.

关键词： Chromosomes

来源：评论

学校读者我要写书评

暂无评论

Improving image retrieval by local feature reselection with query expansion 1

引用

17th Pacific-Rim Conference on Multimedia, PCM 2016

作者： Wang, Hanli Sun, Tianyao 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

ISBN: (数字)9783319488905

ISBN: (纸本)9783319488899

A novel approach related to query expansion is proposed to improve image retrieval performance. The proposed approach investigates the problem that not all of the visual features extracted from images are appropriate to be employed for similarity matching. To address this issue, we distinguish image features as effective features from noisy features. The former is benefit for image retrieval while the latter causes deterioration, since the matching of noisy features may rise the similarity score of irrelevant images. In this work, a detailed illustration of effective and noisy features is given and the aforementioned problem is solved by selecting effective features to enhance query feature set while removing noisy features via spatial verification. Experimental results demonstrate that the proposed approach outperforms a number of state-of-the-art query expansion approaches. © Springer International Publishing AG 2016.

关键词： Image retrieval

来源：评论

学校读者我要写书评

暂无评论

Behavioral equivalence of security-oriented interactive systems

Behavioral equivalence of security-oriented interactive syst...

引用

作者： Liu, Guanjun Jiang, Changjun Department of Computer Science Tongji University Shanghai201804 China Key Laboratory of the Ministry of Education for Embedded System and Service Computing Tongji University Shanghai201804 China

In the classical computation theory, the language of a system features the computational behavior of the system but it does not distinguish the determinism and nondeterminism of actions. However, Milner found that the determinism and nondeterminism affect the interactional behavior of interactive systems and thus the notion of language does not features the interactional behavior. Therefore, Milner proposed the notion of (weak) bisimulation to solve this problem. With the development of internet, more and more interactive systems occur in the world, such as electronic trading system. Security is one of the most important topics for these systems. We find that different security policies can also affect the interactional behavior of a system, which exactly is the reason why a good policy can strengthen the security. In other words, two interactive systems with different security policies are not of an equivalent behavior although their functions (or business processes) are identical. However, the classic (weak) bisimulation theory draws an opposite conclusion that their behaviors are equivalent. The notion of (weak) bisimulation is not suitable for these security-oriented interactive systems since it does not consider a security policy. This paper proposes the concept of secure bisimulation in order to solve the above problem. Copyright © 2016 The Institute of Electronics, Information and Communication Engineers.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

Finite-time and Fixed-time Stability and Synchronization 35

Finite-time and Fixed-time Stability and Synchronization

引用

第35届中国控制会议

作者： LIU Xiwei LU Wenlian CHEN Tianping Department of Computer Science and Technology Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education School of Mathematics Fudan University Centre for Computational System Biology Fudan University School of Computer Sciences Fudan University

ISBN: (纸本)9781509009107

Recently,finite-time and fixed-time stability has been a hot topic in the study of dynamical *** this paper,we will provide an insightful view on this issue and explore the intrinsic property by mathematical *** theorems and corollaries show how to find the settling ***,we apply the corresponding theory on the finite-time and fixed-time synchronization problem of nonlinearly coupled systems and a numerical simulation is also given to demonstrate its efficiency.

关键词： Finite-Time Fixed-Time Nonlinear Coupling Stability Synchronization

来源：评论

学校读者我要写书评

暂无评论

Path Restoring Algorithm based on Vehicle Trajectory Mining

Path Restoring Algorithm based on Vehicle Trajectory Mining

引用

2016 IEEE International Conference on Big Data Analysis

作者： Yuanhui Sun Yaying Zhang Key Laboratory of Embedded System and Service Computing Tongji University

Path restoring is a path searching problem in the time-dependent road network with the time constraints of origin and destination. This paper proposes a path restoring algorithm to find the possible path that vehicles may have been driving along. We mined the vehicle trajectories based on historical GPS data and then build a "popular" intersection graph based on its entropy and frequency. Then the restoring path is searched on the sub-graph of the popular intersection graph. The experiment result shows that the proposed algorithm increases 10% compared to that of using timedependent fastest path method.

关键词： time-dependent fastest path frequent path footmark graph

来源：评论

学校读者我要写书评

暂无评论

Conflict Analysis for Pythagorean Fuzzy Information systems with Group Decision Making

arXiv

引用

arXiv 2017年

作者： Lang, Guangming Department of Computer Science and Technology Tongji University Shanghai201804 China School of Mathematics and Statistics Changsha University of Science and Technology Changsha Hunan410114 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China

Pythagorean fuzzy sets provide stronger ability than intuitionistic fuzzy sets to model uncertainty information and knowledge, but little effort has been paid to conflict analysis of Pythagorean fuzzy information systems. In this paper, we present three types of positive, central, and negative alliances with different thresholds, and employ examples to illustrate how to construct the positive, central, and negative alliances. Then we study conflict analysis of Pythagorean fuzzy information systems based on Bayesian minimum risk theory. Finally, we investigate group conflict analysis of Pythagorean fuzzy information systems based on Bayesian minimum risk theory. Copyright © 2017, The Authors. All rights reserved.

关键词： Fuzzy sets

来源：评论

学校读者我要写书评

暂无评论

Path restoring algorithm based on vehicle trajectory mining

Path restoring algorithm based on vehicle trajectory mining

引用

IEEE International Conference on Big Data Analysis (ICBDA)

作者： Yuanhui Sun Yaying Zhang Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

ISBN: (纸本)9781467395922

Path restoring is a path searching problem in the time-dependent road network with the time constraints of origin and destination. This paper proposes a path restoring algorithm to find the possible path that vehicles may have been driving along. We mined the vehicle trajectories based on historical GPS data and then build a “popular” intersection graph based on its entropy and frequency. Then the restoring path is searched on the sub-graph of the popular intersection graph. The experiment result shows that the proposed algorithm increases 10% compared to that of using time-dependent fastest path method.

关键词： Vehicles Trajectory Roads Entropy TV Heuristic algorithms Algorithm design and analysis

来源：评论

学校读者我要写书评

暂无评论

Optimal stopping theory based fast coding tree unit decision for high efficiency video coding

Optimal stopping theory based fast coding tree unit decision...

引用

IEEE Visual Communications and Image Processing (VCIP)

作者： Xiuzhe Wu Hanli Wang Zhihua Wei Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

ISBN: (纸本)9781509053179

High Efficiency Video Coding (HEVC) is the most recent video coding standard aiming to further reduce the bitrate over 50% as compared to the state-of-the-art H.264/Advanced Video Coding under the same visual quality. In order to achieve this, a number of advanced coding techniques have been adopted in HEVC, including the quadtree structure of Coding Unit (CU), Prediction Unit (PU) and Transform Unit (TU), etc. However, these coding techniques lead to a tremendous increase in HEVC encoding computations. In order to reduce the HEVC encoding computational complexity, the optimal stopping theory is employed herein to design an efficient algorithm to optimize the decision making process when choosing the best coding parameters of CU, PU and TU. Extensive comparative experimental results are performed by the proposed algorithm and another two recent works, which demonstrate that the proposed algorithm is very efficient and better in reducing the HEVC encoding computations while keeping the video quality and compression efficiency almost intact.

关键词： Encoding Decision making Algorithm design and analysis Optimization High efficiency video coding Bit rate

来源：评论

学校读者我要写书评

暂无评论

Modeling and Control of Urban Expressways with Emergency using Hybrid Petri Nets

Modeling and Control of Urban Expressways with Emergency usi...

引用

IEEE International Conference on systems, Man, and Cybernetics

作者： Yaying Zhang Yuefeng Fu Wei Qiang Key Laboratory of Embedded System and Service Computing Tongji University Shanghai China

ISBN: (纸本)9781509018987

The urban expressway system model based on hybrid petri nets is proposed. With the traffic detecting cameras and coils, the strategies of traffic signal lights and warning lights are enforced with the aim to prevent the large-scale congestion in emergencies (e.g. accidents). The simulation results verify the effectiveness of the proposed model and the warning light strategy is demonstrated to be suitable for traffic accidents and congestion in the accident-prone weaving sections in the urban expressways.

关键词： warning light strategy Hybrid petri nets urban expressway model emergency control

来源：评论

学校读者我要写书评

暂无评论

Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets

引用

Science China(Information Sciences) 2015年第7期58卷 128-143页

作者： LIU GuanJun JIANG ChangJun Department of Computer Science Tongji University Key Laboratory of the Ministry of Education for Embedded System and Service Computing Tongji University

Inter-organizational workflow nets(IWF-nets) can well model the interactions among multiple processes by sending/receiving messages. Compatibility and weak compatibility are crucial properties for *** latter guarantees that a system is deadlock-free and livelock-free while the former also guarantees that it has no dead tasks. Our previous work proved that the(weak) compatibility problem is PSPACE-complete for safe IWF-nets. This paper defines a class of IWF-nets in which some simple circuits are allowed. Necessary and sufficient conditions are presented to decide compatibility and weak compatibility for this class, and they are dependent on the net structures only. Algorithms are developed based on these conditions. In addition, we show that the traditional net structures like siphon cannot be easily used to decide the(weak) compatibility of IWF-nets.

关键词： formal method workflow nets compatibility business process model web services composition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：