基于程序控制流完整性检查的DSP软错误检测DSP Soft Error Detection Based on Program Control Flow Integrity Checking
周国昌, 王向涛, 高 翔, 赖晓玲, 郭阳明, 于登云 国家自然科学基金支持
计算机科学与应用Vol.5 No.4, 全文下载: PDF HTML XML DOI:10.12677/CSA.2015.54017, May 22 2015
k-归纳模型检测结果的认证器A Certifier for k-Induction Model Checking Results
刘 帅, 魏峰玉, 黄怡桐, 江建国
应用数学进展Vol.11 No.11, 全文下载: PDF HTML XML DOI:10.12677/AAM.2022.1111817, November 10 2022
1990~2023年黑龙江省降水时空变化特征Spatial-Temporal Variation Characteristics of Precipitation in Heilongjiang Province from 1990 to 2023
李 想
自然科学Vol.12 No.6, 全文下载: PDF XML DOI:10.12677/ojns.2024.126148, November 25 2024
异养硝化菌Alcaligenes faecalis NR氨单加氧酶PCR扩增及生物信息学分析PCR Amplification and Bioinformatics Analysis of AMO from a Heterotrophic Nitrifier, Alcaligenes faecalis NR
黄源生, 赵 彬, 程丹阳, 安 强 科研立项经费支持
微生物前沿Vol.6 No.2, 全文下载: PDF HTML XML DOI:10.12677/AMB.2017.62006, June 14 2017
一种三段式数字阀结构及其控制特性研究Study on the Structure and Control Characteristics of a Three-Stage Digital Valve
唐 楚, 李飞越, 王冬云
动力系统与控制Vol.7 No.3, 全文下载: PDF HTML XML DOI:10.12677/DSC.2018.73018, July 5 2018
1990⁓2022年东北地区气温时空变化特征The Characteristics of Temporal and Spatial Changes of Temperature in Northeast China in 1990~2022
程曦瑶
自然科学Vol.12 No.5, 全文下载: PDF XML DOI:10.12677/ojns.2024.125094, September 2 2024