An Efficient Linear Language for Parallel Symbolic Processing

一种用于并行符号处理的高效线性语言

基本信息

  • 批准号:
    9261682
  • 负责人:
  • 金额:
    $ 5万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1993
  • 资助国家:
    美国
  • 起止时间:
    1993-01-01 至 1993-09-30
  • 项目状态:
    已结题

项目摘要

Next-generation intelligent systems and robots will require the power of parallel computer, yet most novel parallel languages are geared primarily for numerical calculation--e.g., signal processing--in which the data values are elementary numerical samples. These models of computation fail miserably for calculations involving the highly-structured symbolic data required for artificial intelligence application. A "linear" language provides an elegant and intuitive "mechanical" model of parallel computation in which structured values are transmitted as simply as elementary values. These "linear" data structures retain the ability to transmit highly structured information, yet avoid the problems of aliasing and sharing. The efficiency of existing linear language promising new implementation techniques. In Phase I, we will investigate the ability of our novel implementation approach to provide most of the efficiency of nonlinear shared data structures while preserving the elegant linear data model. If successful, our Phase II implementation of a parallel linear language will provide efficient execution, together with an elegant and intuitive programming model. This combination should increase the productivity of software development for intelligent applications utilizing MIMD parallel computers.//
下一代智能系统和机器人将需要 并行计算机的力量,但大多数新颖的并行语言 主要用于数值计算--例如,信号 处理-其中数据值是基本数值 样品 这些计算模型失败得很惨, 涉及所需高度结构化符号数据的计算 用于人工智能应用。 “线性”语言 提供了一个优雅而直观的并行“机械”模型, 计算,其中结构化的值被简单地传输, 基本价值观 这些“线性”数据结构保留了 能够传输高度结构化的信息,但避免 别名和共享的问题。 现有的效率 线性语言有前途的新的实现技术。 在第一阶段,我们将研究我们的小说 实施方法,以提供大部分的效率, 非线性共享数据结构,同时保持优雅的 线性数据模型 如果成功,我们的第二阶段实施 并行线性语言将提供有效的执行, 以及优雅直观的编程模型。 这 结合应该提高软件的生产力 利用MIMD并行技术的智能应用开发 计算机。//

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Henry Baker其他文献

Henry Baker的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Henry Baker', 18)}}的其他基金

SBIR Phase II: Epipolar-Plane Imaging for Robot 3D Vision
SBIR 第二阶段:机器人 3D 视觉的极面成像
  • 批准号:
    2242216
  • 财政年份:
    2023
  • 资助金额:
    $ 5万
  • 项目类别:
    Cooperative Agreement
SBIR Phase I: A Passive Alternative to LiDAR for Automotive 3D Ranging
SBIR 第一阶段:用于汽车 3D 测距的激光雷达的无源替代方案
  • 批准号:
    2015152
  • 财政年份:
    2020
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SBIR Phase I: Fingertip Ranging with Micro Light-Field Cameras
SBIR 第一阶段:使用微光场相机进行指尖测距
  • 批准号:
    1648388
  • 财政年份:
    2016
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Combinatorial Interactions Among Eukaryotic Transcriptional Factors
真核转录因子之间的组合相互作用
  • 批准号:
    9816990
  • 财政年份:
    1999
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant
Combinatorial Interactions among Eukaryotic Transcription Factors
真核转录因子之间的组合相互作用
  • 批准号:
    9404721
  • 财政年份:
    1994
  • 资助金额:
    $ 5万
  • 项目类别:
    Continuing Grant

相似国自然基金

Development of a Linear Stochastic Model for Wind Field Reconstruction from Limited Measurement Data
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    40 万元
  • 项目类别:

相似海外基金

SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small:通过线性联合语言可达性进行可扩展且精确的程序分析
  • 批准号:
    1816812
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
SHF:Small:Scalable and Precise Program Analyses via Linear Conjunctive Language Reachability
SHF:Small:通过线性联合语言可达性进行可扩展且精确的程序分析
  • 批准号:
    1917924
  • 财政年份:
    2018
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Increased executive function helps during language switching in bilingual language production: Evidence from eye movements and linear mixed effects models
增强的执行功能有助于双语语言生成中的语言切换:来自眼球运动和线性混合效应模型的证据
  • 批准号:
    426394-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 5万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Increased executive function helps during language switching in bilingual language production: Evidence from eye movements and linear mixed effects models
增强的执行功能有助于双语语言生成中的语言切换:来自眼球运动和线性混合效应模型的证据
  • 批准号:
    426394-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 5万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0098228
  • 财政年份:
    2001
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0228901
  • 财政年份:
    2001
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    0228951
  • 财政年份:
    2001
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Theory and Pragmatics of Optimal Reduction: Logic, Linear Naming, and Programming Language Design
最优还原的理论和语用:逻辑、线性命名和编程语言设计
  • 批准号:
    9988312
  • 财政年份:
    2000
  • 资助金额:
    $ 5万
  • 项目类别:
    Standard Grant
Design and system development of a programming language based on a temporal linear logic
基于时序线性逻辑的编程语言的设计与系统开发
  • 批准号:
    11680359
  • 财政年份:
    1999
  • 资助金额:
    $ 5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Applications of Type Theory and Linear Logic to Programming Language Theory
类型论和线性逻辑在编程语言理论中的应用
  • 批准号:
    10044094
  • 财政年份:
    1998
  • 资助金额:
    $ 5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A).
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了