期刊文献+
共找到68篇文章
< 1 2 4 >
每页显示 20 50 100
Self-play training and analysis for GEO inspection game with modular actions
1
作者 ZHOU Rui ZHONG Weichao +1 位作者 LI Wenlong ZHANG Hao 《Journal of Systems Engineering and Electronics》 2025年第5期1353-1373,共21页
This paper comprehensively explores the impulsive on-orbit inspection game problem utilizing reinforcement learning and game training methods.The purpose of the spacecraft is to inspect the entire surface of a non-coo... This paper comprehensively explores the impulsive on-orbit inspection game problem utilizing reinforcement learning and game training methods.The purpose of the spacecraft is to inspect the entire surface of a non-cooperative target with active maneuverability in front lighting.First,the impulsive orbital game problem is formulated as a turn-based sequential game problem.Second,several typical relative orbit transfers are encapsulated into modules to construct a parameterized action space containing discrete modules and continuous parameters,and multi-pass deep Q-networks(MPDQN)algorithm is used to implement autonomous decision-making.Then,a curriculum learning method is used to gradually increase the difficulty of the training scenario.The backtracking proportional self-play training framework is used to enhance the agent’s ability to defeat inconsistent strategies by building a pool of opponents.The behavior variations of the agents during training indicate that the intelligent game system gradually evolves towards an equilibrium situation.The restraint relations between the agents show that the agents steadily improve the strategy.The influence of various factors on game results is tested. 展开更多
关键词 impulsive orbital game inspection mission turnbased reinforcement learning modular action self-play
在线阅读 下载PDF
Research progress in pharmacological actions of ginsenoside-Rg3 被引量:1
2
作者 SU Xiao-mei ZHANG Dan-shen 《中国药理学与毒理学杂志》 CAS 北大核心 2019年第9期696-696,共1页
Ginseng is a traditional Chinese medicine with a long medicinal history.Ginsenoside is the main compo⁃nent of ginseng,among which the ginsenoside-Rg3 possess higher medicinal value.The pharmacological studies reported... Ginseng is a traditional Chinese medicine with a long medicinal history.Ginsenoside is the main compo⁃nent of ginseng,among which the ginsenoside-Rg3 possess higher medicinal value.The pharmacological studies reported that the ginsenoside-Rg3 exhibit a variety of pharmacological actions.For example,the ginsenoside-Rg3 exhibit an effective inhibitory effect against cancer and induce apoptosis,such as glioma,lung cancer,liver cancer,breast cancer,ovarian cancer,cervical cancer and so on.The anti-cancer effect will be significantly increased by combinning chemotherapy drugs with ginsenoside-Rg3.In addition,ginsenoside-Rg3 can reduce the side effects of chemotherapy drugs,such as cardiotoxicity and nephrotoxicity.Furthermore,ginsenoside-Rg3 could reverse the multidrug resistance of cancer cells against anticancer drugs.What′s more,ginsenoid-Rg3 has several other pharmacological actions as follows.At first,ginsenoid-Rg3 appears to anti-fatigue effect by reversing the dopamine reduction induced by fatigue.Secondly,ginsenoid-Rg3 can reverse chemical-induced memory damage and improve memory to exert neuroprotective effect.Finally,ginsenoid-Rg3 can improve mitochondrial function and insulin tolerance in skeletal muscle,suggesting that ginsenoid-Rg3 can be used as a hypoglycemic drug.In this review,I present an overview of the pharmacological actions of ginsenoside-Rg3 to provide theoretical guidance for further development and utilization of ginsenoside-Rg3. 展开更多
关键词 ginsenoside-Rg3 pharmacological actions ANTI-CANCER ANTI-FATIGUE NEUROPROTECTIVE HYPOGLYCEMIC
在线阅读 下载PDF
钢筋混凝土连续梁抗连续倒塌压拱机制的数值分析
3
作者 李易 刘永超 +1 位作者 程小卫 孙海林 《北京工业大学学报》 CAS CSCD 北大核心 2024年第11期1350-1358,共9页
为了验证既有结构抗连续倒塌压拱(compressive arch action,CAA)机制理论在工程尺度中的适用性问题,基于有限元分析软件LS-DYNA建立了钢筋混凝土连续梁的全精细数值模型,并通过已有实验验证了该模型的可靠性。基于该模型建立9个足尺结... 为了验证既有结构抗连续倒塌压拱(compressive arch action,CAA)机制理论在工程尺度中的适用性问题,基于有限元分析软件LS-DYNA建立了钢筋混凝土连续梁的全精细数值模型,并通过已有实验验证了该模型的可靠性。基于该模型建立9个足尺结构的数值模型,考虑了工程常用的截面高度、跨度和配筋率。基于数值模拟的结果,分析了上述结构参数对CAA机制发展的影响。结果表明:随着配筋率的增大,CAA机制对结构抗连续倒塌的增强作用逐渐降低;在9~12的跨高比范围内,CAA机制对结构抗连续倒塌的增强作用提升,而在12~15的跨高比范围内,增强作用降低。 展开更多
关键词 钢筋混凝土 连续梁 连续倒塌 压拱(compressive arch action CAA)机制 倒塌抗力 倒塌变形
在线阅读 下载PDF
Combining ability studies in desi cotton(Gossypium arboreum L.)genotypes
4
作者 ALAGARSAMY Manivannan 《Journal of Cotton Research》 CAS 2024年第4期361-371,共11页
Background Studies on genetic variation and combining ability are essential tools to employ the suitable breeding programme,particularly for hybrid production,to exploit the heterosis in cross-pollinated crops like co... Background Studies on genetic variation and combining ability are essential tools to employ the suitable breeding programme,particularly for hybrid production,to exploit the heterosis in cross-pollinated crops like cotton.Thus,combining ability studies in desi cotton(Gossypium arboreum L.)was carried out using 13 diverse parents through diallel mating design,evaluating 78 F,hybrids along with their parents,without reciprocals using Griffing's and Hayman's approaches.Results Genotypes H 509,AC 3265,AKH 496,and PBN 565 exhibited superior per se performance,indicating their potential use as parents in future breeding programs to develop superior hybrids.The general combining ability(GCA)effect of the genotypes revealed that AC 3097 and AKA 13-SP1 were good general combiners for most traits in this study.Genotypes PBS 1127-SP1,AKH 496,H 509,N11-54-31-32,and AKA 13-SP1 exhibited strong combining ability,contributing to a significant specific combining ability(SCA)effect in seven selected crosses(AC 3265×PBS1127-SP1,AKH 496×H 509,AKH 496×AC 3097,PBS 1127-SP1×N11-54-31-32,AC 3216×AKA 13-SP1,H 503×N11-54-31-32,and H 509×AKA 13-SP1)for yield improvement.These crosses showed positive heterosis in a positive direction.Conclusion From the present study,five genotypes(AC 3097,AKA 13-SP1,N11-54-31-32,AC 3265,and H 509)were identified as good general combiners for producing hybrids,and seven combinations showed a promising hybrid for future breeding programs. 展开更多
关键词 Combining ability Desi cotton Diallel analysis Gene action
在线阅读 下载PDF
传统大学的变革与远程教育的发展——访国际远程教育领域资深专家托尼·贝茨教授 被引量:6
5
作者 魏志慧 郑勤华 《开放教育研究》 CSSCI 2005年第5期4-8,共5页
托尼·贝茨教授(Tony Bates)是国际开放与远程教育领域最知名的专家之一。他早年曾协助创建英国开放大学,并在该校工作近20年。1995年至2003年底,贝茨教授在加拿大温哥华的英属哥伦比亚大学(University of British columbia,简称UBC... 托尼·贝茨教授(Tony Bates)是国际开放与远程教育领域最知名的专家之一。他早年曾协助创建英国开放大学,并在该校工作近20年。1995年至2003年底,贝茨教授在加拿大温哥华的英属哥伦比亚大学(University of British columbia,简称UBC)担任远程教育部主任一职,同时兼任UBC的高等教育学习技术计划与管理国际中心主任。2004年,他创建了专门从事网上学习及远程教育的规划与管理的托尼·贝茨有限公司(Tony Bates Associates Ltd.),并担任董事长及行政总裁。目前,他还担任西班牙的巴塞罗那加泰罗尼亚开放大学的网络学习研究中心主任一职。此外,贝茨教授多年来还一直在世界银行、世界经济合作及发展组织、联合国教科文组织,以及全球三十多个国家的大学及政府部门担任顾问工作。贝茨教授的研究成果非常丰硕,至今共发表了350余篇论文,出版了9本有关远程教育及技术在教学中的应用方面的著作,他的研究涵盖了远程教育实践的各个方面,其中最突出的就是ACTIONS媒体选择模型和关于远程教育成本一效益的研究。此外,他还是远程教育和教育技术领域内6本学术杂志的编委。目前,贝茨教授的研究兴趣主要包括:传统大学中网络学习的应用及其成本-效益问题,网络学习的多元文化问题,以及网络学习和国家经济发展之间的关系等等。 展开更多
关键词 成本-效益分析 actions媒体选择模型 传统大学 远程教育 网络教育
在线阅读 下载PDF
基于用户同意的隐私保护协议形式化描述与验证 被引量:3
6
作者 马丽 姜火文 彭云 《电子学报》 EI CAS CSCD 北大核心 2023年第7期1842-1849,共8页
将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控... 将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控制协议,将用户同意转化为一种同意权限,形成一种同意加授权的双重访问控制机制.本文给出协议的语法、语义及安全性定义和分析,并采用模型检测的方法对协议应满足的性质进行验证,最终证明本文的设计可以从访问控制的角度满足个人信息保护法规的要求. 展开更多
关键词 个人数据保护 隐私保护模型 隐私保护协议 访问控制 隐私授权 TLA+(Temporal Logic of actions plus)
在线阅读 下载PDF
何首乌块根中砷、镉、汞和铅含量的检测及其富集特性 被引量:9
7
作者 李正 杭悦宇 周义峰 《植物资源与环境学报》 CAS CSCD 2005年第2期54-55,共2页
The contents of As, Cd, Hg and Pb in root tubers of annual and biennial plants of Polygonum multiflorum Thunb. in Jiangsu Province were 0.32, 0.24, 0, 1.25 and 0.20, 0.26, 1.67×10 -4, 1.32 mg·kg -1 respectiv... The contents of As, Cd, Hg and Pb in root tubers of annual and biennial plants of Polygonum multiflorum Thunb. in Jiangsu Province were 0.32, 0.24, 0, 1.25 and 0.20, 0.26, 1.67×10 -4, 1.32 mg·kg -1 respectively, which totally met the standards of GTSIEMPP (WM2—2001). Biology concentration factors (BCF) of Cd is 2.4-2.6, which indicates that the root tuber of P. multiflorum has a strong accumulative action to Cd. While the accumulative action to As, Hg and Pb is not strong, BCF are 0.025-0.015, 0-6.40×10 -4 and 0.06 respectively. 展开更多
关键词 富集特性 何首乌 铅含量 strong action 块根 检测 root and the The met BCF are As Cd Hg Pb in is to
在线阅读 下载PDF
托尼·贝茨(Tony Bates)研究 被引量:7
8
作者 叶成林 丁新 《中国电化教育》 CSSCI 北大核心 2004年第2期74-78,共5页
托尼·贝茨(Tony Bates)是一位从技术媒体与成本效益的角度研究远程教育的国际著名学者。他20多年在英国开放大学技术开发领域的实践以及在加拿大英属哥伦比亚大学开展远程教育国际合作的经历表明,他关于技术与媒体在教育中应用的AC... 托尼·贝茨(Tony Bates)是一位从技术媒体与成本效益的角度研究远程教育的国际著名学者。他20多年在英国开放大学技术开发领域的实践以及在加拿大英属哥伦比亚大学开展远程教育国际合作的经历表明,他关于技术与媒体在教育中应用的ACTION模式,关于远程教育经济学成本效益研究,关于技术媒体、远程教育与国家发展的宏观分析,关于知识、技术与未来学习的思考等都对国际远程教育的发展做出了重要贡献。无论是理论建树,还是实践创新,他都是国际远程教育界的名家巨匠。研究其人其事无疑对远程教育理论研究和实践发展都有着重要的指导意义。 展开更多
关键词 托尼·贝茨 ACTION模式 远程教育 技术媒体 成本效益 学术思想
在线阅读 下载PDF
应激状态下鱼类糖皮质激素代谢及作用机理的研究进展 被引量:4
9
作者 徐磊 谢骏 +6 位作者 刘波 戈贤平 何义进 潘良坤 周群兰 陈汝丽 Xian-ping Yi-jin Liang-kun Qun-lan Ru-li 《江西农业学报》 CAS 2010年第8期132-137,共6页
糖皮质激素(Glucocordicoids,GC)是由肾上腺皮质分泌的一类甾体激素,在环境胁迫条件下,血浆糖皮质激素水平会发生变化,对机体生理、免疫产生不同程度影响。但应激状态下糖皮质激素水平能否作为应激的灵敏指标还存在争议,综述了鱼类在应... 糖皮质激素(Glucocordicoids,GC)是由肾上腺皮质分泌的一类甾体激素,在环境胁迫条件下,血浆糖皮质激素水平会发生变化,对机体生理、免疫产生不同程度影响。但应激状态下糖皮质激素水平能否作为应激的灵敏指标还存在争议,综述了鱼类在应激状态下,影响血浆糖皮质激素浓度的因素及糖皮质激素的作用机理。 展开更多
关键词 应激状态 鱼类 糖皮质激素 激素代谢 作用机理 研究进展 Stress Action Mechanism Progress 激素水平 肾上腺皮质 类甾体激素 血浆 胁迫条件 激素浓度 机体生理 指标 争议 免疫 环境
在线阅读 下载PDF
并行面向对象语言的Action演算语义 被引量:3
10
作者 金英 金成植 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2002年第4期363-368,共6页
给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.
关键词 Action演算簇 并行面向对象语言 转换语义 语法成分 并行交互计算 POOL语言
在线阅读 下载PDF
HaNPV对红脉穗螟弱化作用的研究 被引量:3
11
作者 甘炳春 杨新全 +2 位作者 周亚奎 黄良明 刘丽风 《江西农业学报》 CAS 2010年第10期83-84,92,共3页
在实验室条件下测试了棉铃虫核型多角体病毒(Helicoverpa armigera nuclear polyhedrosis virus,HaNPV)对红脉穗螟Tirathaba rufivena Walker生长发育和繁殖力的影响。结果显示:HaNPV感染3龄幼虫6d,幼虫体长和体重分别减少37.53%和62.4... 在实验室条件下测试了棉铃虫核型多角体病毒(Helicoverpa armigera nuclear polyhedrosis virus,HaNPV)对红脉穗螟Tirathaba rufivena Walker生长发育和繁殖力的影响。结果显示:HaNPV感染3龄幼虫6d,幼虫体长和体重分别减少37.53%和62.49%,幼虫发育历期延长11.80d,蛹重和单雌平均产卵量分别降低44.07%和90.23%;感染5龄幼虫3d,幼虫体长和体重分别减少13.02%和22.40%,幼虫发育历期延长6.58d,蛹重和单雌平均产卵量分别降低22.88%和58.44%。表明HaNPV不仅能直接杀死宿主昆虫,而且对残存活虫有很强的弱化作用。 展开更多
关键词 HANPV 红脉穗螟 弱化作用 Action 幼虫体长 棉铃虫核型多角体病毒 发育历期 产卵量 实验室条件 体重 生长发育 感染 繁殖力 宿主 昆虫 结果 测试
在线阅读 下载PDF
基于CAP方法的梅里雪山国家公园威胁评估与对策研究 被引量:6
12
作者 杨子江 《生态经济》 北大核心 2011年第1期162-166,共5页
在大量实地调查的基础上,文章运用CAP方法对云南省首批试点建设国家公园——梅里雪山国家公园面临的主要威胁进行了全面的评估和分析。研究发现梅里雪山国家公园面临来自于内部的威胁要高于来自外部的威胁,而产生这些内部威胁的根源几... 在大量实地调查的基础上,文章运用CAP方法对云南省首批试点建设国家公园——梅里雪山国家公园面临的主要威胁进行了全面的评估和分析。研究发现梅里雪山国家公园面临来自于内部的威胁要高于来自外部的威胁,而产生这些内部威胁的根源几乎都直接或间接来自于社区的传统生计维持或者是社区自发的、无序的旅游接待。因此,文章提出,解除上述威胁最为直接和有效的方法就是控制、引导和促进旅游业合理、有序的发展。 展开更多
关键词 梅里雪山国家公园 CONSERVATION action planning(CAP) 威胁评估
在线阅读 下载PDF
暴雨降温作用下大型U型渡槽运行期温度场分析 被引量:2
13
作者 王潘绣 赵海涛 黄冬辉 《水电能源科学》 北大核心 2010年第9期79-81,共3页
基于南水北调中线湍河渡槽在夏季暴雨降温工况下的仿真计算分析,初步探讨了渡槽暴雨降温时温度边界条件,并归纳了大型U型渡槽在该工况下温度场、温度应力分布规律及裂缝可能出现区域,对U型渡槽运行期的防裂有一定的参考价值。
关键词 夏季暴雨 降温作用 渡槽 运行期 温度场分析 Action 应力分布规律 温度边界条件 南水北调中线 仿真计算分析 工况 参考价值 区域 裂缝 归纳 防裂
在线阅读 下载PDF
Action演算中动作内部数据流分析方法及其实现 被引量:1
14
作者 金英 金成植 郑爽 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2003年第1期54-58,共5页
针对Action演算的分子形式,提出分子语法结构树等概念,并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现.为深入研究Action演算的性质和应用提供了分析手段.
关键词 ACTION演算 动作内部数据流 数据流分析 分子形式 分子语法结构树 数据结构
在线阅读 下载PDF
一种基于Flash技术的CPU仿真实验解决方案
15
作者 王行甫 董灏 王来 《实验室研究与探索》 CAS 北大核心 2011年第1期51-53,57,共4页
给出了CPU仿真实验中的一些基本概念,介绍了Flash技术以及提出了该技术在教学领域中应用的优势和必然性,并采用面向对象的编程思想(OBB)。利用Action Script解决了元件类层次及其显示问题、系统的交互问题、信号同步及动画显示的问题。... 给出了CPU仿真实验中的一些基本概念,介绍了Flash技术以及提出了该技术在教学领域中应用的优势和必然性,并采用面向对象的编程思想(OBB)。利用Action Script解决了元件类层次及其显示问题、系统的交互问题、信号同步及动画显示的问题。最后,通过各系统的协同设计实现了CPU的仿真实验。 展开更多
关键词 CPU仿真 FLASH Action SCRIPT
在线阅读 下载PDF
一种基于Action LtoS与MFPS混合测试准则
16
作者 徐雯 高建华 《小型微型计算机系统》 CSCD 北大核心 2014年第4期781-785,共5页
事件驱动(EDS)软件可以通过引入事件来改变系统状态,如GUI和WEB应用程序等.由于调用用户界面可能会产生大量事件序列使得对EDS的测试面临严峻的挑战.通过将GUI和WEB应用程序归类到一起来研究,并确定优先次序.此外,在研究基于计数的准则(... 事件驱动(EDS)软件可以通过引入事件来改变系统状态,如GUI和WEB应用程序等.由于调用用户界面可能会产生大量事件序列使得对EDS的测试面临严峻的挑战.通过将GUI和WEB应用程序归类到一起来研究,并确定优先次序.此外,在研究基于计数的准则(Action LtoS)和基于频率的准则(MFPS)基础上,研究一种基于Action LtoS与MFPS混合测试准则(HTCS)来提高APFD度量的故障检测率,该方法结合两种准则的特点来生成测试用例.实证研究表明,HTCS相对于单一的准则具有更快的APFD度量的故障检测率. 展开更多
关键词 事件驱动型软件 HTCS Action LtoS MFPS APFD
在线阅读 下载PDF
命令式语言的高阶A ction演算表示
17
作者 金英 金成植 《计算机研究与发展》 EI CSCD 北大核心 2002年第10期1366-1373,共8页
Action演算簇 (action calculi)是一种抽象的数学结构 ,已经表明它可以表示 λ演算、进程代数、γ演算以及函数式语言等 .作为 Action演算簇的进一步应用 ,针对一个典型的顺序命令式语言 SIL,充分利用 Action演算的可扩充性 ,定义了一... Action演算簇 (action calculi)是一种抽象的数学结构 ,已经表明它可以表示 λ演算、进程代数、γ演算以及函数式语言等 .作为 Action演算簇的进一步应用 ,针对一个典型的顺序命令式语言 SIL,充分利用 Action演算的可扩充性 ,定义了一个具体的 Action演算 AC(KSIL) ,同时为了给出循环计算的表示引入了高阶性 .给出了 SIL 的 AC(KSIL)语义 ,并证明了 SIL 的操作语义与 AC(KSIL)语义之间的对应关系 .最后讨论了顺序机制的控制及其控制规则定义方法 .不仅表明 Action演算可以方便地表示顺序计算 ,而且也证明了 Action演算强大的描述能力 . 展开更多
关键词 命令式语言 高阶Action演算表示 高阶性 数学结构
在线阅读 下载PDF
γ演算到Action演算的转换
18
作者 金英 金成植 《软件学报》 EI CSCD 北大核心 2003年第1期16-22,共7页
Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg)... Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把g演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(Kg),然后给出了从g演算到AC(Kg)转换的形式描述,最后在定义AC(Kg)的可观察性、弱互模拟关系和弱等价关系的基础上,以p演算为中间表示,证明了这种转换保持了g演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把g演算与其他并发模型结合并进行比较提供了前提. 展开更多
关键词 γ演算 ACTION演算 弱等价关系 程序设计语言 函数式语言
在线阅读 下载PDF
野西瓜苗不同部位提取物对小菜蛾的活性作用方式研究
19
作者 左玲霞 谢晓鹏 杨敏丽 《河南农业科学》 CSCD 北大核心 2010年第12期63-65,共3页
采用不同的活性测试方法,研究了野西瓜苗不同部位乙醇提取物对小菜蛾的触杀、拒食和抑制生长发育的作用。结果表明:野西瓜苗不同部位乙醇提取物对小菜蛾具有较为明显的触杀、拒食和抑制生长发育作用,触杀活性:籽>茎>根>叶;拒... 采用不同的活性测试方法,研究了野西瓜苗不同部位乙醇提取物对小菜蛾的触杀、拒食和抑制生长发育的作用。结果表明:野西瓜苗不同部位乙醇提取物对小菜蛾具有较为明显的触杀、拒食和抑制生长发育作用,触杀活性:籽>茎>根>叶;拒食活性:籽>茎>叶>根;抑制生长发育活性:籽>茎>叶>根。在4个部位中,籽提取物的活性最强,当处理剂量为12.5 g/L时,小菜蛾72 h的校正死亡率达到86.67%,48 h的拒食率达85.94%,48 h的生长发育抑制率达79.05%。 展开更多
关键词 野西瓜苗 同部位 乙醇提取物 小菜蛾 拒食活性 作用方式 PLUTELLA XYLOSTELLA Parts Different Mode of Action 抑制生长发育作用 触杀活性 校正死亡率 处理剂量 测试方法 抑制率 拒食率 结果
在线阅读 下载PDF
《自然科学史研究》第31卷总目录
20
《自然科学史研究》 CSCD 北大核心 2012年第4期I0001-I0002,共2页
关键词 自然科学史研究 卡拉比猜想 胡大年 王玉民 陈久金 微分流形 汉译名 actions 崇祯历书 郭书春
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部