公共文化服务平台

西南交通大学数学学院: 作品数：1,234 被引量：2,310H指数：17; 相关作者：徐扬秦克云王沁何平杨晗更多>>; 相关机构：四川大学数学学院西华大学数学与计算机学院西南财经大学统计学院更多>>; 发文基金：国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>; 相关领域：理学自动化与计算机技术经济管理文化科学更多>>

合作机构

基于copula函数对相依部件系统可靠度的度量和改进被引量：7: 2005年; 将copula函数引入可靠性理论中的一些典型不可修串并联系统,用以度量部件相依时系统的可靠度,给出了相依时系统度量的改进,并在理论上分析了独立与相依时系统可靠度的优劣.; 张明珠; 关键词：可靠度 COPULA函数

决策系统基于不可区分关系及区分关系的约简被引量：5: 2018年; 信息系统中的知识约简和知识发现是粗糙集理论的重要研究方向。针对决策系统中的不可区分关系及区分关系,给出相应的协调集判定定理,进而借助区分矩阵及区分函数给出属性约简方法,并借助实例将其与已有的相关研究工作进行了对比分析。; 秦克云敬思惠; 关键词：粗糙集属性约简

Banach格上的b-几乎极限算子: 2017年; 为了进一步研究Banach格上算子的性质,受b-序有界集和几乎极限集定义的启发,给出了b-几乎极限算子的定义,研究了该算子与b-AM-紧算子(几乎极限算子,序-几乎极限算子)间的关系;利用几乎极限算子的控制性证明了b-几乎极限算子的控制性.; 李娇娇陈金喜陈滋利; 关键词：BANACH格

一类半线性时间分数阶扩散-波动方程解的整体存在唯一性: 2022年; 该文研究一类半线性时间分数阶扩散-波动方程的柯西问题,基于线性问题的L^(r)-L^(q)估计,通过整体迭代法,在小初值的情况下研究非线性项指数对于解的整体存在性影响,在指数满足一定条件的情况下证明了整体解的存在唯一性.; 何鑫海刘梅杨晗; 关键词：柯西问题整体解

命题逻辑中一类扩展子句消去方法被引量：1: 2023年; 随着计算机求解问题越加复杂,问题在转化为命题逻辑子句集包含的冗余信息也越来越多,浪费计算机大量的储存空间和搜索解的时间,因此,对于冗余信息的删减有助于提高计算机求解问题的效率.针对命题逻辑子句集化简问题,在原有冗余性质P、RP基础上,提出多种扩展的、具有性质HRP、ARP的子句消去方法,并通过将不对称文字添加前置方法与命题逻辑集合封锁(SET BC )、蕴涵模归结原则(IMR)结合,分别提出不对称集合封锁( ASET BC )消去方法和不对称蕴涵模归结(AIMR)原则.最后,提出 L -集合蕴涵模归结( L -SET IMR )原则和 L -不对称集合蕴涵模( L -ASET IMR )原则.所提出的方法丰富了命题逻辑中冗余性子句消去理论和方法.; 刘凌荣陈树伟吴贯锋; 关键词：命题逻辑可满足性冗余性

基于子句活跃度和复杂度的多元动态演绎算法及应用: 2023年; 一阶逻辑自动定理证明是知识表示与自动推理领域重要的研究内容,如何有效选取子句参与演绎是提升自动推理能力和效率的研究热点。基于多元动态演绎良好的演绎特性,通过分析子句的变元项性质和函数项结构,提出了一种子句活跃度和复杂度的度量与计算方法,能很好地对不同项结构的子句进行有效评估;基于该子句评估方法,提出了一种子句充分协同演绎的多元动态演绎算法,能有效优化多元演绎搜索路径。将该多元动态演绎算法应用于国际顶尖证明器Eprover 2.6中,以2021年国际自动推理FOF组竞赛例为测试对象,在标准的300 s测试时间内,加入了多元动态演绎算法的Eprover 2.6相比原始Eprover 2.6多证明定理4个,在证明定理总数相同的条件下,平均证明时间减少了1.12 s;能证明Eprover 2.6未证明定理16个,占未证明定理总数的15.1%。实验结果表明,该多元动态演绎算法是一种有效的推理方法,能在一定程度上提升自动定理的证明能力和时间效率。; 林玲瑜曹锋易见兵方旺盛李俊吴贯锋; 关键词：一阶逻辑定理证明

