10316561
Variable-depth trie index optimization: theory and experimental results
We develop an efficient approach to Trie index optimization. A Trie is a data structure used to index a file having a set of attributes as record identifiers. In the proposed methodology, a file is horizontally partitioned into subsets of records using a Trie index whose depth of indexing is allowed to vary. The retrieval of a record from the file proceeds by “stepping through” the index to identify a subset of records in the file in which a binary search is performed. This paper develops a taxonomy of optimization problems underlying variable-depth Trie index construction. All these problems are solvable in polynomial time, and their characteristics are studied. Exact algorithms and heuristics for their solution are presented. The algorithms are employed in CRES-an expert system for editing written narrative material, developed for the Department of the Navy. CRES uses several large-to-very-large dictionary files for which Trie indexes are constructed using these algorithms. Computational experience with CRES shows that search and retrieval using variable-depth Trie indexes can be as much as six times faster than pure binary search. The space requirements of the Tries are reasonable. The results show that the variable-depth Tries constructed according to the proposed algorithms are viable and efficient for indexing large-to-very-large files by attributes in practical applications.
6173091
Automata-driven indexing of Prolog clauses
Indexing Prolog clauses is an important optimization step that reduces the number of clauses on which unification will be performed and can avoid the pushing of a choice point. It is quite desirable to increase the number of functors used in indexing as this can considerably reduce the size of the filtered set. However this can cause an enormous increase in running time if indexing is done naively. This paper describes a new technique for indexing that utilizes all the functors in a clause-head. More importantly, in spite of using all the functors, this technique is still able to quickly select relevant clause-heads at run time. This is made possible primarily by a finite-state automaton that guides the indexing process. The automaton is constructed at compile time by preprocessing all the clause-heads.
42187803
Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems
In [8] we described a nonlinear pattern-matching algorithm with the best known worst-case and optimal average-case time complexity. In this paper we first report on some experiments conducted on our algorithm. Based on these experiments we believe that our algorithm is useful in speeding up normalization of nonlinear rewrite systems even when it has a small number (≥5) of rewrite rules.
100663548
La 0.5 Sr 0.5 CoO 3 electrode technology for Pb(Zr,Ti)O 3 thin film nonvolatile memories
Abstract Oxide electrode technology is investigated for optimization of Pb(Zr,Ti)O 3 (PZT) thin film capacitor properties for high density nonvolatile memory applications. PZT thin film capacitors with RF sputter deposited La 0.5 Sr 0.5 CoO 3 (LSCO) electrodes have been characterized with respect to the following parameters: initial dielectric hysteresis loop characteristics, fatigue performance, microstructure and imprint behavior. Our studies have determined that the fatigue of PZT capacitors with LSCO electrodes is less sensitive to B site cation ratio and underlying electrode stack technology than with RuO 2 electrodes. Doping PZT thin films with Nb (PNZT) improves imprint behavior of LSCO//PZT//LSCO capacitors considerably. We have demonstrated that PNZT 4/30/70 // LSCO capacitors thermally processed at either 550°C or 675°C have almost identical initial hysteresis properties and exhibit essentially no fatigue out to approximately 10 10 cycles.
60708157
Multicriteria jobshop scheduling
Abstract Jobshop scheduling is one of the important classes of problems in production planning. The jobshop represents a common manufacturing environmental, in which a set of machines is used to process a stream of jobs arriving randomly. The stochastic arrival pattern of the jobs, their processing sequences, and processing times render the scheduling of jobs in a jobshop a complex and difficult task. Furthermore, the scheduling task involves multiple conflicting objectives such as the minimization of the flow time, lateness and the number of late jobs among others. In this research, we develop a framework for the efficient scheduling of jobs in the presence of these multiple objectives. The motivation for this research arises from the good performance of the interactive man-machine scheduling systems in achieving significant levels of attainment in the set of objectives, simultaneously. We develop scheduling strategies similar to the man-machine approach in this research.
120676923
Preference Structure Representation Using Convex Cones in Multicriteria Integer Programming
A new efficient system of representing the decision-maker's preference structure in solving multicriteria integer programming problems is developed. The problem is solved by an interactive branch-and-bound method that employs the procedure of Zionts and Wallenius Zionts, S., J. Wallenius. 1983. An interactive multiple objective linear programming method for a class of underlying nonlinear utility functions. Management Sci.295. for multicriteria linear programming. The decision-maker's underlying utility function is assumed to be pseudoconcave, and his pairwise comparisons of decision alternatives are used to determine his preference structure in terms of certain convex cones in the objective function space and constraints on the weights on the objectives in the weight space. The two forms of preference structure representation are interrelated, and their underlying theory is developed. The primary objective of a representation scheme is exactness, and, in this respect, it is shown that the constraints on the weights are not adequate for representing nonlinear utility functions. On the other hand, the convex cones exactly represent any quasiconcave utility function and clearly avoid the approximations and inaccuracies in other utility assessment systems. Accordingly, an efficient ordered representation using convex cones is developed. An algorithmic framework for multicriteria integer programming that integrates the representation using convex cones with the branch-and-bound solution procedure is developed. Computational experience with bicriteria problems having up to 80 variables and 40 constraints is presented.
13648716
EARS: An online bibliographic search and retrieval system based on ordered explosion
Abstract Ergonomics Abstracts Retrieval System (EARS) is an online bibliographic information search and retrieval system using the hierarchical subject classification of the Ergonomics Abstracts . EARS is designed using an inverted file organization and is implemented on CDC-Cyber. The data base of abstracts is organized using a fixed-length record format, where each logical record corresponds to a variable number of fixed-length physical records. Accordingly, an index for the identification of physical records from the logical records is used. The data base is inverted on a three-level hierarchical classification scheme and postings files are used for data base inversion. The data base is accessed after selectively traversing a 4-layer structure of indexes and postings files. EARS provides facilities to perform combinations of searches, limited searches, and certain editing functions. The system is currently used extensively by the Western New York Human Factors research community. The logical and physical designs of EARS, its interactive operational features, and its current expansions are described in this paper.
32066139
Topographically discounted Internet infrastructure resources: a panel study and econometric analysis
The Internet infrastructure is increasingly utilized for the provision and delivery of a variety of services. The rapid growth and substantial demand fluctuations of the supported services are placing strain on the service providers to effectively manage their infrastructure resources. Capacity Provision Network (CPN) is a market-driven mechanism that enables the service providers to efficiently allocate, share and trade service capabilities. Central to the operation of CPN is the notion of discounted capacities which capture the underlying topology of the Internet. It serves as a practical instrument for service providers to evaluate the utility of capacity services available at remote sites vis-à-vis the capacities available locally and from the content providers. We conducted an Internet based longitudinal field experiment to empirically assess and validate the critical properties of discount factors. Our analysis reveals that discount factors exhibit markedly lower volatility than network delays, and are more stable over seasonal and temporal trend patterns. The results related to size effects suggest that sharing and trade agreements with larger content can be particularly effective. Our finding on the existence of the concavity property points to the ability of intermediation services to enhance the overall gains from resource sharing arrangements.
10727206
A New Scheduling Algorithms For Real Time Tasks
The main objective of this paper is to develop the two different ways in which round robin architecture is modified and made suitable to be implemented in real time and embedded systems. The scheduling algorithm plays a significant role in the design of real time embedded systems. Simple round robin architecture is not efficient to be implemented in embedded systems because of higher context switch rate, larger waiting time and larger response time. Missing of deadlines will degrade the system performance in soft real time systems. The main objective of this paper is to develop the scheduling algorithm which removes the drawbacks in simple round robin architecture. A comparison with round robin architecture to the proposed architectures has been made. It is observed that the proposed architectures solves the problems encountered in round robin architecture in soft real time by decreasing the number of context switches waiting time and response time thereby increasing the system throughput.