LIUF理论量词公式的插值算法Interpolation Algorithm for Quantifier Formulas in LIUF Theory
李千卉, 江建国, 刘文秀 下载量: 2,046 浏览量: 5,639
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46016 被引量
基于事务数据流的可重构SoC性能分析方法研究与实现Research and Implementation of Reconfigurable SoC Transaction Level Architectural Performance Analysis Based on Transaction Data Stream
胡敏慧, 李思昆, 王观武, 杜孔飞 下载量: 2,103 浏览量: 5,776 国家自然科学基金支持
软件工程与应用 Vol.4 No.6, December 28 2015, PDF, , XML DOI:10.12677/SEA.2015.46018 被引量
基于历史开销的虚拟路由器控制平面流量隔离机制研究Research on the Mechanism of Virtual Router Control Plane Traffic Isolation Based on Historical Cost
陈 科, 张晓哲, 高先明 下载量: 1,894 浏览量: 5,250
软件工程与应用 Vol.5 No.2, April 12 2016, PDF, , XML DOI:10.12677/SEA.2016.52014 被引量
多源复杂事件检测中查询计划生成与优化技术的研究Research on Query Plan Generation and Optimization in Multi-Source Complex Event Detection
苏 畅, 廖湖声, 高红雨, 张嘉伟 下载量: 1,363 浏览量: 6,153
软件工程与应用 Vol.7 No.2, April 19 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.72009 被引量
两类布尔函数的OBDD阶The OBDD Orders of Two Types of Boolean Functions
张媛, 江建国, 胡晓璐 下载量: 1,131 浏览量: 3,575
软件工程与应用 Vol.7 No.6, December 27 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.76032 被引量
企业网上报销审批系统的设计与实现Design and Implementation of Enterprise Online Reimbursement Approval System
郭 仲, 徐颖捷, 周慧慧 下载量: 550 浏览量: 1,024
软件工程与应用 Vol.10 No.4, August 4 2021, PDF, HTML, XML DOI:10.12677/SEA.2021.104054 被引量
基于深度森林的网络安全态势评估方法Network Security Situation Assessment Based on Deep Forest
马嘉辉, 汪 洋, 黄玉妍 下载量: 278 浏览量: 500 科研立项经费支持
软件工程与应用 Vol.11 No.6, December 28 2022, PDF, HTML, XML DOI:10.12677/SEA.2022.116140 被引量
基于一道课本例题的探究与拓展Based on a Textbook Example Question to Explore and Expand
邸贺璇, 陈献华, 郭继东 下载量: 198 浏览量: 278 科研立项经费支持
理论数学 Vol.13 No.4, April 23 2023, PDF, HTML, XML DOI:10.12677/PM.2023.134086 被引量
数学教学中数学质量评价工具MQI概述An Overview of the Mathematical Quality of Instruction (MQI)
郝伟静 下载量: 76 浏览量: 147
职业教育 Vol.13 No.3, May 21 2024, PDF, HTML, XML DOI:10.12677/ve.2024.133117 被引量
基于CNKI和Web of Science数据库的数学焦虑研究知识图谱分析Knowledge Graph Analysis of Mathematics Anxiety Research Based on CNKI and Web of Science Database
李丹阳, 王步遥, 张晶晶 下载量: 601 浏览量: 1,040
心理学进展 Vol.11 No.2, February 8 2021, PDF, HTML, XML DOI:10.12677/AP.2021.112040 被引量