Search NASA⌕ Search

SEARCH · Search NASA

Results for “cutting planes”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 19 records

Riemann–Hilbert Problems on a Cut Plane

We consider the Riemann–Hilbert-type boundary-value problems in the case of several unknown functions and obtain solvability conditions and index formulas for the linear conjugation problem, the Riemann–Hilbert problem, and the Riemann–Hilbert–Poincaré problem on a plane cut along several regular arcs in various weighted functional classes. We also examine the general differential boundary-value problem for analytic functions and boundary-value problems with shifts and complex conjugation on a cut plane.

97 MATHEMATICS AND COMPUTING↗

Displaying CFD Solution Parameters on Arbitrary Cut Planes

USMC6 is a Fortran 90 computer program for post-processing in support of visualization of flows simulated by computational fluid dynamics (CFD). The name "USMC6" is partly an abbreviation of "TetrUSS - USM3D Solution Cutter," reflecting its origin as a post-processor for use with USM3D - a CFD program that is a component of the Tetrahedral Unstructured Software System and that solves the Navier-Stokes equations on tetrahedral unstructured grids. "Cutter" here refers to a capability to acquire and process solution data on (1) arbitrary planes that cut through grid volumes, or (2) user-selected spheroidal, conical, cylindrical, and/or prismatic domains cut from within grids. Cutting saves time by enabling concentration of post-processing and visualization efforts on smaller solution domains of interest. The user can select from among more than 40 flow functions. The cut planes can be trimmed to circular or rectangular shape. The user specifies cuts and functions in a free-format input file using simple and easy-to-remember keywords. The USMC6 command line is simple enough that the slicing process can readily be embedded in a shell script for assembly-line post-processing. The output of USMC6 is a data file ready for plotting.

Pao, S. Paul↗

Orbital Conflict: Cutting Planes for Symmetric Integer Programs

Cutting planes have been an important factor in the impressive progress made by integer programming (IP) solvers in the past two decades. However, cutting planes have had little impact on improving performance for symmetric IPs. Rather, the main breakthroughs for solving symmetric IPs have been achieved by cleverly exploiting symmetry in the enumeration phase of branch and bound. In this work, we introduce a hierarchy of cutting planes that arise from a reinterpretation of symmetry-exploiting branching methods. There are too many inequalities in the hierarchy to be used efficiently in a direct manner. However, the lowest levels of this cutting-plane hierarchy can be implicitly exploited by enhancing the conflict graph of the integer programming instance and by generating inequalities such as clique cuts valid for the stable set relaxation of the instance. We provide computational evidence that the resulting symmetry-powered clique cuts can improve state-of-the-art symmetry-exploiting methods. Furthermore, the inequalities are then employed in a two-phase approach with high-throughput computations to solve heretofore unsolved symmetric integer programs arising from covering designs, establishing for the first time the covering radii of two binary-ternary codes.

97 MATHEMATICS AND COMPUTING↗

Round-off errors in cutting plane algorithms based on the revised simplex procedure

This report statistically analyzes computational round-off errors associated with the cutting plane approach to solving linear integer programming problems. Cutting plane methods require that the inverse of a sequence of matrices be computed. The problem basically reduces to one of minimizing round-off errors in the sequence of inverses. Two procedures for minimizing this problem are presented, and their influence on error accumulation is statistically analyzed. One procedure employs a very small tolerance factor to round computed values to zero. The other procedure is a numerical analysis technique for reinverting or improving the approximate inverse of a matrix. The results indicated that round-off accumulation can be effectively minimized by employing a tolerance factor which reflects the number of significant digits carried for each calculation and by applying the reinversion procedure once to each computed inverse. If 18 significant digits plus an exponent are carried for each variable during computations, then a tolerance value of 0.1 x 10 to the minus 12th power is reasonable.

Moore, J. E.↗

Cutting planes for the multistage stochastic unit commitment problem

As renewable energy penetration rates continue to increase in power systems worldwide, new challenges arise for system operators in both regulated and deregulated electricity markets to solve the security-constrained coal-fired unit commitment problem with intermittent generation (due to renewables) and uncertain load, in order to ensure system reliability and maintain cost effectiveness. In this paper, we study a security-constrained coal-fired stochastic unit commitment model, which we use to enhance the reliability unit commitment process for day-ahead power system operations. In our approach, we first develop a deterministic equivalent formulation for the problem, which leads to a large-scale mixed-integer linear program. Then, we verify that the turn on/off inequalities provide a convex hull representation of the minimum-up/down time polytope under the stochastic setting. Next, we develop several families of strong valid inequalities mainly through lifting schemes. In particular, by exploring sequence independent lifting and subadditive approximation lifting properties for the lifting schemes, we obtain strong valid inequalities for the ramping and general load balance polytopes. Lastly, branch-and-cut algorithms are developed to employ these valid inequalities as cutting planes to solve the problem. Our computational results verify the effectiveness of the proposed approach.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

