Einfache und schnelle Implementierung von exakten Optimierungsalgorithmen mit SCIL
使用 SCIL 简单快速地实现精确优化算法
基本信息
- 批准号:48021572
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Priority Programmes
- 财政年份:2007
- 资助国家:德国
- 起止时间:2006-12-31 至 2013-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
软件SCIL是一个用于解决schwierige Optimierungsprobleme问题的工具。Sie basiert auf effizienten分支&Cut-Verfahren,unstützt aber anders als vergleichbare Ansätze auch symbolische Nebenbedingungen anstelle von linearen Ungleichungen.这在约束编程中已经被证明是一个更好的工具,也是一个更现代化和更优化的工具。这些项目是SCIL的最后一项工作。一个Schwerpunkt将有助于集成neuer Separierungsverfahren liegen,die einerseits zu einer deutlichen Besquerunigung führen sollen and anderseits zu einer Erweiterung der Modellierungsmöglichkeiten。一个最重要的观点是它的多项式Zielfunktionen和logischer Nebenbedingungen。这是一种实践,它是研究的基础和基础。要想理解韦尔登的SCIL,一个最佳的数字可以解释韦尔登的问题。这是一个非常重要的批评,就像z.B.用于混合系统的自动验证,用于验证的基本要求。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.
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr. Ernst Althaus其他文献
Professor Dr. Ernst Althaus的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr. Ernst Althaus', 18)}}的其他基金
Graph Grammars for Molecular Structure Search and Classification
用于分子结构搜索和分类的图文法
- 批准号:
416768284 - 财政年份:2019
- 资助金额:
-- - 项目类别:
Research Grants
相似海外基金
Selbststabilität und Kontrolle für das schnelle Laufen. Die Auswirkungen von Störungen auf selbststabiles Rennen des Menschen
快速运行的自我稳定性和控制。
- 批准号:
159031786 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Research Grants
Schnelle quantitative und ortsaufgelöste Komplettcharakterisierung von Solarzellen durch Kombination von "CELLO" auf FFT Impedanzspektroskopie
通过将“CELLO”与 FFT 阻抗谱相结合,对太阳能电池进行快速定量和空间分辨完整表征
- 批准号:
59716990 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Research Grants
Entwicklung und schnelle Optimierung von komplexen Mikrostrukturmodellen für die Steuerung von Umformprozessen in realer Zeit unter Nutzung von schnellen Untersuchungsmethoden
使用快速研究方法实时控制成形过程的复杂微观结构模型的开发和快速优化
- 批准号:
29610618 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Priority Programmes
Schnelle Randelementemethode zur Berechnung der Schallabstrahlung und des Hydromasseneffekts schiffbaulicher Strukturen (T03)
计算船舶结构声辐射和水质量效应的快速边界元法(T03)
- 批准号:
34835220 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Collaborative Research Centres (Transfer Project)
Selbststabilität und Kontrolle für das schnelle Laufen Die Auswirkungen von Störungen auf selbststabiles Rennen des Menschen (Thema -Laufen: Intelligente Mechanik und Kontrolle)
快速跑步的自稳定与控制干扰对人类自稳定跑步的影响(主题-跑步:智能力学与控制)
- 批准号:
5443412 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Research Grants
Kombinatorische Herstellung und schnelle Vermessung der Eigenschaften von in eine amorphe Matrix eingebetteten nanokristallinen Mischoxiden (B15)
嵌入非晶基体中的纳米晶混合氧化物性能的组合生产和快速测量 (B15)
- 批准号:
5418174 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Collaborative Research Centres
Schnelle Prozess- und Komponenten-Entwicklung durch zerstörungsfreie mikrostrukturanalytische und in situ-Untersuchung kompletter Bauteile in einem Großkammer-Rasterelektronenmikroskop
通过在大室扫描电子显微镜中对完整部件进行无损微观结构分析和原位检查,实现快速工艺和部件开发
- 批准号:
5423789 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Research Grants
Ontologische Skalen für die automatisierte Erfassung, die effiziente Verarbeitung und schnelle Visualisierung von Landschaftsmodellen
用于景观模型自动采集、高效处理和快速可视化的本体尺度
- 批准号:
5408503 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Research Grants
Aktionsplan-Informatik: Neue Methoden und schnelle Algorithmen zur effizienten und natürlichen Interaktion mit virtuellen Umgebungen
计算机科学行动计划:与虚拟环境进行高效、自然交互的新方法和快速算法
- 批准号:
5401202 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Independent Junior Research Groups
Schnelle cytokinin-induzierte Stickoxid(NO)-Biosynthese in der Cytokinin-Signaltransduktion in Arabidopsis-Mutanten und im Wildtyp
拟南芥突变体和野生型细胞分裂素信号传导中快速细胞分裂素诱导的一氧化氮 (NO) 生物合成
- 批准号:
5409911 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Research Grants