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ę "automatyzacja projektowania" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Przglad metod doboru wyposazenia technicznego w budynkach dla bydla
    Autorzy:
    Siarkowski, Z
    Kwiecinski, A
    Gluski, T
    Powiązania:
    https://bibliotekanauki.pl/articles/801037.pdf
    Data publikacji:
    1997
    Wydawca:
    Szkoła Główna Gospodarstwa Wiejskiego w Warszawie. Wydawnictwo Szkoły Głównej Gospodarstwa Wiejskiego w Warszawie
    Tematy:
    obory
    wyposazenie techniczne
    automatyzacja projektowania
    budynki inwentarskie
    zalozenia projektowe
    projektowanie
    automatyzacja
    Opis:
    The article presents a review of the methods for selecting mechanized equipment in cattle barns. Additionally, the authors' own concept of designing optimum cattle raising technology on family farms is presented herein. The concept was based on the assumption that the importance of production process supersedes the output capacity of the machinery ensuring its correct operation. All process activities performed in a livestock building as well as all production resources available in cattle farming were considered. These parameters were gathered in a data base, which also contained the data on following issues: process design in cattle farming, description of production means (the barn and other associated facilities), description of farm environment conditions, and data processing procedures.
    Przedstawiono przegląd metod projektowania doboru środków mechanizacji w budynkach dla bydła. Zaprezentowano założenia metody automatyzacji procesu projektowania wyposażenia technicznego w oborach.
    Źródło:
    Zeszyty Problemowe Postępów Nauk Rolniczych; 1997, 445; 317-324
    0084-5477
    Pojawia się w:
    Zeszyty Problemowe Postępów Nauk Rolniczych
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Verification of logical descriptions with functional indeterminacy
    Weryfikacja specyfikacji logicznych z indeterminizmem funkcjonalnym
    Autorzy:
    Cheremisinova, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/153445.pdf
    Data publikacji:
    2012
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    automatyzacja projektowania
    formalna weryfikacja
    symulacja
    design automation
    formal verification
    simulation
    Opis:
    The problem under discussion is to check whether a given system of incompletely specified Boolean functions is implemented by a logical description with functional indeterminacy that is represented by a system of connected blocks. Each of blocks is specified by a system of completely or incompletely specified Boolean functions. Simulation based and SAT based verification methods is considered. The first method simulates the structure specified by the second description on the domain of the first description. The second method formulates the verification problem as checking satisfiability of a conjunctive normal form. The results of computer investigation of the proposed methods are given.
    W artykule omówiono problem sprawdzania, czy dany układ częściowo określonych funkcji Boole'owskich jest realizowany przez specyfikację logiczną z indeterminizmem funkcjonalnym. Ta specyfikacja jest przedstawiona jako system połączonych bloków, z których każdy odpowiada układowi całkiem albo częściowo określonych funkcji Boole'owskich. Rozpatrzono metodę symulacyjną i metodę bazującą na analizie spełnialności funkcji. Pierwsza z tych metod symuluje strukturę, opisaną przez drugą specyfikację, w dziedzinie pierwszej specyfikacji. Druga metoda sprowadza problem weryfikacji do problemu spełnialności funkcji w postaci iloczynu sum. Przedstawiono wyniki komputerowych badań skuteczności zaproponowanych metod.
    Źródło:
    Pomiary Automatyka Kontrola; 2012, R. 58, nr 6, 6; 519-513
    0032-4140
    Pojawia się w:
    Pomiary Automatyka Kontrola
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Exploring Processor Parallelism: Estimation Methods and Optimization Strategies
    Autorzy:
    Jordans, R
    Corvino, R
    Jóźwiak, L.
    Corporaal, H
    Powiązania:
    https://bibliotekanauki.pl/articles/398016.pdf
    Data publikacji:
    2013
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    automatyzacja projektowania
    very long instruction word
    VLIW
    design automation
    parallelism estimation
    Opis:
    Automatic optimization of application-specific instruction-set processor (ASIP) architectures mostly focuses on the internal memory hierarchy design, or the extension of reduced instruction-set architectures with complex custom operations. This paper focuses on very long instruction word (VLIW) architectures and, more specifically, on automating the selection of an application specific VLIW issue-width. The issue- width selection strongly influences all the important processor properties (e.g. processing speed, silicon area, and power consumption). Therefore, an accurate and efficient issue-width estimation and optimization are some of the most important aspects of VLIW ASIP design. In this paper, we first compare different methods for the estimation of required the issue-width, and subsequently introduce a new force-based parallelism estimation method which is capable of estimating the required issue-width with only 3% error on average. Furthermore, we present and compare two techniques for estimating the required issue-width of software pipelined loop kernels and show that a simple utilization-based measure provides an error margin of less than 1% on average.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2013, 4, 2; 55-64
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Automatyzacja procesu projektowania urządzeń sterowania ruchem kolejowym
    Automation of the design process for railway traffic control devices
    Autorzy:
    Kochan, A.
    Wontorski, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/249037.pdf
    Data publikacji:
    2016
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Komunikacji Rzeczpospolitej Polskiej
    Tematy:
    automatyzacja projektowania srk
    systemy CAD
    modelowanie UML
    design automation of railway traffic control
    CAD
    UML
    Opis:
    W artykule przedstawiono koncepcję automatyzacji procesu projektowania urządzeń srk. Zastosowano przy tym podejście systemowe i modelowanie obiektowe obejmujące całość procesu projektowania. Podjęto próbę udowodnienia, że automatyzacja tworzenia projektu urządzeń srk jest możliwa i bardzo efektywna w zakresie wszystkich powtarzalnych, typowych i ustandaryzowanych czynności. Przedstawiono autorską koncepcję systemu automatyzacji projektowania (SAP). System opiera się na dostępnym oprogramowaniu oraz idei otwartej platformy. W systemie wdrożono szereg rozwiązań autorskich: program łączenia danych z grafiką, skrypty automatyzujące tworzenie schematów, metody pozyskiwania danych. Zaprezentowano modele: struktury, danych i działania SAP wykorzystując w tym celu język modelowania obiektowego UML. Podjęto próbę oceny efektywności wdrożenia koncepcji.
    The paper presents the concept of automation of the design process for the railway traffic control devices. The system approach and object modelling, covering the whole of designing process, was applied. An attempt to prove that the automation project development of railway traffic control device is possible and that it is very effective for all repetitive, typical and standardized operations was undertaken. The authors present an original concept of system design automation (SAP). The system is based on the available software and the idea of an open platform. A number of authors’ solutions such as: a program combining data with graphics, scripts that automate the creation of schemes, methods of data collection were implemented in the system. The models such as: structure, data, and SAP activities using the object-oriented modeling language UML were presented in the paper. An attempt to assess the effectiveness of the implementation of the concept was described.
    Źródło:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne; 2016, 3(110); 111-122
    1231-9171
    Pojawia się w:
    Zeszyty Naukowo-Techniczne Stowarzyszenia Inżynierów i Techników Komunikacji w Krakowie. Seria: Materiały Konferencyjne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Non-creative and creative aspects of intellectual property on the margins of architectural and cost assessment achievements
    Nietwórcze i twórcze aspekty własności intelektualnej na marginesie dokonań w zakresie architektury oraz kosztorysowania
    Autorzy:
    Wojtkun, Grzegorz
    Powiązania:
    https://bibliotekanauki.pl/articles/27313948.pdf
    Data publikacji:
    2023
    Wydawca:
    Zachodniopomorski Uniwersytet Technologiczny w Szczecinie. Wydawnictwo Uczelniane ZUT w Szczecinie
    Tematy:
    architectural design automation
    parametric modelling
    copyright protection of architectural
    copyright protection of cost assessment work
    orphan work
    automatyzacja projektowania architektonicznego
    modelowanie parametryczne
    prawnoautorska ochrona twórczości architektonicznej
    prawnoautorska ochrona kosztorysu
    utwór osierocony
    Opis:
    This paper discusses the supposition that an architectural design is, in every case, a creative act. The problem of the work as a result of creative human labour, along with its copyright-related consequences, has become a leading theme in reporting the research. The creative aspect of professional endeavours was also raised, in this case, cost assessment. All this is presented against a backdrop of a general discussion on intellectual property while also pointing to cases of legislatively futile attempts at establishing authorship.
    W niniejszym artykule podjęto kwestię domniemania, że projekt architektoniczny każdorazowo stanowił dokonanie o twórczym charakterze. Zagadnienie utworu jako rezultatu twórczej pracy człowieka wraz z prawnoautorskimi tego następstwami stało się nicią wiodącą w relacjonowaniu badań. Jednocześnie podniesiono twórczy aspekt dokonań branżowych, w tym wypadku pracy kosztorysowej. Wszystko to przedstawiono na tle rozważań ogólnych dotyczących własności intelektualnej wskazując jednocześnie na wypadki bezskutecznego z legislacyjnego punktu widzenia ustalenia autorstwa utworu.
    Źródło:
    Przestrzeń i Forma; 2023, 53; 135--160
    1895-3247
    2391-7725
    Pojawia się w:
    Przestrzeń i Forma
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Adaptive partition-based logic simulation using GPGPU
    Autorzy:
    Zhang, M.
    Zhang, Y
    Yang, W.
    Kai, Y.
    Wei, T.
    Fan, X.
    Powiązania:
    https://bibliotekanauki.pl/articles/398148.pdf
    Data publikacji:
    2011
    Wydawca:
    Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
    Tematy:
    symulacja logiczna
    obliczenia strumieniowe
    GPGPU
    obliczenia ogólnego przeznaczenia na układach GPU
    CUDA
    EDA
    Automatyzacja procesu projektowania systemów elektronicznych
    logic simulation
    stream computing
    Opis:
    With the improvement of the gate complexity, the verification overhead becomes more decisive for VLSI design cost In order to reduce the simulation time, a adaptive partition based parallel method of VLSI logic simulation with GPGPU is addressed in this paper. The numerous arithmetic blocks of GPGPU is utilized simultaneously for disparate circuit macros. The partition strategy we proposed shows a sufficient flexibility to balance the different work load in parallel threads and fit the feature of GPU architecture. To explore the parallelism and locality of logic simulation further, the circuit macro is organized as stream data. The data dependency between the input and output nets in one individual logical path is handled with the shared memory of GPGPU. As for different logical paths, the dependency is processed by threads synchronization. To illustrate the performance, a serial experiments is implemented in Intel CoreDuo workstation with Nvidia GTX465 GPU board. Four typical digital circuits (LDPC, DES3, OpenRISC 1200 and OpenSPARCPARC T1) are considered as the benchmark. The result of experiments demonstrate a significant speed-up is achieved by using GPGPU parallel method, comparing with the CPU serial logic simulation. In maximal case (OpenS T1), the GPGPU parallel acceleration computes 21 times faster than serial program.
    Źródło:
    International Journal of Microelectronics and Computer Science; 2011, 2, 4; 121-128
    2080-8755
    2353-9607
    Pojawia się w:
    International Journal of Microelectronics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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