Service Station Evaluation Problem in Catering Service of High-Speed Railway: A Fuzzy QFD Approach Based on Evidence Theory

Catering Service of High-Speed Railway (CSHR) starts at suppliers, includes distribution centers and service stations in cities, and ends at cabinets in high-speed trains. In Distribution System Design (DSD) Problem for CSHR, it is critical to evaluate the alternatives of service stations, which is termed as Service Station Evaluation Problem in Catering Service of High-speed Railway (SSEP-CSHR).As a preparationwork forDSD, SSEP-CSHRneeds to be solvedwithout detailed information and being accompanied with uncertainty. Fuzzy Quality Function Deployment (F-QFD) has been given in the literatures to deal with vagueness in Facility Location Evaluation (FLE). However, SSEP-CSHR that includes identifying and evaluating stations requires not only dealing with the vague nature of assessments but also confirming them. Based on evidence theory, this paper introduces the framework to give the truth of proposition “x isA.”Then it is incorporated into a two-phase F-QFDwith an approximate reasoning to enable the truth of the decisions to be measured. A case study that refers to 85 alternative stations on Chinese high-speed railway will be carried out to verify the proposed method. Analysis shows that the proposed evaluation method enhances scientific credibility of FLE and allows decision makers to express how much is known.


Introduction
In China, the significance of Catering Service of High-Speed Railway (CSHR) has emerged with the rapid development of high-speed passenger rail line's construction.The process of the service starts at suppliers, includes distribution centers and service stations in various cities, and ends at cabinets in high-speed trains (see Figure 1).Service stations, that is, places to catering foods, play an essential role as link-ups between suppliers and trains in food distribution system.The performance of each station for catering is extremely important for CSHR to maintain a continuous supply and rapid distribution.Hence for a new institute to establish a distribution system to support CSHR, it is an inevitable decision to evaluate alternative sites of service station as a preliminary work for other further decisions in CSHR.Service station Evaluation Problem (SSEP-CSHR) thus becomes a critical issue in CSHR.
The evaluation of alternative locations is a Multi-Criteria Decision-Making (MCDM) problem referring to qualitative criteria.Under this situation, the values referred in MCDM are often imprecisely defined for the decision-makers.So a fuzzy perspective is adopted naturally in related literatures to deal with above uncertainty.Kuo et al. [1] develop a decision support system in basis of Fuzzy Analytic Hierarchy Process (F-AHP) to assess new stores.Chen [2] proposes a MCDM approach to solve a distribution center evaluation problem under fuzzy environment.Kahraman et al. [3] solve Facility Location Evaluation (FLE) problem by four different fuzzy group decision-making methods, including a fuzzy model proposed by Blin [4], fuzzy synthetic evaluation, weighted goals method [5], and Extent Analysis by Chang [6].Kulak et al. [7] develop an MCDM based on axiomatic design and Analytic Hierarchy Process (AHP) to select transportation companies.Guo [8] proposes a Fuzzy Data Envelopment Analysis (F-DEA) model for a case involving a new restaurant location.Like other MCDM problems, SSEP-CSHR is also required to be done without detailed information and thus is always accompanied with different types of uncertainty.
Service stations in CSHR are also required to satisfy some Basic Requirements, for example, accessibility to trains and, meanwhile, enough time for catering food.Quality Function Deployment (QFD) is one of coherent systems widely used to translate Basic Requirements into actionable alternatives [9].A typical QFD contains info about "WHATs" and "HOWs," the relations between "WHATs" and "HOWs," and the correlations between "WHATs"/"HOWs" themselves.All above information can be presented by Houses of Quality (HOQ) [10].
Jamalnia et al. [11] have attempted to develop a Fuzzy Quality Function Deployment (F-QFD) approach for FLE.they proposed some facility locations requirements and then use alternative location to realize them.It follows that F-QFD methodology is capable of solving SSEP-CSHR as a special case of FLE problems.But one of challenges that FLE-F-QFD is encountering when it is utilized in SSEP-CSHR is accountability.Because expensive cost will be spent if a decision-maker plans to establish a cold chain for CSHR and SSEP-CSHR that involves identifying, evaluating alternative service stations requires not only handling the vague nature of assessments but also confirming them, that is, professing what decision makers do know and what they do not know [12]; It means that decision makers lead the truth of the outputs to be measured.Furthermore CSHR is a new field in logistic management, experts are far from having general agreement about the importance of certain Basic Requirements.So the results provided by FLE-F-QFD are indispensable to be crosschecked through various experts to ensure its credibility.
It leads to some important problems in related studies about uncertainty management in F-QFD.Kim et al. [13] conclude the uncertainty in QFD mainly arising from the following sources, Fuzziness, Fluctuation, and Heterogeneity.
(1) Fuzziness accounts for the imprecise nature or vagueness of the linguistic terms used in QFD.In fact, QFD teams usually do not have sufficient knowledge about the values taken in a HOQ due to the lack of clarity.It makes the application of fuzzy sets theory in QFD (i.e., F-QFD) significant in many problems; fuzzy sets are used to describe natural language-based criteria.F-QFD is one of extended version of typical QFD approaches, which have been widely used in many field [11,[14][15][16][17][18][19][20].In F-QFD, (Fuzzy) AHP approaches [6,[21][22][23][24][25] are always used to generate the inputs.
(2) Fluctuation is associated with the change of Basic Requirements over time.SSEP-CSHR is placed on the early stage of SCD problem, so the Fluctuation of the requirements is inevitable.The framework of Robust QFD was presented by Kim et al. [13,26] to accommodate this uncertainty and to prevent QFD teams obtaining misleading outputs.
(3) Heterogeneity comes from the different viewpoints of multiple experts.Hence it is required to justify the outputs obtained by a QFD team by other experts' opinions.
To achieve justifications to cope with the Heterogeneity, evidences from questionnaires must be referred to.Evidences from questionnaires are generally related to the occurrence of deterministic or stochastic events and treat crisp values or probability distributions as their paradigm.However sometimes the evidences involve nonrandom events, such as "an estimated strength of one passenger demand," and thus are biased by perception or even guess [12].SSEP-CSHR apparently refers to subjective experience or uncertain considerations.In this case, evidences are represented by possibility distributions, or mixed evidences consist of both probability and possibility distribution.In regard to the above-mentioned status, FLE-F-QFD should be improved to adapt above complicated evidences in order to solve SSEP-CSHR.
Recently, great advances have been made in the field of evidence theory.Then complicated empirical evidence is utilized to confirm propositions " is A" in evidence theory.Various types of proofs are thus defined by the way of an evidence  proving its membership in any set A [27].The objective of this paper is to introduce evidence theory to make an approximating reasoning possible in a modified QFD to dampen the effects of both Fuzziness and Heterogeneity.
Figure 2 concludes the relations among application background, motivations, existing versions of QFD, and our proposed method.In the paper, we firstly present the essence of evidence theory including its concepts and formulas to measure the truth of " is A." Meanwhile we propose two measures which will be used in our modified F-DFD.Further two-phase F-QFD is introduced.Based on the two-phase F-QFD method, we devote ourselves to incorporate evidence theory into SSEP-CSHR by a procedure of approximate reasoning and form an effective approach to determine alternatives in CSHR with respect to certain qualitative criteria.This paper is organized as follows.In Section 2, a framework for determining the truth of " is A" in basis of evidence theory is introduced.In Section 3.2, a two-phase F-QFD methodology will be described briefly and in Section 3.2 HOQs in the context of SSEP-CSHR will be discussed in detail.Further, in Section 3.3, a procedure of approximate reasoning based on evidence theory is incorporated into FLE-F-QFD for SSEP-CSHR.In Section 4, a case study in the context of CSHR will be done to verify our methodology.The analysis shows that the proposed method enhances scientific credibility of FLE-F-QFD in CSHR and allows decision makers to express how much is known.Figure 3 illustrates the precedence relationship between our sections.

Framework for Determining the Truth of (𝑥
Is A) Based on Evidence Theory  A is represented by fuzzy sets.Truth of a proposition is evaluated by the degree of  supporting A.

Set
A in " Is A".The predicate A is a description of a situation and is treated as either crisp or fuzzy sets.
A membership function is a graphical expression about decision makers' opinions.For example, a group of decision makers is asked to express "the strength degree of the relation between CP and PT" by fuzzy scores.Each decision maker draws two lines on an - graph to describe the feeling about the strength, -axis being the score, and -axis being the membership level between 0 and 1 (like a triangle or a trapezoid).As shown in Figure 4(a), two lines will both start from  = 1 at  = 5, which means that "the strength of the relation between CP and PT is 5" is with the most certainty, and end at two points, respectively, on left and right side of score 5, where the scores are totally uncertain for the decision maker (thus  = 0 at the points).Many similar lines are drawn by different decision makers and a membership function can be obtained by combining them as shown in Figure 4(a).In Figure 4(b), we take  = 5; -cuts of the fuzzy set are used to fit the depicted membership function.The larger the parameter  is, the better the -cuts fit the function.

Evidence about 𝑥.
Let a universal set be U.The family of all subsets of a given set A is called the power set of A, and it is denoted by P(A).The following function is called basic probability assignment of evidences: such that (⌀) = 0 and Every set A in P(U) for which (A) > 0 is usually named a focal element of  that is a subset of U on which the available evidence focuses.The pair (F, ) is termed as a body of evidence (BOE), where F denotes a set of focal elements and  denotes the associated basic assignment.Moreover, because  can be fully characterized by a list of focal elements F = {f 1 , f 2 , . . ., f  }; therefore in the paper F is used instead of (F, ) for short [27].
According to the properties of a BOE, the evidence about  is divided into three types.
(1) Conflicting Evidence (C-BOE).The BOE represents a random situation that each focal element is conflicting with one another, that is, for each  ̸ =  ∈ {1, 2, . . ., }: Each event yields a piece of evidence pointing to distinct focal elements.Based on the frequency at which pieces of evidence focuse on each focal element, a probability distribution is developed.
(2) Nested Evidence (N-BOE).In this type of BOE, pieces of evidence point to a range of nested sets.Nested sets indicate the focal elements in F which can be sorted as follows: This is a situation that one faces in the data that describes estimated quantities.The distribution of this type is termed the possibility distribution.
(3) Mixed Evidence (M-BOE).This type is a generalization of C-BOE and N-BOE.In this case, some pieces of evidence point to sets that are nested and some to mutually exclusive sets.
A further question is how to develop the BOEs in SSEP-CSHR context.For example, a statement proposed by decision makers is "Cost performance (CP) is important."How do we generate a BOE to support the statement?A C-BOE is often developed by choice questions with mutually exclusive options in questionnaires.Each interviewee is asked to select only one option from options.The accumulative frequency of each option gives a probability distribution.For example, in Figure 5(d) each interviewee is asked to select a score from the set {1, 2, 3, 4, 5, 6, 7, 8}.
An approach to develop N-BOE or M-BOE is to ask each interviewee to indicate the range of her agreeable score, and the enquirer draws a horizontal line corresponding to the range, and finally stacks the responses.If  people are asked during our survey, the height of one horizontal line is 1/.If a representation of the set of opinions is in general agreement, the evidence can be viewed as a possibility distribution (i.e., N-BOE) [12].The differences among the opinions are only boundaries of the agreeable ranges.For instance, in Figure 5(e), we assume an "ideal" score ranging from 4 to 4.7 exists, which every interviewee agrees on, and interviewees give their acceptable closeness to the "ideal" score range.Sometimes evidences from questionnaires are without any general agreement.Then the evidence is an M-BOE.As shown in Figure 5(f), M-BOE needs no requirements of an "ideal" score range, so M-BOE can be used to describe the opinions without any consensus.Owing to info deficiency during solving SSEP-CSHR, sometimes SSEP-CSHR is required to deal with M-BOE.

Measuring the Truth of "𝑥 Is A". How BOE and set A are combined dictates the framework for determining the truth of "𝑥 is A."
Given a fuzzy set Ã() and a BOE (F, ) on U, where F = {f 1 , . . ., f  }, a framework to determine the truth of " is A" is based on two dual measures: Belief (Bel) and Plausibility (Pl) as follows: In ( 7) and ( 8),  is the number of -cuts considered in [0, 1];  {} is a Boolean function.
While, for every  ∈ {1, 2, . . ., }, (f  ) characterizes the frequency of pieces of evidence focusing on exactly focal elements f  alone, equation (7) represents the total evidence that each focal element belongs to every -cut of the fuzzy set.Equation (8) represents not only the evidence that each focal element belongs to every -cut, but also the additional evidence associating with the focal element overlapping every -cut.Hence, the Bel is a conservative measure and the Pl is an optimistic one.Then the truth of " is A" can be defined by following weighted summation: Based on the above discussion, the types of BOE are divided into C-BOE, N-BOE, and M-BOE.The types of set for A that we are mainly concerned with are the crisp set and the fuzzy set.Hence there are six cases of the proposition, " is A," corresponding to the combination of the type of BOE and the type of set A. We give an illustrative example to illustrate the two measures.
To sum up, Figure 7 depicts different frameworks corresponding to different cases (Cases 1-6).Firstly, Figure 7 displays that Cases 1-2 are traditionally expressed based on probability theory, while possibility theory is used to deal with Cases 3-4; secondly, Cases 1-4 are special cases of Cases 5-6, in that M-BOE is a mix of C-BOE and N-BOE.Evidence theory is a generalized form to measure the truth of " is A" which suits for Cases 1-6 all [27].

An Integration of Evidence Theory and SSEP-CSHR
3.1.The Two-Phase F-QFD.In practice, series of HOQs can be integrated into a multiphase QFD.Each phase is closely correlated in a multiphase QFD since the inputs of one phase needs to apply the outputs of the previous phase [17,18].In the paper, we focused on QFD whose procedure has been thoroughly described by Mazur [10].This approach consists of solving some successive HOQs.Among these HOQs, two HOQs named as Quality Deployment (QD) and Functional Deployment (FD) which is of the most essential are applied here to develop our MCDM model for SSEP-CSHR.
Quality Deployment (QD).It translates some Basic Requirements to certain quality attributes.

Functional Deployment (FD).
It realized the quality attributes by specific alternatives.
At the beginning of the process, Demanded Qualities (DQs) have to be identified.The elements are gathered from surveys or experts' interviews.They are "WHATs" in QD phase: We determine the fuzzy importance ratings of DQs (L 1 ).The fuzzy importance ratings are usually obtained by subjective method discussed in Section 2.2.F-AHP, for example, Extent Analysis (EA) or Lambda-Max Method (LMM) can also be used to capture the fuzzy ratings [6,25]: DQs are translated into "Quality Attributes" (QAs).QAs (L 2 ) are assessment criteria that are related to the accomplishment of above DQs.Then QAs are "HOWs" in QD phase.And QFD team then generates the QAs as follows: Similarly, some Functional Techniques (FTs) (L 3 ), that is, our alternatives to realize above QAs, are further defined by panel of experts.Here QAs are "WHATs" for FD and FTs are "HOWs" for FD: The core elements of F-QFD are "relationships matrices" in QD and FD, respectively: (1) The relationship matrix between DQs (L 1 ) and QAs (L 2 ) to express how a quality attribute to meet a requirement; (2) The relationship matrix between QAs (L 2 ) and FTs (L 3 ) to express how an alternative to realize an attribute; (3) The correlation matrix between DQs (L 1 ), QAs (L 2 ), and FTs (L 3 ) themselves.
To sum up, Table 2 defines all fuzzified inputs and outputs in the two-phase F-QFD.
All inputs and outputs are described by linguistic terms and defined as the fuzzy sets.A fuzzy set is fully and uniquely represented by its -cuts (see Table 3).
Chen and Ko [17,18] gave a formulation to implement multiphase F-QFD.Wang et al. [20,28] have demonstrated that the method is not proper and provided a set of nonlinear programming (NLP) models to do F-QFD.
Let Ã and B be two fuzzy numbers; operations on two fuzzy numbers are defined as Let * denote any of the four basic arithmetic operations.A  * B  follows arithmetic operations on closed intervals [27].Then based on Chen et al. [17,18], and Wang and Chin [20], an algorithm to solve the two-phase F-QFD is introduced.x x (e) N-BOE + fuzzy set: using ( 7) and ( 8) (f) N-BOE + fuzzy set: using (9) Figure 6: Continued.

Outputs
Descriptions WL 2

𝑖
The fuzzy important ratings of   where  = 1, 2, . . .,  3 Table 3: The -cuts of the fuzzy sets in the two-phase F-QFD.

Notations
Descriptions The -cuts of fuzzy important ratings The -cuts of fuzzy relationship The -cuts of fuzzy relationship The -cuts of fuzzy correlations The -cuts of fuzzy correlation The -cuts of fuzzy correlation The -cuts of fuzzy important ratings The -cuts of fuzzy important ratings WL 3

𝑖𝛼
Algorithm 3 (the algorithm to implement the two-phase F-QFD).Consider the following.
Step 1. Set -cuts of the fuzzy set equal to 1/, . .., and 1 respectively. is the number of -cut in [0, 1].Then the fuzzy importance ratings of FTs are obtained by following substeps.
Step 1.2.The fuzzy correlations between L  can be normalized by formula: The formula can be achieved by the following Nonlinear Programming (NLP) models.
For all  ∈ {1, 2, . . .,   },  ∈ [0, 1], determine interval [( Step 1.3.Furthermore, the fuzzy relationship between L  and L +1 can be defined by Then we calculate the importance rating of L +1 as the fuzzy weighted average of the normalized fuzzy relationships: The above two formulas can be achieved by following NLP models.
Step 2. Fuzzy importance rating can be ranked by different methods.In the paper, the fuzzy importance ratings are compared with each other by method developed in Wang [29]: ( Step 3. END Based on the method proposed in Wang and Chin [20], Models 1 and 2 can be linearized and solved optimally.

Service Station Evaluation Problem for CSHR. SSEP-
CSHR is based on a reinterpretation of above two-phase F-QFD.In SSEP-CSHR, DQs in terms of Basic Requirements (L 1 ) are translated into QAs in terms of Assessment Criteria (L 2 ).And then service stations (L 3 ), that is, specific alternatives to realize above Assessment Criteria, are served as FTs. Figure 8 gives the corresponding relationship between the two-phase F-QFD and SSEP-CSHR.
Basic Requirements (L 1 ) in SSEP-CSHR are comprised of two aspects of requirements: Firstly, it contains some requirements used in FLE-F-QFD.These demands have been extensively described by the literatures about facility location and supply chain management [11,19].Moreover, it involves some distinct requirements because of special CSHR background.For the sake of clarity, all those requirements are shown in Table 4.
Basic Requirements (L 1 ) are some requirements described by broad nature language.However, the set of Assessment Criteria (L 2 ) usually use more specific descriptions.Similarly Assessment Criteria (L 2 ) also consist of two parts: some criteria that are derived from relevant literatures [11,19] and other ones that are gathered from experts' comments under certain background.All the criteria are presented in Table 5.
By solving the steps of the two-phase F-QFD (Algorithm 3), the importance ratings of alternative Service stations satisfying above requirements and criteria can be determined.Figure 9 provides the basic structure of two essential HOQs (QD and FD) used in SSEP-CSHR.

An Approximate Reasoning Procedure in SSEP-CSHR.
Approximate reasoning is related to the appropriate processing of uncertain knowledge, given in a rule based manner.Deductive inference can be performed by means of classical logic modus ponens (MP).For using linguistic variables expressed fuzzy sets, a generalized MP has been proposed by Zadeh [30].It enables an approximate deductive reasoning with the following general scheme: Let us proceed one step further and provide a generalization of the two-phase F-QFD based on the generalized MP.We find that the situation of "WHATs" in QD and "HOWs" in FD can all be described by propositions " is A." The fundamental idea in our paper is to obtain the truth of the propositions about Basic Requirements by evidence theory to infer the truth of the propositions about service stations by implication "if  is A, then  is B."

Quality deployment (QD)
Functional deployment Service stations Figure 9: Basic structure of HOQs for SSEP-CSHR.

Mathematical Problems in Engineering 13
The methods to generate the evidences  and the linguistic terms of predicates in SSEP-CSHR are analyzed in Section 3.3.1.In Section 3.3.2, the expression of an if-then production rules and a general scheme of a multiconditional approximate reasoning in SSEP-CSHR are discussed.(1) Propositions about Basic Requirements L 1 .Column vector WL 1  in Figure 9 in QD shows the importance ratings of each   , that is, the following.

Methods to Generate Evidence and Predicates
Proposition 4 can be truth-qualified by a canonical form " is A is T," where  is a truth qualifier represented by crisp values.We should do the following analysis on truth-qualified proposition " is A is " [27] to capture the truth of " is A." Algorithm 5 (the Algorithm to capture the truth of " is A").

Consider the following
Step 1.The evidences about   (that might be C-BOE, N-BOE, or M-BOE) are collected from many experts by questionnaires (the method to generate BOE has been discussed in Section 2.3).
For each  ∈ {1, 2, . . .,  1 }, a list of focal elements with basic probability distribution is then generated from the questionnaires (the list of focal elements is expressed by Step 2. The predicates in Proposition 4 are the same as the fuzzy importance ratings of L 1 obtained by the two-phase F-QFD (see Algorithm 3 Step 2).
Step 3. Then the truth of Proposition 4 is calculated by the following formulas: where (F Step 4. End.
Table 6 shows the steps to analyze a truth-qualified proposition.
"'Construction Cost is important' is true": (i) The predicate "important" is given by a fuzzy set WL 2
(ii) The evidences about  are generated from questionnaires (see Column 1).
(iii) The predicate "true" is expressed by a crisp number on (F (2) Propositions about Service Stations (L 3 ).Row vector WL 2
Here an approximate reasoning is demanded to infer the truth of Proposition 6 based on the truth of Proposition 4 (see Section 3.3.2).

Evidence-Based Inference Scheme in SSEP-CSHR.
The evidence-based inference schema of multiconditional approximate reasoning in the two-phase F-QFD has the following form: Above inference schema developed to infer the truth of Proposition 6 consists of the following parts: (1) The IF part of a rule consists of (i) some expressions (Proposition 4) linked by AND, and (ii) the fuzzy sets expressing the importance of the Basic Requirements in Rule , for example: is the predicates describing the situation of   by Rule ,

By organizing questionnaires from experts
By estimation from QFD team (see Algorithm 3) By (10) in evidence theory

Analysis step
Step 1 in Algorithm 5 Step 2 in Algorithm 5 Step 3 in Algorithm 5 (2) the THEN part of a rule consists of (i) some expressions linked by AND, and (ii) the fuzzy sets corresponding to the importance of the service stations in Rule , for example, is the predicates describing the situation of   by Rule , (3) given  if -then rule, rules 1 though , and Facts, Conclusions will be obtained, is the evidences (BOE) describing the score range of   obtained by questionnaires, WL 3   is a new predicate for   , which is modified by the truth of Proposition 6.
Figure 10 explicates the corresponding relationship between SSEP-CSHR and the above reasoning.
The most common way to determine conclusions in the above reasoning is referred to as a method of interpolation [27].The interpolation method is actually a special case of the max-min compositional rule of inference that uses operations: (1) intersection operation: minimization; (2) implication operation: minimization; (3) aggregations operation: maximization.
Based on the operations, we propose an algorithm as follows.
Algorithm 7 (the Algorithm to do approximate reasoning in SSEP-CSHR).Consider the following.
Step 1. Use Algorithm 3 to implement the two-phrase F-QFD in SSEP-CSHR.
Step 4. Calculate the degree of truth between the given facts and the antecedent of each if-then rule  in terms of the fuzzy intersection operation: Step 5.By implication and aggregation operations above, we can calculate the Conclusions.That is, for all  ∈ U.
Step 6. End.An self-explanatory example of above approximate reasoning for two if-then rules with two Basic Requirements ( 1 ,  2 ) and a service station ( 1 ) is given in Figure 11.In Figure 11 the fuzzy set, crisp set, and evidences about both  1 and  2 (a M-BOE and a N-BOE) have all been discussed in Section 2.4.
The general steps of our integrated approach for SSEP-CSHR are summarized in Figure 13.
It is noted that not only Proposition 4 but also any other propositions (of course containing the relation propositions abstract from Relation Matrices and Correlation Matrices in Figure 9) might serve as "cause" to affect the predicates of Proposition 6.However, in the above approximate reasoning we did not consider these "causes" for the following two reasons: Firstly, adding more "causes" did not influence the basic schema of above evidence-based reasoning.Secondly, the relationship between a "WHAT" and a "HOW" and the correlations of "WHATs" and "HOWs" are usually more "objective" (and thus truer) than the importance ratings of "WHATs."It means that the corresponding propositions of them are usually accompanied with higher truth value.If T 1 = 0.2 standard fuzzy operations are used (as in Algorithm 7), these propositions only have little impact on the predicates of Conclusions.

Model Implementation
In this section, the integrated evidence theory and F-QFD for SSEP-CSHR will be applied to a practical case study, which refers to 85 alternative service stations on Chinese high-speed rail network.The set of service stations (L 3 ) is generated based on the real timetables of high-speed trains on April in 2014 in China (see Figure 14).The stations are selected from the rail stations with plenty of starting train lines and stations at which trains usually stop.Table 7 presents names of the stations and their indexes.
Tables 4 and 5 have presented L 1 and L 2 by details.Further QFD team expresses the opinions about the relationship between L 1 and L 2 in Table 8 (i.e., the relationship matrix in QD).The relationship between L 2 and L 3 is expressed in Appendix ((i.e., the relationship matrix in FD)).Correlation degrees between L 1 , L 2 , and L 3 themselves are not considered in this study for simplification.In all the following matrices, // means a triangle fuzzy number on an - graph; say  = 1 with  = , and say  = 0 with  ∈ [, ].
Table 9 is a pairwise comparison matrix of F-AHP used here to give the importance ratings of Basic Requirements.Three F-AHPs are used to determine the importance rating of Basic Requirements L 1 including Extent Analysis (EA) [6], Modified Extent Analysis (MEA) [24], and Lambda-Max Method (LMM) [25].Different QFD teams might generate different comparison matrix of F-AHP and thus generate different production rules in approximate reasoning.In this case, only one QFD team has made our decision.
Table 10 shows the fuzzy importance ratings of requirements in L 1 obtained by EA, MEA, and LMM.By using (25) to defuzzify the fuzzy importance ratings, all three methods obtain the crisp results that signify "SC > PT > CC > LA > GI > AF".We also find that the fuzzy importance ratings obtained by LMM are "narrower" than the ratings from MEA and EA.Klir and Yuan [27] characterize this nature as nonspecificity (Non).Then we get Non EA > Non MEA > Non LMM .
N-BOEs are generated randomly with 20,000 samples corresponding to each   in L 1 .Based on the N-BOE and the fuzzy importance ratings in Table 10, we can measure the truth between the evidences about Basic Requirements and the predicates of Proposition 4 (which are obtained by fuzzy importance ratings of L 1 ).In our experiment, N-BOEs are used instead of M-BOE for the purpose of easy presentation.Table 11 shows that fuzzy importance ratings calculated by LMM have lower truth than the results by EA and MEA, that is Truth EA > Truth MEA > Truth LMM .It is just the opposite of the state of nonspecificity.It follows that vagueness usually leads propositions more difficult to be falsified.
Figure 15 explicitly illustrates the relationship between the fuzzy important ratings (or the predicates of Proposition 4) obtained by EA, MEA, and LMM and the N-BOE of PT.Apparently, the predicates obtained by LMM are too strict to be proved by our evidences (Bel measure is 0 and Pl measure is 1).The fuzzy important rate of PT from EA although hardly provides any precision information, in this case, but the proposition " 1 is WL 1 1 " is truer from the view of the N-BOE.The values of "Min Truth" in Table 11 are important for that they determine the truth of our results of SSEP-CSHR when we only have one Rule in evidence-based inference schema.
Figure 16 displays the trade-off between nonspecificity and truth of fuzzy important ratings in F-QFD by a fitting curve based on all the fuzzy important ratings obtained by the above three methods.It actually shows an inclination that truer propositions are usually accompanied with more Fuzziness.It is noted that Klir and Yuan [27] treat fuzziness and nonspecificity as different conceptions; however, in many researches, nonspecificity is actually used the same as Fuzziness, such as Csutora and Buckley [25], and in fact, in general case nonspecificity is normally directly proportional to fuzziness.
It leads to some interesting conclusions in the field of "uncertainty management."In many existing literatures, minimizing Fuzziness usually serves as a basic principle in MCDM problems.For example, Csutora and Buckley [25] designed LMM in basis of the principle of minimizing Fuzziness.Wang et al. [20,24] criticized the normalization methods in Chang's [6] EA and Chen et al. 's (2011) fuzzy linear programming because they did not generate the narrowest interval and fuzzy weights.
Our experiments partly justify a diversity of "uncertainty management," just as Klir and Yuan discussed in their book [27].In F-QFD, when we use precise predicates to describe the situation of L 1 , it is possible (not necessary) to result in less truth Conclusions in reasoning and thus decrease the credibility of our evaluation.
Using the results of LMM as inputs, then we execute our two-phase F-QFD methods.Let  be the number of -cut in [0, 1].When solving the NLPs, that is, ( 15)-( 19), we define  = 10.Above algorithms are all coded in MATLAB and executed by using a desktop with CPU Intel-Core i7-4700MQ and 8 G RAM. Finally using about 15 min we get the fuzzy important ratings of 85 stations.Figure 18 gives all fuzzy important ratings of above eight service stations (with lower and upper bounds when  = 0, as well as the core of the fuzzy sets) based on all the above three types of F-AHPs (i.e., EA, MEA, and LMM).We find that the Conclusions obtained based on LMM provide the most precision information, but with only "truth value = 0.25."The Conclusions obtained from EA provide the most vague outputs, however, with "truth value = 0.48."

Conclusions
QFD is a method to specify the customer wants and needs and then to evaluate each alternative in terms of its impact on meeting those needs.This paper is an effort to improve the scientific credibility and practicability of F-QFD and to offer a qualitative approach for SSEP-CSHR based on the two-phase F-QFD with an approximate procedure based on evidence theory.Belief and Plausibility are two types of measures in the view of evidence theory.Using the two measures, a framework to determine the truth of " is A" is investigated in Section 2 and then is used to deal with different types of BOE that might be met in CSHR's survey.The contribution of Section 3 is twofold.Firstly, this paper offers a MCDM approach for SSEP-CSHR based on the two-phase F-QFD to select potential service stations for CSHR with regard to series of practical criteria and Basic Requirements in context of CSHR.Secondly, this paper illustrates that the usage of evidence theory allows an approximate reasoning based on various types of BOE to be incorporated into F-QFD.In our case study, the proposed method is implemented in a high-speed rail network of China referring to 85 railway stations.The application, on the one hand, presents the fuzzy importance ratings for 85 service stations; on the other hand, it shows the truth of our Conclusions to be assessed by using proposed evidence-based inference schema.It demonstrated that the proposed method enhances scientific credibility of F-QFD in SSEP-CSHR and allows decision makers to express how much they know.By deep analysis, we realize an interesting trade-off between nonspecificity and truth in F-QFD.Hence our experiments partly justify a diversity of "uncertainty management."

Example 2 .
Proximity to trains (PT) is quite important. = proximity to trains (PT); A = quite important.

Figure 5 :
Figure 5: Three illustrative examples of body of evidence (BOE).
Figure 9   has provided the basic structure of two essential HOQs (QD and FD) used in SSEP-CSHR.Here we propose a method to generate the predicates of propositions incorporated in HOQs.

Figure 14 :
Figure 14: Alternative service stations considered in our case study.

Figure 15 :
Figure 15: Fuzzy important rate of PT in L 1 by three different methods.

Figure 19 :
Figure 19: Boxplots to express the fuzzy important ratings for service stations.

Table 1 :
The truth of each case in illustrative example in

Table 2 :
Inputs and outputs in HOQs of the two-phase F-QFD.

Table 6 :
An analysis on a truth-qualified proposition.
Example.Figure19utilizes a boxplot to display all the fuzzy important ratings of above 85 stations (L 3 ) (//, the minimum of a box is  in fuzzy triangle number //; the median of a box is  in fuzzy triangle number Yichang east

Table 8 :
Relation matrices of QD (between L 1 and L 2 ).

Table 9 :
Pairwise comparison matrix of F-AHP.

Table 10 :
Fuzzy importance ratings of L 1 obtained from EA, MEA, and LMM.

Table 11 :
Comparison analysis between truth and nonspecificity.

Table 12 :
Fuzzy important ratings of some service stations.-cutBengbusouth Beijing south Chengdu Guangzhou south Hankou Nanjing south Shanghai Hongqiao Xi'an north ( Ã)

Table 13 :
Continued.; the maximum of a box is  in fuzzy triangle number //).Based on LMM inputs and the approximate reasoning procedure in SSEP-CSHR, we know that the outputs only have truth value 0.25 (see Table11).