ISOLEV - A level surface cutting plane program for fluid flow data

A computer program, ISOLEV, allows interactive visualization of CFD scalar and vector functions by means of user-specified sections of the data. The application is based on table lookups which govern both isosurface generation on hexahedral grid cells and recursive subdivision of the cells. The program supports Gouraud-shaded color maps of the data, surface-on-surface maps, and deformation surfaces of vector fields. The execution of the code for animated sweeps is improved by resorting to the cells in the database and maintaining an active set of cells to be rendered.

Kerlick, G. David↗

Complementary Measurements of Residual Stresses Before and After Base Plate Removal in an Intricate Additively-Manufactured Stainless-Steel Valve Housing

Residual stress measurements using neutron diffraction and the contour method were performed on a valve housing made from 316 L stainless steel powder with intricate three-dimensional internal features using laser powder-bed fusion additive manufacturing. The measurements captured the evolution of the residual stress fields from a state where the valve housing was attached to the base plate to a state where the housing was cut free from the base plate. Making use of this cut, thus making it a non-destructive measurement in this application, the contour method mapped the residual stress component normal to the cut plane (this stress field is completely relieved by cutting) over the whole cut plane, as well as the change in all stresses in the entire housing due to the cut. The non-destructive nature of the neutron diffraction measurements enabled measurements of residual stress at various points in the build prior to cutting and again after cutting. Good agreement was observed between the two measurement techniques, which showed large, tensile build-direction residual stresses in the outer regions of the housing. The contour results showed large changes in multiple stress components upon removal of the build from the base plate in two distinct regions: near the plane where the build was cut free from the base plate and near the internal features that act as stress concentrators. These observations should be useful in understanding the driving mechanisms for builds cracking near the base plate and to identify regions of concern for structural integrity. Neutron diffraction measurements were also used to show the shear stresses near the base plate were significantly lower than normal stresses, an important assumption for the contour method because of the asymmetric cut.

36 MATERIALS SCIENCE↗

Toward a scalable robust security-constrained optimal power flow using a proximal projection bundle method

Robust security-constrained optimal power flow (rSCOPF) aims to find the worst-case contingencies of alternating current optimal power flow (ACOPF) in power systems. With the rise of GPU architectures on the upcoming supercomputer architectures, optimization algorithms that rely on sparse linear algebra and indefinite linear systems are becoming increasingly hard to solve efficiently (e.g. interior-point method). To address this we revisit a maximin optimization formulation of the rSCOPF and the single-level mixed-integer semidefinite programming (MISDP) reformulation, which is obtained by taking the Lagrangian relaxation of the inner minimization ACOPF problem. In this paper, we focus on the development of a proximal projection bundle method (PPBM) for solving continuous relaxation node subproblems of the MISDP problem, based primarily on the well-known alternating direction method of multipliers. Cutting planes reminiscent of bundle method ideas are also applied in coordination with updates of the proximal parameter. The cutting-plane method can generate a large number of linear inequalities, leading to a large scale but decomposable quadratic programming (QP) subproblem that is amenable to GPUs. We present the numerical results on the IEEE 30, 57, 118, and 300-bus systems by using our PBMM method. We discuss the main computational bottleneck of our method, which is the time taken to solve each iteration of a QP subproblem instance of the PPBM, and how GPU architectures can accelerate this solution process.

bundle method↗

Kirigami Engineering—Nanoscale Structures Exhibiting a Range of Controllable 3D Configurations

Abstract Kirigami structures provide a promising approach to transform flat films into 3D complex structures that are difficult to achieve by conventional fabrication approaches. By designing the cutting geometry, it is shown that distinct buckling‐induced out‐of‐plane configurations can be obtained, separated by a sharp transition characterized by a critical geometric dimension of the structures. In situ electron microscopy experiments reveal the effect of the ratio between the in‐plane cut size and film thickness on out‐of‐plane configurations. Moreover, geometrically nonlinear finite element analyses (FEA) accurately predict the out‐of‐plane modes measured experimentally, their transition as a function of cut geometry, and provide the stress–strain response of the kirigami structures. The combined computational–experimental approach and results reported here represent a step forward in the characterization of thin films experiencing buckling‐induced out‐of‐plane shape transformations and provide a path to control 3D configurations of micro‐ and nanoscale buckling‐induced kirigami structures. The out‐of‐plane configurations promise great utility in the creation of micro‐ and nanoscale systems that can harness such structural behavior, such as optical scanning micromirrors, novel actuators, and nanorobotics. This work is of particular significance as the kirigami dimensions approach the sub‐micrometer scale which is challenging to achieve with conventional micro‐electromechanical system technologies.

