期刊文献+
共找到1,400篇文章
< 1 2 70 >
每页显示 20 50 100
Huawei: Helping Build a Better Connected Saudi Arabia
1
作者 DU ZHAOWEI 《China Today》 2015年第8期30-31,共2页
INFORMATION and Comnmnication Technology(ICT),which is in frill swing in the modern era,has been reconstructing human society.Dedi-cated to innovative ICT products,services,and solutions,Huawei is com-mitted to buildi... INFORMATION and Comnmnication Technology(ICT),which is in frill swing in the modern era,has been reconstructing human society.Dedi-cated to innovative ICT products,services,and solutions,Huawei is com-mitted to building a better and well-connected world and so boosting hnman development.It has also become one of the leading ICT manufacturers with sales revenue of RMB 288 million in 2014,up ao percent over the previous year. 展开更多
在线阅读 下载PDF
GaussDB:智能云原生分布式数据库 被引量:1
2
作者 李国良 王磊 +7 位作者 张金玉 王江 任阳 张琼 申宇 董亚辉 宋涛 乔典 《电子学报》 北大核心 2025年第4期1103-1122,共20页
在互联网技术飞速发展,传统企业面临数字化转型的大背景下,作为数字时代数据基础设施,数据库面临大数据量、高可用、在线弹性伸缩、智能化、安全防护等方面的巨大挑战.为了应对诸多挑战,GaussDB应运而生,GaussDB提出分布式数据库的分布... 在互联网技术飞速发展,传统企业面临数字化转型的大背景下,作为数字时代数据基础设施,数据库面临大数据量、高可用、在线弹性伸缩、智能化、安全防护等方面的巨大挑战.为了应对诸多挑战,GaussDB应运而生,GaussDB提出分布式数据库的分布式查询优化技术提升了数据查询性能,提出分布式数据库的高可用容灾技术提升了企业数据的可用性和可靠性,提出分布式数据库的云原生计算存储分离和弹性伸缩技术提高了对存储等资源的利用率,提出分布式数据库的自治管理技术增强了数据库的智能管理,提出分布式数据库的全方位安全防护技术提高了数据的安全保护能力. GaussDB能支撑关键基础行业核心场景的数字化转型. 展开更多
关键词 数据库 高可用 云原生 分布式 智能化 安全
在线阅读 下载PDF
基于故障树的LZB型全自动立式压滤机液压系统故障诊断专家系统 被引量:1
3
作者 崔璐 杨栩卿 +5 位作者 罗涛 郭西贤 李皓源 姚尧 王沛 段佩侠 《机床与液压》 北大核心 2025年第8期203-211,共9页
针对西安某公司生产的LZB型全自动立式压滤机液压系统故障诊断中存在的过度依赖人工经验、诊断效率低及准确性低等问题,提出一种基于故障树和专家系统理论的智能诊断方法。通过引入故障树和专家系统等技术,实现对液压系统故障的分析和... 针对西安某公司生产的LZB型全自动立式压滤机液压系统故障诊断中存在的过度依赖人工经验、诊断效率低及准确性低等问题,提出一种基于故障树和专家系统理论的智能诊断方法。通过引入故障树和专家系统等技术,实现对液压系统故障的分析和智能诊断。基于作业时液压系统出现的各类故障事件建立全自动立式压滤机液压系统的故障树模型,采用层次分析法和聚合模糊数对故障树模型进行分析。根据分析结果以及液压系统的故障信息,选取产生式规则作为知识表示并在SQL Server软件中建立故障诊断知识库,选用基于规则的正向推理和冲突抵消策略作为推理机,构建LZB型全自动立式压滤机液压系统智能故障诊断专家系统。经过适用性验证,该系统可实现故障智能定位、排故建议推送,显著提升了故障处理效率并降低了维修成本。其知识维护等功能确保了系统的持续学习能力,进一步提高了专家系统的故障诊断效率和适用范围,验证了故障树和专家系统融合诊断技术的准确性和可行性。 展开更多
关键词 LZB型全自动立式压滤机 液压系统 故障树 聚合模糊数 专家系统
在线阅读 下载PDF
“华西黉医”大模型构建与应用 被引量:2
4
作者 石锐 郑兵 +13 位作者 姚巡 杨豪 杨煦晨 张思远 王真吾 刘东峰 董婧 谢佳希 马虎 贺志阳 蒋成 乔丰 罗凤鸣 黄进 《中国胸心血管外科临床杂志》 北大核心 2025年第5期587-593,共7页
目的构建“华西黉医”大模型,探索其在辅助病历生成中的应用效果。方法采用“数据标注-模型训练-场景孵化”全链条的医疗大模型建设范式,通过多模态数据融合、领域自适应训练及国产化硬件适配策略,构建720亿参数规模的医学大模型,即“... 目的构建“华西黉医”大模型,探索其在辅助病历生成中的应用效果。方法采用“数据标注-模型训练-场景孵化”全链条的医疗大模型建设范式,通过多模态数据融合、领域自适应训练及国产化硬件适配策略,构建720亿参数规模的医学大模型,即“华西黉医”大模型。结合语音识别、知识图谱和强化学习技术,在构建“华西黉医”大模型的基础上开发辅助病历生成应用系统。结果以出院小结辅助生成为例,试点科室应用病历生成系统后每份病历书写平均时间由21 min缩短至5 min,效率提高3.2倍,系统输出准确率92.4%。结论医疗机构构建自主可控的医学大模型并以此孵化各类应用系统的模式可行,能为同类机构人工智能建设提供路径参考。 展开更多
关键词 医疗大模型 数据标注 多模态学习 病历生成 人工智能
原文传递
基于HP-SPME-GC-MS法分析沙田柚中的挥发性成分
5
作者 钱敏 潘奕丞 +5 位作者 赵文红 赵培静 白卫东 姜浩 潘思轶 陈铎 《现代食品科技》 北大核心 2025年第9期341-349,共9页
为研究沙田柚果皮和果肉所含挥发性成分的种类、相对含量及香气成分差异,拓展沙田柚加工副产品的再利用及沙田柚香精香料的配制,采用顶空固相微萃取-气相色谱-质谱联用分析法(Headspace Solid Phase Microextraction Gas Chromatography... 为研究沙田柚果皮和果肉所含挥发性成分的种类、相对含量及香气成分差异,拓展沙田柚加工副产品的再利用及沙田柚香精香料的配制,采用顶空固相微萃取-气相色谱-质谱联用分析法(Headspace Solid Phase Microextraction Gas Chromatography-Mass Spectrometry HP-SPME-GC-MS)测定同一批沙田柚果皮和果肉挥发性成分,并借助ROAV分析、热图、柱状图、比例弦图及雷达图对挥发性成分进行分析。结果表明,沙田柚果皮共检测出104种挥发性成分,主要成分为D-柠檬烯(16.61%)和β-蒎烯(12.83%);果肉共检测出50种挥发性成分,主要成分为叶醇(12.24%)和D-柠檬烯(9.75%)。根据ROAV总值分析出对果皮风味贡献度最大物质为月桂烯,对果肉风味贡献度最大物质为己醛。此外,果皮中D-杜松烯、β-蒎烯含量占比较大,而D-柠檬烯占比较小,果肉中己醛含量较多,其中存在的正己醇可能是造成岭南产地沙田柚气味区别于其他产区或品种柚子的原因。该研究通过对岭南产地沙田柚果实进行挥发性成分的检测,为沙田柚的综合开发、柚子果渣的再利用及沙田柚香精的研制提供了参考。 展开更多
关键词 沙田柚 顶空固相微萃取 挥发性成分 ROAV
在线阅读 下载PDF
基于形计算重构CAD的计算基础
6
作者 何援军 于海燕 方志刚 《计算机集成制造系统》 北大核心 2025年第3期760-777,共18页
追溯CAD技术之根,剖析计算难之源。CAD的数字化模型基于“形”。审视基于“数”的计算机制与“形”计算对象间的原始矛盾,探索用几何的思路去寻求全局、直观、简单、稳定的新计算机制。介绍了一种基于“几何问题几何化”的“形计算”机... 追溯CAD技术之根,剖析计算难之源。CAD的数字化模型基于“形”。审视基于“数”的计算机制与“形”计算对象间的原始矛盾,探索用几何的思路去寻求全局、直观、简单、稳定的新计算机制。介绍了一种基于“几何问题几何化”的“形计算”机制。阐述了形计算的总体思想和主要策略,给出了形计算的应用实例,对算法性能作了理论与实验分析。最后,讨论了形计算在CAD中的作用,提出以形计算重构CAD的计算基础,给出了实施建议和方案,在CAD中发挥形计算在几何表示、几何计算、几何关系重组、几何奇异处理,以及几何变换、降维计算等方面的特色与优势,建设以形计算作为理论基础的CAD根技术,实现几何内核在算法简单化、计算稳定性和计算效率上有大的提升。 展开更多
关键词 CAD 工业软件 形计算 几何 几何计算 代数计算 计算基础
在线阅读 下载PDF
自动驾驶地图在线更新安全合规技术研究与实践
7
作者 马小龙 马照亭 +5 位作者 赵园春 方驰宇 费雯凯 闫春利 王月明 石一慧 《测绘通报》 北大核心 2025年第11期134-139,共6页
随着自动驾驶地图应用领域不断拓展,其数据采集、传输、更新及分发的业务模式和管理机制正面临全新变革与挑战。在保障地理信息安全的前提下,如何实现自动驾驶地图数据众源采集与在线更新的高效协同,已成为该领域在新形势下亟待攻克的... 随着自动驾驶地图应用领域不断拓展,其数据采集、传输、更新及分发的业务模式和管理机制正面临全新变革与挑战。在保障地理信息安全的前提下,如何实现自动驾驶地图数据众源采集与在线更新的高效协同,已成为该领域在新形势下亟待攻克的关键难题。本文分析了当下地图数据众源采集与在线更新的安全合规需求及研究现状,提出了融合地理信息保密处理与商用密码保护的自动驾驶地图在线更新安全合规技术。经国家级科研项目探索与实践,证实该技术能够满足众源采集与在线更新相关业务性能要求,有效提升自动驾驶地图及相关地理信息数据安全保障能力。 展开更多
关键词 自动驾驶地图 众源采集 在线更新 商用密码 技术融合 地理信息安全
原文传递
DNA数据存储技术的法律治理议题
8
作者 焦洪涛 齐蒙 +1 位作者 邵滨 蒋劲松 《合成生物学》 北大核心 2025年第1期177-189,共13页
DNA数据存储技术是合成生物学的关键分支领域,以其存储密度高、存储时期长、稳定、安全等特点,有望成为当下数据爆炸式增长导致存储能力不足的解决方案。DNA数据存储技术的快速发展为现行法律体系带来冲击,探讨DNA数据存储技术的法律治... DNA数据存储技术是合成生物学的关键分支领域,以其存储密度高、存储时期长、稳定、安全等特点,有望成为当下数据爆炸式增长导致存储能力不足的解决方案。DNA数据存储技术的快速发展为现行法律体系带来冲击,探讨DNA数据存储技术的法律治理议题是强化新兴科技伦理治理的重要内容。在人权层面,探讨可能引发的对“人的尊严”的挑战和数据鸿沟问题,建议完善DNA数据存储基于科技伦理治理框架上的政策法律体系;在安全层面,探讨可能引发的信息安全和生物安全相关问题,建议结合信息安全和生物安全两个维度强化DNA数据存储技术的安全治理;在知识产权层面,探讨DNA合成和测序技术、DNA介质以及重组DNA的微生物中涉及的可专利性等问题,建议完善专利保护规则,优化知识产权法治环境,以促进DNA数据存储技术科技创新和产业创新。 展开更多
关键词 DNA数据存储技术 合成生物学 信息安全 法律治理 科技伦理治理
在线阅读 下载PDF
基于频谱感知和非正交多址的大规模免授权随机接入方案
9
作者 张晶 马林 +3 位作者 高宏旭 陆音 吴烁雨 朱洪波 《通信学报》 北大核心 2025年第3期151-163,共13页
针对大规模机器类型通信场景,提出一种基于认知无线电(CR)频谱感知和非正交多址(NOMA)的大规模免授权随机接入方案。首先,提出CR-NOMA三步免授权随机接入协议,支持终端用户通过频谱感知获取上行信道状态信息以便有针对性地降低随机接入... 针对大规模机器类型通信场景,提出一种基于认知无线电(CR)频谱感知和非正交多址(NOMA)的大规模免授权随机接入方案。首先,提出CR-NOMA三步免授权随机接入协议,支持终端用户通过频谱感知获取上行信道状态信息以便有针对性地降低随机接入冲突;然后,设计了基于频谱感知结果的接入信道和功率电平优选策略,建立了用户上行传输信号模型和基站接收信号模型;最后,提出了联合信道滤波、功率电平检测、前导和数据检测、冲突检测的多用户信号检测算法,对随机接入性能进行了理论分析和仿真。仿真结果表明,相比现有方案,所提CR-NOMA方案在系统高负载时用户接入概率和过载率提升了近一倍,过载能力更强,鲁棒性更好。 展开更多
关键词 大规模免授权随机接入 频谱感知 非正交多址 接入概率
在线阅读 下载PDF
基于三大核心场景的智慧康养空间建设进展研究
10
作者 李赞梅 马鹤桐 +4 位作者 李颖茵 王巍 冯思禹 陈文娟 李姣 《医学信息学杂志》 2025年第8期23-28,共6页
目的/意义 聚焦康养空间,明确智慧康养在不同场景中的应用价值,探讨其建设现状与未来发展方向。方法/过程 梳理康养概念和产业体系范围,阐述康养产业3个核心功能,选取家庭、养老院和医院3个主要康养空间,系统分析其数智化建设进展。结果... 目的/意义 聚焦康养空间,明确智慧康养在不同场景中的应用价值,探讨其建设现状与未来发展方向。方法/过程 梳理康养概念和产业体系范围,阐述康养产业3个核心功能,选取家庭、养老院和医院3个主要康养空间,系统分析其数智化建设进展。结果/结论 我国智慧家庭、智慧养老院和智慧医院建设已从理论概念和战略规划阶段进入实质推进阶段,前景广阔。未来在康养需求、政策支持和技术驱动等多重因素共同推动下,智慧康养可能呈现向智慧居家康养转变,以及物理世界与数字空间融合两大发展趋势。 展开更多
关键词 康养 智慧家庭 智慧养老院 智慧医院 智慧城市 数智化转型
暂未订购
智慧养老社区数字健康服务技术架构与通路设计研究
11
作者 李赞梅 兰雨姗 +5 位作者 马鹤桐 李颖茵 王巍 康雪婷 冯思禹 李姣 《医学信息学杂志》 2025年第7期27-32,39,共7页
目的/意义设计面向智慧养老社区的数字健康服务技术架构与通路,促进智慧养老社区数字健康服务高质量发展。方法/过程基于社区居家养老居民数字健康服务需求,融合先进数字健康技术,设计智慧养老社区数字健康服务技术架构,并基于多元主体... 目的/意义设计面向智慧养老社区的数字健康服务技术架构与通路,促进智慧养老社区数字健康服务高质量发展。方法/过程基于社区居家养老居民数字健康服务需求,融合先进数字健康技术,设计智慧养老社区数字健康服务技术架构,并基于多元主体设计数字健康服务通路。结果/结论该技术架构可实现老年居民健康数据的有效采集、分析与智慧化服务。多元主体在膳食管理、线上问诊、远程健康状况监测、疾病风险预测和远程健康教育5类数字健康服务通路中的角色与职责得到明确。 展开更多
关键词 智慧养老社区 数字健康 技术架构 服务通路 健康老龄化
暂未订购
软件中总故障个数相关的不完美排错可靠性模型建模机理与述评
12
作者 张策 孙智超 +2 位作者 纪可行 王金勇 王宇彬 《计算机科学》 北大核心 2025年第6期21-34,共14页
挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入... 挖掘可靠性研究中,软件故障总数对测试资源分配、可靠性变动影响以及最优发布等具有重要意义,但迄今为止鲜有从故障总数的角度进行可靠性研究。针对贴近真实测试环境的不完美排错等问题,对软件中故障总数相关的可靠性增长模型进行深入研究和系统述评。首先,对软件可靠性增长模型SRGM(Software Reliability Growth Model)进行评述,给出研究主题、本质与技术内涵,引出软件中故障总数分析。从排错的不完全角度引入不同的新故障模型视角,建立不完美排错模型,分类研究多种情况下软件中故障总数与累积检测到的故障数量二者的变动情况。然后,从排错的不完全性与引入新故障的角度,建立统一的二元一阶不完美排错微分方程组描述软件测试过程,求解得到相应的故障总数与累积检测故障数量表达式。对上述两大类情况下不完美排错模型在多个真实计算机工程系统失效数据集上进行验证,从拟合与预测角度分析不同模型的性能,进而分析软件中故障总数对可靠性的影响。结果表明,故障总数对可靠性模型具有明显影响,其自身性能能够支撑可靠性的增长与性能提升。最后,指出了下一步研究挑战与亟待解决的问题。 展开更多
关键词 可靠性 软件可靠性增长模型 可靠性建模 总故障个数 不完美排错
在线阅读 下载PDF
云计算领域突出问题探讨
13
作者 王龙 郑磊 钏茗喜 《井冈山大学学报(自然科学版)》 2025年第3期72-83,共12页
针对当前云计算领域的突出问题与挑战。本研究首先讨论了一般云计算领域中存在的突出问题,包括安全性、资源调度和优化、高可用和合规性等。其次探讨了这些突出问题在我国的具体表现,以及我国特有的云计算领域的技术性与非技术性问题,... 针对当前云计算领域的突出问题与挑战。本研究首先讨论了一般云计算领域中存在的突出问题,包括安全性、资源调度和优化、高可用和合规性等。其次探讨了这些突出问题在我国的具体表现,以及我国特有的云计算领域的技术性与非技术性问题,例如公有云和SaaS服务所占比例低、数字化转型与云化的任务重等。此外,还分析探讨了我国云计算所面临的供应链安全问题,例如CPU、内存等核心硬件和高端CPU、GPU、FPGA等高性能芯片的制造与供应,核心软件供应链安全等。对于所探讨的问题,分析了可能的研究方向,提出了可能的应对方案及如何借助云计算技术缓解或屏蔽这类供应链安全问题。 展开更多
关键词 云计算 云安全 高可用 供应链安全 芯片供应安全
在线阅读 下载PDF
突发事件下高铁网络延误弹复性
14
作者 叶玉玲 周文涛 +3 位作者 韩明初 罗晋 宋唯维 朱资岳 《同济大学学报(自然科学版)》 北大核心 2025年第2期254-262,共9页
高铁一般性突发事件导致的网络短时能力损失可引发列车延误。引入弹复性的概念评价高铁网络应对延误的恢复能力,提出高铁网络延误弹复性。从恢复程度和恢复速度两个测度建立评价指标,以评价高铁网络在一般性突发事件下的延误恢复能力。... 高铁一般性突发事件导致的网络短时能力损失可引发列车延误。引入弹复性的概念评价高铁网络应对延误的恢复能力,提出高铁网络延误弹复性。从恢复程度和恢复速度两个测度建立评价指标,以评价高铁网络在一般性突发事件下的延误恢复能力。研究基于运行调整的路网延误弹复性分析方法,构建事件发生区段和相邻区段的延误弹复性优化多目标混合整数规划模型,并以华东局部高铁网络为例进行算例分析。最后对一般性突发事件下高速铁路延误传播特征进行分析,为铁路调度管理部门在突发事件下的高铁网络运行调整提供依据。 展开更多
关键词 高速铁路 弹复性 突发事件 延误传播 运行调整
在线阅读 下载PDF
5G-A通感一体基站组网低空感知关键技术 被引量:5
15
作者 刘斌越 杨建强 +2 位作者 徐波 王博磊 蔡华 《信号处理》 北大核心 2025年第5期787-806,共20页
随着低空经济的兴起,对低空无人机进行监管成为支撑低空经济发展的必然要求。本文深入分析了城市环境下无人机雷达检测的技术难点。一方面,消费级无人机的小型化、高机动特征对雷达目标检测性能带来了巨大挑战。另一方面,密集城区环境... 随着低空经济的兴起,对低空无人机进行监管成为支撑低空经济发展的必然要求。本文深入分析了城市环境下无人机雷达检测的技术难点。一方面,消费级无人机的小型化、高机动特征对雷达目标检测性能带来了巨大挑战。另一方面,密集城区环境下动、静杂波也带来了雷达检测率低与虚警率高的挑战。单雷达检测能力在这些挑战问题中表现不佳,这使得单站雷达在密集城区场景下存在较大的应用局限性。雷达组网感知技术从检测率提升和虚警率降低两个指标上都大幅提升了单站雷达能力,因此,雷达组网技术成为现代雷达技术发展趋势。虽然雷达组网技术有诸多优势,但要实现大规模雷达组网,也存在大量需要解决的技术与工程问题。相较于传统雷达组网存在的诸多局限,5G-A通感基站凭借其独特优势,能够充分复用5G-A通信基础网络的能力,进而成功攻克大规模雷达组网中时、频、空配准的关键技术难题。基于5G-A通感一体基站组网架构,得以实现基于相参或非相参机制的多站联合信号检测技术,以及基于点云数据融合或轨迹级关联的联合目标追踪与多站联合目标识别等一系列核心技术。这些技术经理论分析与实践验证,在提升低空无人机检测能力方面成效显著,满足低空感知指标要求,从而使得5G-A通感一体基站组网成为城市环境低空感知体系中不可或缺的关键构成部分。 展开更多
关键词 低空无人机感知 5G-A 通感一体 雷达网络
在线阅读 下载PDF
面向绿色转型的数字化标识可选数据载体与访问技术比较浅析
16
作者 夏玉娟 刘荣宽 何源 《标准科学》 2025年第12期123-129,共7页
【目的】随着全球绿色转型的加速,产品标识数字化成为促进绿色消费和产业低碳转型的重要支撑。【方法】本文立足全球标识数字化发展趋势,梳理各国绿色可持续标识实践案例,对比分析二维码、RFID、NFC、星闪等典型数据载体与访问技术的核... 【目的】随着全球绿色转型的加速,产品标识数字化成为促进绿色消费和产业低碳转型的重要支撑。【方法】本文立足全球标识数字化发展趋势,梳理各国绿色可持续标识实践案例,对比分析二维码、RFID、NFC、星闪等典型数据载体与访问技术的核心特性及应用差异。【结果】研究发现,全球标识已形成“物理标识+数字化载体”融合发展格局,我国在能效标识二维码应用、大湾区碳足迹标识数字化平台建设等方面积累了实践基础。不同技术适配场景存在显著差异,二维码凭借低成本、高普及率优势主导通用产品场景,RFID/NFC依托动态更新与高安全性适配工业监管、供应链追溯及高价值产品防伪溯源等场景,星闪技术以大容量存储、低时延特性满足智能制造装备等工业物联网全生命周期数据管理需求。【结论】研究认为,应通过构建分层分类技术适配体系、推进数据载体标准化建设、强化数据载体动态交互能力、平衡技术创新与应用便捷性,助力绿色可持续类标识数字化高效升级。 展开更多
关键词 数字化标识 绿色标识 数据载体与访问技术
在线阅读 下载PDF
高维贝叶斯优化研究综述 被引量:2
17
作者 陈泉霖 陈奕宇 +4 位作者 霍静 曹宏业 高阳 李栋 郝建业 《软件学报》 北大核心 2025年第6期2576-2603,共28页
贝叶斯优化是一种优化黑盒函数的技术,高效的样本利用率使其在众多科学和工程领域中得到了广泛应用,如深度模型调参、化合物设计、药物开发和材料设计等.然而,当输入空间维度较高时,贝叶斯优化的性能会显著下降.为了克服这一限制,许多... 贝叶斯优化是一种优化黑盒函数的技术,高效的样本利用率使其在众多科学和工程领域中得到了广泛应用,如深度模型调参、化合物设计、药物开发和材料设计等.然而,当输入空间维度较高时,贝叶斯优化的性能会显著下降.为了克服这一限制,许多研究对贝叶斯优化方法进行了高维扩展.为了深入剖析高维贝叶斯优化的研究方法,根据不同工作的假设与特征将高维贝叶斯优化方法分为3类:基于有效低维度假设的方法、基于加性假设的方法以及基于局部搜索的方法,并对这些方法进行阐述和分析.首先着重分析这3类方法的研究进展,然后比较各类方法在贝叶斯优化应用中的优劣势,最后总结当前阶段高维贝叶斯优化的主要研究趋势,并对未来发展方向展开讨论. 展开更多
关键词 高维贝叶斯优化 贝叶斯优化 黑盒优化 降维 变量选择
在线阅读 下载PDF
智能化芯片设计程序测试研究综述 被引量:1
18
作者 李晓鹏 闫明 +5 位作者 樊兴宇 唐振韬 开昰雄 郝建业 袁明轩 陈俊洁 《软件学报》 北大核心 2025年第6期2453-2476,共24页
在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成... 在当今智能化的时代背景下,芯片作为智能电子设备的核心组件,在人工智能、物联网、5G通信等诸多领域发挥着关键作用,保障芯片的正确性、安全性和可靠性至关重要.在芯片的开发流程中,开发人员首先需要利用硬件描述语言,将芯片设计实现成软件形式(即芯片设计程序),然后再进行物理设计并最终流片(即生产制造).作为芯片设计制造的基础,芯片设计程序的质量直接影响了芯片的质量.因此,针对芯片设计程序的测试具有重要研究意义.早期的芯片设计程序测试方法主要依赖开发人员人工设计测试用例来测试芯片设计程序,往往需要大量的人工成本和时间代价.随着芯片设计程序复杂度的日益增长,诸多基于仿真的自动化芯片设计程序测试方法被提出,提升了芯片设计程序测试效率及有效性.近年来,越来越多的研究者致力于将机器学习、深度学习和大语言模型(LLM)等智能化方法应用于芯片设计程序测试领域.调研88篇智能化芯片设计程序测试相关的学术论文,从测试输入生成、测试预言构造及测试执行优化这3个角度对智能化芯片设计程序测试已有成果进行整理归纳,重点梳理芯片设计程序测试方法从机器学习阶段、深度学习阶段到大语言模型阶段的演化,探讨不同阶段方法在提高测试效率和覆盖率、降低测试成本等方面的潜力.同时,介绍芯片设计程序测试领域的研究数据集和工具,并展望未来的发展方向和挑战. 展开更多
关键词 芯片设计程序测试 大语言模型 测试用例生成
在线阅读 下载PDF
一种高失水堵漏剂KSD-1的室内评价及现场应用
19
作者 李磊 祝学飞 +2 位作者 侯博 麻洪霞 宋芳 《当代化工研究》 2025年第1期93-95,共3页
井漏是钻井过程中最常见且最难以治理的井下复杂情况之一。针对裂缝、缝洞等导致的钻井液失返恶性复杂漏失,提出一种可凝结高失水堵漏剂KSD-1,并对其进行了室内评价。结果表明:KSD-1高失水堵漏剂与清水可以配制成不同浓度、可泵送的堵漏... 井漏是钻井过程中最常见且最难以治理的井下复杂情况之一。针对裂缝、缝洞等导致的钻井液失返恶性复杂漏失,提出一种可凝结高失水堵漏剂KSD-1,并对其进行了室内评价。结果表明:KSD-1高失水堵漏剂与清水可以配制成不同浓度、可泵送的堵漏浆,堵漏浆加重后悬浮稳定性良好,抗温可达200℃,在一定压力下可快速失水压实形成堵塞,堵塞可变形,具有一定抗压性,通过对裂缝的自适应性变化进行填充实现堵漏。堵塞酸溶率达87%,高失水堵漏完成后可酸化解堵,保护储层。采用该堵剂结合高失水堵漏工艺,成功应用于现场两口井堵漏,为水基钻井液复杂漏失控制提供了有效的技术途径。 展开更多
关键词 高失水堵漏剂 井漏 堵塞
在线阅读 下载PDF
文档级神经机器翻译综述 被引量:1
20
作者 吕星林 李军辉 +2 位作者 陶仕敏 杨浩 张民 《软件学报》 北大核心 2025年第1期152-183,共32页
机器翻译(machine translation,MT)研究旨在构建一个自动转换系统,将给定源语言序列自动地转换为具有相同语义的目标语言序列.由于机器翻译广阔的应用场景,使其成为自然语言理解领域乃至人工智能领域的一个重要的研究方向.近年来,端到... 机器翻译(machine translation,MT)研究旨在构建一个自动转换系统,将给定源语言序列自动地转换为具有相同语义的目标语言序列.由于机器翻译广阔的应用场景,使其成为自然语言理解领域乃至人工智能领域的一个重要的研究方向.近年来,端到端的神经机器翻译(neural machine translation,NMT)方法显著超越了统计机器翻译(statistical machine translation,SMT)方法,成为目前机器翻译研究的主流方法.然而,神经机器翻译系统通常以句子为翻译单位,在面向文档的翻译场景中,将文档中每个句子独立地进行翻译,会因脱离文档的篇章语境引起一些篇章级的错误,如词语错翻、句子间不连贯等.因此将文档级的信息融入到翻译的过程中去解决跨句的篇章级错误是更加自然和合理的做法,文档级的神经机器翻译(document-level neural machine translation,DNMT)的目标正是如此,成为机器翻译研究的热门方向.调研了近年来在文档级神经机器翻译研究方向的主要工作,从篇章评测方法、使用的数据集和模型方法等方面系统地对当前研究工作进行了归纳与阐述,目的是帮助研究者们快速了解文档级神经机器翻译研究现状以及未来的发展和研究方向.同时在文中也阐述了在文档级神经机器翻译的一些展望、困难和挑战,希望能带给研究者们一些启发. 展开更多
关键词 神经机器翻译 Transformer模型 文档上下文 篇章评测
在线阅读 下载PDF
上一页 1 2 70 下一页 到第
使用帮助 返回顶部