最新刊期

  • 在医学指南知识抽取领域,研究者提出了基于循证医学的指南知识抽取模型,通过提示微调大语言模型和融合外部知识,显著提升了指南关键信息抽取和偏倚风险识别的性能,为高质量临床医学研究提供支持。

    高峰,刘晴,靳英辉,顾进广

    DOI:10.14188/j.1671-8836.2024.0032
    摘要:医学指南的发布速度迅猛,但其在循证过程中的结构化组织和检索面临诸多挑战,影响了知识的迅速获取和应用。为应对这一问题,本文提出了基于循证医学的指南知识抽取模型。该模型旨在实现指南证据的高效抽取并且识别指南证据来源文献的偏倚风险。该模型结合人工标注的少样本数据集构建提示指令对大语言模型进行训练,以提升其在指南知识抽取任务上的性能。构建融合外部知识的随机对照试验偏倚风险评估模型,在Bert模型的基础上引入多元化的外部知识信息增强模型的偏倚风险识别能力。经过提示微调后的大语言模型在抽取指南关键信息任务上的性能得到了显著提升,BLEU-4提升在43个百分点以上。融合外部知识的证据偏倚风险评估模型在识别偏倚风险方面也展现出了优越的性能,最高精确率达到了0.898,F1值达到了0.892。这表明了,在有限的数据集规模下,结合提示工程对大语言模型进行微调,可以有效地提取所需的医学指南信息,并且经过融合多元化的外部知识后,偏倚风险识别模型的性能得到了显著增强。因此,医学指南知识抽取模型有助于推动高质量临床医学研究。  
    关键词:循证医学;大语言模型;Bert;偏倚风险评估   
    0
    |
    0
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 59829430 false
    更新时间:2024-06-06
  • 杂交水稻育种技术取得重大进展,为世界粮食安全贡献巨大。本文综述了从第一代到新一代杂交水稻的育种技术,分析了育种工作的局限性,展望了未来杂种优势利用的方向。

    杨璇,胡骏

    DOI:10.14188/j.1671-8836.2024.0073
    摘要:杂交水稻育种技术的发明是现代科技史上的重大事件,为世界粮食安全做出了巨大贡献。本文主要综述了杂交水稻育种技术的研究进展,包括以细胞质雄性不育系为遗传工具的第一代杂交水稻、以环境敏感型核雄性不育系为遗传工具的第二代杂交水稻、以遗传工程雄性不育系为遗传工具的第三代杂交水稻和以无融合生殖为遗传工具的新一代杂交水稻,介绍了不同育种技术的应用情况,浅析了现阶段开展育种工作的局限性,展望了未来杂种优势利用的方向。  
    关键词:杂交水稻;细胞质雄性不育系;环境敏感型核雄性不育系;遗传工程雄性不育系;无融合生殖   
    9
    |
    1
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 59804943 false
    更新时间:2024-06-06
  • 在农业废弃物处理领域,研究人员利用玉米秸秆制备的草木灰和生物炭,研究了它们对土壤中草甘膦吸附性能的影响。结果表明,生物炭的添加显著提高了土壤对草甘膦的吸附能力,为农业废弃物的资源化利用和土壤污染治理提供了新思路。

    谭渝,刘红林,于水莲,李松岩,邓翠雯,黄应平,田海林,刘慧刚

    DOI:10.14188/j.1671-8836.2023.0179
    摘要:以农业废弃物玉米秸秆为原料,分别通过自然焚烧和隔氧热解的方式制备玉米秸秆草木灰(CSA)和玉米秸秆生物炭(CSB),将其按质量分数1%添加至土壤(S)中制成S-CSA和S-CSB。研究了吸附剂(S、S-CSA和S-CSB)对草甘膦的吸附性能及作用机理。结果表明:与S相比,S-CSA对草甘膦的吸附量降低,S-CSB对草甘膦的吸附量升高;相同质量玉米秸秆制备的S-CSB对草甘膦的吸附量是S-CSA的15.22倍,玉米秸秆以生物炭的方式还田更有利于土壤对草甘膦的吸附。吸附剂对草甘膦的吸附过程均符合准二级动力学模型和Langmuir单分子层化学吸附模型,且吸附过程是自发的、吸热的。S-CSB对草甘膦吸附量的增加源于比表面积的增大和含氧官能团的增多,S-CSA对草甘膦吸附量的减少归因于静电斥力的增大和磷酸盐竞争吸附。  
    关键词:草甘膦;秸秆还田;草木灰;生物炭;吸附   
    3
    |
    1
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 59764527 false
    更新时间:2024-06-04
  • 在自旋电子器件领域,研究者采用脉冲激光沉积法制备出含不同氧空位的WO3薄膜材料,并通过自旋泵浦研究观测到明显的逆自旋霍尔效应和自旋泵浦效应,为自旋电子器件的应用提供了新方向。

    廖炜,卢志红,张振华,杨飞彪,陈书锦

    DOI:10.14188/j.1671-8836.2024.0050
    摘要:采用脉冲激光沉积法在(100)取向的GaAs衬底上制备含不同氧空位的WO3薄膜材料。在沉积温度375℃,氧压10 Pa到30 Pa,退火时间0.5 h的条件下制备出导电性可控的氧空位WO3薄膜,其电阻率介于WO2和WO3之间,并随氧压增加而增加。对制备的WO3/Py样品进行自旋泵浦研究,实验观测到明显的逆自旋霍尔电压,以及Gilbert阻尼因子的增强(最大达到3.48×10-3),表眀在氧空位WO3/Py体系存在明显的逆自旋霍尔效应和自旋泵浦效应。理论分析表明氧空位WO3薄膜的自旋霍尔角高达-2.934,远大于常见的重金属材料,第一性原理计算表明氧空位WO3的高自旋电荷转换效率来源于强自旋轨道耦合的W原子在费米面处的电子占据。本研究表明氧空位WO3薄膜在自旋电子器件的应用方面具有一定潜力。  
    关键词:WO3薄膜;氧空位;铁磁共振;自旋泵浦效应;自旋霍尔角;第一性原理计算   
    9
    |
    2
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 59759667 false
    更新时间:2024-06-04
  • 在恶意软件检测领域,研究人员开发了自动化工具EAFinder,通过枚举系统API并比较不同环境下的可访问性,成功检测出环境感知API。实验结果表明,EAFinder在Android 9至13上检测出344个API,准确率可达97%。

    欧阳坜伶,彭国军

    DOI:10.14188/j.1671-8836.2023.0176
    摘要:针对恶意软件利用环境感知能力来逃避分析系统检测的现状,深入研究基于系统应用程序接口(Application Program Interface, API)的环境感知技术,并实现全面检测环境感知API的自动化工具EAFinder(Environment-Aware API Finder)。EAFinder能够枚举所有的系统API,并在真机和模拟器中进行自动化调用,最终通过比较API在不同环境中的可访问性和返回值的差异,检测出环境感知API。实验结果显示EAFinder在Android 9至13上共检测出344 个API,排除误报后得到323 个可用于环境感知的API。本文将其按使用方式分为独立使用、基于阈值使用和组合使用三类,并抽样测试了各类API的有效性,结果显示利用这些API能以97%的准确率区分真实设备和模拟器。  
    关键词:移动安全;环境感知;模拟器检测;系统应用程序接口   
    90
    |
    34
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 49338594 false
    更新时间:2024-05-27
  • 科技新闻播报:以太坊用户数字资产安全性备受关注,现有加密货币钱包安全性不足。最近,某研究团队提出了一种基于TrustZone的以太坊密钥保护方法,旨在提高用户密钥的安全性。该方法在用户通过支持TrustZone的移动终端接入以太坊系统时,确保私钥在生成、存储和使用过程中的安全。实验结果显示,该方法在以太坊系统中运行正常,性能开销合理,为数字资产保护提供了新的解决方案。

    任正伟,虞雳,王丽娜,贺广鑫,徐士伟,童言,邓莉

    DOI:10.14188/j.1671-8836.2023.0231
    摘要:在以太坊中,用户数字资产的安全性与其密钥紧密相关,一旦私钥泄漏,用户将面临无法挽回的数字资产损失。加密货币钱包常被用于管理和保护区块链系统的密钥。但是,现有的加密货币钱包安全性不高。为了更好地保护以太坊用户的数字资产,在不影响以太坊系统正常功能的情况下,提出了一种基于TrustZone的以太坊密钥保护方法,以在用户通过支持TrustZone的移动终端接入和使用以太坊系统时,提高用户密钥在生成、存储和使用过程中的安全性。在该方法中,与私钥相关的操作都是在TrustZone的安全世界中进行的。私钥未被使用时,将以安全文件的形式被保存在本地文件系统中。当有交易需要被签名时,将存有对应私钥的安全文件加载到安全世界中,并恢复出私钥以对交易签名,从而使得私钥可以安全而持续地被使用。在模拟环境下实现了该方法的原型系统,并对系统的功能和性能进行了验证和测试。实验结果表明,本文的原型系统在以太坊系统中能够正常运行,性能开销在合理范围内,具有可行性。  
    关键词:以太坊;加密货币钱包;密钥保护;TrustZone;安全文件   
    41
    |
    15
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 56713741 false
    更新时间:2024-05-27
  • 数字化生活日益普及,Android多开应用成为网络生活的重要需求。该研究深入剖析了多开应用中的安全威胁,包括数据隐私暴露和多方角色复杂交互带来的风险。专家分析了虚拟化框架的关键特征,并总结了攻击手段与防御策略,为提升多开应用的安全性提供了重要参考,推动该领域持续进步。

    傅建明,李萌,刘畅

    DOI:10.14188/j.1671-8836.2023.0261
    摘要:Android多开应用随着数字化生活的普及和快速发展,已成为人们网络生活中的重要需求。它主要通过应用间共享UID突破Android权限机制的限制,利用应用层虚拟化技术实现应用免安装。但这也导致数据隐私在多开环境里被完全暴露,引入了巨大的安全风险,多开环境中多方角色的复杂交互进一步增加了安全威胁的多样性和隐蔽性。为全面理解和解决多开应用中的安全问题,本文深入分析多开应用中的安全威胁,并评估了角色间协同作用可能导致的安全风险。系统梳理了虚拟化框架的关键指纹特征,并综合总结了现有的攻击手段及防御策略。最后,指出了当前研究的局限性,并对未来的研究方向进行了探讨,以期推动Android多开应用安全领域的持续进步。  
    关键词:移动安全;应用层虚拟化;多开应用;安全威胁   
    41
    |
    13
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 56713107 false
    更新时间:2024-05-23
  • 田萍芳,刘恒永,高峰,顾进广,祝歆

    DOI:10.14188/j.1671-8836.2024.0027
    摘要:为改善在低资源和少样本条件下对复杂司法命名实体识别的效果,提出了一种基于本体提示指导的司法命名实体识别方法,将大语言模型应用于司法命名实体识别。首先,以涉假司法文书为例,结合文书内容和现有司法文书领域本体采用“自顶向下”的方式构建涉假司法文书知识图谱本体模型。然后,基于本体模型构建指令,指令包括任务描述、本体描述、任务示例和司法文本四部分,对大语言模型进行指令微调以完成司法命名实体识别任务,其中本体描述部分用于在微调过程中加入实体的定义与关系信息。最后,选择本文构建的本体模型包含的12类细粒度实体,自行采集数据集用于实验,并将其与几种典型的传统实体识别方法进行比较,结果显示,在少样本微调的条件下,本文提出的方法表现效果更好。  
    关键词:司法文书;命名实体识别;大语言模型;提示工程;本体   
    24
    |
    7
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 59018905 false
    更新时间:2024-05-23
  • 2024年5月17日宝鸡文理学院数学与信息科学学院的王爱丽团队在《武汉大学学报(理学版)》发文,介绍了其在手足口病传播模型领域的研究进展,建立了具有周期传染率的模型,分析了病毒携带者对疾病传播的影响,为有效遏制手足口病的传播提供了解决方案。

    白朵,贺静敏,王爱丽

    DOI:10.14188/j.1671-8836.2023.0174
    摘要:建立一类具有周期传染率的手足口病模型,研究病毒携带者对疾病传播的影响。定义了模型的基本再生数R0,分析了模型无病平衡态的全局稳定性和正周期解的存在性。结果表明,当R0<1时,手足口病最终从人群中消除;当R0>1时, 疾病演变为地方病并呈现周期性变化。 应用实际数据对模型参数进行了估计,并给出基本再生数的估计值为2.328 6。关键参数的敏感性分析表明,降低病毒携带者的传染性、加强高危人群的手部消毒和日常清洁、增强公众对手足口病的重视程度、加强自我干预措施的实施, 均可有效遏制手足口病的传播。  
    关键词:手足口病;病毒携带者;基本再生数;全局动力学;敏感性分析   
    69
    |
    11
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 44094054 false
    更新时间:2024-05-17
  • 2024年5月13日,武汉大学电子信息学院的周晨团队在《武汉大学学报(理学版)》发表新成果。他们针对核爆炸烟云的运动规律进行了深入研究,通过模拟实验,揭示了不同爆炸条件下烟云演化的过程,并从垂直和水平方向进行了全面演示。这一研究不仅符合相关理论知识,更为理解核爆炸烟云的运动规律奠定了坚实基础,对核安全领域具有重要意义。

    钱玙,周晨,王翔,乔建东,李金泽

    DOI:10.14188/j.1671-8836.2023.0054
    摘要:核爆炸是在有限体积内瞬时间释放出大量能量的过程,释放能量很大,杀伤力很强。核爆炸过程中和核爆炸过程后,会产生多种物理效应向远离爆炸点区域传播。核爆炸产生的烟云既会污染空气,又会造成地面大范围的沾染。因此研究核爆炸烟云的运动规律是非常必要的。本文开展了对核爆炸烟云的模拟研究,在天气研究和预报模型中加入火球初始化,模拟了不同爆炸当量、不同爆炸高度、不同气象条件的核爆炸产生的烟云的演化过程,从垂直方向和水平方向全面演示,并模拟了流场随时间的变化。模拟实验结果表明,核爆炸产生的烟云演化的过程符合相关理论知识,基本达到实验预期。本研究为了解核爆炸烟云的运动规律奠定了基础。  
    关键词:中尺度天气模型;天气研究和预报模型;核爆炸;烟云演化   
    201
    |
    48
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 56627793 false
    更新时间:2024-05-17
  • 2024年5月14日,武汉科技大学材料学部的卢志红团队在《武汉大学学报(理学版)》发表了新研究。他们利用OOMMF微磁模拟软件,深入探索了坡莫合金磁纳米线中畴壁的动力学行为。研究表明,在特定磁场下,畴壁会呈现周期性振荡,且振荡模式随磁场和磁纳米线尺寸变化而转变。这一发现对高密度磁存储、磁逻辑器件及纳米振荡器设计具有指导意义,为相关领域的研究和应用提供了新的视角。

    陈书锦,卢志红,张振华,杨飞彪,廖炜

    DOI:10.14188/j.1671-8836.2024.0019
    摘要:基于OOMMF微磁模拟软件,对坡莫合金磁纳米线中涡旋与反涡旋畴壁在高于Walker场的磁场驱动下的动力学行为进行微磁模拟。分析了在固定的磁纳米线尺寸下驱动磁场对畴壁振荡模式与振荡频率的影响,结果表明在高于Walker场的磁场驱动下反涡旋畴壁会出现周期性振荡现象,且随着磁场的改变振荡模式会发生转变;探讨了磁纳米线尺寸对畴壁振荡模式以及振荡频率的影响,结果表明随着磁纳米线尺寸的变化畴壁的振荡模式会发生明显改变,在较薄的磁纳米线中更容易出现反涡旋的振荡,在较厚的磁纳米线中以涡旋畴壁的振荡为主,而反涡旋畴壁的振荡频率调控范围更广,与涡旋畴壁相比能达到更高的振荡频率。本研究结果对于高密度磁存储器件、磁逻辑器件以及纳米振荡器的设计具有指导意义。  
    关键词:微磁模拟;磁动力学;磁反涡旋畴壁;磁存储器件   
    66
    |
    36
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 56720526 false
    更新时间:2024-05-15
  • 最新研究报道,科技界在色玻璃凝聚有效场理论框架下,深入探讨了质子形状涨落效应对EIC和LHeC能区电子-核深度虚康普顿散射微分截面的影响。专家通过热点模型引入质子形状涨落效应,改进了偶极子散射振幅,并计算了相关微分截面。结果显示,质子形状涨落在不同动量转移区间内对截面具有显著影响,尤其在电子-核深度虚康普顿散射中,衍射图案波峰和波谷位置的变动为研究质子形状涨落提供了宝贵信号。

    向文昌,曹德文,王彤彤

    DOI:10.14188/j.1671-8836.2024.0008
    摘要:在色玻璃凝聚有效场理论框架下,研究了质子形状涨落效应对EIC和LHeC能区电子-核深度虚康普顿散射微分截面的影响。本文通过热点模型引入质子形状涨落效应,改进了偶极子散射振幅,从而获得一个质子形状涨落效应修正的深度虚康普顿散射微分截面。计算了深度虚康普顿散射微分截面,把没有涨落效应与包含涨落效应的截面作比较,发现在电子-质子深度虚康普顿散射过程中,质子形状涨落对小动量转移区间的截面有一定的影响,使得微分截面被压低;电子-核在深度虚康普顿散射过程中,质子形状涨落对相对较大的动量转移区间的截面有一定的影响,从而导致衍射图案的波峰和波谷的位置向右移动。衍射图案中波峰和波谷位置容易进行高精度测量,电子-核深度虚康普顿散射过程中波峰和波谷位置的变化将为研究质子形状涨落提供一个较好的信号。  
    关键词:质子结构;色玻璃凝聚;深度虚康普顿散射   
    51
    |
    17
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 56317858 false
    更新时间:2024-05-14
  • 大模型(LLM)在自然语言处理领域的兴起引领了一场技术革命,其在金融、医疗、教育等垂直领域也取得了显著成果。然而,大模型面临解释性不足、知识实时性差、生成结果存在虚假信息等挑战。为了应对这些问题,知识图谱与大模型的融合成为了研究的新热点。知识图谱,作为一种结构化的知识模型,以其真实性和可靠性成为了提高大模型解释和推理能力的关键工具。而大模型的语义理解能力则为知识图谱的构建和更新提供了有力支持。这种互补关系,被本文称为图模互补。该论文系统性地介绍了知识图谱与大模型融合的方法,从两个角度进行了全面回顾和分析:一是大模型如何增强知识图谱,二是知识图谱如何增强大模型。最后,论文以医学诊断预测和时间知识图谱为例,展示了图模互补在领域应用中的潜力,并探讨了图模互补未来发展的方向。这项研究不仅为知识图谱与大模型的进一步研究提供了重要参考,也为解决当前大模型面临的挑战提供了新的思路和方法。

    黄勃,吴申奥,王文广,杨勇,刘进,张振华,陈南希,杨洪山

    DOI:10.14188/j.1671-8836.2024.0040
    摘要:大模型(LLM)的兴起在自然语言处理领域引起了广泛关注,其涌现能力在各个垂直领域(如金融、医疗、教育等)也取得一定进展。然而,大模型自身面临解释性不足、知识实时性差、生成结果存在虚假信息等诸多挑战。为了应对这些问题,知识图谱与大模型的融合逐渐成为了研究热点。知识图谱作为一种结构化的知识模型,其真实性和可靠性,成为提高大模型解释和推理能力的有力工具。同时大模型具备语义理解能力,为知识图谱的构建和更新提供了有力支持。因此,知识图谱和大模型是互补的(本文称为图模互补)。本文系统性地介绍知识图谱与大模型融合的方法,分别从1)大模型增强知识图谱,2)知识图谱增强大模型,两个角度进行全面的回顾和分析。最后,本文从医学诊断预测和时间知识图谱出发,介绍图模互补的领域应用,并讨论图模互补未来发展的方向,为知识图谱与大模型的进一步研究提供帮助。  
    关键词:大模型;知识图谱;自然语言处理   
    598
    |
    44
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 55755469 false
    更新时间:2024-05-13
  • 关于动态虚拟试衣的研究取得了新进展。针对试衣过程中因人物姿态变化导致的服装自遮挡、印花模糊等问题,有专家提出了一种基于空间变换网络的动态虚拟试衣方法。该方法利用Transformer模块强化数据特征区域,并通过可学习的薄板样条插值预测服装扭曲范围,从而获取扭曲图像及掩码。试衣网络则利用自注意力机制的U-Net网络对齐扭曲图像掩码和人体表征信息,生成高质量试衣图像。最终,通过动态合成网络解决视频帧时间一致性问题,生成连贯高质量试衣视频。实验结果表明,该方法在VVT数据集上相比其他方法具有更高的平均结构相似性指数和更低的平均感知图像块相似度,进一步证明了其生成图片质量高、失真低的优势。这一研究成果为动态虚拟试衣领域提供了新的解决方案,也为未来相关研究提供了新的思路和方向。

    胡新荣,柯廷丰,罗瑞奇,张梓怡,梁金星,杨凯,彭涛

    DOI:10.14188/j.1671-8836.2023.0222
    摘要:动态虚拟试衣的任务是在视频中以时空一致的方式将目标服装与人物进行匹配,目的是生成连贯流畅且真实的试衣视频。动态试衣过程中人物的姿态变化,导致试穿的服装出现自遮挡、印花模糊等问题。因此,本文提出基于空间变换网络(Spatial Transformer Network,STN)的服装扭曲网络动态虚拟试衣方法。在服装扭曲网络中,利用Transformer模块兼顾全局信息以及局部重点信息的优势强化数据特征区域,STN模块采用可学习的薄板样条插值(Thin Plate Spline,TPS)方法预测服装扭曲范围,获取扭曲图像及掩码;试衣网络利用自注意力机制的U-Net网络对齐扭曲图像掩码和人体表征信息,生成高质量试衣图像;最后,通过动态合成网络解决视频帧时间一致性问题,生成连贯高质量试衣视频。在VVT数据集上,与CP-VTON相比,本文的方法将平均结构相似性指数(SSIM)提高了0.076,平均感知图像块相似度(LPIPS)降低了0.420;与FW-GAN方法相比,其I3D和ResNeXt101分别降低了0.089和2.252。在VITON-HD数据集上,本文方法的SSIM指标也高于CP-VTON和FW-GAN,进一步表明该方法生成的图片质量高、失真低。  
    关键词:动态虚拟试衣;空间变换网络;U-Net网络;自注意力机制   
    72
    |
    32
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 55530404 false
    更新时间:2024-05-07
  • 针对基因组学研究中至关重要的DNA组装步骤,一项基于HMAC的DNA组装算法——HMDA的研究取得了重要进展。该算法旨在解决传统基因组组装算法存在的数据完整性、准确性、内存消耗和安全性等问题。HMDA算法运用HMAC技术对组装信息进行编码,利用密码子性质在基因组内嵌入加密信息。这些信息在组装过程中被提取,作为筛选正确序列的关键依据。此外,HMDA通过映射不同密钥与物种或用户,实现了特定物种或用户的身份验证。实验结果表明,HMDA算法具有显著优势。它能准确、完整地组装理论上能够恢复的基因组测序文库,同时从混合物种基因组数据中成功分离出不同物种。相较于其他算法,HMDA的空间消耗降低了66.6%,且安全性更强。授权用户和普通用户的组装结果不同,该算法还能检测数据篡改并返回错误状态码。这一研究成果为基因组学领域的数据组装提供了更安全、高效的方法,有望推动基因组学研究的进一步发展。

    崔竞松,王兰兰,郭迟

    DOI:10.14188/j.1671-8836.2023.0226
    摘要:DNA组装是基因组学研究中至关重要的步骤。传统的基于第二代测序技术的基因组组装算法存在以下问题:1) 无法保证数据的完整性和准确性;2) 无法处理混合物种基因组序列组装问题;3) 消耗的内存空间大;4) 缺乏安全性保障。针对这些问题,提出了一种基于HMAC的DNA组装算法——HMDA。在DNA组装过程中,运用HMAC技术对组装信息进行编码,并利用密码子的性质,在基因组内嵌入经HMAC加密后的信息内容。当执行组装操作时,这些信息会被提取出来,作为筛选正确序列的关键依据。此外,HMDA将不同密钥与不同物种或者用户一一映射,实现了特定物种或用户的身份验证。实验结果表明,HMDA算法相对于其他组装算法有以下优势:1) 针对理论上能够恢复基因组的测序文库,能够得到准确且完整的组装结果;2) 能从混合物种基因组数据中组装出不同物种;3) 空间消耗至多为其他算法的33.4%;4) 安全性更强,授权用户和普通用户组装结果不同,且该算法能检测数据篡改并返回错误状态码。  
    关键词:DNA组装;基因组学;第二代测序技术;HMAC   
    30
    |
    11
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 56088825 false
    更新时间:2024-05-06
  • 在子句选取与多元动态演绎领域,一项新的研究取得了显著进展。该研究通过深入分析演绎前后项合一能力的变化,提出了一种子句影响度的度量方法,以及一种综合子句影响度、剩余文字个数和文字演绎能力的子句评估方法。这一方法不仅有效控制了矛盾体分离式的文字个数,还为多元动态演绎过程提供了有效指导。研究团队进一步将这一子句评估方法应用于国际顶尖的一阶逻辑自动定理证明器Eprover3.1中,并通过最新的国际自动定理证明器竞赛例(FOF组)进行了测试。测试结果表明,加入多元动态演绎算法的Eprover3.1比原始版本多证明了18个定理,且在难问题判定上,成功证明了其他所有证明器都未能证明的8个定理。这一研究成果不仅丰富了子句选取与多元动态演绎的理论体系,也为自动定理证明领域提供了新的方法和思路。该研究的成功应用为相关领域的研究者提供了有力支持,有助于推动自动定理证明技术的进一步发展和应用。

    曹锋,徐梓伟,易见兵,李俊

    DOI:10.14188/j.1671-8836.2023.0205
    摘要:针对多元演绎如何有效选取子句,通过分析演绎前后项合一能力的变化,提出了一种子句影响度的度量方法;通过分析子句影响度、剩余文字个数以及文字演绎能力对多元动态演绎过程的影响,提出了一种子句综合权重的子句评估方法,能有效控制矛盾体分离式的文字个数;基于该子句评估方法提出了一种有效选择子句的多元动态演绎算法,将该算法应用到国际顶尖的一阶逻辑自动定理证明器Eprover3.1中,以最新的国际自动定理证明器竞赛例(FOF组)为测试对象,测试结果表明,加入了本文多元动态演绎算法的Eprover3.1比原始Eprover3.1多证明定理18个,且在难问题判定上,能证明出8个其他所有证明器都未能证明的定理。  
    关键词:多元演绎;子句评估;矛盾体分离式;一阶逻辑;自动定理证明器   
    33
    |
    12
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 55762606 false
    更新时间:2024-04-29
  • 宋百灵,何彦众,张泽贤,曾诚,俞嘉怡,刘进,胡文华

    DOI:10.14188/j.1671-8836.2023.0227
    摘要:结合Word2Vec的Skip-gram模型在提取复杂软件需求文档中细微语义差异方面的优势,提出了一种基于Tri-Training半监督学习的非功能性需求分类方法,旨在应对软件需求工程领域中标记样本数量有限的挑战,从而解决非功能性需求分类性能下降的问题。与传统应用于完全冗余视图或单一分类器的半监督学习算法不同,半监督学习Tri-training算法通过用自举抽样产生的三个不同的标记数据集初始化三个不同的分类器,利用三个分类器以多数投票规则来产生伪标记数据,从而解除对训练集的限制,提高分类框架的通用性和可用性。将本文方法应用于涵盖多个工业领域的PROMISE软件需求数据集中,结果表明,基于Tri-Training半监督学习的非功能性需求分类方法在不同标记比例的数据集上具有良好的分类性能,特别是在标记数据不足的情况下,相比于监督学习和其他对比的半监督学习算法,该方法在召回率和F1值上具有显著优势。  
    关键词:软件需求分类;半监督学习;Tri-Training   
    58
    |
    20
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 55278265 false
    更新时间:2024-04-18
  • 帅晶,黄开明,孙宝林,宋莺

    DOI:10.14188/j.1671-8836.2023.0042
    摘要:利用2002年1月22日—2012年12月31日的SABER/TIMED温度数据,统计分析了平流层顶的变化特征,及其与平流层顶区域重力波和背景纬向风场的相关性。在南北半球0°~30°的低纬区域,平流层顶高度呈现冬夏季较高的半年变化,此时重力波活动较强,而平流层顶温度呈现春秋较大的半年变化;在两半球40°~50°的中纬区域,平流层顶的高度、温度与重力波活动都呈现年变化,其中平流层顶高度与重力波活动的极大值出现在冬季,而平流层顶温度的极大值出现在夏季。相关性分析显示,平流层顶高度与重力波活动强度主要呈正相关,而平流层顶温度与重力波活动强度主要呈反相关;低纬的背景纬向风在春分秋分较大,与平流层顶温度呈正相关,而中纬的背景纬向风则在冬季较强,与平流层顶温度呈反相关;平流层顶的高度、温度与重力波活动强度、纬向风间相关系数都具有南北半球不对称性。并且,平流层顶高度和温度的峰值都随纬度增大,同时,重力波活动和背景风场也随纬度增强,表明平流层顶与重力波活动和背景风场间的相互影响。  
    关键词:平流层顶;重力波;纬向风;SABER/TIMED   
    43
    |
    6
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 54803144 false
    更新时间:2024-04-08
  • 许卫霞,周水庚,黄定江

    DOI:10.14188/j.1671-8836.2023.0166
    摘要:群不变性是一种重要的先验知识,往往能提升算法性能。孪生支持向量机是一种二分类支持向量机算法,同样可以利用群不变性来提高性能。因此,本文提出将群不变性引入到孪生支持向量机框架中,定义了群不变孪生支持向量机问题,以提升其算法性能。首先,为群不变孪生支持向量机构造了具体的最优化问题,并以有界孪生支持向量机为例,提出了两种具备群不变性的有界孪生支持向量机算法,以此说明该最优化问题有解,故有实际意义。然后,系统研究了群不变孪生支持向量机的一致性,为其相关算法奠定了扎实的理论基础。最后,仍以有界孪生支持向量机为例进行实验。实验表明,群不变性能够提升孪生支持向量机算法性能。  
    关键词:不变性;群不变性;孪生支持向量机;一致性;通用一致性   
    51
    |
    13
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 53711218 false
    更新时间:2024-03-26
  • 最新研究报道,时序数据预测在多个方面展现重要价值,但其复杂性常导致预测精度受限。为解决这一问题,专家提出了基于域信息自增极端随机树模型的预测方法。该方法通过时序平移器和特征分解模块提升预测精度,并利用生成对抗网络捕捉静态与时空特征。以突发公共卫生事件为例,该方法在预测美国部分州的新增确诊人数上表现卓越,为时序数据预测提供了新的有效工具。

    周禹宣,黄勃,虞益军,粟波,臧振森

    DOI:10.14188/j.1671-8836.2023.0183
    摘要:时序数据预测在应对不确定性、降低风险、优化资源配置和提升服务质量等方面都发挥着重要作用,但时序数据存在的多种特性使得预测过程变得复杂、预测精度不高。为此,提出一种基于域信息自增极端随机树模型应用于时序数据预测,采取时序平移器提取时序数据之间的联系,利用特征分解模块消除原有序列的内在噪声,通过基于生成对抗网络的特征增强模块,有效获取时序数据中静态特征与时空特征,从而优化时间预测模型的参数。本文以突发公共卫生事件作为例,对美国各州突发公共卫生事件关键数据的趋势进行预测。实验结果表明,在马塞诸塞州、马里兰州和华盛顿州的突发公共卫生事件数据集中,本文模型在预测每日新增确诊人数上表现突出,但在预测每日新增死亡人数上略有不足。  
    关键词:特征分解;生成对抗网络;极端随机树;域信息增强   
    60
    |
    17
    |
    0
    <HTML>
    <网络PDF>
    <引用本文> <批量引用> 53711116 false
    更新时间:2024-03-26
批量引用
0