17180210
An efficient distributed algorithm for constructing delay- and degree-bounded application-level multicast tree
In this paper we investigate the problem of finding a delay- and degree-bounded maximum sum of nodes application level multicast tree. We then proved the problem is NP-hard, and its relationship with the well-studied degree-bounded minimum maximum-delay multicast tree problem. We propose a distributed algorithm - OverStream, which adopts PPAF heuristic for father node to choose optimal child nodes based on multiple network parameters. Simulation results show that our algorithm is better than OMNI, SpreadIt, HMTP, and Zigzag in general.
33185687
Supremum of Agent Number Needed in Analyzing Security Protocols Based on Horn Logic
12282317
A note on “a mapping algorithm for computer-assisted exploration in the design of embedded systems”
The scaling of autoclave and leaching-equipment surfaces during the high pressure leaching of nickeliferous oxide and silicate ores is controlled during leaching to favor the formation of scale containing substantial amounts of magnesium sulfate that is more easily removed by chemical dissolution using water or dilute sulfuric acid at temperatures ranging from about 50 DEG C. to 250 DEG C. than scale containing substantial amounts of alunite.
15977207
Exploiting hierarchical CP-nets to increase the reliability of Web services workflow
Individual Web services can be composed together to form value-added composite Web services represented as business process workflow. However, the value of such composite Web services is directly influenced by the reliability of the composite services. Composing Web services is not an easy task and is error-prone, so there is a growing interest for the verification techniques which enable designers to find and repair design errors even before actual running of the service, or allow designers to detect erroneous properties such as deadlocks or livelocks and formally verify whether the service process design does have certain desired properties (such as consistency with the conversation protocols of partner service). In this paper, we present to analyze and verify Web services composition by using some kind of colored Petri nets (CP-nets) called hierarchical CP-nets, which combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. Services composition proposals can be transformed by transformation rules into CP-nets, which can be simulated to analyze the performance and verified to investigate behavioral properties by exploiting existing CP-nets specialized tools
28489429
Transmission Scheduling in Data-Driven Peer-to-Peer Streaming towards Optimal Throughput
Peer-to-peer media streaming has been an important service on the internet in recent years. The Data-driven (or mesh-based) structure is adopted by most working systems,in which data scheduling is one of the important problems.However, those frequently used scheduling algorithms are often faced with such a case: A neighbor peer takes up its bandwidth to deliver the packets that other neighbors can also supply, but some packets only held by it are not delivered.These packets can not be delivered in the current scheduling cycle, even though that the other neighbors have surplus bandwidth. This is a kind of waste of bandwidth and decreases the throughput of transmission. In this paper we propose anew scheduling algorithm aiming at the optimal throughput:Bipartite-matching based Block Scheduling algorithm(BBS).We convert the original data scheduling problem to a problem of finding a maximum match on the correspond bipartite graph, then assign data packets to neighbors according to the maximum match. We evaluate the performance of BBS with extensive experiments and the results show that BBS throughput and provides better streaming quality than those frequently used scheduling algorithms.
6983597
A Comparative Study of Parallel Prefix Adders in FPGA Implementation of EAC
Several regular parallel trees have been proposed over the years to optimize logic depth, area, fan-out and in- terconnect count for logic circuits. In this paper, we propose a comparative study of different parallel prefix trees used in the design of a new end-around carry (EAC) adder targeting FPGA technology. This new adder is based on the fast 128-bit binary floating-point EAC adder which has been implemented in the IBM POWER6 microprocessor's fused multiply-add unit. The parallel prefix tree implemented on the IBM's EAC adder is a Kogge-Stone tree which has been chosen for its high performance and its low power consumption. Our comparative study highlights the main performance differences among fourteen different architecture configurations when targeting an FPGA EAC adder design. We focus on the area requirements and the critical path delay of these designs. Our experimental results show that there is one architecture configuration with the lower area requirement and the higher performance.
26250215
Wideband Signal DOA Estimation Based on Modified Quantum Genetic Algorithm
A new wideband signal DOA estimation algorithm based on modified quantum genetic algorithm (MQGA) is proposed in the presence of the errors and the mutual coupling between array elements. In the algorithm, the narrowband signal subspace fitting method is generalized to wideband signal DOA finding according to the character of space spectrum of wideband signal, and so the rule function is constructed. Then, the solutions is encoded onto chromosomes as a string of binary sequence, the variable quantum rotation angle is defined according to the distribution of optimization solutions. Finally, we use the MQGA algorithm to solve the nonlinear global azimuths optimization problem, and get optimization azimuths by fitness values. The computer simulation results illustrated that the new algorithm have good estimation performance.
18928608
An Improved Particle Swarm Optimizer for Truss Structure Optimization
This paper presents an improved particle swarm optimizer (IPSO) for solving truss structure optimization problems. The algorithm is based on the particle swarm optimizer with passive congregation (PSOPC) and a harmony search (HS) scheme. It handles the problem-specified constraints using a 'fly-back mechanism' method and the variables' constraints using the harmony search scheme. The IPSO is tested on a planar truss structure optimization problem and is compared with the PSO and the PSOPC algorithm respectively. The result shows that the IPSO method presented in this paper is able to accelerate the convergence rate effectively and has the fastest convergence rate among these three other algorithms
15273775
Learning Microarray Gene Expression Data by Hybrid Discriminant Analysis
Microarray technology offers a high-throughput means to study expression networks and gene regulatory networks in cells. The intrinsic nature of high dimensionality and small sample size in microarray data calls for effective computational methods. In this article, we propose a novel hybrid dimension reduction technique for classification that combines principal component analysis (PCA) and linear discriminant analysis (LDA)-hybrid PCA and LDA analysis. This technique effectively solves the singular scatter matrix problem caused by small training samples and increases the effective dimension of the projected subspace. It offers more flexibility and a richer set of alternatives to LDA and PCA in the parametric space. In addition, we propose a boosted hybrid discriminant analysis (HDA), using the AdaBoost algorithm which provides a unified and stable solution to find close to the optimal PCA-LDA prediction result and also reduces computational complexity. Extensive experiments on the yeast cell cycle regulation data set show the superior performance of the hybrid analysis, as we explain.
9882029
The Group Search Optimizer and its Application on Truss Structure Design
This paper introduces a novel optimization algorithm, group search optimization (GSO) algorithm and its implementation method is presented in detail. The GSO is used to investigate the planar and space truss structures with continuous variables and is tested by two truss optimization problems. The optimization results are compared with that of the particle swarm optimization (PSO) algorithm, the particle swarm optimization with passive congregation (PSOPC) and the heuristic particle swarm optimizer (HPSO) algorithm. Results from the two tested cases illustrate the ability of the GSO algorithm to find the optimal results, which are better than that of the PSO and PSOPC, while are at the same level of that of HPSO optimization method. Meanwhile, the results also show that the GSO algorithm maintains a preferable convergence accuracy among these four algorithms.
11689877
A Projection and Search Algorithm for the Bicluster Problem
The advent of microarray technologies has made the experimental study of gene expression faster and more efficient. It is an important task to analyze the gene expression data acquired from the microarray experiments. Biclustering is a popular method to search a subset of genes which exhibit similar expression patterns along a subset of conditions in the gene expression matrix. In this paper, we propose a projection and search algorithm (PSA) for finding biclusters in the gene expression matrix. The algorithm adopts projection method to find a raw submatrix, then refines and extends the raw submatrix into a bicluster using greedy algorithms. We test the algorithm on simulation data and real data. The test results show that the algorithm has good performance on both simulation data and real data. Additionally, compared with other methods, PSA isnpsilat sensitive to noise level.