跳到正文

内容类型

计算与验证 最新动态

计算实验、独立复核、形式化检查及其明确适用范围。

1 条精选近 30 天 0 条共收录 1 条

更新

计算与验证的精选

8月18日周二第 1–1 条
  1. MIT News · Mathematics62

    MIT团队提出连接生物机制与可制造自适应材料的数学框架

    MIT 研究人员提出一个数学框架,把松果等自然系统中跨尺度的刺激响应机制组织为可独立验证的构件,再映射为合成对应物并生成可执行的3D打印制造规格。该框架使用范畴论工具保证各层级之间的转换有效,并据此组合松果的湿度弯曲与小麦芒的湿度扭转构件,设计并打印出一种热致扭转驱动器,测试表现符合预期。

    推荐理由:该框架用范畴论把生物多尺度机制逐层映射为可验证的工程构件,并延伸到3D打印制造规格,便于判断其可复用范围。