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ę "programowanie zintegrowane" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-2 z 2
    Tytuł:
    Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych
    Interpreted Petri nets as a formal model in hardware/software codesign
    Autorzy:
    Adamski, M.
    Skowroński, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/157576.pdf
    Data publikacji:
    2003
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    sieci Petriego
    programowanie zintegrowane
    mikroprocesorowe systemy sprzętowo-programowe
    Petri nets
    formal model in hardware/sofrware codesign
    Opis:
    Podejście systemowe do projektowania urządzeń o niejednorodnym charakterze wymaga stosowania formalnych metod specyfikacji, syntezy i analizy. Metody i narzędzia projektowe z kolei bazują na formalnym modelu obliczeniowym. Z tego względu dobór właściwego modelu ma fundamentalne znaczenie dla efektywności całego procesu projektowania. W pracy zaproponowano środowisko projektowe dla potrzeb zintegrowanego projektowania, w którym części sprzętowe systemu specyfikowane sa w języku VHDL, część programowa w języku C, a modelem formalnym są interpretowane sieci Petriego. Prezentowane wyniki prac znajdują również zastosowanie w projektowaniu mikrosystemów cyfrowych, zawierających układy FPGA.
    In order to model heterogeneous systems some common representation vehicle is needed. The model should have several features, the most important of wchich are : to be well suited both for software and hardware representation, allow for different manipulations (including partitioning) and be able to cope explicitly with parallelism. Interpreted Petri nets can meet all three requirements. The paper analyses the suitability of the petri nets for a representation of heterogeneous systems and outlines some practical aspects of the application of petri nets in modelling such systems.
    Źródło:
    Pomiary Automatyka Kontrola; 2003, R. 49, nr 2/3, 2/3; 17-20
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optimization of underground mine access layout and production scheduling
    Optymalizacja układu dostępu do kopalni podziemnej i harmonogramu produkcji
    Autorzy:
    Hou, Jie
    Li, Guoqing
    Hu, Nailian
    Powiązania:
    https://bibliotekanauki.pl/articles/217032.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Gospodarki Surowcami Mineralnymi i Energią PAN
    Tematy:
    access layout optimization
    production schedule optimization
    underground mine
    integer programming
    optymalizacja układu dostępu
    optymalizacja harmonogramu produkcji
    kopalnia podziemna
    programowanie zintegrowane
    Opis:
    Optimization in mine planning could improve the economic benefit for mining companies. The main optimization contents in an underground mine includes stope layout, access layout and production scheduling. It is common to optimize each part sequentially, where optimal results from one phase are treated as the input for the next phase. The production schedule is based on the mining design. Access layout plays an important role in determining the connection relationships between stopes. This paper proposes a shortest-path search algorithm to design a network that automatically connects each stope. Access layout optimization is treated as a network flow problem. Stopes are viewed as nodes, and the roads between the stopes are regarded as edges. Moreover, the decline location influences the ore transport paths and haul distances. Tree diagrams of the ore transportation path are analyzed when each stope location is treated as an alternative decline location. The optimal decline location is chosen by an enumeration method. Then, Integer Programming (IP) is used to optimize the production scheduling process and maximize the Net Present Value (NPV). The extension sequence of access excavation and stope extraction is taken into account in the optimization model to balance access development and stope mining. These optimization models are validated in an application involving a hypothetical gold deposit, and the results demonstrate that the new approach can provide a more realistic solution compared with those of traditional approaches.
    Optymalizacja w planowaniu kopalni może poprawić korzyści gospodarcze dla przedsiębiorstw górniczych. Główna część optymalizacji w kopalni podziemnej obejmuje układ wyrobisk eksploatacyjnych, schemat udostepnienia i harmonogram wydobycia. Zazwyczaj każdy etap optymalizowany jest sekwencyjnie, gdzie optymalne wyniki z jednej fazy są traktowane jako dane wejściowe do następnej fazy. Harmonogram produkcji opiera się na projekcie górniczym. Struktura udostępnienia odgrywa ważną rolę w określaniu połączeń pomiędzy przodkami eksploatacyjnymi. Ten artykuł proponuje algorytm wyszukiwania najkrótszej ścieżki, aby zaprojektować sieć, która automatycznie łączy każdy przodek. Optymalizacja struktury udostępnienia jest traktowana jako problem przepływu w sieci. Przodki są traktowane jako węzły, a drogi pomiędzy nimi jako krawędzie. Ponadto lokalizacja upadowej udostępniającej wpływa na drogi transportu rudy i odległości odstawy. Analiza ścieżek drzew zdarzeń odbywa się przy założeniu alternatywnych lokalizacji upadowych. Optymalna lokalizacja upadowej jest wybierana metodą wyliczania. Następnie, za pomocą programowania zintegrowanego (Integer Programming – IP) optymalizuje się proces planowania produkcji i maksymalizacji wartości bieżącej netto (NPV).Rozwinięty układ wyrobisk udostępniających i eksploatacyjnych jest uwzględniany w modelu optymalizacji do zbilansowania udostępnienia i eksploatacji złoża. Te modele optymalizacji są walidowane w aplikacji uwzględniającej hipotetyczne złoże rud złota, której wyniki pokazują, że nowe podejście może dostarczyć bardziej realistyczne rozwiązanie w porównaniu z tradycyjnymi metodami.
    Źródło:
    Gospodarka Surowcami Mineralnymi; 2020, 36, 2; 87-108
    0860-0953
    Pojawia się w:
    Gospodarka Surowcami Mineralnymi
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-2 z 2

      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