课程文献中心 更多>>

关键词： Use-After-Free (UAF)   double-free   动态检测   对象标识符   一致性  

摘要： Use-After-Free（UAF）漏洞对C/C++等使用指针访问内存的程序造成了严重威胁,会导致程序崩溃、内存损害、数据泄露和任意代码执行等严重后果。与其它内存错误（例如缓冲区溢出漏洞）相比,由于指针别名以及指针与对象之间的复杂关系,UAF漏洞很难通过手动或静态分析进行检测。现有的基于证据的动态检测方法使用辅助数据结构如影子内存来指示对象的可用性。当存储已释放对象的内存被重新分配时,它们会错过程序中的UAF漏洞。针对现有基于证据的方法的不足,本文提出了一种基于标识符的堆对象UAF漏洞检测方法。本文方法的基本思想是通过引入对象标识符来判断指针实际指向的内存对象是否是其预期的活动对象,从而检测程序中的UAF漏洞。具体地,我们为每个新分配的堆对象指定一个唯一的标识符,并将该堆对象的标识符传播到所有指向该堆对象的指针。每当释放堆对象时,我们只将该堆对象的对象标识符无效,而保持所有指向该堆对象的指针的对象标识符不变。这样,因为这两个对象标识符不匹配,我们可以通过匹配指针的对象标识符与指针实际指向的当前对象的对象标识符来检测发生的UAF漏洞。基于本文提出的动态检测方法,本文实现了一个原型工具UAFSan。UAFSan由四个模块组成,分别是静态插桩模块、堆对象管理器模块、指针追踪器模块和内存访问检查器模块。静态插桩模块主要负责对目标程序进行插桩,为在执行时检测UAF漏洞奠定了基础。在执行时,其余三个模块分别负责管理内存对象的对象标识符,管理指针的对象标识符以及确定程序通过指针访问内存对象时是否发生UAF漏洞。本文使用JTS基准、UAFBench基准和包含UAF漏洞的真实程序对UAFSan的有效性进行评估,使用Mi Bench基准、Olden基准和具有代表性的真实程序对UAFSan的性能进行评估。实验结果表明,无论已释放的内存是否被重用,UAFSan都能够准确地检测程序中的UAF漏洞。此外,与公开可用的动态检测方法相比,UAFSan能够检测出更多的UAF漏洞,且性能开销和内存开销较低。

关键词： DOI   标识符   《机电产品开发与创新》   万方数据  

摘要： 由北京万方数据股份有限公司运行的中文DOI;注册机构是IDF（国际DOI基金会）正式授权的DOI注册机构,负责开展各种中文数字资源的DOI注册及服务。为了促进中国期刊的全球标准化推广工作,促进中文学术信息的网络传播与利用、提高中国期刊的全球影响力。我刊于2009年5月与万方数据签约注册DOI。1 DOI介绍1.1 DOI是一种标识DOI为数字信息提供了全球唯一的身份标识,就如同出版物贴上了条形码一样,无论走到哪里都有踪迹可寻。因而DOI被形象地称为数字资源的条形码或身份证。方便了计算机的互操作,并可以实现永久指向、动态维护。DOI标识符由两部分组成——前缀和后缀。

关键词： 非比对方法   进化树分析   线粒体全基因组   前缀标识符  

