论文部分内容阅读
2004年2月20日上午9时在人民大会堂举行的国家科学技术奖励大会上，刘东生院士被授予2003年度国家最高科学技术奖，国家主席胡锦涛亲自向他颁发了获奖证书和奖金，从而刘东生院士成为已获得此殊荣的7位科学大师的一员，是地学界的唯一代表。这是全体地学
热烈祝贺刘东生院士获得国家最高科学技术奖
【摘 要】
：
2004年2月20日上午9时在人民大会堂举行的国家科学技术奖励大会上，刘东生院士被授予2003年度国家最高科学技术奖，国家主席胡锦涛亲自向他颁发了获奖证书和奖金，从而刘东生院士成
【出 处】
：
第四纪研究
【发表日期】
：
2004年2期
其他文献
提出了一种改进的关联规则生成算法，其目的是在大型数据库中能够高效的发现关联知识。为了达到这个目标，将泛逻辑中的广义相关系数与Apriori算法相结合。Apriori算法本身对于大
本文证明了如下结论：（１）若有限群Ｇ的一个Ｈａｌｌπ－子群Ｈ在ＧＦ内是Ｓ－半正规的，则Ｈ在Ｇ内有补且所有这样的补在Ｇ中互相共轭，（２）令Ｐ／Ｇ／，若有限群Ｇ的Ｓｙｌｏｗｐ－子群在Ｇ内是Ｓ－半正规的，则Ｇ是ｐ－可解的；（３）如果Ｇ与ＰＳＬ（２，７）是无关的，则Ｇ是π－可分的；（４）令Ｐ是一
分析了视线角速度测量噪声对变结构制导鲁棒性的影响 ,给出了两种信噪比水平下变结构制导规律制导参数应满足的条件。结果表明 ,变结构制导规律中的比例导引项和变结构项系数
编者按此文为中国第四纪研究委员会给国际地层联合会2005年9月在比利时鲁汶(Leuven)特别会议(重点讨论第四纪在地层表中的位置问题)的发言稿.
道德对偶数维线性化Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的格林函数作出估计，再用格林函数得出了其解的逐点估计。
本文讨论了Ｒ＾２中竖线型结点组插值的适定性，得到了相应的插值多项式，并将这些结果推广到Ｒ＾ｓ（ｓ〉２）的情形。
基于结点标号深度的概念，给出了求解单源点最短路径问题的一个新算法—ＳＬＤＦ（ＳｍａｌｅｓｔＬａｂｅｌＤｅｐｔｈＦｉｒｓｔ）算法．此算法的特点是，它具有Ｓｈｉｅｒ＆Ｗｉｔｚｇｅａｌ在［１］中提出的所谓“锐利”（Ｓｈａｒｐ）性质，而且算法的时间复杂性在最坏情况下为Ｏ（ｎｍ），这里ｎ和ｍ分别表
本文给出了弱序列完备Ｂａｎａｃｈ空间中二阶微分包含的解的存在性定理，推广了「１」中的结果到集值情形，同时由于利用已有的定理「２」，简化了类似「１」宫的证明。
该文对单位圆内零级亚纯函数证明了一个值分布的定理，并构造了二个例子说明这个定理是精确的。
第四纪环境这门科学，是地质学的一个横截面，是地质历史时期的最新一章，它是一门探索时间的科学。环境问题是关系人类社会的全面问题和应当涉及的人类未来的现实问题，它要求第四纪