A data warehouse collects and maintains a large amount of data from several distributed and heterogeneous data sources. Often the data is stored in the form of materialized views in order to provide fast access to the...
详细信息
A data warehouse collects and maintains a large amount of data from several distributed and heterogeneous data sources. Often the data is stored in the form of materialized views in order to provide fast access to the integrated data, regardless of the availability of the data sources. In this paper we focus on the following problem: for a given set of materialized select-project-join (SPJ) views, how can we find and minimize the auxiliary data stored in a data warehouse in order to make all materialized views in the data warehouse self-maintainable? For this problem we first devise an algorithm for finding such an auxiliary view set by exploiting information sharing among the auxiliary views and materialized views themselves to reduce the total size of auxiliary views. We then consider how to make the data warehouse still self-maintainable by minor modifications when there is a view addition to or deletion from it by giving an algorithm for this incremental maintenance purpose. (C) 1999 Elsevier Science B.V. All rights reserved.
Chordal graphs are graphs with the property that each cycle of length greater than 3 has two non-consecutive vertices that are joined by an edge. An important subclass of chordal graphs are strongly chordal graphs (Fa...
详细信息
Chordal graphs are graphs with the property that each cycle of length greater than 3 has two non-consecutive vertices that are joined by an edge. An important subclass of chordal graphs are strongly chordal graphs (Farber, 1983). Chordal graphs appear for example in the design of acyclic data base schemes (Beeri et al., 1983). In this paper we study the computational complexity (both sequential and parallel) of the maximum matching problem for chordal and strongly chordal graphs. We show that there is a linear-time greedy algorithm for a maximum matching in a strongly chordal graph provided a strongly perfect elimination ordering is known. This algorithm can also be turned into a parallel algorithm. The technique used can also be extended to the perfect multidimensional matching for chordal and strongly chordal graphs yielding the first polynomial time algorithms for these classes of graphs (the multidimensional matching is NP-complete in general). (C) 1998 Elsevier Science B.V. All rights reserved.
The potential 48-satellite constellation offered by the combination of observations from both the GPS and GLONASS positioning systems has created considerable interest among existing GPS users. In the published litera...
详细信息
The potential 48-satellite constellation offered by the combination of observations from both the GPS and GLONASS positioning systems has created considerable interest among existing GPS users. In the published literature, a considerable amount of work has been devoted to the theoretical issue of algorithm design for combined GPS/GLONASS positioning solutions. Little work has been published, however, on the practical conversion of existing GPS software to include GLONASS observations. This paper considers the computation issues pertaining to the GLONASS broadcast ephemeris for inclusion of GLONASS observations into existing GPS software. The format of the GLONASS broadcast ephemeris is discussed and theory of satellite orbits and their stepwise numerical integration is reviewed. Finally, a strategy for GLONASS broadcast ephemeris computation is proposed to facilitate combination of GPS and GLONASS observations. (c) 1998 John Wiley & Sons, Inc.
A key challenge in defense and security systems is to implement functionality within a power budget. We show how data bandwidth redundancy and the need to change performance is exploited to achieve power efficient, fi...
详细信息
A key challenge in defense and security systems is to implement functionality within a power budget. We show how data bandwidth redundancy and the need to change performance is exploited to achieve power efficient, field programmable gate array realizations with improved sampling rates. A unified methodology is given for the implementation of a key function, the fast Fourier transform, for a Radar-based digital receiver. Locality of data, temporal and spatial resource usage are examined from first principles, leading to an algorithmic approach that demonstrates substantial industrial benefits in terms of power, performance and resource usage. A power saving of 18% is achieved over a Cooley Tukey design with a 100% speed improvement;the work is extended to other cyclical fast algorithms.
Deep penetration of personal computing devices and high-speed Internet has enabled everyone to be a broadcaster. In this crowdsourced live streaming service, numerous amateur broadcasters lively stream their video con...
详细信息
Deep penetration of personal computing devices and high-speed Internet has enabled everyone to be a broadcaster. In this crowdsourced live streaming service, numerous amateur broadcasters lively stream their video contents to viewers around the world. Consequently, these broadcasters generate a massive amount of video data. The set of video sources and recipients are big as well, so are demand for the storage and computational resources. Transcoding becomes a must to better service these viewers with different network and device configurations. However, the massive amount of video data contributed by countless channels even makes cloud significantly expensive for providing transcoding services to the whole community. In this paper, inspired by the paradigm of Edge Computing, we propose a Cloud-edge collaborative system which combines the idle end-viewers' resources with the cloud to transcode the massive amount of videos at scale. Specifically, we put forward tailored viewer selection algorithms after empirically analyses the viewer behavior data. In the meantime, we propose auction-based payment schemes to motivate these viewers participating in the transcoding. Large-scale trace-driven simulations demonstrate the superiority of our approach in cost reduction and service stability. We further implement a prototype in PlanetLab to prove the feasibility of our design.
Recently, degree-of-freedom (DoF)-based models have been widely used to study MIMO network performance. Existing DoF-based models differ in their interference cancellation (IC) behavior and many of them suffer from ei...
详细信息
Recently, degree-of-freedom (DoF)-based models have been widely used to study MIMO network performance. Existing DoF-based models differ in their interference cancellation (IC) behavior and many of them suffer from either loss of solution space or possible infeasible solutions. To overcome these limitations, a new DoF-based model, which employs an IC scheme based on node-ordering was proposed. In this paper, we apply this new DoF IC model to study a throughput maximization problem in a multihop MIMO network. The problem formulation involves joint consideration of flow routing and DoF allocation and falls in the form of a mixed-integer linear program (MILP). Our main contribution is an efficient polynomial time algorithm that offers a competitive solution to the MILP through a series of linear programs (LPs). The algorithm employs a sequential fixing framework to obtain an initial feasible solution and then improves the solution by exploiting: 1) the impact of node ordering on DoF consumption for IC at a node and 2) route diversity in the network. Simulation results show that the solutions obtained by our proposed algorithm are competitive and feasible.
Background: Most dynamical models for genomic networks are built upon two current methodologies, one process-based and the other based on Boolean-type networks. Both are problematic when it comes to experimental desig...
详细信息
Background: Most dynamical models for genomic networks are built upon two current methodologies, one process-based and the other based on Boolean-type networks. Both are problematic when it comes to experimental design purposes in the laboratory. The first approach requires a comprehensive knowledge of the parameters involved in all biological processes a priori, whereas the results from the second method may not have a biological correspondence and thus cannot be tested in the laboratory. Moreover, the current methods cannot readily utilize existing curated knowledge databases and do not consider uncertainty in the knowledge. Therefore, a new methodology is needed that can generate a dynamical model based on available biological data, assuming uncertainty, while the results from experimental design can be examined in the laboratory. Results: We propose a new methodology for dynamical modeling of genomic networks that can utilize the interaction knowledge provided in public databases. The model assigns discrete states for physical entities, sets priorities among interactions based on information provided in the database, and updates each interaction based on associated node states. Whenever uncertainty in dynamics arises, it explores all possible outcomes. By using the proposed model, biologists can study regulation networks that are too complex for manual analysis. Conclusions: The proposed approach can be effectively used for constructing dynamical models of interaction-based genomic networks without requiring a complete knowledge of all parameters affecting the network dynamics, and thus based on a small set of available data.
A number of methods have been proposed for suffix sorting on internal memory of RAM and external memory of hard disks. The current best results for suffix sorting on internal or external memory are achieved by several...
详细信息
A number of methods have been proposed for suffix sorting on internal memory of RAM and external memory of hard disks. The current best results for suffix sorting on internal or external memory are achieved by several algorithms using the induced sorting (IS) method in various ways. While these algorithms are efficient, the internal ones are much different from those external in terms of the algorithm designs. A scalable IS method that can be applied for suffix sorting on both internal and external memory is highly desired. This article proposes a blockwise IS method to facilitate pipelined access on internal memory and sequential I/Os on external memory. The detailed algorithm of using this method for a 4-stage pipeline with multiple threads is described, where multiple threads are applied to parallelize not only the pipelined stages of consecutive blocks but also the tasks within each stage wherever possible. This algorithm is evaluated by our experiments on a set of realistic and artificial datasets to achieve better overall time and space performance than the existing best results from pSACAK, pDSS and pKS. Beside sorting suffixes on internal memory in linear time, the proposed method can be ported to external memory for sorting massive suffixes in linear I/O complexity.
作者:
He, JYao, XLi, JUniv Birmingham
Sch Comp Sci Ctr Excellence Res Computat Intelligence & Applic Birmingham B15 2TT W Midlands England
This paper compares three different evolutionary algorithms for solving the node covering problem: EA-I relies on the definition of the problem only without using any domain knowledge, while EA-II and EA-III employ ex...
详细信息
This paper compares three different evolutionary algorithms for solving the node covering problem: EA-I relies on the definition of the problem only without using any domain knowledge, while EA-II and EA-III employ extra heuristic knowledge. In theory, it is proven that all three algorithms can find an optimal solution in finite generations and find a feasible solution efficiently;but none of them can find the optimal solution efficiently for all instances of the problem. Through experiments, it is observed that all three algorithms can find a feasible solution efficiently, and the algorithms with extra heuristic knowledge can find better approximation solutions, but none of them can find the optimal solution to the first instance efficiently. This paper shows that heuristic knowledge is helpful for evolutionary algorithms to find good approximation solutions, but it contributes little to search for the optimal solution in some instances.
To satisfy real-time requirements, collision detection algorithms should be stable and efficient, and should be capable of accurate detection. This paper presents a collision detection algorithm that is based on the c...
详细信息
To satisfy real-time requirements, collision detection algorithms should be stable and efficient, and should be capable of accurate detection. This paper presents a collision detection algorithm that is based on the concept of dimension reduction of imitating latitude and longitude space. We achieve a rough and accurate detection function of the algorithm after four steps including latitude detection, bounding box detection, crossing-algorithm detection, and an affine coordinate system for accurate detection. The efficiency of the proposed collision detection algorithm is higher than that of the aligned axis bounding box (AABB) collision detection algorithm in terms of both rough detection and accurate detection. The efficiencies of coarse detection and accurate detection are basically the same, and the efficiencies of both types of detection are stable. The proposed collision detection algorithm has good stability, high efficiency, and accurate detection, and it can be used as the core algorithm of a collision detection module in virtual surgery training systems.
暂无评论