73,600 research outputs found
A Knowledge Compilation Map
We propose a perspective on knowledge compilation which calls for analyzing
different compilation approaches according to two key dimensions: the
succinctness of the target compilation language, and the class of queries and
transformations that the language supports in polytime. We then provide a
knowledge compilation map, which analyzes a large number of existing target
compilation languages according to their succinctness and their polytime
transformations and queries. We argue that such analysis is necessary for
placing new compilation approaches within the context of existing ones. We also
go beyond classical, flat target compilation languages based on CNF and DNF,
and consider a richer, nested class based on directed acyclic graphs (such as
OBDDs), which we show to include a relatively large number of target
compilation languages
Scope States (Artifact)
Compilers that can type check compilation units in parallel can make more efficient use of multi-core architectures, which are nowadays widespread. Developing parallel type checker implementations is complicated by the need to handle concurrency and synchronization of parallel compilation units. This artifact contains benchmarks and sources for a new framework for implementing hierarchical type checkers that provides implicit parallel execution in the presence of dynamic and mutual dependencies between compilation units. The resulting type checkers can be written without explicit handling of communication or synchronization between different compilation units. We achieve this by providing type checkers with an API for name resolution based on scope graphs, a language-independent formalism that supports a wide range of binding patterns. Our framework is implemented in Java using the actor paradigm. We evaluated our approach by parallelizing the solver for Statix, a meta-language for type checkers based on scope graphs, using our framework. Benchmarks show that the approach results in speedups for the parallel Statix solver of up to 5.0x on 8 cores for real-world code bases
Investigation of MAGSAT and TRIAD magnetometer data to provide corrective information on high-latitude external fields
The compilation of a catalog of the MAGSAT-observed high altitude disturbances is discussed and an example of contents and format is given. The graphs allow the investigation of Birkeland current signatures which are superimposed upon the main geomagnetic field. An example of a display of the MAGSAT orbital tracks in a polar geomagnetic coordinate system with the locations, flow directions, and intensities of field aligned currents shown in color is also given. The display was generated using an interactive color graphics terminal
Variations in atmospheric angular momentum
Twice-daily values of the atmosphere's angular momentum about the polar axis during the five years from 1976 through 1980 are presented in graphs and a table. The compilation is based on a global data set, incorporating 90 percent of the mass of the atmosphere. The relationship between changes in the angular momentum of the atmosphere and changes in the length of day is described, as are the main sources of error in the data. The variability in angular momentum is revealed in a preliminary fashion by means of a spectral decomposition. The data presented should stimulate comparisons with other measures of the length of day and so provide a basis for greater understanding of Earth-atmosphere interactions
- …