NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Generation and exploration of aggregation abstractions for scheduling and resource allocationThis paper presents research on the abstraction of computational theories for scheduling and resource allocation. The paper describes both theory and methods for the automated generation of aggregation abstractions and approximations in which detailed resource allocation constraints are replaced by constraints between aggregate demand and capacity. The interaction of aggregation abstraction generation with the more thoroughly investigated abstractions of weakening operator preconditions is briefly discussed. The purpose of generating abstract theories for aggregated demand and resources includes: answering queries about aggregate properties, such as gross feasibility; reducing computational costs by using the solution of aggregate problems to guide the solution of detailed problems; facilitating reformulating theories to approximate problems for which there are efficient problem-solving methods; and reducing computational costs of scheduling by providing more opportunities for variable and value-ordering heuristics to be effective. Experiments are being developed to characterize the properties of aggregations that make them cost effective. Both abstract and concrete theories are represented in a variant of first-order predicate calculus, which is a parameterized multi-sorted logic that facilitates specification of large problems. A particular problem is conceptually represented as a set of ground sentences that is consistent with a quantified theory.
Document ID
19930022939
Document Type
Conference Paper
Authors
Lowry, Michael R. (NASA Ames Research Center Moffett Field, CA, United States)
Linden, Theodore A. (Advanced Decision Systems Mountain View, CA., United States)
Date Acquired
September 6, 2013
Publication Date
February 1, 1993
Publication Information
Publication: NASA. Lyndon B. Johnson Space Center, The Sixth Annual Workshop on Space Operations Applications and Research (SOAR 1992)
Subject Category
ADMINISTRATION AND MANAGEMENT
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle19930022908Analytic PrimaryThe Sixth Annual Workshop on Space Operations Applications and Research (SOAR 1992)