RISC-V微控制器形式化方法研究
Research on Formal Verification Method of RISC-V Microcontroller

潘 越, 程子敬   

计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129  被引量

最简规范形的计算及其应用
Computation of the Simplest Normal Form and Its Application

陈淑萍    国家自然科学基金支持

动力系统与控制 Vol.5 No.3, July 18 2016, PDF, HTML, XML DOI:10.12677/DSC.2016.53010  被引量

电–氢–交通一体化的综合能源系统调度研究
Research on Scheduling Integrated Energy Systems Considering Electricity-Hydrogen-Vehicle Integration

马艳红   

电气工程 Vol.11 No.4, December 29 2023, PDF, HTML, XML DOI:10.12677/JEE.2023.114019  被引量

一种带记忆的阻尼牛顿法
A Damping Newton Method with Memory

路荟平, 奚 杰, 姜志侠    科研立项经费支持

应用数学进展 Vol.13 No.6, June 18 2024, PDF, , XML DOI:10.12677/aam.2024.136250  被引量

高维线性模型中参数组的显著性检验
Significance Tests for Parameter Group in High-Dimensional Linear Models

史延美   

应用数学进展 Vol.11 No.10, October 10 2022, PDF, HTML, XML DOI:10.12677/AAM.2022.1110734  被引量

Ada_Nesterov动量法——一种具有自适应学习率的Nesterov动量法
Ada_Nesterov Momentum Algorithm—The Nesterov Momentum Algorithm with Adaptive Learning Rate

贾熹滨, 史佳帅    科研立项经费支持

计算机科学与应用 Vol.9 No.2, February 15 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.92040  被引量

构建国家统一管理下的不可再生自然资源战略储备体系A Preliminary Study on the Establishment of Strategic Reserve System of Non-Renewable Natural Resources under Nationally Unified Management

纪玉山, 刘洋    国家科技经费支持

世界经济探索 Vol.1 No.2, , PDF, , XML DOI:10.12677/wer.2012.12003  被引量

基于公有云服务的林业巡护系统的研究与应用
Research and Design of Management Platform for Forest Patrol Based on LBS Cloud Services

王虎威, 程全英, 李 凡, 蒋 娴, 张 旭, 张媛媛    科研立项经费支持

软件工程与应用 Vol.5 No.6, December 28 2016, PDF, HTML, XML DOI:10.12677/SEA.2016.56040  被引量

基于ARM + DSP的异构平台优化加速算法
Optimization and Acceleration Algorithm for Heterogeneous Platforms Based on ARM + DSP

宋奇伟, 晋高成, 李丕丁   

建模与仿真 Vol.12 No.3, May 22 2023, PDF, HTML, XML DOI:10.12677/MOS.2023.123213  被引量

Logistic回归与随机森林模型在新中式服装消费行为影响因素中的应用
The Application of Logistic Regression and Random Forest Model in Influencing Factors of New Chinese-Style Clothing Consumption Behavior

徐菲悦, 孙嬿茹, 颜 格, 严德兴, 田海蕾    科研立项经费支持

统计学与应用 Vol.14 No.1, January 26 2025, PDF, , XML DOI:10.12677/sa.2025.141025  被引量