检索结果-南通市图书馆

作者：郭纪珂内蒙古农业大学

学位级别：硕士

马传染性贫血病毒(EIAV)是反转录病毒科慢病毒属成员之一,可引起严重的马属动物传染病-马传染性贫血病(EIA)。慢病毒可不断变异逃脱宿主免疫监视,该特性是慢病毒疫苗很难研制成功的重要因素,而EIAV作为首个研制出疫苗并成功应用的的病毒... 详细信息

马传染性贫血病毒(EIAV)是反转录病毒科慢病毒属成员之一,可引起严重的马属动物传染病-马传染性贫血病(EIA)。慢病毒可不断变异逃脱宿主免疫监视,该特性是慢病毒疫苗很难研制成功的重要因素,而EIAV作为首个研制出疫苗并成功应用的的病毒,被认为是研究慢病毒感染免疫机制的重要模型。Rev蛋白作为EIAV的辅助蛋白之一,主要承担在病毒复制晚期向核外转运未完成剪切的mRNA的作用,以促进病毒的组装。所以,Rev在EIAV细胞内复制中起着重要作用。最新研究显示,在疾病感染的不同临床阶段Rev会产生变异形成不同的亚型,因此,对其结构和功能研究将对研制针对慢病毒的疫苗和药物提供重要的基础研究数据。单抗是用于对蛋白功能进行研究的重要工具。为此,本研究通过PCR获得Rev目的基因,通过双酶切将其克隆到pET30a原核表达载体上,通过原核表达和蛋白纯化,获得纯度高并具有免疫原性的Rev蛋白。用Rev蛋白免疫8周龄的BALB/c小鼠,通过细胞融合技术获得了一株分泌针对Rev抗体的杂交瘤细胞株,命名为2D9。经Western blot、间接ELISA和间接免疫荧光鉴定,确证获得单抗具有较高的敏感性和特异性。通过肽扫描技术对2D9单抗进行了B细胞表位鉴定,针对表位为71QHTPSRRDRWIRGQ84,位于Rev蛋白的RNA结合区域(RBD)。该单抗不但为研究Rev蛋白结构和功能提供了基础工具,而且为研究Rev与mRNA结合的作用机制提供了重要基础。

关键词：马传染性贫血病 Rev蛋白单克隆抗体表位鉴定

硫自养/异养协同反硝化复合滤料的制备及脱氮性能研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

硫自养/异养协同反硝化复合滤料的制备及脱氮性能研究

作者：宋艳珂中国石油大学(北京)

学位级别：硕士

随着水生态环境保护和污水排放标准的不断升级,污水深度脱氮已成为当前的研究热点。针对传统异养反硝化需要外加碳源,易造成二次污染;硫自养反硝化启动周期长,出水存在H、硫酸盐(SO)积累等不足。本研究通过开发硫自养/异养复合滤料,构... 详细信息

随着水生态环境保护和污水排放标准的不断升级,污水深度脱氮已成为当前的研究热点。针对传统异养反硝化需要外加碳源,易造成二次污染;硫自养反硝化启动周期长,出水存在H、硫酸盐(SO)积累等不足。本研究通过开发硫自养/异养复合滤料,构建深度脱氮生物滤池实现污水深度脱氮,采用硫自养/异养协同反硝化克服单一技术的弊端。通过考察不同碱性缓冲材料对硫自养反硝化性能的影响,确定了最佳碱性材料及S/Ca CO比,并结合聚己内酯（PCL）分别以熔融法和黏结法制备出硫自养/异养复合滤料,构建升流式填充床反应器,通过优化反应器运行条件,探究复合滤料的脱氮性能。结果显示,与碳酸钙、牡蛎壳和石灰石相比,以蛋壳为碳源,在S/Ca CO摩尔比为2.40:1时,脱氮性能最佳,反应速率常数约0.087 h。添加PCL制备的熔融法复合滤料（e_异:e_自=1:1）和黏结法复合滤料（e_异:e_自=2:1）具有相对较好的反硝化性能。分别将两种复合滤料应用于反硝化滤池R1和R2并开展连续流反硝化脱氮实验,R1出水p H稳定在7.0±0.2,NO-N和TN去除率可达93%以上,HRT从2.40 h缩短至1.25 h,NO-N和TN去除率仍维持在90%以上,体系中硫自养反硝化脱氮贡献率约53%,接近理论值。但R2的反硝化效率仅为60%。通过微生物群落结构分析发现,反应器R1的优势菌属是自养反硝化菌Thiobacillus和异养反硝化菌unclassified＿f＿Comamonadaceae。R2的优势菌属是异养反硝化菌norank＿f＿＿Anaerolineaceae和unclassified＿f＿Comamonadaceae。表明不同电子供体下,优势菌属明显不同。本研究基于无机碳源、S/C及e_异:e_自等参数对硫自养-异养协同反硝化体系中脱氮性能的影响,开发制备了适于低C/N污水脱氮处理的复合滤料,可为污水深度脱氮提供参考。

