模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,179 浏览量: 11,349
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
乳腺癌骨转移相关生物标志物研究进展Research Progress of Biomarkers Related to Bone Metastasis of Breast Cancer
黄子静, 马雨琪, 李雨婷, 刘定定, 杨卫卫 下载量: 79 浏览量: 175
临床医学进展 Vol.14 No.4, April 30 2024, PDF, HTML, XML DOI:10.12677/acm.2024.1441371 被引量
定域实在论量子力学确实可以建立起来——《量子力学之定域实在论回归》评介Local Realism Quantum Mechanics Can Be Established: A Book Review of Quantum Mechanics’ Return to Local Realism (预印本)
涂润生 下载量: 932 浏览量: 2,001
汉斯预印本 Vol.4 No.1, March 20 2019, PDF, , DOI:10.12677/HANSPrePrints.2019.41005 被引量
翻译美学视角下的游戏本地化翻译——以RPG游戏《漫野奇谭》为例Game Localization Translation from the Perspective of Translation Aesthetics—A Case Study of the RPG Game Wildermyth
郝蕴琪 下载量: 598 浏览量: 1,858
现代语言学 Vol.10 No.5, May 23 2022, PDF, HTML, XML DOI:10.12677/ML.2022.105126 被引量
翻译美学视角下的绍兴景观介绍研究Translation Studies on Introductions of Landscapes in Shaoxing from thePerspective of Translation and Aesthetics
张晶婧 下载量: 516 浏览量: 729 科研立项经费支持
现代语言学 Vol.11 No.2, February 24 2023, PDF, HTML, XML DOI:10.12677/ML.2023.112085 被引量
盲盒购买动机和体验的问卷编制Questionnaire Preparation of Blind Box Pur-Chasing Motivation and Experience
王琴煊, 刘诗婕, 张弘琪玥, 万书怡, 陆子欣, 朱冬梅 下载量: 260 浏览量: 587 科研立项经费支持
心理学进展 Vol.13 No.9, September 25 2023, PDF, HTML, XML DOI:10.12677/AP.2023.139508 被引量
折纸艺术在导视系统设计中的应用研究Research on the Application of Origami Art in Navigation System Design
王 灿, 鄂玉萍 下载量: 138 浏览量: 228
设计 Vol.9 No.1, February 7 2024, PDF, HTML, XML DOI:10.12677/Design.2024.91039 被引量
基于Modbus同步通讯的多电机同轴控制系统Study of Multi-Motor Coaxial Control Instrument Base on Modbus Synchronous Communication Protocol
张炳义, 李博, 刘伟, 苏立佳, 吴旭 下载量: 3,919 浏览量: 11,799 国家科技经费支持
动力系统与控制 Vol.2 No.1, January 29 2013, PDF, , DOI:10.12677/DSC.2013.21003 被引量
VXWORKS系统并发程序动态测试工具设计The Design of Dynamic Checking Tool for VXWORKS Systems Concurrent Program
梁昊, 艾云峰, 沈怀荣, 赵永超 下载量: 2,720 浏览量: 9,292
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33011 被引量
肝硬化并发SBP的诊断研究进展Research Progress in Diagnosis of Liver Cir-rhosis Complicated with SBP
李龙芬, 朱允丰, 顾 伟 下载量: 248 浏览量: 331 科研立项经费支持
临床医学进展 Vol.13 No.6, June 30 2023, PDF, HTML, XML DOI:10.12677/ACM.2023.1361462 被引量