期刊文献+
共找到6,323篇文章
< 1 2 250 >
每页显示 20 50 100
数学建模竞赛驱动高职课堂四维改革框架
1
作者 徐翠翠 徐艳华 唐小清 《陕西教育(高教版)》 2026年第1期79-81,共3页
当前中国职业教育正处在提质培优、增值赋能的关键时期,传统的高职数学课堂教学模式面临着与产业需求脱节、学生应用能力培养不足等挑战。数学建模竞赛作为连接理论与实践、知识与应用的桥梁,为高职数学课堂改革提供了强劲的外部驱动力... 当前中国职业教育正处在提质培优、增值赋能的关键时期,传统的高职数学课堂教学模式面临着与产业需求脱节、学生应用能力培养不足等挑战。数学建模竞赛作为连接理论与实践、知识与应用的桥梁,为高职数学课堂改革提供了强劲的外部驱动力。本文立足于国家对职业教育改革的宏观政策导向与数学建模竞赛发展的现实趋势,系统分析竞赛在高职人才培养中的独特价值。在此基础上,构建了一个以“理念重塑、内容重构、方法革新、评价重建”为核心的四维改革框架。该框架旨在推动高职数学课堂从知识灌输向素养培育的根本性转变,通过问题导向的内容设计、多元互动的教学方法和过程性赋能的评价体系,全面提升学生的数学应用意识、创新思维与实践能力,为培养适应新时代发展需求的高素质技术技能人才提供可行的教学改革路径与理论支持。 展开更多
关键词 数学建模竞赛 高职教育 课堂改革 四维框架 核心素养
在线阅读 下载PDF
理想MTL代数
2
作者 罗清君 《浙江大学学报(理学版)》 北大核心 2026年第1期39-46,共8页
MTL(Monoidal T-norm based logic)代数是基于左连续三角模的模糊逻辑系统的语义代数,而理想理论是研究MTL代数性质的重要工具。利用加法运算给出了MTL代数理想的等价刻画和生成理想的具体结构。通过定义交、并、蕴涵与补运算,证明了全... MTL(Monoidal T-norm based logic)代数是基于左连续三角模的模糊逻辑系统的语义代数,而理想理论是研究MTL代数性质的重要工具。利用加法运算给出了MTL代数理想的等价刻画和生成理想的具体结构。通过定义交、并、蕴涵与补运算,证明了全体理想之集在集合的包含序下是一个代数格。同时,给出了由全体理想之集构成MTL代数和对合MTL代数的充分且必要条件。 展开更多
关键词 MTL代数 理想 生成理想 FRAME
在线阅读 下载PDF
一阶逻辑的基于公理化真度的发散度与相容度
3
作者 王前 惠小静 袁一丹 《四川大学学报(自然科学版)》 北大核心 2025年第4期823-830,共8页
一阶逻辑的程度化是计量逻辑研究中的一个重要问题.目前,对基于公理化真度的一阶逻辑的相容度的研究才刚刚开始.本文给出了发散度和极指标的等价形式,提出了一个新的极指标定义,即指标数.结合发散度和指标数,本文给出了η-相容度的等价... 一阶逻辑的程度化是计量逻辑研究中的一个重要问题.目前,对基于公理化真度的一阶逻辑的相容度的研究才刚刚开始.本文给出了发散度和极指标的等价形式,提出了一个新的极指标定义,即指标数.结合发散度和指标数,本文给出了η-相容度的等价形式ω-相容度以及它的刻画形式θ-相容度.本文还讨论了3种相容度的性质及相互关系. 展开更多
关键词 一阶逻辑 公理化真度 发散度 相容度
在线阅读 下载PDF
SPSSPRO在高职数学建模机器学习算法中的应用研究
4
作者 陶国飞 《数字通信世界》 2025年第10期86-88,共3页
随着大数据时代的到来,机器学习算法在数学建模中的应用日益广泛。高职数学建模教育作为培养学生数据分析与问题解决能力的重要环节,亟须引入高效的数据分析工具。本文旨在探讨SPSSPRO在高职数学建模机器学习算法中的应用,通过实际案例... 随着大数据时代的到来,机器学习算法在数学建模中的应用日益广泛。高职数学建模教育作为培养学生数据分析与问题解决能力的重要环节,亟须引入高效的数据分析工具。本文旨在探讨SPSSPRO在高职数学建模机器学习算法中的应用,通过实际案例展示其数据分析步骤与效果,突出SPSSPRO的易用性和价值。 展开更多
关键词 SPSSPRO 高职数学建模 机器学习算法 数据分析
在线阅读 下载PDF
基于蕴涵算子族L-λ-Π的反向三Ⅰ支持算法
5
作者 袁一丹 惠小静 王前 《延安大学学报(自然科学版)》 2025年第1期80-88,共9页
针对带参数蕴涵算子族L-λ-Π,运用反证法、分类讨论法给出了反向三Ⅰ FMP支持算法的上确界计算公式与反向三Ⅰ FMT支持算法的下确界计算公式,并给予了证明,进一步得到其一般化的α-反向三Ⅰ FMP(FMT)支持算法的上(下)确界的计算公式。... 针对带参数蕴涵算子族L-λ-Π,运用反证法、分类讨论法给出了反向三Ⅰ FMP支持算法的上确界计算公式与反向三Ⅰ FMT支持算法的下确界计算公式,并给予了证明,进一步得到其一般化的α-反向三Ⅰ FMP(FMT)支持算法的上(下)确界的计算公式。研究结果对反向三I支持算法的理论进行了补充与推广。 展开更多
关键词 蕴涵算子族L-λ-Π 模糊推理 反向三Ⅰ支持算法 α-反向三Ⅰ支持算法
在线阅读 下载PDF
蓄水期库岸古滑坡的水动力学响应监测——以三峡库区泄滩滑坡为例 被引量:29
6
作者 闵弘 谭国焕 +4 位作者 戴福初 魏进兵 卢慧 邓建辉 李焯芬 《岩石力学与工程学报》 EI CAS CSCD 北大核心 2004年第21期3721-3726,共6页
水库岸坡失稳是伴随水电工程建设而产生的一种地质灾害,一般认为主要是由于水库蓄水或运营导致岸坡水动力条件的不利演化造成的。国内外水库岸坡失稳的实例很多,但是岸坡的水动力条件演化过程主要以渗流计算所获得的渗流场作为依据,缺... 水库岸坡失稳是伴随水电工程建设而产生的一种地质灾害,一般认为主要是由于水库蓄水或运营导致岸坡水动力条件的不利演化造成的。国内外水库岸坡失稳的实例很多,但是岸坡的水动力条件演化过程主要以渗流计算所获得的渗流场作为依据,缺乏系统完整的现场监测资料。以三峡水库蓄水为契机,在湖北秭归县泄滩古滑坡体上建立了一套自动水文监测系统,监测内容包括水库水位、滑坡体水位、渗压与降雨量等。从监测成果来看,岸坡的水位(或渗压)上升速度明显滞后于库水位上升速度,滞后时间与岸坡的渗透性有关,滑带、滑坡影响带和基岩的渗透性相对较弱,滞后时间较长,但是滑坡体的渗透性良好,滞后时间较短;水位观测井的观测成果存在误导,需要结合观测井结构进行分析,建议尽可能使用标准管结构;降雨引起的滑坡体水位上升量和滞后时间与降雨强度关系密切,降雨强度越大水位上升量越大,水位开始上涨的时间越短。因此,对降雨的影响分析有必要考虑雨型,确定合适的基准时间单位。就泄滩滑坡而言,以小时为基本时间单位较为合适。 展开更多
关键词 岸坡 库岸 泄滩滑坡 库水位 蓄水期 渗压 观测成果 水动力条件 滑坡体 雨型
在线阅读 下载PDF
铁路集装箱堆场混堆区箱位分配优化模型与算法 被引量:12
7
作者 段刚 陈莉 +2 位作者 陈志忠 李引珍 何瑞春 《铁道学报》 EI CAS CSCD 北大核心 2011年第7期1-7,共7页
针对铁路集装箱堆场混堆区中的零散箱箱位分配问题,在集装箱到达时间和离开时间已知的条件下,建立一个计划期内以倒箱次数最少为目标的多时段动态集装箱堆场箱位分配模型。在计划期内将每时段起重机作业按顺序划分为提箱和卸车两个过程... 针对铁路集装箱堆场混堆区中的零散箱箱位分配问题,在集装箱到达时间和离开时间已知的条件下,建立一个计划期内以倒箱次数最少为目标的多时段动态集装箱堆场箱位分配模型。在计划期内将每时段起重机作业按顺序划分为提箱和卸车两个过程,采用5组0-1变量刻画两种作业、作业前后集装箱的状态以及箱位的状态,由此建立非线性0-1规划模型。考虑到模型所刻画的问题具有NP-hard性质,设计遗传算法求解。算例表明:该模型及算法能够有效地优化堆场内零散箱的箱位分配,提高集装箱堆场的作业效率。 展开更多
关键词 集装箱堆场 混堆 多时段 箱位分配 0-1规划 遗传算法
在线阅读 下载PDF
林冠截留与大气降水关系的数学模型 被引量:44
8
作者 孔繁智 宋波 裴铁璠 《应用生态学报》 CAS CSCD 1990年第3期201-208,共8页
本文依据实测数据及有关资料,对林冠截留进行了深入细致的分析,并以物理化学中溶液吸附理论引伸出的上升-饱和函数关系曲线为类比,提出了一组关于林内雨量率、截留率、截留量与大气降水关系的新的数学模型。模型中的3个参数μm、P_o、k... 本文依据实测数据及有关资料,对林冠截留进行了深入细致的分析,并以物理化学中溶液吸附理论引伸出的上升-饱和函数关系曲线为类比,提出了一组关于林内雨量率、截留率、截留量与大气降水关系的新的数学模型。模型中的3个参数μm、P_o、k水文学意义明确,拟合效果较好,对深入研究林冠截留具有一定现实意义。 林内雨量率公式: 林冠截留率公式: 林冠截留量公式: 展开更多
关键词 林冠截留 大气降水 数学模型
在线阅读 下载PDF
模糊推理的三I逄法的R_L型支持度分析 被引量:11
9
作者 孙长银 宋士吉 +1 位作者 费树岷 冯纯伯 《应用数学》 CSCD 北大核心 2001年第1期126-130,共5页
在文献 [1 ]提出的三 I算法的支持度理论的基础上 ,全面展开了基于L ukasiewicz蕴涵算子 RL的三 I算法的理论 ,给出了模糊 MP算法与模糊 MT算法的计算公式 ,并考虑了三 I算法制还原性问题 ;进一步研究了三 I算法的支持度理论 ,分析了支... 在文献 [1 ]提出的三 I算法的支持度理论的基础上 ,全面展开了基于L ukasiewicz蕴涵算子 RL的三 I算法的理论 ,给出了模糊 MP算法与模糊 MT算法的计算公式 ,并考虑了三 I算法制还原性问题 ;进一步研究了三 I算法的支持度理论 ,分析了支持度的性质 ,得到了一般化的 α-三 IFMP公式与 α-三 I FMT公式 . 展开更多
关键词 模糊推理 三I算法 支持度 蕴涵算子 RL型 三I逄法 α-三IFMT公式
在线阅读 下载PDF
认知逻辑中逻辑全知问题及其解决方法 被引量:11
10
作者 杨鲲 陈建中 +1 位作者 孙德刚 刘大有 《吉林大学自然科学学报》 CAS CSCD 1999年第3期40-43,共4页
分析认知逻辑中的逻辑全知问题及其解决方法, 提出一种可以避免逻辑全知的认知逻辑 E L,
关键词 认知逻辑 逻辑全知 模态逻辑 AGENT 公理系统
在线阅读 下载PDF
一类SIS流行病传播数学模型全局渐近稳定性 被引量:11
11
作者 徐文雄 张仲华 成芳 《四川师范大学学报(自然科学版)》 CAS CSCD 2004年第6期585-588,共4页
研究一类SIS流行病传播数学模型,得到决定疾病灭绝和持续生存的阈值———基本再生数.当基本再生数小于等于1时,仅存在无病平衡点;当基本再生数大于1时,除存在无病平衡点外,还存在惟一的地方病平衡点.证明了各个平衡点的全局渐近稳定性... 研究一类SIS流行病传播数学模型,得到决定疾病灭绝和持续生存的阈值———基本再生数.当基本再生数小于等于1时,仅存在无病平衡点;当基本再生数大于1时,除存在无病平衡点外,还存在惟一的地方病平衡点.证明了各个平衡点的全局渐近稳定性,减弱了文献(一类具有非线性接触率的种群力学流行病模型分析[J].四川师范大学学报(自然科学版),2002,25(3):261~263.)平衡点全局渐近稳定的条件,该文献的结论可作为本文的推论;计算机数值模拟了临界情形无病平衡点可能的稳定性. 展开更多
关键词 流行病 基本再生数 平衡点 LIAPUNOV函数 DULAC函数 不变集 全局渐近稳定
在线阅读 下载PDF
基于三变量通用阈值逻辑门的三变量逻辑函数查表综合 被引量:9
12
作者 肖林荣 陈偕雄 许冠 《浙江大学学报(理学版)》 CAS CSCD 2004年第3期280-285,共6页
介绍并讨论了逻辑函数的分类和通用阈值逻辑门,提出了使用三变量通用阈值逻辑门实现任意三变量逻辑函数的查表综合方法,并给出了若干设计实例.
关键词 函数分类 通用闽值逻辑门 逻辑综合 三变量 逻辑函数 布尔代数
在线阅读 下载PDF
Fuzzy蕴涵代数的MP滤子 被引量:37
13
作者 刘春辉 徐罗山 《模糊系统与数学》 CSCD 北大核心 2009年第2期1-6,共6页
给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理;探讨了FI代数的MP滤子与偏序滤子之间的关系;证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame。
关键词 FUZZY蕴涵代数 MP滤子 生成MP滤子 连续格 代数格 FRAME
在线阅读 下载PDF
珠江口水域化学耗氧量、溶解氧、无机磷与有机磷的三维水质数学模拟 被引量:23
14
作者 林卫强 李适宇 《海洋学报》 CAS CSCD 北大核心 2003年第3期129-137,共9页
1 引言 珠江沿岸城市排污量大,对污染源治理能力十分有限,大量污染物通过河流或直接排放到珠江口,河口区半封闭的地形及潮水顶托使得污染物不易输送出外海,致使珠江口水质恶化,原有海洋生态环境遭到破坏,反过来制约了经济的发展。
关键词 化学耗氧量 溶解氧 无机磷 有机磷 水质模型 数学模拟
在线阅读 下载PDF
FI-代数的多种Fuzzy滤子 被引量:26
15
作者 刘春辉 徐罗山 《模糊系统与数学》 CSCD 北大核心 2010年第2期21-27,共7页
对FI-代数的各种滤子概念进行fuzzy化,引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画。证明了:(1)每个fuzzy Q-滤子都是fuzzy P-滤子;(2)一个fuzzy集成为fuzzy Q-滤子当且仅当它既是fuzzy P... 对FI-代数的各种滤子概念进行fuzzy化,引入fuzzy滤子、fuzzy P-滤子、fuzzy Q-滤子和fuzzy C-滤子等概念并给出它们的若干等价刻画。证明了:(1)每个fuzzy Q-滤子都是fuzzy P-滤子;(2)一个fuzzy集成为fuzzy Q-滤子当且仅当它既是fuzzy P-滤子又是fuzzy C-滤子。还给出了多种滤子的扩张定理以及具体的实例和反例。 展开更多
关键词 FI-代数 Fuzzy滤子Fuzzy P-滤子 FUZZY Q-滤子 FUZZY C-滤子 扩张定理
在线阅读 下载PDF
概念的派生逻辑及其在测绘学中的应用 被引量:8
16
作者 童新华 韦杰文 +1 位作者 钟业勋 朱重光 《桂林理工大学学报》 CAS 北大核心 2013年第1期86-89,共4页
提出了在基本概念A的基础上,通过限制条件G与A的结合,派生出新的概念族C的概念派生逻辑,揭示了概念派生的机理和某种规律。用测绘学及相关学科中的若干应用实例,说明这概念派生逻辑具有科学价值和实用意义。
关键词 限制条件 派生逻辑 测绘学
在线阅读 下载PDF
基于ArcSDE与Oracle空间数据集成的应用 被引量:7
17
作者 周梅 杨锴 谭顺平 《广西大学学报(自然科学版)》 CAS CSCD 2007年第4期407-410,共4页
主要介绍利用ArcSDE和Oracle9i建立空间数据库来存储、管理空间数据和属性数据的原理及技术优势.本空间数据库以ArcGIS Engine作为开发平台,以.NET的核心语言C#为开发语言,建立客户端与数据库的连接,同时给出相应的连接代码,并成功应用... 主要介绍利用ArcSDE和Oracle9i建立空间数据库来存储、管理空间数据和属性数据的原理及技术优势.本空间数据库以ArcGIS Engine作为开发平台,以.NET的核心语言C#为开发语言,建立客户端与数据库的连接,同时给出相应的连接代码,并成功应用到广西红树林资源管理系统中,取得较好的效果. 展开更多
关键词 SDE 关系数据库管理系统 空间数据 属性数据 ArcGIS 红树林
在线阅读 下载PDF
R_0代数及其基本结构 被引量:30
18
作者 程国胜 王国俊 《数学物理学报(A辑)》 CSCD 北大核心 1999年第S1期584-588,共5页
以R0-Lindenbaum代数为背景,提出了较蕴涵格稍强的R0代数概念,在讨论了其基本性质的基础上给出了R0代数的两个等价系统,并从商代数的角度研究了Ro代数的基本结构.
关键词 Ro代数 等价系统 同余关系 商代数
在线阅读 下载PDF
三I算法的统一形式 被引量:12
19
作者 傅丽 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第3期12-17,共6页
给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表... 给出了正则蕴涵算子的概念,证明了Lukasiewicz算子、G del算子、乘积算子和R0 算子都是正则蕴涵算子.针对这种正则蕴涵算子建立了FMP和FMT的三I算法的统一形式,相应地三I解可用一般的伴随对( ,R)中的左连续三角模 和正则蕴涵算子R统一表达;指出在G del的意义下,Zadeh关于FMP的CRI算法可以纳入到这种统一形式之中;给出了α 三I算法的统一形式,得到了关于FMP和FMT而言的α 三I算法的对偶性结论. 展开更多
关键词 三I算法 蕴涵算子 正则 统一形式 三角模 对偶性 乘积 CRI算法 连续
在线阅读 下载PDF
(∈,∈∨_(q(,λμ)))-模糊子近环和理想 被引量:27
20
作者 廖祖华 陈敏 《模糊系统与数学》 CSCD 北大核心 2009年第6期12-16,共5页
给出(∈,∈∨q(λ,μ))-模糊子近环和理想的全新概念及刻画,并获得一些充分必要条件。其中值得指出的是当λ=0,μ=0.5时可以得到Davvaz文章中的相关结论[B.Davvaz,(∈,∈∨q)-fuzzysubnear-rings and ideals,soft comput.,2006,10:206-2... 给出(∈,∈∨q(λ,μ))-模糊子近环和理想的全新概念及刻画,并获得一些充分必要条件。其中值得指出的是当λ=0,μ=0.5时可以得到Davvaz文章中的相关结论[B.Davvaz,(∈,∈∨q)-fuzzysubnear-rings and ideals,soft comput.,2006,10:206-211]。当λ=0,μ=1时可以得到Rosenfeld意义下的结论。 展开更多
关键词 理想 近环 (∈ ∈∨q(λ μ))-模糊子近环 (∈ ∈∨q( λμ))-模糊理想
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部