西南交通大学数学学院

作品数：1254被引量：2584H指数：17
导出分析报告
发文作者：徐扬秦克云徐鹏王沁何平更多>>
发文领域：理学自动化与计算机技术经济管理文化科学更多>>
发文主题：粗糙集COPULA子句可靠性爆破更多>>
发文期刊：更多>>
所获基金：国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金四川省统计科学研究计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一机构
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非自治分数阶格点系统的不变测度
《应用数学》2025年第2期402-411,共10页汪洪涛 黎定仕 
国家自然科学基金(11971394,12371178);中央引导地方基金(2023ZYD0002)。
本文研究非自治分数阶格点系统的不变测度,首先,我们证明该系统存在唯一的D-拉回吸引子{A(t):t∈R},其次,我们构造一族不变概率测度{μ_(t):t∈R},证明不变测度{μ_(t):t∈R}和D-拉回吸引子的关系为μ_(t)的紧支集包含在A(t)内.
关键词：D-拉回吸引子 不变测度 非自治格点系统 离散分数阶拉普拉斯算子 
带Robin边界条件Fisher-Kolmogorov-Petrovskii-Piskunov方程的定态分歧
《西华大学学报(自然科学版)》2025年第3期102-106,共5页郝清明 潘志刚 朱超 
国家自然科学基金项目(11901408);四川省自然科学青年基金项目(22NSFSC16338);中央高校理科创新培育项目(2682022ZTPY063)。
运用规范化的Lyapunov-Schmidt约化方法,结合线性全连续场谱分解定理研究Fisher-Kolmogorov-Petrovskii-Piskunov方程在Robin边界条件下的定态分歧,得到临界分歧条件的完整判据、分歧解的具体表达式以及分歧解的正则性。
关键词：Fisher-Kolmogorov-Petrovskii-Piskunov方程 Lyapunov-Schmidt约化 Robin边界 谱定理 分歧 正则性 
一阶逻辑定理证明器CSE中矛盾体分离式的简化方法
《计算机科学》2025年第5期235-240,共6页吴鑫 陈树伟 姜世攀 
国家自然科学基金(61976130)。
一阶逻辑自动定理证明器能够解决大量形式化后的实际问题,具有重要的应用价值。矛盾体分离演绎发展了自动定理证明领域经典的归结原理,具有更强的证明能力。在基于矛盾体分离规则的自动定理证明器CSE(Contradiction Separation Extensi...
关键词：矛盾体分离 矛盾体分离式简化 最简矛盾体分离式 互补信息 证明器 
一种车联网V2V认证与密钥交换协议设计与验证
《信息安全研究》2025年第5期465-472,共8页王秀珍 徐鹏 陈美荣 王丹琛 徐扬 
中央高校基本科研业务费专项资金项目(2682021GF012)。
车联网系统中,车辆行驶过程需与其他车辆通信以实现信息交换,要求必须具备高安全、低延迟、用户匿名性等安全特性.认证与密钥交换协议以密码算法为基础旨在完成会话密钥协商,用于通信双方后续信息交换,是保证车联网通信安全的重要手段....
关键词：认证与密钥交换协议 形式化分析 快速登录 ROR模型 Proverif 
基于多参数性能退化竞争失效的光电探测器储存寿命评估
《机械强度》2025年第4期20-26,共7页张也平 杨童博 李紫薇 
国家自然科学基金项目(12205277)。
针对光电探测器的储存寿命评估问题,综合考虑样品关键性能参数有无变坏或者向好的趋势情况,提出了一种基于蒙特卡洛法的多参数竞争失效储存寿命评估新方法。首先,通过性能退化建模选择单一参数的最优退化模型,从而对于退化趋势递增的样...
关键词：多参数性能退化 竞争失效 储存寿命 最大期望算法 蒙特卡洛采样 
广义模糊变换及其在模糊插值推理中的应用
《四川师范大学学报（自然科学版）》2025年第2期261-269,共9页何红梅 潘小东 彭小玉 
国家自然科学基金(61673320和61976130);四川省应用基础研究计划项目(2020YJ0270)。
基于广义的模糊划分,给出广义模糊变换的表示公式,并刻画广义模糊变换的本质特征及广义逆模糊变换的逼近性质.在此基础上,针对TSK型稀疏规则库,设计一种基于广义模糊变换的TSK模糊插值推理方法,并讨论该方法的基本性质,最后通过2个实验...
关键词：模糊划分 广义模糊变换 TSK模糊系统 模糊插值推理 
平面三次多项式的分类
《数学物理学报(A辑)》2025年第2期554-566,共13页李林 刘玲伶 余志恒 
国家自然科学基金(11871041,12171337);四川省自然科学基金(2022NSFSC1834,2023NSFSC0064);中央高校基本科研业务费(2682021ZTPY041);四川省中央引导地方科技发展专项(2024ZYD0059)。
该文将讨论平面多项式的正规形理论.作者利用多项式代数理论求出相应变量的最小不可约分解,并通过全局共轭得到一类平面三次多项式的光滑分类.作者的定理还应用于讨论平面迭代根与嵌入流问题.
关键词：平面三次多项式 共轭 光滑正规形 最小不可约分解 迭代根 
非单调IG过程运算放大器剩余寿命预测
《探测与控制学报》2025年第2期127-134,共8页殷如心 锁斌 杨少华 
国家自然科学基金项目(U1830133)。
针对运算放大器退化数据不满足单调递增情况下的剩余寿命预测问题,提出一种结合倒挂数据处理和IG过程(逆高斯过程)的寿命预测新方法。首先利用Bayes后验期望对倒挂退化数据进行修正,然后建立每个样本的IG过程退化轨迹,利用加速模型实现...
关键词：运算放大器 倒挂数据 逆高斯过程 剩余寿命 核密度估计 
基于时空置换注意力机制的残差行为识别模型
《计算机工程》2025年第4期119-128,共10页蒋杰平 王明文 
国家自然科学基金(62106206)。
为提升深度学习模型中三维卷积提取时空特征的有效性,提出一种基于时空置换注意力(SAT)机制的残差行为识别模型。SAT机制是由通道结合时间和空间注意力子模块组成的轻量化的多维度混合注意力机制,其在通道注意力中增加了结合时间的维度...
关键词：深度学习 行为识别 时空置换注意力 残差网络 交叉熵函数 
一类可分Markov映射的迭代
《数学物理学报(A辑)》2025年第2期321-333,共13页李倪洲 赵思颐 张佳玲 
中央高校基本科研业务费专项资金(202310613061)。
迭代是同一种运算的简单重复,但对多项式这样的简单映射其迭代的计算都是复杂的.该文研究了一类特殊的非单调映射,即Markov映射的迭代,分别给出具有一个、两个和多个非单调点的映射的迭代及其具体表达式.
关键词：迭代 Markov映射 严格逐段单调映射 不动点 
全选清除导出
共125页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部