剩余类环上线性方程组的求解

利用同余理论给出剩余类环Zm（m=p1α1p2α2…pkαk）上线性方程组的求解方法.对剩余类环Zm（m=p1α1p2α2…pkαk）上线性方程组是否有解给出判定定理.     

单摆问题的一种数学处理

在工程计算中，单摆的周期通常都是由近似公式Ｔ＝２πｌｇ计算而得。但此公式只能在精度要求不是很高，并且摆角很小（通常小于５°）的情况下能够得出较满意的结果。当精确度要求较高时，以及摆角较大时就会产生很大的误差。运用数学手段讨论此问题，以期大大提高其精确度，并给出相应的计算公式。     

系统￡*中极大相容理论结构刻画的归纳证明

在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统￡*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统￡*的满足性定理和紧致性定理,其结果完善了系统￡*的理论体系.     

数学分析问题的代数解法

通过具体的实例，阐述代数的思想和方法在解决数学分析问题中的应用，揭示了不同的数学领域之间的密切联系．     

参与约束与相容约束在课堂教学效果评价中的应用

本文从课堂教学效果评价在教学评价体系中的地位入手,设立参与约束与相容约束条件,探讨教学效果评价工作中如何以学生为主体确定教学效果的有效方法。     

泛系会诊原理在模式识别原理中的应用

将泛系会诊原理与模式识别的原理相结合，研究多个影空间中的结构和关系与形空间中的结构和关系之间的联系特性，探讨了比传统聚类分析中所用的等价关系意义更广的相容关系等在二元关系的乘积及形影转换诱导中的一些结果等，是对模式识别理论的相关方法的延伸推广，文中得到了１６个定理结论．     

求解稠密线性方程组的并行算法研究

基于对稠密线性方程组系数矩阵的一种新的分解方法，给出了分解与求解过程的并行算法，并分析了利用Ｐ台处理机并行运算时的加速比。     

基于极大相容块的不完备信息处理新方法及其应用

针对不完备信息提出一种新的基于矩阵方法的极大相容块求取算法与属性约简方法,结合智能分类器给出不完备信息条件下的故障诊断方法 .首先,通过矩阵方法计算不完备决策表中的极大相容块;然后,利用所求得的极大相容块,提出一种新的属性约简算法,并与其他方法做对比;最后,将所提出的基于极大相容块的属性约简方法与智能分类器（支持向量机、随机森林、决策树等）结合,建立优化的智能故障分类器,将它应用于不完备信息条件下的故障诊断.以汽轮机组的故障诊断为例进行仿真实验,实验结果表明提出的针对不完备信息条件下的故障诊断方法可行、有效.     

变异数独的线性方程组模型及Lingo求解

线性方程组模型是数学建模的一种常见模型,以分区数独为例,按照建模基本步骤建立非齐次线性方程组模型,利用Lingo软件编写程序求解,用数独段位考试练习题进行验证．将建模及求解的思想方法推广,建立节点数独的线性方程组模型,并编写程序求解．数学建模训练实践表明,建立数独的线性方程组模型并利用Lingo软件编程求解具有实用性和有效性,建模培训中引入此类例题,可以激发学生学习兴趣,提高培训效果．     

数字经销平台统采共配双层拍卖机制设计

针对当前都市圈经销商因“孤立式发展、分散化建网”而导致无法满足碎片化订单、多渠道履约及高频高效配送要求等痛点,提出了一种数字经销平台统采共配双层拍卖机制。在上层机制中,考虑一家数字经销平台(卖者)与多家经销商(买者),以社会福利最大化为目标,构建了单边组合Vickery-Clarke-Groves(O-VCG)拍卖机制,实现了多物品多单元环境下的供需匹配。在下层机制中,考虑一家经销商(卖者)与多家承运商(买者),基于O-VCG拍卖机制的思想,实现了从城市集拼仓到门店、从门店到客户的两级城配运输服务采购。特别地,下层机制采用多轮O-VCG竞拍以满足多家经销商的运输需求。所提出的O-VCG拍卖机制可以实现激励相容、个体理性和配置效率。经销商构建基于需求预测及控制合理库存的上层拍卖投标策略。构建两级基于车容的城配车辆路径问题(Two-Echelon Capacity-Based Vehicle Routing Problem, 2E-CVRP)近似优化算法,用于求解下层拍卖机制中基于库存限制的竞价生成问题(Bid Generation Problem, BGP)。针对双层拍卖中的胜者确定问题...