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

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

来源：评论

学校读者我要写书评

暂无评论

Fast mode decision based on optimal stopping theory for multiview video coding

Fast mode decision based on optimal stopping theory for mult...

引用

19th International Conference on Advances in Multimedia Modeling, MMM 2013

作者： Wang, Hanli Heng, Yue Zhao, Tiesong Xiao, Bo 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 200092 China Department of Electrical and Computer Engineering University of Waterloo Waterloo ON Canada

ISBN: (纸本)9783642357275

Optimal stopping theory is developed to achieve a good trade-off between decision performance and decision efforts such as the consumed decision time. In this paper, the optimal stopping theory is applied to fast mode decision for multiview video coding in order to reduce the tremendous encoding computational complexity, with the benefit of theoretical decision-making expectation and predictable decision performance. The characteristics of encoding modes in multiview video coding are studied to derive an optimal stopping theory-based model to early terminate mode decision and thus a fast mode decision algorithm is designed. Extensive experimental results demonstrate that the proposed algorithm can save a great amount of encoding time for multiview video coding and meanwhile keep the compression performance more or less intact. © Springer-Verlag 2013.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A polynomial algorithm to performance analysis of concurrent systems via petri nets and ordinary differential equations

A polynomial algorithm to performance analysis of concurrent...

引用

作者： Ding, Zuohua Zhou, Yuan Zhou, Meng Chu Laboratory of Intelligent Computing and Software Engineering Zhejiang Sci-Tech University Hangzhou310018 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai200092 China Department of Electrical and Computer Engineering New Jersey Institute of Technology NewarkNJ07102-1982 United States

In this paper, a new method is proposed to evaluate the performance of concurrent systems. A concurrent system consisting of multiple processes that communicate via message passing mechanisms is modeled by a Petri net, which is in turn represented by a set of ordinary differential equations (ODEs) of a restricted type. The equations describe the system state changes, and the solutions, also called state measures, can be used for the performance analysis such as estimating response time, throughput and efficiency. This method can avoid a state explosion problem encountered by the conventional methods based on Continuous-Time Markov Chains. Its application to an IBM business system is given as an example. © 2004-2012 IEEE.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Finite-time Cluster Synchronization of Complex Networks With Time-Varying Delays

Finite-time Cluster Synchronization of Complex Networks With...

引用

第28届中国控制与决策会议

作者： Xiwei Liu Shaohua Li Department of Computer Science and Technology Tongji University The Key Laboratory of Embedded System and Service Computing Ministry of Education

ISBN: (纸本)9781467397155

In this paper,we study the finite-time cluster synchronization of complex networks with time *** are two different types of time-varying delays in the network:the internal time delay and the coupling ***'s more,we assume that coupling time-varying delays exist only between nodes in different clusters,while no delay happens between nodes in the same cluster,which is more consistent with the real *** on the Lyapunov stability theorem,sufficient conditions are derived to guarantee the realization of the finite-time cluster ***,numerical simulations are provided to support the obtained theoretical results.

关键词： Complex network Cluster synchronization Finite-time Time-varying delays

来源：评论

学校读者我要写书评

暂无评论

Lag Quasi-synchronization of Nonlinear Coupled Networks via Aperiodically Intermittent Pinning Control

Lag Quasi-synchronization of Nonlinear Coupled Networks via ...

引用

第27届中国控制与决策会议

作者： Xiwei Liu Ying Liu Department of Computer Science and Technology Tongji Universityand with the Key Laboratory of Embedded System and Service ComputingMinistry of Education

ISBN: (纸本)9781479970186

The lag quasi-synchronization of nonlinear coupled networks with time-varying delay in the presence of parameter mismatches by using aperiodically intermittent pinning control is investigated in this *** paper has two main differences with previous works:one is that the type of the intermittent pinning control is aperiodic while that in previous works is periodic;the other is that the coupling function we choose is *** utilizing the aperiodically intermittent pinning control idea,we pin the coupled networks by a simple controller to achieve the lag *** sufficient criteria are obtained to guarantee lag *** last,some simulations are presented to verify the correctness of the obtained theoretical results.

