基于子路径扩展的不可达路径检测方法

不可达路径是造成软件测试资源消耗的一个重要方面.在路径测试之前,检测程序中的不可达路径可以有效节约软件测试资源.提出了一种基于子路径扩展的不可达路径静态检测方法.该方法首先生成程序的子路径集,将路径的可达性问题转换为不等式组的求解问题.使用约束求解器判断子路径的可达性,可以分为:可达子路径,不可达子路径和无法判定三个部分,并对后面两部分的子路径扩展出的路径做二次可达性检测,最终获得程序中所有路径的可达性信息.可达性检测工作主要在子路径集上进行,因此有效地解决了路径爆炸问题.实验结果表明本文方法可以准确有效地检测出程序中的不可达路径.     

肝胆肿瘤中肿瘤特异性CircRNA衍生抗原肽的鉴定（英文）OA

基于肿瘤抗原的免疫治疗的应用受到验证免疫原性肽稀缺性的阻碍。本研究旨在研究环状RNA (circ RNA)在肝胆肿瘤类器官中作为肿瘤抗原肽新来源的潜力。使用RNA测序(RNA-seq)和基于算法的评分工具,预测3950个翻译的肿瘤特异性环状RNA在27个类器官中产生18 971个抗原肽。从抗原格局来看,11个氨基酸长度(mer)肽和人白细胞抗原(HLA)-A结合肽具有最高的免疫原性相关评分。在分析的3/5类器官中,有13个预测抗原肽通过质谱(MS)免疫肽组学被直接确认为HLAA、HLA-B和HLA-C (HLA-ABC)结合肽。在流式细胞术和酶联免疫吸附试验(ELISA)中,由HLAABC分子呈递的circ RNA衍生的肿瘤特异性肽刺激CD8 (CD8) T细胞,显示CD107a干扰素γ (IFNγ)共表达和IFNγ分泌增加。免疫原性环状RNA衍生肽诱导的靶向类器官的细胞毒性T细胞活性在杀伤实验中得到验证。值得注意的是,来自circ TBC1D15的抗原肽YGFNEILKK不仅被认为是类器官的HLA-ABC呈递肽,而且还显著降低了肿瘤类器官的存活率。本研究的发现强调了产生肿瘤抗原的一个...     

小秦岭金矿田北矿带厚覆盖层钻探技术难点及对策

针对小秦岭金矿田北矿带厚覆盖层钻孔施工存在的技术难点进行分析,从钻进方法、钻孔结构、泥浆护壁、工艺措施等方面,研究出解决厚覆盖层钻孔绳索取心钻进的技术对策和措施,在生产实践中较好地解决了技术难点问题,并取得了好的经济技术效果。     

铝合金与高强钢激光-电弧焊铆复合连接机制研究

为实现6061铝合金和Q460高强钢的优质连接,采用激光诱导电弧复合热源对已通过阶梯型铆钉实现预连接的6061铝合金板和Q460高强钢板进行搭接焊试验。分析焊铆复合连接方法下接头的力学性能,断裂模式以及横截面的宏观和微观形貌。结果表明,在铆钉和复合热源的共同作用下,焊铆复合连接接头由3个承载区域组成,分别为钢板和铆钉形成的对接接头,钢板,铆钉以及铝合金板形成的铝-钢连接区以及铆钉侧壁和铝合金板侧壁形成的铝-钢界面。铝-钢连接区的金属间化合物以富Fe的Fe Al相和Fe3Al相为主。在最佳工艺参数下,焊铆复合连接接头的拉剪载荷达到6.2 k N。拉伸断口呈现出纽扣式断裂、母材基体断裂以及拉拔式断裂3种断裂模式,后两种断裂具有更高的韧性和塑性。阶梯型铆钉和激光-电弧复合热源的协同作用可以实现铝合金和高强钢的优质连接。     

基于Ni中间层的铝合金与高强钢激光诱导TIG复合焊接

提出了加入Ni中间层的6061铝合金与DP980高强钢搭接接头激光诱导电弧复合连接技术,采用该技术实现了6061铝合金与DP980高强钢的良好连接。分析了Ni中间层对搭接接头力学性能、微观组织的影响,并分析了Ni中间层在焊接过程中的作用。使用光学显微镜、扫描电镜、电子探针、X射线衍射仪等对典型焊接接头的显微组织、元素分布进行分析。结果表明:在铝合金与高强钢之间加入Ni中间层,能有效阻止Fe元素向铝合金基体中扩散,并改变了6061/DP980界面金属间化合物的种类及分布,金属间化合物的厚度明显减小,金属间化合物主要由FeAl_3和Fe_2Al_5组成,Ni元素也发生扩散,并主要以Al-Ni化合物及Fe(Ni)固溶体的形式存在于焊缝中。添加Ni中间层焊接接头的剪切拉伸载荷可达到173 N/mm,比未添加Ni中间层的接头提高了约35%。     

专业的选择:专业安全服务

1,什么是安全服务 什么是安全服务？安全服务是整个IT环境成熟度的一个衡量指标。当整个产业的IT基础设施建设到一定程度后．在规避安全风险、控制安全成本及业务连续性保障需求的压力之下,就需要开始考虑如何制定符合自身的安全策略并使之与业务结合,这就是安全服务产生的基础。     

基于简化模型的双馈发电机控制方法研究

建立了双馈发电机的独立线性化系统模型以及简化RL模型,分析了定子侧滤波电容对发电机电压和输出电能质量的影响,搭建了通过电流来控制发电机电压的系统,最后通过仿真研究,其结果表明该模型能够有效地控制发电机输出电压,实现发电机幅值和频率的解耦控制,提高了发电机输出的电能质量。     

MJTR硅单晶辐照技术改进研究

为了具备8 inch（1 inch=2.54 cm）硅单晶辐照生产能力,同时进一步提高硅单晶辐照质量,对岷江试验堆（MJTR）硅单晶辐照技术进行改进研究。通过在辐照孔道增加中子屏布置改善硅单晶辐照的不均匀性,在辐照孔道外增加反射层布置提高辐照孔道热中子注量率,满足了8inch硅单晶辐照要求;同时对硅单晶辐照操作工艺进行优化设计,并对半自动辐照控制工艺进行了设计改进。硅单晶辐照技术改进后,每罐硅操作时间缩短了一半左右,辐照罐数可增加2%,辐照生产效率提升显著。      

水力内割刀与可退式捞矛在打捞深孔事故钻杆中的应用

采用水力式割刀分段割断事故钻杆,可退式捞矛捞取事故钻杆的处理方法,快捷、安全、经济地处理了招远栾家河金矿区47ZK3孔深孔跑钻事故。结合该工程实例,介绍了水压式割刀和可退式捞矛的使用方法,并与传统的反丝钻杆和丝锥锥捞处理方法进行了比较。