本发明公开了一种虚拟机镜像的高效更新以及验证机制。与现 有的虚拟机镜像离线更新机制不同，本技术方案通过对重写后的无法 实施离线更新脚本进行分割，得到离线更新脚本以及在线更新脚本， 分阶段执行不同的脚本使得更新的执行粒度更加细化，可以更加高效 的完成之前技术方案中无法实施离线更新的状况。除此之外，提出一 种基于镜像划分进行更新可靠性验证机制，通过将已更新的镜像通过 分类聚合，验证更新后的镜像可靠性，以最高效的方式完成更

本发明公开了一种面向个性化虚拟试衣的真实人体三维建模方法。该算法以视频作为输入数据，经过特征匹配、关键帧选取、三维点云生成、模板映射、纹理映射等几个步骤，得到人体表面三维模型。采用运动恢复结构的技术大大简化了重建过程，减轻了数据采集者和被采集者的负担，降低了对仪器和设备的要求，同时能获得较为精确的重建结果。利用模板映射能获得完整的人体表面模型，使算法对于人体纹理信息缺失和自身遮挡更加鲁棒。按照本发明，从数据输入到

本发明公开了一种嵌入式环境下并行程序数据竞争检测与重放 的方法，结合软件调试与测试的需求，采用符号执行虚拟机方案，动 态地监测程序的运行，收集程序的执行信息，并分析数据竞争。并且 还能通过执行信息对程序进行确定性重放，使得程序的执行轨迹能够 重现。功能包括：基于符号执行虚拟机的数据竞争检测、基于符号执 行虚拟机的数据竞争重放功能。本发明可以发掘隐藏在程序中的数据 竞争，防止多线程程序在运行时发生错误。

本发明公开了一种虚拟机在线迁移方法，属于计算机虚拟化技 术领域。该方法具体为：中心控制服务器监控各物理服务器的资源消 耗状态，以优化资源消耗状态为目标确定迁移源物理服务器；在迁移 源物理服务器上选取候选待迁移虚拟机，按照一一对应方式构成候选 迁移方案；综合虚拟机迁移过程造成的迁移性能干扰以及迁移之后对 目的物理服务器造成的同机性能干扰评价候选迁移方案造成的整体性 能干扰；从各候选迁移方案中选取整体性能干扰最小者作为最

本发明公开了一种基于曲率驱动的编织型颅内介入装置的虚拟释放方法，涉及医疗器械介入仿真技术领域，所述方法包括以下步骤：步骤1、对编织型颅内介入装置进行应变能分析，确定假设条件；步骤2、建立编织型颅内介入装置的初始构型参数化表示；步骤3、输入动脉瘤壁的参数，得到最终构型；步骤4、建立平均曲率和高斯曲率表示的能量泛函；步骤5、能量泛函最小化的求解；步骤6、计算应力和应变。本发明基于编织丝线的力学特性和编织形介入装置的几何构型，能够在数十秒内完成装置变形和应力应变的计算，快速且精准地模拟装置在不同临床情境下的力学行为，对于优化装置设计和提升临床治疗效果具有重要意义。

4月22日，清华大学药学院饶燏课题组与武汉大学宋保亮课题组合作在《药物化学杂志》（Journal of Medicinal Chemistry）发表题为“降解对比抑制：开发靶向3-羟基-3-甲基-戊二酰辅酶A还原酶的降解小分子”（Degradation Versus Inhibition: Development of Proteolysis-Targeting Chimeras for Overcoming Statin-Induced Compensatory Upregulation of 3-Hydroxy-3-methylglutaryl Coenzyme A Reductase）的研究论文。HMGCR（3-Hydroxy-3-methylglutaryl Coenzyme A Reductase）是胆固醇（cholesterol）合成途径中的限速酶，并且是经典的治疗血脂异常的药物靶点。它的抑制剂（statin,他汀类化合物）如阿伐他汀（atorvastatin,立普妥®，辉瑞）在临床被用于预防和治疗心血管疾病，并取得了极大的成功。但是有相当一部分人对他汀类药物不耐受，比如会发生骨骼肌损伤等较为严重的副作用，这有可能与服用他汀类药物后体内通过负反馈调节导致HMGCR补偿性表达升高有关。因而在该工作中，研究人员利用蛋白靶向降解嵌合体（Proteolysis-Targeting Chimera, PROTAC）的技术，对HMGCR在进行降解而起到抑制胆固醇合成作用的同时可以避免HMGCR的高表达，从而有望降低副作用。 图1.抑制剂与PROTAC对HMGCR的影响 在该工作中，研究人员首先筛选出SRD15细胞系作为细胞测试的基础，然后基于HMGCR的配体阿伐他汀和E3链接酶CRBN的配体泊马渡胺进行了一系列的构效关系研究，发现化合物P22A作为PROTAC具有较好地降解活性（DC50~100 nM）。相比之下，抑制剂阿伐他汀对HMGCR引起了明显的上调作用（图1）。 图2.抑制剂和PROTAC对LDLR和胆固醇的影响 接下来，研究人员通过一系列的生化和细胞生物学实验证实了PROTAC通过泛素-蛋白酶体系统发挥作用的机制；通过蛋白组学的研究发现抑制剂和PROTAC引起的组学应答也有很大不同。抑制剂和PROTAC对胆固醇合成抑制和通过SREBP通路引起的低密度脂蛋白受体（LDLR）表达水平上调的能力相当（图2）。 HMGCR是位于内质网上的八次跨膜蛋白, PROTAC对此类蛋白的降解能力往往有限，该工作首次证明利用PROTAC技术对内质网蛋白进行降解的可行性。另外，靶蛋白上调的现象还出现在很多其它的抑制剂中，该工作展示了面对此种情况时是PROTAC一个很好的应用场景。 宋保亮课题组博士生李美欣和饶燏组博士后杨毅庆为本工作共同第一作者，饶燏和宋保亮课题组罗婕为共同通讯作者。本研究得到了国家自然科学基金、清华-北大生命联合中心以及中国博士后基金的大力支持。 原文链接： https://pubs.acs.org/doi/10.1021/acs.jmedchem.0c00339

