• 关于低压一维压电MEMS扫描微镜的设计

  摘要：为了满足推进微型化技术对低压设备的需求，本研究提出了一种创新的压电微机电系统（MEMS）扫描微镜架构，该架构采用了C形梁悬臂结构。本研究使用了具有优异横向压电系数（d31）和介电常数的锆钛酸铅（PZT）薄膜，并创新地设计制造了三种微镜装置（参考设计、T形梁设计和C形梁设计），这些装置保持了相同的驱动面积。实验表明，C形梁结构在驱动电压效率方面表现出色。在相同的扫描角度（30°）条件下，与T形梁设计相比，驱动电压从70 Vpp降低到了6 Vpp，降幅达到了91.42%。此外，在经过预极化处理（-30 V，25分钟）后，C形梁微镜在24 Vpp的驱动电压下能够实现87.56°的光学扫描角度。

  来源：Journal of Microelectromechanical Systems

  时间：2025-11-19

• 熔融石英感应振动环陀螺仪中通过焦耳热实现频率分裂调谐

  摘要：由于制造误差，微机电系统（MEMS）环形陀螺仪的简并模式之间会发生频率分裂，这严重限制了其性能。本文提出了一种基于熔融石英电感振动环形陀螺仪中焦耳加热的频率分裂调节方法。当电流通过时，特殊设计的导线布局会在共振结构上产生温度梯度，从而导致两个简并模式产生不同的频率偏移，从而实现频率分裂调节。该方法成功地为一个初始频率分裂为1.47 Hz的陀螺仪实现了模式匹配，证明了其频率分裂调节能力为58 Hz/W。[2025-0075]引言环形MEMS陀螺仪具有对称的结构和简洁的设计，在性能、制造和应用方面具有显著的优势，因此成为广泛研究的对象。由于制造误差的影响，MEMS环形陀螺仪的简并模式之间通常

  来源：Journal of Microelectromechanical Systems

  时间：2025-11-19

• 一种新型全熔融石英微机电系统（MEMS）陀螺仪，其纵横比超过50:1

  摘要：熔融石英以其优异的机械性能和热稳定性而闻名，已成为微机电系统（MEMS）陀螺仪的理想材料。然而，熔融石英的平面微制造一直是一个公认的挑战，这长期以来阻碍了相关设备的发展。在这项研究中，我们提出了一种基于激光诱导辅助蚀刻（LIAE）的新型熔融石英MEMS陀螺仪平面加工技术。利用这种技术，我们成功制造了一种纵横比超过50:1的振动环陀螺仪（VRG）结构。测试结果表明，该设备在0.1 Pa的真空条件下具有约15.9 kHz的共振频率，并且品质因数超过200,000，显示出卓越的共振性能。这项技术使得高性能熔融石英MEMS陀螺仪的实现成为可能，并为需要超高纵横比结构的其他MEMS设备提供了有前景

  来源：Journal of Microelectromechanical Systems

  时间：2025-11-19

