模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,187 浏览量: 11,405
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
基于认知无线电通信系统的最优中继集合选择方案A Best Relay Set Selection Scheme for Cooperative Transmission in Cognitive Radio Network
刘顺兰, 王春霞, 余杰, 方 伟 下载量: 2,841 浏览量: 8,429
无线通信 Vol.5 No.1, February 10 2015, PDF, , XML DOI:10.12677/HJWC.2015.51004 被引量
改进的轻量级匿名认证协议方案Improved Lightweight Anonymous Authentication Protocol
赵士琦, 刘胜男, 贾亦巧, 翟薛涵, 焦靓姝, 张 平 下载量: 750 浏览量: 2,830 科研立项经费支持
应用数学进展 Vol.9 No.5, May 26 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.95090 被引量
基于SUMO的虚拟交通灯的设计与实现Design and Implementation of Virtual Traffic Light Based on SUMO
赵会奋, 蔡文钦, 宋 玮, 蒋 毅 下载量: 609 浏览量: 948 科研立项经费支持
计算机科学与应用 Vol.12 No.5, May 18 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125127 被引量
FPGA设计空间探索综述A Review of Spatial Exploration of FPGA Design
甘芷莹 下载量: 405 浏览量: 1,045
计算机科学与应用 Vol.12 No.4, April 22 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.124107 被引量
基于HEC-RAS的胖头泡蓄滞洪区洪水模拟与灾损评估Flood Simulation and Disaster Loss Assessment of Flood Storage and Detention Areas Based on HEC-RAS
吴 仪, 王运涛, 杨云川, 王 静, 刘海星, 伏广涛 下载量: 914 浏览量: 3,320 国家自然科学基金支持
水资源研究 Vol.9 No.1, January 7 2020, PDF, HTML, XML DOI:10.12677/JWRR.2020.91005 被引量
带有领航者的非线性Markov切换多智能体系统的均方一致性Mean Square Consensus for Leader-Following Nonlinear Multi-Agent Systems under Markov Switching Topologies
李智超 下载量: 1,881 浏览量: 5,141
统计学与应用 Vol.5 No.4, December 23 2016, PDF, HTML, XML DOI:10.12677/SA.2016.54041 被引量
异养硝化菌Alcaligenes faecalis NR氨单加氧酶PCR扩增及生物信息学分析PCR Amplification and Bioinformatics Analysis of AMO from a Heterotrophic Nitrifier, Alcaligenes faecalis NR
黄源生, 赵 彬, 程丹阳, 安 强 下载量: 2,223 浏览量: 5,077 科研立项经费支持
微生物前沿 Vol.6 No.2, June 14 2017, PDF, HTML, XML DOI:10.12677/AMB.2017.62006 被引量
具有对抗性节点的多智能体系统的固定时间准包围控制Fixed-Time Quasi-Containment Control of Multi-Agent Systems with Antagonistic Nodes
石杰鹏, 刘宏亮, 欧阳自根, 彭湘凌 下载量: 464 浏览量: 664 科研立项经费支持
理论数学 Vol.11 No.6, June 18 2021, PDF, HTML, XML DOI:10.12677/PM.2021.116129 被引量
基于子域上下文关系的DNS隐蔽信道检测方法Toward DNS-Based Covert Channel Detection Using Subdomain Context Relation
王杉杉, 杜 飞 下载量: 583 浏览量: 818
计算机科学与应用 Vol.11 No.6, June 28 2021, PDF, HTML, XML DOI:10.12677/CSA.2021.116187 被引量