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

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

来源：评论

学校读者我要写书评

暂无评论

Mobility-Aware User Association and Computation Offloading in Ultra-Dense Networks

IEEE Transactions on Green Communications and Networking

引用

IEEE Transactions on Green Communications and Networking 2025年

作者： Qiu, Bin Feng, Ke Li, Xian Xiao, Hailin Zhang, Zhongshan Guilin University of Technology School of Computer Science and Engineering Guilin541004 China Guilin University of Technology Guangxi Key Laboratory of Embedded Technology and Intelligent System Guilin541004 China Guangxi Modern Polytechnic College Hechi530700 China Shenzhen University College of Electronics and Information Engineering Shenzhen518060 China Hubei University School of Computer Science and Information Engineering Wuhan430062 China Wuhan430062 China School of Cyberspace Science and Technology Guangdong519088 China

The integration of mobile edge computing (MEC) into ultra-dense network (UDN) has emerged as a promising solution for providing uninterrupted task offloading services to computation-demanding mobile devices (MDs), leveraging densely deployed MEC servers. However, the mobility of MDs can significantly affect the computation offloading decision and system performance in UDN-MEC. To address this issue, we develop a joint optimization algorithm for mobility-aware user association and computation offloading to minimizize the total system cost, including delay and energy consumption in UDN-MEC. Specifically, a polynomial fitting algorithm based on an extended Kalman filter (PFA-EKF) is designed to predict the nonlinear moving trajectories of the MDs. Furthermore, we present a mobility-aware user-association rule based on a breadth-first search (UAR-BFS) that can realize balanced matching offloading in the overlapping coverage area of densely deployed small base stations. Accordingly, we propose an improved deep deterministic policy gradient-based greedy algorithm (IDDPG-GA) to address the joint optimization problem of multiuser dynamic offloading and resource allocation, in which an intelligently adjusted bias factor is proposed to enhance collaborative behavior among MDs. Extensive numerical results and comparisons demonstrate the promising performance improvements of the proposed scheme compared with existing benchmark schemes in various scenarios. © 2025 IEEE.

关键词： Computation offloading

来源：评论

学校读者我要写书评

暂无评论

Geometric Algebra Multi-order Graph Neural Network for Traffic Prediction

引用

IEEE Transactions on Big Data 2024年 1-15页

作者： Zang, Di Cui, Zhe Wang, Zengqiang Lei, Juntao Ding, Yongjie Wei, Chenguang Zhang, Junqi Department of Computer Science and Technology and the Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China

Accurate traffic prediction is crucial for urban traffic management. Spatial-temporal graph neural networks, which combine graph neural networks with time series processing, have been extensively employed in traffic prediction. However, traditional graph neural networks only capture pairwise spatial relationships between road network nodes, neglecting high-order interactions among multiple nodes. Meanwhile, most work for extracting temporal dependencies suffers from implicit modeling and overlooks the internal and external dependencies of time series. To address these challenges, we propose a Geometric Algebraic Multi-order Graph Neural Network (GA-MGNN). Specifically, in the temporal dimension, we design a convolution kernel based on the rotation matrix of geometric algebra, which not only learns internal dependencies between different time steps in time series but also external dependencies between time series and convolution kernels. In the spatial dimension, we construct a tokenized hypergraph and integrate dynamic graph convolution with attention hypergraph convolution to comprehensively capture multi-order spatial dependencies. Additionally, we design a segmented loss function based on traffic periodic information to further improve prediction accuracy. Extensive experiments on seven real-world datasets demonstrate that GAMGNN outperforms state-of-the-art baselines IEEE

关键词： Graph neural networks

来源：评论

学校读者我要写书评

暂无评论

Intelligent Energy-Efficient Resource Allocation for Multi-UAV-Assisted Mobile Edge Computing Networks

引用

China Communications 2025年第4期22卷 339-355页

作者： Hu Han Shen Le Zhou Fuhui Wang Qun Zhu Hongbo The China Information Consulting and Designing Institute CO. Ltd.Nanjing 210000China The Jiangsu Key Laboratory of Wireless Communications(Nanjing University of Posts and Telecommunications) Nanjing 210003China The Engineering Research Center of Health Service System Based on Ubiquitous Wireless Networks Ministry of Education(Nanjing University of Posts and Telecommunications)Nanjing 210003China The College of Artificial Intelligence(Nanjing University of Aeronautics and Astronautics) Nanjing 210000China The Department of Computer Science(San Francisco State University) San FranciscoCAUSA

The unmanned aerial vehicle(UAV)-assisted mobile edge computing(MEC)has been deemed a promising solution for energy-constrained devices to run smart applications with computationintensive and latency-sensitive requirements,especially in some infrastructure-limited areas or some emergency ***,the multi-UAVassisted MEC network remains largely *** this paper,the dynamic trajectory optimization and computation offloading are studied in a multi-UAVassisted MEC system where multiple UAVs fly over a target area with different trajectories to serve ground *** considering the dynamic channel condition and random task arrival and jointly optimizing UAVs'trajectories,user association,and subchannel assignment,the average long-term sum of the user energy consumption minimization problem is *** address the problem involving both discrete and continuous variables,a hybrid decision deep reinforcement learning(DRL)-based intelligent energyefficient resource allocation and trajectory optimization algorithm is proposed,named HDRT algorithm,where deep Q network(DQN)and deep deterministic policy gradient(DDPG)are invoked to process discrete and continuous variables,*** results show that the proposed HDRT algorithm converges fast and outperforms other benchmarks in the aspect of user energy consumption and latency.

