CRII: SHF: Supporting Domain-Specific Inquiry with Rule-Based Modeling

CRII:SHF:通过基于规则的建模支持特定领域的查询

基本信息

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

项目摘要

Writing computer simulations of processes such as ecologies, economic models, social dynamics, government procedures, and biological regulation, can lead to greater understanding of these systems for novices and experts alive. Rule-based modeling allows novice programmers to specify and run these simulations without training in probability theory or traditional programming languages. The proposed work extends a rule-based modeling language to support self-directed learning of the language and domain-specific inquiry about the models. In the long term, this work will enable cross-communication between experts in different domains and will broaden participation in systems thinking skills applicable across STEM disciplines.The underlying rule-based language, Ceptre, is based on a fragment of linear logic, enabling compositional reasoning about programs. The proposed work entails developing a structure editor for Ceptre designed to support the key principles of discoverability, supporting new users to learn the language in a self-directed manner, and correctness-by-construction, or the prevention of syntax errors through an editing interface that maps between only meaningful edit states. This part of the project will be rigorously validated with formal proofs of soundness and completeness of the editing interface with respect to the underlying language. The domain-specific inquiry component of the project will be accomplished by developing a language and algorithms to support queries and filters on simulation states, "Why" questions about program traces, statistical analysis on sets of traces, and other means of understanding the emergent behavior of simulations. These tools will be evaluated through user studies on populations of domain experts and programming novices.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
编写生态学、经济模型、社会动态、政府程序和生物调节等过程的计算机模拟,可以让新手和专家更好地理解这些系统。基于规则的建模允许新手程序员指定并运行这些模拟,而无需接受概率论或传统编程语言的培训。拟议的工作扩展了基于规则的建模语言,以支持语言的自主学习和模型的特定领域查询。从长远来看,这项工作将实现不同领域专家之间的交叉交流,并将扩大对跨 STEM 学科的系统思维技能的参与。底层的基于规则的语言 Ceptre 基于线性逻辑片段,支持程序的组合推理。拟议的工作需要为 Ceptre 开发一个结构编辑器,旨在支持可发现性的关键原则,支持新用户以自我引导的方式学习语言,以及构建正确性,或者通过仅在有意义的编辑状态之间映射的编辑界面来防止语法错误。项目的这一部分将通过编辑界面相对于底层语言的健全性和完整性的正式证明进行严格验证。该项目的特定领域查询部分将通过开发一种语言和算法来支持对模拟状态的查询和过滤、有关程序跟踪的“为什么”问题、对跟踪集的统计分析以及理解模拟的紧急行为的其他方法来完成。这些工具将通过对领域专家和编程新手群体的用户研究进行评估。该奖项反映了 NSF 的法定使命,并通过使用基金会的智力价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
The Ceptre Editor: A Structure Editor for Rule-Based System Simulation
Ceptre 编辑器:用于基于规则的系统仿真的结构编辑器
{{ 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 }}

Christopher Martens其他文献

Nicotinamide riboside supplementation reduces aortic stiffness and blood pressure in middle-aged and older adults
  • DOI:
    10.1016/j.artres.2017.10.021
  • 发表时间:
    2017-12-01
  • 期刊:
  • 影响因子:
  • 作者:
    Christopher Martens;Blair Denman;Melissa Mazzo;Michael Armstrong;Nichole Reisdorph;Matthew McQueen;Michel Chonchol;Douglas Seals
  • 通讯作者:
    Douglas Seals

Christopher Martens的其他文献

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

{{ truncateString('Christopher Martens', 18)}}的其他基金

