Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

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

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
EN
Additive manufacturing is an essential solution in the production of parts. Model slicing is an important step of the 3D printing process. The slicing of the layers is the core part of the additive manufacturing because it transforms the 3D model to a 2D profile layer for the printer to manufacture. A novel machine architecture deposits with a helical path. The helical architecture provides a continuous rotation that allows printing continuously without any interruption. Therefore there are no more starting and ending point at each layer. This paper proposes a slicing method compatible with this type of machine. Continuous printing is made as a function of z-level, so at each angle of rotation, the level of z will be incremented. Finally, these disks can be combined as one image to be sent to the ink-jet as a continuous printing. To illustrate this novel slicing methodology a model is sliced.
EN
The article demonstrates a method of measuring energy requirements of a cutting process as researched at the Department of Process Engineering, Safety and Ecotechnology. The specially constructed workstation and examples of results obtained are presented. The cutting process has been conducted using stainless steel and low-friction coated blades with each blade's entry conditions variables, such as speed and the angle of entry, determined. In order to compare cutting resistance caused by friction between the blades' surface and the cut substance, wire cutting has also been performed.
PL
W artykule przedstawiono metodę badania energochłonności procesu cięcia opracowaną w Zakładzie Inżynierii Procesowej, Bezpieczeństwa i Ekologii. Zaprezentowano skonstruowane stanowisko badawcze oraz przykładowe wyniki badań wykonane z wykorzystaniem tego stanowiska. Proces cięcia prowadzono nożami ze stali narzędziowej oraz pokrytymi powłokami charakteryzującymi się małym współczynnikiem tarcia, przyjmując w planie badań dla każdego noża zmienne wejściowe: kąt ostrza oraz prędkość cięcia. Aby porównać opory cięcia wynikające z tarcia materiału o powierzchnię noża przeprowadzono także cięcie materiału drutem.
PL
Prezentowane wyniki badań wskazują na zbliżoną skuteczność obu bibliotek w implementacji algorytmów ekstrakcji niezależnych fragmentów kodu. Dla badanego zestawu pętli testowych operacje tranzytywnego domknięcia unii relacji zależności oraz ekstrakcji punktów reprezentatywnych fragmentów kodu zostały policzone dla podobnych zbiorów pętli z zestawu testowego NAS. Biblioteka Omega Calculator wydaje się być projektem bardziej kompletnym, oprócz funkcji do przeprowadzania obliczeń z zakresu arytmetyki Presburgera, zawiera także analizator zależności Petit oraz funkcje generującą kod na podstawie zbioru krotek. Biblioteka ISL nie zawiera własnego analizatora zależności. Wprowadzenie do niej relacji zależności wymaga opracowania dodatkowych konwerterów. Do generowania kodu także należy wykorzystać inne narzędzia, np. Cloog [6]. Zaletami biblioteki ISL jest ciągły rozwój i częste aktualizacje oraz zgodność z najnowszymi wersjami kompilatora języka C. Wpływa to na szybkość wykonywania algorytmów (potwierdzonych w powyższych badaniach), co jest głównym plusem tego narzędzia w przeprowadzonym porównaniu. Algorytmy wyznaczania niezależnych fragmentów kodu nie narzucają zastosowania konkretnego środowiska i narzędzi, co świadczy także o ich uniwersalności. Wymagana jest dokładna reprezentacja zależności w postaci relacji oraz zdolność do przeprowadzania operacji arytmetyki Presburgera na nich. Umiejętna implementacja i dobór narzędzi stanowi o praktycznej użyteczności opracowywanych algorytmów do ekstrakcji równoległości. W przyszłych badaniach zamierzona jest dalsza weryfikacja możliwości omawianych narzędzi z wykorzystaniem innych zestawów pętli testowych.
EN
Finding synchronization-free slices is a technique of extracting parallelism available in loops. In this paper, two implementations of slicing algorithms are compared using the two polyhedral model libraries: the Omega Calculator and the Integer Set Library (ISL). These tools allow us to execute calculations using Presburger arithmetic. Results of experiments with the NASA Parallel Benchmark Suite are presented. The goal of experiments was to examine whether these both tools are able to calculate the transitive closure of a union of dependence relations, slice representatives, and synchronization-free slices.
4
Content available remote Slicing Abstractions
EN
Abstraction and slicing are both techniques for reducing the size of the state space to be inspected during verification. In this paper, we present a new model checking procedure for infinite-state concurrent systems that interleaves automatic abstraction refinement, which splits states according to new predicates obtained by Craig interpolation, with slicing, which removes irrelevant states and transitions from the abstraction. The effects of abstraction and slicing complement each other. As the refinement progresses, the increasing accuracy of the abstract model allows for a more precise slice; the resulting smaller representation gives room for additional predicates in the abstraction. The procedure terminates when an error path in the abstraction can be concretized, which proves that the system is erroneous, or when the slice becomes empty, which proves that the system is correct.
PL
W artykule przedstawiono opracowany w Morskim Instytucie Rybackim sposób sterowania operacją wycinania płatów z tuszek ryb karpiowatych, zwiększający jej technologiczną wydajność. W sposobie tym wykorzystano określoną w pomiarach morfometrycznych zależność pomiędzy początkową grubością (średnicą) kręgosłupa (dp) a maksymalną grubością tuszki (b) - dp = 0,222b oraz stały, niezależny od wielkości ryby, kąt zbieżności kręgosłupa (alfa).
EN
The article presents a method developed at the Marine Fishing Institute of controlling cutting of slices from cyprinids fish carcas to increase process performance. In the method relation between the initial thickness (diameter) of spine (dp), and maximum thickness of carcas (b) -dp = 0,222b determined in morphometric measurements, and constant angle of spine convergence (alpha) independent from fish size was used.
PL
Przedstawiono wyniki badań wpływu głębokości i prędkości skrawania na wartości sił pionowych. Badania sił działających na narzędzia o kształcie klina prostego i symetrycznego klina ukośnego o kątach wzniosu 30° i 50° oraz szerokościach 9 i 14 cm przeprowadzono w warunkach polowych w glebie o składzie granulometrycznym gliny piaszczystej przy wilgotności 12-14%. Stwierdzono, że wzrost głębokości i prędkości skrawania powodują przyrost wartości sił pionowych (zagłębiających). Wyższymi wartościami sił zagłębiających charakteryzują się narzędzia o kształcie klina prostego w porównaniu z symetrycznym klinem ukośnym. Wyższe wartości sił obserwuje się również przy skrawaniu narzędziami o większej szerokości lub mniejszym kącie wzniosu, przy czym narzędzia te charakteryzuje również wyższy gradient siły zarówno przy wzroście głębokości jak i prędkości skrawania.
EN
The vertical soil forces acting on wedge-shape and skew wedge shape tools with varied width and lift angle were measured. Investigations were conducted in field conditions in light clay soil (moisture 12%-14%). Working depth was between 4 and 16 cm and speed was between 0,5 and 3,0 m/s. It was found that vertical forces increase with increase of depth and speed. Higher vertical forces are observed for wedge-shape tool, higher width and lower lift angle.
PL
W pracy przedstawiono metodykę pomiaru oraz wyniki badań procesu cięcia na plastry całych warzyw (marchew, pietruszka korzeniowa, burak ćwikłowy, seler korzeniowy oraz rzodkiew) w warunkach laboratoryjnych. Stwierdzono statystycznie istotny wpływ kąta ostrza na wartości jednostkowej energii cięcia badanych warzyw. Najwyższe wartości uzyskano dla noży o kącie ostrza wynoszącym 10° i 20°.
EN
Paper described the measuring method and investigation results concerning the slicing process of root vegetables (such as carrot, parsley, red beet, celery and garden radish) under laboratory conditions. Significant effect of cutting edge position on specific energy requirement at cutting of tested root vegetables was stated. The highest values were obtained for the blades of cutting edge angles 10 and 20 deg.
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ć.