Results 21 to 30 of about 189,838 (273)
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
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
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
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
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
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
How reliable are knee kinematics and kinetics during side-cutting manoeuvres? [PDF]
, 2015 INTRODUCTION: Side-cutting tasks are commonly used in dynamic assessment of ACL injury risk, but only limited information is available concerning the reliability of knee loading parameters. The aim of this study was to investigate the reliability of side-
Bart Malfait +28 more
core +2 more sources
Infeasibility Cutting Plane for Unit Commitment Problem
CSEE Journal of Power and Energy SystemsThis paper introduces a new type of cutting plane for the unit commitment (UC) problem, namely “infeasibility cutting plane”. The infeasibility cutting plane refers to a type of logic constraint that eliminates the combination of integer ...
Shengpeng Qu, Zhifang Yang
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
Decomposition and parallel processing techniques for two-time scale controlled Markov chains [PDF]
, 2000 This paper deals with a class of ergodic control problems for systems described by Markov chains with strong and weak interactions. These systems are composed of a set of m subchains that are weakly coupled.
Filar, Jerzy A +4 more
core +1 more source