Interchange Algorithms
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Optimal treatment choice and blocking for the construction of fractional factorial designs / Escolha de tratamentos e blocagem otimizados na construÃÃo de fatoriais fracionÃrios
This work deals with implementing exchange and interchange algorithms. Efficiency based optimality criteria were used to and optimal fractional factorials for response surface designs. Both treatment choice and blocking were considered. Designs found for each situation were compared to alternatives from literature. In all cases A-optimal or D-optimal designs
Publicado em: 2009
-
2. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009