期刊文献+
共找到310篇文章
< 1 2 16 >
每页显示 20 50 100
土木工程专业知识驱动大语言模型构建与评测体系
1
作者 周颖 孟诗乔 +1 位作者 徐灏然 冷皓 《同济大学学报(自然科学版)》 北大核心 2025年第6期831-840,共10页
为解决通用大语言模型在土木工程领域应用中缺乏专业知识而导致的局限性问题,提出了一种专为土木工程领域设计的知识大模型―CivilGPT。通过多步骤的技术路线构建了CivilGPT模型,包括数据预处理、建立专业知识图谱、生成和优化自动化数... 为解决通用大语言模型在土木工程领域应用中缺乏专业知识而导致的局限性问题,提出了一种专为土木工程领域设计的知识大模型―CivilGPT。通过多步骤的技术路线构建了CivilGPT模型,包括数据预处理、建立专业知识图谱、生成和优化自动化数据集、分阶段预训练和微调,以及与工程任务的对齐,确保模型能够在土木工程领域实现准确的知识表达和推理能力。此外,建立了基于土木工程资格考试的标准化评测框架Civil-Bench,涵盖13类注册工程师考试题目,包含14823道客观题和269道主观题。通过测试15个国内外语言模型,结果显示CivilGPT在土木工程知识理解、推理能力和复杂问题解决方面具有显著优势。该研究为土木工程领域智能化发展奠定了技术基础,为其他专业领域模型开发提供了重要参考。 展开更多
关键词 土木工程 大语言模型 CivilGPT 领域知识图谱 Civil-Bench评测框架
在线阅读 下载PDF
自然语言表示的特定径路规则下铁路网车流径路计算方法研究
2
作者 刘英杰 赵军 +1 位作者 张晓静 郑平标 《铁道运输与经济》 北大核心 2025年第7期105-116,139,共13页
铁路车流径路由最短径路和特定径路组成,其中特定径路以半结构化的自然语言文本表示,研究自然语言表示的特定径路规则下铁路网车流径路计算方法,对实现车流径路智能化管理具有重要意义。首先,分析特定径路的表现形式及构成要素;其次,建... 铁路车流径路由最短径路和特定径路组成,其中特定径路以半结构化的自然语言文本表示,研究自然语言表示的特定径路规则下铁路网车流径路计算方法,对实现车流径路智能化管理具有重要意义。首先,分析特定径路的表现形式及构成要素;其次,建立正则表达式抽取特定径路信息,将特定径路信息中的发/到域、经由径路和特殊线路分别转换为车站集合、必须访问车站序列和禁止通过区间集合;接着,基于最短径路计算,开发特定径路规则下铁路网车流径路的计算方法;最后,以成都北站为例开展案例研究,解析《全路货车车流径路》文件表示的特定径路信息,计算特定径路规则下成都北站所有出发车流与到达车流的最短径路与特定径路。案例分析结果表明,所提出的方法具有实用性和有效性,能够丰富车流径路信息化管理方法,为现场车流组织工作提供有力支持。 展开更多
关键词 铁路运输 车流径路 特定径路 自然语言处理 车流组织
在线阅读 下载PDF
复杂系统的MBSE建模及可靠性评估方法
3
作者 李子航 王国新 +2 位作者 马君达 鲁金直 阎艳 《国防科技大学学报》 北大核心 2025年第2期183-192,共10页
针对复杂系统设计过程缺乏早期可靠性评估的问题,提出一种基于模型的系统工程方法支持复杂系统的设计及可靠性评估。结合复杂系统的研发特点,提出一种基于“使命、运行、功能、逻辑、物理、可靠性”的基于模型的系统工程(model-based sy... 针对复杂系统设计过程缺乏早期可靠性评估的问题,提出一种基于模型的系统工程方法支持复杂系统的设计及可靠性评估。结合复杂系统的研发特点,提出一种基于“使命、运行、功能、逻辑、物理、可靠性”的基于模型的系统工程(model-based systems engineering, MBSE)建模方法,支持复杂系统设计和可靠性评估;利用基于“图、对象、属性、点、关系、角色”的系统建模语言KARMA对上述过程进行统一表达;通过KARMA的代码生成功能实现图模型到计算模型的映射,完成复杂系统可靠性的评估;将方法应用于液压系统案例,结果表明所提方法对于复杂系统设计和评估具备有效性。 展开更多
关键词 贝叶斯网络 系统可靠性 故障树 MBSE 特定域建模 KARMA语言
在线阅读 下载PDF
专门用途语言学:高校专业调整背景下外国语言文学亟待新增的二级学科
4
作者 蔡基刚 《北京第二外国语学院学报》 北大核心 2025年第1期11-20,共10页
我国高校外语专业的危机是学科发展和社会需求的矛盾造成的。全国近千所高校的外语专业都是进行外国语言、文学、翻译、文化和国别区域方向的研究,这必然会导致外语专业毕业生面临巨大的就业竞争压力。教育部提出的“四新”建设倡导推... 我国高校外语专业的危机是学科发展和社会需求的矛盾造成的。全国近千所高校的外语专业都是进行外国语言、文学、翻译、文化和国别区域方向的研究,这必然会导致外语专业毕业生面临巨大的就业竞争压力。教育部提出的“四新”建设倡导推动学科交叉和专业调整,以满足社会需求。本研究发现,语言服务是外国语言文学调整专业的主要方向。从事语言服务的外语专业毕业生如果能够用语言学理论研究各学科尤其是自然技术学科的各种体裁的外语表达方式,就可以最大限度地满足社会的需求。此外,本研究还论证了外语专业进行学科交叉的必要性和可行性,最后提出了在外国语言文学一级学科下新设二级学科“专门用途语言学”的建议,以满足语言服务需求。 展开更多
关键词 专业调整 社会需求 外国语言文学 二级学科 专门用途语言学 语言服务
在线阅读 下载PDF
特定型语言障碍患者听觉诱发电位研究进展
5
作者 王艳霞 KIM HaKyung +1 位作者 刘巧云 张宗云 《听力学及言语疾病杂志》 北大核心 2025年第2期178-181,共4页
特定型语言障碍(specific language impairment,SLI)患者智力正常,却在语言理解和表达方面存在问题,目前其病因尚无定论,仅几个潜在病因正被探讨,其中该群体听觉信息处理能力与其语言问题的关系备受关注。越来越多的研究利用电生理检测... 特定型语言障碍(specific language impairment,SLI)患者智力正常,却在语言理解和表达方面存在问题,目前其病因尚无定论,仅几个潜在病因正被探讨,其中该群体听觉信息处理能力与其语言问题的关系备受关注。越来越多的研究利用电生理检测技术探讨SLI患者的听觉信息处理能力,并积累了一定的证据。本研究从听性脑干反应、中潜伏期反应和长潜伏期反应几个方面对SLI患者听觉信息处理能力的实证研究进行综述,尝试厘清SLI患者在听觉信息处理方面的特征,并分析其与语言问题的关系,以期为SLI患者的诊治提供参考。 展开更多
关键词 特定型语言障碍 听觉诱发电位
在线阅读 下载PDF
面向铁路领域的多方言免切换语音识别方法
6
作者 杨立鹏 胡从刚 +3 位作者 陈华龙 韩可可 刘峰 张志科 《中国铁路》 北大核心 2025年第1期30-39,共10页
随着铁路智能客服系统的持续发展,现有语音识别模型的准确率已达到较高水平,但面对铁路领域术语和多样化方言场景,其语音识别效果仍然较差,因此提出1种融合铁路领域知识的多方言免切换语音识别方法。基于RepVGG网络模型构建方言语种识别... 随着铁路智能客服系统的持续发展,现有语音识别模型的准确率已达到较高水平,但面对铁路领域术语和多样化方言场景,其语音识别效果仍然较差,因此提出1种融合铁路领域知识的多方言免切换语音识别方法。基于RepVGG网络模型构建方言语种识别器,以获取语种信息;对Transformer语音识别模型进行改进,通过在编码器中融合注意力机制的语种残差模块,并在解码器中嵌入语种信息,以实现多方言免切换功能;基于LSTM网络模型在铁路文本语料库上训练铁路领域专用的语言模型,并将其与改进的Transformer模型进行融合,以提升对铁路术语的识别准确率;在自建数据集上对所提方法进行实验验证,结果表明:所提方法在粤语、四川话和普通话上的识别准确率均超过90%,且有效提升对铁路领域术语的识别性能,具有一定应用价值。 展开更多
关键词 铁路领域语言模型 多方言 语音识别 RepVGG TRANSFORMER LSTM
在线阅读 下载PDF
基于领域特定提示学习和正则化加权先验优化的藏文不良语言检测方法
7
作者 任航 李镀 +3 位作者 杨进 章菁 群诺 王鑫 《中文信息学报》 北大核心 2025年第7期44-53,共10页
社交媒体上的不良言论对人们的心理健康和社会和谐构成严重威胁。然而在藏文社交平台上,由于缺乏有效的检测工具,使得对这些内容的监督和管理面临巨大挑战。鉴于藏文语料极为有限,传统的数据密集型方法并不适用。为解决这一问题,该文提... 社交媒体上的不良言论对人们的心理健康和社会和谐构成严重威胁。然而在藏文社交平台上,由于缺乏有效的检测工具,使得对这些内容的监督和管理面临巨大挑战。鉴于藏文语料极为有限,传统的数据密集型方法并不适用。为解决这一问题,该文提出了一种基于领域特定提示学习和正则化加权先验优化的方法。此方法基于提示学习与领域知识融合,可提升模型在低资源环境下的学习效果;采用正则化加权先验优化算法,通过调整损失函数和标签分布,提升模型准确性。该文以当前领先的XLM-RoBERTa (CINO)模型为基线,对自建的领域特定藏文不良语言数据集进行全量及小样本(50%、30%、10%)实验。结果表明,相较于基线,该方法在不同数据量条件下的准确率分别提高了2.8%、1.6%、1.3%和4.4%。 展开更多
关键词 藏文不良语言检测 领域特定提示学习 正则化加权先验优化
在线阅读 下载PDF
日本中文教育发展述评 被引量:2
8
作者 王璐 王春辉 《云南师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第4期46-56,共11页
文章通过历时分析、对比分析、文本分析等方法考察了日本中文教育的具体情况,发现:中文是日本诸多领域中的第二外语,但与作为第一外语的英语间存在显著差距;日本中文线上教学实践中,对线上教学模式基本持有肯定态度,偏好使用YouTube等... 文章通过历时分析、对比分析、文本分析等方法考察了日本中文教育的具体情况,发现:中文是日本诸多领域中的第二外语,但与作为第一外语的英语间存在显著差距;日本中文线上教学实践中,对线上教学模式基本持有肯定态度,偏好使用YouTube等视频教学资源。推进日本的中文教育发展,需要在客观把握当前中文教育发展实态的基础上,重视强化中文的领域语言价值,精准分析日本当下中文教育的本地化需求,大力推进中文教育的数字化发展。 展开更多
关键词 日本中文教育 领域语言价值 本地化需求 数字化 二语习得
在线阅读 下载PDF
基于模型驱动的密码算法可视化开发平台研究 被引量:1
9
作者 肖超恩 刘昌俊 +2 位作者 董秀则 王建新 张磊 《密码学报(中英文)》 CSCD 北大核心 2024年第2期357-370,共14页
针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码... 针对密码算法开发平台普适性差、无法跨平台的问题,本文采用模型驱动实现密码算法开发的方法,设计了一种基于模型驱动的密码算法可视化开发平台,提出了一种基于模型驱动的密码算法开发的领域语言—MCL密码元语言;实现了基于模型的代码生成器和代码映射器.实验证明,该开发平台仅需要开发者拖拽图形块的操作就可以实现密码算法模型的建立,然后平台可以根据建立的密码算法模型生成不同编程环境下的代码.平台实现了C和python的代码映射器模块,密码算法模型可快速映射为C、python代码.平台有较好的实用性,开发者的密码算法实现过程简洁、高效,不同编程环境下的代码均可以通过平台自动生成,提高了密码算法实现的跨平台性. 展开更多
关键词 密码算法实现 模型驱动 领域专用语言(DSL) 代码生成技术
在线阅读 下载PDF
普通话写作潮流与文学语言的当代转型 被引量:2
10
作者 颜同林 《华中师范大学学报(人文社会科学版)》 CSSCI 北大核心 2024年第1期100-110,共11页
从语言纯洁到语言规范,其标准与规格在20世纪50年代落脚于民族共同语的代名词普通话之上。动员作家充分运用普通话进行写作,是当时文学创作的一大特征与使命。普通话写作潮流的发生、演变离不开广大作家与编辑的共同努力,其中编辑工作... 从语言纯洁到语言规范,其标准与规格在20世纪50年代落脚于民族共同语的代名词普通话之上。动员作家充分运用普通话进行写作,是当时文学创作的一大特征与使命。普通话写作潮流的发生、演变离不开广大作家与编辑的共同努力,其中编辑工作的助推作用不可或缺。不同代际作家在普通话写作潮流中表现出不同路径与姿态,包括新作与旧作重版在内,其中不乏典型作家与作品,自我编辑与编辑加工始终贯穿这一过程。普通话写作潮流中作家与编辑存在相互制约、相互促成的一面,也存在矛盾冲突、語流变的一面,文学语言的规范、调适和转型则是最为核心的内容。 展开更多
关键词 普通话写作 语言规范 编辑工作 文学语言转型
在线阅读 下载PDF
普通话特殊型语言障碍儿童辖域指派的研究 被引量:2
11
作者 何晓炜 邢雪明 《山东外语教学》 北大核心 2024年第3期45-58,共14页
有关正常儿童辖域指派的研究已取得不少成果,但到目前为止尚无研究关注特殊型语言障碍(SLI)儿童的辖域知识。本研究采用真值判断任务考察学龄前普通话SLI儿童处理全称量词和否定词的辖域关系的能力。结果表明,与正常发展儿童不同,SLI儿... 有关正常儿童辖域指派的研究已取得不少成果,但到目前为止尚无研究关注特殊型语言障碍(SLI)儿童的辖域知识。本研究采用真值判断任务考察学龄前普通话SLI儿童处理全称量词和否定词的辖域关系的能力。结果表明,与正常发展儿童不同,SLI儿童偏好全部否定解读,全称量词和否定词在句子表层结构的位置关系并不会对SLI儿童的辖域指派产生明显影响。本研究验证了“语义子集原则”同样适用于SLI儿童,并提出SLI儿童在句子层面也存在“部分量化缺失”的问题。研究发现可为普通话SLI儿童的鉴定和干预提供重要参考。 展开更多
关键词 特殊型语言障碍 辖域 语义子集原则 部分量化缺失
在线阅读 下载PDF
国别化中文教育视角下教师课堂教学研究 被引量:1
12
作者 王海峰 韩晓明 《汉语学习》 CSSCI 北大核心 2024年第2期71-81,共11页
国际中文课堂教学效果与学习者的二语交际意愿密切相关。本文以国别化视角考察教师因素对日本学生汉语课堂交际意愿的影响。整体而言,教师的内在品质、课堂反馈和课堂管理三个维度的具体表现是影响日本学生交际意愿的主要因素。日本学... 国际中文课堂教学效果与学习者的二语交际意愿密切相关。本文以国别化视角考察教师因素对日本学生汉语课堂交际意愿的影响。整体而言,教师的内在品质、课堂反馈和课堂管理三个维度的具体表现是影响日本学生交际意愿的主要因素。日本学生整体与不同群体以及不同群体之间对具体教师行为的感知反应呈现出差异性,不同语言环境、性别和学习时长的日本学生对影响其交际意愿的教师因素接受度也不同。 展开更多
关键词 国别化 中文教育 教师课堂教学 日本学生 交际意愿
在线阅读 下载PDF
模板运算代码的自动生成与调优框架
13
作者 刘金硕 文尧 《计算机工程》 CAS CSCD 北大核心 2024年第6期35-47,共13页
针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统... 针对现有模板代码生成方法不支持多图形处理器(GPU)、调优不充分等问题,提出一种由领域专用语言(DSL)描述的模板代码的自动生成与调优框架。在代码自动生成阶段,该框架能够自动解析上层提供的描述语言,构建计算图进而生成模板运算的统一计算设备架构(CUDA)核函数,同时根据单GPU或多GPU环境生成不同的主机端代码。在代码调优阶段,根据不同的GPU型号确定候选参数范围,动态调用生成的CUDA核函数以确定最优参数。在多GPU的情况下,自动生成的主机端代码能够使用计算与通信重叠的方法进行边界数据交换。在4种不同的GPU与7、13、19、27点模板运算中,该框架能找到最优的参数配置。实验结果表明,对于Tesla V100-SXM2,以调优过的参数进行模板运算,该框架在单精度4种模板运算下的每秒万亿次浮点运算数(TFLOPs)分别为1.230、1.680、1.120、1.480,在双精度下分别为0.690、1.010、0.480、1.470,平均性能达到手工优化代码的98%,并且描述更简单,支持多GPU扩展。 展开更多
关键词 模板运算 统一计算设备架构 计算图 领域专用语言 代码生成 自动调优
在线阅读 下载PDF
大语言模型在教育信息化中的实践:规范、框架与应用 被引量:4
14
作者 徐刚 刘志鹏 +1 位作者 冯骐 沈富可 《通信学报》 CSCD 北大核心 2024年第S2期229-241,共13页
为了解决大语言模型在高等教育领域落地中方案复杂、模型深度绑定、可复用性差等问题,提出了一套大语言模型在教育信息化中的应用规范,从通用对话、检索增强和智能体3个角度给出了API的规范设计,并在此基础上给出了一套技术框架。结合... 为了解决大语言模型在高等教育领域落地中方案复杂、模型深度绑定、可复用性差等问题,提出了一套大语言模型在教育信息化中的应用规范,从通用对话、检索增强和智能体3个角度给出了API的规范设计,并在此基础上给出了一套技术框架。结合华东师范大学的3个具体案例展示了大语言模型如何深度融入校园生活,提升教学质量和学习体验。研究结果表明,基于规范性框架的应用开发具备良好的交互性和扩展性,底层能力高效复用有效提升了应用的开发效率。最后,总结了大语言模型在华东师范大学的应用情况,并对未来发展趋势进行了展望,强调了与教育场景融合的重要性,为推动人工智能技术在教育领域的广泛应用提供了参考依据。 展开更多
关键词 大语言模型 教育信息化 规范 框架 应用 人工智能
在线阅读 下载PDF
问答式林业预训练语言模型ForestBERT 被引量:3
15
作者 谭晶维 张怀清 +2 位作者 刘洋 杨杰 郑东萍 《林业科学》 EI CAS CSCD 北大核心 2024年第9期99-110,共12页
【目的】针对林业文本利用率低、通用领域预训练语言模型对林业知识理解不足以及手动标注数据耗时费力等问题,基于大量林业文本,提出一种融合林业领域知识的预训练语言模型,并通过自动标注训练数据,高效实现林业抽取式问答,为林业决策... 【目的】针对林业文本利用率低、通用领域预训练语言模型对林业知识理解不足以及手动标注数据耗时费力等问题,基于大量林业文本,提出一种融合林业领域知识的预训练语言模型,并通过自动标注训练数据,高效实现林业抽取式问答,为林业决策管理提供智能化信息服务。【方法】首先,基于网络爬虫技术构建包含术语、法律法规和文献3个主题的林业语料库,使用该语料库对通用领域预训练语言模型BERT进行继续预训练,再通过掩码语言模型和下一句预测这2个任务进行自监督学习,使BERT能够有效地学习林业语义信息,得到具有林业文本通用特征的预训练语言模型ForestBERT。然后,对预训练语言模型mT5进行微调,实现样本的自动标注,通过人工校正后,构建包含3个主题共2280个样本的林业抽取式问答数据集。基于该数据集对BERT、RoBERTa、MacBERT、PERT、ELECTRA、LERT 6个通用领域的中文预训练语言模型以及本研究构建的ForestBERT进行训练和验证,以明确ForestBERT的优势。为探究不同主题对模型性能的影响,分别基于林业术语、林业法律法规、林业文献3个主题数据集对所有模型进行微调。将ForestBERT与BERT在林业文献中的问答结果进行可视化比较,以更直观展现ForestBERT的优势。【结果】ForestBERT在林业领域的抽取式问答任务中整体表现优于其他6个对比模型,与基础模型BERT相比,精确匹配(EM)分数和F1分数分别提升1.6%和1.72%,在另外5个模型的平均性能上也均提升0.96%。在各个模型最优划分比例下,ForestBERT在EM上分别优于BERT和其他5个模型2.12%和1.2%,在F1上分别优于1.88%和1.26%。此外,ForestBERT在3个林业主题上也均表现优异,术语、法律法规、文献任务的评估分数分别比其他6个模型平均提升3.06%、1.73%、2.76%。在所有模型中,术语任务表现最佳,F1的平均值达到87.63%,表现较差的法律法规也达到82.32%。在文献抽取式问答任务中,ForestBERT相比BERT可提供更准确、全面的答案。【结论】采用继续预训练的方式增强通用领域预训练语言模型的林业专业知识,可有效提升模型在林业抽取式问答任务中的表现,为林业文本和其他领域的文本处理和应用提供一种新思路。 展开更多
关键词 林业文本 BERT 预训练语言模型 特定领域预训练 抽取式问答任务 自然语言处理
在线阅读 下载PDF
油藏动态分析场景大模型构建与初步应用 被引量:3
16
作者 潘焕泉 刘剑桥 +13 位作者 龚斌 朱艺亨 白军辉 黄虎 方政保 敬洪彬 刘琛 匡铁 兰玉波 王天智 谢添 程名哲 秦彬 沈榆将 《石油勘探与开发》 EI CAS CSCD 北大核心 2024年第5期1175-1182,共8页
针对目前油藏动态分析中井史数据检索与分析、连井剖面绘制、开发生产关键技术指标计算、油藏复杂问题的措施建议等方面的智能化需求,采用增量预训练、指令微调和功能子系统耦合3个步骤构建油藏动态分析场景大模型,提出了基于命名实体... 针对目前油藏动态分析中井史数据检索与分析、连井剖面绘制、开发生产关键技术指标计算、油藏复杂问题的措施建议等方面的智能化需求,采用增量预训练、指令微调和功能子系统耦合3个步骤构建油藏动态分析场景大模型,提出了基于命名实体识别技术、工具调用技术、Text-to-SQL(自然语言转换成结构化查询语言)技术微调的功能子系统及其高效耦合方法,将人工智能大模型运用到油藏动态分析领域。测试了特征提取模型、工具分类模型、数据检索模型、分析建议模型的准确性,结果表明这些模型在油藏动态分析的各个关键环节均展现出了良好的性能。最后以大庆油田PK3区块部分注采井组为例,测试验证了油藏动态分析场景大模型在辅助油藏工程师进行油藏动态分析方面具有的运用价值和潜力,为大模型在油藏动态分析中的运用提供了较好的技术支持。 展开更多
关键词 油藏动态分析 人工智能大模型 场景大模型 增量预训练 指令微调 系统耦合 实体识别 工具调用
在线阅读 下载PDF
面向稀疏计算的领域特定语言设计与实现 被引量:1
17
作者 胡燕婷 郑启龙 《小型微型计算机系统》 CSCD 北大核心 2024年第5期1241-1248,共8页
在稀疏计算领域应用模型的开发过程中,低层次的编程接口需要用户对底层硬件和算法模型同时具有全面、深入的了解.这种要求造成了稀疏计算领域的高门槛特性,不利于非专业人员的开发工作.为了降低稀疏计算领域的学习门槛,简化稀疏计算编程... 在稀疏计算领域应用模型的开发过程中,低层次的编程接口需要用户对底层硬件和算法模型同时具有全面、深入的了解.这种要求造成了稀疏计算领域的高门槛特性,不利于非专业人员的开发工作.为了降低稀疏计算领域的学习门槛,简化稀疏计算编程,提高编程的效率,本文提出了一种基于领域特定语言的解决方案,命名为Sparse Computing Programming Solutions:SCPS.SCPS设计和实现了专门的语法规则体系Sparse Computation by Domain Language:SCDL,并配备了相应的语法检查器.其次,SCPS会根据用户对数据和任务的划分进行代码优化,通过代码自动生成器将用户编写的应用模型转换为相关硬件的计算代码.为了提供良好的跨平台特性,代码生成器最终将生成相应模型的OpenCL代码.大规模的实验结果表明,使用SCDL语言构建的代码量仅为对应OpenCL代码的1/15,有效地提高了稀疏计算编程的效率.同时,实验证明了与串行代码相比,自动生成的代码能够达到优化的效果. 展开更多
关键词 领域特定语言 稀疏计算 语法检查 代码自动生成 OPENCL
在线阅读 下载PDF
一种基于无锁队列的运行时多线程并行验证方法 被引量:1
18
作者 李佳洁 陈哲 陈龙腾 《小型微型计算机系统》 CSCD 北大核心 2024年第5期1249-1256,共8页
运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使... 运行时验证是一种动态的软件验证技术,主要包括使用形式化规约描述待验证性质、自动生成对应监控器以及监控器的插桩.然而现有的面向C语言程序的运行时验证技术存在一些局限性,主要体现在多监控器的情况下,现有的运行时验证工具只能使用串行的方式处理,这大大降低了验证效率.因此,本文在分析了形式化规约的基础上,提出了一种基于无锁队列的运行时多线程并行验证方法.方法在现有工具MOVEC上实现并在测试集mibench上插桩运行,并与相关工具ACC、AC++和串行机制下的MOVEC进行了对比实验.实验结果表明,本文所实现的基于无锁队列的运行时多线程并行算法可以在有多个监控器的情况下有效地对C语言程序进行并行的运行时验证,且并行验证算法的性能比串行验证算法提升了约83%. 展开更多
关键词 运行时验证 形式化规约 多线程 无锁队列 C语言程序
在线阅读 下载PDF
面向自然语言需求的验证性质生成方法
19
作者 李晓劼 杨志斌 +2 位作者 王翰丰 周勇 李维 《小型微型计算机系统》 CSCD 北大核心 2024年第1期84-92,共9页
安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需... 安全关键系统和软件的安全性、可靠性需要形式化验证来保障,使用形式化验证的前提是从自然语言需求文本中提取相关验证性质并将其转化为形式化规约,这已成为当前形式化验证领域研究的热点和难点.当前的形式化规约提取工作大多针对英文需求,较少针对中文自然语言需求.此外,由于AADL具有强大的表达能力和完善的验证机制,已成为航空航天领域的主要建模语言之一,而现有的工作较少考虑如何从需求中提取AADL模型的验证性质.为了解决上述问题,本文提出一种面向自然语言需求的AADL模型验证性质自动生成方法,从自然语言需求中提取验证的相关性质,并将其转化为AADL模型验证工具AGREE可识别的形式化规约.首先,定义了模式定义语言(Contract Pattern Language,CPL),将需求划分为不同模式,并给出由固定句型和占位符组成的需求模板;其次,通过自然语言处理技术解析需求文本,获取替换需求模板中占位符的原子命题,以便生成完整的形式化规约;最后,设计并实现了相关工具,并将其用于工业界实际案例来说明该方法的可用性和有效性. 展开更多
关键词 形式化验证 模式定义语言 自然语言处理 规约生成
在线阅读 下载PDF
一种面向特殊领域隐语的大语言模型检测系统 被引量:1
20
作者 姬旭 张健毅 +3 位作者 赵张驰 周子寅 李毅龙 孙泽正 《信息安全研究》 CSCD 北大核心 2024年第9期795-803,共9页
大语言模型从模型本身和推理中检索知识以生成用户所需的答案,因此评价大语言模型的推理能力成为热点.然而,尽管在隐语方面大语言模型表现出较好的推理与理解能力,但在诸如电信诈骗等特殊领域隐语理解能力、推理能力的评价尚未出现.针... 大语言模型从模型本身和推理中检索知识以生成用户所需的答案,因此评价大语言模型的推理能力成为热点.然而,尽管在隐语方面大语言模型表现出较好的推理与理解能力,但在诸如电信诈骗等特殊领域隐语理解能力、推理能力的评价尚未出现.针对此问题,设计并实验了首个针对特殊领域隐语的大语言模型评估系统,同时提出了包含许多特殊主题的首个隐语数据集.针对数据交叉匹配问题和数据计算问题,分别提出了协同调和算法和基于指示函数的数据感知算法,从多角度评价大语言模型的表现.实验证明,该系统可以灵活、深入地评估大语言模型问答的识别准确性.同时,结果首次揭示了大语言模型基于提问风格和线索的识别准确性变化.设计系统可以作为一种审计工具帮助提高大语言模型的可靠性和安全性. 展开更多
关键词 大语言模型 特殊领域隐语 隐语检测 评估系统 黑话 推理
在线阅读 下载PDF
上一页 1 2 16 下一页 到第
使用帮助 返回顶部