关键词：硫自养反硝化协同反硝化低C/N 复合材料脱氮

上市商业银行债务期限结构对其偿付能力的影响研究

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

上市商业银行债务期限结构对其偿付能力的影响研究

作者：马梦珂河南财经政法大学

学位级别：硕士

随着我国金融改革持续深化,国内供给侧改革不断加强,同业竞争日益激烈,金融业发展日渐艰难,金融环境愈加复杂。商业银行作为金融体系的重要组成部分,受国内外经济环境波动的影响更加显著,商业银行的债务期限结构趋向多样化和规模化,债... 详细信息

随着我国金融改革持续深化,国内供给侧改革不断加强,同业竞争日益激烈,金融业发展日渐艰难,金融环境愈加复杂。商业银行作为金融体系的重要组成部分,受国内外经济环境波动的影响更加显著,商业银行的债务期限结构趋向多样化和规模化,债务与资产的期限错配状况频发,由此引发偿付能力问题逐渐显现,如何调整债务期限结构进而保障其偿付能力,在国际金融业保持相对竞争优势,是本文重点关注的问题。因而,本文选择我国16家A股上市商业银行2012-2021年共10年的数据作为研究样本,探讨债务期限结构对上市商业银行偿付能力的影响机制。本文在参考大量债务期限结构相关文献的基础上,首先从信息不对称理论、信号传递理论、期限匹配理论这三个理论出发,阐释债务期限结构对偿付能力影响的理论基础;其次从债务期限结构、投资收益情况、偿付能力三个方面进行现状分析;再次利用因子分析法构建偿付能力综合指数,探讨债务期限结构对其偿付能力的影响机制,并分析不同产权性质上市商业银行债务期限结构对其偿付能力影响的异质性;进一步引入投资收益比率这一中介变量,探讨债务期限结构如何通过投资收益比率影响其偿付能力,得出实证结果并解释影响机制。从实证结果来看,得到如下结论:(1)上市商业银行的债务期限结构与偿付能力显著相关。(2)不同产权性质的上市商业银行债务期限结构对其偿付能力的影响存在异质性。(3)投资收益比率在上市商业银行短期负债比率对其偿付能力的影响中不存在中介效应;投资收益比率在上市商业银行长期负债比率对其偿付能力的影响中存在中介效应,绝对贡献度系数为0.0076,相对贡献度比例是21.35%。基于理论基础与实证分析得到的结果,本文从优化上市商业银行债务期限结构、调整投资收益策略两个方面提出提升偿付能力目标的对策,具体建议如下:主动管理负债,合理调整负债水平;调整债务期限结构,规避期限错配;运用多项负债工具,创新业务组合方式;深化上市商业银行改革,调节国有大型商业银行债务期限结构;优化投资收益策略,获取更多投资收益,以提升上市商业银行偿付能力,为上市商业银行保驾护航。

关键词：上市商业银行债务期限结构偿付能力中介效应

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

锡基钙钛矿太阳能电池的组分工程研究

锡基钙钛矿太阳能电池的组分工程研究

作者：朱玮珂电子科技大学

学位级别：硕士

为了响应环境友好型社会的号召,实现可持续发展,无铅钙钛矿开始进入研究视野。锡基钙钛矿太阳能电池（Tin-based Perovskite Solar Cells,TPSCs）的功率转换效率（Power Conversion Efficiency,PCE）在近些年已提升至接近15%。尽管TPSC... 详细信息

