LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,053 浏览量: 5,704
软件工程与应用 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,359 浏览量: 7,332
软件工程与应用 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
杨益昌, 刘文秀, 梁丽君, 李仁达, 谢 芹 下载量: 399 浏览量: 589 科研立项经费支持
社会科学前沿 Vol.12 No.9, September 13 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.129698 被引量
TiO2水性溶胶的制备及其对NO的净化性能Preparation of TiO2 Hydrosol and Its Purification Activity on NO
孙 芃, 张志伟, 张高雨, 刘未杰, 刘 凝, 贾依婷, 谷占勇, 王树威, 李云周, 刘文秀, 宁占武, 刘锦华 下载量: 11 浏览量: 25 科研立项经费支持
材料科学 Vol.14 No.7, July 25 2024, PDF, , XML DOI:10.12677/ms.2024.147126 被引量
线性二次型最优控制器的设计The Design of Linear Quadratic Optimal Controller
姜 静, 孟利东 下载量: 3,409 浏览量: 8,066
软件工程与应用 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
王礼伟, 赵 晨, 周 刚, 尤 杰, 陶 浩 下载量: 265 浏览量: 359 科研立项经费支持
农业科学 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
漆文静, 聂湘涛, 马永博, 郭秀明 下载量: 470 浏览量: 633
临床医学进展 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
肖易辰, 于 瑶, 胡 松, 毛拥军 下载量: 191 浏览量: 308
临床医学进展 Vol.14 No.2, February 2 2024, PDF, HTML, XML DOI:10.12677/ACM.2024.142329 被引量