Zhang, Xu↗

Probabilistic N - k failure-identification for power systems

This work considers a probabilistic generalization of the N - k failure-identification problem in power transmission networks, where the probability of failure of each component in the network is known a priori and the goal of the problem is to find a set of k components that maximizes disruption to the system loads weighted by the probability of simultaneous failure of the k components. The resulting problem is formulated as a bilevel mixed-integer nonlinear program. Convex relaxations, linear approximations, and heuristics are developed to obtain feasible solutions that are close to the optimum. A general cutting-plane algorithm is proposed to solve the convex relaxation and linear approximations of the N - k problem. Extensive numerical results corroborate the effectiveness of the proposed algorithms on small-, medium-, and large-scale test instances; the test instances include the IEEE 14-bus system, the IEEE single-area and three-area RTS96 systems, the IEEE 118-bus system, the WECC 240-bus test system, the 1354-bus PEGASE system, and the 2383-bus Polish winter-peak test system.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Robust vehicle routing under uncertainty via branch-price-and-cut

Here, this paper contemplates how branch-price-and-cut solvers can be employed along with the robust optimization paradigm to address parametric uncertainty in the context of vehicle routing problems. In this setting, given postulated uncertainty sets for customer demands and vehicle travel times, one aims to identify a set of cost-effective routes for vehicles to traverse, such that the vehicle capacities and customer time window constraints are respected under any anticipated demand and travel time realization, respectively. To tackle such problems, we propose a novel approach that combines cutting-plane techniques with an advanced branch-price-and-cut algorithm. Specifically, we use deterministic pricing procedures to generate "partially robust" vehicle routes and then utilize robust versions of rounded capacity inequalities and infeasible path elimination constraints to guarantee complete robust feasibility of routing designs against demand and travel time uncertainty. In contrast to recent approaches that modify the pricing algorithm, our approach is both modular and versatile. It permits the use of advanced branch-price-and-cut technologies without significant modification, while it can admit a variety of uncertainty sets that are commonly used in robust optimization but could not be previously employed in a branch-price-and-cut setting.

42 ENGINEERING↗

XFEM Development for Modeling Crack Growth in Prototypical Welded Components

Nuclear power plant components are subjected to harsh operating environments that can lead to multiple degradation mechanisms in which fracture can play a prominent role. Predicting crack growth is important for assessing the integrity of welded components. The extended finite element method (XFEM) is an important tool for modeling such crack growth, and XFEM capabilities have been developed within the MOOSE framework. This report documents work in the MOOSE XFEM module to model fractures in three-dimensional representations of components using a topologically two-dimensional mesh to define cutting planes. Crack growth algorithms have been implemented to evolve the cutting mesh based on equations for stress corrosion cracking. Additionally, several usability and robustness improvements have been developed to enable three-dimensional fracture simulations. The cutting algorithms were demonstrated on a three-dimensional model of a prototypical reactor component undergoing stress corrosion cracking driven by idealized weld residual stresses. This is an incremental step toward using this capability to model more complex components with residual stresses computed through welding process simulations.

42 - ENGINEERING↗

FFT applications to plane-polar near-field antenna measurements

The four-point bivariate Lagrange interpolation algorithm was applied to near-field antenna data measured in a plane-polar facility. The results were sufficiently accurate to permit the use of the FFT (fast Fourier transform) algorithm to calculate the far-field patterns of the antenna. Good agreement was obtained between the far-field patterns as calculated by the Jacobi-Bessel and the FFT algorithms. The significant advantage in using the FFT is in the calculation of the principal plane cuts, which may be made very quickly. Also, the application of the FFT algorithm directly to the near-field data was used to perform surface holographic diagnosis of a reflector antenna. The effects due to the focusing of the emergent beam from the reflector, as well as the effects of the information in the wide-angle regions, are shown. The use of the plane-polar near-field antenna test range has therfore been expanded to include these useful FFT applications.

Gatti, Mark S.↗

Rotor Wake Vortex Definition Using 3C-PIV Measurements: Corrected for Vortex Orientation

Three-component (3-C) particle image velocimetry (PIV) measurements, within the wake across a rotor disk plane, are used to determine wake vortex definitions important for BVI (Blade Vortex Interaction) and broadband noise prediction. This study is part of the HART II test program conducted using a 40 percent scale BO-105 helicopter main rotor in the German-Dutch Wind Tunnel (DNW). In this paper, measurements are presented of the wake vortex field over the advancing side of the rotor operating at a typical descent landing condition. The orientations of the vortex (tube) axes are found to have non-zero tilt angles with respect to the chosen PIV measurement cut planes, often on the order of 45 degrees. Methods for determining the orientation of the vortex axis and reorienting the measured PIV velocity maps (by rotation/projection) are presented. One method utilizes the vortex core axial velocity component, the other utilizes the swirl velocity components. Key vortex parameters such as vortex core size, strength, and core velocity distribution characteristics are determined from the reoriented PIV velocity maps. The results are compared with those determined from velocity maps that are not corrected for orientation. Knowledge of magnitudes and directions of the vortex axial and swirl velocity components as a function of streamwise location provide a basis for insight into the vortex evolution.

