The classical problem of finding a clique of largest cardinality in an arbitrary graph is NP-complete. For that reason earlier work diverges into two directions. The first concerns algorithms solving the problem for a...
详细信息
The classical problem of finding a clique of largest cardinality in an arbitrary graph is NP-complete. For that reason earlier work diverges into two directions. The first concerns algorithms solving the problem for arbitrary graphs in reasonable (but exponential) time, the other restricts to special classes of graphs where polynomial methods can be found. Here, the two directions are combined in a way. A branch and bound algorithm is developed treating the general case. Computational experiments on random graphs show that this algorithm compares favorable to the fastest known method. Furthermore, it consumes only polynomial time for quite a few graph classes. For some of them no polynomial solution method is given so far.
This paper presents a branch-and-boundalgorithm for minimizing the sum of a convex function in x , a convex function in y and a bilinear term in x and y over a closed set. Such an objective function is called ...
详细信息
This paper presents a branch-and-boundalgorithm for minimizing the sum of a convex function in x , a convex function in y and a bilinear term in x and y over a closed set. Such an objective function is called biconvex with biconcave functions similarly defined. The feasible region of this model permits joint constraints in x and y to be expressed. The bilinear programming problem becomes a special case of the problem addressed in this paper. We prove that the minimum of a biconcave function over a nonempty compact set occurs at a boundary point of the set and not necessarily an extreme point. The algorithm is proven to converge to a global solution of the nonconvex program. We discuss extensions of the general model and computational experience in solving jointly constrained bilinear programs, for which the algorithm has been implemented.
We propose a method for performing material identification from radiographs without energy-resolved measurements. Material identification has a wide variety of applications, including in biomedical imaging, nondestruc...
详细信息
We propose a method for performing material identification from radiographs without energy-resolved measurements. Material identification has a wide variety of applications, including in biomedical imaging, nondestructive testing, and security. While existing techniques for radiographic material identification make use of dual energy sources, energy-resolving detectors, or additional (e.g., neutron) measurements, such setups are not always practical- requiring additional hardware and complicating imaging. We tackle material identification without energy resolution, allowing standard X-ray systems to provide material identification information without requiring additional hardware. Assuming a setting where the geometry of each object in the scene is known and the materials come from a known set of possible materials, we pose the problem as a combinatorial optimization with a loss function that accounts for the presence of scatter and an unknown gain and propose a branch and bound algorithm to efficiently solve it. We present experiments on both synthetic data and real, experimental data with relevance to security applications- thick, dense objects imaged with MeV X-rays. We show that material identification can be efficient and accurate, for example, in a scene with three shells (two copper, one aluminum), our algorithm ran in six minutes on a consumer-level laptop and identified the correct materials as being among the top 10 best matches out of 8,000 possibilities.
Wind turbine blades are usually made in batches and then matched in pairs or triples to form the rotor. This paper considers matching with the aim of avoiding or reducing the need for further adjustment of, say, the b...
详细信息
Wind turbine blades are usually made in batches and then matched in pairs or triples to form the rotor. This paper considers matching with the aim of avoiding or reducing the need for further adjustment of, say, the blade mass. Matching is considered optimal when it minimises the sum of the squared differences in the chosen matching parameter for all blade pairs or triples in a batch. It is proved that use of a simple parameter such as blade mass, or centre of mass, leads to optimal matching by ordering in terms of that parameter. More complex matching based on, say, minimising the eccentricity of the centre of mass, causes the parameter for one blade to depend on at least one other blade. Then ordering does not necessarily produce the optimal matching but, in all cases considered, it comes very close. A branch and bound algorithm is developed for complex matching and is shown to provide the optimal matching in a realistic time for batches of at least 20 blades.
In this article we develop a bounding procedure which is applied in an algorithm for determining the number of back-up components to include in a series system. Operating only when original units fail, back-up compone...
详细信息
In this article we develop a bounding procedure which is applied in an algorithm for determining the number of back-up components to include in a series system. Operating only when original units fail, back-up components increase system reliability. They also add weight, take up space, and cost money. Maximizing the reliability of nuclear power plants, ships, aircraft, life support systems and electronic instruments leads to this class of resource allocation problem. Because the procedure requires only that the rate of failure of individual components remains constant or increases with time, the algorithm can accommodate a wide variety of failure probability distributions. In applications, the failure probability for various types of components might belong to different families and this can be readily handled by the algorithm presented.
We examine a non-cyclic scheduling problem of a wet station that performs cleaning processes for removing residual contaminants on wafer surfaces. Several chemical and rinse baths, and multiple robots for transporting...
详细信息
We examine a non-cyclic scheduling problem of a wet station that performs cleaning processes for removing residual contaminants on wafer surfaces. Several chemical and rinse baths, and multiple robots for transporting jobs are linearly combined in a wet station. A wet station in a fab tends to have different types of jobs. Therefore, it is realistic to consider non-cyclic release of jobs into a wet station. We therefore examine a non-cyclic scheduling problem of a wet station that determines the task sequence of each robot so as to minimize the makespan of a given sequence of different jobs. We develop an efficient branch and bound procedure by examining the scheduling problem. To do this, we first develop a Petri net model for the scheduling problem. By identifying deadlock prevention conditions from the Petri net model, we eliminate partial solutions in advance that eventually will lead to a deadlock. By examining the feasible transition firings or state transition behavior of the Petri net model, we branch only feasible partial solutions or nodes that correspond to feasible state transitions or transition firings. We also develop a tight lower bound based on the bottleneck workload of the baths. We prove computational efficiency of the branch and bound procedure for practical problems.
Generalizations of the branch and bound method and of the Piyavskii method for solution of stochastic global optimization problems are considered. These methods employ the concept of a tangent minorant of an objective...
详细信息
Generalizations of the branch and bound method and of the Piyavskii method for solution of stochastic global optimization problems are considered. These methods employ the concept of a tangent minorant of an objective function as a source of global information about the function. Calculus of tangent minorants is developed.
One of the most important objectives of the storage and pickup operations in block stacking systems is to minimize the number of relocations during the pickup operation. This study suggests two methods for determining...
详细信息
One of the most important objectives of the storage and pickup operations in block stacking systems is to minimize the number of relocations during the pickup operation. This study suggests two methods for determining the locations of relocated blocks. First, a branch-and-bound (B&B) algorithm is suggested. Next, a decision rule is proposed by using an estimator for an expected number of additional relocations for a stack. The performance of the decision rule was compared with that of the B&B algorithm. (c) 2004 Elsevier Ltd. All rights reserved.
Hyperspectral reflectance imaging data are analyzed for poultry skin tumor detection. We consider selecting only a few wavebands from hyperspectral data for potential use in a real-time multispectral camera. To do thi...
详细信息
Hyperspectral reflectance imaging data are analyzed for poultry skin tumor detection. We consider selecting only a few wavebands from hyperspectral data for potential use in a real-time multispectral camera. To do this, we improve our prior tumor detection system by employing our new adaptive branch and bound algorithm and a support vector machine classifier. Our HS analysis is useful since it provides a guideline for selection of the specific wavelengths for best tumor detection (feature selection). Experimental results demonstrate that our optimal adaptive branch and bound algorithm is significantly faster than other versions of the branch and bound algorithm. We compare the performance of our feature selection algorithm to that of a feature extraction algorithm and show that using our feature selection algorithm gives a better tumor detection rate and a lower false alarm rate. (C) 2009 Elsevier Ltd. All rights reserved.
This paper addresses a non-myopic sensor-scheduling problem of how to select and assign active sensors for trading off the tracking accuracy and the radiation risk, where the radiation risk is incurred by the fact tha...
详细信息
This paper addresses a non-myopic sensor-scheduling problem of how to select and assign active sensors for trading off the tracking accuracy and the radiation risk, where the radiation risk is incurred by the fact that the emission energy originating from active sensors for target tracking can be intercepted by the enemy target. This problem is formulated as a mixed partially observable Markov decision process (POMDP) composed of a continuous-state POMDP for target tracking and a discrete-state POMDP for emission control. Based on the idea of foresight optimization, the long-term accuracy reward is evaluated by the combination of unscented transformation sampling and Kalman filtering, whereas the long-term radiation cost is derived from hidden Markov model filter. Because the problem can be converted into a decision tree, a branch and bound algorithm is developed for problem solution. A simulation example illustrates the effectiveness of our approach.
暂无评论