Research Article  Open Access
Decision Rules Acquisition for Inconsistent Disjunctive SetValued Ordered Decision Information Systems
Abstract
Setvalued information system is an important formal framework for the development of decision support systems. We focus on the decision rules acquisition for the inconsistent disjunctive setvalued ordered decision information system in this paper. In order to derive optimal decision rules for an inconsistent disjunctive setvalued ordered decision information system, we define the concept of reduct of an object. By constructing the dominance discernibility function for an object, we compute reducts of the object via utilizing Boolean reasoning techniques, and then the corresponding optimal decision rules are induced. Finally, we discuss the certain reduct of the inconsistent disjunctive setvalued ordered decision information system, which can be used to simplify all certain decision rules as much as possible.
1. Introduction
Rough set theory, proposed by Pawlak [1ā3], has been regarded as a useful tool to conceptualize and analyze various types of data. It is applied to many fields such as machine learning, knowledge discovery, and pattern recognition. With replacement of the equivalence relation by other relations such as the tolerance relation [4ā9] and the dominance relation [10ā13], Pawlak rough set model has been extended to numerous generalized rough set models.
Pawlak rough set model is based on an assumption that every object in the universe of discourse is associated with some information, and objects characterized by the same information are indiscernible. It is successfully used in decision rules acquisition and attribute reduction for nominal information systems. However, Pawlak rough set model is not able to discover inconsistency for attributes in preferenceordered domains. Ordered information systems are firstly proposed and studied by Iwinski [14]. Yao and Sai [15, 16] transformed an ordered information table into a binary information table and then applied classical machine learning and data mining algorithms to derive ordering rules. Greco et al. [10ā12] proposed the dominancebased rough set approach (DRSA), which is mainly based on substitution of the indiscernibility relation by a dominance relation, to deal with such kind of inconsistency.
The DRSA proposed by Greco et al. [10ā12] mainly focuses on discussing sorting problem and extracting the dominance decision rules for a complete ordered decision information system (ODIS), in which all attribute values are exactly known. Many researchers have investigated various types of ODISs by the dominancebased rough set approach and its extended models [17ā29].
Setvalued information systems are generalized models of singlevalued information systems. There are many ways to give a semantic interpretation of the setvalued information systems. Guan and Wang [5] summarized them in two types: disjunctive and conjunctive systems. For setvalued ordered information systems (OISs), Qian et al. [27] defined two dominance relations in a conjunctive setvalued ODIS and a disjunctive setvalued ODIS, respectively, and used them to define lower and upper approximations. From the lower and upper approximations, certain decision rules and possible decision rules can be derived from these two types of setvalued ODISs. Furthermore, Qian et al. [28] introduced four types of dominance relations and discussed criterion reductions of disjunctive setvalued ordered information systems. However, for the reduction of the system, their discussions are restricted on setvalued OISs and consistent setvalued ODISs. Nevertheless, inconsistent setvalued ODISs are common in practice, so, in this paper, we will investigate the reduction of the inconsistent setvalued ODISs based on the discussion of decision rules optimization. Our discussion mainly focuses on disjunctive setvalued ODISs, and this approach is also applicable to the conjunctive setvalued ODISs.
The rest of this paper is organized as follows. In Section 2, some notations and basic concepts for the ODIS and the DRSA are introduced. In Section 3, dominancebased rough set model in disjunctive setvalued ODISs is reviewed. In Section 4, the optimization problem of decision rules in inconsistent disjunctive setvalued ODIS is discussed. The concept of reduct of an object is proposed. By constructing the dominance discernibility function for an object, reducts of an object are computed via utilizing Boolean reasoning techniques, and then the corresponding optimal decision rules are induced. In Section 5, the certain reduct of the inconsistent disjunctive setvalued ODIS, which can be used to simplify all certain decision rules as much as possible, is also discussed. Finally, we conclude our work in Section 6.
2. The DominanceBased Rough Set Approach
2.1. The Ordered Decision Information System (ODIS)
An information system is represented by a quadruple , where is a finite nonempty set of objects, called the universe of discourse; is a finite set of attributes; , where is the domain of attribute ; is an information function satisfying , , . We denote for simplicity. In general, if attributes in an information system are classified into condition attributes and decision attributes, then is called a decision information system (DIS) or called a decision table (DT). In this case, the set of condition attributes is denoted by , and the set of decision attributes is denoted by ; that is, with . Without loss of generality, we assume that and . The partition of determined by is usually denoted as , where , , is called a decision class.
Further, we denote for any . Then one can conclude that .
If the domain of a condition attribute is ordered according to a decreasing or increasing preference, then the attribute is called a criterion [10ā13]. Next we will introduce the concept of the ordered decision information system.
Definition 1 (see [10, 12]). For a DIS , if the condition attributes are criteria and the value of decision attribute represents an overall preference of objects, that is, for any and with , the objects in are more preferred than the objects in , then one calls the information system an ordered decision information system (ODIS) or ordered decision table (ODT).
In an ODIS, the domain of a criterion is completely preordered by an outranking relation , where implies that is at least as good as with respect to the criterion . We denote such and as or .
For , if and the domain of every attribute in is ordered according to a descending preference while the domain of the attribute in is ordered according to an ascending preference, then the dominance relation determined by can be defined as
From mathematical point of view, the ascending and descending order relations are dual, and so they can be handled similarly. Therefore, without loss of generality, we make an assumption for simplicity that values in the domain of every condition attribute are only descendingly ordered. With this assumption, we obtain
Since is equivalent to , is also denoted as or . From (2), we obtain that and for .
For , one can see that is transitive, and it is also reflexive under the assumption that , , and . Furthermore, for , we denote if , , and if such that . Then, and can imply . Therefore, is antisymmetric. Hence, is a partial ordered set [30] and so is .
2.2. The DominanceBased Rough Set Model
In an ODIS, for , if , one says that dominates or is dominated by with respect to . Let us denoteThen is called a dominating set and a dominated set of with respect to .
Further, we denoteThen, both and are coverings of .
In the DRSA [10, 12, 17], and āā are regarded as basic knowledge granules and they are used to define the lower and upper approximations as shown below.
Definition 2 (see [10, 12, 17]). In an ODIS , for and , letThen is called lower approximation and is called upper approximation of with respect to .
Analogously, one can define lower approximation and upper approximation , respectively, as
In the DRSA, the set to be approximated is an upward union or a downward union of decision classes; that is, or with , where implies that belongs to at least decision class and indicates that belongs to at most decision class . By the lower and upper approximations of and , Greco et al. [12] proposed five types of dominance decision rules. For example, from , one can get an āat leastā decision rule with the form āif , then ā; from , one can get an āat mostā decision rule with the form āif , then .ā
3. DominanceBased Rough Set Model in the Disjunctive SetValued ODIS
3.1. Disjunctive SetValued Ordered Decision Information Systems
A setvalued ordered decision table (ODT) is a setvalued decision information system , where is a nonempty finite set of objects; is a finite set of condition attributes; is a decision attribute with ; , where is the set of conditional attribute values and is the set of decisional attribute values; is a mapping from to such that is a setvalued mapping and is a singlevalued mapping, where is the power set of .
Table 1 shows a setvalued ordered decision table.

