基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,487 浏览量: 5,685
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
紧线体上拟共形映射Teichmüller等价类的一个刻画A Description of the Teichmüller Equivalent Quasi-Conformal Mapping Class on the Compact Solenoid
宋 飞 下载量: 1,297 浏览量: 2,111 国家自然科学基金支持
理论数学 Vol.8 No.1, January 24 2018, PDF, HTML, XML DOI:10.12677/PM.2018.81007 被引量
三种情形下引力质量与惯性质量等价关系的探讨Discussing Equality of Gravitational and Inertial Masses in the Three Cases
苑新喜 下载量: 26 浏览量: 59
现代物理 Vol.14 No.3, May 31 2024, PDF, HTML, XML DOI:10.12677/mp.2024.143014 被引量
基于空间等价性的成分数据变换方法比较研究A Comparative Study of Compositional Data Transformation Methods Based on Spatial Equivalence
郭丽娟, 关蓉 下载量: 2,009 浏览量: 3,371 国家自然科学基金支持
统计学与应用 Vol.7 No.2, April 30 2018, PDF, HTML, XML DOI:10.12677/SA.2018.72032 被引量
跨文化研究中测量工具等价性操作流程初探:我们从积极心理学中学到了什么?The Operation Procedure of Equivalence of Measuring Instruments in Cross-Cultural Researches: What Have We Learnt from the Positive Psychology
段文杰, 白羽, 何敏贤, 唐小晴 下载量: 4,300 浏览量: 14,849 科研立项经费支持
心理学进展 Vol.2 No.2, April 26 2012, PDF, , XML DOI:10.12677/ap.2012.22013 被引量
完备随机度量空间上Ekeland变分原理与Caristi不动点定理的等价性Equivalence of Ekeland Variational Principle and Caristi Fixed Point Theorem in Complete Random Metric Spaces
杨玉洁, 李 翀 下载量: 1,047 浏览量: 1,407 国家自然科学基金支持
应用数学进展 Vol.8 No.10, October 28 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.810192 被引量
移动容器中液体晃动的二种速度势描述及其等价性证明Two Velocity Potential Descriptions for Fluid Sloshing in Moving Tanks and Their Equivalence Proof
胡奇, 李遇春 下载量: 1,790 浏览量: 3,798 国家自然科学基金支持
流体动力学 Vol.4 No.2, June 28 2016, PDF, , XML DOI:10.12677/IJFD.2016.42003 被引量
宇宙几何学初步应用—天体的光度和绝对星等等价不变性的证明Primary Application of Cosmic Geometry—Proof of Equivalence and Invariant of Astronomical Object’s Luminosity and Absolute Magnitude
黄 洵 下载量: 1,526 浏览量: 5,692
天文与天体物理 Vol.6 No.3, July 31 2018, PDF, HTML, XML DOI:10.12677/AAS.2018.63005 被引量
复矩阵的上三角化Upper Triangulation of Complex Matrices
刘思彤, 贾思怡, 李 然 下载量: 345 浏览量: 779 科研立项经费支持
理论数学 Vol.12 No.4, April 14 2022, PDF, HTML, XML DOI:10.12677/PM.2022.124059 被引量
目标运动轨迹仿真中的概率问题Probability Problem in Trajectory Simulation of Target Movement
金裕红, 王新鹏 下载量: 2,238 浏览量: 5,511
理论数学 Vol.5 No.5, September 4 2015, PDF, , XML DOI:10.12677/PM.2015.55026 被引量