摘要： 1990年以来,随着人类基因组计划的实施和完成,生物数据呈指数式增长。为了挖掘有用的生物信息,分析和处理生物数据是一项有意义且有挑战的工作。在这样的背景下,生物信息学应运而生。对生物序列进行相似性分析是生物信息学中重要的研究内容,序列分析的研究方法分为比对(alignment)方法和非比对(alignment-free)方法。因为传统的比对方法存在一定的局限性,所以作为其补充和发展的非比对方法随之出现,并迅速成为分子生物学研究的热点之一。本文提出了一种新的非比对模型——SPD(standardized position difference)模型。SPD模型考虑到哺乳动物线粒体基因组是环形双链DNA,首先以共同前缀标识符为基础,获取环形DNA序列每个位置的前缀标识符;接下来比较每对序列的前缀集,提取每个共同前缀标识符在序列中的标准化位置,并计算出每个共同前缀标识符在序列间的位置差;最后将添加权重系数的位置差均值作为序列间的相似性度量。本文以NCBI(National Center for Biotechnology Information)网站的Gen Bank数据库中确定的全体哺乳动物线粒体全基因组序列作为实验对象——1050条哺乳动物线粒体全基因组序列(2020年12月3日下载)。实验对象来自27个目(order)、129个科(family)和491个属(genus),含有至少两条序列的目、科和属分别为22个、80个和172个。本文应用SPD模型计算这1050条哺乳动物线粒体全基因组序列间的相似性,再使用邻接法构建进化树(phylogenetic tree)。所得到的进化树在目、科和属层级上的聚类准确率分别为77.27%、95.00%和76.74%,并且含有超过100条序列的鲸偶蹄目(Cetartiodactyla)、食肉目(Carnivora)和翼手目(Chiroptera)各科独立成支的准确率均为100.00%。目前,未发现有文献对全体哺乳动物线粒体全基因组序列进行进化分析的研究,多数文献对来自各个目的部分或者某个目的全体哺乳动物线粒体全基因组序列进行进化分析。通过与相关研究结果进行比较,发现SPD模型对于这些哺乳动物间进化关系的重建是几乎符合标准生物学分类的。

关键词： 复杂背景干扰   组合照明系统   实时字符识别   梯度方向  

摘要： 伴随着中美贸易战的加剧,我国在半导体制造领域的劣势愈发突显。其中,晶圆标识符的识别伴随着整个半导体晶圆的加工制造流程,主要用于晶圆加工工艺的信息追踪。但是,目前国内针对晶圆标识符识别系统的相关研究十分稀少。而且,半导体工业领域上也基本采用国外的晶圆读码器,其价格昂贵,极大地提高了相关半导体设备的研制成本。因此,研制一款国产晶圆标识符识别系统具有重要意义。受晶圆加工工艺、图像采集装置的照明系统等影响,采集得到的晶圆标识符图片,存在遮挡、混乱、字符微变形和非线性光照等复杂背景干扰。针对这种复杂背景下的晶圆标识符的识别,本课题致力于研制集晶圆标识符识别算法、组合光源系统以及人机交互控制系统于一体的机器视觉装置。本课题一方面从分析产生复杂背景干扰的原因入手,设计了三色同轴光源和三色条形光源的组合照明系统,以期尽可能弱化或消除复杂背景干扰对晶圆标识符的影响。从照明系统的光源类型、光谱(发光颜色)、照明方向(发光角度)、照明亮度四个方面对晶圆标识符背景干扰的影响进行了分析,结合实验及理论,通过手动调光系统的实验,验证了组合光源照明系统的有效性。另一方面研究对遮挡、混乱、字符微变形和非线性光照等复杂背景干扰不敏感的晶圆标识符实时识别算法,以期正确且快速地识别晶圆标识符。得益于工业领域字符类型的标准化,采用基于扩展梯度方向的形状模板匹配来识别晶圆标识符。制作了用于训练算法模型的无背景干扰的arial斜体字模板数据集和semi＿lin正体字模板数据集,分析了算法模型训练所需的时间,证明了该算法适应新型字体模型训练的快速性。制作了用于验证算法有效性的复杂背景干扰下的arial斜体测试集和多种semi字体测试集。展示了多种背景干扰下所训练的算法模型的识别效果。并将本研究的晶圆标识符识别系统与业界认可度最高的晶圆读码器WID 120进行了对比分析。经实验验证,本课题设计的组合照明系统能够适应不同晶圆基底材料,有效区分目标前景与干扰背景之间的灰度值差,弱化或消除了复杂背景干扰对晶圆标识符识别的影响。本课题研究的基于扩展梯度方向的形状匹配算法能够快速准确识别受遮挡、混乱和字符微变形等复杂背景干扰的晶圆标识符。

