-
面向非不相交等式理论并集的分层统一过程及其可终止组合
等式统一(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
-
基于旋转黎曼离散方程法的相变两相界面数值模拟
本文提出了一种基于鲁棒离散方程界面捕捉法(RDEMIC)的旋转黎曼求解器,用于带相变的两相流模拟,并采用HLLC与HLLP近似方法。在多维设置中,若界面与网格方向不一致,直接在网格方向上应用相变黎曼求解器会导致非物理解。为恢复旋转不变性,研究人员在界面对齐坐标
来源:Journal of Computational Physics
时间:2026-11-01
-
基于人机协同控制的下肢外骨骼个性化偏瘫步态辅助
偏瘫步态在不同患者间存在差异,且患侧运动表现在不同关节和步态相位之间有所不同。因此,个性化的外骨骼辅助需要适应于当前步态状态的参考轨迹,并根据不同关节和步态相位的运动表现调整辅助强度。为此,提出了一种用于下肢外骨骼的人机协同控制框架。在轨迹生成层面,长短期记忆
来源:Journal of Automation and Intelligence
时间:2026-11-01
-
跨境监管合作与企业交叉上市决策:基于MMoU(多边谅解备忘录)准自然实验的证据
研究发现,在企业母国成为《多边谅解备忘录》(MMoU)签署国之后,企业更倾向于在海外资本市场交叉上市。其他证据表明,MMoU的采纳主要通过缓解企业的代理问题和信息不对称来推动企业交叉上市。此外,MMoU对交叉上市的影响更多地集中于外部融资依赖程度较高、难以进入
来源:Journal of Banking & Finance
时间:2026-11-01
-
机械衬里管道液压成形过程的数值与实验分析:端部耦合与液压封头力对残余状态的影响
本研究通过全尺寸液压成形试验与推出试验,验证了所建立的顺序有限元(FE)框架的可靠性。研究将端部条件分解为衬里与基管之间的端部耦合效应以及液压封头力(HCF)的传递效应,并系统考察了二者的独立影响。结果表明,端部耦合在液压成形过程中会增大衬里的塑性应变与减薄程
来源:International Journal of Pressure Vessels and Piping
时间:2026-11-01
-
可持续智能服装使用意愿的伦理消费与地位消费驱动机制:价值观、人格特质与社会规范的作用
发光服饰、可为移动设备充电的太阳能织物包以及可显示手机信息(如时间、天气预报和行走距离)的运动衫,均属于智能服装(smart clothing)的实例。尽管这一概念相对较新,但时尚产业多年来一直致力于提升织物的功能特性,以将其与可穿戴技术(wearable t
来源:International Journal of Innovation Studies
时间:2026-11-01