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

Remote State Estimation for Complex Networks Under Probabilistic Bit Flips: A Transmission Power Allocation Scheme

IEEE Transactions on Automatic Control 2025年

作者： Song, Jiahao Wang, Zidong Liu, Qinyuan He, Xiao Tsinghua University Department of Automation Beijing100084 China Brunel University London Department of Computer Science UxbridgeUB8 3PH United Kingdom Tongji University Department of Computer Science and Technology Shanghai201804 China Ministry of Education Tongji University Key Laboratory of Embedded System and Service Computing Shanghai200092 China Shanghai Artificial Intelligence Laboratory Shanghai China

In this paper, the problem of remote state estimation is investigated for a class of complex networks with noisy wireless communication channels. The employment of the binary encoding scheme allows for the description of the influence of channel noises as probabilistic bit flips, where the probability of these bit flips is influenced by several factors with the signal-to-noise ratio (SNR) being a crucial one. In engineering practice, the method of adjusting the transmission power for each node in a complex network is commonly applied to modify the SNR so as to reduce the data distortion caused by bit flips. Furthermore, due to restricted communication resources, the total available transmission power is often limited particularly in large-scale systems such as complex networks. Consequently, the allocation of transmission power for all nodes under a total transmission power constraint becomes a concern. Utilizing the ultimately bounded filtering method, we devise a transmission-power-dependent state estimator, by which the combined effect of probabilistic bit flips and transmission power allocation on estimation performance is analyzed. Moreover, the task of co-designing the transmission power allocation scheme and estimator gains is modeled as an optimization problem, which is then addressed through a two-step optimization strategy. The existence of a unique optimal transmission power allocation scheme is also proven. Finally, numerical simulation examples are provided to demonstrate the effectiveness of the proposed co-design approach. © 1963-2012 IEEE.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

Impact of the Next-Nearest-Neighbor Interaction on Traffic Flow of Highway with Slopes

引用

Communications in Theoretical Physics 2012年第10期58卷 590-598页

作者：李志鹏周盈 The Key Laboratory of Embedded System and Service Computing supported by Ministry of Education Tongji University

In this paper,we study the motion course of traffic flow on the slopes of a highway by applying a microscopic traffic model,which takes into account the next-nearest-neighbor interaction in an intelligent transportation system *** common gradients of the highway,which are sag terrain,uphill terrain,and downhill terrain on a single-lane roadway,are selected to clarify the impact on the traffic flow by the next-nearest-neighbor interaction in relative *** obtain the current-density relation for traffic flow on the sag,the uphill and the downhill under the next-nearest-neighbor interaction *** is observed that the current saturates when the density is greater than a critical value and the current decreases when the density is greater than another critical *** the density falls into the intermediate range between the two critical densities it is also found that the oscillatory jam,easily leads to traffic accidents,often appears in the downhill stage,and the next-nearest-neighbor interaction in relative velocity has a strong suppressing effect on this kind of dangerous congestion.A theoretical analysis is also presented to explain this important conclusion.

关键词： traffic flow traffic jam next-nearest-neighbor interaction

来源：评论

学校读者我要写书评

暂无评论

Convex Hull-based Algebraic Constraint for Visual Quadric SLAM

arXiv

引用

arXiv 2025年

作者： Yu, Xiaolong Zhao, Junqiao Song, Shuangfu Zhu, Zhongyang Yuan, Zihan Ye, Chen Feng, Tiantian School of Computer Science and Technology Tongji University Shanghai China The MOE Key Lab of Embedded System and Service Computing Tongji University Shanghai China Institute of Intelligent Vehicles Tongji University Shanghai China School of Surveying and Geo-Informatics Tongji University Shanghai China

Using Quadrics as the object representation has the benefits of both generality and closed-form projection derivation between image and world spaces. Although numerous constraints have been proposed for dual quadric reconstruction, we found that many of them are imprecise and provide minimal improvements to localization. After scrutinizing the existing constraints, we introduce a concise yet more precise convex hull-based algebraic constraint for object landmarks, which is applied to object reconstruction, frontend pose estimation, and backend bundle adjustment. This constraint is designed to fully leverage precise semantic segmentation, effectively mitigating mismatches between complex-shaped object contours and dual quadrics. Experiments on public datasets demonstrate that our approach is applicable to both monocular and RGB-D SLAM and achieves improved object mapping and localization than existing quadric SLAM methods. The implementation of our method is available at https://***/tievtongji/convexhull-based-algebraic-constraint. © 2025, CC BY.

关键词： Semantic Segmentation

来源：评论

学校读者我要写书评

暂无评论

Detecting Data-flow Errors Based on Petri Nets With Data Operations

引用

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 251-260页

作者： Dongming Xiang Guanjun Liu Chungang Yan Changjun Jiang Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 201804 China IEEE

In order to guarantee the correctness of business processes, not only control-flow errors but also data-flow errors should be considered. The control-flow errors mainly focus on deadlock, livelock, soundness, and so on. However, there are not too many methods for detecting data-flow errors. This paper defines Petri nets with data operations(PN-DO) that can model the operations on data such as read, write and delete. Based on PN-DO, we define some data-flow errors in this paper. We construct a reachability graph with data operations for each PN-DO, and then propose a method to reduce the reachability graph. Based on the reduced reachability graph, data-flow errors can be detected rapidly. A case study is given to illustrate the effectiveness of our methods.