摘要： 近日,国家标准化管理委员会发布2021年第14号公告,由全国科普服务标准化技术委员会(以下简称"科普标委会")归口上报的两项国家标准《科技馆展览教育服务规范》(GB/T 41131-2021)、《科普信息资源唯一标识符》(GB/T 41132-2021)正式发布实施。这是科普标委会组织编制并经国家标准委批准发布的第一批国家标准,具有重要的里程碑意义。同时,两项国家标准的编制和发布,充分体现了科普服务标准化科学、实用和适度前瞻的原则,有助于提升科普资源和科普服务质量,

关键词： 非比对方法   前缀标识符   线粒体DNA   进化树   信息熵  

摘要： 生物序列相似性比较是生物信息学的研究领域之一。DNA序列相似性比较是其中的重要课题。序列相似性比较方法分为比对方法和非比对方法。比对方法是一种十分有效的序列比较方法,一般能够较准确的重构出生物之间的进化关系。但是当前生物数据的规模大,比对方法面临巨大的计算挑战。较比对方法而言,非比对方法的时间和空间的复杂度较低,计算较简单,更适合对大规模的生物序列进行比较,非比对方法的研究具有十分重要的意义。本文旨在提出一个适用于较大数据集且有效的、新的非比对方法。本文以哺乳动物线粒体DNA基因组序列为研究对象,从生物学角度出发,给出环形序列前缀标识符的定义,及其查找方法;基于前缀标识符,提出了一个新的非比对模型。该模型把序列间的共同前缀标识符作为序列特征,首先提取共同前缀标识符在序列中的位置,计算它们在序列间的位置差,并对这些位置差分类,统计各类位置差出现的次数和频率;其次在各类位置差与前缀标识符之间建立一对多的对应关系,计算每类位置差对应的前缀标识符长度总和,将该长度总和的倒数与位置差的乘积作为该类位置差的权重;最后基于各类位置差的频率和权重,用位置差的加权信息熵定义新的DNA序列相似性度量。在2020年12月3日,Gen Bank数据库中测序正确的哺乳动物线粒体DNA基因组序列共有1050条。将这1050条哺乳动物线粒体DNA基因组序列作为实验数据集。该数据集中序列来自于27个目、129个科和491个属。应用本文提出的非比对模型,对该数据集中的生物重构进化树。依据生物学分类,本文方法能够较准确的将生物聚类。在科层级上,达到了93.75%的聚类正确率;在目层级和属层级上,分别达到了81.81%和75.00%聚类正确率。其中在序列数量较大且科数目较多的目中,在科层级有100%的聚类正确率,如鲸偶蹄目、食肉目、翼手目和劳亚食虫目。目前,已发表的文献有只对哺乳动物中某一个目的线粒体DNA基因组序列进行相似性比较,也有文献对哺乳动物线粒体DNA基因组序列进行相似性比较,但是其测试的数据量较少。没有发现已发表的文献对本数据集测试。所以本文将重构出的进化树逐个目与已发表的文献进行比较,发现本文结果与文献结果基本一致。

标准号: GB/T 39580-2020

摘要： 本标准规定了医疗保健领域适用的机读卡发布标识符的编码系统和注册程序。本标准适用于GB/T 14916所定义的ID-1类机读卡。

关键词： 数字信息   条形码   数字对象唯一标识符   网址   互联网信息   唯一标识   有效的管理  

摘要： 数字对象唯一标识符(digital object identifier,DOI)是对包括互联网信息在内的数字信息进行标识的一种工具。在传统的出版物中,书刊、磁带、光盘都有国际标准编号(ISBN、ISSN、ISCN)及其条形码,作为出版物的唯一标识。这些标识使出版物得到有效的管理,便于读者查找和利用。而网上的文档一旦变更了网址便无从追索。