基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 688 浏览量: 1,031
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
H-张量的新判定准则及其应用New Criterions for H-Tensors and Its Applications
赵鹏程 下载量: 286 浏览量: 453 科研立项经费支持
应用数学进展 Vol.11 No.8, August 17 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.118604 被引量
正定矩阵的判定方法和新的Brauer卵形Determination Method of Positive Definite Matrix and New Brauer Oval
郑巧娟 下载量: 1,638 浏览量: 3,340
理论数学 Vol.8 No.1, January 8 2018, PDF, HTML, XML DOI:10.12677/PM.2018.81003 被引量
底板突水水源水化学判定研究综述A Summary of Researches on Chemical Judgment of Source Water in Floor Water Inrush
徐泽栋, 姚多喜, 周 乐, 曹 力 下载量: 1,135 浏览量: 1,691 国家自然科学基金支持
矿山工程 Vol.6 No.3, July 27 2018, PDF, HTML, XML DOI:10.12677/ME.2018.63026 被引量
规则集的化简及相关性质的判定Simplifing Set of Rules and Judging Relative Properties
张亦舜 下载量: 1,500 浏览量: 5,122
计算机科学与应用 Vol.6 No.9, September 29 2016, PDF, , XML DOI:10.12677/CSA.2016.69067 被引量
地理标志证明商标的侵权判定标准研究——以浙江省法院78份涉“西湖龙井”侵权判决书为例Study on the Infringement Determination Criteria of Geographical Indication Certification Marks—Taking 78 Infringement Judgments Involving “West Lake Longjing” in Zhejiang Province Courts as an Example
曹思琦 下载量: 359 浏览量: 2,004
法学 Vol.10 No.3, May 26 2022, PDF, HTML, XML DOI:10.12677/OJLS.2022.103031 被引量
广义S-α1型块对角占优矩阵的判定及其谱分析The Determination and Spectrum of Generalized S-α1 Block Diagonally Dominant Matrices
朱开心, 庹 清, 黄 琦 下载量: 249 浏览量: 359 科研立项经费支持
应用数学进展 Vol.12 No.8, August 17 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.128360 被引量
非奇异H-矩阵的一组细分迭代实用判定方法A Set of Subdivision Iteration Practical Criteria for Nonsingular H-Matrix
吴 乐, 庹 清, 石 慧 下载量: 443 浏览量: 621 国家自然科学基金支持
应用数学进展 Vol.10 No.4, April 29 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.104138 被引量
局部外观设计专利的侵权判定规则探析Analysis on the Rules of Judging the Infringement of Local Design Patent
咸雪翊 下载量: 351 浏览量: 513
社会科学前沿 Vol.12 No.3, March 14 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.123159 被引量
一类非奇异H-矩阵快速迭代判定新算法A New Algorithm of Fast Iterative Criterion for Non-Singular H-Matrices
陈 茜, 庹 清 下载量: 1,251 浏览量: 3,335 国家自然科学基金支持
应用数学进展 Vol.8 No.1, January 22 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.81011 被引量