LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,002 浏览量: 5,258
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
DPLL算法中的变量决策启发式策略Heuristic Strategies for Deciding Variables in DPLL Algorithm
刘文秀, 江建国, 李千卉 下载量: 2,318 浏览量: 6,834
软件工程与应用 Vol.5 No.1, February 19 2016, PDF, , XML DOI:10.12677/SEA.2016.51006 被引量
校园氛围感知与公共英语学业情绪的关系The Relationship between Perception of Campus Atmosphere and Academic Emotions in Public English
杨益昌, 刘文秀, 梁丽君, 李仁达, 谢 芹 下载量: 323 浏览量: 490 科研立项经费支持
社会科学前沿 Vol.12 No.9, September 13 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.129698 被引量
线性二次型最优控制器的设计The Design of Linear Quadratic Optimal Controller
姜 静, 孟利东 下载量: 3,326 浏览量: 7,816
软件工程与应用 Vol.3 No.4, August 19 2014, PDF, , DOI:10.12677/SEA.2014.34012 被引量
稻秸秆沼液耦合对小麦农艺性状和土壤真菌多样性影响Effects of Rice Straw and Biogas Slurry Cou-pling on Wheat Agronomic Traits and Soil Fungal Diversity
王礼伟, 赵 晨, 周 刚, 尤 杰, 陶 浩 下载量: 173 浏览量: 244 科研立项经费支持
农业科学 Vol.14 No.1, January 23 2024, PDF, HTML, XML DOI:10.12677/HJAS.2024.141007 被引量
肌萎缩侧索硬化的F波与低频重复神经电刺激的特点F Wave and Low Frequency Repetitive Nerve Stimulation of Amyotrophic Lateral Sclerosis
漆文静, 聂湘涛, 马永博, 郭秀明 下载量: 397 浏览量: 539
临床医学进展 Vol.12 No.5, May 16 2022, PDF, HTML, XML DOI:10.12677/ACM.2022.125573 被引量
青岛某社区老年人肥胖代谢亚型分布构成比及影响因素分析Analysis of the Composition Ratio and Influencing Factors of Obesity Metabolic Subtypes in the Elderly in a Community in Qingdao
肖易辰, 于 瑶, 胡 松, 毛拥军 下载量: 124 浏览量: 210
临床医学进展 Vol.14 No.2, February 2 2024, PDF, HTML, XML DOI:10.12677/ACM.2024.142329 被引量