Results 21 to 30 of about 191,202 (337)
Nanoscale Research Letters, 2017 Molecular dynamics simulations of nanometric cutting on monocrystalline germanium are conducted to investigate the subsurface deformation during and after nanometric cutting.
Min Lai, Xiaodong Zhang, Fengzhou Fang
doaj +1 more source
MODELING OF ROUGH ROTARY MILLING OF CRANKSHAFT PINS [PDF]
Scientific Journal of Silesian University of Technology. Series Transport, 2023 The development of the modern automotive industry requires a quick adaptation of new production methods. This is possible thanks to software capable of simulating manufacturing processes.
Kacper CIEŚLAR, Stanisław PŁONKA
doaj +1 more source
Automating cutting planes is NP-hard [PDF]
Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing, 2020 Full version of the conference version at STOC 2020 by the same ...
Göös, Mika +3 more
openaire +2 more sources
A new family of facet defining inequalities for the maximum edge-weighted clique problem [PDF]
, 2016 This paper considers a family of cutting planes, recently developed for mixed 0–1 polynomial programs and shows that they define facets for the maximum edge-weighted clique problem.
Djeumou Fomeni, Franklin
core +1 more source
Depth lower bounds in Stabbing Planes for combinatorial principles [PDF]
Logical Methods in Computer ScienceStabbing Planes (also known as Branch and Cut) is a proof system introduced very recently which, informally speaking, extends the DPLL method by branching on integer linear inequalities instead of single variables.
Stefan Dantchev +3 more
doaj +1 more source
Geometrical analysis of thread milling – Part 1: Evaluation of tool angles [PDF]
, 2010 Thread milling is a method which is increasingly used for machining thread. For this operation, a helical interpolation is required. Furthermore, the thread mill is a tool whose geometry is rather complex.
FROMENTIN, Guillaume, POULACHON, Gérard
core +2 more sources
An alternating linearization bundle method for a class of nonconvex nonsmooth optimization problems
Journal of Inequalities and Applications, 2018 In this paper, we propose an alternating linearization bundle method for minimizing the sum of a nonconvex function and a convex function, both of which are not necessarily differentiable. The nonconvex function is first locally “convexified” by imposing
Chunming Tang, Jinman Lv, Jinbao Jian
doaj +1 more source
Journal of Functional Biomaterials, 2022 This study assesses the accuracy and technical predictability of a computer-guided procedure for harvesting bone from the external oblique ridge using a patient-specific cutting guide.
Luca De Stavola +6 more
doaj +1 more source
A Static Voltage Security Region for Centralized Wind Power Integration—Part I: Concept and Method
Energies, 2014 When large wind farms are centrally integrated in a power grid, cascading tripping faults induced by voltage issues are becoming a great challenge. This paper therefore proposes a concept of static voltage security region to guarantee that the voltage ...
Tao Ding +4 more
doaj +1 more source
EURO Journal on Computational Optimization, 2023 In this paper, two new algorithms for dual decomposition-based distributed optimization are presented. Both algorithms rely on the quadratic approximation of the dual function of the primal optimization problem.
Vassilios Yfantis +4 more
doaj +1 more source