Two-Sided Stable Matching Decision-Making Method Considering Matching Intention under a Hesitant Fuzzy Environment

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.

Two-Sided Matching Decision Making with Multi-Attribute Probabilistic Hesitant Fuzzy Sets

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.

The Aviation Technology Two-Sided Matching with the Expected Time Based on the Probabilistic Linguistic Preference Relations

The two-sided matching has been widely applied to the decision-making problems in the field of management.With the limited working experience,the two-sided agents usually cannot provide the preference order directly for the opposite agent,but rather to provide the preference relations in the form of linguistic information.The preference relations based on probabilistic linguistic term sets(PLTSs)not only allowagents to provide the evaluation with multiple linguistic terms,but also present the different preference degrees for linguistic terms.Considering the diversities of the agents,they may provide their preference relations in the form of the probabilistic linguistic preference relation(PLPR)or the probabilistic linguistic multiplicative preference relation(PLMPR).For two-sided matching with the expected time,we first provide the concept of the time satisfaction degree(TSD).Then,we transform the preference relations in different forms into the unified preference relations(u-PRs).The consistency index to measure the consistency of u-PRs is introduced.Besides,the acceptable consistent u-PRs are constructed,and an algorithm is proposed to modify the unacceptable consistent u-PRs.Furthermore,we present the whole two-sided matching decisionmaking process with the acceptable consistent u-PRs.Finally,a case about aviation technology suppliers and demanders matching is presented to exhibit the rationality and practicality of the proposed method.Some analyses and discussions are provided to further demonstrate the feasibility and effectiveness of the proposed method.

一种具有序值信息的双边匹配决策方法

针对具有序值信息的双边匹配决策问题,提出了一种新方法.首先,给出了具有序值信息的双边匹配决策问题的描述;其次,给出了稳定双边匹配和满意双边匹配的相关概念及判断方法,在此基础上,对双边匹配进行了分类;然后,以匹配主体对之间的序值总和最小及中介收益最大为目标,构建了多目标优化模型,使用线性加权方法将多目标优化模型转换为单目标线性规划模型进行求解来获得匹配方案,并进一步说明了该匹配方案的类型.最后,通过一个算例说明了该方法的可行性和有效性.

时序电路等价验证的触发器匹配

通常的时序电路等价性验证方法是将触发器按时序展开,从而将时序电路转化为组合电路进行验证。而一般在待验证的两个时序电路中,触发器是一一对应的,找到触发器的对应关系,时序电路的验证就会得到很大的简化。该文通过一种新的基于布尔可满足性(SAT)算法的自动测试模式生成(ATPG)匹配模型建立联接电路,使用时序帧展开传递算法比较触发器的帧时序状态输出,同时在SAT解算中加入信息学习继承等启发式算法,将时序电路的触发器一一匹配。在ISCAS89电路上的实验结果表明,该文算法在对触发器的匹配问题上是非常有效的。

一种基于图匹配的求解可满足性问题的算法

信息传播算法求解可满足性问题时具有良好的有效性,能使难解区域变窄。在信息传播算法的设计中,是将变量的联合概率分布分解为变量子集上的局部函数的乘积形式。称局部函数为因子(factor),每一个因子依赖于一个变量子集,将变量联合分布的这一因子形式表示为图模型——因子图(factor graph)。信息传播算法是通过因子图上的边传递概率消息,这种消息传递有两种方式:变量结点传递给因子结点的消息和因子结点传递给变量结点的消息。从每个结点传出的消息由传入该结点的消息决定,通过某种迭代策略对消息进行更新。当这种消息迭代过程收敛到某一固定点时,利用某种规则(如,最小熵、最大积、最大匹配)对问题进行求解。本文提出一种利用最大匹配规则求解因子图上的信息传播算法的收敛性及算法迭代步数的上界估计方法,根据对算法的收敛性分析,在对问题解的精确性影响不大的前提下,仅需要给出算法合理的迭代步数或者强迫算法终止,使得算法提前结束,有助于求解可满足性问题算法性能的更进一步优化。

Wave Interaction with a Partially Reflecting Vertical Wall Protected by a Submerged Porous Bar

This study gives an analytical solution for wave interaction with a partially reflecting vertical wall protected by a submerged porous bar based on linear potential theory. The whole study domain is divided into multiple sub-regions in relation to the structures. The velocity potential in each sub-region is written as a series solution by the separation of variables. A partially reflecting boundary condition is used to describe the partial reflection of a vertical wall. Unknown expansion coefficients in the series solutions are determined by matching velocity potentials among different sub-regions. The analytical solution is verified by an independently developed multi-domain boundary element method(BEM) solution and experimental data. The wave run-up and wave force on the partially reflecting vertical wall are estimated and examined, which can be effectively reduced by the submerged porous bar. The horizontal space between the vertical wall and the submerged porous bar is a key factor, which affects the sheltering function of the porous bar. The wave resonance between the porous bar and the vertical wall may disappear when the vertical wall has a low reflection coefficient. The present analytical solution may be used to determine the optimum parameters of structures at a preliminary engineering design stage.

考虑稳定匹配条件的双边满意匹配决策方法

