找回密碼
 To register

QQ登錄

只需一步，快速開(kāi)始

掃一掃，訪(fǎng)問(wèn)微社區(qū)

打印 上一主題 下一主題

Titlebook: Einführung in die Constraint-Programmierung; Grundlagen, Methoden Petra Hofstedt,Armin Wolf Textbook 2007 Springer-Verlag Berlin Heidelberg

[復(fù)制鏈接]
查看: 35693|回復(fù): 55
樓主
發(fā)表于 2025-3-21 19:20:54 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung
副標(biāo)題Grundlagen, Methoden
編輯Petra Hofstedt,Armin Wolf
視頻videohttp://file.papertrans.cn/305/304067/304067.mp4
概述Grundlegende Einführung in die Constraint-Programmierung.Stellt verschiedene Konzepte und Sprachmittel (z.B. in Java) zur Constraint-Programmierung vor.Zeigt deren Anwendbarkeit auf verschiedene Probl
叢書(shū)名稱(chēng)eXamen.press
圖書(shū)封面Titlebook: Einführung in die Constraint-Programmierung; Grundlagen, Methoden Petra Hofstedt,Armin Wolf Textbook 2007 Springer-Verlag Berlin Heidelberg
描述.Die Constraint-Programmierung liefert Methoden zur effizienten Modellierung von Systemen oder zur L?sung von Problemstellungen, bei denen nur unvollst?ndige Informationen vorliegen (z.B. Entscheidungssysteme, Optimierungsprobleme, Analyse stochastischer Prozesse), sowie zur L?sung kombinatorischer Probleme (Ressourcenmanagement) oder auch bei der Entwicklung komplexer Deduktionssysteme....Dieses Lehrbuch gibt eine kompakte Einführung in die Constraint-Programmierung. Dabei werden neben allgemeinen theoretischen Grundlagen auch Sprachen, Methoden und Verfahren zur Modellierung und L?sung von Constraint-Problemen vorgestellt sowie deren Anwendungsfelder betrachtet und anhand typischer Beispiele wie Terminplanung, Finanzwesen, Optimierung, Simulation und Diagnose vergegenst?ndlicht. ...Das Buch richtet sich an Studierende der Informatik im Hauptstudium. Es basiert auf einer einsemestrigen Vorlesung mit übungen der Autoren..
出版日期Textbook 2007
關(guān)鍵詞Methode; Modellierung; Objektorientiert; Objektorientierte Programmierung; Optimierung; Programmiersprach
版次1
doihttps://doi.org/10.1007/978-3-540-68194-6
isbn_softcover978-3-540-23184-4
isbn_ebook978-3-540-68194-6Series ISSN 1614-5216
issn_series 1614-5216
copyrightSpringer-Verlag Berlin Heidelberg 2007
The information of publication is updating

書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung影響因子(影響力)




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung被引頻次




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung被引頻次學(xué)科排名




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung年度引用




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung年度引用學(xué)科排名




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung讀者反饋




書(shū)目名稱(chēng)Einführung in die Constraint-Programmierung讀者反饋學(xué)科排名




單選投票, 共有 1 人參與投票
 

1票 100.00%

Perfect with Aesthetics
 

0票 0.00%

Better Implies Difficulty
 

0票 0.00%

Good and Satisfactory
 

0票 0.00%

Adverse Performance
 

0票 0.00%

Disdainful Garbage
您所在的用戶(hù)組沒(méi)有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 22:01:19 | 只看該作者
Logische Programmierung als auch Constraints, basieren auf der Pr?dikatenlogik. Die Constraintlogische Programmierung ist eine Generalisierung der logischen Programmierung, indem sie neben Gleichungen über Termen auch Constraints beliebiger anderer Bereiche zul?sst.
板凳
發(fā)表于 2025-3-22 03:30:07 | 只看該作者
Constraints und Constraint-L?sersche Formeln. Wenn wir auf diese Weise ein Problem, wie in Abschnitt 2.5 das SEND-MORE-MONEY-Problem, beschrieben haben, k?nnen wir mit Hilfe eines . prüfen, ob die Constraints der Problembeschreibung erfüllbar sind und ausrechnen, wie entsprechende L?sungen aussehen. Ein Constraint-L?ser ist dabei
地板
發(fā)表于 2025-3-22 07:24:25 | 只看該作者
5#
發(fā)表于 2025-3-22 12:07:03 | 只看該作者
Lineare Arithmetische Constraintsstraints dieses Systems genauer. Danach werden wir in Abschnitt 5.2 die Simplex-Methode kennen lernen, mit deren Hilfe man über die Erfüllbarkeit einer Menge linearer Constraints entscheiden und Projektionen berechnen kann. Die Realisierung wichtiger Constraint-L?ser-Operationen auf der Basis der Si
6#
發(fā)表于 2025-3-22 15:36:03 | 只看該作者
Constraint-logische Programmierung (CLP)er Programme und in Anfragen neben logischen Pr?dikaten auch Constraints erlaubt sind. Bei der Auswertung werden die Pr?dikate wie in logischen Programmen weiterhin mit Resolution abgeleitet, w?hrend Constraints mit Hilfe von Constraint-L?sern auf Erfüllbarkeit überprüft werden. Das Zusammenspiel zw
7#
發(fā)表于 2025-3-22 17:38:08 | 只看該作者
8#
發(fā)表于 2025-3-22 23:57:41 | 只看該作者
Constraint Handling Rulestische Umformen von Constraint-Mengen oder -Konjunktionen zu verstehen. Im Wesentlichen werden dabei Teilstrukturen genutzt, die vordefinierten Mustern entsprechen, um weitere Constraints herzuleiten oder durch andere, ggf. einfachere zu ersetzen.
9#
發(fā)表于 2025-3-23 02:27:29 | 只看該作者
10#
發(fā)表于 2025-3-23 05:58:40 | 只看該作者
Symmetrien und Redundanzenwie dem effizienten Umgang mit beiden. Wir besch?ftigen uns mit diesen Aspekten der Constraint-Programmierung, da sowohl ein Aufbrechen von Symmetrien als auch der geschickte Einsatz von redundanten Constraints die Suchr?ume der modellierten Constraint-Probleme einschr?nken und damit ein schnelleres
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛(ài)論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評(píng) 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國(guó)際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-19 17:38
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
兖州市| 长治县| 休宁县| 达州市| 清镇市| 霍山县| 郑州市| 台州市| 盐城市| 昔阳县| 宜兰县| 新蔡县| 永德县| 双鸭山市| 修文县| 观塘区| 贵州省| 万荣县| 措美县| 高雄市| 固始县| 科技| 曲靖市| 榆树市| 蓝山县| 神木县| 兖州市| 鹤壁市| 清远市| 彰化市| 丘北县| 玛纳斯县| 湘乡市| 陆川县| 涟源市| 乳山市| 清远市| 红原县| 和平县| 永昌县| 赤壁市|