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

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

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

本发明涉及一种解决复合材料铺放过程中的回弹现象的系统，基于力矩/力传感器和三维形貌测量系统的用于解决出现在复合材料铺放过程中的关于预浸带的回弹现象。本发明基于 6 轴机器人平台，易于实现对铺带头的运动控制;在机器人的末端与铺带头的连接处安装有力矩/力传感器，实时检测铺带头主压辊的压力，尽可能保证恒压力铺放，用于预防回弹现象的产生;配备有三维形貌测量系统，对工件的轮廓重构，将视频检测技术用于复合材料铺放过程的质量控制;在原有的

1 成果简介经过 10 余年技术积累，清华大学在数字电视接收机开发及产业化方面形成了一系列研发成果，包括：符合地面和有线数字电视标准的标清机顶盒、高清机顶盒产品样机硬件、软件系统，高清晰度数字电视一体机设计方案，数字电视中间件及应用软件平台，交互数字电视系统及软件。在研发成果基础上，生产企业可以迅速掌握数字电视机顶盒和接收机技术，具备产品开发和生产能力， 应用成果包括全部软件、硬件设计文件及相关文档等。2 应用说明可形成到每年数以百万计的数字电视接收机产业规模，可在全国范围内推广使用。3 合作方式商谈。

来自湖南大学的张定校团队，联合罗斯威尔帕克癌症研究所的唐定国和刘松团队在Nature Communications上发表了题为Intron retention is a hallmark and spliceosome represents a therapeutic vulnerability in aggressive prostate cancer的文章【4】。该研究首次报道了人前前列腺癌PCa在其发生发展（包括临床治疗前后）过程中RNA选择性剪接的异常图谱；并揭示剪接体（Spliceosome）小分子抑制剂E7107可以有效地阻碍CRPC的耐药复发和恶性进展；提示靶向癌细胞的剪接体活性是一个新的治疗恶性PCa的临床策略。值得注意的是，E7107的一个减毒衍生物H3B-8800目前已经开始了在血液癌中临床实验（NCT02841540）。基于人临床PCa的转录组大数据，作者评估了不同恶性程度PCa组织（包括正常组织、原位癌、复发CRPC和终端致死性神经内分泌性前列腺癌（NEPC））中选择性剪接变异的整体情况，首次发现该剪接变异的异常程度与PCa的恶性程度密切相关。结合生信分析和功能试验，作者发现癌症的剪接异常主要通过影响相关基因的转录本转换（Isoform switch）来调控PCa的发生发展。由于内含子保留（IR）在不同的PCa发生和发展时期中呈现一致的上调变化，且是研究较少的一类AS事件，因此作者针对IR开展了进一步分析。结果显示IR是一个新的PCa恶性进展标志物，与PCa的侵袭转移能力和耐药性密切相关。另外，IR事件在正常胚胎干细胞和癌症干细胞中都明显增多，表明IR可能调控PCa的干性。随后，作者分析了IR的剪接机制，发现侵袭性PCa中IR的大幅度增多更可能受反式作用因子的调控。进一步分析发现，IR并不会导致相关基因的表达表达水平由于NMD(Nonsense-mediated mRNA Decay)而下调，且被保留的内含子可能还具有一定的编码能力，暗示了内含子保留IR在PCa中有一定的调控功能。作为一个控制雄性器官发育的关键转录因子，雄激素受体（Androgen receptor, AR）是PCa的driver基因。通过生信分析和细胞学试验，作者均发现AR可以显著影响PCa的AS图谱。结合受AR调控的AS相关基因和AR的转录靶基因，发现二者之间并没有明显联系，表明受AR影响的AS调控机制和转录调控机制是相对独立的。AS主要受剪接体的调控，作者分析了274个编码剪接调控因子的基因（Splicing regulatory genes, SRGs）在PCa中的突变情况。结果发现，绝大多数SRGs（~90%）的突变频率处于较低水平（<5%）；SRGs在早期PCa中主要发生基因缺失，而在CRPC中主要发生基因扩增。大约68%的SRGs在PCa不同时期存在异常表达现象，且在CRPC中相对较多，表明侵袭性PCa对剪接体的异常活性有偏好依赖性。进一步分析发现SRGs可以作为PCa的独立预后因子。以上发现的临床价值在于靶向抑制剪接体的活性可能会抑制PCa的恶性进展。为此，作者利用剪接体的小分子抑制剂发现，癌细胞比正常细胞对E7107更加敏感；且E7107能重编程PCa的AS图谱，并激活一些抑癌基因的表达。在转录水平上，E7107可将CRPC的转录组逆转到恶性程度较低的原位癌状态。最后，通过体内移植瘤和MYC-driven PCa小鼠模型试验证实，E7107可以抑制PCa的整体AS水平，并通过促进细胞分化和抑增癌基因相关通路活性等，最终阻碍目前无药可愈CRPC的生长。

1 成果简介经过 10 余年技术积累，清华大学在数字电视接收机开发及产业化方面形成了一系列研发成果，包括：符合地面和有线数字电视标准的标清机顶盒、高清机顶盒产品样机硬件、软件系统，高清晰度数字电视一体机设计方案，数字电视中间件及应用软件平台，交互数字电视系统及软件。在研发成果基础上，生产企业可以迅速掌握数字电视机顶盒和接收机技术，具备产品开发和生产能力， 应用成果包括全部软件、硬件设计文件及相关文档等。2 应用说明可形成到每年数以百万计的数字电视接收机产业规模，可在全国范围内推广使用。