• 亚马逊鱼类在不到24小时内将人类遗骸化为骨架

  摘要 水中发生的死亡事件给法医专家带来了独特的挑战，尤其是鱼类对人类遗骸的影响。以尸体为食的肉食性鱼类会成群结队地迅速啃食尸体，破坏关键证据。因此，确定死因和识别死者变得更加困难。本研究报告了一起因意外落入亚马逊河而导致人体在24小时内被鱼类啃食殆尽的案例。最终仅剩下鼻部和耳朵的软骨结构、男性生殖器以及手脚。手脚上出现了明显的撞击伤痕。虽然死因尚未明确，但通过指纹分析成功完成了身份识别。法医专家必须认识到以尸体为食的鱼类的作用，以避免对伤痕的误解，促进准确的死因调查，并加快身份确认进程。

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 头朝下姿势导致的致命窒息：一起罕见的工伤死亡案例

  摘要通俗语言总结 体位性窒息是一种罕见但可能致命的状况，患者的身体处于某种位置，阻碍了正常的呼吸运动，从而导致窒息。我们报道了一例83岁农民的案例：他在尝试对葡萄园喷雾器进行维护时被困在喷雾器的储液罐内，上半身在罐内，双腿在罐外。他无法自行脱身，两小时后赶到现场的救援人员发现他已经死亡。法医尸检显示，他的身体外部有与储液罐开口边缘相对应的损伤痕迹，同时存在肺充血和胸膜瘀点等窒息的内脏症状，但并没有严重的外伤。死亡原因被确定为体位性窒息，这是由于头部朝下的姿势和腹部受压导致呼吸受阻。受害者忽视了安全规定，这些规定明确禁止进入喷雾器的储液罐，因为制造商将该空间归类为密闭空间。这一事件强调

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 致命的硫氰酸钾中毒表现为氯化物浓度假性升高

  ```section> 摘要 通俗语言总结 200 mmol/L），而其他电解质指标均正常，从而导致阴离子间隙显著负值。内镜检查发现胃黏膜水肿和充血。反复进行的脑电图检查显示患者患有中度至重度脑病。他在9天后死亡，期间症状持续存在。尸检发现大脑存在缺氧-缺血性损伤。对摄入后93至95小时采集的血液样本进行毒理学分析，结果显示硫氰酸钾浓度为260 μg/mL，氰化物浓度为0.21 μg/mL；对尸检样本的分析进一步显示：心脏血液中硫氰酸钾浓度为78 μg/mL，外周血液中为75 μg/mL，大脑中为16 μg/g，肾脏中为49 μg/g，肝脏中为37 μg/g，骨骼肌中为21

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 致命性过敏反应中中枢与外周总胰蛋白酶浓度/水平的差异：一例病例报告

  摘要 通俗语言总结 死后胰蛋白酶检测是一种辅助诊断致命性过敏反应的检测方法。近期的一系列研究表明，在正常人群中，死后总胰蛋白酶浓度在中心血样本和外周血样本之间存在差异。然而，目前尚不清楚在致命性过敏反应病例中，这两种样本之间的胰蛋白酶浓度是否存在差异。我们记录了一例由放射性造影剂引发的过敏反应导致的死亡案例：从主动脉和下腔静脉采集的中心血样本中测得的死后总胰蛋白酶浓度超过200 μg/L，而从股动脉和静脉采集的外周血样本中测得的浓度约为110 μg/L。该病例报告表明，在过敏性死亡病例中

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 2013年至2022年间，美国医学考试协会（NAME）年会上平台展示的出版成果趋势

  ```section> 摘要 通俗语言总结 NAME年度会议注重通过平台展示来分享研究成果、想法和教育内容；然而，关于这些展示内容随后被发表的频率却知之甚少。本研究分析了2013年至2022年间651场展示的发表情况。我们使用Python脚本查询PubMed数据库，发现其中175场展示（占27%）最终被发表在同行评审的学术期刊上（同时我们也统计了在PubMed未收录《学术法医病理学》（Academic Forensic Pathology, AFP）期刊上发表的展示）。AFP和AJFMP期刊占据了大部分发表成果，但还有超过30种其他期刊也参与了这些展示的发表。在我们的研究后期

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 当一个不够时：多枪自杀的特征及与之相关的人口统计因素

  摘要通俗语言总结 自伤性枪伤是自杀的常见方式。多处枪伤的案例较为罕见。当缺乏对枪伤发生方式及原因的理解时，确定枪伤方式可能会遇到问题。在这些案例中，人口统计数据很少被研究。本文回顾了2015年至2023年间希尔斯伯勒县法医办公室处理的枪伤自杀案件，共发现19起多处枪伤的案例。与单处枪伤案例相比，多处枪伤案例中使用左轮手枪的比例显著更高（57.9% vs 29.8%，P=0.008），使用低 muzzle energy 手枪的比例也更高（86.7% vs 39.6%，P<0.001），且枪伤主要发生在躯干部位（70.6% vs 9.0%，P<

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 头部损伤中蛛网膜颗粒及其凹陷的研究

  ```section> 摘要 通俗语言总结 尽管蛛网膜颗粒（arachnoid granulations，简称AGs）及其凹陷结构已经为人所知超过300年，但关于它们所遭受的损伤却尚未得到广泛研究。本研究旨在探讨在头部受伤的情况下，AGs及其凹陷结构所受到的损伤情况。研究共分析了130具头部受伤的尸体和40具未受伤的尸体的解剖样本，对AGs及其凹陷结构的形态、类型、损伤情况进行了观察。结果显示，在61例病例中发现了AGs及其凹陷结构的损伤。位于颅骨内的AGs以及形态不规则的AGs更容易受到损伤；尤其是枕骨和颞骨中的AGs及其凹陷结构更为脆弱。在19例病例中，AGs基部出现了硬

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 综述：法医昆虫学在刑事调查中的应用：昆虫介导的死亡时间估算、物种鉴定及环境影响的最新进展

  摘要通俗语言总结 法医昆虫学是法医调查中的关键学科，主要用于估计死亡时间（PMI）、物种鉴定和犯罪现场重建。分子技术、计算模型以及适应气候变化的法医昆虫学方面的最新进展增强了该领域的应用能力。然而，方法标准化、环境变异性以及法律认可度等方面的挑战依然存在。这篇综合综述探讨了法医昆虫学的最新发展，重点关注分子方法、人工智能辅助的物种鉴定以及环境对法医昆虫演替的影响。文献来源包括Scopus、Web of Science和PubMed，主要选取了过去20年内发表的同行评审研究。主要议题包括死亡时间估计方法的改进、法医昆虫生态学以及法医昆虫学中的

  来源：The American Journal of Forensic Medicine and Pathology

  时间：2025-11-19

• 基于维基百科的源可靠性的语言无关建模

  摘要在过去的几年中，验证信息来源的可信度已成为打击虚假信息的重要需求。在这里，我们提出了一种与语言无关的模型，用于评估维基百科多语言版本中引用的网站域名的可靠性。该模型利用编辑活动数据，评估了不同争议性话题（如气候变化、COVID-19、历史、媒体和生物学）相关文章中域名的可靠性。通过构建能够反映域名在各类文章中使用情况的特征，该模型能够有效预测域名的可靠性，英文及其他资源丰富语言的F1宏分数约为0.80。对于资源中等的语言，这一分数为0.65，而资源匮乏语言的性能则有所不同。在所有情况下，域名在文章中持续存在的时长（我们将其称为“持久性”）是最具预测性的特征之一。我们指出了在不同资源水平的语

  来源：ACM Transactions on the Web

  时间：2025-11-19

• 基于预训练模型的可操作性警告识别：一项可行性研究

  摘要可操作的警告识别（AWI）在提升静态代码分析器（SCA）的可用性方面发挥着关键作用。目前，基于机器学习（ML）的AWI方法较为常见，这些方法主要通过标记过的警告来训练AWI分类器。然而，由于这些方法直接依赖于有限数量的标记警告来开发分类器，因此其性能仍然受到限制。最近，预训练模型（PTMs）在处理各种与代码相关任务时表现出色，因为它们已经通过数十亿个文本/代码片段进行了训练。尽管如此，PTMs在AWI任务上的性能尚未得到系统性的研究，这导致我们对其优缺点缺乏清晰的认识。在本文中，我们首次探索了将各种PTMs应用于AWI的可行性。通过对12,000多个警告进行广泛评估（这些警告来自四种常用的

  来源：ACM Transactions on Software Engineering and Methodology

  时间：2025-11-19

• 公用事业规模量子模拟器的比较基准测试

  摘要在实用规模上评估量子算法（涉及100多个量子比特）是推动量子计算实际应用的关键步骤。在这项研究中，我们使用基于张量网络、矩阵乘积态（MPS）、决策图和分解态等方法对七种最先进的量子模拟器进行了基准测试，这些模拟器运行在基于CPU的硬件上，并专注于实现高精度的模拟。测试采用了MQTBench库中的13个基准电路，这些电路的量子比特数量从4个到1,024个不等。测试结果显示，基于MPS的模拟器在整体性能上优于其他方法：它们成功解决了8个最大规模为1,024个量子比特的基准测试，并在5分钟内解决了至少12个最大规模为100个量子比特的基准测试。我们还发现，除了一个随机设计的电路外，所有电路都可以

  来源：ACM Transactions on Quantum Computing

  时间：2025-11-19

• 算法 XXXX：LinCodeWeightInv——用于计算有限域上线性码权重分布的库

  摘要我们提出了线性码权重不变性库（LinCodeWeightInv），用于优化计算随机线性码的权重分布及其他权重特性（如最小距离、具有给定权重的码字数量等）。该库适用于元素数量最多为64的有限域上的线性码。我们采用了两种主要的优化方法：高效的码字生成算法，以及将扩展向量寄存器与SSE4.1、AVX2和AVX512指令集（针对x86架构）以及NEON指令集（针对ARM架构）相结合。将LinCodeWeightInv与其他用于有限域上线性码的软件系统进行比较，发现在\(\mathbb{F}_{2}\)和\(\mathbb{F}_{5}\)上，其执行速度比其他系统快1.3到4倍；具体速度提升幅度取决

  来源：ACM Transactions on Mathematical Software

  时间：2025-11-19

• 用于动态可视化并行计算线程的交互式Java算法

  摘要本研究探讨了用于动态可视化并行计算线程的交互式Java算法的开发方法。所提出的交互式Java算法能够生成并行进程、它们之间的交互以及数据分布的可视化图形表示。在研究框架内，分析了并行计算流可视化的关键方法，评估了所使用的交互组件的特性，并考虑了与现有监控和调试系统的集成方式。借助可配置的可视化工具，开发人员和研究人员可以观察计算线程的运行情况，评估系统的性能，并及时响应并行任务结构的变化。在Java平台上实现这些算法确保了其可移植性、广泛的适用性以及与高性能计算框架的集成。通过使用动态数据结构、线程安全的集合以及语言和标准库中提供的并行机制，可以高效地实时处理大量数据。此外，Java虚拟机

  来源：ACM Transactions on Parallel Computing

  时间：2025-11-19

• 单子交集类型：关系视角与有序性考量

  摘要我们将交集类型扩展到一种基于计算\(\lambda\)-演算的系统中，并引入了类似Plotkin和Power方法中的代数运算。我们通过引入单子交集（monadic intersections）来实现这一点——这样一来，计算效应不仅体现在操作语义中，也体现在类型系统中。由于在具有计算效应的系统中，终止性不再是唯一需要关注的属性，我们希望分析带类型程序与环境的交互行为。实际上，我们的类型系统能够描述观察的自然概念，无论是在有限环境中还是在无限环境中。在第二阶段，我们通过引入子类型（subtyping）来扩展系统，利用预序（preorders）而非集合上的单子（monads）来表示更丰富的效应类

  来源：ACM Transactions on Programming Languages and Systems

  时间：2025-11-19

• 多视图图之间的互知蒸馏与对比学习在跨领域推荐中的应用

  摘要作为一种有效解决传统推荐系统中数据稀疏性和冷启动问题的工具，跨域推荐依赖于解决两个基本问题：如何传递知识以及传递什么知识。现有方法在这些方面存在局限性，例如领域之间的联系受限、表示解耦不足以及知识传递不够充分。为了解决这些挑战，我们提出了一种新的模型KDCLM，该模型在多视图图架构中整合了先进的知识蒸馏和对比学习机制。该模型包含两个视图——局部视图和全局视图——它们都基于用户-物品交互构建多个图来建立更丰富的领域联系。具体而言，局部视图采用了两种对比学习机制：一种用于对齐领域不变的表示，另一种用于区分特定领域的表示，这两种机制共同实现了有效的表示解耦。此外，我们在全局异构用户-物品交互图与

  来源：ACM Transactions on Information Systems

  时间：2025-11-19

• 半自动驾驶车辆更安全控制系统的设计

  摘要组件故障、漏洞以及恶意攻击都可能降低半自动驾驶车辆（SAVs）正确捕捉其运行环境的能力，甚至完全阻止其执行这些操作。而运行环境对于支持紧急制动或转向控制等关键安全功能至关重要。尽管现代半自动驾驶车辆的安全功能通常依赖于静态的控制优先级分配，但这种设计在控制或环境估计出现错误或被篡改的情况下，可能会导致灾难性事故。为减轻使用错误数据所带来的严重后果，我们提出了CADCA——一种专为半自动驾驶车辆设计的新型控制决策系统。该系统能够在传感器/数据出现错误或被篡改，以及控制输入存在恶意或错误的情况下正常运行，其最终目标是解决相互冲突的控制指令，以确保行车安全。通过对15,700个测试用例的评估，我

  来源：ACM Transactions on Cyber-Physical Systems

  时间：2025-11-19

• RSU部署优化：用于保护车辆编队免受虚假注入攻击

  摘要车辆编队已成为智能交通系统（ITS）中的一个重要应用，因为它能够实现联网自动驾驶车辆（CAV）车队以紧密编队形式进行高速行驶。这种紧密编队通常伴随着严格的安全约束，例如相邻车队车辆之间的安全间距必须短且固定。为了满足这些严格要求，CAV车队严重依赖于底层的编队通信协议，而这些协议容易受到攻击者的各种攻击。例如，一种常见的攻击方式是虚假数据注入（FDI）攻击，它可能通过引发车队车辆之间的碰撞或导致车队减速从而扰乱交通秩序，使编队变得“不安全”。一种缓解FDI攻击的机制是在车辆编队路径上均匀布置路边单元（RSUs）。RSUs可以作为检测和抵御攻击的信任基础。然而，频繁在路径上布置RSUs会导致

  来源：ACM Transactions on Cyber-Physical Systems

  时间：2025-11-19

知名企业招聘：