As an important mechanism in multi-agent interaction,communication can make agents form complex team relationships rather than constitute a simple set of multiple independent agents.However,the existing communication ...As an important mechanism in multi-agent interaction,communication can make agents form complex team relationships rather than constitute a simple set of multiple independent agents.However,the existing communication schemes can bring much timing redundancy and irrelevant messages,which seriously affects their practical application.To solve this problem,this paper proposes a targeted multiagent communication algorithm based on state control(SCTC).The SCTC uses a gating mechanism based on state control to reduce the timing redundancy of communication between agents and determines the interaction relationship between agents and the importance weight of a communication message through a series connection of hard-and self-attention mechanisms,realizing targeted communication message processing.In addition,by minimizing the difference between the fusion message generated from a real communication message of each agent and a fusion message generated from the buffered message,the correctness of the final action choice of the agent is ensured.Our evaluation using a challenging set of Star Craft II benchmarks indicates that the SCTC can significantly improve the learning performance and reduce the communication overhead between agents,thus ensuring better cooperation between agents.展开更多
In the future development direction of the sixth generation(6G)mobile communication,several communication models are proposed to face the growing challenges of the task.The rapid development of artificial intelligence...In the future development direction of the sixth generation(6G)mobile communication,several communication models are proposed to face the growing challenges of the task.The rapid development of artificial intelligence(AI)foundation models provides significant support for efficient and intelligent communication interactions.In this paper,we propose an innovative semantic communication paradigm called task-oriented semantic communication system with foundation models.First,we segment the image by using task prompts based on the segment anything model(SAM)and contrastive language-image pretraining(CLIP).Meanwhile,we adopt Bezier curve to enhance the mask to improve the segmentation accuracy.Second,we have differentiated semantic compression and transmission approaches for segmented content.Third,we fuse different semantic information based on the conditional diffusion model to generate high-quality images that satisfy the users'specific task requirements.Finally,the experimental results show that the proposed system compresses the semantic information effectively and improves the robustness of semantic communication.展开更多
Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as s...Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.展开更多
To facilitate emerging applications and demands of edge intelligence(EI)-empowered 6G networks,model-driven semantic communications have been proposed to reduce transmission volume by deploying artificial intelligence...To facilitate emerging applications and demands of edge intelligence(EI)-empowered 6G networks,model-driven semantic communications have been proposed to reduce transmission volume by deploying artificial intelligence(AI)models that provide abilities of semantic extraction and recovery.Nevertheless,it is not feasible to preload all AI models on resource-constrained terminals.Thus,in-time model transmission becomes a crucial problem.This paper proposes an intellicise model transmission architecture to guarantee the reliable transmission of models for semantic communication.The mathematical relationship between model size and performance is formulated by employing a recognition error function supported with experimental data.We consider the characteristics of wireless channels and derive the closed-form expression of model transmission outage probability(MTOP)over the Rayleigh channel.Besides,we define the effective model accuracy(EMA)to evaluate the model transmission performance of both communication and intelligence.Then we propose a joint model selection and resource allocation(JMSRA)algorithm to maximize the average EMA of all users.Simulation results demonstrate that the average EMA of the JMSRA algorithm outperforms baseline algorithms by about 22%.展开更多
In this paper,a statistical cluster-based simulation channel model with a finite number of sinusoids is proposed for depicting the multiple-input multiple-output(MIMO)communications in vehicleto-everything(V2X)environ...In this paper,a statistical cluster-based simulation channel model with a finite number of sinusoids is proposed for depicting the multiple-input multiple-output(MIMO)communications in vehicleto-everything(V2X)environments.In the proposed sum-of-sinusoids(SoS)channel model,the waves that emerge from the transmitter undergo line-of-sight(LoS)and non-line-of-sight(NLoS)propagation to the receiver,which makes the model suitable for describing numerous V2X wireless communication scenarios for sixth-generation(6G).We derive expressions for the real and imaginary parts of the complex channel impulse response(CIR),which characterize the physical propagation characteristics of V2X wireless channels.The statistical properties of the real and imaginary parts of the complex CIRs,i.e.,autocorrelation functions(ACFs),Doppler power spectral densities(PSDs),cross-correlation functions(CCFs),and variances of ACFs and CCFs,are derived and discussed.Simulation results are generated and match those predicted by the underlying theory,demonstrating the accuracy of our derivation and analysis.The proposed framework and underlying theory arise as an efficient tool to investigate the statistical properties of 6G MIMO V2X communication systems.展开更多
As a service format to meet spiritual needs, fashion culture industry is often synchronized in its creation, production, dissemination, display and consumption. In order to explore how artificial intelligence provides...As a service format to meet spiritual needs, fashion culture industry is often synchronized in its creation, production, dissemination, display and consumption. In order to explore how artificial intelligence provides technical means, platforms, channels and space for intelligent formats in the field of communication, and how to provide intelligent services for cultural creation, communication, display and consumption. This paper discusses the application and innovation of artificial intelligence in all aspects of communication field, analyzes the problems and puts forward corresponding countermeasures and suggestions.展开更多
Multi-agent technology has been used in many complex distributed and concurrent systems. A railway system is such a safety critical system and careful inves- tigation of the functional components is very important. St...Multi-agent technology has been used in many complex distributed and concurrent systems. A railway system is such a safety critical system and careful inves- tigation of the functional components is very important. Study of the various functional components in communi- cation-based train control (CBTC) system necessitates a good structural design followed by its validation and ver- ification through a formal modelling technique. The work presented here is the follow up of our multi-agent-based CBTC system for Indian railway designed using the methodology for engineering system of software agents. Behavioural analysis of the designed system involves several operating scenarios that arise during train run, and helps in understanding the reaction of the system to such situations. This validation and verification are very important as it allows the system designer to critically evaluate the desired function of the system and to correct the design errors, if any, before its actual implementation. Modelling, validation and verification of the structural design through Coloured petri net (CPN) are central to this paper. Analysis of simulation results validates the efficacy of the design.展开更多
Device-to-Device(D2D)communication is a promising technology that can reduce the burden on cellular networks while increasing network capacity.In this paper,we focus on the channel resource allocation and power contro...Device-to-Device(D2D)communication is a promising technology that can reduce the burden on cellular networks while increasing network capacity.In this paper,we focus on the channel resource allocation and power control to improve the system resource utilization and network throughput.Firstly,we treat each D2D pair as an independent agent.Each agent makes decisions based on the local channel states information observed by itself.The multi-agent Reinforcement Learning(RL)algorithm is proposed for our multi-user system.We assume that the D2D pair do not possess any information on the availability and quality of the resource block to be selected,so the problem is modeled as a stochastic non-cooperative game.Hence,each agent becomes a player and they make decisions together to achieve global optimization.Thereby,the multi-agent Q-learning algorithm based on game theory is established.Secondly,in order to accelerate the convergence rate of multi-agent Q-learning,we consider a power allocation strategy based on Fuzzy C-means(FCM)algorithm.The strategy firstly groups the D2D users by FCM,and treats each group as an agent,and then performs multi-agent Q-learning algorithm to determine the power for each group of D2D users.The simulation results show that the Q-learning algorithm based on multi-agent can improve the throughput of the system.In particular,FCM can greatly speed up the convergence of the multi-agent Q-learning algorithm while improving system throughput.展开更多
With the aid of multi-agent based modeling approach to complex systems, the hierarchy simulation models of carrier-based aircraft catapult launch are developed. Ocean, carrier, aircraft, and atmosphere are treated as ...With the aid of multi-agent based modeling approach to complex systems, the hierarchy simulation models of carrier-based aircraft catapult launch are developed. Ocean, carrier, aircraft, and atmosphere are treated as aggregation agents, the detailed components like catapult, landing gears, and disturbances are considered as meta-agents, which belong to their aggregation agent. Thus, the model with two layers is formed i.e. the aggregation agent layer and the meta-agent layer. The information communication among all agents is described. The meta-agents within one aggregation agent communicate with each other directly by information sharing, but the meta-agents, which belong to different aggregation agents exchange their information through the aggregation layer first, and then perceive it from the sharing environment, that is the aggregation agent. Thus, not only the hierarchy model is built, but also the environment perceived by each agent is specified. Meanwhile, the problem of balancing the independency of agent and the resource consumption brought by real-time communication within multi-agent system (MAS) is resolved. Each agent involved in carrier-based aircraft catapult launch is depicted, with considering the interaction within disturbed atmospheric environment and multiple motion bodies including carrier, aircraft, and landing gears. The models of reactive agents among them are derived based on tensors, and the perceived messages and inner frameworks of each agent are characterized. Finally, some results of a simulation instance are given. The simulation and modeling of dynamic system based on multi-agent system is of benefit to express physical concepts and logical hierarchy clearly and precisely. The system model can easily draw in kinds of other agents to achieve a precise simulation of more complex system. This modeling technique makes the complex integral dynamic equations of multibodies decompose into parallel operations of single agent, and it is convenient to expand, maintain, and reuse the program codes.展开更多
With the development of wireless mobile communication technology,the demand for wireless communication rate and frequency increases year by year.Existing wireless mobile communication frequency tends to be saturated,w...With the development of wireless mobile communication technology,the demand for wireless communication rate and frequency increases year by year.Existing wireless mobile communication frequency tends to be saturated,which demands for new solutions.Terahertz(THz)communication has great potential for the future mobile communications(Beyond 5G),and is also an important technique for the high data rate transmission in spatial information network.THz communication has great application prospects in military-civilian integration and coordinated development.In China,important breakthroughs have been achieved for the key techniques of THz high data rate communications,which is practically keeping up with the most advanced technological level in the world.Therefore,further intensifying efforts on the development of THz communication have the strategic importance for China in leading the development of future wireless communication techniques and the standardization process of Beyond 5G.This paper analyzes the performance of the MIMO channel in the Terahertz(THz)band and a discrete mathematical method is used to propose a novel channel model.Then,a channel capacity model is proposed by the combination of path loss and molecular absorption in the THz band based on the CSI at the receiver.Simulation results show that the integration of MIMO in the THz band gives better data rate and channel capacity as compared with a single channel.展开更多
In this paper,a resilient distributed control scheme against replay attacks for multi-agent networked systems subject to input and state constraints is proposed.The methodological starting point relies on a smart use ...In this paper,a resilient distributed control scheme against replay attacks for multi-agent networked systems subject to input and state constraints is proposed.The methodological starting point relies on a smart use of predictive arguments with a twofold aim:1)Promptly detect malicious agent behaviors affecting normal system operations;2)Apply specific control actions,based on predictive ideas,for mitigating as much as possible undesirable domino effects resulting from adversary operations.Specifically,the multi-agent system is topologically described by a leader-follower digraph characterized by a unique leader and set-theoretic receding horizon control ideas are exploited to develop a distributed algorithm capable to instantaneously recognize the attacked agent.Finally,numerical simulations are carried out to show benefits and effectiveness of the proposed approach.展开更多
Efficient exploration in complex coordination tasks has been considered a challenging problem in multi-agent reinforcement learning(MARL). It is significantly more difficult for those tasks with latent variables that ...Efficient exploration in complex coordination tasks has been considered a challenging problem in multi-agent reinforcement learning(MARL). It is significantly more difficult for those tasks with latent variables that agents cannot directly observe. However, most of the existing latent variable discovery methods lack a clear representation of latent variables and an effective evaluation of the influence of latent variables on the agent. In this paper, we propose a new MARL algorithm based on the soft actor-critic method for complex continuous control tasks with confounders. It is called the multi-agent soft actor-critic with latent variable(MASAC-LV) algorithm, which uses variational inference theory to infer the compact latent variables representation space from a large amount of offline experience.Besides, we derive the counterfactual policy whose input has no latent variables and quantify the difference between the actual policy and the counterfactual policy via a distance function. This quantified difference is considered an intrinsic motivation that gives additional rewards based on how much the latent variable affects each agent. The proposed algorithm is evaluated on two collaboration tasks with confounders, and the experimental results demonstrate the effectiveness of MASAC-LV compared to other baseline algorithms.展开更多
In underground mines, visible light communication(VLC) system is a promising method to realize effective communication,which supports communication and illumination at the same time. Therefore, adequate research of un...In underground mines, visible light communication(VLC) system is a promising method to realize effective communication,which supports communication and illumination at the same time. Therefore, adequate research of underlying physical propagation phenomenon should be carried out to realize VLC system in underground mines. To design VLC system and evaluate its performance, accurate and efficient channel models, including large-scale fading and scattering characteristics, are needed to be established. However,the characteristics of the underlying VLC channels about fading and scattering have not been sufficiently investigated yet. In this paper, a path loss channel model, based on the recursive model, is proposed precisely. Its path loss exponent is determined by three different trajectories, which is studied in the mining roadway and working face environment. Besides, the shadowing effect for VLC has been modelled by a Bimodal Gaussian distribution in underground mines. Considering the number of transmitters in line-of-sight(Lo S) as well as non-line-of-sight(NLo S) scenarios,our simulation illustrates the fact that, as the curve fitting technique is employed, the path loss displays a linear behavior in log-domain.The path loss expression is derived, it is related to the distance. Finally, root mean square(RMS) delay spread and Mie scattering in underground mines are analyzed.展开更多
Wireless communication involving unmanned aerial vehicles(UAVs)is expected to play an important role in future wireless networks.However,different from conventional terrestrial communication systems,UAVs typically hav...Wireless communication involving unmanned aerial vehicles(UAVs)is expected to play an important role in future wireless networks.However,different from conventional terrestrial communication systems,UAVs typically have rather limited onboard energy on one hand,and require additional flying energy consumption on the other hand.This renders energy-efficient UAV communication with smart energy expenditure of paramount importance.In this paper,via extensive flight experiments,we aim to firstly validate the recently derived theoretical energy model for rotary-wing UAVs,and then develop a general model for those complicated flight scenarios where rigorous theoretical model derivation is quite challenging,if not impossible.Specifically,we first investigate how UAV power consumption varies with its flying speed for the simplest straight-and-level flight.With about 12,000 valid power-speed data points collected,we first apply the model-based curve fitting to obtain the modelling parameters based on the theoretical closed-form energy model in the existing literature.In addition,in order to exclude the potential bias caused by the theoretical energy model,the obtained measurement data is also trained using a model-free deep neural network.It is found that the obtained curve from both methods can match quite well with the theoretical energy model.Next,we further extend the study to arbitrary 2-dimensional(2-D)flight,where,to our best knowledge,no rigorous theoretical derivation is available for the closed-form energy model as a function of its flying speed,direction,and acceleration.To fill the gap,we first propose a heuristic energy model for these more complicated cases,and then provide experimental validation based on the measurement results for circular level flight.展开更多
Aiming at the problem on cooperative air-defense of surface warship formation, this paper maps the cooperative airdefense system of systems (SoS) for surface warship formation (CASoSSWF) to the biological immune s...Aiming at the problem on cooperative air-defense of surface warship formation, this paper maps the cooperative airdefense system of systems (SoS) for surface warship formation (CASoSSWF) to the biological immune system (BIS) according to the similarity of the defense mechanism and characteristics between the CASoSSWF and the BIS, and then designs the models of components and the architecture for a monitoring agent, a regulating agent, a killer agent, a pre-warning agent and a communicating agent by making use of the theories and methods of the artificial immune system, the multi-agent system (MAS), the vaccine and the danger theory (DT). Moreover a new immune multi-agent model using vaccine based on DT (IMMUVBDT) for the cooperative air-defense SoS is advanced. The immune response and immune mechanism of the CASoSSWF are analyzed. The model has a capability of memory, evolution, commendable dynamic environment adaptability and self-learning, and embodies adequately the cooperative air-defense mechanism for the CASoSSWF. Therefore it shows a novel idea for the CASoSSWF which can provide conception models for a surface warship formation operation simulation system.展开更多
Intra-body communication (IBC) is a new,emerging,short-range and human body based communication methodology.It is a technique to network various devices on human body,by utilizing the conducting properties of human ti...Intra-body communication (IBC) is a new,emerging,short-range and human body based communication methodology.It is a technique to network various devices on human body,by utilizing the conducting properties of human tissues,suitable for currently fast developing Body area network (BAN)/Body sensor network (BSN).IBC is believed to have advantages in power consumption,electromagnetic radiation,interference from external electromagnetic noise,security,and restriction in spectrum resource.In this article,the authors develop two models,which are analytical and empirical approaches,for comparing the performance and accuracy of IBC on a human limb.Through in vivo experiment of five volunteers,both models basically match with the experimental result with equivalent circuit model superior than electromagnetic model in term of maximum error.展开更多
The past decades have witnessed a wide application of federated learning in crowd sensing,to handle the numerous data collected by the sensors and provide the users with precise and customized services.Meanwhile,how t...The past decades have witnessed a wide application of federated learning in crowd sensing,to handle the numerous data collected by the sensors and provide the users with precise and customized services.Meanwhile,how to protect the private information of users in federated learning has become an important research topic.Compared with the differential privacy(DP)technique and secure multiparty computation(SMC)strategy,the covert communication mechanism in federated learning is more efficient and energy-saving in training the ma-chine learning models.In this paper,we study the covert communication problem for federated learning in crowd sensing Internet-of-Things networks.Different from the previous works about covert communication in federated learning,most of which are considered in a centralized framework and experimental-based,we firstly proposes a centralized covert communication mechanism for federated learning among n learning agents,the time complexity of which is O(log n),approximating to the optimal solution.Secondly,for the federated learning without parameter server,which is a harder case,we show that solving such a problem is NP-hard and prove the existence of a distributed covert communication mechanism with O(log logΔlog n)times,approximating to the optimal solution.Δis the maximum distance between any pair of learning agents.Theoretical analysis and nu-merical simulations are presented to show the performance of our covert communication mechanisms.We hope that our covert communication work can shed some light on how to protect the privacy of federated learning in crowd sensing from the view of communications.展开更多
As a novel paradigm,semantic communication provides an effective solution for breaking through the future development dilemma of classical communication systems.However,it remains an unsolved problem of how to measure...As a novel paradigm,semantic communication provides an effective solution for breaking through the future development dilemma of classical communication systems.However,it remains an unsolved problem of how to measure the information transmission capability for a given semantic communication method and subsequently compare it with the classical communication method.In this paper,we first present a review of the semantic communication system,including its system model and the two typical coding and transmission methods for its implementations.To address the unsolved issue of the information transmission capability measure for semantic communication methods,we propose a new universal performance measure called Information Conductivity.We provide the definition and the physical significance to state its effectiveness in representing the information transmission capabilities of the semantic communication systems and present elaborations including its measure methods,degrees of freedom,and progressive analysis.Experimental results in image transmission scenarios validate its practical applicability.展开更多
With the development of EMC technology, EMC assessment has become increasingly important in EMC design. Although numerous EMC assessment models are available today, few of them can provide a tradeoff between efficienc...With the development of EMC technology, EMC assessment has become increasingly important in EMC design. Although numerous EMC assessment models are available today, few of them can provide a tradeoff between efficiency and accuracy for the specific case of military vehicular communication systems. Face to this situation, a modified four-level assessment model is proposed in the paper. First, the development of EMC assessment technology is briefly reviewed, and the theoretical mechanism of EMI environment is introduced. Then, the architecture of the proposed model is outlined, and the assessment methods are explored. To demonstrate the application of it, an example involving a communication system in a military vehicle is presented. From the physical layer to the signal layer, a hierarchical assessment on the entire system is successfully performed based on the proposed model, and we can make a qualitative EMC assessment on the EMC performance of the system. Based on a comparison with the traditional model, we conclude that the proposed model is more accurate, more efficient and less time-consuming, which is suitable for the EMC assessment on militaryvehicular communication systems. We hope that the proposed model will serve as a useful reference for system-level EMC assessments for other systems.展开更多
As modern communication technology advances apace,the digital communication signals identification plays an important role in cognitive radio networks,the communication monitoring and management systems.AI has become ...As modern communication technology advances apace,the digital communication signals identification plays an important role in cognitive radio networks,the communication monitoring and management systems.AI has become a promising solution to this problem due to its powerful modeling capability,which has become a consensus in academia and industry.However,because of the data-dependence and inexplicability of AI models and the openness of electromagnetic space,the physical layer digital communication signals identification model is threatened by adversarial attacks.Adversarial examples pose a common threat to AI models,where well-designed and slight perturbations added to input data can cause wrong results.Therefore,the security of AI models for the digital communication signals identification is the premise of its efficient and credible applications.In this paper,we first launch adversarial attacks on the end-to-end AI model for automatic modulation classifi-cation,and then we explain and present three defense mechanisms based on the adversarial principle.Next we present more detailed adversarial indicators to evaluate attack and defense behavior.Finally,a demonstration verification system is developed to show that the adversarial attack is a real threat to the digital communication signals identification model,which should be paid more attention in future research.展开更多
文摘As an important mechanism in multi-agent interaction,communication can make agents form complex team relationships rather than constitute a simple set of multiple independent agents.However,the existing communication schemes can bring much timing redundancy and irrelevant messages,which seriously affects their practical application.To solve this problem,this paper proposes a targeted multiagent communication algorithm based on state control(SCTC).The SCTC uses a gating mechanism based on state control to reduce the timing redundancy of communication between agents and determines the interaction relationship between agents and the importance weight of a communication message through a series connection of hard-and self-attention mechanisms,realizing targeted communication message processing.In addition,by minimizing the difference between the fusion message generated from a real communication message of each agent and a fusion message generated from the buffered message,the correctness of the final action choice of the agent is ensured.Our evaluation using a challenging set of Star Craft II benchmarks indicates that the SCTC can significantly improve the learning performance and reduce the communication overhead between agents,thus ensuring better cooperation between agents.
基金supported in part by the National Natural Science Foundation of China under Grant(62001246,62231017,62201277,62071255)the Natural Science Foundation of Jiangsu Province under Grant BK20220390+3 种基金Key R and D Program of Jiangsu Province Key project and topics under Grant(BE2021095,BE2023035)the Natural Science Research Startup Foundation of Recruiting Talents of Nanjing University of Posts and Telecommunications(Grant No.NY221011)National Science Foundation of Xiamen,China(No.3502Z202372013)Open Project of the Key Laboratory of Underwater Acoustic Communication and Marine Information Technology(Xiamen University)of the Ministry of Education,China(No.UAC202304)。
文摘In the future development direction of the sixth generation(6G)mobile communication,several communication models are proposed to face the growing challenges of the task.The rapid development of artificial intelligence(AI)foundation models provides significant support for efficient and intelligent communication interactions.In this paper,we propose an innovative semantic communication paradigm called task-oriented semantic communication system with foundation models.First,we segment the image by using task prompts based on the segment anything model(SAM)and contrastive language-image pretraining(CLIP).Meanwhile,we adopt Bezier curve to enhance the mask to improve the segmentation accuracy.Second,we have differentiated semantic compression and transmission approaches for segmented content.Third,we fuse different semantic information based on the conditional diffusion model to generate high-quality images that satisfy the users'specific task requirements.Finally,the experimental results show that the proposed system compresses the semantic information effectively and improves the robustness of semantic communication.
基金The work is partially supported by Natural Science Foundation of Ningxia(Grant No.AAC03300)National Natural Science Foundation of China(Grant No.61962001)Graduate Innovation Project of North Minzu University(Grant No.YCX23152).
文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.
基金supported in part by the National Key R&D Program of China No.2020YFB1806905the National Natural Science Foundation of China No.62201079+1 种基金the Beijing Natural Science Foundation No.L232051the Major Key Project of Peng Cheng Laboratory(PCL)Department of Broadband Communication。
文摘To facilitate emerging applications and demands of edge intelligence(EI)-empowered 6G networks,model-driven semantic communications have been proposed to reduce transmission volume by deploying artificial intelligence(AI)models that provide abilities of semantic extraction and recovery.Nevertheless,it is not feasible to preload all AI models on resource-constrained terminals.Thus,in-time model transmission becomes a crucial problem.This paper proposes an intellicise model transmission architecture to guarantee the reliable transmission of models for semantic communication.The mathematical relationship between model size and performance is formulated by employing a recognition error function supported with experimental data.We consider the characteristics of wireless channels and derive the closed-form expression of model transmission outage probability(MTOP)over the Rayleigh channel.Besides,we define the effective model accuracy(EMA)to evaluate the model transmission performance of both communication and intelligence.Then we propose a joint model selection and resource allocation(JMSRA)algorithm to maximize the average EMA of all users.Simulation results demonstrate that the average EMA of the JMSRA algorithm outperforms baseline algorithms by about 22%.
基金supported by National Natural Science Foundation of China(NSFC)(No.62101274 and 62101275)Natural Science Foundation of Jiangsu Province(BK20210640)Open Research Fund of National Mobile Communications Research Laboratory Southeast University under Grant 2021D03。
文摘In this paper,a statistical cluster-based simulation channel model with a finite number of sinusoids is proposed for depicting the multiple-input multiple-output(MIMO)communications in vehicleto-everything(V2X)environments.In the proposed sum-of-sinusoids(SoS)channel model,the waves that emerge from the transmitter undergo line-of-sight(LoS)and non-line-of-sight(NLoS)propagation to the receiver,which makes the model suitable for describing numerous V2X wireless communication scenarios for sixth-generation(6G).We derive expressions for the real and imaginary parts of the complex channel impulse response(CIR),which characterize the physical propagation characteristics of V2X wireless channels.The statistical properties of the real and imaginary parts of the complex CIRs,i.e.,autocorrelation functions(ACFs),Doppler power spectral densities(PSDs),cross-correlation functions(CCFs),and variances of ACFs and CCFs,are derived and discussed.Simulation results are generated and match those predicted by the underlying theory,demonstrating the accuracy of our derivation and analysis.The proposed framework and underlying theory arise as an efficient tool to investigate the statistical properties of 6G MIMO V2X communication systems.
文摘As a service format to meet spiritual needs, fashion culture industry is often synchronized in its creation, production, dissemination, display and consumption. In order to explore how artificial intelligence provides technical means, platforms, channels and space for intelligent formats in the field of communication, and how to provide intelligent services for cultural creation, communication, display and consumption. This paper discusses the application and innovation of artificial intelligence in all aspects of communication field, analyzes the problems and puts forward corresponding countermeasures and suggestions.
基金The work is a part of project named "'Multi- Agent based Train Operation in Moving Block Setup" funded by Department of Information Technology (DIT), Ministry of Commu- nications and Information Technology, Government of India, vide Grant Number 2(6)/2010-EC dated 21/03/2011.
文摘Multi-agent technology has been used in many complex distributed and concurrent systems. A railway system is such a safety critical system and careful inves- tigation of the functional components is very important. Study of the various functional components in communi- cation-based train control (CBTC) system necessitates a good structural design followed by its validation and ver- ification through a formal modelling technique. The work presented here is the follow up of our multi-agent-based CBTC system for Indian railway designed using the methodology for engineering system of software agents. Behavioural analysis of the designed system involves several operating scenarios that arise during train run, and helps in understanding the reaction of the system to such situations. This validation and verification are very important as it allows the system designer to critically evaluate the desired function of the system and to correct the design errors, if any, before its actual implementation. Modelling, validation and verification of the structural design through Coloured petri net (CPN) are central to this paper. Analysis of simulation results validates the efficacy of the design.
基金This work was supported by the National Natural Science Foundation of China(61871058)Key Special Project in Intergovernmental International Scientific and Technological Innovation Cooperation of National Key Research and Development Program(2017YFE0118600).
文摘Device-to-Device(D2D)communication is a promising technology that can reduce the burden on cellular networks while increasing network capacity.In this paper,we focus on the channel resource allocation and power control to improve the system resource utilization and network throughput.Firstly,we treat each D2D pair as an independent agent.Each agent makes decisions based on the local channel states information observed by itself.The multi-agent Reinforcement Learning(RL)algorithm is proposed for our multi-user system.We assume that the D2D pair do not possess any information on the availability and quality of the resource block to be selected,so the problem is modeled as a stochastic non-cooperative game.Hence,each agent becomes a player and they make decisions together to achieve global optimization.Thereby,the multi-agent Q-learning algorithm based on game theory is established.Secondly,in order to accelerate the convergence rate of multi-agent Q-learning,we consider a power allocation strategy based on Fuzzy C-means(FCM)algorithm.The strategy firstly groups the D2D users by FCM,and treats each group as an agent,and then performs multi-agent Q-learning algorithm to determine the power for each group of D2D users.The simulation results show that the Q-learning algorithm based on multi-agent can improve the throughput of the system.In particular,FCM can greatly speed up the convergence of the multi-agent Q-learning algorithm while improving system throughput.
基金Aeronautical Science Foundation of China (2006ZA51004)
文摘With the aid of multi-agent based modeling approach to complex systems, the hierarchy simulation models of carrier-based aircraft catapult launch are developed. Ocean, carrier, aircraft, and atmosphere are treated as aggregation agents, the detailed components like catapult, landing gears, and disturbances are considered as meta-agents, which belong to their aggregation agent. Thus, the model with two layers is formed i.e. the aggregation agent layer and the meta-agent layer. The information communication among all agents is described. The meta-agents within one aggregation agent communicate with each other directly by information sharing, but the meta-agents, which belong to different aggregation agents exchange their information through the aggregation layer first, and then perceive it from the sharing environment, that is the aggregation agent. Thus, not only the hierarchy model is built, but also the environment perceived by each agent is specified. Meanwhile, the problem of balancing the independency of agent and the resource consumption brought by real-time communication within multi-agent system (MAS) is resolved. Each agent involved in carrier-based aircraft catapult launch is depicted, with considering the interaction within disturbed atmospheric environment and multiple motion bodies including carrier, aircraft, and landing gears. The models of reactive agents among them are derived based on tensors, and the perceived messages and inner frameworks of each agent are characterized. Finally, some results of a simulation instance are given. The simulation and modeling of dynamic system based on multi-agent system is of benefit to express physical concepts and logical hierarchy clearly and precisely. The system model can easily draw in kinds of other agents to achieve a precise simulation of more complex system. This modeling technique makes the complex integral dynamic equations of multibodies decompose into parallel operations of single agent, and it is convenient to expand, maintain, and reuse the program codes.
基金Hallym University Research Fund,2019(HRF-201905-013).
文摘With the development of wireless mobile communication technology,the demand for wireless communication rate and frequency increases year by year.Existing wireless mobile communication frequency tends to be saturated,which demands for new solutions.Terahertz(THz)communication has great potential for the future mobile communications(Beyond 5G),and is also an important technique for the high data rate transmission in spatial information network.THz communication has great application prospects in military-civilian integration and coordinated development.In China,important breakthroughs have been achieved for the key techniques of THz high data rate communications,which is practically keeping up with the most advanced technological level in the world.Therefore,further intensifying efforts on the development of THz communication have the strategic importance for China in leading the development of future wireless communication techniques and the standardization process of Beyond 5G.This paper analyzes the performance of the MIMO channel in the Terahertz(THz)band and a discrete mathematical method is used to propose a novel channel model.Then,a channel capacity model is proposed by the combination of path loss and molecular absorption in the THz band based on the CSI at the receiver.Simulation results show that the integration of MIMO in the THz band gives better data rate and channel capacity as compared with a single channel.
文摘In this paper,a resilient distributed control scheme against replay attacks for multi-agent networked systems subject to input and state constraints is proposed.The methodological starting point relies on a smart use of predictive arguments with a twofold aim:1)Promptly detect malicious agent behaviors affecting normal system operations;2)Apply specific control actions,based on predictive ideas,for mitigating as much as possible undesirable domino effects resulting from adversary operations.Specifically,the multi-agent system is topologically described by a leader-follower digraph characterized by a unique leader and set-theoretic receding horizon control ideas are exploited to develop a distributed algorithm capable to instantaneously recognize the attacked agent.Finally,numerical simulations are carried out to show benefits and effectiveness of the proposed approach.
基金supported in part by the National Natural Science Foundation of China (62136008,62236002,61921004,62173251,62103104)the “Zhishan” Scholars Programs of Southeast Universitythe Fundamental Research Funds for the Central Universities (2242023K30034)。
文摘Efficient exploration in complex coordination tasks has been considered a challenging problem in multi-agent reinforcement learning(MARL). It is significantly more difficult for those tasks with latent variables that agents cannot directly observe. However, most of the existing latent variable discovery methods lack a clear representation of latent variables and an effective evaluation of the influence of latent variables on the agent. In this paper, we propose a new MARL algorithm based on the soft actor-critic method for complex continuous control tasks with confounders. It is called the multi-agent soft actor-critic with latent variable(MASAC-LV) algorithm, which uses variational inference theory to infer the compact latent variables representation space from a large amount of offline experience.Besides, we derive the counterfactual policy whose input has no latent variables and quantify the difference between the actual policy and the counterfactual policy via a distance function. This quantified difference is considered an intrinsic motivation that gives additional rewards based on how much the latent variable affects each agent. The proposed algorithm is evaluated on two collaboration tasks with confounders, and the experimental results demonstrate the effectiveness of MASAC-LV compared to other baseline algorithms.
基金support from the National Natural Science Foundation of China (Grant No. 61371110)Key R&D Program of Shandong Province (Grant No. 2016GGX101014)+1 种基金EU H2020 RISE TESTBED project (Grant No. 734325)the Fundamental Research Funds of Shandong University (No. 2017JC029)
文摘In underground mines, visible light communication(VLC) system is a promising method to realize effective communication,which supports communication and illumination at the same time. Therefore, adequate research of underlying physical propagation phenomenon should be carried out to realize VLC system in underground mines. To design VLC system and evaluate its performance, accurate and efficient channel models, including large-scale fading and scattering characteristics, are needed to be established. However,the characteristics of the underlying VLC channels about fading and scattering have not been sufficiently investigated yet. In this paper, a path loss channel model, based on the recursive model, is proposed precisely. Its path loss exponent is determined by three different trajectories, which is studied in the mining roadway and working face environment. Besides, the shadowing effect for VLC has been modelled by a Bimodal Gaussian distribution in underground mines. Considering the number of transmitters in line-of-sight(Lo S) as well as non-line-of-sight(NLo S) scenarios,our simulation illustrates the fact that, as the curve fitting technique is employed, the path loss displays a linear behavior in log-domain.The path loss expression is derived, it is related to the distance. Finally, root mean square(RMS) delay spread and Mie scattering in underground mines are analyzed.
基金This work was supported in part by the Program for Innovative Talents and Entrepreneur in Jiangsu Province under Grant 1104000402in part by the Research Fund by Nanjing Government under Grant 1104000396+4 种基金in part by the National Science Foundation of China under Grants 62001109&61921004in part by the China Postdoctoral Science Foundation under Grants BX20200083&2020M681456in part by the Fundamental Research Funds for the Central Universities of China under Grants 3204002004A2&2242020R20011in part by the open research fund of the National and Local Joint Engineering Laboratory of RF Integration and Micro-Assembly Technology under Grant No.KFJJ20180205in part by the NUPTSF Grants No.NY218113&No.NY219077.
文摘Wireless communication involving unmanned aerial vehicles(UAVs)is expected to play an important role in future wireless networks.However,different from conventional terrestrial communication systems,UAVs typically have rather limited onboard energy on one hand,and require additional flying energy consumption on the other hand.This renders energy-efficient UAV communication with smart energy expenditure of paramount importance.In this paper,via extensive flight experiments,we aim to firstly validate the recently derived theoretical energy model for rotary-wing UAVs,and then develop a general model for those complicated flight scenarios where rigorous theoretical model derivation is quite challenging,if not impossible.Specifically,we first investigate how UAV power consumption varies with its flying speed for the simplest straight-and-level flight.With about 12,000 valid power-speed data points collected,we first apply the model-based curve fitting to obtain the modelling parameters based on the theoretical closed-form energy model in the existing literature.In addition,in order to exclude the potential bias caused by the theoretical energy model,the obtained measurement data is also trained using a model-free deep neural network.It is found that the obtained curve from both methods can match quite well with the theoretical energy model.Next,we further extend the study to arbitrary 2-dimensional(2-D)flight,where,to our best knowledge,no rigorous theoretical derivation is available for the closed-form energy model as a function of its flying speed,direction,and acceleration.To fill the gap,we first propose a heuristic energy model for these more complicated cases,and then provide experimental validation based on the measurement results for circular level flight.
文摘Aiming at the problem on cooperative air-defense of surface warship formation, this paper maps the cooperative airdefense system of systems (SoS) for surface warship formation (CASoSSWF) to the biological immune system (BIS) according to the similarity of the defense mechanism and characteristics between the CASoSSWF and the BIS, and then designs the models of components and the architecture for a monitoring agent, a regulating agent, a killer agent, a pre-warning agent and a communicating agent by making use of the theories and methods of the artificial immune system, the multi-agent system (MAS), the vaccine and the danger theory (DT). Moreover a new immune multi-agent model using vaccine based on DT (IMMUVBDT) for the cooperative air-defense SoS is advanced. The immune response and immune mechanism of the CASoSSWF are analyzed. The model has a capability of memory, evolution, commendable dynamic environment adaptability and self-learning, and embodies adequately the cooperative air-defense mechanism for the CASoSSWF. Therefore it shows a novel idea for the CASoSSWF which can provide conception models for a surface warship formation operation simulation system.
基金supported by The Science and Technology Development Fund of Macao under grant 014/2007/A1,063/2009/A and 024/2009/A1the Research Committee of the University of Macao under Grants UL012/09-Y1/EEE/VMI01/FST,RG077/09-10S/ VMI/FST,RG075/07-08S/10T/VMI/FST,and RG072/09-10S/ MPU/FSTthe Funds of Fujian Provincial Department of Science & Technology as 2007Y0024,2007T0009,2007I0018 and 2008J1005
文摘Intra-body communication (IBC) is a new,emerging,short-range and human body based communication methodology.It is a technique to network various devices on human body,by utilizing the conducting properties of human tissues,suitable for currently fast developing Body area network (BAN)/Body sensor network (BSN).IBC is believed to have advantages in power consumption,electromagnetic radiation,interference from external electromagnetic noise,security,and restriction in spectrum resource.In this article,the authors develop two models,which are analytical and empirical approaches,for comparing the performance and accuracy of IBC on a human limb.Through in vivo experiment of five volunteers,both models basically match with the experimental result with equivalent circuit model superior than electromagnetic model in term of maximum error.
基金supported in part by the National Key Research and Development Program of China under Grant 2020YFB1005900the National Natural Science Foundation of China(NSFC)under Grant 62102232,62122042,61971269Natural Science Foundation of Shandong province under Grant ZR2021QF064.
文摘The past decades have witnessed a wide application of federated learning in crowd sensing,to handle the numerous data collected by the sensors and provide the users with precise and customized services.Meanwhile,how to protect the private information of users in federated learning has become an important research topic.Compared with the differential privacy(DP)technique and secure multiparty computation(SMC)strategy,the covert communication mechanism in federated learning is more efficient and energy-saving in training the ma-chine learning models.In this paper,we study the covert communication problem for federated learning in crowd sensing Internet-of-Things networks.Different from the previous works about covert communication in federated learning,most of which are considered in a centralized framework and experimental-based,we firstly proposes a centralized covert communication mechanism for federated learning among n learning agents,the time complexity of which is O(log n),approximating to the optimal solution.Secondly,for the federated learning without parameter server,which is a harder case,we show that solving such a problem is NP-hard and prove the existence of a distributed covert communication mechanism with O(log logΔlog n)times,approximating to the optimal solution.Δis the maximum distance between any pair of learning agents.Theoretical analysis and nu-merical simulations are presented to show the performance of our covert communication mechanisms.We hope that our covert communication work can shed some light on how to protect the privacy of federated learning in crowd sensing from the view of communications.
基金supported by the National Natural Science Foundation of China(No.62293481,No.62071058)。
文摘As a novel paradigm,semantic communication provides an effective solution for breaking through the future development dilemma of classical communication systems.However,it remains an unsolved problem of how to measure the information transmission capability for a given semantic communication method and subsequently compare it with the classical communication method.In this paper,we first present a review of the semantic communication system,including its system model and the two typical coding and transmission methods for its implementations.To address the unsolved issue of the information transmission capability measure for semantic communication methods,we propose a new universal performance measure called Information Conductivity.We provide the definition and the physical significance to state its effectiveness in representing the information transmission capabilities of the semantic communication systems and present elaborations including its measure methods,degrees of freedom,and progressive analysis.Experimental results in image transmission scenarios validate its practical applicability.
基金supported by the National Moon Exploration Program of China (No. TY3Q20110020)in part supported by the 13th Five-Year Community Technology Research Program of National Equipment Development Department of China (No.41409020301)the National Natural Science Foundation of China (50971094)
文摘With the development of EMC technology, EMC assessment has become increasingly important in EMC design. Although numerous EMC assessment models are available today, few of them can provide a tradeoff between efficiency and accuracy for the specific case of military vehicular communication systems. Face to this situation, a modified four-level assessment model is proposed in the paper. First, the development of EMC assessment technology is briefly reviewed, and the theoretical mechanism of EMI environment is introduced. Then, the architecture of the proposed model is outlined, and the assessment methods are explored. To demonstrate the application of it, an example involving a communication system in a military vehicle is presented. From the physical layer to the signal layer, a hierarchical assessment on the entire system is successfully performed based on the proposed model, and we can make a qualitative EMC assessment on the EMC performance of the system. Based on a comparison with the traditional model, we conclude that the proposed model is more accurate, more efficient and less time-consuming, which is suitable for the EMC assessment on militaryvehicular communication systems. We hope that the proposed model will serve as a useful reference for system-level EMC assessments for other systems.
基金supported by the National Natural Science Foundation of China(61771154)the Fundamental Research Funds for the Central Universities(3072022CF0601)supported by Key Laboratory of Advanced Marine Communication and Information Technology,Ministry of Industry and Information Technology,Harbin Engineering University,Harbin,China.
文摘As modern communication technology advances apace,the digital communication signals identification plays an important role in cognitive radio networks,the communication monitoring and management systems.AI has become a promising solution to this problem due to its powerful modeling capability,which has become a consensus in academia and industry.However,because of the data-dependence and inexplicability of AI models and the openness of electromagnetic space,the physical layer digital communication signals identification model is threatened by adversarial attacks.Adversarial examples pose a common threat to AI models,where well-designed and slight perturbations added to input data can cause wrong results.Therefore,the security of AI models for the digital communication signals identification is the premise of its efficient and credible applications.In this paper,we first launch adversarial attacks on the end-to-end AI model for automatic modulation classifi-cation,and then we explain and present three defense mechanisms based on the adversarial principle.Next we present more detailed adversarial indicators to evaluate attack and defense behavior.Finally,a demonstration verification system is developed to show that the adversarial attack is a real threat to the digital communication signals identification model,which should be paid more attention in future research.