Sciweavers

966 search results - page 7 / 194
» Global Optimization of Compositional Systems
Sort
View
ICTAI
2010
IEEE
14 years 9 months ago
Metropolis Particle Swarm Optimization Algorithm with Mutation Operator for Global Optimization Problems
When a local optimal solution is reached with classical Particle Swarm Optimization (PSO), all particles in the swarm gather around it, and escaping from this local optima becomes...
Lhassane Idoumghar, M. Idrissi-Aouad, Mahmoud Melk...
CCE
2004
14 years 11 months ago
Module-oriented automatic differentiation in chemical process systems optimization
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...
Xiang Li, Zhijiang Shao, Jixin Qian
ENTCS
2007
111views more  ENTCS 2007»
14 years 11 months ago
Compositional State Space Reduction Using Untangled Actions
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
Xu Wang, Marta Z. Kwiatkowska
ARTDB
1997
Springer
269views Database» more  ARTDB 1997»
15 years 3 months ago
Parallel Event Detection in Active Database Systems: The Heart of the Matter
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
Ulrike Jaeger, Johann K. Obermaier