实时可信的构件技术研究
Research on Technology of Real-Time and Dependable Component

彭城, 魏乐   

计算机科学与应用 Vol.6 No.4, April 29 2016, PDF, HTML, XML DOI:10.12677/CSA.2016.64030  被引量

异质实体的设计与制造
Design and Manufacturing of Heterogeneous Objects

袁祁刚, 杨继全, 张国安, 张锋锋    国家自然科学基金支持

机械工程与技术 Vol.3 No.1, March 12 2014, PDF, HTML, DOI:10.12677/MET.2014.31004  被引量

两类布尔函数的OBDD阶
The OBDD Orders of Two Types of Boolean Functions

张媛, 江建国, 胡晓璐   

软件工程与应用 Vol.7 No.6, December 27 2018, PDF, HTML, XML DOI:10.12677/SEA.2018.76032  被引量

基于i-BPMN业务架构的CPN可执行建模方法
CPN Executable Modeling Method Based on i-BPMN Business Architecture

周宇秀, 倪 枫, 刘 姜, 肖云天, 朱佳怡   

应用数学进展 Vol.12 No.2, February 22 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.122058  被引量

SPSS统计软件教学微视频的制作
Developing of SPSS Teaching Micro-Videos

马 娟, 张荣强, 孙 娜, 杨 卉, 刘启玲    科研立项经费支持

社会科学前沿 Vol.7 No.1, January 25 2018, PDF, , DOI:10.12677/ASS.2018.71017  被引量

基于DCS架构的自来水厂智能控制系统研究
Research on Intelligent Control System of Water Plant Based on DCS

肖家胜   

水资源研究 Vol.4 No.4, August 25 2015, PDF, HTML, XML DOI:10.12677/JWRR.2015.44044  被引量

中间件透明性和可观察性综述
A Survey of Middleware Transparency and Observability

尹云飞, 彭燕华    国家科技经费支持

软件工程与应用 Vol.5 No.1, February 17 2016, PDF, HTML, XML DOI:10.12677/SEA.2016.51002  被引量

红外可燃气体探测器的设计与实现
Design and Implementation of Infrared Combustible Gas Detector

庞晓明, 冯宏伟, 单正娅, 齐 斌   

传感器技术与应用 Vol.6 No.3, July 4 2018, PDF, HTML, XML DOI:10.12677/JSTA.2018.63011  被引量

单平面有向无圈图中最小路覆盖问题的算法研究
Research of Minimum Path Covering Problem Algorithm in Single Planar Directed Acyclic Graph

管 锐, 梁东岳, 杨卫华    科研立项经费支持

应用数学进展 Vol.12 No.4, April 26 2023, PDF, HTML, XML DOI:10.12677/AAM.2023.124171  被引量

核电安全分析软件的监管研究
Research on the Regulatory of the Safety Analysis Software in Nuclear Power Plants

李 森   

核科学与技术 Vol.11 No.3, July 27 2023, PDF, HTML, XML DOI:10.12677/NST.2023.113030  被引量