Multi-agent Based Modeling of Manufacturing Network

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.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

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.

Multi-agent Based Hierarchy Simulation Models of Carrier-based Aircraft Catapult Launch

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.

An Improved Bounded Conflict-Based Search for Multi-AGV Pathfinding in Automated Container Terminals

As the number of automated guided vehicles(AGVs)within automated container terminals(ACT)continues to rise,conflicts have becomemore frequent.Addressing point and edge conflicts ofAGVs,amulti-AGVconflict-free path planning model has been formulated to minimize the total path length of AGVs between shore bridges and yards.For larger terminalmaps and complex environments,the grid method is employed to model AGVs’road networks.An improved bounded conflict-based search(IBCBS)algorithmtailored to ACT is proposed,leveraging the binary tree principle to resolve conflicts and employing focal search to expand the search range.Comparative experiments involving 60 AGVs indicate a reduction in computing time by 37.397%to 64.06%while maintaining the over cost within 1.019%.Numerical experiments validate the proposed algorithm’s efficacy in enhancing efficiency and ensuring solution quality.

RoBGP:A Chinese Nested Biomedical Named Entity Recognition Model Based on RoBERTa and Global Pointer

Named Entity Recognition(NER)stands as a fundamental task within the field of biomedical text mining,aiming to extract specific types of entities such as genes,proteins,and diseases from complex biomedical texts and categorize them into predefined entity types.This process can provide basic support for the automatic construction of knowledge bases.In contrast to general texts,biomedical texts frequently contain numerous nested entities and local dependencies among these entities,presenting significant challenges to prevailing NER models.To address these issues,we propose a novel Chinese nested biomedical NER model based on RoBERTa and Global Pointer(RoBGP).Our model initially utilizes the RoBERTa-wwm-ext-large pretrained language model to dynamically generate word-level initial vectors.It then incorporates a Bidirectional Long Short-Term Memory network for capturing bidirectional semantic information,effectively addressing the issue of long-distance dependencies.Furthermore,the Global Pointer model is employed to comprehensively recognize all nested entities in the text.We conduct extensive experiments on the Chinese medical dataset CMeEE and the results demonstrate the superior performance of RoBGP over several baseline models.This research confirms the effectiveness of RoBGP in Chinese biomedical NER,providing reliable technical support for biomedical information extraction and knowledge base construction.

The Impact of Model Based Offset Scaling Technique on the Amplitude Variation with Offset Responses from 3D Seismic Data Acquired from the Tano Basin, Offshore Ghana

Amplitudes have been found to be a function of incident angle and offset. Hence data required to test for amplitude variation with angle or offset needs to have its amplitudes for all offsets preserved and not stacked. Amplitude Variation with Offset (AVO)/Amplitude Variation with Angle (AVA) is necessary to account for information in the offset/angle parameter (mode converted S-wave and P-wave velocities). Since amplitudes are a function of the converted S- and P-waves, it is important to investigate the dependence of amplitudes on the elastic (P- and S-waves) parameters from the seismic data. By modelling these effects for different reservoir fluids via fluid substitution, various AVO geobody classes present along the well and in the entire seismic cube can be observed. AVO analysis was performed on one test well (Well_1) and 3D pre-stack angle gathers from the Tano Basin. The analysis involves creating a synthetic model to infer the effect of offset scaling techniques on amplitude responses in the Tano basin as compared to the effect of unscaled seismic data. The spectral balance process was performed to match the amplitude spectra of all angle stacks to that of the mid (26°) stack on the test lines. The process had an effect primarily on the far (34° - 40°) stacks. The frequency content of these stacks slightly increased to match that of the near and mid stacks. In offset scaling process, the root mean square (RMS) amplitude comparison between the synthetic and seismic suggests that the amplitude of the far traces should be reduced relative to the nears by up to 16%. However, the exact scaler values depend on the time window considered. This suggests that the amplitude scaling with offset delivered from seismic processing is only approximately correct and needs to be checked with well synthetics and adjusted accordingly prior to use for AVO studies. The AVO attribute volumes generated were better at resolving anomalies on spectrally balanced and offset scaled data than data delivered from conventional processing. A typical class II AVO anomaly is seen along the test well from the cross-plot analysis and AVO attribute cube which indicates an oil filled reservoir.

Model-Based Systems Engineering Approach to Design a Human Settlement to Better Serve Displaced People

The challenge of transitioning from temporary humanitarian settlements to more sustainable human settlements is due to a significant increase in the number of forcibly displaced people over recent decades, difficulties in providing social services that meet the required standards, and the prolongation of emergencies. Despite this challenging context, short-term considerations continue to guide their planning and management rather than more integrated, longer-term perspectives, thus preventing viable, sustainable development. Over the years, the design of humanitarian settlements has not been adapted to local contexts and perspectives, nor to the dynamics of urbanization and population growth and data. In addition, the current approach to temporary settlement harms the environment and can strain limited resources. Inefficient land use and ad hoc development models have compounded difficulties and generated new challenges. As a result, living conditions in settlements have deteriorated over the last few decades and continue to pose new challenges. The stakes are such that major shortcomings have emerged along the way, leading to disruption, budget overruns in a context marked by a steady decline in funding. However, some attempts have been made to shift towards more sustainable approaches, but these have mainly focused on vague, sector-oriented themes, failing to consider systematic and integration views. This study is a contribution in addressing these shortcomings by designing a model-driving solution, emphasizing an integrated system conceptualized as a system of systems. This paper proposes a new methodology for designing an integrated and sustainable human settlement model, based on Model-Based Systems Engineering and a Systems Modeling Language to provide valuable insights toward sustainable solutions for displaced populations aligning with the United Nations 2030 agenda for sustainable development.