关键词： dynamic trajectory optimization intelligent resource allocation unmanned aerial vehicle uav assisted uav assisted mec energy efficiency smart applications mobile edge computing mec deep reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

The influence of limited visual sensing on the Reynolds flocking algorithm 3

The influence of limited visual sensing on the Reynolds floc...

引用

3rd IEEE International Conference on Robotic Computing (IRC)

作者： Soria, Enrica Schiano, Fabrizio Floreano, Dario Department of Computer Science and Technology the Key Laboratory of Embedded System Service Computing Shanghai China

ISBN: (纸本)9781538692455

The interest in multi-drone systems flourished in the last decade and their application is promising in many fields. We believe that in order to make drone swarms flying smoothly and reliably in real-world scenarios we need a first intermediate step which consists in the analysis of the effects of limited sensing on the behavior of the swarm. In nature, the central sensor modality often used for achieving flocking is vision. In this work, we study how the reduction in the field of view and the orientation of the visual sensors affect the performance of the Reynolds flocking algorithm used to control the swarm. To quantify the impact of limited visual sensing, we introduce different metrics such as (i) order, (ii) safety, (iii) union and (iv) connectivity. As Nature suggests, our results confirm that lateral vision is essential for coordinating the movements of the individuals. Moreover, the analysis we provide will simplify the tuning of the Reynolds flocking algorithm which is crucial for real-world deployment and, especially for aerial swarms, it depends on the envisioned application. We achieve the results presented in this paper through extensive Monte-Carlo simulations and integrate them with the use of genetic algorithm optimization.

关键词： Robot sensing systems Visualization Animals Nickel Azimuth

来源：评论

学校读者我要写书评

暂无评论

A Behavioral Authentication Method for Mobile Based on Browsing Behaviors

引用

IEEE/CAA Journal of Automatica Sinica 2020年第6期7卷 1528-1541页

作者： Dongxiang Chen Zhijun Ding Chungang Yan Mimi Wang Department of Computer Science and Technology Tongji UniversityShanghai 201804China Key Laboratory of Embedded System and Service Computing Ministry of EducationTongji UniversityShanghai 201804China IEEE

The passwords for unlocking the mobile devices are relatively simple,easier to be stolen,which causes serious potential security *** important research direction of identity authentication is to establish user behavior models to authenticate *** this paper,a mobile terminal APP browsing behavioral authentication system architecture which synthesizes multiple factors is *** architecture is suitable for users using the mobile terminal APP in the daily *** architecture includes data acquisition,data processing,feature extraction,and sub model *** can use this architecture for continuous authentication when the user uses APP at the mobile terminal.

关键词： Behavioral authentication browsing behaviors mobile device multiple factors

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Cluster Synchronization of Complex Networks With Unbounded Time-varying Delays 35

Cluster Synchronization of Complex Networks With Unbounded T...

引用

第35届中国控制会议

作者： LIU Xiwei CHEN Wenwen Department of Computer Science and Technology Tongji University Key Laboratory of Embedded System and Service Computing Ministry of Education

ISBN: (纸本)9789881563910

In this paper, we investigate the cluster synchronization problem with unbounded time-varying delays for complex networks by adding some external controllers. Previous related works mainly focused on bounded time-varying or constant time delays, which may not be consistent with the real world. Therefore, unbounded time-varying delays is considered in this paper,which can be regarded as the main difference between this paper and previous related works. We discuss the necessary condition for cluster synchronization with external controllers, which can be used to guide the design of external controllers. Then, by using the Lyapunov function method, we prove that cluster synchronization could be achieved under some sufficient ***, the effects of time delays for the convergence of cluster synchronization are also discussed, which are named as theμ-cluster synchronization. Finally, numerical simulations are presented to show the validity of the obtained criteria.

关键词： Cluster Synchronization Complex Networks Unbounded Delay

来源：评论

学校读者我要写书评

暂无评论

A Reduced Reachability Tree for a Class of Unbounded Petri Nets

引用

IEEE/CAA Journal of Automatica Sinica 2015年第4期2卷 345-352页

作者： Shouguang Wang Mengdi Gan Mengchu Zhou Dan You School of Information and Electronic Engineering Zhejiang Gongshang University State Key Laboratory for Manufacturing Systems Engineering Xi’an Jiaotong University Ministry of Education(MoE)Key Laboratory of Embedded System and Service Computing Tongji University MoE Key Laboratory of Embedded System and Service Computing Tongji University Department of Electrical and Computer Engineering New Jersey Institute of Technology

As a powerful analysis tool of Petri nets, reachability trees are fundamental for systematically investigating many characteristics such as boundedness, liveness and reversibility. This work proposes a method to generate a reachability tree, called ωRT for short, for a class of unbounded generalized nets called ω-independent nets based on new modified reachability trees (NMRTs). ωRT can effectively decrease the number of nodes by removing duplicate and ω-duplicate nodes in the tree, and verify properties such as reachability, liveness and deadlocks. Two examples are provided to show its superiority over NMRTs in terms of tree size. © 2014 Chinese Association of Automation.

关键词： Petri nets

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：