为了响应环境友好型社会的号召,实现可持续发展,无铅钙钛矿开始进入研究视野。锡基钙钛矿太阳能电池（Tin-based Perovskite Solar Cells,TPSCs）的功率转换效率（Power Conversion Efficiency,PCE）在近些年已提升至接近15%。尽管TPSCs发展很迅速,但与铅基钙钛矿太阳能电池相比PCE还是存在较大差距。对TPSCs而言,快速结晶的过程往往伴随大量的缺陷的产生,导致薄膜质量差并诱导非辐射复合发生。稳定性也是限制TPSCs进一步发展的关键。针对上述核心问题本工作通过组分工程对锡基钙钛矿薄膜结晶进行调控,减少薄膜中的缺陷,抑制非辐射复合以及减缓Sn氧化速度提高稳定性。通过系统的表征,深入研究TPSCs的PCE和稳定性提升的作用机制。主要研究内容如下:（1）采用苯乙胺盐（Phenylethylamine Iodine/Phenylethylamine Bromide,PEAI/PEABr）来探究基于PEA的卤素工程对锡基钙钛矿晶格稳定性的影响。揭示了这种卤素工程增强PEA及I位置附近的电荷转移,提高晶格稳定性,显着降低了缺陷密度,并抑制了非辐射复合。因此,PEABr修饰TPSCs的PCE相较于未修饰器件提升了22.00%并获得了70 m V开路电压(Open-circuit Voltage,V)的增益。修饰后的未封装器件的N、UV紫外以及湿度稳定性均得到显著提升。（2）采用醋酸甲脒（Formamidine Acetate,FAAc）/醋酸甲胺/醋酸来探究不同A位配体醋酸盐对钙钛矿薄膜结晶及Sn的影响。研究表明FAAc与SnI具有较强的相互作用,并且FAAc能够抑制晶格畸变。同时,Sn氧化速度也得到缓解。因此FAAc修饰器件的PCE为12.43%。其在N在放置2000 h后仍保持初始效率的94.00%,而未修饰器件仅剩初始PCE的74.81%。（3）采用2-噻吩乙基氯化铵（2-Thiophenethylammonium Chloride,ThEACl）来探究A/X位共掺杂组分工程对锡基钙钛矿薄膜晶格应力的影响。研究表明归因于ThEACl和SnI之间的强相互作用,钙钛矿残余应力释放,稳定性提升。ThEACl不仅能有效改善薄膜的结晶,还能减少钙钛矿中的缺陷并抑制由缺陷诱导的非辐射复合,因此ThEACl修饰器件获得了808 m V的V以及11.13%的PCE。本文将PEABr、FAAC、ThEACl掺入前驱体溶液中,结合组分工程策略有效改善了钙钛矿薄膜的质量,提高了锡基钙钛矿的晶格稳定性与运行稳定性,为进一步提高锡基钙钛矿的性能及稳定性提供了指导。

关键词：组分调控应力非辐射复合缺陷离子迁移

Anti-VEGF对葡萄膜炎视网膜小胶质细胞的影响及其作用机制

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

Anti-VEGF对葡萄膜炎视网膜小胶质细胞的影响及其作用机制

作者：关丽珂郑州大学

学位级别：硕士

背景视网膜小胶质细胞（Retinal microglia,RMG）是一种中枢神经固有免疫细胞,作为免疫系统的重要组成部分,其在维持视网膜内环境稳定及调控炎症反应中具有关键作用。相关研究表明,视网膜小胶质细胞的异常活化参与许多视网膜退行性疾病... 详细信息

