A complete algorithm for attribute reduction in rough set theory based on discernibility matrix was introduced. This algorithm was composed of algorithm1 and algorithm2. algorithm1 is to select those important conditi...
详细信息
ISBN:
(纸本)9781424445189
A complete algorithm for attribute reduction in rough set theory based on discernibility matrix was introduced. This algorithm was composed of algorithm1 and algorithm2. algorithm1 is to select those important condition attributes based on attribute frequency function in every iteration. algorithm2 removes redundancy and incompatibility attributes in R found out by algorithm1. The time complexity of the algorithms in the worst case was analyzed and the proof of its completeness was given. algorithm1 and algorithm2 guarantee that the reduction is probable a smallest or smaller one.
A complete algorithm for attribute reduction in rough set theory based on discernibility matrix was introduced. This algorithm was composed of algorithm1 and ***1 is to select those important condition attributes base...
详细信息
A complete algorithm for attribute reduction in rough set theory based on discernibility matrix was introduced. This algorithm was composed of algorithm1 and ***1 is to select those important condition attributes based on attribute frequency function in every iteration. algorithm2 removes redundancy and incompatibility attributes in R found out by *** time complexity of the algorithms in the worst case was analyzed and the proof of its completeness was given. algorithm1 and algorithm2 guarantee that the reduction is probable a smallest or smaller one.
A complete algorithm for attribute reduction in rough set theory based on discernibility matrix was *** algorithm was composed of algorithm1 and ***1 is to select those important condition attributes based on attribut...
详细信息
A complete algorithm for attribute reduction in rough set theory based on discernibility matrix was *** algorithm was composed of algorithm1 and ***1 is to select those important condition attributes based on attribute frequency function in every ***2 removes redundancy and incompatibility attributes in R found out by *** time complexity of the algorithms in the worst case was analyzed and the proof of its completeness was given,algorithm1 and algorithm2 guarantee that the reduction is probable a smallest or smaller one.
The advantages of complete algorithm and incomplete algorithm of the SAT problem are integrated into an algorithm. First, an approximation solution is obtained by an incomplete algorithm, as an initial input of the co...
详细信息
The advantages of complete algorithm and incomplete algorithm of the SAT problem are integrated into an algorithm. First, an approximation solution is obtained by an incomplete algorithm, as an initial input of the complete algorithm, which is used to phase decision of branched variable. The algorithm guides the complete algorithm first search the subspace that the approximation solutions lie in, which accelerates the process that the solver find the satisfied solution and provides a new approach for SAT problem. Experimental results show that proposed algorithm improves the decision precision and the efficiency of solver and performs well in many instances.
Minimal attribute reduction plays all important role in both theory and practice, but it has been proved that finding a minimal reduct of a given decision table is a. NP-hard problem. Some scholars have also pointed o...
详细信息
ISBN:
(纸本)9783642029615
Minimal attribute reduction plays all important role in both theory and practice, but it has been proved that finding a minimal reduct of a given decision table is a. NP-hard problem. Some scholars have also pointed out that current heuristic algorithms are incomplete for minimal attribute reduction. Based oil the decomposition principles of a discernibility function, a complete algorithm CAMARDF for finding a minimal reduct is put forward in this paper. Since it depends oil logical reasoning, it can be applied for all decision tables after their discernibility functions constructed reasonably. The efficiency of CAMARDF is illustrated by experiments with UCI data sets further.
We study the path planning problem, without obstacles, for closed kinematic chains with n links connected by spherical joints in space or revolute joints in the plane. The configuration space of such systems is a real...
详细信息
We study the path planning problem, without obstacles, for closed kinematic chains with n links connected by spherical joints in space or revolute joints in the plane. The configuration space of such systems is a real algebraic variety whose structure is fully determined using techniques from algebraic geometry and differential topology. This structure is then exploited to design a complete path planning algorithm that produces a sequence of compliant moves, each of which monotonically increases the number of links in their goal configurations. The average running time of this algorithm is proportional to n(3). While less efficient than the O(n) algorithm of Lenhart and Whitesides, our algorithm produces paths that are considerably smoother More importantly, our analysis serves as a demonstration of how to apply advanced mathematical techniques to path planning problems. Theoretically, our results can be extended to produce collision-free paths, paths avoiding both link-obstacle and link-link collisions. An approach to such an extension is sketched in Section 4.5, but the details are beyond the scope of this paper Practically, link-obstacle collision avoidance will impact the complexity of our algorithm, forcing us to allow only small numbers of obstacles with "nice" geometry, such as spheres. Link-link collision avoidance appears to be considerably more complex. Despite these concerns, the global structural information obtained in this paper is fundamental to closed kinematic chains with spherical joints and can easily be incorporated into probabilistic planning algorithms that plan collision-free motions. This is also described in Section 4.5.
In emergency decision making, it can be difficult for decision-makers (DMs) to identify all possible scenarios due to a lack of information and the evolution of emergency situations. Therefore, this paper presents an ...
详细信息
In emergency decision making, it can be difficult for decision-makers (DMs) to identify all possible scenarios due to a lack of information and the evolution of emergency situations. Therefore, this paper presents an incomplete probabilistic linguistic term set (InPLTS), which is a generalized hesitant fuzzy linguistic term set (HFLTS). The InPLTS can more appropriately describe a case in which a DM considers several possible linguistic terms with uncertain probabilities. Furthermore, this work extends the InPLTS to an incomplete probabilistic linguistic preference relation (InPLPR) and proposes a complete algorithm based on an emergency fault tree analysis (EFTA) to estimate missing entries of the InPLPR. The work also investigates the expected consistency, acceptable expected consistency, and consistency-improving methods for the reasonable application of the InPLPR. Then, a consistency-based emergency decision-making method using the InPLPR is proposed to address issues related to a lack of information, uncertainties and dynamic trends. In using this method, DMs can evaluate emergency alternatives of different possible scenarios with the InPLPR, and the impacts of different emergency responses on the evolution of emergencies can also be considered. Finally, the InPLPRs and the abovementioned method are applied to a public health emergency decision-making process to illustrate the advantages of the proposed method. (C) 2019 Elsevier B.V. All rights reserved.
In this paper, we present an algorithm of simple exponential growth called COPOMATRIX for determining the copositivity of a real symmetric matrix. The core of this algorithm is a decomposition theorem, which is used t...
详细信息
In this paper, we present an algorithm of simple exponential growth called COPOMATRIX for determining the copositivity of a real symmetric matrix. The core of this algorithm is a decomposition theorem, which is used to deal with simplicial subdivision of (T) over cap (-) = {y is an element of Delta(m)vertical bar beta(T)(y) <= 0} on the standard simplex Delta(m), where each component of the vector beta is -1, 0 or 1. (C) 2011 Elsevier Inc. All rights reserved.
Clustering techniques have shown promising results for the architecture recovery and re-modularization of legacy software systems. Clusters that are obtained as a result of the clustering process may not be easy to in...
详细信息
Clustering techniques have shown promising results for the architecture recovery and re-modularization of legacy software systems. Clusters that are obtained as a result of the clustering process may not be easy to interpret until they are assigned appropriate labels. Automatic labeling of clusters reduces the time required to understand them and can also be used to evaluate the effectiveness of the clustering process, if the assigned labels are meaningful and convey the purpose of each cluster effectively. In this paper, we present a labeling scheme based on identifiers of an entity. As the clustering process proceeds, keywords within identifiers are ranked using two ranking schemes: frequency and inverse frequency. We present experimental results to demonstrate the effectiveness of our labeling approach. A comparison between the ranking schemes reveals the inverse frequency scheme to form more meaningful labels, especially for small clusters. A comparison of clustering results of the complete and weighted combined algorithms based on labels of the clusters produced by them during clustering shows that the latter produces a more understandable cluster hierarchy with easily identifiable software sub-systems. (c) 2006 Elsevier Inc. All rights reserved.
This paper presents a heuristic polarity decision-making algorithm for solving Boolean satisfiability (SAT). The algorithm inherits many features of the current state-of-the-art SAT solvers, such as fast BCP, clause...
详细信息
This paper presents a heuristic polarity decision-making algorithm for solving Boolean satisfiability (SAT). The algorithm inherits many features of the current state-of-the-art SAT solvers, such as fast BCP, clause recording, restarts, etc. In addition, a preconditioning step that calculates the polarities of variables according to the cover distribution of Karnaugh map is introduced into DPLL procedure, which greatly reduces the number of conflicts in the search process. The proposed approach is implemented as a SAT solver named DiffSat. Experiments show that DiffSat can solve many "real-life" instances in a reasonable time while the best existing SAT solvers, such as Zchaff and MiniSat, cannot. In particular, DiffSat can solve every instance of Bart benchmark suite in less than 0.03 s while Zchaff and MiniSat fail under a 900 s time limit. Furthermore, DiffSat even outperforms the outstanding incomplete algorithm DLM in some instances.
暂无评论