• 相对化码、有限可解码性与有界语言：判定性与半线性全三元组的统一框架

  一个语言C是相对于L的码（code relative to L），如果L中的每个词都有关于C中词的唯一分解；这是码（code）概念的一个推广。研究人员将此概念推广到d-可解码性（d-decodability，d≥1）以及有限可解码性（finite-decoda

  来源：Information and Computation

  时间：2026-11-01

• 有限自动机群词问题的计算复杂性：一致词问题的 coNP 完全性与压缩词问题的 PSpace 完全性

  有限自动机群（finitary automaton group）是由一个可逆、确定型有限状态字母到字母转换器（transducer）生成的群，该转换器的唯一环是恒等状态上的自环。研究人员证明，对于有限群的这种表示，一致词问题（uniform word prob

  来源：Information and Computation

  时间：2026-11-01

• 可判定可逆等价性在有限Petri网中的研究：因果网双相似性与位置双相似性

  在Petri网语境下，研究人员综述了真正并发谱系中的若干行为等价关系，以检验其中哪些是可逆的和可判定的。此处可逆意味着双相似的标识（marking）不仅能够匹配彼此的前向变迁，还能够通过撤销已发生的事件来匹配后向变迁。等价地，一个行为等价关系是可逆的，当且仅当

  来源：Information and Computation

  时间：2026-11-01

• 基于形式语言的通用信息抽取框架

  摘要专业翻译 对于终端字母表Σ和属性字母表Γ，一个(Σ, Γ)-抽取器（extractor）是一个函数，它将Σ上的每个字符串w映射到一个表（table），该表的每一列对应一个属性，单元格条目为w的位置集合。这一相当通用的信息抽取框架扩展了著名的文档跨度器（do

  来源：Information and Computation

  时间：2026-11-01

• 弱行为等价谱系的统一博弈刻画：从稳定性保持分支互模拟到弱迹等价

  研究人员提供了van Glabbeek含静默步的线性时间–分支时间谱系的首次广义博弈刻画。在定量表述中，一个多维能量博弈（multi-dimensional energy game）可用于一次性刻画并判定稳定性保持分支互模拟（stability-respect

  来源：Information and Computation

  时间：2026-11-01

• 基于对数学生化自适应量化的视觉中心三维目标检测后训练量化框架

  本文提出对数学生化自适应量化（Log-Studentized Adaptive Quantization，LSAQ），一种针对视觉中心三维目标检测的静态后训练量化（Post-Training Quantization，PTQ）框架。为缓解均匀PTQ分辨率因激活

  来源：ICT Express

  时间：2026-11-01

• 基于SQP的Probust NMPC化疗容错控制框架：不确定性肿瘤动力学下的内部参数偏差检测与剂量重构

  本研究拓展了用于化疗给药的NMPC（非线性模型预测控制）框架，优先考虑患者安全性、容错性及优化临床结局，同时兼顾肿瘤演化与耐药性等不确定性因素。内部故障被建模为临时性参数偏差，通过计算高效的SQP（序贯二次规划）方法进行管理，该方法在每个采样时刻对非线性动力学

  来源：European Journal of Control

  时间：2026-11-01

• 约束反应性固体混合物的化学-热-力学耦合理论框架

  本手稿提出了一个严谨的理论框架，用于描述固体混合物中可能伴随体积变化的化学反应过程。研究重点关注参考构型（reference configuration）的概念及其一致形式化定义所需假设，揭示了该定义对所得控制方程的重要影响。尽管该公式是在一般性框架下建立的，

  来源：European Journal of Mechanics - A/Solids

  时间：2026-11-01

• 随机树对交集中的公共边数：从完全图到Erdős–Rényi随机图与完全多部图的Poisson极限律

  研究人员考虑图G的两棵独立随机生成树的公共边数。对于完全图K_n，研究人员给出了Moon最初所得结果的一个新证明，即该分布收敛于期望值为2的Poisson分布（Poisson distribution）。该结果被用于证明：对于常数p，Erd

  来源：European Journal of Combinatorics

  时间：2026-11-01

• 路面状况与行人及骑行者碰撞事故的关联：基于交通分析区（TAZ）的负二项（NB）、泊松逆高斯（PIG）和Bell回归模型比较

  研究人员利用澳大利亚维多利亚州的数据，以交通分析区（Traffic Analysis Zones，TAZs）作为空间单元，估计并比较负二项（Negative Binomial，NB）、泊松逆高斯（Poisson inverse Gaussian，PIG）和Be

  来源：IATSS Research

  时间：2026-11-01

知名企业招聘：