关键词： Business process modeling data-flow errors Petri nets reachability graph

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Partition-based Collaborative Tensor Factorization for POI Recommendation

引用

IEEE/CAA Journal of Automatica Sinica 2017年第3期4卷 437-446页

作者： Wenjing Luan Guanjun Liu Changjun Jiang Liang Qi Department of Computer Science and Technology Tongji University IEEE Key Laboratory of Embedded System and Service Computing Tongji University

The rapid development of location-based social networks(LBSNs) provides people with an opportunity of better understanding their mobility behavior which enables them to decide their next *** example,it can help travelers to choose where to go next,or recommend salesmen the most potential places to deliver advertisements or sell *** this paper,a method for recommending points of interest(POIs)is proposed based on a collaborative tensor factorization(CTF)***,a generalized objective function is constructed for collaboratively factorizing a tensor with several feature ***,a 3-mode tensor is used to model all users' check-in behaviors,and three feature matrices are extracted to characterize the time distribution,category distribution and POI correlation,***,each user's preference to a POI at a specific time can be estimated by using *** order to further improve the recommendation accuracy,PCTF(Partitionbased CTF) is proposed to fill the missing entries of a tensor after clustering its every *** on a real checkin database show that the proposed method can provide more accurate location recommendation.

关键词： Clustering context feature extraction point of interest(POI) recommendation tensor factorization

来源：评论

学校读者我要写书评

暂无评论

Adaptive walking control of quadruped robots based on central pattern generator (CPG) and reflex

引用

控制理论与应用（英文版） 2013年第3期11卷 386-392页

作者： Chengju LIU Qijun CHEN Guoxing WANG Department of Electronics and Information Engineering and Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University

This paper presents a central pattern generator （CPG） and vestibular reflex combined control strategy for a quadruped robot. An oscillator network and a knee-to-hip mapping function are presented to realize the rhythmic motion for the quadruped robot. A two-phase parameter tuning method is designed to adjust the parameters of oscillator network. First, based on the numerical simulation, the influences of the parameters on the output signals are analyzed, then the genetic algorithm （GA） is used to evolve the phase relationships of the oscillators to realize the basic animal-like walking pattern. Moreover, the animal＇s vestibular reflex mechanism is mimicked to realize the adaptive walking of the quadruped robot on a slope terrain. Coupled with the sensory feedback information, the robot can walk up and down the slope smoothly. The presented bio-inspired control method is validated through simulations and experiments with AIBO. Under the control of the presented CPG and vestibular reflex combined control method, AIBO can cope with slipping, falling down and walk on a slope successfully, which demonstrates the effectiveness of the proposed walking control method.

关键词： CPG Walking control Quadruped robot Vestibular reflex

来源：评论

学校读者我要写书评

暂无评论

Behavior Consistency Computation for Workflow Nets With Unknown Correspondence

引用

IEEE/CAA Journal of Automatica Sinica 2018年第1期5卷 281-291页

作者： Mimi Wang Guanjun Liu Peihai Zhao Chungang Yan Changjun Jiang Department of Computer Science and Technology the Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai 200092 China IEEE

Consistency degree calculation is established on the basis of known correspondence, but in real life, the correspondence is generally unknown, so how to calculate consistency of two models under unknown correspondence has become a problem. For this condition, we should analyze unknown correspondence due to the influence of different *** this paper we obtain the relations of transitions based on event relations using branching processes, and build a behavioral matrix of relations. Based on the permutation of behavioral matrix, we express different correspondences, and define a new formula to compute the maximal consistency degree of two workflow nets. Additionally, this paper utilizes an example to show these definitions, computation as well as the advantages.

关键词： Behavioral matrix branching process consistency degree unknown correspondence workflow net(WF-nets)

来源：评论

学校读者我要写书评

暂无评论

Adaptive output feedback control for uncertain nonholonomic chained systems

引用

Journal of Central South University 2010年第3期17卷 572-579页

作者：袁占平王祝萍陈启军 Department of Electronics and Information Engineering Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University

An adaptive output feedback control was proposed to deal with a class of nonholonomic systems in chained form with strong nonlinear disturbances and drift terms. The objective was to design adaptive nonlinear output feedback laws such that the closed-loop systems were globally asymptotically stable, while the estimated parameters remained bounded. The proposed systematic strategy combined input-state-scaling with backstepping technique. The adaptive output feedback controller was designed for a general case of uncertain chained system. Furthermore, one special case was considered. Simulation results demonstrate the effectiveness of the proposed controllers.

关键词： adaptive output feedback input-state scaling backstepping nonholonomic system

来源：评论

学校读者我要写书评

暂无评论

Time-varying networks based on activation and deactivation mechanisms

引用

Chinese Physics B 2017年第10期26卷 527-532页

作者：王学文罗月娥张丽杰许新建 School of Physics and Electronic Sciences Guizhou Education University College of Sciences Shanghai University Key Laboratory of Embedded System and Service Computing (Tongji University) Ministry of Education

A class of models for activity-driven networks is proposed in which nodes vary in two states： active and inactive. Only active nodes can receive links from others which represent instantaneous dynamical interactions. The evolution of the network couples the addition of new nodes and state transitions of old ones. The active group changes with activated nodes entering and deactivated ones leaving. A general differential equation framework is developed to study the degree distribution of nodes of integrated networks where four different schemes are formulated.

关键词： time-varying networks activity-driven degree distribution

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：