理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-12 共查到数理逻辑与数学基础 元相关记录12条 . 查询时间(0.519 秒)
Obtaining a satisfactory numerical solution of the classical three-dimensional drift-diffusion (DD) model, widely used in semiconductor device simulations, is still challenging nowadays, especially wh...
赵秀元,教授,研究生毕业于辽宁师范大学数学系学科教学论(数学)专业,先后担任榆林学院数学与应用数学系副主任、教学评估办公室常务副主任(正处)、榆林学院后勤与基建管理处处长,现任榆林学院国际交流合作处处长、港澳台办公室主任、国际教育学院院长。
田元生,男,1962年出生,湖南郴州市人,中共党员。至今,从事高等教育工作30多年,独立、系统地承担了《抽象代数》、《高等代数》、《概率论与数理统计》、《计算方法》、《初等数论》和《高等数学》等课程的教学。曾获湖南省教育厅颁发的优秀指导教师奖,湖南省教学改革发展优秀成果贰等奖,郴州市“百佳教师”荣誉称号。1992年8月评为讲师,2000年8月晋升为副教授,现为湘南学院数学与金融学院教授,同时兼任郴...
本文首先给出了集合为近似E-次类凸的等价刻画.其次,分别在锥具有紧基和弱紧基的条件下,获得了近似E-次类凸集值优化问题的E-Benson真有效元的Lagrange乘子定理.作为应用,获得了集值优化问题Benson真有效元的Lagrange乘子定理.最后,给出了集值优化问题E-鞍点的充分条件.
石家庄铁道大学2018年博士研究生入学考试有限元基础考试大纲。
中山大学2017年硕士研究生入学考试自命题一元微积分考试试题。
碰撞、弹塑变形问题等交通运输器的安全试验通常采用实验室实物模型与计算机模型相结合进行模拟.对三维复杂区域的接触,国际标准方法采用接触变形算法模拟滑动控制.本课题采用流固耦合非牛顿流体方程初边值问题求解三维层结构特性,通过基于变分原理的摄动问题有限元方法,在高性能软件平台上实现数据的挖掘处理.由Sobolev空间嵌入原理,可将模型按接触区域进行分层单元剖分,将复杂区域剖分为若干相互连接、不重叠的六面...
在半离散格式下, 讨论一类伪双曲方程的Adini元逼近, 通过导数转移方法和平均值技巧, 给出了其近似解与精确解的误差估计及超逼近性, 并使用插值后处理技巧得到了相应的整体超收敛结果。
广西大学数学建模课件第十二章第一节 物元决策方法。
引入一种新的利用谱元法进行湍流大涡模拟的方法: 谱消去黏性法. 谱消去黏性法原是为了解决双曲型问题谱逼近的稳定性而引进的,最近人们发 现它还可用于湍流大涡模拟. 与其它大涡模拟方法相比,这种方法几乎不 必修改原代码便可在标准的谱元法中实现,而且几乎不增加计算量. 文章使用 谱元法结合谱消去黏性法对雷诺数12\,000时的三维驱动方腔流进行湍流大涡模拟, 并提供了模拟的初步数值结果及其统计分析,湍流...
本文证明了格的极小生成元集一定是最小生成元集且只能是非零完全并既约元全体,证明了分配格具有最小生成元集的必要条件是它满足并无限分配律.本文还证明了完全Heyting代数具有最小生成元集当且仅当它是强代数格,证明了完备格是强代数格当且仅当它和它的对偶格均是具有最小生成元集的分配格.
悬赏10,000元人民币,否定费马猜想初等数学证明。本问题在《数学爱好者 MathFan 数学论坛 大学数学讨论区》于2005-8-6刊出阅读1600余人次,无人能判定结果。为扩大讨论范围,尽快得出确切结论,希望有关人士给予帮助,多谢!

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...