基于对偶变量的计算机代数证明的机器检验Machine Checking for Computer Algebraic Proofs Based on Dual Variables
魏峰玉, 黄怡桐, 刘 帅, 江建国 下载量: 224 浏览量: 334
应用数学进展 Vol.11 No.11, November 28 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1111867 被引量
面向系统能力培养的计算机硬件实验教学模式改革研究Research on Teaching Reform of Computer Hardware Experiment Oriented to System Ability Training
刘 超, 胡成玉, 龚文引, 陈云亮, 童恒建, 王媛妮, 刘远兴 下载量: 945 浏览量: 1,282 科研立项经费支持
创新教育研究 Vol.7 No.3, June 5 2019, PDF, HTML, XML DOI:10.12677/CES.2019.73044 被引量
人机信任中的信任滥用和信任缺乏A Discussion of Trust Abuse and Lack of Trust in Human-Computer Trust
王云霄, 陈 华 下载量: 544 浏览量: 1,417 科研立项经费支持
心理学进展 Vol.12 No.8, August 11 2022, PDF, HTML, XML DOI:10.12677/AP.2022.128317 被引量
《水利行业辅助制图》课程教学改革与实践探索——以昆明理工大学水利水电工程专业为例Teaching Reform and Practice Exploration of Computer Aided Drawing of Water Conservancy Industry—An Example of Water Conservancy and Hydropower Engineering Major of Kunming University of Science and Technology
张洪波, 张小艳, 赵 伟, 雷红军, 刘 娟 下载量: 605 浏览量: 721 科研立项经费支持
创新教育研究 Vol.10 No.7, July 12 2022, PDF, HTML, XML DOI:10.12677/CES.2022.107242 被引量
计算机学院教学管理系统分析与建模Analysis and Modeling of Teaching Management System in School of Computer
李真, 何伟娜, 孙科 下载量: 1,199 浏览量: 1,801 科研立项经费支持
软件工程与应用 Vol.7 No.5, September 10 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.75027 被引量
可燃冰沉积物力学特性的离散元模拟分析Discrete Element Simulation Analysis of Mechanical Behavior of the Gas Hydrate-Bearing Sediments
王宏乾, 周 博, 薛世峰, 林英松 下载量: 1,202 浏览量: 2,682 科研立项经费支持
力学研究 Vol.7 No.3, August 31 2018, PDF, HTML, XML DOI:10.12677/IJM.2018.73010 被引量
高校“学–教–管”课程思政体系的探索与实践——以计算机系统结构课程为例Exploration and Practice of “Studying-Teaching-Managing” Framework of Ideological and Political Theories Teaching in All Courses—Taking the Computer Systems Architecture Course for Example
焦佳佳, 刘昱昊, 韩德志 下载量: 515 浏览量: 753 科研立项经费支持
教育进展 Vol.11 No.5, September 2 2021, PDF, HTML, XML DOI:10.12677/AE.2021.115244 被引量
RJ45网络与CAN总线的透明传输设计 RJ45 Network and CAN Bus Transparent Transmission Design
熊意生 下载量: 450 浏览量: 1,141
传感器技术与应用 Vol.10 No.1, December 27 2021, PDF, HTML, XML DOI:10.12677/JSTA.2022.101003 被引量
中美计算机专业学术论文摘要中模糊限制语应用的实证研究Empirical Study on Hedges in the Abstracts of Articles in Computer Science between China and America
刘 昂, 王雪霏 下载量: 950 浏览量: 1,399
现代语言学 Vol.7 No.6, December 20 2019, PDF, HTML, XML DOI:10.12677/ML.2019.76129 被引量
基于CDIO理念的计算机专业应用型实践教学体系的研究Research on Computer Professional Applied Practice Teaching System Based on CDIO Concept
纪 威, 李 君 下载量: 816 浏览量: 1,251 科研立项经费支持
职业教育 Vol.8 No.4, October 17 2019, PDF, HTML, XML DOI:10.12677/VE.2019.84028 被引量