背景视网膜小胶质细胞（Retinal microglia,RMG）是一种中枢神经固有免疫细胞,作为免疫系统的重要组成部分,其在维持视网膜内环境稳定及调控炎症反应中具有关键作用。相关研究表明,视网膜小胶质细胞的异常活化参与许多视网膜退行性疾病、炎症相关性视网膜病变的发生、发展。抗-血管内皮生长因子（Anti-VEGF/抗-VEGF）药物在临床被用作抑制新生血管的形成,近年被批准用于黄斑水肿、年龄相关性黄斑变性等疾病的治疗,但其在炎症相关性视网膜疾病中的作用机制目前尚不明确。目的探讨抗-VEGF药物在眼葡萄膜炎模型中对视网膜小胶质细胞的影响及其作用机制。方法1.培养BV2小胶质细胞,使用细胞增殖-毒性检测法（CCK-8法）测定抗-VEGF药物的适宜浓度范围。2.体外实验:采用BV2小胶质细胞活化的体外炎症模型,检测抗-VEGF药物的作用机制。根据CCK-8药物浓度检测法测定抗-VEGF药物的作用浓度范围,在不损伤细胞活性的情况下,随机将其分为CON组、LPS组、LPS+抗-VEGF（1μg/m L）组、LPS+抗-VEGF（5μg/m L）组、LPS+抗-VEGF（10μg/m L）组,通过Western blot法检测各组BV2小胶质细胞中VEGF蛋白、P65蛋白以及iNOS蛋白的表达量。3.体内实验:采用玻璃体腔注射的方法构建SD大鼠视网膜炎症模型,将符合要求的雄性SD大鼠随机分为正常对照组（CON组）、模型组（LPS组）、药物组（LPS+抗-VEGF组）,每组10只。收集视网膜组织,通过免疫组化法观察不同组间视网膜小胶质细胞的活化情况,使用western blot法及免疫荧光法检测各组间P65蛋白及iNOS蛋白的表达及分布情况。结果***-8结果显示:当使用的抗-VEGF药物浓度为50μg/m L时,对BV2小胶质细胞显示出毒性损害作用,细胞的活力下降（P＜0.05）;当使用的药物浓度为0-10μg/m L之间时,BV2小胶质细胞活性未受到明显影响（P＞0.05）。*** blot结果显示:1)VEGF因子:与CON组相比,LPS组VEGF含量增加（P＜0.05）,不同浓度梯度抗-VEGF药物组与LPS组相比,各组VEGF的含量降低（P＜0.05）;2)iNOS蛋白:与CON组相比,LPS诱导BV2小胶质细胞表达iNOS,不同浓度的抗-VEGF药物剂量依赖性的抑制iNOS的表达（P＜0.05）;3)P65:与CON组比较,LPS组P65主要在胞核中表达,不同浓度的抗-VEGF药物剂量依赖性抑制NF-κB信号通路中P65的核转移（P＜0.05）。3.免疫组化显示:LPS诱导视网膜小胶质细胞的活化,与CON组相比,小胶质细胞的活化数明显增加（P＜0.05）,抗-VEGF药物抑制LPS诱导的视网膜小胶质细胞的活化（P＜0.05）。4.免疫荧光显示:与CON组相比,LPS诱导P65的核转移,P65主要在视网膜小胶质细胞的细胞核表达;抗-VEGF药物抑制了视网膜小胶质细胞NF-κB信号通路中P65的核转移。5.不同组间视网膜免疫荧光及Western blot法显示:iNOS主要在视网膜的内层表达,抗-VEGF药物抑制炎症介质iNOS的表达。结论1.抗-VEGF药物可以抑制葡萄膜炎模型中的视网膜小胶质细胞的活化,减少视网膜损伤。2.抗-VEGF药物抑制小胶质细胞的活化可能是通过抑制NF-κB信号通路的激活实现的。3.抗-VEGF药物可以抑制葡萄膜炎炎症介质iNOS的表达,抗-VEGF药物可能减少视网膜炎症相关介质的毒性作用,保护视网膜。

关键词：视网膜小胶质细胞抗-VEGF 核因子-κB 炎症相关性视网膜病变

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

事理知识增强的事件关系推理关键技术研究

事理知识增强的事件关系推理关键技术研究

作者：王若珂哈尔滨工业大学

学位级别：硕士

当今人工智能技术已经在社会生活的方方面面发挥着重要作用,但是现有的人工智能技术仍与人类的推理能力存在着很大的差距,而事件关系推理这一任务,通过让机器学习事件间隐含的逻辑关系,提高机器的认知能力,继而服务于下游任务。而如何... 详细信息

当今人工智能技术已经在社会生活的方方面面发挥着重要作用,但是现有的人工智能技术仍与人类的推理能力存在着很大的差距,而事件关系推理这一任务,通过让机器学习事件间隐含的逻辑关系,提高机器的认知能力,继而服务于下游任务。而如何让机器更好地学习到事件间隐含的关系,就是一项重要的课题。本研究通过引入外部事理常识知识,并结合事件联合推理技术实现时序和子事件关系推理。本研究首先探索了外部事理知识增强的时序关系推理。通过引入外部的事理常识知识和事件间的时序常识知识,结合大规模预训练模型进行表示学习,取得了优异的时序关系分类结果。其次,本研究探索了时序知识增强的子事件关系推理。通过上下文、外部知识和时序知识三者结合构建了异质事件图,并利用图注意力模型进行表示学习。经实验验证该方法可以更深层地挖掘目标事件对间隐含的关系,显著超越了已有的基线模型。再者,本研究探索了基于多任务学习的时序和子事件关系联合推理。利用多任务学习的方式学习上下文中这两种事件关系间隐含的逻辑联系,实验证明该方法可以成功提高两个子任务的效果。最后,本研究构建了能够表达时序和子事件关系的社会热点事理图谱。基于新闻语料和上述研究成果进行事件关系推理并制作了网页作为演示系统进行结果展示,证明了本研究的实际效果与应用价值。本研究提出的各模型框架在时序关系推理和子事件关系推理任务上都超越了已有的基线模型,并且基于这些模型的社会热点事理图谱能够证明本研究具有较高的应用价值。

关键词：事件关系推理事理知识异质图事理图谱

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

银川(北京)投资推介洽谈会在京举办

银川(北京)投资推介洽谈会在京举办

降调节后添加不同黄体生成素制剂对卵巢正常反应患者体外受精的影响

银川日报

作者：雷梦

本报讯（记者雷梦）金秋送爽，硕果盈枝。10月26日下午，“塞上湖城、大美银川”主题投资推介洽谈会在北京举办。此次会议由银川市投资促进局、银川市政府驻北京联络处联合主办，邀请广州市驻京办、杭州市驻京办等多地驻京办事机构，... 详细信息

本报讯（记者雷梦）金秋送爽，硕果盈枝。10月26日下午，“塞上湖城、大美银川”主题投资推介洽谈会在北京举办。此次会议由银川市投资促进局、银川市政府驻北京联络处联合主办，邀请广州市驻京办、杭州市驻京办等多地驻京办事机构，北京福建企业总商会、北京宁夏企业商会、北......

关键词：投资促进局银川市北京市

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

降调节后添加不同黄体生成素制剂对卵巢正常反应患者体外受精的影...

作者：马艺珂河北医科大学

学位级别：硕士

目的:分析在应用卵泡期长效长方案的卵巢正常反应患者中,Gn启动日血清LH水平、添加不同LH制剂以及添加时机对卵巢刺激和胚胎发育的影响。方法:回顾性分析2018年8月至2019年8月在河北医科大学第四医院生殖医学科应用卵泡期长效长方案的... 详细信息

