7867358
Phase Transitions and Backbones of the Asymmetric Traveling Salesman Problem
In recent years, there has been much interest in phase transitions of combinatorial problems. Phase transitions have been successfully used to analyze combinatorial optimization problems, characterize their typical-case features and locate the hardest problem instances. In this paper, we study phase transitions of the asymmetric Traveling Salesman Problem (ATSP), an NP-hard combinatorial optimization problem that has many real-world applications. Using random instances of up to 1,500 cities in which intercity distances are uniformly distributed, we empirically show that many properties of the problem, including the optimal tour cost and backbone size, experience sharp transitions as the precision of intercity distances increases across a critical value. Our experimental results on the costs of the ATSP tours and assignment problem agree with the theoretical result that the asymptotic cost of assignment problem is π26 as the number of cities goes to infinity. In addition, we show that the average computational cost of the well-known branch-and-bound subtour elimination algorithm for the problem also exhibits a thrashing behavior, transitioning from easy to difficult as the distance precision increases. These results answer positively an open question regarding the existence of phase transitions in the ATSP, and provide guidance on how difficult ATSP problem instances should be generated.
12824361
Data Mining Methods for Modeling Gene Expression Regulation and Their Applications
This paper demonstrates machine learning and data mining methods that can be developed and applied to analyzing large quantities of genomic information and gene expression data for characterizing and modeling gene expression regulation. In particular, there will be a discussion on some of the methods that have been developed for modeling gene expression regulation underlying abiotic stress (e.g., drought, low temperature and salinity) tolerance, for identifying gene responsive to particular environmental stress conditions, and for characterizing the functions of microRNA genes for stress regulation in model plant Arabidopsis thaliana.
76909
Heuristic search in artificial intelligence
In February of this year, Claude E. Shannon and Herbert A. Simon passed away, both at age 84. In his 1950 paper entitled, “Programming a Computer to Play Chess” [3], Shannon laid out the theory of minimax search with bounded lookahead and static heuristic evaluation, the basis of almost all subsequent work on two-player games. Along with Allen Newell, Herbert Simon established the idea of heuristic search in a problem space as one of the fundamental paradigms of problem solving in artificial intelligence [1]. We feel a deep sorrow for the loss of these two giants of our field. Both men are also known for their deep scientific contributions to other fields as well. Shannon was the father of information and communication theory, and Simon was a founding father of organizational behavior and the information processing model of cognitive psychology. Although Simon and Shannon are no longer with us, their work continues as a source of inspiration in virtually every field they touched. We dedicate this special issue on heuristic search in artificial intelligence to Claude Shannon and Herbert Simon. Heuristic search remains as a core area of artificial intelligence (AI). The use of a good search algorithm is often a critical factor in the performance of an intelligent system. As with most areas of AI, there has been steady progress in heuristic search research over the years. This progress can be measured by several different yardsticks, including finding optimal solutions to larger problems, making higher quality decisions in fixedsize problems, handling more complex domains including dynamic environments with incomplete and uncertain information, being able to analyze and predict the performance of heuristic search algorithms, and the increasing deployment of real-world applications of search algorithms. The success of the Deep Blue Chess machine in defeating Gary Kasparov, the human world champion, in an exhibition match in 1997 was a landmark in the field of AI, the achievement of a goal that had been pursued for almost 50 years. By coincidence, this special issue contains the same number of papers as the Artificial Intelligence Journal special issue on Search and Heuristics, published in 1983. What Judea
10379128
Searching for backbones and fat: a limit-crossing approach with applications
Backbone variables are the elements that are common to all optimal solutions of a problem instance. We call variables that are absent from every optimal solution <i>fat</i> variables. Identification of backbone and fat variables is a valuable asset when attempting to solve complex problems. In this paper, we demonstrate a method for identifying backbones and fat. Our method is based on an intuitive concept, which we refer to as <i>limit crossing</i>. Limit crossing occurs when we force the lower bound of a graph problem to exceed the upper bound by applying the lower-bound function to a constrained version of the graph. A desirable feature of this procedure is that it uses approximation functions to derive exact information about optimal solutions. In this paper, we prove the validity of the limit-crossing concept as well as other related properties. Then we exploit limit crossing and devise a pre-processing tool for discovering backbone and fat arcs for various instances of the Asymmetric Traveling Salesman Problem (ATSP). Our experimental results demonstrate the power of the limit-crossing method. We compare our pre-processor with the Carpaneto, Dell'Amico, and Toth pre-processor for several different classes of ATSP instances and reveal dramatic performance improvements.
3517573
A template-based and pattern-driven approach to situation awareness and assessment in virtual humans
Situation awareness and assessment are fundamental components of rational virtual humans. They are central parts of models of virtual humans and critical elements of efficient reasoning and planning systems. In this paper, we describe our efforts of developing the capability of situation awareness in autonomous, synthetic virtual pilots in a military domain. After briefly describing the motivations of this research, we present an agent architecture that integrates perception, reasoning with situation awareness, and actions. We describe a representation of situations, methods for situation assessment, and applications of situation awareness in information collection, and creating focused attention. The quantitative measure from our experiment shows that by using focused attention based on the ability of situation awareness, the perceptional load of virtual pilots is significantly reduced, reducing pilots’ response time by more than 50 percent.
1151096
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of clauses in a Boolean formula. A branch and bound algorithm based on the Davis-Putnam-Logemann-Loveland procedure (DPLL) is one of the most competitive exact algorithms for solving max-SAT. In this paper, we propose and investigate a number of strategies for max-SAT. The first strategy is a set of unit propagation or unit resolution rules for max-SAT. We summarize three existing unit propagation rules and propose a new one based on a nonlinear programming formulation of max-SAT. The second strategy is an effective lower bound based on linear programming (LP). We show that the LP lower bound can be made effective as the number of clauses increases. The third strategy consists of a binary-clause first rule and a dynamic-weighting variable ordering rule, which are motivated by a thorough analysis of two existing well-known variable orderings. Based on the analysis of these strategies, we develop an exact solver for both max-SAT and weighted max-SAT. Our experimental results on random problem instances and many instances from the max-SAT libraries show that our new solver outperforms most of the existing exact max-SAT solvers, with orders of magnitude of improvement in many cases.
28591822
Multicast Routing with Minimum Energy Cost and Minimum Delay in Wireless Sensor Networks
In this paper, we consider the multicast routing with minimum energy cost and minimum delay (MEMD) in wireless sensor networks under the access control scheme of Spatial Time Division Multiple Access (STDMA). We formulate and explore both MEMD multicast and ME multicast, and show that the latter is just the Maximum Leaf Spanning Tree (MLST) problem, which is NP-complete. A 2-approximation algorithm is proposed for the MLST problem through improving a known one. Based on this algorithm, an approximation algorithm is obtained for the MEMD multicast problem. To further improve the delay result, we provide another approximation algorithm for our main problem using a different approach. These algorithms are all near linear in the size of the network graph, and also are shown to have good performance by simulation results.
43211087
Simplify Decision Function of Reduced Support Vector Machines
Reduced Support Vector Machines (RSVM) was proposed as the alternate of standard support vector machines (SVM) in order to resolve the difficulty in the learning of nonlinear SVM for large data set problems. RSVM preselects a subset as support vectors and solves a smaller optimization problem, and it performs well with remarkable efficiency on training of SVM for large problem. All the training points of the subset will be support vectors, and more training points are selected into this subset results in high possibility to obtain RSVM with better generalization ability. So we first obtain the RSVM with more support vectors, and selects out training examples near classification hyper plane. Then only these training examples are used as training set to obtain a standard SVM with less support vector than that of RSVM. Computational results show that standard SVMs on the basis of RSVM have much less support vectors and perform equal generalization ability to that of RSVM.
27912320
Novel Preparation Scheme Of Monolithic Pyroelectric Thin Film Infrared Sensor
This paper presents a new preparation scheme of monolithic pyroelectric thin film infrared sensor. The sensor can be prepared directly on readout circuit and its electrode can be connected to the readout circuit through a via. PbTiO3 thin film is used as pyroelectric material. Porous SiO2 thin film is applied onto silicon wafer to improve the thermal isolation of the pyroelectric layer. Copper interconnection is used in readout circuit to solve the problem that aluminium interconnection can't endure the annealing temperature of PbTiO3 thin film.
6016662
Generalized optimal thresholding for biometric key generation using face images
In this paper, we study biometric key generation using face images. Given a face image, a set of biometric features are extracted. Each feature is compared with a threshold to generate a key-bit. By cascading the key-bits from all the features, we obtain one bio-key that can be used for security applications. The performance of a biometric key generation system, determined by the chosen thresholds, can be evaluated according to reliability and security. A generalized optimal thresholding method is proposed in this paper to improve the reliability by minimizing the authentication error rate and the security by maximizing the entropy of the generated key.
17966983
Flexible Workflow Driven Job Shop Manufacturing Execution and Automation Based on Multi Agent System
Manufacturing automation with adoptability to the changing environment is a competitive advantage for shop floors. This paper presents a flexible workflow enacted job shop manufacturing execution and automation system. The manufacturing process sequence of each part is modeled as an abstract workflow and each manufacturing job resulting in a batch of the part items is recognized as corresponding workflow instance. The production schedule is generated to establish executable workflow instances to be enacted by the workflow engine and executed by the resources in the shop floor. Agent technology is applied to construct the system to take the advantage of distributed system architecture, reactivity, adaptability and cooperation. The proposed system can help to achieve production efficiency without huge investment on industrial automation system. The system architecture and implementation methods are discussed with demonstration and the performance of manufacturing shop floor is enhanced after the application.