期刊文献+
共找到6,314篇文章
< 1 2 250 >
每页显示 20 50 100
一阶逻辑的基于公理化真度的发散度与相容度
1
作者 王前 惠小静 袁一丹 《四川大学学报(自然科学版)》 北大核心 2025年第4期823-830,共8页
一阶逻辑的程度化是计量逻辑研究中的一个重要问题.目前,对基于公理化真度的一阶逻辑的相容度的研究才刚刚开始.本文给出了发散度和极指标的等价形式,提出了一个新的极指标定义,即指标数.结合发散度和指标数,本文给出了η-相容度的等价... 一阶逻辑的程度化是计量逻辑研究中的一个重要问题.目前,对基于公理化真度的一阶逻辑的相容度的研究才刚刚开始.本文给出了发散度和极指标的等价形式,提出了一个新的极指标定义,即指标数.结合发散度和指标数,本文给出了η-相容度的等价形式ω-相容度以及它的刻画形式θ-相容度.本文还讨论了3种相容度的性质及相互关系. 展开更多
关键词 一阶逻辑 公理化真度 发散度 相容度
在线阅读 下载PDF
SPSSPRO在高职数学建模机器学习算法中的应用研究
2
作者 陶国飞 《数字通信世界》 2025年第10期86-88,共3页
随着大数据时代的到来,机器学习算法在数学建模中的应用日益广泛。高职数学建模教育作为培养学生数据分析与问题解决能力的重要环节,亟须引入高效的数据分析工具。本文旨在探讨SPSSPRO在高职数学建模机器学习算法中的应用,通过实际案例... 随着大数据时代的到来,机器学习算法在数学建模中的应用日益广泛。高职数学建模教育作为培养学生数据分析与问题解决能力的重要环节,亟须引入高效的数据分析工具。本文旨在探讨SPSSPRO在高职数学建模机器学习算法中的应用,通过实际案例展示其数据分析步骤与效果,突出SPSSPRO的易用性和价值。 展开更多
关键词 SPSSPRO 高职数学建模 机器学习算法 数据分析
在线阅读 下载PDF
基于蕴涵算子族L-λ-Π的反向三Ⅰ支持算法
3
作者 袁一丹 惠小静 王前 《延安大学学报(自然科学版)》 2025年第1期80-88,共9页
针对带参数蕴涵算子族L-λ-Π,运用反证法、分类讨论法给出了反向三Ⅰ FMP支持算法的上确界计算公式与反向三Ⅰ FMT支持算法的下确界计算公式,并给予了证明,进一步得到其一般化的α-反向三Ⅰ FMP(FMT)支持算法的上(下)确界的计算公式。... 针对带参数蕴涵算子族L-λ-Π,运用反证法、分类讨论法给出了反向三Ⅰ FMP支持算法的上确界计算公式与反向三Ⅰ FMT支持算法的下确界计算公式,并给予了证明,进一步得到其一般化的α-反向三Ⅰ FMP(FMT)支持算法的上(下)确界的计算公式。研究结果对反向三I支持算法的理论进行了补充与推广。 展开更多
关键词 蕴涵算子族L-λ-Π 模糊推理 反向三Ⅰ支持算法 α-反向三Ⅰ支持算法
在线阅读 下载PDF
基于门控机制时空图卷积模型的交通预测
4
作者 张锦 王卉 +3 位作者 邝利丹 刘园园 李强 孙程 《计算机与数字工程》 2025年第5期1242-1250,共9页
传统的交通预测方法忽略了交通数据的时空依赖性而表现出较差的性能;现有的交通预测模型大都基于GNN和RNN,虽然这些模型在很大程度上提高了预测性能,但是仍有局限性,例如RNN在处理长时序列时会造成梯度爆炸问题。论文提出了一种基于门... 传统的交通预测方法忽略了交通数据的时空依赖性而表现出较差的性能;现有的交通预测模型大都基于GNN和RNN,虽然这些模型在很大程度上提高了预测性能,但是仍有局限性,例如RNN在处理长时序列时会造成梯度爆炸问题。论文提出了一种基于门控机制的时空图卷积网络(GSTGCN)来进行交通预测。GSTGCN的核心是时空卷积模块,其主要包含三个部分:标准门控时间卷积层,图卷积层和门控扩散因果时间卷积层。除此之外,论文还引入了掩码矩阵来构造交通图的邻接矩阵并且在门控扩散因果卷积层加入跳步连接和残差连接。最后在PeMSD7(M)和METR-LA两个数据集上进行实验,实验的结果表明GSTGCN模型的预测性能在中长期和长期预测上优于先进的基线。 展开更多
关键词 邻接矩阵 门控机制 门控扩散因果时间卷积 跳步连接 残差连接
在线阅读 下载PDF
无人有人驾驶混行场景下的机坪交通系统建模
5
作者 祁美云 朱新平 +1 位作者 袁德周 唐志星 《舰船电子工程》 2025年第1期90-94,共5页
为了开展无人有人驾驶混行场景下的机坪冲突热点识别,提出相应的机坪交通系统建模方法。首先,基于混行场景下机坪交通系统特征分析,将其划分为停机位、服务车道和机坪滑行道/通道三个典型运行单元,提出“虚拟通道”、“虚拟交叉口”和... 为了开展无人有人驾驶混行场景下的机坪冲突热点识别,提出相应的机坪交通系统建模方法。首先,基于混行场景下机坪交通系统特征分析,将其划分为停机位、服务车道和机坪滑行道/通道三个典型运行单元,提出“虚拟通道”、“虚拟交叉口”和“虚拟控制节点”概念以规范各活动目标的运动轨迹;其次,基于改进的混行场景下的机坪交通系统,采用节点-路段模型对各典型运行单元进行建模;然后,设计各个模块融合规则,支持形成完整的机坪交通系统节点-路段类模型;最后,以某机场部分区域未来无人有人驾驶混行场景为例,对所给建模方法科学性和可行性进行验证,可为混行场景下的机坪交通系统冲突热点识别提供支撑。 展开更多
关键词 机坪交通系统 无人有人驾驶 建模 节点-路段类模型
在线阅读 下载PDF
小样本学习的卷烟商标纸真假鉴别方法研究
6
作者 张超 张婷 +3 位作者 徐伟斌 王树明 邹华 杨洋 《计算机与数字工程》 2025年第8期2076-2082,共7页
该研究旨在解决我国烟草行业打击假冒卷烟过程中传统鉴别方法效率低、易误判以及深度学习方法对样本量依赖过高的问题,提出一种基于深度学习的卷烟商标纸真伪鉴别新方法。通过改良Resnet网络架构,结合YOLO模型、度量学习和无参数分类器... 该研究旨在解决我国烟草行业打击假冒卷烟过程中传统鉴别方法效率低、易误判以及深度学习方法对样本量依赖过高的问题,提出一种基于深度学习的卷烟商标纸真伪鉴别新方法。通过改良Resnet网络架构,结合YOLO模型、度量学习和无参数分类器算法,构建多层级特征强化模型,有效降低对假烟样本量的需求,并显著提升模型对未知假烟的泛化能力。实验采用多种品牌规格卷烟小盒商标纸进行验证,结果表明,该方法鉴别准确率最高达98%,形成“一识品规、二看特征、三鉴真假”的高效鉴别流程,证明其在实际应用中的可行性和有效性。 展开更多
关键词 深度学习 YOLO算法 度量学习法 无参数分类器算法 卷烟商标纸真伪鉴别 感官鉴别法 改良Resnet分类算法
在线阅读 下载PDF
基于加权贝叶斯网络的心脏破裂风险预测模型
7
作者 刘初阳 杨湘 陈艳红 《计算机与数字工程》 2025年第3期684-691,共8页
心肌梗死后的心脏破裂作为急性心梗中最为致命的并发症,对其的预测和干预尤为重要。由于心脏破裂属于高致死率的罕见疾病,其数据集存在不平衡性和数据缺失性,这使深度模型很难达到较高的准确率,同时模型的结果还需要是可解释的。为了解... 心肌梗死后的心脏破裂作为急性心梗中最为致命的并发症,对其的预测和干预尤为重要。由于心脏破裂属于高致死率的罕见疾病,其数据集存在不平衡性和数据缺失性,这使深度模型很难达到较高的准确率,同时模型的结果还需要是可解释的。为了解决以上问题,论文提出了一种基于注意力机制的加权贝叶斯网络模型。该模型通过将医学知识和算法相结合的方式构建出更加准确的网络结构,其次将注意力权重融入贝叶斯网络,可以对显著性指标给予更多关注,增强了模型的准确性和可解释性。最后在真实数据上,对急性心肌梗死后的心脏破裂风险进行评估,实验结果证明,该模型的准确性和可解释性更加优秀,其F1分数和AUC值可以分别达到0.7718和0.7987。 展开更多
关键词 疾病分类 电子健康记录 注意力机制 贝叶斯网络 心脏破裂
在线阅读 下载PDF
基于BiGRU-CapsNet与Transformer的双分支短期降雨预测模型
8
作者 刘瑞 叶成绪 刘冰 《计算机与数字工程》 2025年第7期1862-1867,共6页
近年来各种降雨导致的自然灾害频繁发生,给人们的日常生活带来较大影响,及时准确的短期降雨预测可以提醒人们做好预防措施,然而影响短期降雨的天气因素多且变化快,难以对其进行准确预测。对此提出一种基于BiGRUCapsNet与Transformer的... 近年来各种降雨导致的自然灾害频繁发生,给人们的日常生活带来较大影响,及时准确的短期降雨预测可以提醒人们做好预防措施,然而影响短期降雨的天气因素多且变化快,难以对其进行准确预测。对此提出一种基于BiGRUCapsNet与Transformer的双分支短期降雨预测模型,将预处理好的数据分别输入BiGRU-CapsNet与Transformer进行特征提取,然后将提取的特征融合后输入到全连接层进行短期降雨预测。实验结果表明,所提模型在准确率、精准率、F1分数等评价指标均取得较好的结果,能够对短期降雨进行较准确预测。 展开更多
关键词 深度学习 BiGRU Capsule Network TRANSFORMER 短期降雨预测
在线阅读 下载PDF
基于云模型和模糊综合的光伏系统健康状态评估
9
作者 蔺思玮 徐志科 《舰船电子工程》 2025年第2期165-171,共7页
针对光伏系统健康状态综合评估问题,基于光伏系统的运行数据提出了一种基于云模型和模糊综合评估的光伏系统健康状态评估方法。首先,以光伏运行数据为基础建立全面的评估指标体系,然后基于健康管理理论确定光伏系统运行状态评语集,同时... 针对光伏系统健康状态综合评估问题,基于光伏系统的运行数据提出了一种基于云模型和模糊综合评估的光伏系统健康状态评估方法。首先,以光伏运行数据为基础建立全面的评估指标体系,然后基于健康管理理论确定光伏系统运行状态评语集,同时结合主客观赋权和变权理论对各评估因素进行综合赋权,结合云模型确立模糊隶属度,最后采用模糊评估方法评估系统运行状态。案例分析表明,所提模型和方法能准确地识别和响应于光伏系统的异常运行状态,提高了对光伏系统健康状态的监测能力。 展开更多
关键词 光伏系统 云模型 模糊综合评估 健康状态 运行数据
在线阅读 下载PDF
基于BR0代数语义的模糊命题逻辑系统的随机发散度与近似推理
10
作者 何银 惠小静 彭晨雪 《西北师范大学学报(自然科学版)》 2025年第2期85-90,共6页
基于BR0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_(p)).在p-随机逻辑度量空间(F(S),d_(p))中提出了理论的p-随机发散... 基于BR0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_(p)).在p-随机逻辑度量空间(F(S),d_(p))中提出了理论的p-随机发散度的概念,给出了3种不同类型的近似推理模式,并讨论了它们之间的关系. 展开更多
关键词 模糊逻辑 p-随机真度 p-随机逻辑度量空间 p-随机发散度 近似推理
在线阅读 下载PDF
基于误差修正的VMD-PSO-ELM模型短期风速预测
11
作者 翟晨晨 李汉林 +1 位作者 喻敏 魏来 《计算机与数字工程》 2025年第6期1557-1563,共7页
针对风速序列存在的非平稳性和随机性带来的风速预测不准确问题。论文提出一种基于变分模态分解、粒子群优化算法、极限学习机与长短时记忆网络相结合的风速预测模型。首先采用变分模态分解算法将原始风速序列分解为一系列由低频到高频... 针对风速序列存在的非平稳性和随机性带来的风速预测不准确问题。论文提出一种基于变分模态分解、粒子群优化算法、极限学习机与长短时记忆网络相结合的风速预测模型。首先采用变分模态分解算法将原始风速序列分解为一系列由低频到高频的本征模态分量。对各分量用极限学习机进行预测。针对极限学习机产生权值与阈值的随机性,模型结果存在不稳定性。采用粒子群算法进行优化,寻找权值与阈值的最佳参数组合,借此提高所构建模型的性能。针对原始风速序列与集成序列之间的误差序列,通过长短时记忆网络模型对其进行修正,修正后加总集成序列,得到最终的预测值。论文采用美国国家风电场的两组数据集作为案例研究。实验结果表明,与其他基准模型对比,该模型在短期风速预测中存在优越性。 展开更多
关键词 变分模态分解算法 粒子群优化算法 极限学习机 长短时记忆网络 短期风速预测
在线阅读 下载PDF
一阶逻辑中逻辑度量空间与理论相容性的拓扑性质
12
作者 王前 惠小静 +1 位作者 袁一丹 许倩 《湖北大学学报(自然科学版)》 2025年第2期173-179,共7页
设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭... 设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭集组成的拓扑基。最后论证Φ中一个闭逻辑理论Γ是相容的充要条件。得到结论:Γ是相容的当且仅当Γ在逻辑度量空间中不含内点;Γ是相容的当且仅当Γ在逻辑度量空间中不含非空正则球面。 展开更多
关键词 一阶逻辑 逻辑度量空间 零维空间 相容性
在线阅读 下载PDF
基于无遮挡优化策略的定日镜场优化设计方案
13
作者 郭之灏 段睿龙 +1 位作者 宋宇航 李明奇 《实验科学与技术》 2025年第4期46-53,共8页
针对塔式光热发电系统中定日镜场的设计问题,依据平面光学规律和布局策略建立相应的效率计算与参数优化模型。首先用蒙特卡罗法建立阴影遮挡效率计算模型和截断效率计算模型,从而得到镜场光学效率的计算模型;然后在对比不同镜场布局优... 针对塔式光热发电系统中定日镜场的设计问题,依据平面光学规律和布局策略建立相应的效率计算与参数优化模型。首先用蒙特卡罗法建立阴影遮挡效率计算模型和截断效率计算模型,从而得到镜场光学效率的计算模型;然后在对比不同镜场布局优化策略后,选择无遮挡布局作为优化策略,提出可满足输出功率要求的镜场参数优化模型,并利用变步长搜索算法对镜场参数值进行估计;最后根据模型计算得到优化后定日镜场年平均光学效率63%,年平均阴影遮挡效率94.9%,年平均截断效率78.17%,单位面积镜面年平均输出热功率0.7312 kW/m^(2)。与参数优化前定日镜场性能相比,优化后镜场性能显著提高,如优化后年均输出热功率60.2933 MW相比优化前提升了91.57%。 展开更多
关键词 定日镜场 蒙特卡罗法 无遮挡布局策略 随机搜索算法
在线阅读 下载PDF
数学优化模型在纺织领域的应用研究 被引量:1
14
作者 刘佳宝 郭祥莹 《化纤与纺织技术》 2025年第2期37-39,共3页
文章对数学优化模型在纺织领域的多方面应用展开深度剖析,同时,就应用环节中产生的各类问题给出针对性的解决策略,期望为纺织领域企业的产能提升、成本削减、产品品质改善和市场竞争优势强化构筑稳固的理论与实践支撑,助力纺织领域朝着... 文章对数学优化模型在纺织领域的多方面应用展开深度剖析,同时,就应用环节中产生的各类问题给出针对性的解决策略,期望为纺织领域企业的产能提升、成本削减、产品品质改善和市场竞争优势强化构筑稳固的理论与实践支撑,助力纺织领域朝着智能化与高效生产的方向稳步迈进。 展开更多
关键词 数学优化模型 纺织领域 数学统计原理 质量管控
在线阅读 下载PDF
基于蕴涵算子族L-λ-Π的反向三I约束算法
15
作者 袁一丹 惠小静 王前 《湖北大学学报(自然科学版)》 2025年第2期163-172,共10页
针对带参数蕴涵算子族L-λ-Π给出模糊推理FMP模型的反向三I约束算法的下确界计算公式和FMT模型的反向三I约束算法的上确界计算公式,并进一步得到其一般化的α-反向三I约束算法的FMP(FMT)下(上)确界的计算公式。
关键词 蕴涵算子族L-λ-Π 模糊推理 反向三I约束算法 α-反向三I约束算法
在线阅读 下载PDF
医学院校数学建模教学存在的问题及教学策略 被引量:1
16
作者 罗万春 董剑桥 罗世海 《中国教育技术装备》 2025年第4期94-97,共4页
数学建模教学的基础是数学,核心是建模,价值是应用,目标是育人,与高等数学课程教学相辅相成。医学院校存在师生对数学建模的育人功能认识不足、数学建模课程体系建设滞后、学生学习积极性不高、教师的教学胜任力不足等问题。问题的影响... 数学建模教学的基础是数学,核心是建模,价值是应用,目标是育人,与高等数学课程教学相辅相成。医学院校存在师生对数学建模的育人功能认识不足、数学建模课程体系建设滞后、学生学习积极性不高、教师的教学胜任力不足等问题。问题的影响因素包括医学院校的培育目标、数学课程设置、教师评价体系、学生奖励机制等方面。解决对策有宣传数学建模、整合数学课程、加强教师培训、注重竞赛指导、改进教学措施等。 展开更多
关键词 医学院校 数学建模 数学建模竞赛 MATLAB
在线阅读 下载PDF
基于IVMD-SVR模型的短期风速预测
17
作者 尹隆腾 陈娟 《计算机与数字工程》 2025年第2期432-436,443,共6页
随着传统化石燃料的锐减,以及带来的环境污染的日益严重,世界各国都在重点发展作为可再生能源发电技术之一的风力发电,准确的风速预测是确保风电系统安全稳定运行的一个长期挑战。为此,提出了一种基于混沌特性来分析的变分模态分解和支... 随着传统化石燃料的锐减,以及带来的环境污染的日益严重,世界各国都在重点发展作为可再生能源发电技术之一的风力发电,准确的风速预测是确保风电系统安全稳定运行的一个长期挑战。为此,提出了一种基于混沌特性来分析的变分模态分解和支持向量回归机的风速预测模型。论文提出的IVMD(Improved Variational Mode Decomposition)-SVR(Support Vector Regression)采用变分模态分解(VMD)对风速序列进行分解,降低了风速序列的复杂性和非平稳性。再通过混沌测试的方法判断分解后的时间序列是否具有混沌特性,如果具有混沌特性利用G-P算法确定嵌入维数m,如果不具有混沌特性,利用偏自相关系数确定阶数,汇总进行支持向量回归机的预测。基于真实数据的仿真验证了IVMD-SVR方法在预测性能上的显著优势,相较于其他常用方法更加高效可靠。 展开更多
关键词 VMD 混沌特性 SVR 风速预测
在线阅读 下载PDF
基于编码器增强的生成式文本摘要模型研究
18
作者 华庚兴 朱欣鑫 +1 位作者 陶林娟 李波 《计算机与数字工程》 2025年第8期2127-2132,共6页
当前主流的生成式文本摘要模型均是基于编码器-解码器架构,其中的编码器往往只使用了单一来源的信息。论文以循环神经网络为基础,通过融入卷积神经网络提取的局部语义信息和神经主题模型提取的主题信息来增强单一的循环神经网络编码器,... 当前主流的生成式文本摘要模型均是基于编码器-解码器架构,其中的编码器往往只使用了单一来源的信息。论文以循环神经网络为基础,通过融入卷积神经网络提取的局部语义信息和神经主题模型提取的主题信息来增强单一的循环神经网络编码器,以此来提升文本摘要的性能。实验结果表明,使用增强编码器的文本摘要模型性能显著优于一系列基线模型。 展开更多
关键词 生成式摘要 局部语义信息 神经主题模型
在线阅读 下载PDF
基于环境耦合-动态AHP的水下作战效能评估指标权重确定方法
19
作者 程景平 《舰船电子工程》 2025年第8期186-189,共4页
针对传统层次分析法(AHP)在水下动态环境作战效能评估指标权重确定难的问题,通过分析海洋环境参数、环境耦合因子与评估模型实时交互关系,对水下环境动态特征与专家经验进行多维度融合,提出了一种基于环境耦合-动态AHP的水下作战效能评... 针对传统层次分析法(AHP)在水下动态环境作战效能评估指标权重确定难的问题,通过分析海洋环境参数、环境耦合因子与评估模型实时交互关系,对水下环境动态特征与专家经验进行多维度融合,提出了一种基于环境耦合-动态AHP的水下作战效能评估指标权重计算模型,将传统AHP的固定权重矩阵扩展为基于水下环境参数驱动的非线性权重调整机制,较好解决了评估指标体系中静态权重分配中难题,初步形成具有自主演化特性的权重矩阵修正方法。 展开更多
关键词 评估指标权重 动态AHP法 环境耦合
在线阅读 下载PDF
基于核密度的变系数乘积模型估计
20
作者 毛亚茜 赵培信 《四川文理学院学报》 2025年第2期128-132,共5页
针对变系数乘积模型的估计问题,提出了一种基于核密度的估计方法;该估计方法中,允许未知密度函数的模型误差为多峰或具有较大方差;同时,为了解决部分数据个体之间的测量单位不同,结合B样条函数方法和最小乘积相对误差(LPRE)准则,求解目... 针对变系数乘积模型的估计问题,提出了一种基于核密度的估计方法;该估计方法中,允许未知密度函数的模型误差为多峰或具有较大方差;同时,为了解决部分数据个体之间的测量单位不同,结合B样条函数方法和最小乘积相对误差(LPRE)准则,求解目标函数一阶偏导数的根,进而得到了最小乘积相对误差估计量;最后,在一定正则条件下,理论证明了所提出的估计的渐近正态性和相合性,进一步表明提出的估计量具有稳健性. 展开更多
关键词 变系数模型 核密度估计 最小乘积相对误差
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部