Results 321 to 330 of about 1,349,956 (360)

Cut-Elimination for Quantified Conditional Logic [PDF]

Journal of Philosophical Logic, 2016
A semantic embedding of quantified conditional logic in classical higher-order logic is utilized for reducing cut-elimination in the former logic to existing results for the latter logic. The presented embedding approach is adaptable to a wide range of other logics, for many of which cut-elimination is still open.
Christoph Benzmüller, Christoph Benzmüller   +1 more
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Cutting conditions for thread mills

Russian Engineering Research, 2015
Recommendations are made regarding the operating conditions for thread mills. The supply per tooth, cutting speed, and mill life are determined.
openaire   +2 more sources

Monitoring of Cutting Conditions with Dry Cutting on CNC Turning Machine

Key Engineering Materials, 2010
This paper presents the additional work of the previous research in order to verify the previously obtained cutting condition by using the different cutting tool geometries. The effects of the cutting conditions with the dry cutting are monitored to obtain the proper cutting condition for the plain carbon steel with the coated carbide tool based on the
Somkiat Tangjitsitcharoen, Suthas Ratanakuakangwan   +1 more
openaire   +2 more sources

Tool Wear Mechanism in Interrupted Cutting Conditions

Materials and Manufacturing Processes, 2009
In this study the machinability of ductile iron having ferritic structure was examined in interrupted cutting conditions. For this purpose, cylindrical samples with 1, 2, and 4 axial slots were prepared. Uncoated cemented carbide cutting tool was used in this work.
Sayit, Ercan, Aslantaş, Kubilay, Çiçek, Adem   +2 more
openaire   +4 more sources

Model of complex optimization of cutting conditions

Journal of Materials Processing Technology, 1997
Modern flexible production with its JUST-IN-TIME philosophy requires efficient organization, high quality tools, selected machining materials with defined mechanical and technological properties and continual determination and optimization of cutting conditions.
Janez Kopac, Jože Balič, Franc Čuš, Mirko Soković   +3 more
openaire   +2 more sources

Optimization of cutting conditions in Microsoft Excel

Proceedings of the 8th International Scientific and Practical Conference of Students, Post-graduates and Young Scientists Modern Technique and Technologies, 2002. MTT 2002., 2004
Modern stage of scientific and technological progress is characterized by a wide introducing of computer techniques. They allow one to increase efficiency and to reduce the time-for work in calculating the cutting conditions, standard time for processing, analysis of cutting processes, designing technological processes, etc.
N.K. Elaeva, A.A. Surkov
openaire   +2 more sources

Optimum Cutting Conditions for Turned Components

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture, 1992
This paper describes the procedures used in a technologically orientated numerically controlled (NC-) system to determine the optimum culling conditions automatically for turning, drilling, grooving, threading and parting-off operations. In rough turning, the optimum depth and feed combination is determined using a direct search procedure on the ...
G. Barrow, Srichand Hinduja, Joseph A. Arsecularatne   +2 more
openaire   +2 more sources

Power Requirements of Hemp Cutting and Conditioning

Biosystems Engineering, 2004
Abstract Laboratory experiments were conducted on cutting hemp ( Cannabis sativa L .) using a sickle knife section and a countershear to determine the mechanical properties of the stems. The results showed that the cutting force and energy were significantly greater at a higher moisture content and specific mass of hemp stem.
Jean Louis Gratton, Jude Liu, Ying Chen
openaire   +2 more sources

On Global Optimality Conditions and Cutting Plane Algorithms [PDF]

Journal of Optimization Theory and Applications, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Effective cutting conditions in abrasive machining

Russian Engineering Research, 2014
Effective cutting conditions are considered in relation to the requirements on the product, for the example of external and plane grinding by the periphery of the wheel. Any technological constraint may be expressed as a region in parameter space.
openaire   +2 more sources