Conventional models based on crisp regions can not deal with the Direction Relations between Uncertain Regions (DRUR). Using broad boundary to represent the uncertain boundary, a novel approach is proposed based on mo...
详细信息
Conventional models based on crisp regions can not deal with the Direction Relations between Uncertain Regions (DRUR). Using broad boundary to represent the uncertain boundary, a novel approach is proposed based on model SK for modeling DRUR in this paper. DRUR are described as the combinations of basic cardinal direction relations, then we study the composition of DRUR, and a method is put forward for calculating this composition.
A novel self-adaptive differential evolution (SADE) algorithm is proposed in this paper. SADE adjusts the mutation rate F and the crossover rate CR adaptively, taking account of the different distribution of populatio...
详细信息
The satisfiability(SAT) problem is a core problem of artificial intelligence. Research findings in SAT are widely used in many areas. The main methods solving SAT problem are resolution principle, tableau calculus and...
详细信息
ISBN:
(纸本)9781424458219;9781424458240
The satisfiability(SAT) problem is a core problem of artificial intelligence. Research findings in SAT are widely used in many areas. The main methods solving SAT problem are resolution principle, tableau calculus and extension rule. Besides methods mentioned above, we find that the SAT problem can be solved with hitting set algorithms. If a set of clause is satisfiable, there must be a hitting set of the clause set which containing no complementary pairs of literals. Algorithm NEYVHS-tree is an efficient hitting set algorithm proposed by Ouyang. RNHST proposed in this paper is a revised algorithm in respect of ***-tree. It judges the satisfiability of a clause set by confirming the existence of the set's hitting set without complementary pairs of literals. The test result shows that RNHST is an efficient algorithm.
We have studied the AC-4 algorithm and then present key value ordering heuristic forming the new solving algorithm BT-KVV, which is based on the AC-4 algorithm. This algorithm takes full advantage of the state inf...
详细信息
ISBN:
(纸本)9781424479573
We have studied the AC-4 algorithm and then present key value ordering heuristic forming the new solving algorithm BT-KVV, which is based on the AC-4 algorithm. This algorithm takes full advantage of the state information of the data structure used in the AC-4 algorithm after the process of arc consistency. The algorithm sorts the values of the variables' domain according to the key importance of the values. So this order forces the solving algorithm to give priority to extend the key values of variables. In this way, the efficiency of the solving algorithm can be improved a lot. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms.
Essential graph is a graphical representation for Markov equivalence classes of Bayesian networks. Learning essential graph can avoid some problems in traditional Bayesian networks learning algorithms: (1) the number ...
详细信息
Essential graph is a graphical representation for Markov equivalence classes of Bayesian networks. Learning essential graph can avoid some problems in traditional Bayesian networks learning algorithms: (1) the number of illegal structures is exponential, which infect the efficiency of structure learning;(2) comparing the structures in same equivalent class slow down the speed of convergence;(3) if the prior distribution for each structure is equal, the more structures contain in the equivalent class the higher prior probability of the class has. This paper employs two competitive bio-inspired algorithms, immune algorithm and co-evolutionary algorithm, for learning Essential graph. The algorithm combines dependency analysis and search-scoring approach together. Experiments show that the searching space was decreased, compare with prior works, the convergence speed and the efficiency was improved.
We researched one search algorithm based on direction in the unstructured P2P network, analyzed the limited insufficiencies of this algorithm to the search speed, we proposed the improved direction search algorithm ba...
详细信息
Vehicular ad hoc network (VANET) is a kind of self-organizing ad hoc network, which is specifically designed for communication among vehicles. In VANET, a source vehicle must rely on intermediate vehicles to forward i...
详细信息
For the optimization problem about triangulation of Bayesian networks, a novel genetic algorithm, DHGA, is proposed in this paper. DHGA employs a heuristic-based mutation operation. Moreover, it uses population divers...
详细信息
ISBN:
(纸本)9781424476718
For the optimization problem about triangulation of Bayesian networks, a novel genetic algorithm, DHGA, is proposed in this paper. DHGA employs a heuristic-based mutation operation. Moreover, it uses population diversity to identify stagnation and convergence as well as to guide the search procedure. Experiments on representative benchmarks show that DHGA posses better performance and robustness than other swarm intelligence methods.
There may be many groups of candidate results after the step of candidate generation in model-based diagnosis. Hwee Tou Ng proposed the Inc-Diagnose approach to further reduce the candidate results. However, the effic...
详细信息
There may be many groups of candidate results after the step of candidate generation in model-based diagnosis. Hwee Tou Ng proposed the Inc-Diagnose approach to further reduce the candidate results. However, the efficiency of Inc-Diagnose may not be very good. Firstly, we give some correction of IncDiagnosis by applying it to a real example. Then, we propose an improved approach with choosing the order of measurements for incremental diagnosis. Example results show that our approach has better efficiency.
Through analyzing the security problems which exist in general on-line payment systems, this paper proposes a scheme based on WPKI (Wireless Public key Infrastructure) and further designs and implements a gas station ...
详细信息
Through analyzing the security problems which exist in general on-line payment systems, this paper proposes a scheme based on WPKI (Wireless Public key Infrastructure) and further designs and implements a gas station on-line payment system. By using WPKI technology which includes SSL (Secure Sockets Layer) protocol, digital signature and digital certificate, the designed on-line payment system can achieve data privacy, authenticity, integrity and non-repudiation during on-line payment process.
暂无评论