CDI-Type II: Exploiting Collective Human Knowledge to Understand and Evolve Complex Networked Systems

CDI-Type II:利用人类集体知识来理解和发展复杂的网络系统

基本信息

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

项目摘要

Large networked computer systems are some of the most complex and sophisticated engineered systems ever constructed. Because of this complexity, our existing computing environment is unreliable, insecure, and difficult to use. One intriguing aspect of this situation is that most problems people encounter in practice are not new --- they have previously been seen and solved by others. Developing techniques that enable the automated analysis of this rich knowledge source is therefore a key step in advancing our understanding of this important class of engineered artifacts. The research effort focuses on developing techniques that automatically process existing repositories of human interactions regarding previously encountered problems and solutions to isolate potential solutions to the problem. It will then use multiple virtual machines to evaluate each of the potential solutions, then use this evaluation to automatically select an candidate.The expected benefits of this approach are three fold. First, developing methods that jointly analyze documents in natural language and formally structured computer information can lead to new insights and a deeper understanding of these important phenomena. Second, this research will yield a new class of techniques for reasoning about computer systems in the presence of uncertainty by leveraging collective knowledge of a user community. Finally, by automatically finding solutions to system problems, these methods hold out the promise of substantially reducing the cost and risks associated with using computers to perform many of the key activities in our society.
大型网络计算机系统是有史以来构造的最复杂和最精密的工程系统中的一些。由于这种复杂性,我们现有的计算环境是不可靠的,不安全的,难以使用。这种情况的一个有趣的方面是,人们在实践中遇到的大多数问题都不是新的-他们以前已经被别人看到并解决了。因此,开发能够自动分析这一丰富知识源的技术是推进我们对这一类重要工程工件理解的关键一步。 研究工作的重点是开发技术,自动处理现有的人类互动知识库,关于以前遇到的问题和解决方案,以隔离潜在的解决方案的问题。然后,它将使用多个虚拟机来评估每个潜在的解决方案,然后使用此评估来自动选择候选方案。首先,开发联合分析自然语言文档和正式结构化计算机信息的方法可以带来对这些重要现象的新见解和更深入的理解。 第二,这项研究将产生一类新的技术推理计算机系统中存在的不确定性,利用集体知识的用户社区。最后,通过自动找到系统问题的解决方案,这些方法有望大幅降低与使用计算机执行我们社会中许多关键活动相关的成本和风险。

项目成果

期刊论文数量(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 }}

Martin Rinard其他文献

Proceedings of the First International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (IWACO)
第一届面向对象编程中的别名、限制和所有权国际研讨会 (IWACO) 论文集
  • DOI:
  • 发表时间:
    2003
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dave Clarke;Chandrasekhar Boyapati;Robert Lee;Richard Paige;J. Ostroff;Phillip Brooke;James Noble;Robert Biddle;E. Tempero;A. Potanin;Tian Zhao;Jens Palsberg;Jan;Sophia Drosspoulou;Workshop Organisers;Jonathan Aldrich;Doug Lea;Suny Oswego;David Naumann;Queen Mary;Martin Rinard;Jan Vitek;Anindya Banerjee;S. Drossopoulou;Matthew Smith;C. Pierik;Tobias Wrigstad;P. O 'hearn;John Tang Boyland;M. Fähndrich;K. Rustan;M. Leino;Scott F Smith;Mark Thober Discussion
  • 通讯作者:
    Mark Thober Discussion
Randomness Requirements and Asymmetries in Nash Equilibria
纳什均衡中的随机性要求和不对称性
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Edan Orzech;Martin Rinard
  • 通讯作者:
    Martin Rinard

Martin Rinard的其他文献

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

{{ truncateString('Martin Rinard', 18)}}的其他基金

EAGER: Profile and Transformation Driven Automatic Parallelization with Interactive Reports
EAGER:配置文件和转换驱动的自动并行化与交互式报告
  • 批准号:
    1036241
  • 财政年份:
    2010
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
SHF: Medium: Exposing and Eliminating Errors at Component Boundaries
SHF:中:暴露并消除组件边界处的错误
  • 批准号:
    0905244
  • 财政年份:
    2009
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
CPA-CPL: Automatic Parallelization Using Semantic Commutativity Analysis
CPA-CPL:使用语义交换性分析的自动并行化
  • 批准号:
    0811397
  • 财政年份:
    2008
  • 资助金额:
    $ 145万
  • 项目类别:
    Continuing Grant
CSR----SMA Modular Pluggable Program Analyses
CSR----SMA模块化可插拔程序分析
  • 批准号:
    0509415
  • 财政年份:
    2005
  • 资助金额:
    $ 145万
  • 项目类别:
    Continuing Grant
Model-Based Monitoring of Air-Traffic Control Software
基于模型的空中交通管制软件监控
  • 批准号:
    0341620
  • 财政年份:
    2003
  • 资助金额:
    $ 145万
  • 项目类别:
    Continuing Grant
Interaction Analysis for Integrated Embedded Systems
集成嵌入式系统的交互分析
  • 批准号:
    0209075
  • 财政年份:
    2002
  • 资助金额:
    $ 145万
  • 项目类别:
    Continuing Grant
