Einfache und schnelle Implementierung von exakten Optimierungsalgorithmen mit SCIL

使用 SCIL 简单快速地实现精确优化算法

• 批准号: 48021572
• 负责人: Professor Dr. Ernst Althaus
• 金额: --
• 依托单位: Lehrstuhl V, Diskrete Optimierung
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2007
• 资助国家: 德国
• 起止时间: 2006-12-31 至 2013-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/48021572?language=en
• 关键词: Einfache; und; schnelle; Implementierung; von

Die Software SCIL erlaubt eine einfache Implementierung von exakten Algorithmen für schwierige Optimierungsprobleme. Sie basiert auf effizienten Branch&Cut-Verfahren, unterstützt aber anders als vergleichbare Ansätze auch symbolische Nebenbedingungen anstelle von linearen Ungleichungen. Diese haben sich im Constraint Programming bewährt und machen SCIL zu einem benutzerfreundlichen Tool, das auch Nichtexperten einen einfachen Zugang zu modernen und leistungsstarken Optimierungsverfahren ermöglicht. Ziel des Projekts ist die Weiterentwicklung von SCIL. Ein Schwerpunkt wird dabei auf der Integration neuer Separierungsverfahren liegen, die einerseits zu einer deutlichen Beschleunigung führen sollen und andererseits zu einer Erweiterung der Modellierungsmöglichkeiten. Ein wichtiger Punkt ist hierbei die Verwendbarkeit polynomieller Zielfunktionen und logischer Nebenbedingungen. Beides ist praktisch von großer Bedeutung und zunehmend Gegenstand der Forschung. Ferner soll SCIL dahingehend erweitert werden, dass eine numerisch exakte optimale Lösung der Probleme berechnet werden kann. Dies ist bei sicherheitskritischen Anwendungen, wie z.B. der automatischen Verifikation von hybriden Systemen, Grundvoraussetzung zur Nutzbarkeit der Verfahren. Um eine praxisorientierte Entwicklung sicherzustellen, beschäftigt sich ein weiterer Teil des Projekts mit der Lösung schwerer praxisrelevanter Optimierungsprobleme, die sich als Anwendungen für SCIL besonders gut eignen.

该公司致力于实施最新发展。这是开发新软件（例如分支和切割verfahren）及其象征意义等新软件的绝佳机会，这是解决问题的好方法。这是创建一个新软件的绝佳机会，可以帮助您实现实现该软件的目标。这是创建一个新软件的绝佳机会，可以帮助您改善浏览器并实现自己独特的环境。它是了解经历过此计划的客户需求的好工具。 nichtexperten einen einfachen Zugang Zu Modernen和Leistungsstarken OptimierungsverfahrenErmöglicht。 Ziel des Projekts Ist Die weiterentwicklung von Scil。 EIN SCHWERPUNKT WIRD DABEI AUF intemation neuer siplierungsverfahren liegen，die einerseits zu einer deiner deutlichen beschleunigungungungungungungungungungungungungführenundererseits undererseits zu einer erweiter erweiterung erweiterung derModellierungerungsmöglichkeiten。 EIN WICHTIGER PUNKT IST HIERBEI DIE VERWENDBARKEIT POLYINOMIELLER ZIELFUNKTIONEN和LOGISCHER NEBENBEDINGINGENGEN。 Beides ist praktisch vongroßerbedeutung und zunehmend gegenstand der forschung。 Ferner Soll sold dahingehend Erweitert Werden，dass eine numerisch exakte optimalelösunglösungder Qualitye berechnet Werden Kann。 DIES IST BEI SICHERHEITSKRITIOCHEN ANWENDUNGEN，Wie Z.B.自动验证的验证von Hybriden Systemen，世界的抗议活动使世界迷人，抗议LösungschwererPraxisrelevanter Optimierungs问题的抗议活动以及Scil Besonders gut guters gut eignen的抗议活动。