AF: Small: Verification Complexities of Self-Assembly Systems

AF:小:自组装系统的验证复杂性

基本信息

  • 批准号:
    2329918
  • 负责人:
  • 金额:
    $ 60万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2024
  • 资助国家:
    美国
  • 起止时间:
    2024-01-15 至 2026-12-31
  • 项目状态:
    未结题

项目摘要

Self-assembly is the natural process of small, unorganized components coming together to form complex structures. Some systems, such as DNA self-assembly, are powerful enough to simulate general-purpose computation during the self-assembly process. This type of "Algorithmic Self-Assembly" is fundamental to the functioning of living organisms. Moreover, understanding and harnessing the power of algorithmic self-assembly systems promises to allow for the algorithmic manipulation of matter, i.e., the ability to rearrange matter at the nanoscale in a fashion similar to the way a computer is programmed. Thus, a solid theoretical understanding of algorithmic self-assembly is fundamentally important for future nanotechnologies. Towards this goal, this project focuses on specific problems related to "verifying" the correctness of self-assembly systems under a number of experimentally motivated models. By designing algorithms for efficient verification, or categorizing the complexity of such problems, this project will provide important theoretical foundations for understanding algorithmic self-assembly and construction techniques that will be key to advancing the state of the field.In detail, this project focuses on a number of self-assembly models broadly broken up as being either "passive," in which system components attract or repel based on static surface chemistry, or "active" in which system components dynamically change state based on interactions. The project further classifies models based on whether a system is "geometric" (utilizing shape to allow or prevent attachment between components) or "non-geometric" (combination is based solely on bonding domains). The different models represent common implementation techniques such as DNA attachments, molecule bonding, or even laboratory procedures such as mixing and staging reactions. Within the categories, specific verification problems are considered, such as "Unique Assembly Verification" in which the problem is to determine if a given system uniquely assembles into a target assembly, and "Reachability," which asks if it is possible for a given system to reach a certain state or configuration. To solve these problems, the project investigators will apply their prior expertise within the models considered, as well as their expertise in relevant tools such as "Covert Computation," a cryptographic tool introduced by the investigators that has proven effective in resolving long-standing open problems related to verification in self-assembly.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.
自组装是小的、无组织的部件聚集在一起形成复杂结构的自然过程。一些系统,如DNA自组装,在自组装过程中足够强大,可以模拟通用计算。这种“算法自组装”是生物体功能的基础。此外,理解和利用算法自组装系统的力量有望实现对物质的算法操纵,也就是说,能够以类似于计算机编程的方式在纳米尺度上重新排列物质。因此,对算法自组装的坚实理论理解对未来的纳米技术至关重要。为了实现这一目标,该项目侧重于在一些实验驱动模型下“验证”自组装系统正确性的具体问题。通过设计有效验证的算法,或对此类问题的复杂性进行分类,该项目将为理解算法自组装和构建技术提供重要的理论基础,这将是推进该领域发展的关键。详细地说,这个项目集中在一些自组装模型上,这些自组装模型被广泛地分解为要么是“被动的”,其中系统组件基于静态表面化学吸引或排斥,要么是“主动的”,其中系统组件基于相互作用动态改变状态。该项目进一步根据系统是“几何”(利用形状来允许或防止组件之间的连接)还是“非几何”(组合仅基于键合域)对模型进行分类。不同的模型代表了常见的实现技术,如DNA附着、分子键合,甚至是实验室程序,如混合和分期反应。在这些类别中,要考虑特定的验证问题,例如“唯一组装验证”,其中的问题是确定给定系统是否唯一地组装到目标组装中,以及“可达性”,它询问给定系统是否有可能达到某个状态或配置。为了解决这些问题,项目研究人员将在考虑的模型中应用他们之前的专业知识,以及他们在相关工具方面的专业知识,例如“隐蔽计算”,这是一种由研究人员引入的加密工具,已被证明有效地解决了与自组装验证相关的长期开放问题。该奖项反映了美国国家科学基金会的法定使命,并通过使用基金会的知识价值和更广泛的影响审查标准进行评估,被认为值得支持。

