Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Czwartek, 24 maja 2012
Zula, Jan, Maria, Joanna
 1945: utworzono Uniwersytet Łódzki, Politechnikę Łódzką, Politechnikę Gdańską i Politechnikę Śląską
1543: zmarł Mikołaj Kopernik, astronom polski
1931: w Raszynie uruchomiona zostaje najsilniejsza w Europie stacja radiofoniczna (moc 120 kW), która swym zasięgiem obejmuje całą Polskę
Nowe publikacje
Dziewiąte międzynarodowe warsztaty nt. modelowania z ograniczeniami i reformułowania, St Andrews, Wlk. Brytania
Dodano:
|20 Sie 2010|, 2010 17:41
|
|
|
Dnia 6 września 2010 r. w St Andrews, Wlk. Brytania, odbędą się dziewiąte, międzynarodowe warsztaty nt. modelowania z ograniczeniami i reformułowania.
Programowanie z ograniczeniami (CP) to skuteczna technologia do modelowania i rozwiązywania problemów kombinatorycznych. Jest to paradygmat programowania, który nie określa kroku ani sekwencji kroków do wykonania. Zamiast tego w CP wyszczególnia się właściwości rozwiązania, które należy znaleźć.
W ostatniej dekadzie znacząca liczba badań naukowych była poświęcona modelowaniu i rozwiązywaniu problemów z ograniczeniami. CP jest teraz dojrzałą dziedziną, wykorzystywaną z powodzeniem w szerokim zakresie złożonych zastosowań praktycznych. Niemniej technologia ta jest obecnie dostępna jedynie dla garstki ekspertów. Aby CP znalazło szersze zastosowanie również wśród laików, potrzebne są dalsze badania w celu ułatwienia korzystania z tej technologii.
Tematy warsztatów obejmą następujące zagadnienia:
- interesujące problemy i sposoby modelowania ich;
- poznanie zasad modelowania, które mogłyby posłużyć do ręcznego lub automatycznego formułowania modeli;
- identyfikacja kryteriów do wykorzystania w ocenie modeli i inżynierii technik pragmatycznych, które upraszczają wybór i ewentualne łączenie modeli alternatywnych;
- projektowanie języków modelowania wyższego poziomu i automatycznych technik reformułowania.
Za: CORDIS
Czy wiesz że...?
wersja BETA
Narzędzia do modelowania w języku UML (Unified Modeling Language Ujednoliconym Języku Modelowania), to oprogramowanie, które pozwala tworzyć modele pomocne przy programowaniu, ale także analizie procesów biznesowych. Narzędzia podzielono na wolne/otwarte i zamknięte (komercyjne).
pełny tekst
Modelowanie molekularne zbiór technik obliczeniowych, które służą do modelowania i przewidywania właściwości cząsteczek lub układów ponadcząsteczkowych.
pełny tekst
Moduł "Czy wiesz że...?" (wersja testowa, beta): definicje/pojęcia wygenerowane w obrębie tego modułu pochodzą z Wikipedii i udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Dostęp do pełnej wersji każdego hasła (oraz dokładnch informacji na temat licencji, autora oraz edycji) możliwy jest po kliknięciu w odnośnik opisany jako "pełny tekst".
|
|
|
^ |
|
 |
|
Komentarze: brak |
|
Powered by
phpBB © 2000, 2002, 2005, 2007 phpBB Group
|
Do druku