从目前世界上数控技术及其装备发展的趋势来看，其主要研究热点有以下几个方面： (1) 高速、高精加工技术及装备的新趋势。 (2) 多轴联动加工和复合加工机床快速发展。 (3) 智能化、开放式、网络化(采用TCP／IP通讯协议)成为当代数控系统发展的主要趋势。 (4) 重视新技术标准、规范的建立。 (5) 向大型化和微小化两极发展。 五轴数控机床在国内外的实际应用表明，其加工效率相当于两台三轴机床，甚至可以完全 省去某些大型自动化生产流水线的投资，大大节约了占地空间和工件在不同制造单元之间的周 转运输的时间和花费。 项目机器特点简介： (1) 本机控制系统功能强大，操作简单易学、适应范围广、高效稳定、性价比高； (2) 成熟、高性能控制系统软件，基于Windows XP/Windows2000平台安装使用性能好，时 尚实用，可以直接手动编写G代码来完成加工要求，还可完成从图形设计直接生成G代码，图 形设计软件可以通过MasterCAM、UG、CAXA等后处理软件生成G代码；三维立体刀路模拟仿 真数控实验； (3) 五轴采用伺服电机及驱动器配合精密的滚珠丝杆，电机与丝杆通过联轴器联接； (4) 体积小，单独的电气控制箱、易拆装，且可手/自动切换操作，满足各种操作需求； (5) 安全以及超高的可操控性，精美的外形设计； (6) 该小型焊机能够实现五轴联动控制、可手/自动切换操作运行，安全可靠；具有直线插 补、圆弧插补、点动、模拟运行、求教运行、自动运行、加工轨迹动态显示、程序动态显示 等基本功能，采用ISO规定的数控加工G代码编程同时支持M代码及S代码，可以完成从复杂造 型、自动生成G代码、模拟仿真到实验。

随着国家交通建设的日益发展，在山区修建高速公路越来越多，隧道开挖是山区修 建高速公路时常常会遇到的课题。实时监测对于保证隧道的安全施工具有十分重要的意 义。本系统可对海量极的现场监测数据进行建库管理，实现方便、快速、直观的图形断 面交互查询（包括三维交互式查询及二维图形断面二种模式），程序能够根据监测数据 进行智能预测并预警，并以一种全新的三维可视效果来表达隧道施工的安全级别，可为 隧道安全施工进行全程三维动态监控。 

在固态锂电池研究领域连续取得重要进展。继全面解析电动汽车三元单晶材料性能衰减机制后(Nature Communications, 2020, 11, 3050)，固态电池的研究成果“洞察固态电池多晶正极中的界面效应和局部锂离子迁移”（Insightsinto interfacial effect and local lithium-ion transport inpolycrystalline cathodes of solid-state batteries）也发表在最近的 Nature 子刊上(Nature Communications，2020，11，5700）。青年教师娄帅锋士为本文第一作者，王家钧教授为唯一通讯作者。

烟叶仓库杀虫时需要对 PH3 气体浓度监测，该监控装置由气体浓度测量、 通风量大部分;主要由单片机、PH3 传感器、直流稳压电源、通风设备及控制电 路组成、无线网关、客户端软件。本项目通过单片机 PH3 传感器实时监测仓库 环境中的 PH3 浓度,提高了杀虫作业中的自动化程度,实时性和安全性强。