基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,520 浏览量: 5,785
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
轴向外伸欧拉梁减振时域数值仿真Numerical Simulation in Time Domain of Vibration Reduction of Axially Extended Euler Beam
贺 腾, 王 朔, 方 勃 下载量: 1,307 浏览量: 3,942
力学研究 Vol.6 No.4, December 14 2017, PDF, HTML, XML DOI:10.12677/IJM.2017.64018 被引量
非体育专业大学生不良姿态调查与运动处方研究Functional Posture Disorder in Normal College Students and ExercisePrescription
李 山, 李 盼, 陈信芝 下载量: 1,781 浏览量: 3,363 科研立项经费支持
体育科学进展 Vol.5 No.4, December 29 2017, PDF, HTML, XML DOI:10.12677/APS.2017.54020 被引量
地表土壤探测及传感器优化布设Terrain Soil Sensing and Optimal Deployment of Sensors
汪 晗, 张宏军, 王 坤, 李 伟 下载量: 1,477 浏览量: 3,066 国家自然科学基金支持
传感器技术与应用 Vol.6 No.1, January 9 2018, PDF, HTML, XML DOI:10.12677/JSTA.2018.61001 被引量
混凝土连续梁桥无缝拓宽前后动力特性分析与实测研究Analysis and Test Study on the Dynamic Characteristics of a Continuous Concrete Girder Bridge Broadened without Joint
陈 宇, 吴培峰, 李 阳, 李方元 下载量: 1,555 浏览量: 4,101
土木工程 Vol.7 No.1, January 30 2018, PDF, HTML, XML DOI:10.12677/HJCE.2018.71012 被引量
Cantrell五联症新生儿一例并文献复习Pentalogy of Cantrell Newborn: A Case Report and Literature Review
高淑强, 肖甜甜, 曾雯, 巨容 下载量: 1,927 浏览量: 3,691 科研立项经费支持
亚洲儿科病例研究 Vol.6 No.1, February 26 2018, PDF, HTML, XML DOI:10.12677/ACRP.2018.61001 被引量
山东省产业结构优化对经济增长的影响—基于17地市的GMM检验The Influence of Industrial Structure Optimization on Economic Growth in Shandong—Based on the GMM Test of 17 Cities
张 哲, 张红霞 下载量: 1,651 浏览量: 2,722 国家科技经费支持
社会科学前沿 Vol.7 No.3, March 20 2018, PDF, HTML, XML DOI:10.12677/ASS.2018.73049 被引量
某人行天桥跳跃荷载下振动分析与测试Vibration Analysis and Field Test of a Footbridge under Human Jumping Load
崔常慧, 张志强 下载量: 1,550 浏览量: 4,047 国家自然科学基金支持
土木工程 Vol.7 No.3, April 4 2018, PDF, HTML, XML DOI:10.12677/HJCE.2018.73035 被引量
物资采购流行性预测问题的蚁群算法A Colony Algorithm for Commodity Purchase Epidemic Forecast Problem
罗 亮, 罗 明, 李小平, 张馨文, 周 瑞 下载量: 1,527 浏览量: 4,663 国家自然科学基金支持
应用数学进展 Vol.7 No.4, April 25 2018, PDF, HTML, XML DOI:10.12677/AAM.2018.74040 被引量
南京市应急备用水源地建设安全评价Emergency Water Source Construction Safety Evaluation of Nanjing
黄昌硕, 卞锦宇, 盖永伟 下载量: 1,402 浏览量: 2,649
水资源研究 Vol.7 No.3, May 8 2018, PDF, HTML, XML DOI:10.12677/JWRR.2018.73028 被引量