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

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...