项目
聚合研究平台、项目发布、系统演示与机构级研发动态，适合跟踪持续迭代的研究工程与平台建设。
弗吉尼亚州阿灵顿 — 2026年9月17日 — Open Geospatial Consortium (OGC) 今日宣布，Cesium 创始人、Bentley Systems 首席平台官 Patrick Cozzi 当选为其董事会成员。Cozzi 在开放标准、3D 地理空间技术以及开发者社区建设方面拥有深厚经验。作为 Cesium 的创始人及长期……
运行世界模型（Operational World Models, OWMs）需要与物理世界进行结构化交互：它们必须观测运行状态、施加受控动作、测量后果、保存经验，并利用这些经验支持预测和预防性决策。本文介绍了 AutoLab，这是一个互联网可访问的实验平台，为无线网络的 OWMs 提供上述物理基础功能。远程研究人员可以检查实时测试站点，重建近期状态历史，编写包含机器人、接入点、无线扫描和流量操作的时间序列实验，在本地验证后提交相同的显式契约进行注册。在物理站点，集中式网络管理系统（NMS）重新验证并调度实验，协调分布式设备代理，从原始相机观测中估计机器人位置，监督物理执行，并记录测量数据和诊断状态。在编写和注册边界使用相同的 Python 验证规则，而目标级命令将互联网用户与底层设备控制隔离。端到端移动性轨迹演示了 NMS 如何检测大的物理运动误差，发出纠正动作，并在不向脚本编写者或机器人代理暴露该误差的情况下恢复预期的实验轨迹。因此，AutoLab 贡献了一种可复现的互联网到物理实验及反馈基础设施，而非声称已完成自主 OWM。其结构化的时空记录为生成场景、预测风险评估和预防性无线网络管理的后续工作提供了所需的经验。
地表城市热岛（SUHI）最大地表温度（MeanLST）数据源自Landsat Collection 2地表温度产品。年度温度由该年内所有晴空观测值计算得出，因此年均地表温度（MeanLST）代表特定年份内特定像元所有晴空观测值的平均值。数据涵盖两个国际城市中心区域：中国武汉和巴西巴西利亚，并生成了年度MeanLST。数据时间范围为1985年至2023年，覆盖城市中心所在的所有感兴趣区域（ROI）瓦片。注：首次输出（临时发布）。
地表城市热岛（SUHI）最大地表温度（AVEMaxLST）数据源自Landsat Collection 2地表温度产品。本研究从每个季节的所有晴空观测中识别出最高温度，并将各季节的最高温度取平均值，以代表特定像元的年度平均最大地表温度（AVEMaxLST）。数据涵盖两个国际城市中心区域：中国武汉和巴西巴西利亚，生成了年度AVEMaxLST数据。时间范围为1985年至2023年，覆盖城市中心所在的感兴趣区域（ROI）瓦片。注：此为初步输出（临时发布版本）。
空间数据基础设施（SDI）长期存在运维成本高、使用难度大的问题。云原生格式、人工智能（AI）与数据主权理念正改变这一现状。本文介绍 Portolan 与 CARTO SDI。
这条耗资55亿美元、全长14英里的铁路线将覆盖布鲁克林和皇后区历史上服务不足的社区。
编码智能体现可通过自然语言提示设计完整的 CARTO 工作流：该工作流为多步骤、可审计且可直接共享。本文介绍 CARTO 智能体技能（CARTO Agent Skills）的实现机制。
基于真实的企业评估案例，梳理了企业在采购云原生 GIS 平台前实际关注的 12 个问题，并提供了 CARTO 针对每个问题的解答。
科勒尔盖布尔斯市（Coral Gables），这座被誉为“美丽之城”且为迈阿密大学所在地的城市，已收到Shoma Investments Company提交的一项“Live Local”计划申请：拟在西南8街3808号与3850号占地0.83英亩的地块上建设一栋16层建筑，内含201套公寓。该地块位于危地马拉领事馆以北约两个街区，距象征古巴流亡社群中心、并曾接待多位美国总统候选人的著名Versailles Café & Restaurant餐厅约0.3英里。2023年，佛罗里达州议会通过了名为“Live Local”的里程碑式立法，旨在应对全州可负担住房危机，激励可负担住房建设并简化审批流程。该州级立法在满足特定条件时，优先于市级法规，对容积率（FAR）、密度及建筑高度作出规定，并要求对符合条件的项目实行行政批准。本项目所处地块属混合用途分区，开发商Shoma Group承诺将40%的单元（即收入上限为地区中位收入120%的“工薪阶层住房”）纳入保障范围，因而符合该法案资格。设计方案包含345个停车位，以及泳池和住户会所等配套设施。待开发审查委员会各专业技术部门全部批准后，该项目预计将获得开发许可（Development Order），进而进入建筑许可阶段。本项目由Pascual Perez Kiliddjian Starr Architects设计，采用地中海风格，户型涵盖单间公寓、一居室、两居室及少量三居室，单元平均面积为……
好莱坞规划与发展委员会近期批准了一项位于橡木活动中心（Oakwood Activity Center）内、占地8.2英亩未充分开发地块上的280套、8层高多户住宅开发项目。该地块属于一个大型露天购物中心，毗邻Regal影院、Dave & Busters及Home Depot。该项目契合该市推动闲置商业与工业用地混合再开发的政策目标；橡木活动中心的土地用途分类已于2021年获市议会批准，其规划开发区（Planned Development）分区及橡木总体规划（Master Plan of Oakwood）则于2023年获批。项目包含一座结构化停车楼，提供353个停车位；配套设施包括泳池甲板、步行广场、游泳池及游戏室。280套住宅单元中，178套为单间或一居室户型，102套为两居室户型。审批条件包括：持续与市政府工作人员协作，优化项目内部连通性，尤其关注邻近公园与湖泊区域的步行化建设；并将公共艺术纳入设计方案包，预计在提交市议会审议前完成。项目效果图由MSA Architects提供。
由 Witkoff Group 与 Alex Blavatnick 领衔的开发合作方已全力推进 Ocean Terrace 开发项目——一项位于迈阿密海滩北比奇社区的高端住宅项目，预计将于今年晚些时候动工。该项目坐落于柯林斯大道（Collins Avenue）74 街与 75 街之间，占地 2.2 英亩。该社区是迈阿密海滩为数不多仍保留蓝领特征的区域之一，分布着大量老旧低层建筑、阿根廷面包店及氛围轻松的咖啡馆。近年来，公私部门均对该区域进行了显著投资，包括市政府主导的重新分区及土地用途调整，旨在通过提高开发密度及增设公共配套设施推动区域转型。该项目最初于 2021 年作为与市政府签署的综合性开发协议的一部分获批，并于 2025 年最新修订，取消了原定的酒店单元建设要求。项目建筑高度达 235 英尺，将由两栋独立建筑组成，共提供 76 套高端住宅/酒店式公寓单元，户型涵盖一至四居室，建筑面积介于 1,600 至近 4,000 平方英尺之间。配套设施拟包括健身中心、两座游泳池、餐厅及图书馆。首栋塔楼单元配备橡木地板、大理石饰面与浅色木饰，配设长弧形阳台。根据最初批准条件，项目还将配套新建一座耗资 1,500 万美元、占地 5 英亩的……
ToolGrad 是一种数据生成框架，它逆转了传统范式，先生成工具使用答案，再生成用户查询。我们证明该设计可提升大语言模型（LLM）的工具使用性能。与先前通过搜索低通过率用户查询的解来构建工具使用数据集的方法不同，ToolGrad 先生成成功的工具使用链，再据此生成提示，从而获得高通过率。
今天我们推出 BenchMIRT，一种在单个提示（即模型被评分的问题与任务）层面审计大语言模型（LLM）基准测试的新方法。BenchMIRT 帮助研究人员分离各类信号，从而识别出真正驱动基准测试得分的因素。该方法通过分析模型在每个问题或任务上的表现，并估计与正确作答最密切相关的底层能力来实现这一目标。
时间序列基础模型正在改变预测系统的构建方式。用户无需为每个数据集单独训练和维护模型，而是可直接使用预训练模型进行零样本预测。该模型的权重、架构、推理流程以及复现基准测试结果所需的全部代码均已公开。
NASA 正将人工智能引入月球研究，助力科研人员变革月表分析方式。在与 IBM 研究院及多家学术机构持续合作下，NASA 推出了 NASA-IBM 月球基础模型（NASA-IBM Lunar Foundation Model），这是首批专为月球科学构建的开源 AI 模型之一。该模型主要基于[…]训练而成。
Hub Covering 问题是一类 Hub Location 问题的子类。其目标是在满足给定起讫点运输任务间路径可达性的前提下，选取一组枢纽节点，以最小化枢纽建设总成本。需满足两个约束条件：每条路径必须恰好包含一个或两个枢纽；且依据具体问题变体，路径总长度或路径中最长边的长度不得超过预设阈值。此类问题广泛应用于城市规划、货运配送系统、航空网络、电信网络及电动出行等领域。尽管 Hub Covering 问题在实践中具有重要意义，但目前尚无对其可近似性的系统性研究：特别是，某些变体之间能否在多项式时间内相互归约仍属开放问题，且此前未有任何近似比结果被证明。本文填补了这一空白，建立了这些变体间的层次关系，证明其中某些变体确为其他变体的特例；对四个变体给出了多项式时间近似算法；对另外八个变体，则证明除非 P=NP，否则不存在可在多项式时间内判定解是否存在的算法。
《国际地理信息系统学报》（Transactions in GIS），2026年9月，第30卷第6期。