命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 543 浏览量: 5,410 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
唐山市农业用水特征与节水效益分析计算Analysing and Calculating the Feature of Agri-cultural Water Use and Benefit of Water Saving in Tangshan City
时玉涛 下载量: 2,369 浏览量: 8,451
水资源研究 Vol.4 No.2, April 14 2015, PDF, , XML DOI:10.12677/JWRR.2015.42021 被引量
PNVMECA软件计算微型燃机–燃料电池系统变工况性能Calculating Variable Condition Performance of Micro-Gas Turbine-Fuel Cell System by PNVMECA Software
徐百汇, 杨国威, 梁前超, 黄潜龙 下载量: 1,088 浏览量: 1,878 科研立项经费支持
动力系统与控制 Vol.8 No.2, February 20 2019, PDF, HTML, XML DOI:10.12677/DSC.2019.82005 被引量
时速400 km高铁线路能力检算仿真系统研究Research on the Simulation System for Checking and Calculating the Capacity of High-Speed Railway Lines at 400 km/h
方琪根, 骆 晖, 杜慎旭, 江志文, 刘海东 下载量: 524 浏览量: 1,605 国家自然科学基金支持
交通技术 Vol.10 No.2, March 12 2021, PDF, HTML, XML DOI:10.12677/OJTT.2021.102011 被引量
池式快堆泵支承热变形简化计算方法研究Research on Simplified Method for Calculating Thermal Deformation of the Pump Support in the Sodium-Cooled Fast Reactor
许海波, 隋丹婷, 陆道纲, 张钰浩, 刘 雨 下载量: 331 浏览量: 668
核科学与技术 Vol.11 No.2, April 24 2023, PDF, HTML, XML DOI:10.12677/NST.2023.112016 被引量
新引力宇宙度规计算星系质量和宇宙物质密度的新分析New Analysis of Calculating Galaxy’s Mass and Universe’s Material Density by New Gravity Universe Metric
黄洵 下载量: 2,218 浏览量: 5,734
天文与天体物理 Vol.6 No.1, January 12 2018, PDF, HTML, XML DOI:10.12677/AAS.2018.61002 被引量
利用试井双对数曲线计算缝洞型油藏动态储量的方法Method for Calculating Dynamic Reserves of Fracture-Cavity Reservoirs by Using Double Logarithmic Curve of Well Test
何雨峰, 王玉婷 下载量: 831 浏览量: 1,433
自然科学 Vol.8 No.2, March 4 2020, PDF, HTML, XML DOI:10.12677/OJNS.2020.82011 被引量
基于多元回归方法计算一般角度射电望远镜反射面的调节——以FAST为例Calculating the Adjustment of the Reflective Surface of a General Angle Radio Telescope Based on Multiple Regression Method—Taking FAST as an Example
张宇翔, 姜永胜 下载量: 13 浏览量: 24
应用数学进展 Vol.13 No.7, July 17 2024, PDF, , XML DOI:10.12677/aam.2024.137305 被引量
基于HPM的数学建模思想融入高中数学的教学设计——以等差数列的前n项和公式为例The Mathematical Modeling Idea Based on HPM Is Integrated into the Teaching Design of High School Mathematics—Taking the First n Terms and Formulas of Arithmetic Series as an Example
王 景 下载量: 16 浏览量: 52
教育进展 Vol.14 No.6, June 30 2024, PDF, , XML DOI:10.12677/ae.2024.1461081 被引量
基于SAP2000的立井井筒装备结构建模方法Modeling Method for Structure of Shaft Equipment Based on SAP2000
王东权, 靖洪淼, 于广云 下载量: 1,883 浏览量: 4,276
矿山工程 Vol.4 No.3, July 26 2016, PDF, , XML DOI:10.12677/ME.2016.43018 被引量