A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design

Some important classes of optimization problems originating from the optimal design of semiconductor memories such as SRAM, aiming at boosting the yield rate, are studied. New optimization methods for the classes based on a symbolic algorithm called quantifier elimination, combined with numerical co...

Celý popis

Podrobná bibliografie

Vydáno v:	Mathematics in computer science Ročník 5; číslo 3; s. 315 - 334
Hlavní autoři:	Iwane, Hidenao, Yanami, Hitoshi, Anai, Hirokazu
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Basel SP Birkhäuser Verlag Basel 01.09.2011
Témata:	Computer Science Mathematics Mathematics and Statistics Quantifier elimination Parametric optimization Model completeness and related topics 03C10 Quantifier elimination Symbolic-numeric computation Multi-objective optimization SRAM
ISSN:	1661-8270, 1661-8289
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!