大语言模型在数学建模领域的应用探索

随着大语言模型在自然语言处理领域的广泛应用,其在数学建模领域中的准确性成为研究的焦点。该文通过引入命名实体识别(NER)和提示词工程(Prompt Engineering)的方法,提高大语言模型在数学建模问题中的回答准确率。基于GPT-3.5模型,通过对数学建模领域特定问题的语境和结构进行深入分析,阐述一套有效的NER策略和提示词工程方法,以优化大模型对数学问题的理解和响应。

基于模型的系统工程统一架构建模语言的标准体系构建

标准化是基于模型的系统工程的基础,随着多架构建模语言已经被应用于多领域、全周期、多层级的架构建模,多架构建模语言的标准化体系也逐渐受到重视。基于国家标准计划《系统与软件工程基于模型的系统工程统一架构建模语言》,提出架构建模语言的标准规范框架,重点阐述两种核心语言规范、支撑规范及领域规范。最后,提出标准的未来发展路径,进而推动多架构建模语言、工具及方法论的标准化进程。

建模:在体验中运用数学语言

数学体验是包含体觉、体察、体悟、体证四个紧密相连阶段的一种学习方式。在初中数学教学中,教师可以基于“体觉下的模型准备—体察中的模型假设—体悟里的模型构建—体证内的模型验证—体验间的模型迭代”的数学体验教学模式,通过构建数学模型活动、应用数学模型活动、实施综合实践活动等策略,培养学生模型意识,发展学生模型观念,提升学生模型思想,实现数学学科育人目标。

Python在数学建模中的应用初探

Python语言简洁、易读,扩展性强,在科学计算、数据处理等方面功能强大,也可以用来求解线性规划问题。作为开源免费语言,Python可以在数学建模中更方便使用。对Python软件在解决规划问题、数据处理分析以及采集网络信息等方面的应用进行了初步探讨。

基于ABAQUS的金属结构损伤导波监测参数化建模的二次开发

由于导波的结构损伤识别与定位研究存在着样本数据严重不足的问题,需通过数值仿真产生大量虚拟数据样本。为了提高有限元建模和数据提取的效率,基于Python语言的ABAQUS二次开发功能,完成金属结构损伤导波监测参数化建模工具的开发,实现有限元模型前后处理的自动化。利用该工具研究裂纹长度对Lamb波信号特征的影响,并与现有结论进行比较,验证了参数化建模工具的可靠性。

基于语言-视觉对比学习的多模态视频行为识别方法

以对比语言-图像预训练(Contrastive language-image pre-training, CLIP)模型为基础,提出一种面向视频行为识别的多模态模型,该模型从视觉编码器的时序建模和行为类别语言描述的提示学习两个方面对CLIP模型进行拓展,可更好地学习多模态视频表达.具体地,在视觉编码器中设计虚拟帧交互模块(Virtual-frame interaction module, VIM),首先,由视频采样帧的类别分词做线性变换得到虚拟帧分词;然后,对其进行基于时序卷积和虚拟帧分词移位的时序建模操作,有效建模视频中的时空变化信息;最后,在语言分支上设计视觉强化提示模块(Visual-reinforcement prompt module,VPM),通过注意力机制融合视觉编码器末端输出的类别分词和视觉分词所带有的视觉信息来获得经过视觉信息强化的语言表达.在4个公开视频数据集上的全监督实验和2个视频数据集上的小样本、零样本实验结果,验证了该多模态模型的有效性和泛化性.

旅游领域意图识别和槽位填充联合建模方法研究

构建了基于BERT的双向连接模式BERT-based Bi-directional Association Model(BBAM)以实现在意图识别和槽位填充之间建立双向关系的目标,来实现意图识别与槽位填充的双向关联,融合两个任务的上下文信息,对意图识别与槽位填充两个任务之间的联系进行深度挖掘,从而优化问句理解的整体性能.为了验证模型在旅游领域中的实用性和有效性,通过远程监督和人工校验构建了旅游领域问句数据集TFQD(Tourism Field Question Dataset),BBAM模型在此数据集上的槽填充任务F 1值得分为95.21%,意图分类准确率(A)为96.71%,整体识别准确率(A_(sentence))高达89.62%,显著优于多种基准模型.所提出的模型在ATIS和Snips两个公开数据集上与主流联合模型进行对比实验后,结果表明其具备一定的泛化能力.

