人工智能技术在电气自动化专业认证中的应用Application of Artificial Intelligence Technology in Electric Automation under the Certified Professional Perspective
田 虓, 范翠香, 李洋, 牛瑞奇 下载量: 2,093 浏览量: 6,249
人工智能与机器人研究 Vol.7 No.2, May 25 2018, PDF, HTML, XML DOI:10.12677/AIRR.2018.72007 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 922 浏览量: 2,791
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 715 浏览量: 1,076
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
同心鼓活动协作策略的研究Research on Cooperative Strategy of Concentric Drum Activities
易毅强, 张 帆, 谢宇奇 下载量: 720 浏览量: 4,520
建模与仿真 Vol.9 No.2, April 3 2020, PDF, HTML, XML DOI:10.12677/MOS.2020.92011 被引量
基于替换错误的相似片段查找Similar Fragment Queries Based on Substitution Errors
张 帆, 谢宇奇, 饶 晨, 王明春 下载量: 616 浏览量: 870
计算机科学与应用 Vol.10 No.5, May 20 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.105100 被引量
吸烟对时距知觉的影响The Effect of Smoking on Interval Perception
龚裕奇, 霍 超, 周梅佳 下载量: 489 浏览量: 786
社会科学前沿 Vol.9 No.10, October 15 2020, PDF, HTML, XML DOI:10.12677/ASS.2020.910221 被引量
TMAH浓度对生物硝化系统中微生物群落多样性的影响Microbial Community Diversity Analysis of Nitrification Performance in Bioreactors with under TMAH Concentrations
李慧仪, 谢奇旭, 谭发祥 下载量: 779 浏览量: 2,320
环境保护前沿 Vol.10 No.5, October 30 2020, PDF, HTML, XML DOI:10.12677/AEP.2020.105092 被引量
探究电网企业供应商履约问题协调处理业务的重要性The Significance of Coordinating Implementation Issues with Supplier in Electric Power Enterprises
陈奇力, 周睿, 黄双青 下载量: 580 浏览量: 887
服务科学和管理 Vol.10 No.1, January 25 2021, PDF, HTML, XML DOI:10.12677/SSEM.2021.101005 被引量
道德情绪和清洁仪式感对身体清洁的影响The Influence of Moral Emotion and Sense of Cleansing Ceremony on Body Cleansing
王子奇, 周渝希, 唐 敏 下载量: 625 浏览量: 915 科研立项经费支持
社会科学前沿 Vol.10 No.3, March 25 2021, PDF, HTML, XML DOI:10.12677/ASS.2021.103093 被引量
基于Java的高校教学科研质量管理平台的设计Design of a Quality Management Platform for Teaching and Scientific Research in Colleges and Universities Based on Java
陈 威, 白 月, 汤汉奇, 覃业梅 下载量: 940 浏览量: 1,858 科研立项经费支持
计算机科学与应用 Vol.11 No.8, August 30 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.118221 被引量