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.
2
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
3
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
This paper focus on what types of relations exist within CAD-models and in KBE-systems connected to them. It describes how engineering knowledge stored in CAD-models and KBEsystems can be analysed through the application of graph theory, visualization and filtering. The paper is organised as follows: First the information models for CAD-models and KBEsystems are introduced and graph theory in connection with these information models is presented. The theory is then applied to a real case which is a CAD-model that was automated using a commercial KBE-system where the number of rules made it hard to engineers to grasp the model. By applying the concepts presented in this paper it was possible to identify critical design parameters and to inspect the logical model of the product.
In order to take advantage of the sophisticated features offered by CAD and CAE packages for modeling and analysis during the design process, it is essential to build a bridge assuring a coherent link between these tools. Furthermore, this integration procedure must be automated so as to get rid of the repetitive costing effort. In this paper, a new automated procedure for the CAD/CAE integration, implemented for the parametric design and structural analysis of aircraft wing structures is presented. This procedure is based on the automation capacity available in modern computer aided tools via build-in basic programming languages as well as the capacity of the model data exchange. The geometric and numerical models can be controlled to generate a large variety of possible design cases through parameters introduced beforehand.
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.
6
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
The paper presents possibilities of improving design and manufacturing preparation processes of configurable (variant) products in scope of realization of mass customization strategy. Knowledge based engineering tools are presented as a base for building systems for automation of design and manufacturing preparation. Methodologies of building KBE systems are presented and described, authors’ own methodology is presented along with selected cases of its use. It is proven that reduction of time needed for design and manufacturing preparation can be vast, justifying use of KBE systems as a way of manufacturing optimization of configurable products.
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.
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.
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.
The current work is an answer to the problem of designing switched-current (SI) circuits, which is usually a complex issue in the field of microelectronics. The mentioned task is a source of many mistakes and takes a lot of time for designers, therefore authors of the article decided to propose a software solution. This article presents an environment for design automation of analogue circuits in the switched currents technique. It points out the utility advantages of the described tools, which make the work of a VLSI designer much easier, moreover offering a possibility to parameterise the design process considering power consumption, chip area usage and its working speed. It also presents results of an automatic generation of a filter pair circuit, as well as a DCT circuit - automatically generated with the proposed SI-Studio software tools.
12
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
13
Dostęp do pełnego tekstu na zewnętrznej witrynie WWW
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.
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ć.