Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Banaszak, Z." wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Towards CLP-based task-oriented DSS for SME
    Autorzy:
    Tomczuk, I.
    Bzdyra, K.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/118215.pdf
    Data publikacji:
    2005
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    decision support
    constraint logic programming
    production planning
    modelling
    scheduling
    Opis:
    Decision making supported by task-oriented software tools plays a pivotal role in a modern enterprises. That is because commercially available ERP systems are not able to respond in an interactive on-line/real-time mode. It means a new generation of DSS that enable a fast prototyping of production flows in multiproject environment as well as an integrated approach to a layout planning, production routing, batch-sizing and scheduling problems is needed. In that context, the constraint logic programming techniques allowing declarative representation of a decision making problem provide a quite attractive alternative. So, some issues regarding modelling of decision making and searching strategies development are discussed in the contribution. The results obtained are implemented in a software package supporting production flow planning in the SMEs. Illustrative example of the ILOG-based software application is provided.
    Źródło:
    Applied Computer Science; 2005, 1, 1; 181-200
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Cyclic scheduling and diophantine problems
    Autorzy:
    Bocewicz, G.
    Bzdyra, K.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/118273.pdf
    Data publikacji:
    2009
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    diophantine problem
    cyclic scheduling
    time-table
    multicriteria optimization
    Opis:
    Cyclic scheduling concerns both kinds of questions following the deductive and inductive ways of reasoning. First class of problems concentrates on rules aimed at resources assignment as to minimize a given objective function, e.g. the cycle time, the flow time of a job. In turn, the second class focuses on a system structure designing as to guarantee the assumed qualitative and/or quantitative measures of objective functions can be achieved. The third class of problems can be seen, however as integration of earlier mentioned, i.e. treating design and scheduling or design and planning simultaneously. The complexity of these problems stems from the fact that system configuration must be determined for the purpose of processes scheduling, yet scheduling must be done to devise the system configuration. In that context, the contribution provides discussion of some Diophantine problems solubility issues, taking into.
    Źródło:
    Applied Computer Science; 2009, 5, 1; 11-25
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Integracja problemów doboru, alokacji i planowania działań zespołu mobilnych robotów inspekcyjnych: model deklaratywny
    Integrated approach to selection, docking and routing planning of multi mobile robot inspection system: declarative modeling perspective
    Autorzy:
    Bocewicz, G.
    Bzdyra, K.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/395413.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    system robotów mobilnych
    inspekcja pomieszczeń
    programowanie z graniczeniami
    multi mobile robot system
    indoor inspection
    constraints programming
    Opis:
    Rozważany problem doboru, alokacji i planowania działań grupy robotów mobilnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym języka OZ Mozart. Dla zadanego zbioru zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych i przemieszczające się w nim roboty oraz zbioru ograniczeń wiążących te zmienne, poszukiwana jest strategia planowania struktury i alokacji elementów umożliwiająca w określonym horyzoncie czasu inspekcję zadanej liczby pomieszczeń. Proponowane podejście zilustrowane zostało na załączonych przykładach.
    Declarative modeling provides attractive perspective for integrated approach to selection, docking and routing planning of multi mobile robot inspection system problem formulation. For given set decision variables describing indoor environment and acting robots as well as the set of constraints limiting these variables robots' navigation strategy is sought out. The solution should respond to the question: what kind and how many and in which way initially docked robots enable to inspect a given indoor environment within a given time horizon? The approach proposed is illustrated on multiple examples.
    Źródło:
    Postępy Nauki i Techniki; 2011, 9; 52-67
    2080-4075
    Pojawia się w:
    Postępy Nauki i Techniki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Towards automated synthesis of concurrent control programs
    Autorzy:
    Bocewicz, G.
    Bzdyra, K.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/117806.pdf
    Data publikacji:
    2011
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    automated synthesis
    automatic modeling
    concurrent control programs
    Opis:
    One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.
    Źródło:
    Applied Computer Science; 2011, 7, 2; 7-20
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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