关键词： Aperiodic Intermittent Lag Nonlinear coupling Quasi-synchronization

来源：评论

学校读者我要写书评

暂无评论

Pinning Control of Complex Networks With Unbounded Time-Varying Delays

Pinning Control of Complex Networks With Unbounded Time-Vary...

引用

第27届中国控制与决策会议

作者： Xiwei Liu Yuan Xu Department of Computer Science and Technology Tongji Universityand with the Key Laboratory of Embedded System and Service ComputingMinistry of Education

The pinning control problem of directed complex dynamical networks with unbounded time-varying delays is investigated in this *** related works investigate the synchronization without any external control;while in this paper,external pinning control is added on the network,and this is the main difference between this paper and previous *** order to realize the synchronization,we design a simple controller to pin the *** sufficient criteria are deduced from the method of linear matrix inequality(LMI).Finally,the correct of our theoretical results is verified by numerical examples.

关键词： Complex networks Pinning control Synchronization Time-varying Unbounded delay

来源：评论

学校读者我要写书评

暂无评论

Safe Reinforcement Learning with Dead-Ends Avoidance and Recovery

arXiv

引用

arXiv 2023年

作者： Zhang, Xiao Zhang, Hai Zhou, Hongtu Huang, Chang Zhang, Di Ye, Chen Zhao, Junqiao The Department of Computer Science and Technology Tongji University China The MOE Key Lab of Embedded System and Service Computing Tongji University China

Safety is one of the main challenges in applying reinforcement learning to realistic environmental tasks. To ensure safety during and after training process, existing methods tend to adopt overly conservative policy to avoid unsafe situations. However, overly conservative policy severely hinders the exploration, and makes the algorithms substantially less rewarding. In this paper, we propose a method to construct a boundary that discriminates safe and unsafe states. The boundary we construct is equivalent to distinguishing dead-end states, indicating the maximum extent to which safe exploration is guaranteed, and thus has minimum limitation on exploration. Similar to Recovery Reinforcement Learning, we utilize a decoupled RL framework to learn two policies, (1) a task policy that only considers improving the task performance, and (2) a recovery policy that maximizes safety. The recovery policy and a corresponding safety critic are pretrained on an offline dataset, in which the safety critic evaluates upper bound of safety in each state as awareness of environmental safety for the agent. During online training, a behavior correction mechanism is adopted, ensuring the agent to interact with the environment using safe actions only. Finally, experiments of continuous control tasks demonstrate that our approach has better task performance with less safety violations than state-of-the-art algorithms. Copyright © 2023, The Authors. All rights reserved.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Research on Practical Implementation of Binary Arithmetic Coding with Forbidden Symbol for Error Resilience

Research on Practical Implementation of Binary Arithmetic Co...

引用

2011 International Conference on Frontiers in Computer Education(ICFCE 2011)

作者： Wei Zhang Feng Cen Fanglai Zhu The Key Laboratory of Embedded System and Service Computing Ministry of Education Department of Control Science & Engineering Tongji University

Arithmetic coding is a widely applied compression tool with superior coding efficiency to other entropy coding methodsHowever, it suffers from the error resilience and complexityIn this paper, the integer implementation of binary arithmetic coding with forbidden symbol for error resilience is studiedCoding redundancies for employing different quantization coefficients in probability representation and cost effective backtracking distance in bits for maximum a posteriori(MAP) decoding are studied in depthWe observe that the optimal quantization coefficients are independent of forbidden symbol and the probabilities of source and the cost effective backtracking distance is related to the source entropy and the given forbidden symbol probabilitiesSuch observations are also demonstrated by extensive experiments.

关键词： Arithmetic coding Forbidden symbol Error resilience MAP

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：