For any and , is interpreted disjunctively. For example, if is the attribute āspeaking a languageā and , then can be interpreted as follows: speaks English, French, or German and can speak only one of them [5]. Incomplete information systems with some unknown attribute values or partial known attribute values [7ā9] are such type of setvalued information system. With such consideration, we call a disjunctive setvalued ODIS.
Example 3. A disjunctive setvalued ODIS is presented in Table 1, where , , , and .
Qian et al. [28] gave four possible dominance relations in disjunctive setvalued ODISs as follows.
Definition 4 (see [28]). Let be a disjunctive setvalued ODIS, and . The following four possible dominance relations between objects are considered.(I)Up dominance relation:If , we say that is at least upgood as with respect to .(II)Down dominance relation:If , we say that is at least downgood as with respect to .(III)Updown dominance relation:If , we say that is at least possiblegood as with respect to .(IV)Downup dominance relation:If , we say that is at least definitegood as with respect to .
Let be a disjunctive setvalued ODIS, and . If , then is called consistent; otherwise it is called inconsistent, where stands for , , , or , respectively. For example, Table 1 is a inconsistent disjunctive setvalued ordered decision information system, because does not hold.
Furthermore, Qian et al. [28] also gave four definitions of dominating set and dominated set of the four possible dominance relations between objects in disjunctive setvalued ODIS, respectively.
Let and , where equals , , , or , respectively. Then, consists of objects that dominate and consists of objects dominated by .
Example 5. Compute the dominating sets induced by up dominance relation in Table 1. We have , where
3.2. Lower and Upper Approximations in the Disjunctive SetValued ODIS
The decision attribute makes a partition of into a finite number of classes. Let be a set of these classes which are ordered; that is, for any , if , then the objects in are preferred to the objects in .
The sets to be approximated are an upward union and a downward union of classes, which are denoted by () and (), respectively. The statement means that ā belongs to at least class ,ā whereas means that ā belongs to at most class .ā
Analogous to the idea of decision approximation [12, 25], Qian et al. [28] also gave the definitions of the lower and upper approximations of () with respect to the dominance relation ( stands for , , , or , resp.) in a disjunctive setvalued ODIS.
Definition 6 (see [28]). Let be a disjunctive setvalued ODIS, , and is the set of decision classes induced by ; the lower and upper approximations of () with respect to the dominance relation are defined asThe boundaries of () can be defined as
Similarly, the lower and upper approximations and boundaries of () with respect to the corresponding dominance relation in a disjunctive setvalued ODIS can also be defined.
Without loss of generality, next we will focus on the up dominance relation in inconsistent disjunctive setvalued ODIS.
3.3. Decision Rules Derived from Inconsistent Disjunctive SetValued ODIS
It is noteworthy that, in the DRSA for inducing āat leastā decision rules or āat mostā decision rules, we need to compute the lower and upper approximations. Similarly, from the lower approximation of (or ), we can induce the āat leastā (or āat mostā) decision rules from inconsistent disjunctive setvalued ODISs. In detail, we can derive the certain āat leastā decisions from the lower approximation ofāā and the possible āat leastā decisions from the boundary of as shown below.
(1) For , from , we can obtain a certain decision rule:āif , then certainly holds.
It can also be equivalently stated asāif , then certainly holds, orāif and and and , then certainly holds, where , .
Particularly, from with , we can obtain a definite decision rule:āif , then certainly holds.
(2) For , from , we can obtain a possible decision rule:āif , then possibly holds, or equivalentlyāif , then possibly holds, or equivalentlyāif and and and , then possibly holds.
Analogously, we can derive the certain āat mostā decision rules from the lower approximation of and the possible āat mostā decision rules from the boundary of in inconsistent disjunctive setvalued ODISs.
In order to conveniently discuss the optimization problem for the decision rules in inconsistent disjunctive setvalued ODIS, we will give another definition for the decision rules in the following.
Definition 7. In an inconsistent disjunctive setvalued ODIS , for and with , , letwhere is the conjunctive operator. We call the Boolean expression a condition attribute descriptor or simply descriptor determined by . Then, the decision rule generated by can be presented as in the following form: , where is the maximum element in .
For example, in the inconsistent disjunctive setvlaued ODIS presented in Table 1, descriptor determined by isAnd the decision rule generated by can be represented asWithout loss of generality, next we will focus on drawing the optimal āat leastā decision rules in inconsistent disjunctive setvalued decision information system.
4. The Optimization of the Decision Rules in an Inconsistent Disjunctive SetValued ODIS
4.1. The Reducts of an Object and the Optimal Decision Rules
In a disjunctive setvalued ODIS , to optimize the decision rule generated by , one should simplify as much as possible its condition part by deleting some conjunctive terms and meanwhile keep its decision part unchanged.
After deleting some terms from , we could obtain a descriptor with . Generally speaking, holds for any . If satisfies , then may hold, and this may lead to ; that is, the decision value of at least one object may not satisfy . Therefore, to optimize the decision rule generated by , one should delete some conjunctive terms from as much as possible with the constraint condition that the set consisting of condition attributes in remainder should satisfy .
Based on the above discussions, we can see that the optimization of the decision rule generated by depends on seeking , , which satisfies . So, we give the following definition for reduct of an object.
Definition 8. Let and . If satisfies , then one calls a dominance consistent set of ; if is a minimal subset of satisfying , then one calls a reduct of . The set of all reducts of is denoted as .
Definition 9. Let . If is a dominance consistent set of , then one calls a simplified decision rule of . If is a reduct of , then one calls an optimal decision rule of .
It is obvious that, with all reducts of an object, one can induce all the optimal decision rules associated with this object. Next we will discuss how to compute the reducts of an object.
4.2. The Computation of the Reducts of an Object
For , let .
Obviously, is a set of condition attributes which discern from the dominating set of or equivalently discern from the dominated set of .
One can observe that or equivalently .
In order to compute the reducts of an object, we will construct the discernibility function for an object. For this purpose, we give the following Theorem.
Theorem 10. For and , one has for any with .
Proof. āā Assume that there exists such that , and it satisfies . Then, , . From the definition of , we have , ; that is, . So, by the assumption that , we can derive , which is contradictive to . This indicates that must be satisfied by any such that .
āā Assume that does not hold, and then such that . From the condition assumption, we can derive that . Hence, there exists at least one attribute satisfying ; equivalently . This is contradictive to .
This completes the proof.
Based on Theorem 10, we can construct the dominance discernibility function defined below, which can help us to compute the reducts of an object.
Definition 11. For , letwhere is the conjunctive operator, is the disjunctive operator, and is the disjunction of all members of . One calls a dominance discernibility function of .
Based on Definition 11 and Theorem 10, we can obtain the following by the Boolean reasoning techniques [3, 17, 31].
Proposition 12. For and , one has that is a reduct of if and only if is a prime implicant of , where .
Proposition 12 gives a computational method for the reducts of an object using the dominance discernibility function. Next we will give an illustrative example.
Example 13. Continuation of Example 3: we will compute all reducts of and and obtain those corresponding optimal decision rules.
From and , we have From Proposition 12, is a unique reduct of the object , and it will generate the optimal decision rule of decision rule (18) induced by as follows:Taking as another example, we can derive the following decision rule:From and , we haveThen one can see that has one reduct , which generates the optimal rule of rule (22) as follows:In the same way, we can compute the dominance discernibility functions of all other objects and induce their corresponding optimal decision rules.
5. The Certain Reduct of an Inconsistent Disjunctive SetValued ODIS
Based on the above discussion of reduction of the objects, in this section, we will discuss the reduct of the inconsistent disjunctive setvalued ODIS.
Definition 14. In an inconsistent disjunctive setvalued ODIS , . If is a minimal subset of satisfying , , one calls a certain reduct of the inconsistent disjunctive setvalued ODIS. The intersection of all certain reducts is called certain core of the information system.
By Definitions 8, 9, and 14, it can be seen that a certain reduct of the inconsistent disjunctive setvalued ODIS is a minimal subset of condition attributes which can be used to simplify all certain decision rules as much as possible.
By Definitions 11 and 14, we can construct the dominance discernibility function of certain reduct of the inconsistent disjunctive setvalued ODIS as follows.
Definition 15. Let and one calls dominance discernibility function of certain reduct in the inconsistent disjunctive setvalued ODIS.
Based on Definitions 11, 14, and 15 and Theorem 10, we obtain the folowing by the Boolean reasoning techniques.
Proposition 16. is a certain reduct of the inconsistent disjunctive setvalued ODIS if and only if is a prime implicant of , where .
Proposition 16 gives a computational method for the certain reducts of the disjunctive setvalued ODIS. And we can get all corresponding simplified certain decision rules.
Example 17. Continuation of Example 3: by Definition 6, we have
We can see that the considered inconsistent disjunctive setvalued ODIS presented in Table 1 has one certain reduct .
From the lower approximations of three upward unions of decision classes, we can draw the following certain decision rules from the disjunctive setvalued ODIS presented in Table 1:
The certain reduct of the system, , can be used to simplify the above two certain rules (27) as follows:
Generally speaking, a certain reduct of an inconsistent disjunctive setvalued ODIS must be a dominance consistent set of all objects from the lower approximations of the upward unions of decision classes. And a certain reduct of an inconsistent disjunctive setvalued ODIS may be a reduct of some objects from the lower approximations of the upward unions of decision classes. In Example 17, the certain reduct is a reduct of the object , while the certain reduct is only a dominance consistent set of the object .
6. Conclusions
In this paper, optimization problem of decision rules in inconsistent disjunctive setvalued ordered decision information system has been investigated. By constructing the dominance discernibility function for an object, reducts of the object are computed via utilizing Boolean reasoning techniques, and the corresponding optimal decision rules are induced. In addition, we have also discussed the certain reduct of the inconsistent disjunctive setvalued ordered decision information system and give the computational approaches using Boolean reasoning techniques.
It is well known that consistent disjunctive setvalued ordered decision information system can be seen as a special case of inconsistent disjunctive setvalued ordered decision information system. So, the approaches proposed in this paper can be used to induce optimal decision rules in the consistent disjunctive setvalued ordered decision information system.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
Acknowledgments
This research is supported by a grant from the National Natural Science Foundation of China (61070241) and a grant from the Shandong Provincial Natural Science Foundation, China (ZR2013AQ007).
References
 Z. Pawlak, āRough sets,ā International Journal of Computer & Information Sciences, vol. 11, no. 5, pp. 341ā356, 1982. View at: Publisher Site  Google Scholar
 Z. Pawlak, Rough Sets: Theoretical Aspects of Reasoning about Data, System Theory, Kluwer Academic Publishers, Boston, Mass, USA, 1991.
 Z. Pawlak and A. Skowron, āRough sets and Boolean reasoning,ā Information Sciences, vol. 177, no. 1, pp. 41ā73, 2007. View at: Publisher Site  Google Scholar
 E. A. AboTabl, āA comparison of two kinds of definitions of rough approximations based on a similarity relation,ā Information Sciences, vol. 181, no. 12, pp. 2587ā2596, 2011. View at: Publisher Site  Google Scholar
 Y.Y. Guan and H.K. Wang, āSetvalued information systems,ā Information Sciences, vol. 176, no. 17, pp. 2507ā2525, 2006. View at: Publisher Site  Google Scholar
 Y.Y. Guan, H.K. Wang, Y. Wang, and F. Yang, āAttribute reduction and optimal decision rules acquisition for continuous valued information systems,ā Information Sciences, vol. 179, no. 17, pp. 2974ā2984, 2009. View at: Publisher Site  Google Scholar
 M. Kryszkiewicz, āRough set approach to incomplete information systems,ā Information Sciences, vol. 112, no. 1–4, pp. 39ā49, 1998. View at: Publisher Site  Google Scholar
 M. Kryszkiewicz, āRules in incomplete information systems,ā Information Sciences, vol. 113, no. 34, pp. 271ā292, 1999. View at: Publisher Site  Google Scholar
 Y. Leung and D. Li, āMaximal consistent block technique for rule acquisition in incomplete information systems,ā Information Sciences, vol. 153, pp. 85ā106, 2003. View at: Publisher Site  Google Scholar
 S. Greco, B. Matarazzo, and R. Slowinski, āA new rough set approach to multicriteria and multiattribute classification,ā in Rough Sets and Current Trends in Computing, vol. 1424 of Lecture Notes in Computer Science, pp. 60ā67, Springer, Berlin, Germany, 1998. View at: Publisher Site  Google Scholar
 S. Greco, B. Matarazzo, and R. Slowinski, āRough sets theory for multicriteria decision analysis,ā European Journal of Operational Research, vol. 129, no. 1, pp. 1ā47, 2001. View at: Publisher Site  Google Scholar
 S. Greco, B. Matarazzo, and R. Slowinski, āRough approximation by dominance relations,ā International Journal of Intelligent Systems, vol. 17, no. 2, pp. 153ā171, 2002. View at: Publisher Site  Google Scholar
 S. Greco, B. Matarazzo, R. Slowinski, and J. Stefanowski, āVariable consistency model of dominancebased rough sets approach,ā in Rough Sets and Current Trends in Computing, W. Ziarko and Y. Yao, Eds., vol. 2005 of Lecture Notes in Computer Science, pp. 170ā181, Springer, Berlin, Germany, 2001. View at: Publisher Site  Google Scholar
 T. B. Iwinski, āOrdinal information system,ā Bulletin of the Polish Academy of Sciences Mathematics, vol. 430, no. 36, pp. 467ā475, 1988. View at: Google Scholar
 Y. Sai, Y. Y. Yao, and N. Zhong, āData analysis and mining in ordered information tables,ā in Proceedings of the 1st IEEE International Conference on Data Mining (ICDM '01), pp. 497ā504, IEEE, San Jose, Calif, USA, December 2001. View at: Publisher Site  Google Scholar
 Y. Y. Yao, B. Zhou, and Y. H. Chen, āInterpreting low and high order rules: a granular computing approach,ā in Proceedings of the International Conference on Rough Sets and Emerging Intelligent System Paradigms (RSEISP '07), vol. 4585 of Lecture Notes in Computer Science, pp. 371ā380, 2007. View at: Google Scholar
 M. W. Shao and W. X. Zhang, āDominance relation and rules in an incomplete ordered information system,ā International Journal of Intelligent Systems, vol. 20, no. 1, pp. 13ā27, 2005. View at: Publisher Site  Google Scholar
 X. B. Yang, J. Y. Yang, C. Wu, and D. J. Yu, āDominancebased rough set approach and knowledge reductions in incomplete ordered information system,ā Information Sciences, vol. 178, no. 4, pp. 1219ā1234, 2008. View at: Publisher Site  Google Scholar
 Y. H. Qian, J. Y. Liang, and C. Y. Dang, āInterval ordered information systems,ā Computers and Mathematics with Applications, vol. 56, no. 8, pp. 1994ā2009, 2008. View at: Publisher Site  Google Scholar
 X. B. Yang, D. J. Yu, J. T. Yang, and L. H. Wei, āDominancebased rough set approach to incomplete intervalvalued information system,ā Data & Knowledge Engineering, vol. 68, no. 11, pp. 1331ā1347, 2009. View at: Publisher Site  Google Scholar
 C. Luo, T. Li, and H. Chen, āDynamic maintenance of approximations in setvalued ordered decision systems under the attribute generalization,ā Information Sciences, vol. 257, pp. 210ā228, 2014. View at: Publisher Site  Google Scholar
 Q. H. Hu, M. Z. Guo, D. R. Yu, and J. F. Liu, āInformation entropy for ordinal classification,ā Science in China, Series F: Information Sciences, vol. 53, no. 6, pp. 1188ā1200, 2010. View at: Publisher Site  Google Scholar
 M. Inuiguchi, Y. Yoshioka, and Y. Kusunoki, āVariableprecision dominancebased rough set approach and attribute reduction,ā International Journal of Approximate Reasoning, vol. 50, no. 8, pp. 1199ā1214, 2009. View at: Publisher Site  Google Scholar
 W. Kotłowski, K. Dembczyński, S. Greco, and R. Słowiński, āStochastic dominancebased rough set model for ordinal classification,ā Information Sciences, vol. 178, no. 21, pp. 4019ā4037, 2008. View at: Publisher Site  Google Scholar
 W.H. Xu, X.Y. Zhang, J.M. Zhong, and W.X. Zhang, āAttribute reduction in ordered information systems based on evidence theory,ā Knowledge and Information Systems, vol. 25, no. 1, pp. 169ā184, 2010. View at: Publisher Site  Google Scholar
 Y. Kusunoki and M. Inuiguchi, āA unified approach to reducts in dominancebased rough set approach,ā Soft Computing, vol. 14, no. 5, pp. 507ā515, 2010. View at: Publisher Site  Google Scholar
 Y. H. Qian, C. Y. Dang, J. Y. Liang, and D. Tang, āSetvalued ordered information systems,ā Information Sciences, vol. 179, no. 16, pp. 2809ā2832, 2009. View at: Publisher Site  Google Scholar
 Y. H. Qian, J. Y. Liang, P. Song, and C. Y. Dang, āOn dominance relations in disjunctive setvalued ordered information systems,ā International Journal of Information Technology & Decision Making, vol. 9, no. 1, pp. 9ā33, 2010. View at: Publisher Site  Google Scholar
 B. Huang, D.K. Wei, H.X. Li, and Y.L. Zhuang, āUsing a rough set model to extract rules in dominancebased intervalvalued intuitionistic fuzzy information systems,ā Information Sciences, vol. 221, pp. 215ā229, 2013. View at: Publisher Site  Google Scholar
 X. L. Zuo, W. J. Li, and L. Y. Cai, Discrete Mathematics, Shanghai Science and Technology Literature Press, Shanghai, China, 1982.
 A. Skowron, āBoolean reasoning for decision rules generation,ā in Methodologies for Intelligent Systems, vol. 689 of Lecture Notes in Computer Science, pp. 295ā305, Springer, Berlin, Germany, 1993. View at: Publisher Site  Google Scholar
Copyright
Copyright © 2015 Hongkai Wang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.