-
好的,我将严格按照您的要求,作为学术专家和评审专家,对这篇论文进行分析和解读。
中文标题
基于分布的分支互模拟对非确定性与概率选择的完全公理化
本文提出了一种针对非确定概率过程的(branching bisimilarity)概念。为了刻画相应的有根分支概率互模拟(rooted branching probabilistic bisimilarity)概念,研究人员为一个包含非确定选择和概率选择的基础
来源:Information and Computation
时间:2026-10-30
-
基于预测的分布式图算法:框架、误差度量与模板设计
我们开创了对同步消息传递系统中带预测的确定性分布式图算法的研究。图中的每个节点进程都被赋予一个预测,即关于问题实例的某些额外信息,这些信息可能不正确,且节点可以利用它来帮助获得一个解。目标是开发这样的算法:当信息大部分良好时算法更快,并且即使在信息大部分不良时
来源:Information and Computation
时间:2026-10-30
-
芬兰国家森林清查中管理滞后幼龄间伐林的采伐条件分析
摘要
国家森林清查(NFI)结果表明,尽管政策推动和国内木材需求上升,芬兰管理滞后的幼龄间伐林比例仍然较高。然而,这些林分的采伐条件鲜少被系统分析。本研究从第13次NFI中选取了位于坦佩雷和于韦斯屈莱周边80公里范围内的52块林分进行实地测量。针对每块林分,模
来源:International Journal of Forest Engineering
时间:2026-10-30
-
超级快速自转近地小行星(436724) 2011 UW158的动力学行为与表面特征研究
内聚力可将2011 UW158小行星的表面坡度降低至多45°。内聚力可能使约50米大小的砾石在超级快速自转条件下仍保留于表面。离心势使平衡点向内移动。快速自转产生近乎均匀的表面热模式。周期轨道族为围绕2011 UW158的任务设计提供支持。本研究针对亚千米级超
-
大客户经理的关系身份与认同形态:当人际层面遭遇群际层面——组织内与组织间情境下的考察
大客户管理(KAM)代表一种旨在与战略性重要客户培育长期、价值创造关系的全组织转型。处于这些关系中心的是大客户经理。作为边界跨越者,该客户经理协调内部资源、整合组织行动者、与客户组织的多位代表互动,并动员跨职能团队支持关系发展。大客户经理的角色因此本质上是关系
来源:Industrial Marketing Management
时间:2026-10-30
-
不同尺寸金纳米簇(GNCs)对水分子结构与动力学的影响:分子动力学(MD)模拟研究
研究人员采用分子动力学(MD)模拟研究了分散于不同尺寸金纳米簇(GNCs)之间的水分子的结构性质与动力学。将五种不同直径的球形GNCs置于固定边长的立方模拟盒中,其余体积由足够的水分子填充,以在300 K温度下重现这些Au/水体系的实验密度。MD模拟表明,Au
来源:Applied Nano
时间:2026-10-30
-
东阿尔卑斯拉巴彭杂岩体三叠纪混合岩化作用、华力西变质作用及其古地理起源研究
造山后过程(如板片断离或板片拆沉导致的岩浆体侵位、碰撞后垮塌或裂谷作用引起的持续伸展)的热效应目前约束尚不充分,但所有这些过程均导致高热流值。因此,受热的岩石圈在流变学上表现为软弱,且常常成为再活化造山带地壳的持续裂谷作用场所。在阿尔卑斯地区,从石炭纪华力西造
来源:International Geology Review
时间:2026-10-30
-
偏序向量空间中的D-不交性与D-离散元:M-锥及其在pre-Riesz空间和C<sup>*</sup>-代数中的应用
不交性和离散元概念在向量格(vector lattices)经典理论中具有突出作用。对于更大类别的偏序向量空间(partially ordered vector spaces),不交性概念至少有三种不同推广。近年来,其中一种推广已在pre-Riesz空间(pr
来源:Indagationes Mathematicae
时间:2026-10-30
-
金星镶嵌地形中带状构造边界断层的几何结构分析
专业术语翻译(摘要部分)
带状构造边界断层陡坎坡度在全球范围内经雷达畸变校正后为33°–36°;Ovda Regio地区的立体雷达摄影测量(stereo-radargrammetry)得出平均坡度为33.9°±1.4°;研究人员估算每条断层的垂直断距(thro
-
行星增生过程中金属-硅酸盐分离:中等尺度撞击诱发的铁乳化仍受限
夹带系数(entrainment coefficient)在高雷诺数(Reynolds number, Re)、韦伯数(Weber number, We)和邦德数(Bond number, Bo)条件下达到0.094的平台值。对于中等尺度撞击体,铁云(iron