An efficient mixed variational reduced order model formulation for non-linear analyses of elastic shells

The Koiter-Newton method had recently demonstrated a superior performance for non-linear analyses of structures, compared to traditional path-following strategies. The method follows a predictor-corrector scheme to trace the entire equilibrium path. During a predictor step a reduced order model is constructed based on Koiter's asymptotic post-buckling theory which is followed by a Newton iteration in the corrector phase to regain the equilibrium of forces. In this manuscript, we introduce a robust mixed solid-shell formulation to further enhance the efficiency of stability analyses in various aspects. We show that a Hellinger-Reissner variational formulation facilitates the reduced order model construction omitting an expensive evaluation of the inherent fourth order derivatives of the strain energy. We demonstrate that extremely large step sizes with a reasonable out-of-balance residual can be obtained with substantial impact on the total number of steps needed to trace the complete equilibrium path. More importantly, the numerical effort of the corrector phase involving a Newton iteration of the full order model is drastically reduced thus revealing the true strength of the proposed formulation. We study a number of problems from engineering and compare the results to the conventional approach in order to highlight the gain in numerical efficiency for stability problems

Weakly Enforced Boundary Conditions for the NURBS-Based Finite Cell Method

In this paper, we present a variationally consistent formulation for the weak enforcement of essential boundary conditions as an extension to the finite cell method, a fictitious domain method of higher order. The absence of boundary fitted elements in fictitious domain or immersed boundary methods significantly restricts a strong enforcement of essential boundary conditions to models where the boundary of the solution domain coincides with the embedding analysis domain. Penalty methods and Lagrange multiplier methods are adequate means to overcome this limitation but often suffer from various drawbacks with severe consequences for a stable and accurate solution of the governing system of equations. In this contribution, we follow the idea of NITSCHE [29] who developed a stable scheme for the solution of the Laplace problem taking weak boundary conditions into account. An extension to problems from linear elasticity shows an appropriate behavior with regard to numerical stability, accuracy and an adequate convergence behavior. NURBS are chosen as a high-order approximation basis to benefit from their smoothness and flexibility in the process of uniform model refinement

Phase-field boundary conditions for the voxel finite cell method: surface-free stress analysis of CT-based bone structures

The voxel finite cell method employs unfitted finite element meshes and voxel quadrature rules to seamlessly transfer CT data into patient-specific bone discretizations. The method, however, still requires the explicit parametrization of boundary surfaces to impose traction and displacement boundary conditions, which constitutes a potential roadblock to automation. We explore a phase-field based formulation for imposing traction and displacement constraints in a diffuse sense. Its essential component is a diffuse geometry model generated from metastable phase-field solutions of the Allen-Cahn problem that assumes the imaging data as initial condition. Phase-field approximations of the boundary and its gradient are then employed to transfer all boundary terms in the variational formulation into volumetric terms. We show that in the context of the voxel finite cell method, diffuse boundary conditions achieve the same accuracy as boundary conditions defined over explicit sharp surfaces, if the inherent length scales, i.e., the interface width of the phase-field, the voxel spacing and the mesh size, are properly related. We demonstrate the flexibility of the new method by analyzing stresses in a human femur and a vertebral body

Automated Generation of High-Order Modes for Tests of Quasi-Optical Systems of Gyrotrons for W7-X Stellarator

A test system for the verification of the quasi-optical converter system is vital in the gyrotron development. For this reason, an automated measurement setup has been developed and is benchmarked with the TE$_{28,8}$ mode operating in the cavities of the gyrotrons of W7-X with a high purity of about 95 % and a counter-rotating amount of about 0.3 %. The time duration for the mode generator adjustment has been reduced to two days for this mode. After a successful mode excitation, the quasi-optical mode converter, consisting of a launcher and three mirrors, is measured having a vectorial Gaussian mode content of 97 %

New results on rewrite-based satisfiability procedures

Program analysis and verification require decision procedures to reason on theories of data structures. Many problems can be reduced to the satisfiability of sets of ground literals in theory T. If a sound and complete inference system for first-order logic is guaranteed to terminate on T-satisfiability problems, any theorem-proving strategy with that system and a fair search plan is a T-satisfiability procedure. We prove termination of a rewrite-based first-order engine on the theories of records, integer offsets, integer offsets modulo and lists. We give a modularity theorem stating sufficient conditions for termination on a combinations of theories, given termination on each. The above theories, as well as others, satisfy these conditions. We introduce several sets of benchmarks on these theories and their combinations, including both parametric synthetic benchmarks to test scalability, and real-world problems to test performances on huge sets of literals. We compare the rewrite-based theorem prover E with the validity checkers CVC and CVC Lite. Contrary to the folklore that a general-purpose prover cannot compete with reasoners with built-in theories, the experiments are overall favorable to the theorem prover, showing that not only the rewriting approach is elegant and conceptually simple, but has important practical implications.Comment: To appear in the ACM Transactions on Computational Logic, 49 page

Weak localization and electron-electron interactions in Indium-doped ZnO nanowires

Single crystal ZnO nanowires doped with indium are synthesized via the laser-assisted chemical vapor deposition method. The conductivity of the nanowires is measured at low temperatures in magnetic fields both perpendicular and parallel to the wire axes. A quantitative fit of our data is obtained, consistent with the theory of a quasi-one-dimensional metallic system with quantum corrections due to weak localization and electron-electron interactions. The anisotropy of the magneto-conductivity agrees with theory. The two quantum corrections are of approximately equal magnitude with respective temperature dependences of T^-1/3 and T^-1/2. The alternative model of quasi-two-dimensional surface conductivity is excluded by the absence of oscillations in the magneto-conductivity in parallel magnetic fields.Comment: 13 pages, Corrected forma

Short-pulse frequency stabilization of a MW-class ECRH gyrotron at W7-X for CTS diagnostic

At the Wendelstein 7-X stellarator, a 174 GHz Collective Thomson Scattering (CTS) diagnostic will be implemented. One of the 140 GHz Electron Cyclotron Resonance Heating (ECRH) gyrotrons will be operated at around 174 GHz in a higher cavity mode, using it as source for the CTS mm-wave probing beam. To prevent any damage to the CTS receiver, a notch filter cuts out the high-power gyrotron signal at the entrance of the receiver. The bandwidth of the gyrotron signal determines the notch filter bandwidth. First proof-of-principle experiments on frequency stabilization were conducted on W7-X ECRH gyrotrons employing Phase-Locked Loop techniques. The gyrotron output frequency was controlled with the accelerating voltage, which is applied between the anode and cathode of the gyrotron diode-type Magnetron Injection Gun. Frequency stabilization experiments with 10 ms pulses were conducted at the gyrotron nominal frequency of 140 GHz as well as at 174 GHz. It is concluded that the gyrotron frequency could be stabilized for at least 3 ms at 140 GHz and 8 ms at 174 GHz. In the frequency spectrum, a clear main peak of the gyrotron frequency at 140 GHz with a full -15 dB linewidth of below 500 Hz was achieved