Burley, Casey L.↗

Feasibility of Percutaneous Intrahepatic Split by Microwave Ablation (PISA) After Portal Vein Embolization for Hypertrophy of Future Liver Remnant: The Radiological Stage-1 ALPPS

PurposeTo assess the feasibility of radiological stage-1 ALPPS, associating liver partition and portal vein ligation for staged hepatectomy, by combining portal vein embolization (PVE) with percutaneous intrahepatic split by ablation (PISA).Materials and MethodsThree patients (mean age 65.0 ± 7.3 years) underwent PVE and PISA. PISA was performed 21 days after PVE by microwave ablation to create a continuous intrahepatic cutting plane. Abdominal CT examinations were performed before and after PVE and PISA. The future liver remnant (FLR) volume was calculated by semiautomatic segmentation, and increase was reported as a percentage of the pre-procedural volume. The FLR/body weight (FLR/BW) ratio was calculated; a ratio greater than 0.8% was considered sufficient for guaranteeing adequate liver function after surgery. The liver function before and after PISA was also evaluated by 99mTc-mebrofenin hepatobiliary scintigraphy. Patients’ laboratory tests, performance status, ability to walk were assessed before and after PVE and PISA procedures.ResultsNo procedure-related complications were recorded. The FLR volume increase in each patient was 42.0, 33.1 and 30.4% within 21 days of PVE and 109.3, 68.1 and 71.7% within 10 days after PISA. The FLR/BW ratios were 0.76, 0.66, 0.63% and 1.13, 0.83, 0.83% after PVE and PISA procedures, respectively. Two patients underwent successful right hepatectomy; in one patient, despite 1.13% FLR/BW, surgery was not performed because of the absolute rejection of blood transfusion due to the patient’s religious convictions.ConclusionRadiological stage-1 ALPPS is a feasible, minimally invasive option to be further investigated to become an effective alternative to surgical stage-1 ALPPS.

62 RADIOLOGY AND NUCLEAR MEDICINE↗

Parallel projection—An improved return mapping algorithm for finite element modeling of shape memory alloys

Here, we present a novel finite element analysis of inelastic structures containing Shape Memory Alloys (SMAs). Phenomenological constitutive models for SMAs lead to material nonlinearities, that require substantial computational effort to resolve. Finite element analysis methods, which rely on Gauss quadrature integration schemes, must solve two sets of coupled differential equations: one at the global level and the other at the local, i.e. Gauss point level. In contrast to the conventional return mapping algorithm, which solves these two sets of coupled differential equations separately using a nested Newton procedure, we propose a scheme to solve the local and global differential equations simultaneously. In the process we also derive closed-form expressions used to update the internal/constitutive state variables, and unify the popular closest-point and cutting plane methods with our formulas. Numerical testing indicates that our method allows for larger thermomechanical loading steps and provides increased computational efficiency, over the standard return mapping algorithm.

42 ENGINEERING↗

Optimization of battery swapping infrastructure for e-commerce drone delivery

Drone delivery is widely-researched to alter the current e-commerce delivery convention for providing short delivery lead times. Yet, flight range of drones, constrained by the available battery technology, sets a milestone toward realizing the sole-drone delivery. To tackle with the flight range limitation, locating automated battery swapping machines (ABSM) have been proposed and a few studies modeled the problem. Using the ABSMs, drones can be loaded with fully-charged batteries along the route to a demand location. Here, we introduce a mixed-integer nonlinear program to model the problem. The objective of the program is to optimally select ABSM locations, determine the delivery-mode choices (drone-only, truck-only, and mixed delivery) of demand locations, find drone delivery routes, and approximate the baseline requirements for the number of drones and batteries needed. The program minimizes the overall delivery system costs including: ABSM, delivery, drone ownership, battery inventory, and service congestion. A cutting-plane method is developed to find exact solutions in finite iterations. Computational experiments showed that the method quickly yields the optimal solution to instances with less than 60 ABSM candidates and 20 demand locations. A case study shows that the optimal drone delivery infrastructure can save almost 20% cost compared to the conventional truck-only delivery. Sensitivity analyses were conducted to reveal the impact of key parameters in the decision-making and found that a decrease in the ABSM and drone costs highly affect the system cost.

25 ENERGY STORAGE↗