期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
基于大语言模型的智能汽车仿真测试 被引量:2
1
作者 朱冰 汤瑞 +4 位作者 赵健 张培兴 李文旭 李嘉胜 徐雪峰 《汽车工程》 北大核心 2025年第4期587-597,共11页
针对现有智能汽车基于场景测试方法严重依赖人力、效率瓶颈凸显的问题,本文提出了一种基于大语言模型的智能汽车仿真测试方法。首先,设计基于大语言模型的智能汽车仿真测试架构,建立了对应的数据层和仿真层;在此基础上,构建了基于大语... 针对现有智能汽车基于场景测试方法严重依赖人力、效率瓶颈凸显的问题,本文提出了一种基于大语言模型的智能汽车仿真测试方法。首先,设计基于大语言模型的智能汽车仿真测试架构,建立了对应的数据层和仿真层;在此基础上,构建了基于大语言模型的智能汽车仿真测试流程,针对知识问答型任务设计了知识挖掘、模型微调与知识库增强检索应用流程,针对场景生成任务设计了场景类型分析、场景要素生成、场景工具链调用的应用路径,针对测试评价型任务,设计了测试场景解析、评价体系构建与仿真测试执行综合应用框架;最后,对各任务进行了测试。结果证明,本文所提出的测试方法可以有效解决不同类型的测试任务,提升测试效率。 展开更多
关键词 智能汽车 仿真测试 大语言模型 场景生成 自动测试
在线阅读 下载PDF
生成式AI时代的智能化会计人才培养模式研究
2
作者 葛军 李文勤 《会计之友》 北大核心 2025年第21期67-74,共8页
生成式人工智能(Generative Artificial Intelligence,GAI)的发展改变了会计信息处理的过程与结果,会计人才的供需结构也随之发生了变化,会计人才培养模式改革迫在眉睫。文章分析了生成式AI时代会计人才培养面临的机遇与挑战,指出智能... 生成式人工智能(Generative Artificial Intelligence,GAI)的发展改变了会计信息处理的过程与结果,会计人才的供需结构也随之发生了变化,会计人才培养模式改革迫在眉睫。文章分析了生成式AI时代会计人才培养面临的机遇与挑战,指出智能化会计人才不仅需要扎实的会计基础知识,还需掌握数据分析、人工智能工具应用等跨学科技能。基于此,构建了“对称式三棱锥”会计人才能力框架模型,设计了“跨界融合”智能化会计人才培养模式,提出了高校会计人才培养课程体系应当嵌入智能化课程模块、运用生成式AI工具构建知识图谱从而将零散的知识整合为结构化的知识等建议。本研究对生成式AI时代的会计人才培养具有一定的参考意义。 展开更多
关键词 人工智能 生成式AI 会计人才 培养模式 能力框架模型
在线阅读 下载PDF
一种利用大语言模型的安全关键系统失效模式识别方法
3
作者 林翰鑫 杨志斌 +1 位作者 周勇 李维 《小型微型计算机系统》 北大核心 2025年第9期2233-2241,共9页
基于模型的安全分析(MBSA)是安全关键系统(SCS)安全评估的最新方法.失效模式是指系统、组件或设计可能无法达到预期性能标准的表现方式,是MBSA故障行为建模的重要组成部分.然而,随着系统复杂性的增加,手动提取失效模式非常耗时,不同安... 基于模型的安全分析(MBSA)是安全关键系统(SCS)安全评估的最新方法.失效模式是指系统、组件或设计可能无法达到预期性能标准的表现方式,是MBSA故障行为建模的重要组成部分.然而,随着系统复杂性的增加,手动提取失效模式非常耗时,不同安全工程师的提取结果缺乏一致性.为了应对这些挑战,本文提出了LLM4IFM方法,该方法利用大语言模型(LLM)从故障历史记录、安全标准等文本源中提取失效模式.为了确保数据安全,LLM4IFM采用本地大语言模型,而非云部署大语言模型.首先,该方法对从安全关键领域收集的数据进行预处理,用于知识增强,从而构建特定领域的LLM;实验结果表明,与微调方法相比,检索增强生成方法(RAG)在长上下文处理和知识整合方面具有更好的表现.其次,提出了一种基于命题逻辑的提示框架,与标准提示相比,它显著提高了不同粒度级别下失效模式提取的准确性.最后,该方法在工业界弹射座椅控制系统中取得了成功应用. 展开更多
关键词 基于模型的安全分析 失效模式 大语言模型 检索增强生成 微调 提示工程 数据安全
在线阅读 下载PDF
基于元模型的自动测试系统框架开发方法的研究 被引量:4
4
作者 徐小良 汪乐宇 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2004年第8期955-960,共6页
为了最大限度地提高自动测试系统的软件复用性和开发效率,对自动测试系统领域面向对象框架的开发进行了研究.通过分析自动测试系统的特征及需求,定义一个通用和稳定的面向对象元模型,并基于该元模型提出一种新颖的自动测试系统面向对象... 为了最大限度地提高自动测试系统的软件复用性和开发效率,对自动测试系统领域面向对象框架的开发进行了研究.通过分析自动测试系统的特征及需求,定义一个通用和稳定的面向对象元模型,并基于该元模型提出一种新颖的自动测试系统面向对象框架的开发方法,该方法是一个"热点"驱动的迭代过程,开发过程中充分利用了标准建模语言(UML)和设计模式等面向对象技术.实例证明:该方法为特定自动测试系统的框架开发提供了指导原则,减少了框架开发的工作量,提高了框架的复用性、扩展性和维护性以及开发效率等. 展开更多
关键词 自动测试系统 模型 面向对象框架 统一建模语言 设计模式
在线阅读 下载PDF
数据库模式自动测试方法的研究 被引量:1
5
作者 周春容 洪玫 曾明 《计算机工程与设计》 CSCD 北大核心 2010年第17期3823-3826,共4页
数据库在现代应用软件系统中具有重要的作用,数据库的正确性直接影响应用软件的功能正确性和性能可靠性,而传统的软件测试往往忽略对数据库数据结构的测试。针对这个问题,提出了一种自动检查数据库模式的方法,提取需求分析的E-R模型和... 数据库在现代应用软件系统中具有重要的作用,数据库的正确性直接影响应用软件的功能正确性和性能可靠性,而传统的软件测试往往忽略对数据库数据结构的测试。针对这个问题,提出了一种自动检查数据库模式的方法,提取需求分析的E-R模型和数据库逻辑模型的信息,将概念模型与逻辑模型进行比较,发现数据和数据之间的不一致或冲突。实验结果表明,采用这种方法能够尽早地发现数据库设计和实现的错误,使系统功能测试能建立在正确的数据库基础上。 展开更多
关键词 数据库模式 自动测试 E-R模型 逻辑模型 匹配 冲突
在线阅读 下载PDF
含存储器数字电路系统的自动测试生成
6
作者 成本茂 杨士元 +1 位作者 王红 鞠艳秋 《计算机工程》 CAS CSCD 北大核心 2007年第23期252-254,260,共4页
已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型,不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征,提出了面向测试的ROM和RAM结构模型的建立方法,其中,ROM根据所储存的数据等效成组合电路模型,RAM利用新... 已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型,不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征,提出了面向测试的ROM和RAM结构模型的建立方法,其中,ROM根据所储存的数据等效成组合电路模型,RAM利用新建立的RAMBIT基元等效成利于测试的时序电路模型。将其应用于ATPG软件中,解决了含存储器数字电路的自动测试生成问题。 展开更多
关键词 存储器 结构模型 自动测试生成 故障仿真
在线阅读 下载PDF
基于活动模式的工作者出行生成预测模型 被引量:12
7
作者 杨敏 陈学武 +1 位作者 王炜 万涛 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第3期525-530,共6页
为改进传统出行生成预测以单个出行为分析单元、难以反映个体出行行为的不足,建立了基于活动模式的工作者出行生成预测模型.采用相关性分析和多项logit方法研究了1617个有效样本的居民个体属性、家庭属性、区位属性、出行属性、活动属... 为改进传统出行生成预测以单个出行为分析单元、难以反映个体出行行为的不足,建立了基于活动模式的工作者出行生成预测模型.采用相关性分析和多项logit方法研究了1617个有效样本的居民个体属性、家庭属性、区位属性、出行属性、活动属性所引起的活动和出行生成模式的差异.通过建立包含显著变量的6种典型活动模式效用函数,获得个体选择概率.按概率集计法分析各交通小区各类活动模式总量,结合活动模式中包含的出行链平均长度,进行工作者出行生成量预测.基于活动模式的工作者出行生成预测模型有助于以出行链整体为单元考察多次出行之间的关联性,增强出行生成模型与行为模型的融合. 展开更多
关键词 活动模式 出行生成 MNL模型 出行链长度 集计
在线阅读 下载PDF
复杂事件模式检测与CEP测试数据生成算法研究 被引量:6
8
作者 赵会群 孙晶 +1 位作者 杨岩坤 毛立志 《计算机学报》 EI CSCD 北大核心 2017年第1期256-272,共17页
随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件... 随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件处理(Complex Event Processing,CEP)技术被认为是一种有希望征服大数据挑战的技术之一.然而,当事件流成为大数据时,目前的CEP模型、事件模式检测和CEP系统测试数据生成的方法和技术都存在很多不足.文章针对这一问题讨论了复杂事件建模、模式检测与测试数据的生成方法.提出一种CEP代数模型,用多种事件算子来表达事件之间的关系和事件流模型.在这里,一个创新的思想是把CEP代数模型表达式解释成算术文法产生式,从而可以用词法分析技术解决复杂事件模式检测问题.为了有效地测试复杂事件模式检测的算法,基于CEP代数模型,提出了一个用于支持上述CEP模式检测的大数据事件集的生成算法.并由此生成了不同量级的测试数据,测试了一个RFID物联网中CEP模式检测引擎.实验结果表明了提出的事件模式检测算法和CEP系统测试大数据事件集生成算法的有效性. 展开更多
关键词 复杂事件处理 事件模式检测 测试数据生成 大数据 代数模型
在线阅读 下载PDF
n维糖酵解模型非常数稳态解的模式生成
9
作者 魏美华 常金勇 +1 位作者 祁兰 张巧卫 《应用数学和力学》 CSCD 北大核心 2014年第8期930-938,共9页
研究了一类带Neumann边界条件的n维糖酵解模型.首先,以扩散系数d1为分歧参数,运用局部分歧理论分析了该模型非常数稳态解的局部结构.其次,利用全局分歧理论和LeraySchauder度理论讨论了非常数稳态解的全局存在性.最后,借助数值模拟证实... 研究了一类带Neumann边界条件的n维糖酵解模型.首先,以扩散系数d1为分歧参数,运用局部分歧理论分析了该模型非常数稳态解的局部结构.其次,利用全局分歧理论和LeraySchauder度理论讨论了非常数稳态解的全局存在性.最后,借助数值模拟证实了所得结论.分析结果表明n维糖酵解模型的空间模式可以生成. 展开更多
关键词 糖酵解模型 稳态解 模式生成 全局分歧
在线阅读 下载PDF
面向蛇形机器人的三维步态控制的层次化联结中枢模式生成器模型 被引量:7
10
作者 杨贵志 马书根 +1 位作者 李斌 王明辉 《自动化学报》 EI CSCD 北大核心 2013年第10期1611-1622,共12页
提高蛇形机器人的三维运动控制能力是提高蛇形机器人环境适应能力的关键之一.虽然联结中枢模式生成器(Connectionist central pattern generator,CCPG)模型具有复杂度小、适合硬件实现等优点,但是目前的CCPG模型难以生成相位协调的多自... 提高蛇形机器人的三维运动控制能力是提高蛇形机器人环境适应能力的关键之一.虽然联结中枢模式生成器(Connectionist central pattern generator,CCPG)模型具有复杂度小、适合硬件实现等优点,但是目前的CCPG模型难以生成相位协调的多自由度运动的控制信号,从而限制了它的三维步态控制能力.本文根据生物CPG机制的分层结构和运动神经元的功能,提出一个有层次化结构的CCPG(Hierarchical CCPG,HCCPG)模型.HCCPG模型由基本节律信号生成层、模式形成层、运动信号调整层这三个部分组成.运动信号调整层的运动神经元能够独立地对模式形成层的输出信号的幅值、相位等进行调整,从而较好地解决了CCPG模型难以生成相位协调的多自由度运动控制信号的问题.HCCPG模型具有步态控制能力强、复杂度小、有良好的扩展性等优点,从而适合用于控制三维步态.在HCCPG模型的基础上提出一个三维步态控制方法.仿真验证了这个控制方法的有效性. 展开更多
关键词 蛇形机器人 联结中枢模式生成模型 运动神经元 循环抑制CPG模型 三维步态
在线阅读 下载PDF
大模型创新变革:新模式、新挑战与新趋势 被引量:14
11
作者 施锦诚 王迎春 《中国科技论坛》 CSSCI 北大核心 2024年第7期31-40,51,共11页
生成式人工智能的出现给传统创新范式带来新挑战,引发各界对创新管理理论和创新实践的前瞻性讨论,审视并应对大模型所带来的创新变革富有积极意义。首先,基于人工智能创新进展,探索从传统人工智能到生成式人工智能的研发创新模式变化,... 生成式人工智能的出现给传统创新范式带来新挑战,引发各界对创新管理理论和创新实践的前瞻性讨论,审视并应对大模型所带来的创新变革富有积极意义。首先,基于人工智能创新进展,探索从传统人工智能到生成式人工智能的研发创新模式变化,识别大模型研发创新的核心特性;其次,探究大模型对知识管理、科学研究、技术创新和产业创新等理论带来的新挑战,并阐释基本逻辑和核心指向。最后,从大模型内在创新规律、知识管理创新、科研组织方式、技术创新范式以及产业创新生态5个方面提出未来研究方向。研究结论不仅有助于明确大模型所带来的创新挑战,还对加快大模型创新理论研究具有参考价值。 展开更多
关键词 模型 生成式人工智能 创新变革 创新模式 技术范式
在线阅读 下载PDF
基于CRG模型的RTL测试矢量生成算法
12
作者 朱莉 林其伟 凌朝东 《电子测量技术》 2006年第6期76-79,共4页
针对目前已有的高层电路模型普遍没有很好地同时体现描述电路的可控性、可观性和时序信息,本文从电路RTL行为描述抽象出一种CRG电路模型,该模型能很好地反应电路的控制关系和一定的数据关系,并且直接包含了时序电路的时序信息。然后在... 针对目前已有的高层电路模型普遍没有很好地同时体现描述电路的可控性、可观性和时序信息,本文从电路RTL行为描述抽象出一种CRG电路模型,该模型能很好地反应电路的控制关系和一定的数据关系,并且直接包含了时序电路的时序信息。然后在此模型上进行测试产生或可测试性分析。这是一种基于模拟的、以未控制和未观测语句分布信息为目标的测试生成算法。对部分ITC99的Benchmarks电路的实验数据显示,该模型和测试生成算法是有效。 展开更多
关键词 电路模型 寄存器传输级 行为描述 硬件描述语言 自动测试图形生成
在线阅读 下载PDF
基于模式的业务构件代码生成方法 被引量:3
13
作者 冯锦丹 战德臣 +1 位作者 聂兰顺 徐晓飞 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期19-24,共6页
在企业管理软件中业务构件可以通过参数化和配置技术被复用以适应业务需求的变化,这种构件粒度大、可变参数多、结构复杂难于开发.为了提高业务构件的开发效率,确保开发正确性,本文提出一种面向大粒度构件,基于模式的构件代码生成方法.... 在企业管理软件中业务构件可以通过参数化和配置技术被复用以适应业务需求的变化,这种构件粒度大、可变参数多、结构复杂难于开发.为了提高业务构件的开发效率,确保开发正确性,本文提出一种面向大粒度构件,基于模式的构件代码生成方法.从已有应用系统中抽取业务构件的典型软件模式,定义一种支持多种编程语言的模式描述语言,用其构造基于模式的非实例化构件,并采用模型驱动的思想,将对应模式下富含业务语义的构件实现模型转换为目标程序,以实现业务构件的自动生成.在此方法指导下,开发一套可视化建模与代码生成工具组,并利用此工具自动生成了运行在J2EE平台上的采购管理系统中部分业务构件,应用结果验证了本方法的有效性和实用性. 展开更多
关键词 代码生成 模式 模型驱动的架构 业务构件 业务构件模型
在线阅读 下载PDF
基于有向图模型的卫星任务指令生成算法 被引量:8
14
作者 田志新 崔晓婷 +3 位作者 郑国成 杨柳青 李小娟 金涛 《航天器工程》 2014年第6期54-60,共7页
面向任务的卫星操控模式具有操作简便、星载资源使用效率高的优点,正在取代指令序列注入成为遥感卫星运控的新模式。文章提出一种基于有向图模型的遥感卫星任务指令序列生成算法,具有线性存储复杂度和计算复杂度,适合存储资源和计算资... 面向任务的卫星操控模式具有操作简便、星载资源使用效率高的优点,正在取代指令序列注入成为遥感卫星运控的新模式。文章提出一种基于有向图模型的遥感卫星任务指令序列生成算法,具有线性存储复杂度和计算复杂度,适合存储资源和计算资源受限的星载计算机应用。此算法已在某遥感卫星应用,测试试验表明,采用3个面向任务的高级指令即可生成52种指令序列,任务上行注入效率提升了5倍。本文方法根据有效载荷的使用约束条件,配置有向图模型参数,即可满足各种类型卫星使用。 展开更多
关键词 有向图模型 自主指令生成 面向任务的操作模式 计算和存储复杂度
在线阅读 下载PDF
基于问题模式的形式化软件规格说明生成方法 被引量:5
15
作者 王昌晶 罗海梅 左正康 《计算机研究与发展》 EI CSCD 北大核心 2013年第2期352-360,共9页
精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式... 精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明. 展开更多
关键词 形式化软件规格说明 生成方法 问题模式 模型精化演算 算法程序
在线阅读 下载PDF
诚信的经济理性:决策模型与维护模式 被引量:5
16
作者 杨洪 《湖北社会科学》 CSSCI 北大核心 2009年第9期98-100,共3页
按收益与诚信的关系,收益可分为与诚信相关的精神收益、实际收益和非诚信收益。理性经济人的诚信决策取决于预期行为收益能否最大化。诚信的生成与维护有三种模式:农业社会模式、计划经济模式和市场经济模式。社会转型时期的诚信生成与... 按收益与诚信的关系,收益可分为与诚信相关的精神收益、实际收益和非诚信收益。理性经济人的诚信决策取决于预期行为收益能否最大化。诚信的生成与维护有三种模式:农业社会模式、计划经济模式和市场经济模式。社会转型时期的诚信生成与维护应重塑诚信的内涵,弱化行政手段的影响,同时强化实际利益对诚信的引导机制。 展开更多
关键词 诚信 收益 经济理性 决策模型 生成与维护模式
在线阅读 下载PDF
汉英翻译系统英文生成中选词模型的设计 被引量:1
17
作者 陈毅东 李堂秋 +1 位作者 洪青阳 郑旭玲 《中文信息学报》 CSCD 北大核心 2001年第6期19-26,共8页
本文描述了一种基于实例比较 ,辅以语义模式匹配的英文选词模型的设计。首先 ,我们讨论了汉英翻译系统英文生成中选词的重要性 ,然后比较了几种可能的选词策略并提出我们的选词模型 ,接着我们较详细地描述了生成词典的结构以及选词算法... 本文描述了一种基于实例比较 ,辅以语义模式匹配的英文选词模型的设计。首先 ,我们讨论了汉英翻译系统英文生成中选词的重要性 ,然后比较了几种可能的选词策略并提出我们的选词模型 ,接着我们较详细地描述了生成词典的结构以及选词算法。文中 ,我们还简要介绍了我们所使用的语义知识资源———《知网》 展开更多
关键词 基于实例 语义模式 知网 英文选词模型 汉英翻译系统 机器翻译 英文生成 选词策略
在线阅读 下载PDF
基于层次模型的消费者生成内容动机研究 被引量:2
18
作者 王平 《商业研究》 CSSCI 北大核心 2011年第5期190-195,共6页
随着W eb2.0技术的发展,越来越多的消费者参与网络社区或平台生成各种各样的内容,但是理论界对于消费者生成内容的动机了解还不够全面。本文在借鉴动机理论研究成果的基础上,构建了消费者生成内容动机的层次模型,并以层次模型为基础,对... 随着W eb2.0技术的发展,越来越多的消费者参与网络社区或平台生成各种各样的内容,但是理论界对于消费者生成内容的动机了解还不够全面。本文在借鉴动机理论研究成果的基础上,构建了消费者生成内容动机的层次模型,并以层次模型为基础,对现代企业构建参与式商务模式提出了几点建议。 展开更多
关键词 消费者生成内容 层次模型 参与式商务模式
在线阅读 下载PDF
计算机辅助文件生成系统──兼谈一种新的管理模式
19
作者 罗桦槟 《技术经济》 1997年第4期58-59,共2页
关键词 文件生成系统 计算机辅助 技术文件 管理部门 管理模式 质量认证 技术支持 指标体系 可行性研究报告 数学模型
在线阅读 下载PDF
基于模型的参数化界面设计模式 被引量:3
20
作者 姚芳 万建成 冯仕红 《北京工商大学学报(自然科学版)》 CAS 2008年第2期70-74,共5页
为了提高用户界面的开发效率,提出了面向用户的参数化界面设计模式,从模型、展示样式、操作3个方面描述了设计模式,给出了界面设计模式的规范定义.该模式进一步指导了基于模型的用户界面开发,有效地支持了代码的自动生成,提高了界面设... 为了提高用户界面的开发效率,提出了面向用户的参数化界面设计模式,从模型、展示样式、操作3个方面描述了设计模式,给出了界面设计模式的规范定义.该模式进一步指导了基于模型的用户界面开发,有效地支持了代码的自动生成,提高了界面设计的效率. 展开更多
关键词 基于模型的界面开发 用户界面设计模式 界面模板 展示参数 代码生成
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部