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

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 218
Tytuł:
A GIS-based Fuzzy Multi-Criteria Analysis Approach to Industrial Site Selection
Autorzy:
Buchynska, Iryna
Powiązania:
https://bibliotekanauki.pl/articles/411084.pdf
Data publikacji:
2019
Wydawca:
Polska Akademia Nauk. Oddział w Lublinie PAN
Tematy:
geographic information systems
multiple-criteria decision analysis
fuzzy set theory
alpha-cut
site selection
Opis:
The paper proposes a methodology for fuzzy multi-criteria analysis of decisions in a raster-based geographical information system (GIS) to determine the optimal locations for territorial objects. Recommendations about the stages of choosing alternatives for spatial and non-spatial constraints are given. It is shown that the fuzzyfication of criteria, that is, the conversion of their attribute values into a fuzzy set, based on expert evaluation of a fuzzy membership function, allows screening alternatives by determining thresholds of alpha-cut of fuzzy sets for each criterion, followed by combining criteria attributes using aggregation operators: minimum, maximum, weighted sum, OWA operator Jager. Adding to the procedure of multicriteria analysis of the additional stage of filtration of alternatives gives the opportunity to reduce the number of alternatives, and in the future and the processing time of the criteria layers by aggregator operators. The proposed algorithm for screening alternatives can be performed in a GIS environment using Fuzzy Membership, Overlay and raster calculators tools.
Źródło:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes; 2019, 8, 3; 17-22
2084-5715
Pojawia się w:
ECONTECHMOD : An International Quarterly Journal on Economics of Technology and Modelling Processes
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A New Arithmetically Incomplete First-Order Extension of Gl All Theorems of Which Have Cut Free Proofs
Autorzy:
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/749974.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Modal logic
GL
first-order logic
proof theory
cut elimination
reflection property
disjunction property
quantified modal logic
QGL
arithmetical completeness
Opis:
Reference [12] introduced a novel formula to formula translation tool (“formula-tors”) that enables syntactic metatheoretical investigations of first-order modallogics, bypassing a need to convert them first into Gentzen style logics in order torely on cut elimination and the subformula property. In fact, the formulator tool,as was already demonstrated in loc. cit., is applicable even to the metatheoreticalstudy of logics such as QGL, where cut elimination is (provably, [2]) unavailable. This paper applies the formulator approach to show the independence of the axiom schema ☐A → ☐∀ A of the logics M3and ML3 of [17, 18, 11, 13]. This leads to the conclusion that the two logics obtained by removing this axiom are incomplete, both with respect to their natural Kripke structures and to arithmetical interpretations.  In particular, the so modified ML3 is, similarly to QGL, an arithmetically incomplete first-order extension of GL, but, unlike QGL, all its theorems have cut free proofs. We also establish here, via formulators, a stronger version of the disjunction property for GL and QGL without going through Gentzen versions of these logics (compare with the more complexproofs in [2,8]).
Źródło:
Bulletin of the Section of Logic; 2016, 45, 1
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Novel Approach to the Solution of Matrix Games with Payoffs Expressed by Trapezoidal Intuitionistic Fuzzy Numbers
Autorzy:
Verma, T.
Kumar, A.
Kacprzyk, J.
Powiązania:
https://bibliotekanauki.pl/articles/384798.pdf
Data publikacji:
2015
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
trapezoidal intuitionistic fuzzy numbers
mathematical programming problem
two person zerosum game
α cut
β cut
Opis:
We propose a novel approach to the solution of fuzzy matrix games with payoffs given as trapezoidal intuitionistic fuzzy numbers. We extend Li’s [36, Chapter 9] work based on a cut-set based method for finding an optimal solution to overcome the fact that the assumptions and properties assumed therein do not guarantee in general, first, the very existence of an optimal solution, and second, its attainment via a mathematical programming formulation proposed. We first briefly mention those problems in Li’s [36] approach, and then propose a new, corrected and general method, called the Mehar mehod, based on a modified mathematical pro- gramming formulation of a matrix game with payoffs represented by trapezoid intuitionistic fuzzy numbers. For illustration, we solve Li’s [36] example, and compare his and our results.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2015, 9, 3; 25-46
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A numerical simulation method for a repairable dynamic fault tree
Autorzy:
Xu, Zhixin
Guo, Dingqing
Wang, Jinkai
Li, Xueli
Ge, Daochuan
Powiązania:
https://bibliotekanauki.pl/articles/1841835.pdf
Data publikacji:
2021
Wydawca:
Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
Tematy:
repairable dynamic fault tree
numerical simulation
Monte Carlo
sequential failure region
minimal cut sequence set
Opis:
Dynamic fault trees are important tools for modeling systems with sequence failure behaviors. The Markov chain state space method is the only analytical approach for a repairable dynamic fault tree (DFT). However, this method suffers from state space explosion, and is not suitable for analyzing a large scale repairable DFT. Furthermore, the Markov chain state space method requires the components’ time-to-failure to follow exponential distributions, which limits its application. In this study, motivated to efficiently analyze a repairable DFT, a Monte Carlo simulation method based on the coupling of minimal cut sequence set (MCSS) and its sequential failure region (SFR) is proposed. To validate the proposed method, a numerical case was studied. The results demonstrated that our proposed approach was more efficient than other methods and applicable for repairable DFTs with arbitrary time-to-failure distributed components. In contrast to the Markov chain state space method, the proposed method is straightforward, simple and efficient.
Źródło:
Eksploatacja i Niezawodność; 2021, 23, 1; 34-41
1507-2711
Pojawia się w:
Eksploatacja i Niezawodność
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A parametric study of higher-mode natural frequencies of composite stiffened cylindrical shell with cut-out
Autorzy:
Chaudhuri, Puja Basu
Sahoo, Sarmila
Mitra, Anirban
Powiązania:
https://bibliotekanauki.pl/articles/38890074.pdf
Data publikacji:
2023
Wydawca:
Instytut Podstawowych Problemów Techniki PAN
Tematy:
stiffener
cylindrical shell
cut-out
laminated composite
finite element
natural frequency
Opis:
A finite element-based dynamic study of cut-out borne composite cylindrical shells reinforced with stiffeners is conducted. Isoparametric shell element with eight nodes and beam element with three nodes are used to study the mode-frequency behavior of shells with varied edge conditions. Anti-symmetric angle-ply laminates of two, four and ten layers with varying lamination angles are considered. Ten-layer laminates are investigated further as they exhibit better performance in fundamental frequency than two and four-layer laminates. The reduced integration method is adopted to find the shell element’s stiffness and mass matrices and the subspace iteration method is used for the eigenvalue solution of free vibration formulation. Natural frequencies for the first five modes are considered. The effects of fiber orientation angle (θ), degree of orthotropy (E11/E22), and width/thickness ratio (b/h) on the natural frequency are determined through numerical studies. It is revealed that vibration behavior strongly depends on both the number and arrangement of boundary constraints.
Źródło:
Engineering Transactions; 2023, 71, 1; 81-109
0867-888X
Pojawia się w:
Engineering Transactions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics
Autorzy:
Gao, Feng
Tourlakis, George
Powiązania:
https://bibliotekanauki.pl/articles/749884.pdf
Data publikacji:
2015
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Modal logic
GL
QGL
first-order logic
proof theory
cut elimination
cut admissibility
provability logic
Opis:
A well established technique toward developing the proof theory of a Hilbert-style modal logic is to introduce a Gentzen-style equivalent (a Gentzenisation), then develop the proof theory of the latter, and finally transfer the metatheoretical results to the original logic (e.g., [1, 6, 8, 18, 10, 12]). In the first-order modal case, on one hand we know that the Gentzenisation of the straightforward first-order extension of GL, the logic QGL, admits no cut elimination (if the rule is included as primitive; or, if not included, then the rule is not admissible [1]). On the other hand the (cut-free) Gentzenisations of the first-order modal logics M3 and ML3 of [10, 12] do have cut as an admissible rule. The syntactic cut admissibility proof given in [18] for the Gentzenisation of the propositional provability logic GL is extremely complex, and it was the basis of the proofs of cut admissibility of the Gentzenisations of M3 and ML3, where the presence of quantifiers and quantifier rules added to the complexity and length of the proof. A recent proof of cut admissibility in a cut-free Gentzenisation of GL is given in [5] and is quite short and easy to read. We adapt it here to revisit the proofs for the cases of M3 and ML3, resulting to similarly short and easy to read proofs, only slightly complicated by the presence of quantification and its relevant rules.
Źródło:
Bulletin of the Section of Logic; 2015, 44, 3-4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Algorithm and program for finding minimal and quasi-minimal cuts in graphs
Algorytm i program znajdowania minimalnych i quasi-minimalnych przekrojów grafu
Autorzy:
Grishkeyich, A.
Piątek, Ł.
Powiązania:
https://bibliotekanauki.pl/articles/268053.pdf
Data publikacji:
2008
Wydawca:
Politechnika Gdańska. Wydział Elektrotechniki i Automatyki
Tematy:
krata dystrybutywna
przekrój nierozkladalny
jeden, dwu, trzy elementowy przekrój
distributive lattice
indecomposable cut
one-, two-, three- elements cut
Opis:
It was found, that the set of minimum cuts, separating two chosen vertices in graph, have the structure of distributive lattice. It was developed an effective procedure for finding the set of 1, 2 and 3 elements cuts in graph based on the consideration of distributive lattice of the set of minimum cuts. The procedure consists of first, the algorithm for finding indecomposable minimal cuts of distributive lattice. Second, algorithm for synthesis, using resulting subset from stage one, of the entire set of minimum cuts. The third, is the algorithm for describing the set of quasi-minimum (close to the minimum, next to minimum) cuts in the form of sum of distributive lattices of minimal cuts found for the modified function of weight. The computer program, implementing these algorithms, is presented with examples.
Ustalono, że zbiór minimalnych przekrojów, rozdzielających dwa zadane wierzchołki grafu, z wprowadzonymi na i operacjami ma strukturę kraty dystrybutywnej. Opracowano skuteczną algorytmiczną procedurę znajdowania zbioru jed dwu i trzy elementowych przekrojów grafu bazującą na rozpatrzeniu dystrybutywnych krat zbioru minimalnych przekrojów grafu. Procedura składa się z, po pierwsze, algorytmu szukania nierozkładalnych minimalnych przekrojów Dystrybutywnej, po drugie, algorytmu syntezy po tym podzbiorze w kracie dystrybutywnej całego poszukiwanego zbioru minimalnych przekrojów i, po trzecie, algorytmu opisu zbioru quasi-minimalnych (bliskich do minimalnych, następnych po minimalnych) przekrojów w formie sumy krat dystrybutywnych minimalnych przekrojów, znalezionych dla zmodyfikowanej funkcji wagi. Przedstawiono zrealizowany program komputerowy i przedstawiono przykłady pracy programu.
Źródło:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej; 2008, 25; 49-52
1425-5766
2353-1290
Pojawia się w:
Zeszyty Naukowe Wydziału Elektrotechniki i Automatyki Politechniki Gdańskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An algorithm for quadratically constrained multi-objective quadratic fractional programming with pentagonal fuzzy numbers
Autorzy:
Goyal, Vandana
Rani, Namrata
Gupta, Deepak
Powiązania:
https://bibliotekanauki.pl/articles/2175831.pdf
Data publikacji:
2022
Wydawca:
Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Tematy:
multi-objective quadratic fractional programming model
MOQFPM
pentagonal fuzzy number
PFN
mean method of α-cut
parametric approach
ε-constraint method
Opis:
This study proposes a methodology to obtain an efficient solution for a programming model which is multi-objective quadratic fractional with pentagonal fuzzy numbers as coefficients in all the objective functions and constraints. The proposed approach consists of three stages. In the first stage, defuzzification of the coefficients is carried out using the mean method of α-cut. Then, in the second stage, a crisp multi-objective quadratic fractional programming model (MOQFP) is constructed to obtain a non-fractional model based on an iterative parametric approach. In the final stage, this multi- -objective non-fractional model is transformed to obtain a model with a single objective by applying the ε-constraint method. This final model is then solved to get desired solution. Also, an algorithm and flowchart expressing the methodology are given to present a clear picture of the approach. Finally, a numerical example illustrating the complete approach is given.
Źródło:
Operations Research and Decisions; 2022, 32, 1; 49--71
2081-8858
2391-6060
Pojawia się w:
Operations Research and Decisions
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An exact algorithm for design of content delivery networks in MPLS environment
Autorzy:
Walkowiak, K.
Powiązania:
https://bibliotekanauki.pl/articles/308183.pdf
Data publikacji:
2004
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
content delivery network
optimization
branch-and-cut algorithm
Opis:
Content delivery network (CDN) is an efficient and inexpensive method to improve Internet service quality. In this paper we formulate an optimisation problem of replica location in a CDN using MPLS techniques. A novelty, comparing to previous work on this subject, is modelling the network flow as connection-oriented and introduction of capacity constraint on network links to the problem. Since the considered optimisation problem is NP-complete, we propose and discuss exact algorithm based on the branch-and-cut and branch-and-bound methods. We present results of numerical experiments showing comparison of branch-and-cut and branch-and-bound methods.
Źródło:
Journal of Telecommunications and Information Technology; 2004, 2; 13-22
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
An Investigation into Intuitionistic Logic with Identity
Autorzy:
Chlebowski, Szymon
Leszczyńska-Jasion, Dorota
Powiązania:
https://bibliotekanauki.pl/articles/750046.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
Non-Fregean logics
intuitionistic logic
admissibility of cut
propositional identity
congruence
Opis:
We define Kripke semantics for propositional intuitionistic logic with Suszko’s identity (ISCI). We propose sequent calculus for ISCI along with cut-elimination theorem. We sketch a constructive interpretation of Suszko’s propositional identity connective.
Źródło:
Bulletin of the Section of Logic; 2019, 48, 4
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analityczne wyznaczenie średniej wytrzymałości skrawów wykonywanych poprzecznymi głowicami kombajnu chodnikowego
Analytical determination of the average strength of cuts made with transverse heads of roadheader
Autorzy:
Cheluszka, P.
Sobota, P.
Bujnowska, A.
Powiązania:
https://bibliotekanauki.pl/articles/113423.pdf
Data publikacji:
2017
Wydawca:
STE GROUP
Tematy:
kombajn
proces skrawania
geometria kawałków
masy skalne
struktura warstwowa
wytrzymałość skał
skała skrawana
roadheader
cutting process
geometry of cuts
rock mass
layered structure
strength of rocks
cut rock
Opis:
Prowadzone w Instytucie Mechanizacji Górnictwa Wydziału Górnictwa i Geologii Politechniki Śląskiej badania możliwości obniżenia energochłonności urabiania przez sterowanie ruchem głowic urabiających obejmują skrawanie bloku wykonanego z materiałów ekwiwalentnych o różnej wytrzymałości na ściskanie zbudowanego z pięciu warstw nachylonych ukośnie w stosunku do spągu. W artykule przedstawiono sposób analitycznego wyznaczenia parametrów geometrycznych skrawów wykonywanych głowicami poprzecznymi kombajnu chodnikowego oraz położenia skrawu względem spągu i osi wzdłużnej kombajnu. Umożliwia to wyznaczenie granicy warstw w przekroju poprzecznym skrawu a tym samym średniej wytrzymałości skały w tym przekroju. Wykonano przykładowe obliczenia średniej wytrzymałości skrawu zrealizowanego na stanowisku badawczym.
The research conducted at the Institute of Mining Mechanisation, Faculty of Mining and Geology, Silesian University of Technology pertaining to reduction of energy consumption of cutting by controlled movement of cutting heads include the cutting of a rock block made of equivalent materials with various compressive strength, made of five layers inclined diagonally in relation to the floor. The article presents a method of analytical determination of geometrical parameters of cuts made with transverse heads of a roadheader and of the cut position relative to the floor and to the boom’s longitudinal axis. This enables to determine the limit of layers in the cut cross section, hence the average compressive strength of rock in this cross section. The examples of calculations of average strength of cut performed on a test station were made.
Źródło:
Systemy Wspomagania w Inżynierii Produkcji; 2017, 6, 2; 68-79
2391-9361
Pojawia się w:
Systemy Wspomagania w Inżynierii Produkcji
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza i ocena wyników gospodarowania w Lasach Państwowych w minionym dwudziestoleciu
Analysis and evaluation of forest management in the State Forests National Forest Holding in the last two decades
Autorzy:
Poznański, R.
Powiązania:
https://bibliotekanauki.pl/articles/972780.pdf
Data publikacji:
2012
Wydawca:
Polskie Towarzystwo Leśne
Tematy:
lesnictwo
Polska
Panstwowe Gospodarstwo Lesne Lasy Panstwowe
gospodarka lesna
gospodarka zrownowazona
pozyskiwanie drewna
wyniki gospodarowania
ocena wynikow
average age
average standing volume
volume increment
final cut
intermediate cut
planned
and executed cut
Opis:
Forest management in the State Forests in the past two decades (1990−2009) focused solely on the aging of forest stands and augmentation of forest resources. This period saw an increase in the average age of forest stands from 54 to 61 years, the average standing volume from 186 to 245 m3/ha, and the share of harvested volume in annual increment volume from 50 to 58%. As a result, the share of stands older than 80 years increased from 21 to 28% while that of plantations and young stands decreased from 14.4 to 11%. This resulted in the deterioration of the health and sanitary condition of forests.
Źródło:
Sylwan; 2012, 156, 07; 542-547
0039-7660
Pojawia się w:
Sylwan
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza numeryczna przyczyn powstawania zadziorów na powierzchni przecięcia blach karoseryjnych podczas cięcia na gilotynie
Numerical analysis of burr formation on the autobody sheet cut surface in guillotining
Autorzy:
Bohdal, Ł.
Kałduński, P.
Powiązania:
https://bibliotekanauki.pl/articles/316800.pdf
Data publikacji:
2012
Wydawca:
Instytut Naukowo-Wydawniczy "SPATIUM"
Tematy:
modelowanie 3D
MES (metoda elementów skończonych)
cięcie na gilotynie
jaskość powierzchni przecięcia
zadzior
3D modeling
FEM
guillotining
cut edge quality
burr
Opis:
W niniejszej pracy przedstawiono numeryczne sposoby analizy przyczyn powstawania zadziorów na powierzchni przecięcia blach karoseryjnych. W tym celu opracowano symulacje komputerowe dla przestrzennych stanów naprężeń i odkształceń wykorzystując metodę elementów skończonych. Otrzymano mapy intensywności naprężeń i odkształceń dla dowolnej chwili czasowej z uwzględnieniem nieliniowości występujących w procesie. Przedstawiono wybrane wyniki analizy numerycznej, które mogą być wykorzystane do projektowania procesu i jego optymalizacji.
In this paper, the influence of the guillotining parameters on burr formation using FEM method was presented. Numerical analyses were conducted in Ansys LS-Dyna programme, with the use of the explicit method. It belongs to a wider group of the methods of a direct integration of dynamic equations of motion. Cowper-Symonds' constitutive equation was used for the description of the properties of the sheet cut. The states on the strains and stresses and estimation of the quality of cut surface were presented.
Źródło:
Autobusy : technika, eksploatacja, systemy transportowe; 2012, 13, 5; 44-49
1509-5878
2450-7725
Pojawia się w:
Autobusy : technika, eksploatacja, systemy transportowe
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza SEM-EDS stanu czynnej powierzchni ściernicy impregnowanej węglem amorficznym po procesie szlifowania prostoliniowo-zwrotnego walcowych powierzchni wewnętrznych ze stopu Titanium Grade 2
SEM-EDS analysis of wear of the amorphous carbon-treated grinding wheel active surface after reciprocal internal cylindrical grinding process of Titanium Grade 2
Autorzy:
Nadolny, K.
Rokosz, K.
Kapłonek, W.
Wienecke, M.
Heeg, J.
Powiązania:
https://bibliotekanauki.pl/articles/269993.pdf
Data publikacji:
2015
Wydawca:
Wrocławska Rada Federacji Stowarzyszeń Naukowo-Technicznych
Tematy:
impregnacja ściernic
szlifowanie stopów tytanu
SEM-EDS
materiały trudnoskrawalne
szlifowanie otworów
grinding wheel impregnation
grinding of titanium alloys
hard-to-cut materials
internal cylindrical grinding
Opis:
W artykule dokonano szczegółowej analizy stanu ściernicy impregnowanej nowym typem impregnatu (węglem amorficznym) po procesie szlifowania prostoliniowo-zwrotnego walcowych powierzchni wewnętrznych wykonanych ze stopu Titanium Grade 2. W celu dokładnej identyfikacji śladów zużycia takiej ściernicy wywołanego szlifowaniem przeprowadzono analizy z użyciem elektronowej mikroskopii skaningowej (SEM – ang. Scanning Electron Microscopy) i spektroskopii dyspersji energii promieniowania rentgenowskiego (EDS – ang. Energy-dispersive X-ray Spectroscopy). Podczas badań eksperymentalnych zastosowano nowoczesną aparaturę obserwacyjno-pomiarową, w której skład wchodziły dwa elektronowe mikroskopy skaningowe JSM-5500LV firmy JEOL Ltd., Japonia i stacja robocza Auriga CrossBeam firmy Carl Zeiss Microscopy GmbH, Niemcy oraz zaawansowany detektor EDS Octane plus firmy EDAX, Inc., USA. Przeprowadzone analizy SEM-EDS pozwoliły na określenie udziału procentowego oraz kształtu i rozmieszczenia zalepień będących skutkiem adhezji wiórów Ti do czynnej powierzchni ściernicy oraz określenie udziału na niej substancji impregnującej (węgla amorficznego) po procesie szlifowania.
In this paper, a detailed analysis of the condition of the grinding wheel impregnated with a new type of impregnate (amorphous carbon) on the reciprocal internal cylindrical grinding process of Titanium Grade 2. In order to accurately identify of wear symptoms caused on the grinding wheel during grinding process, analyzes were performed using scanning electron microscopy (SEM) and energy-dispersive X-ray spectroscopy (EDS) techniques. During the experimental research modern instruments of observation and measurement were used: two scanning electron microscopes (JSM-5500LV by JEOL Ltd., Japan and workstation Auriga CrossBeam by Carl Zeiss Microscopy GmbH, Germany) as well as advanced EDS detector (Octane plus by EDAX, Inc., USA). Conducted SEM-EDS analysis made it possible to determine the percentage, the shape and arrangement of cloggings resulting from adhesion of Ti chips to the grinding wheel active surface and to determine the share of an amorphous carbon after the grinding.
Źródło:
Inżynieria Maszyn; 2015, R. 20, z. 1; 78-88
1426-708X
Pojawia się w:
Inżynieria Maszyn
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analysis of cutting picks trajectory and cutterhead vibrations of roadheader with use of high-speed cameras
Analiza trajektorii ruchu noży i drgań głowicy urabiającej kombajnu chodnikowego z wykorzystaniem kamer szybkich
Autorzy:
Mann, R.
Czerwiński, K.
Matusik, K.
Powiązania:
https://bibliotekanauki.pl/articles/1361229.pdf
Data publikacji:
2017
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
high-speed camera
roadheader
transverse cutterheads
progressive cut
degressive cut
vibrations
kamera szybka
kombajn chodnikowy
głowica poprzeczna
skraw progresywny
skraw degresywny
drgania
Opis:
In order to identify the behavior of cutting picks during the process of mining with the use of a roadheader's cutterhead, an optic system has been employed. The main elements of the system were high-speed cameras. In conjunction with TEMA Motion 3D software (which is designed to analyze movement based on images registered in videos), this allowed for a detailed analysis of the trajectories of the boom, cutterheads, and cutting picks during the process of cutting. This article presents the process of conducting measurements as well as the results of a comparative analysis of the boom vibrations and movement trajectories of cutting picks on the cutterhead for selected cut types: progressive and degressive.
Do identyfikacji ruchu noży w procesie urabiania głowicą urabiającą kombajnu chodnikowego wykorzystano zestaw optyczny, którego głównymi elementami były kamery szybkie. W powiązaniu z programem TEMA Motion 3D przeznaczonym do analizy ruchu na podstawie zarejestrowanego obrazu na filmach umożliwiło to szczegółową analizę torów ruchu wysięgnika, głowic urabiających i noży na głowicach w trakcie skrawania. W artykule przedstawiono proces prowadzenia pomiarów oraz wyniki analizy porównawczej drgań wysięgnika i torów ruchu noży na głowicy urabiającej dla wybranych skrawów: progresywnego i degresywnego.
Źródło:
Mining – Informatics, Automation and Electrical Engineering; 2017, 55, 3; 77-84
2450-7326
2449-6421
Pojawia się w:
Mining – Informatics, Automation and Electrical Engineering
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 218

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