项目成果

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

Tim Wylie其他文献

Uniform robot relocation is hard in only two directions even without obstacles
  • DOI:
    10.1007/s11047-024-10007-4
  • 发表时间:
    2024-12-13
  • 期刊:
  • 影响因子:
    1.600
  • 作者:
    David Caballero;Angel A. Cantu;Timothy Gomez;Austin Luchsinger;Robert Schweller;Tim Wylie
  • 通讯作者:
    Tim Wylie
The discrete Frechet distance with applications
  • DOI:
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Tim Wylie
  • 通讯作者:
    Tim Wylie
Reachability in Restricted Chemical Reaction Networks
受限化学反应网络中的可达性
  • DOI:
    10.48550/arxiv.2211.12603
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Robert M. Alaniz;B. Fu;Timothy Gomez;Elise Grizzell;Andrew Rodriguez;R. Schweller;Tim Wylie
  • 通讯作者:
    Tim Wylie
Concentration independent random number generation in tile self-assembly
瓦片自组装中与浓度无关的随机数生成
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    1.1
  • 作者:
    Cameron T. Chalk;Bin Fu;Eric Martinez;R. Schweller;Tim Wylie
  • 通讯作者:
    Tim Wylie
Complexity of Reconfiguration in Surface Chemical Reaction Networks
表面化学反应网络重构的复杂性
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Robert M. Alaniz;Josh Brunner;Michael J. Coulombe;E. Demaine;Yevhenii Diomidov;Ryan Knobel;Timothy Gomez;Elise Grizzell;J. Lynch;Andrew Rodriguez;R. Schweller;Tim Wylie
  • 通讯作者:
    Tim Wylie

Tim Wylie的其他文献

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

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

SHF: Small: QED - A New Approach to Scalable Verification of Hardware Memory Consistency
SHF:小型:QED - 硬件内存一致性可扩展验证的新方法
  • 批准号:
    2332891
  • 财政年份:
    2024
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
FET: SHF: Small: A Verification Framework for Hybrid Classical and Quantum Protocols (VeriHCQ)
FET:SHF:小型:混合经典和量子协议的验证框架 (VeriHCQ)
  • 批准号:
    2330974
  • 财政年份:
    2024
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
SHF: Small: Modular Automated Verification of Concurrent Data Structures
SHF:小型:并发数据结构的模块化自动验证
  • 批准号:
    2304758
  • 财政年份:
    2023
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
AF: Small: The Power of Randomness in Decision and Verification
AF:小:决策和验证中随机性的力量
  • 批准号:
    2312540
  • 财政年份:
    2023
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
SHF: Small: Automated Verification and Synthesis of Input Generators in Property-Based Testing Frameworks
SHF:小型:基于属性的测试框架中输入生成器的自动验证和合成
  • 批准号:
    2321680
  • 财政年份:
    2023
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification
协作研究:SHF:小型:RUI:Keystone:模块化并发软件验证
  • 批准号:
    2243636
  • 财政年份:
    2023
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
Collaborative Research: SHF: Small: RUI: Keystone: Modular Concurrent Software Verification
协作研究:SHF:小型:RUI:Keystone:模块化并发软件验证
  • 批准号:
    2243637
  • 财政年份:
    2023
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
SHF: Small: Toward Fully Automated Formal Software Verification
SHF:小型:迈向全自动形式软件验证
  • 批准号:
    2210243
  • 财政年份:
    2022
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
NSF-BSF: SHF: Small: Neural Network Verification: Abstraction, Compositional Verification and Standardization
NSF-BSF:SHF:小型:神经网络验证:抽象、组合验证和标准化
  • 批准号:
    2211505
  • 财政年份:
    2022
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Automating the End-to-End Verification of Security Protocol Implementations
SaTC:核心:小型:自动化安全协议实施的端到端验证
  • 批准号:
    2224279
  • 财政年份:
    2022
  • 资助金额:
    $ 60万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了