An intelligent manufacturing system is modeled currently from the viewpoint of manufacturing applications,and the network platform’s influence to manufacturing applications is not considered adequately.However any bo...An intelligent manufacturing system is modeled currently from the viewpoint of manufacturing applications,and the network platform’s influence to manufacturing applications is not considered adequately.However any bottleneck in service oriented architecture(SOA)for the manufacturing network can affect the agility of the IT environment.In this paper,to achieve a trade-off between manufacturing resources and network resources,the manufacturing network is modeled with multi-agent,in which two kinds of basic elements,the manufacturing application unit and the network carrier of manufacturing information,are presented.And their main characters are described by colored petri net.The manufacturing application model drives the network platform that inversely provides this application model technology supports.The proposed multi-agent system is demonstrated through an example integration scenario involving production plan,resources management and execution subsystems.And the result suggests that analyzing and designing the system architecture of networked manufacturing should give due attention to the operation system as well as manufacturing applications.展开更多
User interest mining on Sina Weibo is the basis of personalized recommendations,advertising,marketing promotions,and other tasks.Although great progress has been made in this area,previous studies have ignored the dif...User interest mining on Sina Weibo is the basis of personalized recommendations,advertising,marketing promotions,and other tasks.Although great progress has been made in this area,previous studies have ignored the differences among users:the varied behaviors and habits that lead to unique user data characteristics.It is unreasonable to use a single strategy to mine interests from such varied user data.Therefore,this paper proposes an adaptive model for user interest mining based on a multi-agent system whose input includes self-descriptive user data,microblogs and correlations.This method has the ability to select the appropriate strategy based on each user’s data characteristics.The experimental results show that the proposed method performs better than the baselines.展开更多
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.展开更多
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.展开更多
As optimization of parameters affects prediction accuracy and generalization ability of support vector regression(SVR) greatly and the predictive model often mismatches nonlinear system model predictive control,a mult...As optimization of parameters affects prediction accuracy and generalization ability of support vector regression(SVR) greatly and the predictive model often mismatches nonlinear system model predictive control,a multi-step model predictive control based on online SVR(OSVR) optimized by multi-agent particle swarm optimization algorithm(MAPSO) is put forward. By integrating the online learning ability of OSVR, the predictive model can self-correct and adapt to the dynamic changes in nonlinear process well.展开更多
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.展开更多
Based on ServiceBSP model, a hierarchical resource load balancing algorithm with Multi-Agent is put forward in this paper which achieves the goal of dynamic load balancing and favorable Fault-tolerant. The algorithm c...Based on ServiceBSP model, a hierarchical resource load balancing algorithm with Multi-Agent is put forward in this paper which achieves the goal of dynamic load balancing and favorable Fault-tolerant. The algorithm calculates the load value according to the attributes of resource and scheduling tasks relies on the load value, while updating the load information dynamically depending on Multi-Agent. The method avoids frequent communications on load information. Furthermore, the paper introduces the function of agents, relations and communications among agents in details. Finally, by comparing response time and distribution of load using proposed method with other available methods such as without no load balancing and load balancing only giving regards to CPU, the experimental simulation shows that the load balancing based on Multi-Agent possesses superior performance on response time and load balancing.展开更多
A study on knowledge transfer in a mutli-agent organization is performed by applying the basic principle in physics such as the kinetic theory.Based on the theoretical analysis of the knowledge accumulation process an...A study on knowledge transfer in a mutli-agent organization is performed by applying the basic principle in physics such as the kinetic theory.Based on the theoretical analysis of the knowledge accumulation process and knowledge transfer attributes,a special type of knowledge field(KF)is introduced and the knowledge diffusion equation(KDE)is developed.The evolution of knowledge potential is modeled by lattice kinetic equation and verified by numerical experiments.The new equation-based modeling developed in this paper is meaningful to simulate and predict the knowledge transfer process in firms.The development of the lattice kinetic model(LKM)for knowledge transfer can contribute to the knowledge management theory,and the managers can also simulate the knowledge accumulation process by using the LKM.展开更多
Regional cities in Japan are at the risk of experiencing big fire accidents or earthquakes every day.However,neither the number nor the capacity of shelters has increased because local governments might not consider t...Regional cities in Japan are at the risk of experiencing big fire accidents or earthquakes every day.However,neither the number nor the capacity of shelters has increased because local governments might not consider them owing to budget shortfall.By contrast,wide-area evacuation simulations can easily provide an antagonizing image of regional urban disasters.After a disaster,the city collapses and the evacuation routes are closed;consequently,evacuees feel anxious and they cannot move as usual.This anxiety behavior has not been considered in previous related studies and simulations.In this study,a wide-area evacuation simulation is developed;this model can not only calculate the possibility of blocking escape routes when the city is broken but also provide safe and more realistic evacuation plans before a disaster occurs by incorporating into the simulation the risk avoidance behaviors of evacuees from road blockage,such as“the route re-seeking behavior”and“the shelter re-selecting behavior”.展开更多
A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agent...A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.展开更多
Based on the analysis of a virtual enterprise and the development of supply chain management, their integration is proposed. Then, the difference between multi-agent system modeling method and the traditional modeling...Based on the analysis of a virtual enterprise and the development of supply chain management, their integration is proposed. Then, the difference between multi-agent system modeling method and the traditional modeling method is analyzed, and a method based on Java agent framework for multi-agent systems（ JAFMAS） is proposed. By using this method the virtual enterprise＇ s supply chain management system model is established.展开更多
Tau plays a crucial role in several neurodegenerative diseases,collectively referred to as tauopathies.Therefore,targeting potential pathological changes in tau could enable useful therapeutic interventions.However,ta...Tau plays a crucial role in several neurodegenerative diseases,collectively referred to as tauopathies.Therefore,targeting potential pathological changes in tau could enable useful therapeutic interventions.However,tau is not an easy target because it dynamically interacts with microtubules and other cellular components,which presents a challenge for tau-targeted drugs.New cellular models could aid the development of mechanism-based tau-targeted therapies.展开更多
Offline policy evaluation,evaluating and selecting complex policies for decision-making by only using offline datasets is important in reinforcement learning.At present,the model-based offline policy evaluation(MBOPE)...Offline policy evaluation,evaluating and selecting complex policies for decision-making by only using offline datasets is important in reinforcement learning.At present,the model-based offline policy evaluation(MBOPE)is widely welcomed because of its easy to implement and good performance.MBOPE directly approximates the unknown value of a given policy using the Monte Carlo method given the estimated transition and reward functions of the environment.Usually,multiple models are trained,and then one of them is selected to be used.However,a challenge remains in selecting an appropriate model from those trained for further use.The authors first analyse the upper bound of the difference between the approximated value and the unknown true value.Theoretical results show that this difference is related to the trajectories generated by the given policy on the learnt model and the prediction error of the transition and reward functions at these generated data points.Based on the theoretical results,a new criterion is proposed to tell which trained model is better suited for evaluating the given policy.At last,the effectiveness of the proposed criterion is demonstrated on both benchmark and synthetic offline datasets.展开更多
Objective:To preliminarily construct and apply a longitudinal trajectory model for the prognosis of intracerebral hemorrhage(ICH)based on blood urea nitrogen(BUN)characteristics.Methods:Clinical data from 320 ICH pati...Objective:To preliminarily construct and apply a longitudinal trajectory model for the prognosis of intracerebral hemorrhage(ICH)based on blood urea nitrogen(BUN)characteristics.Methods:Clinical data from 320 ICH patients admitted to our hospital between 2020 and 2024 were collected,including demographic information,National Institutes of Health Stroke Scale(NIHSS)scores at admission,dynamic changes in BUN levels during treatment,and 30-day survival outcomes.A latent class growth model(LCGM)was first used for preliminary modeling,followed by a latent growth mixture modeling(GMM)approach to determine the final model.Three classes of BUN trajectories for ICH prognosis were identified,and latent classes were established.GMM modeling was then performed on these latent classes,considering linear,quadratic,and cubic polynomial forms;six GMM models were constructed and individuals were assigned to latent trajectory groups for validation.Results:LCGM analysis ultimately identified three dynamic BUN trajectory groups:Sustained low-level group(76 cases,23.8%):BUN remained stable between 3.1-9.0 mmol/L,with the highest 30-day survival rate(98.7%).Fluctuating-declining group(222 cases,69.4%):BUN initially increased and then slowly decreased(peak at day 3:15.2 mmol/L),with a 30-day mortality of 8.1%(18/222),higher than the sustained low-level group.Sustained high-level group(22 cases,6.9%):BUN mean>9.0 mmol/L,with a 30-day mortality of 41.7%(P=0.000).GMM model fitting showed that the cubic polynomial GMM model was optimal(AIC=6754.474,BIC=6852.450,Entropy=0.905).Incorporating gender,age,and BMI as covariates revealed significant effects for gender(Estimate=0.045,-0.011,P=0.000,0.000).The AUC for predicting 30-day mortality was 0.88(sensitivity 82.8%,specificity 77.9%),which increased to 0.89 when combined with admission NIHSS scores.Conclusion:The LCGM+GMM model based on dynamic BUN trajectories effectively distinguishes prognostic subgroups in ICH patients.Patients with persistently elevated or fluctuating-rising BUN levels have a significantly higher mortality risk compared to those with sustained low levels.This model provides a new quantitative tool for early identification of high-risk patients and poor prognoses.展开更多
The distributed-power electric multiple units(EMUs)are widely used in high-speed railway.Due to the structural characteristic of mutual-coupled power units in EMUs,each power unit is set as an agent.Combining with the...The distributed-power electric multiple units(EMUs)are widely used in high-speed railway.Due to the structural characteristic of mutual-coupled power units in EMUs,each power unit is set as an agent.Combining with the traction/brake characteristic curve and running data of EMUs,a subtractive clustering method and pattern classification algorithm are adopted to set up a multi-model set for every agent.Then,the multi-agent model is established according to the multi-agent network topology and mutual-coupled constraint relations.Finally,we adopt a smooth start switching control strategy and a multi-agent distributed coordination control algorithm to ensure the synchronous speed tracking control of each agent.Simulation results on the actual CRH380A running data show the effectiveness of the proposed approach.展开更多
This paper proposes a policy driven and multi-agent based model to enhance the fault tolerance and recovery capabilities of Web services in distributed environment. The evaluation function of fault specifications and ...This paper proposes a policy driven and multi-agent based model to enhance the fault tolerance and recovery capabilities of Web services in distributed environment. The evaluation function of fault specifications and the corresponding handling mechanisms of the services are both defined in policies, which are expressed in XML. During the implementation of the services,the occurrences of faults are monitored by the service monitor agent through the local knowledge on the faults. Such local knowledge is dynamically generated by the service policy agent through querying and parsing the service policies from the service policies repository. When the fault occurs, the service process agent will focus on the process of fault handling and service recovery, which will be directed with the actions defined in the policies upon the specific conditions. Such a policy driven and multi-agent based fault handling approach can address the issues of flexibility, automation and availability.展开更多
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.展开更多
This review explores the use of agent-based modeling(ABM)within the framework of study human emotion and cognition in the context of its ability to simulate complex social interactions,adaptive changes,and evolutionar...This review explores the use of agent-based modeling(ABM)within the framework of study human emotion and cognition in the context of its ability to simulate complex social interactions,adaptive changes,and evolutionary processes.By representing agents and their defined environments with probabilistic interactions,ABM allows the assessment of the effects of individual behavior at the micro level on the greater social phenomena at the macro level.The review looks into the applications of ABM in portraying some of the key components of emotions and cognition-empathy,cooperation,decision making,and emotional transmission-and analyzes the problems including scalability,empirical validation,and description of sensitive emotional states.The most important conclusion is that merging ABM with information neurobiological data and artificial intelligence(AI)techniques would allow for deepening the interactions within the system and enhancing its responsiveness to stimuli.This review highlights approaches that aim to exploit the ABM methodology more fully and integrates methods from biology,neuroscience,and engineering.This integration could contribute to our understanding of the human behavior evolution and adaptation within systems relevant to policymaking,healthcare,and education.展开更多
Consensus control of multi-agent systems has attracted compelling attentions from various scientific communities for its promising applications.This paper presents a discrete-time consensus protocol for a class of mul...Consensus control of multi-agent systems has attracted compelling attentions from various scientific communities for its promising applications.This paper presents a discrete-time consensus protocol for a class of multi-agent systems with switching topologies and input constraints based on distributed predictive control scheme.The consensus protocol is not only distributed but also depends on the errors of states between agent and its neighbors.We focus mainly on dealing with the input constraints and a distributed model predictive control scheme is developed to achieve stable consensus under the condition that both velocity and acceleration constraints are included simultaneously.The acceleration constraint is regarded as the changing rate of velocity based on some reasonable assumptions so as to simplify the analysis.Theoretical analysis shows that the constrained system steered by the proposed protocol achieves consensus asymptotically if the switching interaction graphs always have a spanning tree.Numerical examples are also provided to illustrate the validity of the algorithm.展开更多
Ballistic missile defense system (BMDS) is important for its special role in ensuring national security and maintaining strategic balance. Research on modeling and simulation of the BMDS beforehand is essential as dev...Ballistic missile defense system (BMDS) is important for its special role in ensuring national security and maintaining strategic balance. Research on modeling and simulation of the BMDS beforehand is essential as developing a real one requires lots of manpower and resources. BMDS is a typical complex system for its nonlinear, adaptive and uncertainty characteristics. The agent-based modeling method is well suited for the complex system whose overall behaviors are determined by interactions among individual elements. A multi-agent decision support system (DSS), which includes missile agent, radar agent and command center agent, is established based on the studies of structure and function of BMDS. Considering the constraints brought by radar, intercept missile, offensive missile and commander, the objective function of DSS is established. In order to dynamically generate the optimal interception plan, the variable neighborhood negative selection particle swarm optimization (VNNSPSO) algorithm is proposed to support the decision making of DSS. The proposed algorithm is compared with the standard PSO, constriction factor PSO (CFPSO), inertia weight linear decrease PSO (LDPSO), variable neighborhood PSO (VNPSO) algorithm from the aspects of convergence rate, iteration number, average fitness value and standard deviation. The simulation results verify the efficiency of the proposed algorithm. The multi-agent DSS is developed through the Repast simulation platform and the constructed DSS can generate intercept plans automatically and support three-dimensional dynamic display of missile defense process.展开更多
文摘An intelligent manufacturing system is modeled currently from the viewpoint of manufacturing applications,and the network platform’s influence to manufacturing applications is not considered adequately.However any bottleneck in service oriented architecture(SOA)for the manufacturing network can affect the agility of the IT environment.In this paper,to achieve a trade-off between manufacturing resources and network resources,the manufacturing network is modeled with multi-agent,in which two kinds of basic elements,the manufacturing application unit and the network carrier of manufacturing information,are presented.And their main characters are described by colored petri net.The manufacturing application model drives the network platform that inversely provides this application model technology supports.The proposed multi-agent system is demonstrated through an example integration scenario involving production plan,resources management and execution subsystems.And the result suggests that analyzing and designing the system architecture of networked manufacturing should give due attention to the operation system as well as manufacturing applications.
文摘User interest mining on Sina Weibo is the basis of personalized recommendations,advertising,marketing promotions,and other tasks.Although great progress has been made in this area,previous studies have ignored the differences among users:the varied behaviors and habits that lead to unique user data characteristics.It is unreasonable to use a single strategy to mine interests from such varied user data.Therefore,this paper proposes an adaptive model for user interest mining based on a multi-agent system whose input includes self-descriptive user data,microblogs and correlations.This method has the ability to select the appropriate strategy based on each user’s data characteristics.The experimental results show that the proposed method performs better than the baselines.
基金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.
文摘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.
基金the National Natural Science Foundation of China(No.60905066)the Natural Science Foundation of Chongqing(No.cstc2018jcyjA0667)
文摘As optimization of parameters affects prediction accuracy and generalization ability of support vector regression(SVR) greatly and the predictive model often mismatches nonlinear system model predictive control,a multi-step model predictive control based on online SVR(OSVR) optimized by multi-agent particle swarm optimization algorithm(MAPSO) is put forward. By integrating the online learning ability of OSVR, the predictive model can self-correct and adapt to the dynamic changes in nonlinear process well.
基金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.
文摘Based on ServiceBSP model, a hierarchical resource load balancing algorithm with Multi-Agent is put forward in this paper which achieves the goal of dynamic load balancing and favorable Fault-tolerant. The algorithm calculates the load value according to the attributes of resource and scheduling tasks relies on the load value, while updating the load information dynamically depending on Multi-Agent. The method avoids frequent communications on load information. Furthermore, the paper introduces the function of agents, relations and communications among agents in details. Finally, by comparing response time and distribution of load using proposed method with other available methods such as without no load balancing and load balancing only giving regards to CPU, the experimental simulation shows that the load balancing based on Multi-Agent possesses superior performance on response time and load balancing.
基金supported by the National Natural Science Foundation of China(71472055 71871007)+2 种基金National Social Science Foundation of China(16AZD0006)Heilongjiang Philosophy and Social Science Research Project(19GLB087)the Fundamental Research Funds for the Central Universities(HIT.NSRIF.2019033)
文摘A study on knowledge transfer in a mutli-agent organization is performed by applying the basic principle in physics such as the kinetic theory.Based on the theoretical analysis of the knowledge accumulation process and knowledge transfer attributes,a special type of knowledge field(KF)is introduced and the knowledge diffusion equation(KDE)is developed.The evolution of knowledge potential is modeled by lattice kinetic equation and verified by numerical experiments.The new equation-based modeling developed in this paper is meaningful to simulate and predict the knowledge transfer process in firms.The development of the lattice kinetic model(LKM)for knowledge transfer can contribute to the knowledge management theory,and the managers can also simulate the knowledge accumulation process by using the LKM.
文摘Regional cities in Japan are at the risk of experiencing big fire accidents or earthquakes every day.However,neither the number nor the capacity of shelters has increased because local governments might not consider them owing to budget shortfall.By contrast,wide-area evacuation simulations can easily provide an antagonizing image of regional urban disasters.After a disaster,the city collapses and the evacuation routes are closed;consequently,evacuees feel anxious and they cannot move as usual.This anxiety behavior has not been considered in previous related studies and simulations.In this study,a wide-area evacuation simulation is developed;this model can not only calculate the possibility of blocking escape routes when the city is broken but also provide safe and more realistic evacuation plans before a disaster occurs by incorporating into the simulation the risk avoidance behaviors of evacuees from road blockage,such as“the route re-seeking behavior”and“the shelter re-selecting behavior”.
文摘A multi-agent based transport system is modeled by timed automata model extended with clock variables. The correctness properties of safety and liveness of this model are verified by timed automata based UPPAAL. Agents have a degree of control on their own actions, have their own threads of control, and under some circumstances they are also able to take decisions. Therefore they are autonomous. The multi-agent system is modeled as a network of timed automata based agents supported by clock variables. The representation of agent requirements based on mathematics is helpful in precise and unambiguous specifications, thereby ensuring correctness. This formal representation of requirements provides a way for logical reasoning about the artifacts produced. We can be systematic and precise in assessing correctness by rigorously specifying the functional requirements.
基金the National Natural Sciences Foundation under Grant No.50575065Anhui Province Natural Sciences Foundation under Grant No.03042306
文摘Based on the analysis of a virtual enterprise and the development of supply chain management, their integration is proposed. Then, the difference between multi-agent system modeling method and the traditional modeling method is analyzed, and a method based on Java agent framework for multi-agent systems（ JAFMAS） is proposed. By using this method the virtual enterprise＇ s supply chain management system model is established.
文摘Tau plays a crucial role in several neurodegenerative diseases,collectively referred to as tauopathies.Therefore,targeting potential pathological changes in tau could enable useful therapeutic interventions.However,tau is not an easy target because it dynamically interacts with microtubules and other cellular components,which presents a challenge for tau-targeted drugs.New cellular models could aid the development of mechanism-based tau-targeted therapies.
文摘Offline policy evaluation,evaluating and selecting complex policies for decision-making by only using offline datasets is important in reinforcement learning.At present,the model-based offline policy evaluation(MBOPE)is widely welcomed because of its easy to implement and good performance.MBOPE directly approximates the unknown value of a given policy using the Monte Carlo method given the estimated transition and reward functions of the environment.Usually,multiple models are trained,and then one of them is selected to be used.However,a challenge remains in selecting an appropriate model from those trained for further use.The authors first analyse the upper bound of the difference between the approximated value and the unknown true value.Theoretical results show that this difference is related to the trajectories generated by the given policy on the learnt model and the prediction error of the transition and reward functions at these generated data points.Based on the theoretical results,a new criterion is proposed to tell which trained model is better suited for evaluating the given policy.At last,the effectiveness of the proposed criterion is demonstrated on both benchmark and synthetic offline datasets.
文摘Objective:To preliminarily construct and apply a longitudinal trajectory model for the prognosis of intracerebral hemorrhage(ICH)based on blood urea nitrogen(BUN)characteristics.Methods:Clinical data from 320 ICH patients admitted to our hospital between 2020 and 2024 were collected,including demographic information,National Institutes of Health Stroke Scale(NIHSS)scores at admission,dynamic changes in BUN levels during treatment,and 30-day survival outcomes.A latent class growth model(LCGM)was first used for preliminary modeling,followed by a latent growth mixture modeling(GMM)approach to determine the final model.Three classes of BUN trajectories for ICH prognosis were identified,and latent classes were established.GMM modeling was then performed on these latent classes,considering linear,quadratic,and cubic polynomial forms;six GMM models were constructed and individuals were assigned to latent trajectory groups for validation.Results:LCGM analysis ultimately identified three dynamic BUN trajectory groups:Sustained low-level group(76 cases,23.8%):BUN remained stable between 3.1-9.0 mmol/L,with the highest 30-day survival rate(98.7%).Fluctuating-declining group(222 cases,69.4%):BUN initially increased and then slowly decreased(peak at day 3:15.2 mmol/L),with a 30-day mortality of 8.1%(18/222),higher than the sustained low-level group.Sustained high-level group(22 cases,6.9%):BUN mean>9.0 mmol/L,with a 30-day mortality of 41.7%(P=0.000).GMM model fitting showed that the cubic polynomial GMM model was optimal(AIC=6754.474,BIC=6852.450,Entropy=0.905).Incorporating gender,age,and BMI as covariates revealed significant effects for gender(Estimate=0.045,-0.011,P=0.000,0.000).The AUC for predicting 30-day mortality was 0.88(sensitivity 82.8%,specificity 77.9%),which increased to 0.89 when combined with admission NIHSS scores.Conclusion:The LCGM+GMM model based on dynamic BUN trajectories effectively distinguishes prognostic subgroups in ICH patients.Patients with persistently elevated or fluctuating-rising BUN levels have a significantly higher mortality risk compared to those with sustained low levels.This model provides a new quantitative tool for early identification of high-risk patients and poor prognoses.
基金Supported by National Natural Science Foundation of China(61164013,U1334211,51174091)the Key Program of China Ministry of Railway(2011Z002-D)Natural Science Foundation of Jiangxi Province(20122BAB201021)
文摘The distributed-power electric multiple units(EMUs)are widely used in high-speed railway.Due to the structural characteristic of mutual-coupled power units in EMUs,each power unit is set as an agent.Combining with the traction/brake characteristic curve and running data of EMUs,a subtractive clustering method and pattern classification algorithm are adopted to set up a multi-model set for every agent.Then,the multi-agent model is established according to the multi-agent network topology and mutual-coupled constraint relations.Finally,we adopt a smooth start switching control strategy and a multi-agent distributed coordination control algorithm to ensure the synchronous speed tracking control of each agent.Simulation results on the actual CRH380A running data show the effectiveness of the proposed approach.
文摘This paper proposes a policy driven and multi-agent based model to enhance the fault tolerance and recovery capabilities of Web services in distributed environment. The evaluation function of fault specifications and the corresponding handling mechanisms of the services are both defined in policies, which are expressed in XML. During the implementation of the services,the occurrences of faults are monitored by the service monitor agent through the local knowledge on the faults. Such local knowledge is dynamically generated by the service policy agent through querying and parsing the service policies from the service policies repository. When the fault occurs, the service process agent will focus on the process of fault handling and service recovery, which will be directed with the actions defined in the policies upon the specific conditions. Such a policy driven and multi-agent based fault handling approach can address the issues of flexibility, automation and availability.
基金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 review explores the use of agent-based modeling(ABM)within the framework of study human emotion and cognition in the context of its ability to simulate complex social interactions,adaptive changes,and evolutionary processes.By representing agents and their defined environments with probabilistic interactions,ABM allows the assessment of the effects of individual behavior at the micro level on the greater social phenomena at the macro level.The review looks into the applications of ABM in portraying some of the key components of emotions and cognition-empathy,cooperation,decision making,and emotional transmission-and analyzes the problems including scalability,empirical validation,and description of sensitive emotional states.The most important conclusion is that merging ABM with information neurobiological data and artificial intelligence(AI)techniques would allow for deepening the interactions within the system and enhancing its responsiveness to stimuli.This review highlights approaches that aim to exploit the ABM methodology more fully and integrates methods from biology,neuroscience,and engineering.This integration could contribute to our understanding of the human behavior evolution and adaptation within systems relevant to policymaking,healthcare,and education.
基金This work was financially supported by the Major Program of National Natural Science Foundation of China[grant numbers is not public]the National Natural Science Foundation of China[Grant No.61703427].
文摘Consensus control of multi-agent systems has attracted compelling attentions from various scientific communities for its promising applications.This paper presents a discrete-time consensus protocol for a class of multi-agent systems with switching topologies and input constraints based on distributed predictive control scheme.The consensus protocol is not only distributed but also depends on the errors of states between agent and its neighbors.We focus mainly on dealing with the input constraints and a distributed model predictive control scheme is developed to achieve stable consensus under the condition that both velocity and acceleration constraints are included simultaneously.The acceleration constraint is regarded as the changing rate of velocity based on some reasonable assumptions so as to simplify the analysis.Theoretical analysis shows that the constrained system steered by the proposed protocol achieves consensus asymptotically if the switching interaction graphs always have a spanning tree.Numerical examples are also provided to illustrate the validity of the algorithm.
文摘Ballistic missile defense system (BMDS) is important for its special role in ensuring national security and maintaining strategic balance. Research on modeling and simulation of the BMDS beforehand is essential as developing a real one requires lots of manpower and resources. BMDS is a typical complex system for its nonlinear, adaptive and uncertainty characteristics. The agent-based modeling method is well suited for the complex system whose overall behaviors are determined by interactions among individual elements. A multi-agent decision support system (DSS), which includes missile agent, radar agent and command center agent, is established based on the studies of structure and function of BMDS. Considering the constraints brought by radar, intercept missile, offensive missile and commander, the objective function of DSS is established. In order to dynamically generate the optimal interception plan, the variable neighborhood negative selection particle swarm optimization (VNNSPSO) algorithm is proposed to support the decision making of DSS. The proposed algorithm is compared with the standard PSO, constriction factor PSO (CFPSO), inertia weight linear decrease PSO (LDPSO), variable neighborhood PSO (VNPSO) algorithm from the aspects of convergence rate, iteration number, average fitness value and standard deviation. The simulation results verify the efficiency of the proposed algorithm. The multi-agent DSS is developed through the Repast simulation platform and the constructed DSS can generate intercept plans automatically and support three-dimensional dynamic display of missile defense process.
