搜索结果: 1-15 共查到“公理集合论”相关记录146条 . 查询时间(1.828 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:On Bernstein Theorem of Affine Maximal Hypersurface
仿射 极大超曲面 伯恩斯坦定理
2023/4/13
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars:Linked periodic orbits of disc homeomorphisms
圆盘同胚 连锁 周期轨道
2023/5/8
F-邻域粗糙集及其约简
邻域粗糙集 F-粗糙集 属性约简 属性重要度矩阵
2024/1/23
邻域粗糙集可以直接处理数值型数据,F-粗糙集是第一个动态粗糙集模型.针对动态变化的数值型数据,结合邻域粗糙集和F-粗糙集的优势,提出了F-邻域粗糙集和F-邻域并行约简.首先,定义了F-邻域粗糙集上下近似、边界区域;其次,在F-邻域粗糙集中提出了F-属性依赖度和属性重要度矩阵;根据F-属性依赖度和属性重要度矩阵分别提出了属性约简算法,证明了两种约简方法的约简结果等价;最后,比对实验在UCI数据集、真...
冯涛,女,博士,副教授,硕士研究生导师。入选河北省三三三人才工程第三层次人才。主持完成国家自然科学基青年科学基金项目、河北省自然科学基金青年科学基金各1项;在《Information Sciences》、《 Knowledge-Based Systems》、《International Journal of Approximate Reasoning》等国际、国内学术期刊和会议上发表论文20余篇。...
科睿唯安(Clarivate)最近公布了2018年全球高被引科学家名单,西安交大共4名教授入选。其中,能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单,人居学院程海教授入选地球科学领域高被引科学家名单。
西安交通大学4人入选2018年全球高被引科学家名单
西安交通大学 2018年 全球高被引科学家 名单
2018/12/13
科睿唯安(Clarivate)最近公布了2018年全球高被引科学家名单,西安交大共4名教授入选。其中,能动学院郭烈锦院士、理学院丁书江教授、材料学院马伟教授三人入选交叉学科领域的高被引科学家名单,人居学院程海教授入选地球科学领域高被引科学家名单。
中国石油大学(华东)3位教授入选爱思唯尔2017年中国高被引学者榜单(图)
中国石油大学(华东) 教授 爱思唯尔 2017年 中国高被引 学者榜单 物理学 天文学 理学
2018/1/27
2018年1月19日,爱思唯尔发布2017年中国高被引学者(Most Cited Chinese Researchers)榜单,1793名最具世界影响力的中国学者入选。我校3位教授继2016年后再次入选,入榜学者总数并列全国第78位。3名入榜教授为数学学科入选者、理学院蒋达清教授,物理学和天文学学科入选者、理学院孙道峰教授,免疫和微生物学学科入选者、原化学工程学院党宏月教授。
首批国家精品在线开放课程武汉大学24门入选——入选数量居全国第二(图)
国家精品在线开放课程 武汉大学 24门 全国第二 哲学 医学 文学 历史学 理学
2018/2/2
2018年1月15日,教育部在京召开在线开放课程建设与应用推进会,宣布首批共490门国家精品在线开放课程,我校24门课程入选,入选数量居全国第二。我校被认定的国家级精品在线开放课程,均在中国大学MOOC平台上至少完成了两期教学活动,课程质量高、共享范围广、应用效果好、示范性强,涉及的学科包括哲学、医学、文学、历史学、理学、经济学、管理学、工学、法学。
非凸集值优化问题E-Benson真有效元的最优性条件
Benson真有效元 改进集 最优性条件 Lagrange乘子定理
2019/4/17
本文首先给出了集合为近似E-次类凸的等价刻画.其次,分别在锥具有紧基和弱紧基的条件下,获得了近似E-次类凸集值优化问题的E-Benson真有效元的Lagrange乘子定理.作为应用,获得了集值优化问题Benson真有效元的Lagrange乘子定理.最后,给出了集值优化问题E-鞍点的充分条件.
THE PUZZLE CONJECTURE FOR THE COHOMOLOGY OF TWO-STEP FLAG MANIFOLDS
PUZZLE CONJECTURE TWO-STEP FLAG MANIFOLDS
2015/12/17
We prove a conjecture of Knutson asserting that the Schubert
structure constants of the cohomology ring of a two-step flag variety are equal
to the number of puzzles with specified borde...
We sharpen H丩ajek乫s Completeness Theorem for theories
extending predicate product logic, 儺佂. By relating provability
in this system to embedding properties of ordered abelian groups
we construct a ...
We present a general construction of a family of ordinal
sums of a sequence of structures and prove an elimination
theorem for the class of ordinal sums in an expanded language.
From this we deduce...
A classification of BL-algebras.