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 编辑器:用于基于规则的系统仿真的结构编辑器
- DOI:10.1109/vlhcc.2019.8818687
- 发表时间:2019
- 期刊:
- 影响因子:0
- 作者:Card, Alexander;Martens, Chris
- 通讯作者:Martens, Chris
{{
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: Medium: Differentiable Hardware Synthesis
合作研究:SHF:媒介:可微分硬件合成
- 批准号:
2403134 - 财政年份:2024
- 资助金额:
$ 16.11万 - 项目类别:
Standard Grant
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
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