CAREER: Explorable Formal Models of Privacy Policies and Regulations
职业:可探索的隐私政策和法规的正式模型
  • 批准号:
    2319894
  • 财政年份:
    2022
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Continuing Grant
Collaborative Research: In Situ Oxidation Rates of Methane Injected from Seafloor Gas Seeps
合作研究:海底气体渗漏注入甲烷的原位氧化速率
  • 批准号:
    1948824
  • 财政年份:
    2020
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
CAREER: Explorable Formal Models of Privacy Policies and Regulations
职业:可探索的隐私政策和法规的正式模型
  • 批准号:
    1846122
  • 财政年份:
    2019
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Continuing Grant
RAPID: Hurricane Irma Impacts on Nitrogen Cycling in Florida Bay
RAPID:飓风艾尔玛对佛罗里达湾氮循环的影响
  • 批准号:
    1807077
  • 财政年份:
    2017
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Collaborative Research: The Role of Sponges in the Coastal Nitrogen Cycle
合作研究:海绵在沿海氮循环中的作用
  • 批准号:
    1132155
  • 财政年份:
    2011
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Collaborative Proposal: In Situ Quantification of Sponge N Cycling in Coastal Ecosystems
合作提案:沿海生态系统海绵氮循环的原位定量
  • 批准号:
    0624406
  • 财政年份:
    2006
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
N2 Fixation in Marine Sponges: A New Nitrogen Source for Coastal Ecosystems
海洋海绵中的 N2 固定:沿海生态系统的新氮源
  • 批准号:
    0351893
  • 财政年份:
    2004
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Biogeochemical Cycling in the Organic-Rich Coastal Environment
富含有机物的沿海环境中的生物地球化学循环
  • 批准号:
    0002358
  • 财政年份:
    2000
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Continuing Grant
Biogeochemical Cycling in the Organic-Rich Coastal Environment
富含有机物的沿海环境中的生物地球化学循环
  • 批准号:
    9633456
  • 财政年份:
    1996
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Continuing Grant
Biogeochemical Cycling in the Organic-Rich Coastal Environment
富含有机物的沿海环境中的生物地球化学循环
  • 批准号:
    9217570
  • 财政年份:
    1993
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Continuing Grant

相似国自然基金

天然超短抗菌肽Temporin-SHf衍生多肽的构效分析与抗菌机制研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
衔接蛋白SHF负向调控胶质母细胞瘤中EGFR/EGFRvIII再循环和稳定性的功能及机制研究
  • 批准号:
    82302939
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
EGFR/GRβ/Shf调控环路在胶质瘤中的作用机制研究
  • 批准号:
    81572468
  • 批准年份:
    2015
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目

相似海外基金

Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331302
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: LEGAS: Learning Evolving Graphs At Scale
协作研究:SHF:小型:LEGAS:大规模学习演化图
  • 批准号:
    2331301
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
  • 批准号:
    2403134
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
CAREER: SHF: Bio-Inspired Microsystems for Energy-Efficient Real-Time Sensing, Decision, and Adaptation
职业:SHF:用于节能实时传感、决策和适应的仿生微系统
  • 批准号:
    2340799
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Continuing Grant
Collaborative Research: SHF: Small: Efficient and Scalable Privacy-Preserving Neural Network Inference based on Ciphertext-Ciphertext Fully Homomorphic Encryption
合作研究:SHF:小型:基于密文-密文全同态加密的高效、可扩展的隐私保护神经网络推理
  • 批准号:
    2412357
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
SHF: Small: Taming Huge Page Problems for Memory Bulk Operations Using a Hardware/Software Co-Design Approach
SHF:小:使用硬件/软件协同设计方法解决内存批量操作的大页面问题
  • 批准号:
    2400014
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Enabling Graphics Processing Unit Performance Simulation for Large-Scale Workloads with Lightweight Simulation Methods
合作研究:SHF:中:通过轻量级仿真方法实现大规模工作负载的图形处理单元性能仿真
  • 批准号:
    2402804
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Medium: Tiny Chiplets for Big AI: A Reconfigurable-On-Package System
合作研究:SHF:中:用于大人工智能的微型芯片:可重新配置的封装系统
  • 批准号:
    2403408
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
SHF: SMALL: A New Semantics for Type-Level Programming in Haskell
SHF:SMALL:Haskell 中类型级编程的新语义
  • 批准号:
    2345580
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 16.11万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了