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


Wyświetlanie 1-7 z 7
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ł
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ł:
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ł:
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ł:
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ł
    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