检索结果-内蒙古大学图书馆

International Conference on Application-Specific Systems, Architectures and Processors

作者： Clauss, P Loechner, V UNIV STRASBOURG 1 ICPSF-67400 ILLKIRCH GRAFFENSFRANCE

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.

关键词： Polytopes Parametric analysis Convexity Parametric Integer iterative methods geometry automatic calculation automatic programming

来源：评论

学校读者我要写书评

暂无评论

COMPOzE-intention-based music composition through constraint programming

COMPOzE-intention-based music composition through constraint...

引用

International Conference on Tools for Artificial Intelligence (ICTAI)

作者： M. Henz S. Lauer D. Zimmermann Programming Systems Laboratory University of Saarland Saarbruecken Germany Computer Science Department University of Saarland Saarbruecken Germany Graduate School for Cognitive Science University of Saarland Saarbruecken Germany

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.

关键词： Multiple signal classification Application software Computer science Cognitive science Electronic mail Libraries automatic programming Music Concrete Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Four problems for which a computer program evolved by genetic programming is competitive with human performance

Four problems for which a computer program evolved by geneti...

引用

IEEE International Conference on Evolutionary Computation

作者： J.R. Koza F.H. Bennett D. Andre M.A. Keane Computer Science Department University of Stanford Stanford CA USA Econometrics Inc. Chicago IL USA

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.

关键词： Genetic programming Humans Computer science automatic programming Band pass filters Genetic algorithms Genetic mutations Cells (biology) Biology computing Electronic circuits

来源：评论

学校读者我要写书评

暂无评论

AMPHION: automatic programming for subroutine libraries

AMPHION: automatic programming for subroutine libraries

引用

Knowledge-Based Software Engineering Conference

作者： M. Lowry A. Philpot T. Pressburger I. Underwood Recom Technologies AI Research Branch M.S. 269-2 NASA Ames Research Center Moffett Field CA USA

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.< >

关键词： automatic programming Algorithms Software libraries Application software Solar system Kinematics Aircraft navigation Propulsion Laboratories Information analysis

来源：评论

学校读者我要写书评

暂无评论

A framework for the automatic programming of advanced production machinery

A framework for the automatic programming of advanced produc...

引用

EUROMICRO Conference

作者： G.E. Tewkesbury D.A. Sanders Department of Mechanical & Manufacturing Engineering University of Portsmouth UK

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.< >

关键词： automatic programming Machinery Computer languages Production facilities Robotics and automation programming profession Service robots Design methodology Manufacturing automation Robot kinematics

来源：评论

学校读者我要写书评

暂无评论

AI in telecommunications: Introduction

引用

IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS 1996年第1期11卷 36-36页

作者： Seshadri, V AT&T Bell Lab Middletown United States

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.

关键词： Artificial intelligence Data mining Base stations Intelligent networks Time varying systems Knowledge based systems Simulated annealing Genetic algorithms automatic programming Error correction

来源：评论

学校读者我要写书评

暂无评论

Autocoding: an enabling technology for rapid prototyping

Autocoding: an enabling technology for rapid prototyping

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： C.B. Robbins Management Communications and Control Inc. Arlington VA USA

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.

关键词： automatic programming Prototypes Optimized production technology Signal processing Signal design Signal generators Costs Software prototyping Design optimization Software design

来源：评论

学校读者我要写书评

暂无评论

Hierarchical processors-and-memory architecture for high performance computing

Hierarchical processors-and-memory architecture for high per...

引用

Frontiers of Massively Parallel Computation

作者： Z.B. Miled R. Eigenmann J.A.B. Fortes V. Taylor School of ECE Purdue University West Lafayette IN USA Department of EECS Northwestern University Evanston IL USA

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.

关键词： Computer architecture Software performance Application software automatic programming Hardware Costs Parallel machines Drives Software libraries programming profession

来源：评论

学校读者我要写书评

暂无评论

A pacing parameter for controlling ventricular rate during atrial fibrillation: potential correlation to hemodynamic function

A pacing parameter for controlling ventricular rate during a...

引用

Computers in Cardiology (CinC)

作者： S.E. Greenhut B.M. Steinhaus J.A. Fraser W.G. Hughes Telectonics Pacing Systems Inc. Englewood CO USA Kawartha Cardiology Clinic Peterborough ONT Canada

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.

关键词： Atrial fibrillation Pacemakers programming profession automatic control Legged locomotion Mechanical factors Testing Cardiology Telemetry automatic programming

来源：评论

学校读者我要写书评

暂无评论

Coherent Ultrafast Spectroscopy Using the Doppler Effect.

Coherent Ultrafast Spectroscopy Using the Doppler Effect.

引用

European Conference on Quantum Electronics (EQEC)

作者： P. Vledder J.I. Dijkhus Faculty of Physics and Astronomy and Debye Institute University of Utrecht Utrecht Netherlands

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.

关键词： Spectroscopy Doppler effect Delay Fluorescence Fluctuations automatic programming

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：