In the area of automatic parallelization of programs, analyzing and transforming loop nests with parametric affine loop bounds requires fundamental mathematical results. The most common geometrical model of iteration ...
详细信息
ISBN:
(纸本)081867542X
In the area of automatic parallelization of programs, analyzing and transforming loop nests with parametric affine loop bounds requires fundamental mathematical results. The most common geometrical model of iteration spaces, called the polytope model, is based on mathematics dealing with convex and discrete geometry, linear programming, combinatorics and geometry of numbers. In this paper, we present an automatic method for computing the number of integer points contained in a convex polytope or in a union of convex polytopes. The procedure consists of first, computing the parametric vertices of a polytope defined by a set of parametric linear constraints, and then computing the Ehrhart polynomial, i.e. a parametric expression of the number of integer points. The paper is illustrated with the computation of the maximum available parallelism of a given loop nest.
We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for in...
详细信息
We goal of the work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the experimentation platform COMPOzE for intention based composition. COMPOzE is based on constraint programming over finite domains of integers. We argue that constraint programming provides a suitable technology for this task and that the libraries and tools available for the constraint programming system Oz effectively support the implementation of COMPOzE. This work links the research areas of automatic music composition on one hand and finite domain constraint programming on the other, and contributes the tool COMPOzE, which practically demonstrates the potential of constraint programming to open up new areas of application for automatic music composition.
It would be desirable if computers could solve problems without the need for humans to write the detailed programmatic steps. That is, it would be desirable to have a domain independent automatic programming technique...
详细信息
It would be desirable if computers could solve problems without the need for humans to write the detailed programmatic steps. That is, it would be desirable to have a domain independent automatic programming technique in which "What You Want Is What You Get" (WYWIWYG). Genetic programming is such a technique. This paper surveys three examples of problems (from the fields of cellular automata and molecular biology) in which genetic programming evolved a computer program that produced results that were slightly better than human performance for the same problem. This paper then discusses the problem of electronic circuit synthesis in greater detail. It shows how genetic programming can evolve both the topology of a desired electrical circuit and the sizing (numerical values) for each component in a crossover (woofer and tweeter) filter. Genetic programming has also evolved the design for a lowpass filter, the design of an amplifier, and the design for an asymmetric bandpass filter that was described as being difficult-to-design.
AMPHION is a generic architecture that is specialized to a particular domain and subroutine library through a domain theory and domain-specific theorem-proving tactics. This paper discusses AMPHION-NAIF, the applicati...
详细信息
AMPHION is a generic architecture that is specialized to a particular domain and subroutine library through a domain theory and domain-specific theorem-proving tactics. This paper discusses AMPHION-NAIF, the application of AMPHION to the domain of solar system kinematics as implemented in the SPICELIB subroutine library. The Navigation Ancillary Information Facility (NAIF) at NASA's Jet Propulsion Laboratory (JPL) is charged with developing software to support the planetary science community in planning and analyzing the observation geometries of solar system bodies in interplanetary scientific missions. The objective of SPICELIB is to enable end-users in the planetary science community to construct their own application programs.< >
A new restricted programming language has been created to program task oriented machines. This led to a new method of integrating advanced production machinery. The method allows a design level to interface directly t...
详细信息
A new restricted programming language has been created to program task oriented machines. This led to a new method of integrating advanced production machinery. The method allows a design level to interface directly to a manufacturing environment. The manufacturing level advises on aspects of the production tasks which are necessary for the design. The method offers a route towards full factory automation, and integration with a design level. programming approaches at a factory level are presented, and novel techniques to fully automate factories are described. The framework allows the interrogation and programming of any level within a factory hierarchy. Each level of an automated factory hierarchy has been included and a case study is described to demonstrate a successful application of the approach. The results are presented and conclusions drawn.< >
The application of artificial intelligence (AI) in telecommunication has evolved over the past 10 years. A decade ago, AI approaches applied in telecommunication were primarily rule-based. Typical systems have been de...
详细信息
The application of artificial intelligence (AI) in telecommunication has evolved over the past 10 years. A decade ago, AI approaches applied in telecommunication were primarily rule-based. Typical systems have been developed which monitor the performance of networks continuously and search the resulting time varying diagnostic data using machine learning and correlation techniques, and generate a set of rules to predict potential failures before they occur. Hill climbing techniques for tuning parameters in the knowledge base of an existing diagnostic rule-based system, have also been developed.
Autocoding technology offers design aids and automatic code generation that reduce the cost of embedded signal processor design and eliminate hand code generation. This technology may be exploited in iterative design ...
详细信息
Autocoding technology offers design aids and automatic code generation that reduce the cost of embedded signal processor design and eliminate hand code generation. This technology may be exploited in iterative design strategies that more closely couple prototyping and system development. Prototype designs may be rapidly generated and evaluated within the context of a design optimization strategy. Automated generation of production code from top level designs reduces software development costs. The productivity enhancements autocoding technology provides enables signal processor codesign iteration within practical program budgets. This paper describes the autocoding technology being developed by Management Communications and Control, Inc. (MCCI) and illustrates its use in an approach to software design optimization for an embedded signal processor target architecture.
This paper outlines a cost-effective multiprocessor architecture that takes into consideration the importance of hardware and software costs as well as delivered performance in the context of real applications. The pr...
详细信息
This paper outlines a cost-effective multiprocessor architecture that takes into consideration the importance of hardware and software costs as well as delivered performance in the context of real applications. The proposed architecture, HPAM, is organized as a hierarchy of processors-and-memory subsystems. Each subsystem contains a homogeneous parallel machine. Across the levels of the hierarchy, processor speeds and interconnection technology vary. The HPAM design is driven by several considerations: the observed characteristics of real applications, cost-efficiency considerations and the need for ease-of-usage. Rationales and the results of a preliminary study that motivated the design of this architecture are presented. These results include benchmark data that expose the advantages of HPAM over other architectures. Technology trends that support the desirability and viability of the proposed machine organization are also presented. Two classes of applications that demand 100 Teraops computation rates and that will drive future HPAM work are discussed. Furthermore a flexible software environment is proposed for this architecture, which facilitates several programming scenarios: automatic program translation, library based programming and performance-guided coding by expert programmers.
The irregular ventricular (V) rate of atrial fibrillation (AF) may contribute to adverse hemodynamics and symptoms. An algorithm that adjusts pacing rate based on RR interval mean absolute difference (MADIFF) to reduc...
详细信息
The irregular ventricular (V) rate of atrial fibrillation (AF) may contribute to adverse hemodynamics and symptoms. An algorithm that adjusts pacing rate based on RR interval mean absolute difference (MADIFF) to reduce AF V rate variability was tested. Previous algorithms used a fixed % of V pacing to change pacing rate. Patients with chronic AF, intact AV nodal conduction, and a pacemaker were studied during V rate stabilization (VRS) pacing and control. Previous work showed that cardiac output was inversely related to the % of RRs which were short relative to the preceding RR. VRS eliminated 74% and 81% of cycles more than 10% and 20% shorter than the preceding RR interval. MADIFF was better correlated to the % of cycles more than 10% and 20% less than the preceding RR than was % pacing. Hence, a MADIFF-based VRS algorithm reduced the % of short RRs and may be a better indicator/controller of hemodynamic performance in AF than % pacing.
Ultrafast coherent spectroscopy techniques such as four-wave mixing rely on nonlinearities in the optical properties, that may produce time reversal or a χ(3). Consequently, relatively high excitation powers are need...
详细信息
Ultrafast coherent spectroscopy techniques such as four-wave mixing rely on nonlinearities in the optical properties, that may produce time reversal or a χ(3). Consequently, relatively high excitation powers are needed to produce a sufficient signal-to-noise ratio. Here we present a new ultra-sensitive technique based on the Doppler effect that allows for coherent spectroscopy without the need of a nonlinearity. We demonstrate our technique by measuring the quantum beat between the light- and heavy-hole excitons in a quantum well at extremely low excitation powers.
暂无评论