Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logic programming" wg kryterium: Temat


Wyświetlanie 1-3 z 3
Tytuł:
Knowledge based and CP-driven approach applied to multi product small-size production flow
Autorzy:
Bach, I.
Bocewicz, G.
Banaszak, Z. A.
Muszyński, W.
Powiązania:
https://bibliotekanauki.pl/articles/971019.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
knowledge engineering
modeling
constraint logic programming
scheduling
Opis:
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems, especially in the area of integrated production planning. In this context, CP can be considered an appropriate framework for development of decision making software, supporting scheduling of multi-robots in a multi-product job shop. The paper deals with the multi-resource problem, in which more than one shared renewable and non-renewable resource type may be required by a manufacturing operation and the availability of each type is time-windows limited. The problem is NP-complete. The aim of the paper is to present a knowledge based and CP-driven approach to multi-robot task allocation providing prompt service to a set of routine queries, stated both in direct and reverse way. Provided examples illustrate the cases with consideration of accurate and uncertain specification of robot and worker operation time.
Źródło:
Control and Cybernetics; 2010, 39, 1; 69-95
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Declarativity in modelling and problem solving
Autorzy:
Niederliński, A.
Powiązania:
https://bibliotekanauki.pl/articles/205883.pdf
Data publikacji:
2000
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
język symulacyjny
język wysokiego poziomu
optymalizacja kombinatoryczna
CHIP
CLP
combinatorial optimisation
constraint solving
declarative programming
high level language
logic programming
logic programming languages
Prolog
simulation language
Opis:
The paper discusses a new trend in the modelling software for combinatorial and mixed combinatorial-continuous decision problems. The trend, aiming at solving those problems by the simple activity of properly describing them, is best exemplified by a constantly inereasing spectrum of Constraint Logic Programming (CLP) languages. The first such language was Prolog. After a short historical survey concentrating mainly on Prolog, main characteristics of a modern, commercially successful CLP language - CHIP - are presented, discussed and illustrated. The CLP approach to problem solving is compared with traditional Operation Research approaches.
Źródło:
Control and Cybernetics; 2000, 29, 1; 325-339
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On the application of statistical kernel estimators for the demand-based design of a wireless data transmission system
Autorzy:
Kulczycki, P.
Waglowski, J.
Powiązania:
https://bibliotekanauki.pl/articles/970993.pdf
Data publikacji:
2005
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
telekomunikacja
logika rozmyta
badania operacyjne
programowanie matematyczne
telecommunication
wireless broadband data transmission systems
LMDS
statistical kernel estimators
fuzzy logic
operations research
mathematical programming
Opis:
The subject of this paper is the task of designing the LMDS (Local Multipoint Distribution System) wireless broadband data transmission system. The methodology of statistical kernel estimators and fuzzy logic using operations research and mathematical programming is applied to find optimal locations for its basestations. A procedure which allows to obtain such locations on the basis of potential customer distribution and their expected demand, also in the cases of uncertain and non-stationary data, is investigated.
Źródło:
Control and Cybernetics; 2005, 34, 4; 1149-1167
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-3 z 3

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies