基于占优关系的MPI并行程序死锁检测

随着高性能技术的发展,MPI并行程序得到了越来越广泛的应用,其可靠性也得到了软件工程界越来越多的关注.一个MPI并行程序有多个并行执行的进程,每个进程包含一系列串行执行语句.死锁是并行程序的一类典型错误,本文提出一种基于占优关系的死锁检测方法.首先,根据通信语句之间的占优关系,得到每个进程内,通信边之间的占优关系;然后,通过判定通信边占优关系是否相互违背,检测程序中的死锁.基于上述思想,开发了基于占优关系的死锁检测原型工具,用于检测多个典型的MPI并行程序.结果表明,本文方法能够检测出程序中的死锁缺陷.     

基于Kramers Kronig关系的油纸绝缘直流电导计算方法

针对区分介电谱中电导和极化过程的方法较为缺乏,等效模型中表征电导的参数唯一性计算方法不足的问题.以油纸绝缘介质的电导过程为研究对象,在实验条件下制备不同水分含量的油纸绝缘样品,并测量频域响应谱线.基于Kramers-Kronig关系对测量复极化率实部谱线进行数值积分,获得弛豫损耗谱线,进而得到电导损耗谱线;并使用最小二乘法对电导损耗谱线进行拟合,计算出电导值.研究结果表明,使用Kramers-Kronig变换可以从测量复极化率虚部谱线中有效分离弛豫损耗谱线和电导损耗谱线,进而得到直流电导值;随着油纸绝缘样品含水率增加,介电谱的损耗峰特征逐渐消失,电导过程增强.     

俄印关系:特殊特惠伙伴间的有限合作

近期,有关俄罗斯与印度年度峰会取消的消息引发广泛关注。2020年是俄印战略合作伙伴关系建立20周年,但在这个关键的节点年份,已连续举行了20年的俄印峰会首次未能如期举行。尽管俄印官方皆表示取消峰会是由于新冠疫情影响,但还是引起了外界关于两国关系是否生变的猜测。巧合的是,在2020年度大型记者招待会和瓦尔代年会上,俄罗斯总统普京对印度只字未提,似乎暗示着一直高调的俄印关系出现了一些问题。     

我国体育赛事相关版权的权属与保护

4个体育赛事相关版权侵权纠纷的判例呈现出体育赛事转播侵权性质判定的复杂性,说明从法律层面对体育赛事相关版权权属规定的必要性、迫切性以及明确性。体育赛事是"以类似摄制电影的方法创作的作品",赛事主办者与媒体机构可以通过合同明确版权的归属问题。我国应通过不断完善相关立法,努力提高相关版权保护的意识和行业自律性,尽快提高反侵权的联合执法能力,逐步加大反盗版新技术研发等措施,进一步加强体育赛事相关版权的保护。     

浅议国际商务合同翻译教学中术语意识的培养

国际商务合同翻译过程中涉及多个专业的术语翻译,如法律术语、国际贸易术语、保险术语和金融术语等。作者认为在国际商务合同翻译教学中除了讲授国际商务合同的基础知识、语言特点、句法结构和合同的整体构成以及普通翻译技巧等之外,还需要重视学生对术语基础知识和术语翻译原则等方面的学习,培养学生的术语意识,提升学生的国际商务合同翻译质量和水平,并给出了培养学生术语意识的相关方法。     

基于地名本体的加权语义相关度算法研究

针对现有地理数据空间检索方法以简单字面匹配为核心、缺乏推理能力等问题,根据地理信息科学中的空间拓扑理论,提出一种基于地名本体的加权相关度算法.该算法考虑到不同的空间拓扑关系在语义检索应用中的重要程度不同,从而赋予地理空间本体关系不同的权值,并体现了其与语义距离的反比关系.通过地名本体实例验证,表明经加权后的语义相关度算法在语义检索应用中可以达到更好的检索效果.     

金属矿床和油气藏:沉积盆地中的两个亲兄弟

越来越多的证据揭示,沉积盆地中的很多金属矿床之中及附近发现有油气显示和沥青残斑,甚至油气藏。沉积盆地中的大多数金属矿床的流体包裹体中检测到甲烷和乙烷等有机气体,甚至一些矿床包裹体中还检测出原油。反过来,在很多油田的原油中也发现高含量金属元素。然而,长期以来,大多数研究者对沉积盆地金属矿床或者油气藏的研究是孤立进行的。文章对沉积盆地中金属矿床与油气藏这两个看似风马牛不相及的地质体进行了空间关系、物质关系和时间关系的分析,结果认为盆地中上述地质体的形成是对统一地质事件的响应,即在构造应力或者岩石静压力驱动下,成矿流体和油气向沉积盆地的隆起以及其他有利部位运移并成藏成矿。该认识对沉积盆地中金属矿床和油气藏的勘查也有指导意义。     

枯草芽孢杆菌XF-1的碳水化合物活性酶类(CAZymes)蛋白预测与遗传关系分析

枯草芽孢杆菌XF-1对多种植物病原菌具有较好的抑制作用,是农业生产上非常重要的生防菌之一.碳水化合物活性酶类蛋白(CAZymes)作为植物病原真菌、细菌中重要的蛋白,在其生长和发育过程中发挥着重要作用.基于前期获得的枯草芽孢杆菌XF-1中104个分泌蛋白基本序列信息,利用CAT预测程序对该菌中的CAZymes蛋白进行预测分析,明确其含有CAZymes蛋白的数量是58个,上述蛋白可以分为主要类别和复合类别两大类,前者包括26个GHs、21个CBMs以及2个CEs、3个PLs、2个GTs;后者则包括4个复合蛋白类型GH/CBM.该研究有效地实现了枯草芽孢杆菌XF-1中CAZymes的预测,为进一步开展其功能研究打下坚实的理论基础.