目的:分析在应用卵泡期长效长方案的卵巢正常反应患者中,Gn启动日血清LH水平、添加不同LH制剂以及添加时机对卵巢刺激和胚胎发育的影响。方法:回顾性分析2018年8月至2019年8月在河北医科大学第四医院生殖医学科应用卵泡期长效长方案的卵巢正常反应患者。根据Gn启动日血清LH水平将患者分为两组,血清LH≥0.7IU/L为A组,血清LH＜0.7IU/L为B组。A组单独使用u FSH促排卵,B组根据促排卵药物类型进一步分为4个亚组:B1组（u FSH）、B2组（u FSH+HMG）、B3组（u FSH+r LH）、B4组（u FSH+HP-HMG）。选择病例数量最多的B3组分析LH制剂的添加时机,分为a组（早加组）和b组（晚加组）。比较A组和B1组、B组各亚组间、a组和b组的FSH用量、Gn用药天数、h CG注射日内膜厚度和血清E2、LH、P水平、获卵数、MⅡ卵率、受精率、卵裂率、优胚率。结果:1.在A组和B1组中,h CG注射日血清LH水平A组高于B1组（P＜0.05）,h CG注射日血清P水平A组低于B1组（P＜0.05）,A组与B1组的FSH用量、Gn用药天数、h CG注射日内膜厚度和血清E2水平差异无统计学意义（P＞0.05）。2.在A组和B1组中,MⅡ卵率A组高于B1组（P＜0.05）,A组与B1组获卵数、受精率、卵裂率、优胚率差异无统计学意义（P＞0.05）。3.在B组各亚组中,FSH用量B1组高于B2、B3和B4组（P＜0.05）,h CG注射日血清LH水平B3组高于B2和B4组（P＜0.05）,h CG注射日血清P水平B1组高于B3和B4组（P＜0.05）,B组各亚组间Gn用药天数、h CG注射日内膜厚度和血清E2水平差异无统计学意义（P＞0.05）。4.在B组各亚组中,获卵数B3组少于B4组（P＜0.05）,MⅡ卵率B3组高于B1和B2组（P＜0.05）,优胚率B3组高于B4组（P＜0.05）,B组各亚组间受精率、卵裂率差异无统计学意义（P＞0.05）。5.在a组和b组中,FSH用量a组多于b组（P＜0.05）,a组和b组Gn用药天数、h CG注射日内膜厚度和血清E2、LH、P水平差异无统计学意义（P＞0.05）。6.a组和b组获卵数、MⅡ卵率、受精率、卵裂率、优胚率差异无统计学意义（P＞0.05）。结论:在卵巢正常反应患者中,Gn RH-a降调节后Gn启动日血清LH＜0.7IU/L时:1.h CG注射日血清LH水平降低、血清P水平升高,MⅡ卵率降低。2.添加LH制剂可减少FSH用量;添加r LH可降低h CG注射日血清P水平,提高MⅡ卵率和优胚率;添加HP-HMG可降低h CG注射日血清P水平,提高获卵数。3.与卵泡早期相比,在卵泡中晚期添加r LH可减少FSH用量。

关键词：体外受精黄体生成素卵巢正常反应促性腺激素释放激素激动剂添加时机

基于发生序的Golang程序非阻塞型缺陷的静态检测

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于发生序的Golang程序非阻塞型缺陷的静态检测

作者：徐彦珂南京理工大学

学位级别：硕士

Go程序中的非阻塞型并发缺陷通常是由goroutines的并发执行引起的。并发执行会导致goroutines同时访问共享内存,如果开发者没有妥善处理内存访问事件,会出现数据竞争、数据丢失以及程序崩溃等严重影响用户体验和程序质量的后果。与阻塞... 详细信息

Go程序中的非阻塞型并发缺陷通常是由goroutines的并发执行引起的。并发执行会导致goroutines同时访问共享内存,如果开发者没有妥善处理内存访问事件,会出现数据竞争、数据丢失以及程序崩溃等严重影响用户体验和程序质量的后果。与阻塞型并发缺陷不同,非阻塞型并发缺陷在被触发时可能不会立即表现出来,因此难以对其进行手动检测。目前针对Go程序中非阻塞型并发缺陷的研究主要集中在动态检测数据竞争,因此需要熟悉待测程序并编写大量测试文件来动态执行程序,这通常非常耗时且难以实现。此外,对于Go语言提供的并发特性导致的非阻塞型并发缺陷缺乏深入的研究。针对现有检测方法的不足,本文提出了一种基于发生序的非阻塞型并发缺陷静态检测方法,用于自动化检测Go程序中存在的非阻塞型并发缺陷。该方法首先解析程序的SSA中间层代码以收集所有变量及其读写操作(包含操作的加锁状态),并使用指针分析技术分析变量之间的别名关系。其次我们为每一个变量构建其所有的待检测操作对,并筛选出可能会发生非阻塞型并发缺陷的操作对。然后解析程序调用图获取程序中所有的goroutines并根据派生关系构建goroutine派生树。最后,基于goroutine派生树,我们找到操作对中两个操作所在goroutines的最低公共祖先以确定最小分析范围,并结合控制流信息对两个操作进行并发关系和发生序关系分析,从而检测出非阻塞型并发缺陷。基于本文提出的静态检测方法,本文实现了一个原型工具GTrack。GTrack由四个模块组成,分别是预处理模块、变量及操作管理器模块、待检测操作对构造器模块和缺陷检测模块。预处理模块负责解析待测程序并构造调用图和goroutine派生树;变量及操作管理器模块负责识别项目中变量及其相关读写操作;待检测操作对构造器模块构建所有可能会出现非阻塞型并发缺陷的待检测操作对;缺陷检测模块负责对操作对执行并发分析和发生序关系分析,以识别程序中存在的非阻塞型并发缺陷。本文使用Go Bench基准和包含11个大型的真实开源程序的数据集对GTrack的有效性和性能进行评估。实验结果表明,GTrack不仅能够检测到Go Bench基准中34个已知的非阻塞型并发缺陷,还能够发现13个先前未知的此类缺陷;此外,GTrack将检测范围扩展到大型的真实应用程序,并且检测到一定数量的非阻塞型并发缺陷。同时,与现有的最先进检测工具相比,在不牺牲准确性的前提下,GTrack在检测数量和缺陷种类方面都有着更好的表现。