Immune multi-agent model using vaccine for cooperative air-defense system of systems for surface warship formation based on danger theory

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.

A Multi-Agent Based Model for User Interest Mining on Sina Weibo

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.

Hierarchical Resource Load Balancing Based on Multi-Agent in ServiceBSP Model

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 model for knowledge transfer in a multi-agent organization based on lattice kinetic model

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.

A Fundamental Study on Multi-agent Pedestrian Model Based on Risk Avoidance Behavior during Road Blockage and Evacuation Simulation of Regional Urban Disaster

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”.

Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study

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.

Supply Chain Management System Model of Virtual Enterprises Based on Multi-Agent

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.

Discovering Latent Variables for the Tasks With Confounders in Multi-Agent Reinforcement Learning

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.

Event-triggered robust cooperative output regulation for a class of linear multi-agent systems with an unknown exosystem

This paper investigates the robust cooperative output regulation problem for a class of heterogeneousuncertain linear multi-agent systems with an unknown exosystem via event-triggered control (ETC). By utilizingthe internal model approach and the adaptive control technique, a distributed adaptive internal model isconstructed for each agent. Then, based on this internal model, a fully distributed ETC strategy composed ofa distributed event-triggered adaptive output feedback control law and a distributed dynamic event-triggeringmechanism is proposed, in which each agent updates its control input at its own triggering time instants. It isshown that under the proposed ETC strategy, the robust cooperative output regulation problem can be solvedwithout requiring either the global information associated with the communication topology or the bounds ofthe uncertain or unknown parameters in each agent and the exosystem. A numerical example is provided toillustrate the effectiveness of the proposed control strategy.

A Custom Manipulator for Dental Implantation Through Model-Based Design

This paper presents a Model-Based Design(MBD)approach for the design and control of a customized manipulator intended for drilling and position-ing of dental implants accurately with minimal human intervention.While performing an intra-oral surgery for a prolonged duration within a limited oral cavity,the tremor of dentist's hand is inevitable.As a result,wielding the drilling tool and inserting the dental implants safely in accurate position and orientation is highly challenging even for experienced dentists.Therefore,we introduce a customized manipulator that is designed ergonomically by taking in to account the dental chair specifications and anthropomorphic data such that it can be readily mounted onto the existing dental chair.The manipulator can be used to drill holes for dental inserts and position them with improved accuracy and safety.Further-more,a thorough multi-body motion analysis of the manipulator was carried out by creating a virtual prototype of the manipulator and simulating its controlled movements in various scenarios.The overall design was prepared and validated in simulation using Solid works,MATLAB and Simulink through Model Based Design(MBD)approach.The motion simulation results indicate that the manipulator could be built as a prototype readily.

Exploration of the Impact Mechanism of Government Credibility Based on Variable Screening Method

Government credibility is an important asset of contemporary national governance, an important criterion for evaluating government legitimacy, and a key factor in measuring the effectiveness of government governance. In recent years, researchers’ research on government credibility has mostly focused on exploring theories and mechanisms, with little empirical research on this topic. This article intends to apply variable selection models in the field of social statistics to the issue of government credibility, in order to achieve empirical research on government credibility and explore its core influencing factors from a statistical perspective. Specifically, this article intends to use four regression-analysis-based methods and three random-forest-based methods to study the influencing factors of government credibility in various provinces in China, and compare the performance of these seven variable selection methods in different dimensions. The research results show that there are certain differences in simplicity, accuracy, and variable importance ranking among different variable selection methods, which present different importance in the study of government credibility issues. This study provides a methodological reference for variable selection models in the field of social science research, and also offers a multidimensional comparative perspective for analyzing the influencing factors of government credibility.

A Cautionary Note on the Application of GIS in Spatial Optimization Modeling

Spatial optimization as part of spatial modeling has been facilitated significantly by integration with GIS techniques. However, for certain research topics, applying standard GIS techniques may create problems which require attention. This paper serves as a cautionary note to demonstrate two problems associated with applying GIS in spatial optimization, using a capacitated p-median facility location optimization problem as an example. The first problem involves errors in interpolating spatial variations of travel costs from using kriging, a common set of techniques for raster files. The second problem is inaccuracy in routing performed on a graph directly created from polyline shapefiles, a common vector file type. While revealing these problems, the paper also suggests remedies. Specifically, interpolation errors can be eliminated by using agent-based spatial modeling while the inaccuracy in routing can be improved through altering the graph topology by splitting the long edges of the shapefile. These issues suggest the need for caution in applying GIS in spatial optimization study.

Construction of Industrialization Development Model for"1+4+X"Community-Based Elderly Care in Gannan Old Revolutionary Base Area in the Context of Population Aging

In the context of controlling population development in a planned way,China entered an aging society in the early 21 st century.In this context,how to meet the needs of the elderly care and form an effective elderly care model has become a key problem to be solved urgently by local government departments.With the continuous advancement of the elderly care policy,the community-based elderly care has gradually become the mainstream and is in the stage of vigorous promotion.Taking the Gannan old revolutionary base area in Jiangxi Province as an example,this study puts forward"1+4+X"community-based elderly care model based on the policy system of community-based elderly care,the physical and mental health of the elderly,the material space and the construction of evaluation system,and explores how to promote the application of this community model efficiently in the form of industrialization,so as to drive the economic growth of the Gannan old revolutionary base area,promote the employment development and improve the community-based elderly care service.