基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,588 浏览量: 1,875
应用数学进展 Vol.6 No.8, November 29 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.68123 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,514 浏览量: 5,764
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
石河子地区南部山区气候特征分析Analysis of Climate Characteristics of the Southern Mountainous Area in Shihezi Region
徐腊梅, 尹远渊 下载量: 319 浏览量: 555
气候变化研究快报 Vol.11 No.6, November 3 2022, PDF, HTML, XML DOI:10.12677/CCRL.2022.116094 被引量
长兴岛地区雷电特征分析Analysis of Lightning Activity Characteristics in Changxingdao Area
王 学, 李 想, 刘 忻 下载量: 437 浏览量: 624 科研立项经费支持
气候变化研究快报 Vol.10 No.6, November 30 2021, PDF, HTML, XML DOI:10.12677/CCRL.2021.106087 被引量
乳腺恶性叶状肿瘤一例伴文献复习Malignant Phyllodes Tumor of Breast: A Case Report and Literature Review
钟 锐, 张一丹, 孙振轩, 王 腾, 刘金涛 下载量: 376 浏览量: 719
临床医学进展 Vol.12 No.7, July 7 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.127895 被引量
小流域洪水模拟方法对比研究Comparative Study of Flood Simulation Methods at Small Watershed
苏万敏, 王丕国, 何 斌, 张玉君, 梁国华 下载量: 2,297 浏览量: 4,461 科研立项经费支持
水资源研究 Vol.5 No.3, June 7 2016, PDF, , XML DOI:10.12677/JWRR.2016.53029 被引量
相互作用暗能量模型的研究现状Status of the Study of Interacting Dark Energy Models
郭娟娟, 宋佳霖, 李思哲, 南星宇 下载量: 2,182 浏览量: 5,667 科研立项经费支持
天文与天体物理 Vol.5 No.3, July 7 2017, PDF, HTML, XML DOI:10.12677/AAS.2017.53004 被引量
钝性暴力致迟发性主动脉真性动脉瘤一例One Case Report of Delayed True Aortic Aneurysm Caused by Blunt Violence
史泽鹏, 王文君, 刘 巍, 高 洋, 庄熙晶, 何学志 下载量: 570 浏览量: 1,083
亚洲心脑血管病例研究 Vol.8 No.1, July 16 2020, PDF, HTML, XML DOI:10.12677/ACRVM.2020.81001 被引量
中国极端不利气象条件的长期演变及特征研究Long-Term Evolution and Characteristics of Extreme Air Pollution Meteorological Events in China
宋玉强, 张轶雯, 邵 旻 下载量: 564 浏览量: 1,378
气候变化研究快报 Vol.10 No.5, September 27 2021, PDF, HTML, XML DOI:10.12677/CCRL.2021.105064 被引量
中学生英语时态语法规则的样例学习Worked Examples Learning about the English Tense Grammatical Rules of Junior Middle School Students
张笑笑, 孟 洋, 张 奇 下载量: 365 浏览量: 498 国家自然科学基金支持
心理学进展 Vol.12 No.6, June 16 2022, PDF, HTML, XML DOI:10.12677/AP.2022.126241 被引量