-
锂富集机制:从普通花岗质熔体到锂-铯-钽(LCT)伟晶岩——来自意大利阿尔卑斯Adamello接触晕的启示
锂-铯-钽(LCT)伟晶岩是锂的主要经济来源,约60%的全球锂产量来自含锂辉石伟晶岩。关于经济型富锂伟晶岩的成因存在两种主要模式:一是大型富铝花岗质侵入体的高度结晶分异作用;二是地壳岩石的低程度部分熔融(即"深熔模型")。近年来,深熔模型对缺乏与大型花岗质侵入
-
激光粉末床熔融制备钨重合金中层状相形成机制的多尺度表征研究
钨重合金(tungsten heavy alloys,WHAs)的增材制造(additive manufacturing,AM)因其能够制造具有复杂几何形状的构件而备受关注,相较于传统粉末冶金(powder metallurgy,PM)工艺,该方法在多种高温结
来源:Materialia
时间:2026-11-01
-
好的,我将以学术专家和期刊评审专家的身份,对您提供的论文进行解读和分析,并依次回答您的四个问题。
中文标题
永久秩的加法保持映射
专业摘要翻译
一个矩阵 A 的永久秩(permanent rank)是指该矩阵中具有非零积和式(permanent)的最大方阵子式的尺寸。本文刻画了那些保持per-rank-one矩阵的加法变换Φ。在附加假设Φ是满射的或者它双向保持per-rank-one的条
来源:Linear Algebra and its Applications
时间:2026-11-01
-
移动目标追踪可控性:一维抛物型方程的边界控制与数值验证
中文翻译:本文研究一维抛物型方程(parabolic-type equation)的追踪可控性(tracking controllability)问题。值得注意的是,通过作用于边界的控制,研究人员试图在区域内的特定点处近似控制方程的解。研究人员证明,作用于一个
来源:Journal of Mathematical Analysis and Applications
时间:2026-11-01
-
物理引导的FEM–ML框架用于DED原位合金化FeMn–CoCrNi高熵合金熔池几何预测与柱状晶–等轴晶转变分析
理解柱状晶–等轴晶转变(columnar-to-equiaxed transition, CET)并预测不同制造条件下的熔池尺寸,对于定制定向能量沉积(directed energy deposition, DED)成形材料的显微组织和力学性能至关重要。本研究
来源:Journal of Manufacturing Processes
时间:2026-11-01
-
面向非不相交等式理论并集的分层统一过程及其可终止组合
等式统一(equational unification)问题——其底层等式理论可能由一个分量等式理论的并集给出——在实践中经常出现在自动推理(automated reasoning)、逻辑程序设计(logic programming)、声明式程序设计(decl
来源:Journal of Logical and Algebraic Methods in Programming
时间:2026-11-01
-
气候变化风险与企业养老金供款:基于预防性动机的实证研究
本文研究气候变化风险如何影响企业养老金供款决策。基于预防性动机(precautionary motive),研究人员假设面临更大气候相关不确定性的企业将增加养老金供款以防范潜在财务中断。利用2001年至2023年美国上市公司13,871个企业-年度观测值,研究
来源:Journal of International Money and Finance
时间:2026-11-01
-
存贷比(LTD)限制、贷款供给与实际效应:银行与非银行金融机构的对比研究
摘要专业翻译
本研究考察了宏观审慎政策向银行与非银行金融中介机构贷款发放的传导机制,及其对企业层面结果(包括并购(M&A))所产生的实际效应。研究人员利用全球银团信贷市场的贷款层面数据、参与贷款的银行与非银行贷款机构类型信息,以及对银行贷款与存款比率(
来源:Journal of Corporate Finance
时间:2026-11-01
-
基于顶点覆盖参数化的度量维数与测地集问题研究
对于图G,若对于任意两个顶点u,v∈V(G),存在顶点w∈S使得d(w,u)≠d(w,v),则子集S⊆V(G)称为G的解析集(resolving set)。度量维数(Metric Dimension)问题以n个顶点的图G和正整数k为输入,询问是否存在大小至多为
来源:Journal of Computer and System Sciences
时间:2026-11-01
-
子词序与长度关系结构下的语言可判定性研究
研究人员考虑一个语言连同子词关系、关联两个词长度的二元关系以及正则谓词。对于此类结构,研究人员考虑由阈值计数量词与模计数量词对一阶逻辑的扩展。依赖于该语言、所使用的谓词以及逻辑片段,研究人员确定了四个可产生可判定理论的新组合。这些结果扩展了先前的结论,即仅考虑
来源:Journal of Computer and System Sciences
时间:2026-11-01