Results 251 to 260 of about 2,468,475 (290)

The Depth of Cut in Drilling Mode of Rock Cutting

Applied Mechanics and Materials, 2017
Drilling and lateral cutting are two cutting modes used by roadheaders in rock cutting. Accurate estimation of the depth of cut (DOC) of the cutterhead of a roadheader is critical for improving the performance and reliabilityofthe roadheader. Some models have been developed for calculating the DOC of a cutterhead in lateral cutting mode.
Yong Sun, Xing Sheng Li
openaire   +1 more source

Cut-Elimination with Depths

2020
In this chapter we first introduce a standard cut-elimination procedure for the first-order logic and the \(\omega \)-logic, by which we see that the tree-height of the resulting cut-free proofs is bounded by a tower of exponential functions. Such a control of the tree-heights in cut-elimination is one of the most important results in ordinal analysis.
openaire   +1 more source

Intermittent metal cutting at small cutting depths—2. Cutting forces

International Journal of Machine Tools and Manufacture, 1988
Abstract Cutting forces in intermittent metal cutting at small cutting depths were investigated by single edge experiments. Single cutting strokes were performed in a modified Charpy pendulum tester which offers cutting and thrust force measurement and accurate selection of cutting speed and feed in ranges typical for many intermittent high speed ...
S. Jacobson, P. Wallén, S. Hogmark
openaire   +1 more source

Multi-cut light field depth estimation

2015 3rd IAPR Asian Conference on Pattern Recognition (ACPR), 2015
We investigate the problem of depth map estimation of a scene from 4D light-field data. Unlike prior work, we process all the input images (or sub-images) of the light-field. Indeed, for each point of the scene, different depth candidates are estimated by considering all possible 3D light-field cuts instead of only 2, i.e.
Thoma Papadhimitri, Onay Urfalioglu
openaire   +1 more source

Segmentation of depth image using graph cut

2012 9th International Conference on Fuzzy Systems and Knowledge Discovery, 2012
A large number of tasks in computer vision involve finding a target from a background image. It is also known as the foreground/background discrimination problem. Various methods have been developed to solve this problem. [1, 2, 10, 11, 12] Newly developed techniques for general purpose of object abstraction use both color and edge information for ...
Jiangming Yu, Jieyu Zhao
openaire   +1 more source

Influence of Cutting Parameters and Interactions on the Depth of Cut in Continuous Mining Operation

Advanced Materials Research, 2012
During mechanized continuous mining, the depth of cut (DOC) of picks on the drum directly affects the forces exerted on the picks, as well as the forces and torque acting on the drum. Therefore, accurate analysis of DOC of individual picks is needed to optimize the design of the drum and the operation of the continuous mining machine.
Sun, Y., Li, X. S., Shao, W.
openaire   +3 more sources

An experimental method for studies of intermittent cutting at small cutting depths

International Journal of Machine Tools and Manufacture, 1988
Abstract Most devices for metal cutting experiments are designed to simulate continuous cutting at relatively large cutting depths. However, there is also a need for techniques to study the more complex situations prevailing in other important cutting operations like milling, sawing, hobbing, shaper cutting and grinding.
Per Wallén, Staffan Jacobson, Sture Hogmark   +2 more
openaire   +1 more source

3D reconstruction with depth prior using graph-cut

Central European Journal of Operations Research, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hichem Abdellali, Zoltan Kato
openaire   +1 more source

Optimization of working parameters of water jet cutting in terms of depth and width of cut

Proceedings of the Institution of Mechanical Engineers, Part E: Journal of Process Mechanical Engineering, 2011
The purpose of this study is to optimize different operational parameters, such as the nozzle diameter, traverse velocity, standoff distance, and pump pressure, with reference to cutting efficiency parameters, namely, depth and width of cut, in the cutting operation using a pure water jet on Sardinian basalt samples.
Ozcelik, Y., Gürsel M., Ciccu, R., Costa, G., Bortolussi, A.   +8 more
openaire   +3 more sources

Cutting planes and constant depth Frege proofs

[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, 2003
The cutting planes refutation system for propositional logic is an extension of resolution and is based on showing the nonexistence of solutions for families of integer linear inequalities. The author defines a modified system of cutting planes with limited extension and shows that this system can polynomially simulate constant-depth Frege proof ...
openaire   +2 more sources