模型检测器SPIN图形化工具的研究与应用Research and Application of the SPIN Model Checker Graphical Tools
陈平, 王德成 下载量: 3,182 浏览量: 11,377
软件工程与应用 Vol.3 No.3, June 20 2014, PDF, , DOI:10.12677/SEA.2014.33009 被引量
安全仪表系统的SIL等级和冗余要求SIL and Redundancy Requirement of Safety Instrumented System
单少卿, 关沂山, 马岳旺 下载量: 531 浏览量: 2,445
石油天然气学报 Vol.42 No.4, December 15 2020, PDF, HTML, XML DOI:10.12677/JOGT.2020.424143 被引量
概念功能视角下诗歌中反事实表达对比研究——以《上邪》为例A Comparative Study of Counterfactual Expressions in Poetry from the Perspective of Ideational Function—Taking The Pledge as an Example
解聪敏 下载量: 372 浏览量: 595
现代语言学 Vol.10 No.3, March 28 2022, PDF, HTML, XML DOI:10.12677/ML.2022.103056 被引量
基于CATIA二次开发的白车身焊装夹具参数化设计研究Research on Parametric Design of Body-in-White Welding Fixture Based on CATIA Secondary Development
胡 庆, 沈景凤, 仲梁维 下载量: 181 浏览量: 273
建模与仿真 Vol.13 No.2, March 27 2024, PDF, HTML, XML DOI:10.12677/mos.2024.132147 被引量
基于罗萨加速理论的透明社会批判分析A Critical Analysis of a Transparent Society Based on Rosa’s Theory of Acceleration
夏伟健 下载量: 78 浏览量: 161
哲学进展 Vol.13 No.5, May 31 2024, PDF, HTML, XML DOI:10.12677/acpp.2024.135162 被引量
边疆傣族村寨的“送贺”仪式及其文化内涵研究——以云南勐库为例A Study on the “Songhe” Ritual and Cultural Connotation of Dai Ethnic Villages in Border Areas—Taking Mengku, Yunnan as an example
王祎晨 下载量: 52 浏览量: 96
国学 Vol.12 No.3, June 20 2024, PDF, , XML DOI:10.12677/cnc.2024.123069 被引量
多人协同知识库系统设计Design of a Multi-Manned Collaborative Knowledge Repository System
刘卓橦, 任会峰, 郭雅瞳 下载量: 19 浏览量: 36 科研立项经费支持
设计 Vol.9 No.3, June 24 2024, PDF, , XML DOI:10.12677/design.2024.93381 被引量
基于智能视觉的混凝土微结构质量检测方法研究Research on Concrete Micro Structure Analysis Based on Intelligent Vision
郑圣子, 李相旭 下载量: 3,068 浏览量: 10,994
计算机科学与应用 Vol.3 No.5, August 19 2013, PDF, , DOI:10.12677/CSA.2013.35046 被引量
基于FPGA视频图像采集及显示系统的设计与实现Design and Implementation of a Video Image Capture and Display System Based on FPGA
彭 辉 下载量: 4,337 浏览量: 11,827
计算机科学与应用 Vol.4 No.1, January 28 2014, PDF, , DOI:10.12677/CSA.2014.41004 被引量
关于扎根理论研究方法的述评Comments on Grounded Theory Research Method
高传俊, 朱月龙 下载量: 4,313 浏览量: 14,917
心理学进展 Vol.5 No.3, March 30 2015, PDF, , XML DOI:10.12677/AP.2015.53027 被引量