【摘 要】
：
Real-time systems are usually associated with strict performance requirements, especially in safetycritical domains.The bottleneck of performance can be found effectively by stress test.This paper foc
【机 构】
：
School of Computer Science and Technology,Soochow University,Suzhou 215006,China
【出 处】
：
2015全国理论计算机科学学术年会
论文部分内容阅读
Real-time systems are usually associated with strict performance requirements, especially in safetycritical domains.The bottleneck of performance can be found effectively by stress test.This paper focuses on stress test case generation of task deadlines.And it is expressed as a Constrained Optimization Problem (COP) that includes (1) describing the problem about task scheduling, (2) building the model using Optimization Programming Language (OPL)in CPLEX Optimization Studio, and (3) solving the problem via the CPLEX CP Optimizer.Thus, it can generate stress test cases automatically, which are the sequences of arrival times of tasks triggering worst-case executions.Furthermore, due to the significant increase in memory and time with increasing size of the problem, the uncertainty of tasks arrival time, as well as the insufficiency of a single objective function in some cases, etc., an efficient model is built by changing data structures and constraints, and the validity of the improved model in memory and time is presented via experiment.Aiming at larger-scale problem, a hybrid algorithm preliminary framework is proposed, integrating Constraint Programming (CP) and Genetic Algorithm (GA) together, which can find solutions more effectively and efficiently.
其他文献
In this paper, we consider the problem of scheduling jobs with release dates and rejection on a bounded single parallel batching machine.Our objective is to minimize the sum of total completion time o
Conditional probability neural network (CPNN) has special advantage in pattern classification problems.However, how to find the optimal parameters of the CPNN to achieve better performance is an extra
The air pollution in Lanzhou city has caused wide public concern over the recent years.Among the factors leading to air pollution in lanzhou city, high PM10 concentration is an important one.Thus, pre
In CFD simulations, the smaller the cell size is, the more accurate the result is.However, a smaller cell size in all simulation regions means much more cells which in turn increased the consumption o
In virtualized and dynamical cloud computing environment, all resources such as infrastructure, hardware,platform, software and data can be virtualized and partitioned into some kinds of resouces pool
This paper presents an integrated method for ligaturing simulation of blood vessel in Virtual Simulation Training System of Liver Surgery.The integrated method mainly includes four aspects: simulation
This paper explores the Deep Belief Networks (DBNs) in the application of high-speed train vibration signals processing.Firstly, a new method based on DBNs is proposed.The vibration signals are prepro
A regular (3, 4)-CNF formula F is a 3-CNF formula, where each variable occurs exactly four times in F.A regular (3, 4, u)-CNF formula F is a regular (3, 4)-CNF formula, where each variable occurs u ti
As an important class of approximate dynamic programming, the direct heuristic dynamic programming (DHDP) is discussed in this paper.DHDP performs well due to its model-free online learning capability
In this paper, we studied the problem of link prediction in directed signed social networks.The relationships of these networks can be either positive (friendly) or negative (hostile) and the relation