为上下文显式独立建模的中文实体识别方法

现有中文命名实体识别(NER)模型在公开数据集上的表现相对成熟,但有研究指出,模型过度依赖实体文本的字面特征,而上下文对实体识别的影响却未得到重视。现有的模型在简单的泛化测试中表现较差,因此本文提出显式地为上下文独立建模,令模型对上下文和实体的字面信息进行区分。为此,也提出了相应的数据增强方法用于训练模型中的上下文模块、实体字面模块和综合模块。实验结果表明,本文提出的方法在不损失测试集识别效果的情况下,明显改善了模型在不变性测试中的表现,较基准模型其失败率降低了2.3%。

工程三维模型的程序化建模算法研究

文章提出了一种工程三维模型自动生成的算法,该算法可以用来开发建筑信息模型(BIM)自动生成系统,从而降低工程设计资料三维可视化的技术门槛。首先设定了算法的假设前提、介绍了算法中的基本原理和基本操作,然后用函数式的表达方式给出了算法中基本操作的程序化表达方式。在这个基础上,用伪代码给出了工程三维模型自动建模算法的基本步骤,并且用一种DSL语言方案来描述了该算法的过程。最后,用了一个工程实例检验了该DSL语言和算法的正确性。

模拟集成电路的系统级建模语言和方法分析

阐述可以处理复杂约束条件的模拟电路系统级建模领域专用语言和建模方法,该语言包含系统级模型建模所需的语法要素和语法规约,以及语言要素的语义同电路特征的对应关系,并给出将模拟电路元件、拓扑结构以及设计约束作为系统中的组件,以实现解耦的建模方法。实验表明,系统级建模方法为解决模拟集成电路设计中复杂约束条件解耦提供一个可行的解决思路,具有重要的研究价值。

建模案例融入MATLAB语言课程教学探讨

针对当前MATLAB语言课程教学方法中存在的不足,结合学院已基本形成“学科竞赛+”驱动应用型人才培养的特色办学模式,提出将数学建模案例融入MATLAB语言课程的教学过程。实践教学表明,将建模案例融入MATLAB语言课程教学是一种很有效的方式,可以帮助学生将所学的MATLAB语言知识应用到解决实际问题的过程中。学生将能够学习到数学建模和优化等实际应用技能,同时掌握MATLAB在数据处理、数值计算、优化和可视化方面的能力。这种具有综合性和研究性的教学模式将培养学生的问题解决能力、团队合作精神和科学研究思维。

基于Python语言和Abaqus软件的轮胎参数化高效建模技术

基于Abaqus软件提供的Python二次开发接口,研究复杂结构轮胎的参数化高效建模方法。建模过程如下:结合宏录制功能录制所需Python代码,修改参数后生成脚本文件,采用RSG对话框创建轮胎建模插件,输入轮胎结构关键参数后可以一键生成轮胎有限元几何模型。该方法将原来需要数小时才能完成的轮胎建模缩短为几秒钟,极大地提高复杂结构轮胎的设计效率,为后续轮胎有限元仿真分析奠定了较好的基础。该技术可以推广应用于飞机、轮船、汽车等的其他复杂结构零部件的高效建模中。

基于Python语言的复合材料结构建模程序建构及其数值模拟

代表性体积元法是用来分析复合材料这类多尺度、离散分布的手段,本次研究在分析复合材料增强体集合离散分布特征基础上,引入相应的离散分布函数,采用Python语言顺利实现Abaqus二次开发,构建复合材料结构的参数化自动生成方式。研究结果证实,采用Python语言及有限元软件构建的复合材料模型是可行的,这种方式生成的模型纤维体积分数高达65%,达到一般工艺实际要求。此外,移动窗法给出具有代表性的体积元尺寸,其应力分布和一般设计相符合。

基于语言建模的文本情感分类研究

