Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 13

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  automatyzacja projektowania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Method of automatic CAM programming using machining templates
EN
The paper presents a unique method of automatic programming of CNC machines using special machining templates built into the CAM program. The method, referred to by the author as Automatic CAM Programming Using Machining Templates (i.e. the acronym ACPUT), is used in the preparation of the machining process of parts characterized by geometric and technological similarity, and is aimed at automating the work carried out in the CAM program. In addition, the results of experimental studies were presented, confirming the possibility of using the new method in practice.
PL
W pracy przedstawiono unikalną metodę automatycznego programowania maszyn CNC z użyciem specjalnych szablonów obróbki wbudowanych w program CAM. Metoda, nazwana przez autora ACPUT, jest stosowana do przygotowania procesu obróbki części charakteryzujących się podobieństwem geometrycznym i technologicznym oraz ma na celu automatyzację pracy wykonywanej w programie CAM. Konstrukcja szablonów obróbki jest wspierana przez bazę wiedzy, której przygotowanie jest jednym z etapów ACPUT. Ponadto zaprezentowano wyniki badań eksperymentalnych, potwierdzające możliwość zastosowania nowej metody w praktyce.
PL
W artykule przedstawiono koncepcję integracji systemu automatyzacji projektowania z systemem zarządzenia projektem. Opracowano model współpracy obu systemów na kilku płaszczyznach, oparty na ciągłym monitorowaniu procesu projektowania i porównywaniu założonych wartości wybranych parametrów z wartościami rzeczywistymi. Wyboru przenoszonych zmiennych dokonano przy założeniu współpracy systemu zarządzania projektem z systemem automatyzacji projektowania urządzeń srk, opracowanym do wspomagania pracy projektantów. Ze względu na specyfikę projektów srk zwrócono uwagę na: kontrolę jakości projektu w kontekście bezpieczeństwa i niezawodności systemu, wpływ odchyleń od harmonogramu na organizację ruchu, zgodność wersji i zmian z fazowaniem prac na obiektach z prowadzonym ruchem kolejowym. Strukturę modelu przedstawiono w formie graficznej.
EN
The article presents the concept of integration system of design automation and system of project management. A model was developed cooperation between the two systems on several levels, based on continuous monitoring of the design process and comparing the assumed values of the selected parameters from the actual values. The selection of variables transmitted based on the assumption of cooperation project management system with the system of design automation for railway traffic control devices, designed to support of designers. Due to the nature of projects for railway traffic control devices drew attention to the quality control of the project in the context of the safety and reliability of railway traffic control system, the impact of deviations from the schedule to the railway timetable, version compatibility, and changes in the chamfering work on objects with continuous rail traffic. The structure of the model is presented in graphical form.
PL
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.
EN
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.
4
Content available remote EDA tools for designing ΣΔ modulators working in the currentmode
EN
The article presents original tools for automating designing sigma-delta modulators working in the current mode. The solution makes it possible to optimize any modulator structure, to verify the compliance of the project with technological rules and to automate designing the layout of the circuit. The tools are compatible with popular design environments for CMOS circuits and with languages for describing circuit architectures. The proposed solution offers the designer the freedom of defining parameters expected of the modulator. The final result of the design process is a modulator topography obtained in a fully automated way and ready for fabrication. The effectiveness of the tools is demonstrated with an example of a modulator based on a current-to-frequency converter. The result of the design process was an SNDR coefficient equal to 76dB and the Walden’s FoM equal to 616fj/step for 20kHz bandwidth.
PL
W artykule zaprezentowano autorskie narzędzia służące automatyzacji projektowania modulatorów sigma-delta pracujących w trybie prądowym. Przedstawione rozwiązanie umożliwia optymalizację dowolnej struktury modulatora, weryfikację zgodności projektu z regułami technologicznymi oraz automatyzację projektowania layoutu układu. Narzędzia zgodne są z popularnymi środowiskami projektowania układów CMOS oraz językami opisu architektury układów. Zaproponowane rozwiązanie oferuje projektantowi swobodę definiowania oczekiwanych parametrów modulatora, a finalnym rezultatem procesu projektowego jest w pełni automatycznie uzyskana topografia modulatora nadająca się do fabrykacji. Skuteczność narzędzi zademonstrownao na przykładzie modulatora bazującego na przetworniku prąd-częstotliwość. W wyniku procesu projektowego uzyskano współczynnik PSNR równy 76dB oraz Walden’s FoM równy 616fj/step dla pasma 20 kHz.
5
Content available remote 2D DCT compression in the switched-current technique
EN
The article presents a methodology for designing an analogue processor for a DCT compression using methods and strategies for designing digital circuits: the row strategy, a standard digital router and an automatic synthesis of architecture from its description in a VHDL-AMS language. The correctness of work of the topography has been verified with post-layout simulations of processing an exemplary image in the compressing task, using the discrete cosine transform. The quality of processing has been compared with other solutions available in literature by calculating the PSNR and Accuracy coefficients for the processed image. The article also presents changes of the PSNR coefficient depending on the level of the applied compression.
PL
W artykule zaprezentowana została metodologia projektowania analogowego procesora kompresji DCT z wykorzystaniem metod i strategii projektowania układów cyfrowych: strategii wierszowej, standardowego cyfrowego routera oraz metod automatycznej syntezy architektury z jej opisu w języku VHDL-AMS. Poprawność działania topografii zweryfikowana została symulacjami post-layoutowymi procesu przetwarzania przykładowego obrazu w zadaniu jego kompresji za pomocą dyskretnej transformaty kosinusowej. Jakość przetwarzania porównana została z innymi rozwiązaniami dostępnymi w literaturze poprzez wyliczenie współczynników PSNR oraz Accuracy dla przetworzonego obrazu. W artykule zaprezentowano również zmiany współczynnika PSNR w zależności od stopnia zastosowanej kompresji.
EN
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.
EN
The paper presents an algorithm of the exact symbolic network function analysis that deals with circuits with any size. The only condition is to decompose the whole circuit into smaller sub-circuits. The decomposition can be the multi-level hierarchical one. What is more, the calculation for each level can be done only once and the partial results can be reused any time. A higher level subcircuit does not need too much information about a lower one. The method can be easily implemented in multiprocessor or distributed systems. Although multilevel and compressed structure, symbolical value remains cancellation-free and any path from the root to the terminal vertex represent a single term. Thus, a large-scale and small-scale sensitivities calculation and elimination of less significant terms become simply and natural. To get the s-Expanded form, the fast algorithm based on sparse polynomial multiplication methods can be applied.
PL
Artykuł przedstawia algorytm dokładnej symbolicznej analizy funkcji układowych, który radzi sobie w zasadzie z obwodami dowolnego rozmiaru. Jedynym warunkiem jest dekompozycja obwodu na mniejsze podobwody. Dekompozycja jest hierarchiczna wielopoziomowa. Co więcej, obliczenia dla każdego poziomu można wykonać tylko raz, i częściowe wyniki mogą być ponownie wykorzystane w dowolnym momencie. Poziom wyższy w hierarchii nie potrzebuje zbyt wiele informacji o poziomie niższym. Metodę w łatwy sposób można zaimplementować w systemach wieloprocesorowych i rozproszonych. Mimo wielopoziomowej i skompresowanej postaci wyniki symboliczne zawsze pozostają wolne od skróceń, a dowolna ścieżka od korzenia do węzła końcowego reprezentuje pojedynczy składnik sumy. Z tego to powodu wyznaczenie wrażliwości mało- i wielkoskalowych oraz eliminacja mniej znaczących składników staje się prosta i naturalna. Aby uzyskać wyniki w postaci ilorazu wielomianów od s mogą być zastosowane szybkie algorytmu mnożenia wielomianów rzadkich.
EN
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.
PL
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.
9
Content available remote Generacja layoutu filtrów SI w strategii wierszowej
PL
Artykuł przedstawia metodę automatyzacji projektowania layoutu filtrów SI w strategii wierszowej z wykorzystaniem języka AMPLE. W pracy opisano narzędzia, które w krótkim czasie pozwalają niezależnie od technologii uzyskać layout układu złożonego z integratorow i zwierciadeł prądowych. Zaproponowane zostaje podejście pozwalające redukować pobieraną przez układ moc i zajętość powierzchni chipu lub zwiększyć szybkość działania. Skuteczność metody zobrazowana jest na przykładzie pary filtrów SI zaprojektowanej w technologii TSMC 0,18�μm.
EN
The article introduces a method of design automation of an SI filter layout using the row strategy with the help of the AMPLE language. The work describes tools which, in short time and independently on the used technology, allow to obtain a layout of a circuit composed of integrators and current mirrors. The presented approach allows to minimise the power consumption, to reduce the chip area or to enhance the speed of the circuit. The efficiency of the method is illustrated with an SI filter pair example, designed in the TSMC 0,18μm technology.
EN
This paper presents an accurate high level model for the design of sigma-delta fractional Phase locked loop (PLL) architectures. High level models provide simulation speedups of about two orders of magnitude when compared to transistor level simulation. When compared to other models presented in the literature the proposed model has the advantage of having the frequency instead of phase as the output of the VCO. This approach greatly simplifies the implementation of the PLL blocks and results in an increase of the overall model performance. Several nonlinear phenomenons's such as cycle slipping, spurious signals and phase noise are also accurately modelled. Finally, this paper combines genetic algorithms with the proposed behavioral model to optimize the PLL parameters and reduce the impact of the sigma-delta phase noise.
12
Content available remote Polish structural mechanics at the turn of the 20th century
EN
The paper provides a review of problems of structural mechanics that have been developing in Poland during the last fifty years and presents trends in the field in the near future. The role and reputation of structural mechanics among all fields of engineering and basic sciences are the main content of Section 2, which also presents the attributes of mechanics of civil engineering structures that distinguish it from all technical sciences. Section 2 focuses on three periods of structural mechanics in Poland. The years 1945-1954, called the epoch of the slide rule, are associated not only with the use of this computational tool but also with the writing of basic books and building of foundation for the Polish structural mechanics. The second period, 1953-1971, is associated with a variety of books and analytical solutions to many problems related to solid mechanics and applications of mechanics of structures and materials in civil engineering. The third period, 1972-1990, is mostly affected by the development of numerical approaches and computer methods. Section 3 deals more deeply with the computational technology and automatic design of structures. The computational technologies refer to the analysis of the following specific areas: 1) development of finite elements, 2) adaptive techniques and error analysis, 3) multi-scale modelling of materials, 4) smart structures, 5) structural dynamics, 6) sensitivity analysis, 7) new methods for data processing and software engineering, and 8) soft computational methods. Relations between the Polish and foreign structural mechanics as well as the education of young researchers in this area are also discussed. Section 4 is devoted to a discussion of the innovative approaches that can affect the development of structural mechanics in the near future. Besides introducing order in the field of structural mechanics, the following prospective problems emerge: 1) transition from soft to intelligent computing, 2) innovations in computational structures technology, especially hybrid techniques, 3) inverse problems, 4) assessment problems, 5) development of inherent problems of structural mechanics, 6) increase of fidelity and efficiency of design methods and assessment systems, and 7) verification of models and computational systems. Some final remarks and conclusions concerning development trends are expressed in Section 5.
PL
Dokonano przeglądu problemów mechaniki konstrukcji, rozwijanych w Polsce w ostatnich 50 latach oraz przedstawiono prognozy co do kierunków ich dalszego rozwoju. Omówienie roli i miejsca mechaniki konstrukcji w rodzinie nauk inżynierskich i podstawowych oraz przedstawienie atrybutów mechaniki konstrukcji inżynierskich wyróżniających ją spośród ogółu nauk technicznych stanowi główną treść rozdziału 1. Rozdział 2 zawiera przegląd problemów rozwijanych w Polsce od połowy wieku XX. Lata 1945-1954 nazwano erą suwaka logarytmicznego, łącząc z tym narzędziem obliczeniowym czas pisania podstawowych podręczników i tworzenie podstaw mechaniki konstrukcji w powojennej Polsce. Drugi okres to lata 1953-1971, związane z pojawieniem się wielu książek i metod analitycznych służących analizie problemów mechaniki ciała stałego i zagadnień mechaniki konstrukcji i materiałów. W trzecim okresie lat 1972-1990 zaznaczył się silny rozwój mechaniki obliczeniowej i metod komputerowych. W rozdz. 3 przedstawiono obecny stan mechaniki konstrukcji w Polsce. Zajęto się w nim głębiej technologią obliczeniową i automatyzacją projektowania konstrukcji. Wyróżniono powiązania technologii obliczeniowych z następującymi problemami: 1) rozwój metody elementów skończonych, 2) techniki adaptacyjne i analiza błędów, 3) wieloskalowe modelowanie materiałów, 4) konstrukcje inteligentne, 5) dynamika konstrukcji, 6) analiza wrażliwości, 7) nowe techniki liczenia i oprogramowania, 8) miękkie metody obliczeniowe. Krótko omówiono stan polskiej mechaniki konstrukcji na tle osiągnięć światowych oraz problemy kształcenia inżynierów i badaczy w zakresie mechaniki. Rozdz. 4 poświecony prognozowaniu kierunków rozwoju zawiera omówienie problemów innowacyjnych, które będą wpływały na rozwój mechaniki w najbliższej przyszłości. Oprócz obszarów "porządkowania" zwrócono uwagę na następujące problemy: 1) przechodzenie od miękkich do "inteligentnych" metod obliczeniowych, 2) nowości w technologii obliczania konstrukcji, 3) zagadnienia odwrotne, 4) zagadnienia oceny, 5) rozwijanie analizy wewnętrznych problemów mechaniki konstrukcji, 6) wiarygodność i efektywność metod projektowania i oceny stanu konstrukcji, 7) weryfikacja modeli i systemów obliczeniowych. Pracę zamykają końcowe uwagi i główne wnioski zawarte w rozdz. 5, oraz zestawienie podstawowych pozycji bibliograficznych.
PL
W opracowaniu przedstawiono zapisy strukturalne układów złożonych z typowych elementów z wykorzystaniem formalnych wyrażeń logicznych. Wykazano możliwość zastosowania tablic decyzyjnych w procesie dekompozycji i/lub kompozycji schematów strukturalnych. Uwzględniono możliwość połączeń odpowiednich tablic decyzyjnych jako proces grupowania wybranych elementów danego układu złożonego z typowych elementów. Podano przykład układu hydraulicznego, w którym zredukowano liczbę typowych elementów na podstawie przekształceń logicznych warunków działania elementów i układu z wykorzystaniem wyrażeń analitycznych i zapisów kodowych tablic decyzyjnych.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.