搜索结果: 1-5 共查到“计算机科学技术 Complex Systems”相关记录5条 . 查询时间(0.093 秒)
2017 复杂系统专题会议(2017 Complex Systems)
2017 复杂系统 专题会议
2017/6/29
This track invites all papers addressing the challenges of scaling evolution up to real-life complexity. This includes both the real-life complexity of biological systems, such as artificial life, art...
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
2010/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...