Many efforts have been devoted to efficient task scheduling in Multi-Unmanned Aerial Vehicle(UAV)edge computing.However,the heterogeneity of UAV computation resource,and the task re-allocating between UAVs have not be...Many efforts have been devoted to efficient task scheduling in Multi-Unmanned Aerial Vehicle(UAV)edge computing.However,the heterogeneity of UAV computation resource,and the task re-allocating between UAVs have not been fully considered yet.Moreover,most existing works neglect the fact that a task can only be executed on the UAV equipped with its desired service function(SF).In this backdrop,this paper formulates the task scheduling problem as a multi-objective task scheduling problem,which aims at maximizing the task execution success ratio while minimizing the average weighted sum of all tasks’completion time and energy consumption.Optimizing three coupled goals in a realtime manner with the dynamic arrival of tasks hinders us from adopting existing methods,like machine learning-based solutions that require a long training time and tremendous pre-knowledge about the task arrival process,or heuristic-based ones that usually incur a long decision-making time.To tackle this problem in a distributed manner,we establish a matching theory framework,in which three conflicting goals are treated as the preferences of tasks,SFs and UAVs.Then,a Distributed Matching Theory-based Re-allocating(DiMaToRe)algorithm is put forward.We formally proved that a stable matching can be achieved by our proposal.Extensive simulation results show that Di Ma To Re algorithm outperforms benchmark algorithms under diverse parameter settings and has good robustness.展开更多
In this paper,a stable two-sided matching(TSM)method considering the matching intention of agents under a hesitant fuzzy environment is proposed.The method uses a hesitant fuzzy element(HFE)as its basis.First,the HFE ...In this paper,a stable two-sided matching(TSM)method considering the matching intention of agents under a hesitant fuzzy environment is proposed.The method uses a hesitant fuzzy element(HFE)as its basis.First,the HFE preference matrix is transformed into the normalized HFE preference matrix.On this basis,the distance and the projection of the normalized HFEs on positive and negative ideal solutions are calculated.Then,the normalized HFEs are transformed into agent satisfactions.Considering the stable matching constraints,a multiobjective programming model with the objective of maximizing the satisfactions of two-sided agents is constructed.Based on the agent satisfaction matrix,the matching intention matrix of two-sided agents is built.According to the agent satisfaction matrix and matching intention matrix,the comprehensive satisfaction matrix is set up.Furthermore,the multiobjective programming model based on satisfactions is transformed into a multiobjective programming model based on comprehensive satisfactions.Using the G-S algorithm,the multiobjective programming model based on comprehensive satisfactions is solved,and then the best TSM scheme is obtained.Finally,a terminal distribution example is used to verify the feasibility and effectiveness of the proposed method.展开更多
In previous research on two-sided matching(TSM)decision,agents’preferences were often given in the form of exact values of ordinal numbers and linguistic phrase term sets.Nowdays,the matching agent cannot perform the...In previous research on two-sided matching(TSM)decision,agents’preferences were often given in the form of exact values of ordinal numbers and linguistic phrase term sets.Nowdays,the matching agent cannot perform the exact evaluation in the TSM situations due to the great fuzziness of human thought and the complexity of reality.Probability hesitant fuzzy sets,however,have grown in popularity due to their advantages in communicating complex information.Therefore,this paper develops a TSM decision-making approach with multi-attribute probability hesitant fuzzy sets and unknown attribute weight information.The agent attribute weight vector should be obtained by using the maximum deviation method and Hamming distance.The probabilistic hesitancy fuzzy information matrix of each agent is then arranged to determine the comprehensive evaluation of two matching agent sets.The agent satisfaction degree is calculated using the technique for order preference by similarity to ideal solution(TOPSIS).Additionally,the multi-object programming technique is used to establish a TSM method with the objective of maximizing the agent satisfaction of two-sided agents,and the matching schemes are then established by solving the built model.The study concludes by providing a real-world supply-demand scenario to illustrate the effectiveness of the proposed method.The proposed method is more flexible than prior research since it expresses evaluation information using probability hesitating fuzzy sets and can be used in scenarios when attribute weight information is unclear.展开更多
Some modifications of two-constant Kubelka-Munk theory has been made for the color matching of pre-colored fiber blends. The scattering coefficients of three primaries are averaged and taken as initial coefficients in...Some modifications of two-constant Kubelka-Munk theory has been made for the color matching of pre-colored fiber blends. The scattering coefficients of three primaries are averaged and taken as initial coefficients in each wavelength. The unit sums of concentration in E-Allen’s Algorithm were removed in the case of pre-colored fiber blends. Predicted blend ratios and reflectance curves agree very well with measured ones and color differences are within the tolerant limit, showing satisfactory matching results.展开更多
In any group,the project’s members want to create the highest value for the common goal,and how to choose project’s members could be a game.This study investigated the cooperating with education institutions.Analysi...In any group,the project’s members want to create the highest value for the common goal,and how to choose project’s members could be a game.This study investigated the cooperating with education institutions.Analysis of the players’strategic choices and relative outcomes was conducted.The researchers would organize a simple tree model and sort to payoff matrix.The results revealed that the strategy of each player is different finally.There were two strategies for selecting a member-'Choosing Good Friendship player'and'Choosing Good Ability player'.Furthermore,this study also analyzed the influencing factors and stable matching possibility among the factors.展开更多
With the rapid deployment of high speed railway(HSR) worldwide,both safety operation and comfort experience can be desired to evolve into a future era of intelligent transportation system.To eliminate boredom and prov...With the rapid deployment of high speed railway(HSR) worldwide,both safety operation and comfort experience can be desired to evolve into a future era of intelligent transportation system.To eliminate boredom and provide entertainment for passengers,an intranet for internal communications among passengers named as onboard social network system(SNS) is needed.In this paper,the latest progress in HSR network architectures and technology building blocks are discussed to enable the implementation of the SNS.Meanwhile,based on the device-to-device(D2 D) communication technology for proximal information interaction,SNS can be efficiently facilitated.A dynamic resource allocation algorithm is proposed to maximize the total utility of the onboard SNS,which is solved with the matching theory method.Simulation results verify the convergence and efficiency of the proposed algorithm.展开更多
This paper investigates the channel diversity problem in high frequency(HF) communication systems. Due to the limited HF spectrum resources, a HF communication system with shared channels is considered, where each use...This paper investigates the channel diversity problem in high frequency(HF) communication systems. Due to the limited HF spectrum resources, a HF communication system with shared channels is considered, where each user equipment(UE) has individual communication demand. In order to maximize the communication probability of the whole system, a matching-potential game framework is designed. In detail, the channel diversity problem is decomposed into two sub-problems. One is channel-transmitter matching problem, which can be formulated as a many-to-one matching game. The other is the transmitter allocation problem which decides the transmission object that each transmitter communicates with under channel-transmitter matching result, and this sub-problem can be modeled as a potential game. A multiple round stable matching algorithm(MRSMA) is proposed, which obtains a stable matching result for the first sub-problem, and a distributed BR-based transmitter allocation algorithm(DBRTAA) is designed to reach Nash Equilibrium(NE) of the second sub-problem. Simulation results verify the effectiveness and superiority of the proposed method.展开更多
A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal m...A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the hypergraph.Meanwhile,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition algorithm.The effectiveness of the composition method was tested by a set of experiments,in addition,an example regarding the travel services composition was also given.The experimental results show that this method not only can automatically generate composition tree whose leaf nodes correspond to services composition solutions,but also has better performance on execution time and solution quality by adopting two proposed optimization algorithms.展开更多
Due to its importance in security, syntax analysis has found usage in many high-level programming languages. The Lisp language has its share of operations for evaluating regular expressions, but native parsing of Lisp...Due to its importance in security, syntax analysis has found usage in many high-level programming languages. The Lisp language has its share of operations for evaluating regular expressions, but native parsing of Lisp code in this way is unsupported. Matching on lists requires a significantly more complicated model, with a different programmatic approach than that of string matching. This work presents a new automata-based approach centered on a set of functions and macros for identifying sequences of Lisp S-expressions using finite tree automata. The objective is to test that a given list is an element of a given tree language. We use a macro that takes a grammar and generates a function that reads off the leaves of a tree and tries to parse them as a string in a context-free language. The experimental results indicate that this approach is a viable tool for parsing Lisp lists and expressions in the abstract interpretation展开更多
The E-plane waveguide branch directional couplers are analyzed by a method which combines the multimode network theory with rigorous mode-matching approach. The electromagnetic field components are expanded by the sup...The E-plane waveguide branch directional couplers are analyzed by a method which combines the multimode network theory with rigorous mode-matching approach. The electromagnetic field components are expanded by the superposition of LSEx modes rather than TE and TM modes in the mode-matching procedure. Meanwhile, the electromagnetic problem is transferred into the network problem through the mode-matching treatment. It is shown that the present method has the advantages of simplicity and less computation without affecting the accuracy of the calculation.展开更多
In order to study the failure mechanism of backfill and the reasonable matches between backfill and rock mass, and to achieve the object of safe and efficient mining in metal mine, four types of backfills were tested ...In order to study the failure mechanism of backfill and the reasonable matches between backfill and rock mass, and to achieve the object of safe and efficient mining in metal mine, four types of backfills were tested under uniaxial compression loading, with cement?tailing ratios of 0.250:1, 0.125:1, 0.100:1 and 0.083:1, respectively. With the help of the stress?strain curves, the deformation and failure characteristics of different backfills with differing cement?tailing ratios were analyzed. Based on the experimental results, the damage constitutive equations of cemented backfills with four cement?tailing ratios were proposed on the basis of damage mechanics. Moreover, comparative analysis of constitutive model and experimental results were made to verify the reliability of the damage model. In addition, an energy model using catastrophe theory to obtain the instability criteria of system was established to study the interaction between backfill and rock mass, and then the system instability criterion was deduced. The results show that there are different damage characteristics for different backfills, backfills with lower cement?tailing ratio tend to have a lower damage value when stress reaches peak value, and damage more rapidly and more obviously in failure process after peak value of stress; the stiffness and elastic modulus of rock mass with lower strength are more likely to lead to system instability. The results of this work provide a scientific basis for the rational strength design of backfill mine.展开更多
基金supported by the National Natural Science Foundation of China under Grant 62171465。
文摘Many efforts have been devoted to efficient task scheduling in Multi-Unmanned Aerial Vehicle(UAV)edge computing.However,the heterogeneity of UAV computation resource,and the task re-allocating between UAVs have not been fully considered yet.Moreover,most existing works neglect the fact that a task can only be executed on the UAV equipped with its desired service function(SF).In this backdrop,this paper formulates the task scheduling problem as a multi-objective task scheduling problem,which aims at maximizing the task execution success ratio while minimizing the average weighted sum of all tasks’completion time and energy consumption.Optimizing three coupled goals in a realtime manner with the dynamic arrival of tasks hinders us from adopting existing methods,like machine learning-based solutions that require a long training time and tremendous pre-knowledge about the task arrival process,or heuristic-based ones that usually incur a long decision-making time.To tackle this problem in a distributed manner,we establish a matching theory framework,in which three conflicting goals are treated as the preferences of tasks,SFs and UAVs.Then,a Distributed Matching Theory-based Re-allocating(DiMaToRe)algorithm is put forward.We formally proved that a stable matching can be achieved by our proposal.Extensive simulation results show that Di Ma To Re algorithm outperforms benchmark algorithms under diverse parameter settings and has good robustness.
基金supported by the National Natural Science Foundation of China (Grant No.71861015)the Humanities and Social Science Foundation of the Ministry of Education of China (Grant No.18YJA630047)the Distinguished Young Scholar Talent of Jiangxi Province (Grant No.20192BCBL23008).
文摘In this paper,a stable two-sided matching(TSM)method considering the matching intention of agents under a hesitant fuzzy environment is proposed.The method uses a hesitant fuzzy element(HFE)as its basis.First,the HFE preference matrix is transformed into the normalized HFE preference matrix.On this basis,the distance and the projection of the normalized HFEs on positive and negative ideal solutions are calculated.Then,the normalized HFEs are transformed into agent satisfactions.Considering the stable matching constraints,a multiobjective programming model with the objective of maximizing the satisfactions of two-sided agents is constructed.Based on the agent satisfaction matrix,the matching intention matrix of two-sided agents is built.According to the agent satisfaction matrix and matching intention matrix,the comprehensive satisfaction matrix is set up.Furthermore,the multiobjective programming model based on satisfactions is transformed into a multiobjective programming model based on comprehensive satisfactions.Using the G-S algorithm,the multiobjective programming model based on comprehensive satisfactions is solved,and then the best TSM scheme is obtained.Finally,a terminal distribution example is used to verify the feasibility and effectiveness of the proposed method.
基金supported by the National Natural Science Foundation in China(Yue Qi,Project No.71861015).
文摘In previous research on two-sided matching(TSM)decision,agents’preferences were often given in the form of exact values of ordinal numbers and linguistic phrase term sets.Nowdays,the matching agent cannot perform the exact evaluation in the TSM situations due to the great fuzziness of human thought and the complexity of reality.Probability hesitant fuzzy sets,however,have grown in popularity due to their advantages in communicating complex information.Therefore,this paper develops a TSM decision-making approach with multi-attribute probability hesitant fuzzy sets and unknown attribute weight information.The agent attribute weight vector should be obtained by using the maximum deviation method and Hamming distance.The probabilistic hesitancy fuzzy information matrix of each agent is then arranged to determine the comprehensive evaluation of two matching agent sets.The agent satisfaction degree is calculated using the technique for order preference by similarity to ideal solution(TOPSIS).Additionally,the multi-object programming technique is used to establish a TSM method with the objective of maximizing the agent satisfaction of two-sided agents,and the matching schemes are then established by solving the built model.The study concludes by providing a real-world supply-demand scenario to illustrate the effectiveness of the proposed method.The proposed method is more flexible than prior research since it expresses evaluation information using probability hesitating fuzzy sets and can be used in scenarios when attribute weight information is unclear.
文摘Some modifications of two-constant Kubelka-Munk theory has been made for the color matching of pre-colored fiber blends. The scattering coefficients of three primaries are averaged and taken as initial coefficients in each wavelength. The unit sums of concentration in E-Allen’s Algorithm were removed in the case of pre-colored fiber blends. Predicted blend ratios and reflectance curves agree very well with measured ones and color differences are within the tolerant limit, showing satisfactory matching results.
文摘In any group,the project’s members want to create the highest value for the common goal,and how to choose project’s members could be a game.This study investigated the cooperating with education institutions.Analysis of the players’strategic choices and relative outcomes was conducted.The researchers would organize a simple tree model and sort to payoff matrix.The results revealed that the strategy of each player is different finally.There were two strategies for selecting a member-'Choosing Good Friendship player'and'Choosing Good Ability player'.Furthermore,this study also analyzed the influencing factors and stable matching possibility among the factors.
基金supported by the National Key Research and Development Program Under Grant 2016YFB 1200102-04Natural Science Foundation of China under Grant U1334202+3 种基金supported in part by the National S&T Major Project 2016ZX03001021-003the Fundamental Research Funds for the Central Universities under Grant 2016RC056in part by the State Key Laboratory of Rail Traffic Control and Safety,Beijing Jiaotong University,under Contract RCS2017ZT009in part by the China Postdoctoral Science Foundation under Grant 2017M610040
文摘With the rapid deployment of high speed railway(HSR) worldwide,both safety operation and comfort experience can be desired to evolve into a future era of intelligent transportation system.To eliminate boredom and provide entertainment for passengers,an intranet for internal communications among passengers named as onboard social network system(SNS) is needed.In this paper,the latest progress in HSR network architectures and technology building blocks are discussed to enable the implementation of the SNS.Meanwhile,based on the device-to-device(D2 D) communication technology for proximal information interaction,SNS can be efficiently facilitated.A dynamic resource allocation algorithm is proposed to maximize the total utility of the onboard SNS,which is solved with the matching theory method.Simulation results verify the convergence and efficiency of the proposed algorithm.
基金supported by the Natural Science Foundation for Distinguished Young Scholars of Jiangsu Province under Grant No. BK20160034in part by the National Natural Science Foundation of China under Grant No. 61671473 and No. 61631020in part by the Open Research Foundation of Science and Technology on Communication Networks Laboratory
文摘This paper investigates the channel diversity problem in high frequency(HF) communication systems. Due to the limited HF spectrum resources, a HF communication system with shared channels is considered, where each user equipment(UE) has individual communication demand. In order to maximize the communication probability of the whole system, a matching-potential game framework is designed. In detail, the channel diversity problem is decomposed into two sub-problems. One is channel-transmitter matching problem, which can be formulated as a many-to-one matching game. The other is the transmitter allocation problem which decides the transmission object that each transmitter communicates with under channel-transmitter matching result, and this sub-problem can be modeled as a potential game. A multiple round stable matching algorithm(MRSMA) is proposed, which obtains a stable matching result for the first sub-problem, and a distributed BR-based transmitter allocation algorithm(DBRTAA) is designed to reach Nash Equilibrium(NE) of the second sub-problem. Simulation results verify the effectiveness and superiority of the proposed method.
基金Project(2010CB328101) supported by the National Basic Research Program of ChinaProject(2009AA01Z401) supported by the National High Technology Research and Development Program of China+4 种基金Projects(60803032,90818023) supported by the National Natural Science Foundation of ChinaProjects(09510701300,09JC1414200,09DZ1120403) supported by the Shanghai Science and Technology Commission,China"Shu Guang" Project(10SG23) supported by Shanghai Municipal Education Commission and Shanghai Education Development Foundation,ChinaProject(09QA1405800) supported by Shanghai Science and Technology Commission Rising-Star Program,ChinaProject(NCET-10-0598) supported by Program for New Century Excellent Talents in Chinese University
文摘A novel layered method was proposed to solve the problem of Web services composition.In this method,services composition problem was formally transformed into the optimal matching problem of every layer,then optimal matching problem was modeled based on the hypergraph theory,and solved by computing the minimal transversals of the hypergraph.Meanwhile,two optimization algorithms were designed to discard some useless states at the intermediary steps of the composition algorithm.The effectiveness of the composition method was tested by a set of experiments,in addition,an example regarding the travel services composition was also given.The experimental results show that this method not only can automatically generate composition tree whose leaf nodes correspond to services composition solutions,but also has better performance on execution time and solution quality by adopting two proposed optimization algorithms.
文摘Due to its importance in security, syntax analysis has found usage in many high-level programming languages. The Lisp language has its share of operations for evaluating regular expressions, but native parsing of Lisp code in this way is unsupported. Matching on lists requires a significantly more complicated model, with a different programmatic approach than that of string matching. This work presents a new automata-based approach centered on a set of functions and macros for identifying sequences of Lisp S-expressions using finite tree automata. The objective is to test that a given list is an element of a given tree language. We use a macro that takes a grammar and generates a function that reads off the leaves of a tree and tries to parse them as a string in a context-free language. The experimental results indicate that this approach is a viable tool for parsing Lisp lists and expressions in the abstract interpretation
文摘The E-plane waveguide branch directional couplers are analyzed by a method which combines the multimode network theory with rigorous mode-matching approach. The electromagnetic field components are expanded by the superposition of LSEx modes rather than TE and TM modes in the mode-matching procedure. Meanwhile, the electromagnetic problem is transferred into the network problem through the mode-matching treatment. It is shown that the present method has the advantages of simplicity and less computation without affecting the accuracy of the calculation.
基金Projects(2013BAB02B05,2012BAB08B01)supported by the National Science and Technology Support Program of ChinaProject(2013JSJJ029)supported by the Teacher Foundation of Central South University,ChinaProject(51074177)supported by the Joint Funding of National Natural Science Foundation and Shanghai Baosteel Group Corporation,China
文摘In order to study the failure mechanism of backfill and the reasonable matches between backfill and rock mass, and to achieve the object of safe and efficient mining in metal mine, four types of backfills were tested under uniaxial compression loading, with cement?tailing ratios of 0.250:1, 0.125:1, 0.100:1 and 0.083:1, respectively. With the help of the stress?strain curves, the deformation and failure characteristics of different backfills with differing cement?tailing ratios were analyzed. Based on the experimental results, the damage constitutive equations of cemented backfills with four cement?tailing ratios were proposed on the basis of damage mechanics. Moreover, comparative analysis of constitutive model and experimental results were made to verify the reliability of the damage model. In addition, an energy model using catastrophe theory to obtain the instability criteria of system was established to study the interaction between backfill and rock mass, and then the system instability criterion was deduced. The results show that there are different damage characteristics for different backfills, backfills with lower cement?tailing ratio tend to have a lower damage value when stress reaches peak value, and damage more rapidly and more obviously in failure process after peak value of stress; the stiffness and elastic modulus of rock mass with lower strength are more likely to lead to system instability. The results of this work provide a scientific basis for the rational strength design of backfill mine.