基于Jackknife互信息的高维非线性回归模型研究被引量：1: 2022年; 确定独立筛选(SIS)方法在处理超高维稀疏线性回归模型的变量选择问题上已得到了广泛的应用,且已被推广到处理广义线性回归模型的变量选择问题。但SIS不能很好地解决非线性回归模型的变量选择问题,关于该问题的现有研究也较少,因此,如何有效地对超高维稀疏非线性回归模型进行变量选择是一个具有研究价值的问题。本文在经典的SIS方法基础上,利用互信息的刀切估计(JMI),提出JMI与SIS相结合的方法,给出具体算法步骤,以实现超高维稀疏非线性回归模型的变量选择问题,并通过一些有代表性的统计模拟试验,验证所提方法的相合性,同时通过2个超高维基因数据的实例分析,对所提方法的可行性以及实用性进行说明。; 张治飞段谦刘乃嘉黄磊; 关键词：SIS JMI 相合性

多目标优化的一种改进微粒群算法被引量：9: 2010年; 微粒群算法是解决多目标优化问题的一个重要方法。为了多目标目标优化求解问题,常用的微粒群算法在处理多目标优化问题时,存在所得Pareto最优解集的分散性和实用性较差的缺点。针对上述问题,提出了微粒群算法的一种改进形式。改进算法引入了个体精英解集,从中选择更合适的个体最优位置。同时,在评价个体适应度时,考虑了目标函数值差异这一信息。个体对应的目标函数值差异大,则其适应度就小。这样能避免各目标函数值差异过大的最优解存在。三个典型的多目标测试函数表明,改进方法得到最优解集具有更好的分散性和实用性。测得结果证明,改进方法是有效的。; 袁代林陈虬; 关键词：多目标优化微粒群算法

考虑列车加开的技术站车流接续模型: 2022年; 随着高速铁路的快速发展,普速铁路能力逐渐得到释放。为了提高货车周转效率,避免技术站出现拥堵的问题,本文从技术站角度出发,考虑在加开列车的基础上进行车流接续优化。本文以推拉理论为基础,分析得到列车加开的判定条件,在满足加开列车条件的前提下分别就以下两个冲突进行分析:一是列车加开作业与技术站内现有列车技术作业之间的冲突;二是列车加开作业与运行图之间的冲突。经分析得到列车加开的基本时间窗及基本条件,在此基础上,建立考虑列车加开的技术站车流接续模型。以货车在站停留时间最短为目标函数,将该模型分解为两个子问题,一是技术站股道运用子问题,二是车流接续子问题,并运用遗传算法对两个子问题分别进行求解。为证明模型的适用性,结合算例,将考虑列车加开的技术站车流接续模型与原技术站车流接续模型进行求解对比,结果表明:相较于原方案,考虑列车加开的技术站车流接续方案使货车的平均在站停留时间缩短了14.1 min,减幅达7.4%,在技术站内拥堵的情况时具有更高的适用性。; 薛锋范千里周琳陈崇双; 关键词：铁路运输技术站遗传算法

分组列车换挂站节省时间参数研究被引量：2: 2014年; 技术站节省时间参数是货物列车编组计划优化的重要参数,既有研究主要都集中于单组列车,研究分组情形具有理论价值和现实意义。根据分组列车相对不同单组列车方案在途中换挂站的消耗分析,论文分别给出了相应的节省时间参数。节省时间参数的结果表明:相对无改编通过,分组列车部分改编作业额外增加了消耗时间;而相对完全改编,分组列车又存在节省。; 陈崇双薛锋唐家银李勇; 关键词：编组计划分组列车

西南交通大学数学学院

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

西南交通大学数学学院

合作机构

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