理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 31-45 共查到知识库 数理逻辑与数学基础相关记录1409条 . 查询时间(3.794 秒)
多柔体系统的动力学方程通常是一组刚性微分方程, 目前普遍采用的刚性微分方程数值解法主要通过数值阻尼滤除系统响应中的高频分量, 其求解效率难以令人满意. 为了降低多柔体系统动力学方程的刚性, 从而可采用ODE45等常规微分方程求解器进行求解, 研究了在建模过程中滤除高频振荡分量的方法. 在以当前时刻为起点的短时间内对柔性体的应力进行均匀化, 用均匀化后的应力计算柔性体的变形虚功率, 由此得到的系统动...
数学建模对培养研究生的创新能力有重要意义。精心挑选典型的数学建模案例进行建模训练,让研究生经历数学建模的各个阶段与环节;建立一支科学合理的数学建模指导教师队伍,以具体措施保障相关活动的开展;加强数值分析的实践教学,增强研究生的问题解决能力;组织研究生参加数学建模竞赛活动等等措施能有效培养研究生的创新能力。
针对两粗糙表面在法向力和切向力共同作用下相互接触时结合面切向阻尼的问题进行了研究。首先,根据KE模型对单个微凸体在弹性、弹塑性、塑性变形阶段的切向接触行为进行了分析,获得了微凸体在三个变形阶段的黏滑特性;然后,基于GW统计模型建立了一种在微凸体法向弹性、弹塑性和塑性变形机制基础上,考虑微凸体黏滑摩擦行为的机械结合面切向接触阻尼统计模型;最后,分别讨论了机械结合面的法向预载荷、切向激振频率和切向动态...
本文定义了(k,d)-边魔幻优美标号,研究树的集有序(k,d)-优美性和超级集有序(k,d)-边魔幻优美性,建立了二者之间的一个联系.提供了构造具有大规模的(k,d)-边魔幻优美树的方法,这些方法可有效地进行算法化.
本文考虑了线性互补问题的求解算法,利用一类新的广义互补函数,把线性互补问题转化为非线性方程问题,并且利用Levenberg-Marquardt型算法对转化的问题进行了求解.在一般的假设条件下,给出了所给算法的收敛性分析.最后相关的数值结果表明所给的算法十分有效.
具有较强解释力和灵活性的部分线性可加面板数据模型在各学科领域应用广泛.针对个体内存在相关结构的固定效应部分线性可加面板数据模型,本文在结合幂样条函数和最小二乘虚拟变量(LSDV)法的基础上,利用惩罚二次推断函数(PQIF)法对模型进行估计,在一定的正则条件下,证明了参数估计的渐近正态性和非参数估计的收敛性,MonteCarlo数值模拟显示所述估计方法具有良好的有限样本表现,同时,我们还将估计技术应...
本文对带相依终止事件的复发事件数据提出了一个联合建模分析方法,用一个带脆弱变量的可加可乘比率模型来刻画复发事件过程,还用带脆弱变量的Cox风险率模型来刻画终止事件过程,而且这两个过程的相依性由脆弱变量来刻画.我们利用估计方程的方法,对模型参数进行了估计,给出了所得估计的渐近性质.同时,通过数值模拟分析验证了估计的渐近性质.最后,利用该方法分析了弗吉尼亚大学慢性心脏病病人医疗诊费数据.
考虑了工件具有退化效应的两台机器流水作业可拒绝排序问题, 其中工件的加工时间是其开工时间的简单线性增加函数. 每个工件或者被接收, 依次在两台流水作业机器上被加工, 或者被拒绝但需要支付一个确定的费用. 考虑的目标是被接收工件的最大完工时间加上被拒绝工件的总拒绝费用之和. 证明了问题是NP-难的, 并提出了一个动态规划算法. 最后对一种特殊情况设计了多项式时间最优算法.
高维约束矩阵回归是指高维情况下带非凸约束的多响应多预测统计回归问题, 其数学模型是一个NP-难的矩阵优化, 它在机器学习与人工智能、医学影像疾病诊疗、基因表达分析、脑神经网络、风险管理等领域有广泛应用. 从高维约束矩阵回归的优化理论和算法两方面总结和评述这些新成果, 同时, 列出了相应的重要文献.
主要研究分数阶非线性Schrodinger方程的时间分裂算法,将分数阶非线性Schrodinger方程分裂成一个线性方程和一个非线性方程分别求解。其中,非线性方程可精确求解,并满足“点点守恒”,而线性方程利用CrankNicolson差分格式离散求解。证明了该算法在离散形式下保持了原方程的质量和能量的守恒性,是无条件稳定的,收敛误差为O(h2+τ2)。最后通过数值实验验证了该算法的可行性和精度...
基于对数均值回复跳模型与对数均值回复随机波动率模型的基础上,引入一种新型的对数均值回复随机波动率跳模型来描述金融市场受随机波动率、跳跃和均值回复等系列因素影响的现实,以求对期权做出更加精确地定价。通过Esscher变换和Fourier变换在新型模型下对VIX期权定价及对冲策略进行研究,获得了VIX期权定价公式和对冲公式,研究结果对完善金融市场的期权定价具有一定的现实指导意义。
利用随机过程相关知识对理赔次数服从复合Poisson-Geometric过程带干扰的风险模型做进一步研究,得出直至破产时刻总红利付款的期望现值、矩母函数及n阶矩所满足的积分微分方程及边界条件。
给出非负矩阵Hadamard积谱半径只涉及矩阵元素的上界计算公式和M-矩阵Fan积最小特征值只涉及矩阵元素的下界计算公式.数值例子表明,这些估计式在一定条件下改进了现有的一些结果.
设R是一个环,其上的理想包含图,记为ΓI(R),是一个有向图,它以R的非平凡左理想为顶点,从R的左理想I1到I2有一条有向边当且仅当I1真包含于I2.环R上的理想关系图,记为Γi(R),也是一个有向图,它以R为顶点集,从R中元素A到B有一条有向边当且仅当A生成的左理想真包含于B生成的左理想.设Fq为有限域,其上n阶全矩阵环记为Mn(Fq),本文刻画了环\Mn(Fq)上的理想包含图以及理想关系图的任...
本文在模糊命题演算的形式演绎系统L*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L*的基于公式集的完备性的证明.首先,在形式演绎系统L*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...