提出了一种基于语言建模的文本情感分类的方法.将文本的情感倾向标记为"赞扬"或"批评",可以为文本提供主题之外的语义信息.为此提出了从训练数据中分别估计出代表"赞扬"和"批评"两种情感倾向的语言模型,然后通过比较测试文本自身的语言模型和这两种训练好的情感模型之间的Kull-back-Leibler距离,分类测试文本的思路.各个模型的参数分别选用词形特征的unigram和bigram,而相应的参数估计也分别尝试了最大似然和平滑两种策略.当在电影评论语料上和代表不同分类模型的支持向量机及朴素贝叶斯分类器进行比较时,语言建模的方法表现出了较好的分类性能和鲁棒性.

斜拉桥损伤诊断有限元建模与数据提取方法研究

为便于斜拉桥损伤诊断的快速建模和分析,在已有研究方法基础上,基于ABAQUS有限元软件提供的PYTHON语言接口和GUI程序,提出了一种斜拉桥有限元建模与数据提取的方法。利用RSG构造器和调用Mdb对象中Part与Assembly对象编写程序,提出批量和点选相结合交互生成空间三维钢筋、预应力钢筋和斜拉索的方法;利用RSG构造器和调用Odb数据库中模型数据与结果数据的对象编写程序,提出点选、节点或单元集及编号3种形式相结合提取Odb数据库静力与动力瞬态响应数据到Excel表格的方法。通过算例展示了所提出方法的应用过程,表明了所提出方法的实用与高效。

文本检索的统计语言建模方法综述

统计语言建模技术(statisticallanguagemodeling,SLM)已逐渐成为当前语言信息处理的主流技术之一·近几年的研究和实验表明,SLM技术在文本检索领域有着广阔的发展前景和拓展空间·对基于SLM的文本检索方法(SLMTR)进行了综述,重点论述SLMTR的主要方法和关键技术·首先对查询似然检索模型进行形式化的描述;然后详细论述语言模型的估计和数据平滑问题;并讨论了平滑对检索性能的影响;之后简要介绍了对查询似然模型的一些主要的扩展和改进工作;最后的总结部分讨论了SLMTR所面临的一些挑战·

统一建模语言UML述评

最近由美国Ｒａｔｉｏｎａｌ公司发起并与其它十几家公司共同推出的“统一建模语言”ＵＭＬ在ＯＯ领域受到广泛的关注．文中首先介绍ＵＭＬ产生的背景及其主要内容，然后评论它对ＯＯ建模技术的积极影响以及可能存在的问题．ＵＭＬ是一种表达能力丰富的、强有力的建模语言；然而，目前还不能断定它将取代现有的各种面向对象的分析与设计方法．因为它只是一种建模语言，而不是一种方法；

基于Modelica语言的复杂机械系统统一建模平台研究

研究了基于Modelica语言的复杂机械系统统一建模平台MWorks的关键技术。在分析Modelica模型描述和Modelica标准库(MSL)结构的基础上,设计了基于Modelica语言的可视化建模系统框架,提出了基于有向无环图的MSL内存存储模式,提高了可视化建模速度;提出了基于实体句子匹配的快速图文切换算法;设计了基于句子的线性二叉树结构,实现了文本和图形编辑环境相统一的恢复操作。最后给出了MWorks系统的建模实例。

软件过程建模语言研究

本文介绍了软件过程建模的基本概念，提出了对软件过程建模语言的基本要求并简要介绍了几个有代表性的过程建模语言，给出了一个基于时序逻辑的形式化过程建模语言ＸＹＺ／ＰＭＥ，该语言是时序逻辑语言ＸＹＺ／Ｅ的子语言，它支持以角色为中心的逐步求精的过程建模方法，可在统一的形式框架内表示不同抽象级的过程模型．软件过程，软件过程建模，过程建模语言，时序逻辑，程序设计语言．

统一建模语言UML及其建模实例

以统一建模语言 (UnifiedModelingLanguage ,UML)的九种图为重点 ,简要介绍了UML的基本概念、历史、内容及其应用 ;并通过对一个超级市场销售管理系统的实际建模 。