搜索结果: 61-75 共查到“知识库 数理逻辑与数学基础”相关记录1409条 . 查询时间(4.704 秒)
Beddington-DeAngelis发生率下具有感染时滞的HIV模型的稳定性及Hopf分支
感染时滞 Beddington-DeAngelis发生率 HIV模型 Hopf分支
font style='font-size:12px;'>
2018/10/8
研究Beddington-DeAngelis发生率下具有感染时滞的HIV模型,通过考虑感染时滞对已有的模型进行修正;利用时滞微分方程的稳定性理论主要研究感染平衡点的稳定性和Hopf分支,通过数值模拟验证所得结论.
因子von Neumann代数上的非线性混合Lie三重可导映射
合Lie三重可导映射 von Neumann代数 导子
font style='font-size:12px;'>
2019/4/17
本文通过经典的可导映射，运用矩阵分块的方法，证明了因子vonNeumann代数A上的每一个非线性混合Lie三重可导映射都是可加的*-导子.
一类带Hardy-Sobolev临界指数的Kirchhoff型
Kirchhoff型方程 Hardy-Sobolev临界指数 正解 变分法
font style='font-size:12px;'>
2019/4/18
研究一类带Hardy-Sobolev临界指数的Kirchhoff型方程其中Ω⊂R3是一个有界开区域且边界∂Ω光滑，0∈Ω，a，b≥0且a+b>0，λ>0，0 < q < 1，0≤s<1。利用变分方法，获得该问题正解的存在性结果。
传统的欠采样方法容易丢失重要的样本信息，且其实验结果的稳定性较差。针对上述问题，提出一种基于类重叠度欠采样的不平衡数据模糊多类支持向量机算法。该算法首先采用LOF局部离群点因子和箱线图的方法清洗训练数据集中的噪声样本，然后根据类重叠度抽取对分类起关键作用的支持向量，并且将代表每个样本点重要程度的类重叠度作为隶属度值，构造模糊多类支持向量机。实验结果表明，该算法克服了随机欠采样的支持向量机容易丢失重...
基于构造积分因子的中心和焦点判别方法
不变代数曲线 首次积分 积分因子 平衡点
font style='font-size:12px;'>
2019/4/18
研究具有一对纯虚特征值的实系统的实不变代数曲线在原点空心邻域非零的性质，使用不变代数曲线和指数因子构造局部首次积分或积分因子，提出进行平衡点类型判别的方法。
等式约束二次规划问题的新的梯度投影算法
Barzilai-Borwein步长 线性等式 投影梯度
font style='font-size:12px;'>
2019/4/18
近些年来，众多学者提出基于新步长选择策略的加速梯度投影算法求解大规模优化问题。本文针对线性约束二次规划问题提出两种基于新步长的梯度投影算法。一种是基于采用自适应线搜索和Barzilai-Borwein步长的非单调投影算法。另一种是基于Yuan步长的单调投影算法。在较弱的假设条件下，给出这两种算法的全局收敛性。数值实验表明新算法比传统的梯度投影算法求解效率更高。
一类特殊有限群环的K2-群
K2-群 Dennis-Stein符号 群环
font style='font-size:12px;'>
2019/4/18
G为阶数小于6的非平凡群，p为整除群G的阶数的素数，确定k≥2时K2（ZG/pk（ZG）的结构。
判断一个无向图是否连通图的方法
连通性 广度优先搜索 深度优先搜索 指数和 Laplacian矩阵 逻辑和
font style='font-size:12px;'>
2019/4/18
判断图的连通性质是一个经典的图论问题，也是应用图挖掘和图分解的重要子问题。除了图分解，图的连通性质也被运用于追踪疾病的传播、大型系统设计、社交网络分析和"Cayley图"的一些理论研究。首先综述几种重要的判断无向图是否是连通图的方法，例如广度优先搜索、深度优先搜索和图的拉普拉斯矩阵的特征值。此外，提出一些新方法，例如邻接矩阵的指数和及逻辑和，其中逻辑和是基于搜索方法的计算形式。在随机生成的超过10...
带负顾客和N-策略的Geo^{lambda_1, lambda_2/Geo/1(MWV)排队系统分析及最优控制策略N
N-策略 负顾客 工作休假 最优控制策略
font style='font-size:12px;'>
2018/2/8
分析了一个带有负顾客、N-策略控制的Geo/Geo/1多重工作休假排队系统, 其中正顾客在工作休假及正规忙期以不同的到达率进入系统. 利用拟生灭过程和矩阵几何解方法, 给出了该模型的稳态队长分布及平均队长, 以及系统分别处于假期和忙期的概率. 同时, 对该系统的忙期进行了分析, 并讨论了稳态队长分布在系统容量的优化设计中的应用. 最后, 在给定的费用结构下, 用数值计算例子确定了使系统长期单位时间...
次扩散机制下带有交易成本的Merton期权定价模型
次扩散过程 交易成本 期权定价
font style='font-size:12px;'>
2018/9/30
研究了次扩散过程驱动下带有交易成本的Merton期权定价模型.得到了此模型下欧式看涨期权所满足的Black-Scholes方程,并给出了欧式看涨期权的定价公式.
关于将 $\mathbb{Z}_{m}$分拆为给定差的集合
分拆 给定差 剩余类环
font style='font-size:12px;'>
2018/2/6
设$m=2n$是正整数, $\mathbb{Z}_{m}$是模$m$的剩余类环. 设$d_{1},d_{2},\cdots,d_{n}$是$\mathbb{Z}_{m}$中的任意奇元素(没必要不同). 本文给出了将$\mathbb{Z}_{m}$分拆为差是$d_{1},d_{2},\cdots,d_{n}$的集合对的充分必要条件. 由Kohen和Sadofschi Costa证明的关于夫妇座位问题...
串联双路图的亏格分布
亏格分布 传递矩阵 向量积矩阵 亏格分布多项式
font style='font-size:12px;'>
2018/2/8
计算双路图的亏格分布是拓扑图论关注的一个问题, 利用传递矩阵与向量积矩阵, 给出了两类由双路图串联构建而成的两类闭链图的亏格分布.
等腰梯形的正方形平行覆盖
平行覆盖 等腰梯形 正方形
font style='font-size:12px;'>
2018/2/6
设$I$是底边长为$1$和$2$, 高为$\frac{\sqrt{3}}{2}$的等腰梯形. 假设$S_{1}, S_{2}, \cdots$是正方形$S$的位似 拷贝. 本文研究了用正方形序列$\{S_{n}\}$平行覆盖等腰梯形$I$的问题, 证明了对于任意正方形序列, 若其正方形面积之和不小于$4$, 则该正方形序列能平行覆盖等腰梯形$I$.
一类新的二阶组合切导数及其应用
切锥 二阶组合切导数 Henig 有效元 全局有效元
font style='font-size:12px;'>
2018/2/8
引进了一种新的切锥, 讨论它与相依切锥的关系. 借助这种新的切锥引进了一类新的二阶组合切导数, 并讨论了它与其他二阶切导数的关系. 利用这类新的二阶组合切导数, 建立了集值优化分别取得Henig有效元和全局有效元的最优性必要条件.