基于程序控制流完整性检查的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
异养硝化菌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
丁香酒精粗提取物在39℃条件下对PANC-1细胞生物学行为的影响Effect of Crude Extract of Clove Alcohol on the Biological Behaviour of PANC-1 Cells at 39?C
秦振伟, 廖德仲
生物医学Vol.13 No.2, 全文下载: PDF HTML XML DOI:10.12677/HJBM.2023.132031, April 25 2023
即时检测试纸内渗流理论及流动控制研究进展State-of-Art Advances in Liquid Penetration Theory and Flow Control in Paper for Paper-Based Diagnosis
冯上升, 陈玧如, 卢天健, 徐 峰 国家自然科学基金支持
渗流力学进展Vol.5 No.2, 全文下载: PDF HTML XML DOI:10.12677/APF.2015.52003, June 17 2015