Compiler Technology for Scalable Servers
可扩展服务器的编译技术
  • 批准号:
    0073513
  • 财政年份:
    2000
  • 资助金额:
    $ 145万
  • 项目类别:
    Continuing Grant
CAREER: Commutativity Analysis: A New Analysis Framework for Automatically Parallelizing Object-Oriented Computations
职业:交换性分析:自动并行化面向对象计算的新分析框架
  • 批准号:
    9702297
  • 财政年份:
    1997
  • 资助金额:
    $ 145万
  • 项目类别:
    Continuing Grant
CISE Research Instrumentation: A Next-Generation High Performance Network of Commodity PCs
CISE 研究仪器:下一代高性能商用 PC 网络
  • 批准号:
    9529418
  • 财政年份:
    1996
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant

相似国自然基金

铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    30.0 万元
  • 项目类别:
    省市级项目
智能型Type-I光敏分子构效设计及其抗耐药性感染研究
  • 批准号:
    22207024
  • 批准年份:
    2022
  • 资助金额:
    20 万元
  • 项目类别:
    青年科学基金项目
TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    55 万元
  • 项目类别:
    面上项目
替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
  • 批准号:
    LY22H200001
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
面向手性α-氨基酰胺药物的新型不对称Ugi-type 反应开发
  • 批准号:
    LY22B020003
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
BMP9/BMP type I receptors 通过激活 PPARα保护心肌梗死的机制研究
  • 批准号:
    LQ22H020003
  • 批准年份:
    2021
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
C2H2-type锌指蛋白在香菇采后组织软化进程中的作用机制研究
  • 批准号:
    32102053
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
血管阻断型Type-I光敏剂合成及其三阴性乳腺癌光诊疗
  • 批准号:
    62120106002
  • 批准年份:
    2021
  • 资助金额:
    255 万元
  • 项目类别:
    国际(地区)合作与交流项目
Chichibabin-type偶联反应在构建联氮杂芳烃中的应用
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    63 万元
  • 项目类别:
    面上项目
茶尺蠖Type-II环氧性信息素合成酶关键基因的鉴定及功能研究
  • 批准号:
    LQ21C140001
  • 批准年份:
    2020
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

CDI-Type II: Computational Methods to Enable an Invertebrate Paleontology Knowledgebase
CDI-Type II:支持无脊椎动物古生物学知识库的计算方法
  • 批准号:
    1308762
  • 财政年份:
    2014
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative Research: CDI Type II: Dynamics and Control of Cardiac Tissue
合作研究:CDI II 型:心脏组织的动力学和控制
  • 批准号:
    1341128
  • 财政年份:
    2012
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative CDI-Type II: Cyber Enabled Discovery System for Advanced Multidisciplinary Study of Humanitarian Logistics for Disaster Response
协作 CDI-II 型:用于灾难响应人道主义后勤高级多学科研究的网络支持发现系统
  • 批准号:
    1123924
  • 财政年份:
    2012
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative CDI-Type II: Cyber Enabled Discovery System for Advanced Multidisciplinary Study of Humanitarian Logistics for Disaster Response
协作 CDI-II 型:用于灾难响应人道主义后勤高级多学科研究的网络支持发现系统
  • 批准号:
    1124827
  • 财政年份:
    2012
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative Research: CDI- Type II: Towards Analyzing Complex Petascale Datasets: The Milky Way Laboratory
合作研究:CDI-II 型:分析复杂千万亿次数据集:银河系实验室
  • 批准号:
    1124453
  • 财政年份:
    2011
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative Research: CDI-Type II: BirdCast: Novel Machine Learning Methods for Understanding Continent-Scale Bird Migration
合作研究:CDI-Type II:BirdCast:用于理解大陆规模鸟类迁徙的新型机器学习方法
  • 批准号:
    1125228
  • 财政年份:
    2011
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative Research: CDI- Type II: Towards Analyzing Complex Petascale Datasets: The Milky Way Laboratory
合作研究:CDI-II 型:分析复杂千万亿次数据集:银河系实验室
  • 批准号:
    1124403
  • 财政年份:
    2011
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative Research: CDI-Type II: First-Principles Based Control of Multi-Scale Meta-Material Assembly Process
合作研究:CDI-Type II:基于第一原理的多尺度超材料组装过程控制
  • 批准号:
    1124678
  • 财政年份:
    2011
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
Collaborative Research: CDI-Type II: VolcanoSRI: 4D Volcano Tomography in a Large-Scale Sensor Network
合作研究:CDI-Type II:VolcanoSRI:大规模传感器网络中的 4D 火山断层扫描
  • 批准号:
    1125185
  • 财政年份:
    2011
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
CDI-TYPE II--COLLABORATIVE RESEARCH: Using Algebraic Topology to Connect Models with Measurements in Complex Nonequilibrium Systems
CDI-TYPE II——协作研究:使用代数拓扑将模型与复杂非平衡系统中的测量联系起来
  • 批准号:
    1125234
  • 财政年份:
    2011
  • 资助金额:
    $ 145万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了