搜索结果: 1-3 共查到“知识库 计算机科学技术 Complex Systems”相关记录3条 . 查询时间(0.135 秒)
KLEE:Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
KLEE Unassisted and Automatic Generation High-Coverage Tests Complex Systems Programs
2015/8/7
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive programs. We used KLEE to...
Model Reduction of Complex Systems in the Linear-Fractional Framework
Linear-Fractional Framework Complex Systems
2015/6/19
This paper discusses model reduction for systems in several different classes; in particular time-varying, multidimensional or uncertain systems, and nonlinear systems in the linear-fractional framewo...
ON THE APPLICABILITY OF STATE-OF-THE-ART FAULT DIAGNOSIS METHODOLOGIES TO SIMPLE AND COMPLEX SYSTEMS
Fault Diagnosis Complex Systems Quantitative Methods
2005/1/12
This paper performs an analysis on the applicability of state-of-the-art fault diagnosis methodologies to both simple and complex systems. Here, a complex system represents a system whose global behav...