关键词：非阻塞型并发缺陷数据竞争静态分析 Go语言 goroutine派生树

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

面向语音噪声的鲁棒神经机器翻译方法研究

面向语音噪声的鲁棒神经机器翻译方法研究

作者：梁晓珂北京交通大学

学位级别：硕士

机器翻译旨在利用机器实现不同语言之间的自动翻译,是自然语言处理(Natural Language Processing,NLP)领域的重要研究任务之一。近年来,神经机器翻译(Neural Machine Translation,NMT)发展十分迅速,特别是面向无噪声数据的NMT系统已经... 详细信息

机器翻译旨在利用机器实现不同语言之间的自动翻译,是自然语言处理(Natural Language Processing,NLP)领域的重要研究任务之一。近年来,神经机器翻译(Neural Machine Translation,NMT)发展十分迅速,特别是面向无噪声数据的NMT系统已经达到了一个较好的性能水平,在很多真实场景中被广泛应用。然而在常用的语音翻译系统中,NMT作为自动语音识别(Automatic Speech Recognition,ASR)的下游任务,需要接收ASR的结果作为输入,这些识别结果往往含有噪音,而NMT模型极易受到这些噪音的干扰而性能大幅下降,使得语音翻译系统在工业场景落地时缺乏鲁棒性和安全性。为了提高NMT模型在面向语音识别噪音时的鲁棒性,本文从融合外部知识和对抗样本两个角度展开研究。本文的主要研究内容如下:(1)针对NMT模型无法自动识别ASR噪音的问题,提出了一种自适应融合发音信息的鲁棒翻译方法。与以往简单融合发音信息的方法相比,该方法通过借助额外的二分类任务预测每个词被识别为ASR噪音词的概率,使得每个词以不同的发音权重与文本信息进行融合,得到的联合嵌入作为翻译任务的输入向量,从而使模型自适应地学习发音信息。该方法不仅能够借助外部发音信息弥补输入错误,也能在一定程度上增强文本语义信息的理解,提高了模型的翻译性能和鲁棒性。(2)针对NMT模型训练过程中缺乏ASR噪音样例的问题,提出了一种基于白盒对抗样本的鲁棒翻译方法。该方法借助翻译模型在反向传播过程中产生的梯度值信息,并结合相似度函数来拉近替换词和原始词之间的语义距离,从ASR噪音词表中选择出对模型攻击性最大的噪音替换词,生成对抗样本,从而增加训练数据中的ASR噪音样例,提高模型对该错误的适应能力。该方法不仅能够为训练数据增加噪音样例,提高模型的抗噪能力,同时也能弥补因为替换而带来的语义损失,相比于黑盒方式更有优势,进一步提升了模型的鲁棒性。实验结果表明,在大规模中英翻译数据集上,本文提出的两种鲁棒翻译方法,无论是在人工构造的还是在真实场景下的ASR噪音测试集上,都能够提高NMT的翻译性能和鲁棒性,而且,本文提出的白盒对抗样本生成方法在小语种的维中数据集上也具有一定的优势。

关键词：神经机器翻译自动语音识别对抗样本