双边匹配问题是指如何在两个不相交的主体集合中依据各主体针对潜在匹配对象给出的偏好信息来确定合适的匹配结果,其在经济管理领域中存在着大量的实际背景,是许多学者关注的研究课题。在本文中,针对双边主体给出偏好序值信息的双边匹配问题,给出了一种考虑稳定匹配条件的双边满意匹配决策方法。首先给出了双边匹配、稳定匹配和满意匹配的相关概念;然后考虑到稳定匹配条件,并以双边主体满意度最大为目标,构建了多目标双边匹配优化模型;进一步地,采用线性加权法将多目标优化模型转换为单目标优化模型,并通过求解优化模型来获得最优匹配结果。最后,通过一个算例说明了本文提出方法的实用性和有效性。

考虑偏好序的多满意稳定导向双边匹配决策方法

针对考虑偏好序的多满意稳定导向双边匹配决策问题,提出了一种新的决策分析方法.首先,给出了双边匹配方案、稳定双边匹配方案、弱稳定双边匹配方案和α-稳定双边匹配方案的相关定义.然后,考虑双边匹配主体给出的强偏好序、弱偏好序、无差异偏好序和未知偏好序信息,分别计算了双边匹配主体的满意度.进一步地,分别构建满意、弱满意稳定、α-满意稳定和满意稳定等四种决策导向的优化模型.通过运用求解模型的变步长算法,可以获得相应的最优匹配方案.最后,给出一个算例,证明所提方法的有效性和可行性.

基于TODIM的直觉模糊双边公平满意匹配方法

针对直觉模糊偏好信息下的双边匹配问题,考虑匹配主体参照依赖和损失规避的心理行为,提出一种基于TODIM(TOmada de decis?o interativa multicritério)的双边公平满意匹配方法.首先,对直觉模糊偏好信息下的双边匹配问题进行描述;然后,依据前景理论将双边主体的直觉模糊偏好信息转化为相对于参照点的收益或损失,在此基础上,依据TODIM法计算每个主体的总体优势度,构建满意度计算规则,建立双边公平满意匹配优化模型,求解模型并获得双边匹配解;最后,通过一个算例验证所提出方法的可行性和有效性.

基于语言偏好信息的满意公平稳定双边匹配方法

针对语言偏好信息下的双边匹配问题,提出一种考虑匹配满意性、公平性和稳定性的双边匹配方法.首先,通过构造匹配满意度计算规则,将双边主体的语言偏好信息转化为匹配满意度;然后,给出满意匹配、公平匹配和稳定匹配的定义,在此基础上,考虑稳定匹配约束条件,建立双边匹配多目标优化模型,采用理想点法将多目标优化模型转化为单目标规划模型进行求解;最后,通过一个算例验证了提出方法的可行性和有效性.

THE STRUCTURE OF WEAK INVERSES OF A FINITE AUTOMATON WITH BOUNDED ERROR PROPAGATION

Definition. Let M=〈X,Y,S,δ,λ〉and M’=〈Y,X,S’,δ’,λ〉be two finite automata.For any s in S and s’ in S’, if for any x0,x1,… in X there exist x-τ,…, x-1 in X such that λ’（s’, λ（s, x0x1…））=xτ…x1x0x1… holds, and if for any l≥n≥0, and x0,…,x1 in X and any y’0,…,Y’n-1, y0, y1,…,y1 in Y, y0…y1=λ（s, x0…x1）

新时代下高职院校高质量就业工作探究——以湖北科技职业学院为例

实现更高质量和更充分就业是十九大提出的就业新方略,将就业质量摆在就业工作目标的优先位置,即就业质量是就业工作解决的首要命题,彰显一种新的就业观。本文以湖北科技职业学院为例,从当前毕业生就业现状切入,分析影响就业质量的关键因素,提出品质就业工作理念,按照"四个就业"标准开展工作,实现就业工作转型,实现毕业生高质量就业。

Volunteer rescue dispatch during the Coronavirus Disease 2019 epidemic:Using the recruitment of volunteers for pneumonia epidemic prevention and control in Chun’an County as an example

To solve the problem of volunteer dispatch during the Coronavirus Disease 2019(COVID-19)epidemic,a many-to-many two-sided matching volunteer dispatch method based on an improved predator-search algorithm is pro-posed.First,different evaluation index sets for volunteers and rescue tasks were developed,and weightings were determined using the analytic hierarchy process.Subsequently,the actual and expected values of the different indicators of the two parties were determined,and the triangular fuzzy number was used to calculate the satis-faction of the two parties.Based on this number,we used a linear weighting method to calculate the combined satisfaction and build a many-to-many two-sided matching model according to the demands of both parties.Sub-sequently,an improved predator-search algorithm was used to solve the model.Finally,taking the recruitment of volunteers for pneumonia epidemic prevention and control in Chun’an County as an example,the method proposed in our study was verified.A comparison and analysis of the results further demonstrated the feasibility and advantages of this method.

Charged analogue of well behaved neutral spheres:an algorithmic approach

We establish a systematic algorithmic approach that generates new classes of solutions to the EinsteinMaxwell system in static spherically symmetric spacetime from well known uncharged solutions. A particular case is shown to satisfy all major physical features of a realistic charged star including the standard point-wise energy conditions of normal matter. The solution matches smoothly with the exterior Reissner-Nordstr¨om metric at the pressure free interface. The study, which is reported for a particular choice of gravitational potential, encourages similar approaches to study electrification of well known physically realistic uncharged models.