The Theory of Finite Models without Equal Sign

In this paper, it is the first time ever to suggest that we study the model theory of all finite structures and to put the equal sign in the same situtation as the other relations. Using formulas of infinite lengths we obtain new theorems for the preservation of model extensions, submodels, model homomorphisms and inverse homomorphisms. These kinds of theorems were discussed in Chang and Keisler＇s Model Theory, systematically for general models, but Gurevich obtained some different theorems in this direction for finite models. In our paper the old theorems manage to survive in the finite model theory. There are some differences between into homomorphisms and onto homomorphisms in preservation theorems too. We also study reduced models and minimum models. The characterization sentence of a model is given, which derives a general result for any theory T to be equivalent to a set of existential-universal sentences. Some results about completeness and model completeness are also given.

Predicting carbon storage of mixed broadleaf forests based on the finite mixture model incorporating stand factors,site quality,and aridity index

The diameter distribution function(DDF)is a crucial tool for accurately predicting stand carbon storage(CS).The current key issue,however,is how to construct a high-precision DDF based on stand factors,site quality,and aridity index to predict stand CS in multi-species mixed forests with complex structures.This study used data from70 survey plots for mixed broadleaf Populus davidiana and Betula platyphylla forests in the Mulan Rangeland State Forest,Hebei Province,China,to construct the DDF based on maximum likelihood estimation and finite mixture model(FMM).Ordinary least squares(OLS),linear seemingly unrelated regression(LSUR),and back propagation neural network(BPNN)were used to investigate the influences of stand factors,site quality,and aridity index on the shape and scale parameters of DDF and predicted stand CS of mixed broadleaf forests.The results showed that FMM accurately described the stand-level diameter distribution of the mixed P.davidiana and B.platyphylla forests;whereas the Weibull function constructed by MLE was more accurate in describing species-level diameter distribution.The combined variable of quadratic mean diameter(Dq),stand basal area(BA),and site quality improved the accuracy of the shape parameter models of FMM;the combined variable of Dq,BA,and De Martonne aridity index improved the accuracy of the scale parameter models.Compared to OLS and LSUR,the BPNN had higher accuracy in the re-parameterization process of FMM.OLS,LSUR,and BPNN overestimated the CS of P.davidiana but underestimated the CS of B.platyphylla in the large diameter classes(DBH≥18 cm).BPNN accurately estimated stand-and species-level CS,but it was more suitable for estimating stand-level CS compared to species-level CS,thereby providing a scientific basis for the optimization of stand structure and assessment of carbon sequestration capacity in mixed broadleaf forests.

In silico optimization of actuation performance in dielectric elastomercomposites via integrated finite element modeling and deep learning

Dielectric elastomers(DEs)require balanced electric actuation performance and mechanical integrity under applied voltages.Incorporating high dielectric particles as fillers provides extensive design space to optimize concentration,morphology,and distribution for improved actuation performance and material modulus.This study presents an integrated framework combining finite element modeling(FEM)and deep learning to optimize the microstructure of DE composites.FEM first calculates actuation performance and the effective modulus across varied filler combinations,with these data used to train a convolutional neural network(CNN).Integrating the CNN into a multi-objective genetic algorithm generates designs with enhanced actuation performance and material modulus compared to the conventional optimization approach based on FEM approach within the same time.This framework harnesses artificial intelligence to navigate vast design possibilities,enabling optimized microstructures for high-performance DE composites.

Dynamic finite element model updating using meta-model and genetic algorithm

Current dynamic finite element model updating methods are not efficient or restricted to the problem of local optima. To circumvent these, a novel updating method which integrates the meta-model and the genetic algorithm is proposed. Experimental design technique is used to determine the best sampling points for the estimation of polynomial coefficients given the order and the number of independent variables. Finite element analyses are performed to generate the sampling data. Regression analysis is then used to estimate the response surface model to approximate the functional relationship between response features and design parameters on the entire design space. In the fitness evaluation of the genetic algorithm, the response surface model is used to substitute the finite element model to output features with given design parameters for the computation of fitness for the individual. Finally, the global optima that corresponds to the updated design parameter is acquired after several generations of evolution. In the application example, finite element analysis and modal testing are performed on a real chassis model. The finite element model is updated using the proposed method. After updating, root-mean-square error of modal frequencies is smaller than 2%. Furthermore, prediction ability of the updated model is validated using the testing results of the modified structure. The root-mean-square error of the prediction errors is smaller than 2%.

Compression of finite element hybrid mesh

A method for encoding and compressing finite element models is proposed. Themodel may be various non-simple topological structures and contain any combinations of beams,triangular elements and quadrilateral elements. First the model is subdivided into simple meshesthat are orientable and manifold. Based on the Edgebreaker algorithm, 13 labelled pairs areintroduced for quadrilateral meshes and five other labelled pairs are introduced for triangles. Thenthe connectivity information of mixed triangle/quadrilateral meshes is coded in a direct manner.Two other bits are used to record the wireframe information. For the pure wireframe model, Taubin'smethod is extended to compress it. The compression algorithm is implemented and evaluated.Experiments with several models show that the method achieves excellent compression ratios.

Finite element analysis of pressure on 2024 aluminum alloy created during restricting expansion-deformation heat-treatment

Metals heat-treated under high pressure can exhibit different properties. The heat-induced pressure on 2024 aluminum alloy during restricting expansion-deformation heat-treatment was calculated by using the ABAQUS finite element software, and the effects of the mould material properties, such as coefficient of thermal expansion （CTE）, elastic modulus and yield strength, on the pressure were discussed. The simulated results show that the relatively uniform heat-induced pressure, approximately 503 MPa at 500 ℃, appears on 2024 alloy when 42CrMo steel is as the mould material. The heat-induced pressure increases with decreasing the CTE and the increases of elastic modulus and yield strength of the mould material. The influences of the CTE and elastic modulus on the heat-induced pressure are more notable.

Prediction of Cross-Tension Strength of Self-Piercing Riveted Joints Using Finite Element Simulation and XGBoost Algorithm

Self-piercing riveting(SPR)has been widely used in automobile industry,and the strength prediction of SPR joints always attracts the attention of researchers.In this work,a prediction method of the cross-tension strength of SPR joints was proposed on the basis of finite element(FE)simulation and extreme gradient boosting decision tree(XGBoost)algorithm.An FE model of SPR process was established to simulate the plastic deformations of rivet and substrate materials and verified in terms of cross-sectional dimensions of SPR joints.The residual mechanical field from SPR process simulation was imported into a 2D FE model for the cross-tension testing simulation of SPR joints,and cross-tension strengths from FE simulation show a good consistence with the experiment result.Based on the verified FE model,the mechanical properties and thickness of substrate materials were varied and then used for FE simulation to obtain cross-tension strengths of a number of SPR joints,which were used to train the regression model based on the XGBoost algorithm in order to achieve prediction for cross-tension strength of SPR joints.Results show that the cross-tension strengths of SPR steel/aluminum joints could be successfully predicted by the XGBoost regression model with a respective error less than 7.6%compared to experimental values.

Finite element modeling of pore-fluid flow in the Dachang ore district,Guangxi,China:Implications for hydrothermal mineralization

Convective heat transfer associated with the circulation of porefluid in porous rocks and fractures within the upper crust of the Earth is substantial when the temperature gradient is sufficiently high. In order to understand the process of Snpolymetallic mineralization in the Dachang ore district of Guangxi, a finite element method has been used in this study to simulate both pore-fluid flow and heat transfer in this district. On the basis of related geological, tectonic and geophysical constraints, a computational model was established. It enables a computational simulation and sensitivity analysis to be carried out for investigating ore-forming pore-fluid flow and other key factors that may affect hydrothermal ore genesis in the district. The related simulation results have indicated that： （1） permeable fault zones in the Dacbang ore district can serve as preferential pathways for pore-fluid flow on a regional-scale; and （2） the pore-fluid flow can affect the salinity distribution. This latter factor is part of the reason why Sn-polymetallic mineralization has taken place in this district.

Finite element modeling assumptions impact on seismic response demands of MRF-buildings

Recent seismic events have raised concerns over the safety and vulnerability of reinforced concrete moment resisting frame ＂RC-MRF＂ buildings. The seismic response of such buildings is greatly dependent on the computational tools used and the inherent assumptions in the modelling process. Thus, it is essential to investigate the sensitivity of the response demands to the corresponding modelling assumption. Many parameters and assumptions are justified to generate effective structural finite element（FE） models of buildings to simulate lateral behaviour and evaluate seismic design demands. As such, the present study focuses on the development of reliable FE models with various levels of refinement. The effects of the FE modelling assumptions on the seismic response demands on the design of buildings are investigated. the predictive ability of a FE model is tied to the accuracy of numerical analysis; a numerical analysis is performed for a series of symmetric buildings in active seismic zones. The results of the seismic response demands are presented in a comparative format to confirm drift and strength limits requirements. A proposed model is formulated based on a simplified modeling approach, where the most refined model is used to calibrate the simplified model.

Determination of the Normal Contact Stiffness and Integration Time Step for the Finite Element Modeling of Bristle-Surface Interaction

In finite element modeling of impact,it is necessary to define appropriate values of the normal contact stiffness,Kn,and the Integration Time Step(ITS).Because impacts are usually of very short duration,very small ITSs are required.Moreover,the selection of a suitable value of Kn is a critical issue,as the impact behavior depends dramatically on this parameter.In this work,a number of experimental tests and finite element analyses have been performed in order to obtain an appropriate value of Kn for the interaction between a bristle of a gutter brush for road sweeping and a concrete surface.Furthermore,a suitable ITS is determined.The experiments consist of releasing a steel bristle that is placed vertically at a certain distance from a concrete surface and tracking the impact.Similarly,in the finite element analyses,a beam is modeled in free fall and impacting a surface;contact and target elements are attached to the beam and the surface,respectively.The results of the experiments and the modeling are integrated through the principle of conservation of energy,the principle of linear impulse and momentum,and Newton’s second law.The results demonstrate that,for the case studied,Kn and the impact time tend to be independent of the velocity just before impact and that Kn has a very large variation,as concrete is a composite material with a rough surface.Also,the ratio between the largest height of the bristle after impact and the initial height tends to be constant.

Experimental Study and Finite Element Polycrystal Model Simulation of the Cold Rolling Textures in a Powder Metallurgy Processed Pure Aluminum Plate

Ingot metallurgy (IM) aluminum has long been the subject and attracted the attention of many metallurgists and textural researchers of materials. Due to the introduction of large amounts of ex situ interfaces, however, the textures in powder metallurgy (PM) processed aluminum has been rarely reported. In this article, a pure aluminum plate was prepared via PM route. The starting billet was first produced with uni-axially cold compaction and flat hot-extrusion and then followed by cold rolling processes. The hot-extruded and cold rolling deformation textures of the pure PM aluminum at 50%, 80% and 90% cold rolling reductions were studied by orientation distribution functions (ODFs) analysis. The finite element polycrystal model (FEPM) was finally utilized to simulate the cold rolling textural evolution at various stages of cold rolling. In FEPM simulation, the initial hot-extruded textures were taken into account as inputs. The results showed that typical β-fiber texture formed in pure PM aluminum with the cold rolling reduction increased till 80%, and there was not much change after excessive cold rolling deformation. Homogeneous slip is not the only deformation mode in PM processed pure aluminum plate at over 80% cold rolling reduction. The experimental results were qualitatively in good agreement with the simulated ones.

An ultrasound-guided percutaneous electrical nerve stimulation regimen devised using finite element modeling promotes functional recovery after median nerve transection

Percutaneous electrical nerve stimulation of an injured nerve can promote and accelerate peripheral nerve regeneration and improve function.When performing acupuncture and moxibustion,locating the injured nerve using ultrasound before percutaneous nerve stimulation can help prevent further injury to an already injured nerve.However,stimulation parameters have not been standardized.In this study,we constructed a multi-layer human forearm model using finite element modeling.Taking current density and activated function as optimization indicators,the optimal percutaneous nerve stimulation parameters were established.The optimal parameters were parallel placement located 3 cm apart with the injury site at the midpoint between the needles.To validate the efficacy of this regimen,we performed a randomized controlled trial in 23 patients with median nerve transection who underwent neurorrhaphy.Patients who received conventional rehabilitation combined with percutaneous electrical nerve stimulation experienced greater improvement in sensory function,motor function,and grip strength than those who received conventional rehabilitation combined with transcutaneous electrical nerve stimulation.These findings suggest that the percutaneous electrical nerve stimulation regimen established in this study can improve global median nerve function in patients with median nerve transection.

Three-Dimensional Reconstructed Finite Element Model for C/C Composites by Micro-CT

The precise microscopic feature of carbon-carbon（C/C） composites is essential {or an accurate predic tion of their mechanical behavior. After fabrication, actual microscopic feature differs from simple ideal spatial model. Micro computed lomography（CT） scan can well describe internal microstruetures of composites. Therefore, a reconstructed model is developed based on mireo-CT, by a series of prodcedures including extrac tlng components, generating new binary images and establishing a finite element （FE） model. Compared with the model designed by reconstructed commercial software MIMICS. the presented reconstructed FE model is superior in terms of high mesh quality and eontrollable mesh cluantity. The precision of the model is verified by experiment.

A Finite Element Cable Model and Its Applications Based on the Cubic Spline Curve

For accurate prediction of the deformation of cable in the towed system, a new finite element model is presented that provides a representation of both the bending and torsional effects. In this paper, the cubic spline interpolation function is applied as the trial solution. By using a weighted residual approach, the discretized motion equations for the new finite element model are developed. The model is calculated with the computation program complier by Matlab. Several numerical examples are presented to illustrate the numerical schemes. The results of numerical simulation are stable and valid, and consistent with the mechanical properties of the cable. The model can be applied to kinematics analysis and the design of ocean cable, such as mooring lines, towing, and ROV umbilical cables.

3-D finite element modeling for evolution of stress field and interaction among strong earthquakes in Sichuan-Yunnan region

Based on the latest achievement about activities of geological structure, a 3-D finite-element model containing four layers of upper crust, lower crust (two layers) and upper mantle is established in the paper. By repeated tests and revisions, the boundary conditions of the model are determined. And then the background stress field, the stress field caused by fault creep and the stress field triggered by strong earthquake in Sichuan-Yunnan region, as well as their dynamic variations are calculated. The results indicate that the latter earthquake often occurs in the area with positive Coulomb rupture stress change associated with the former one, the former earthquake has a triggering effect on the latter one to a certain extent, and strong earthquake often occur in groups under the background of high stress, which is of great significance for distinguishing seismic anomalies, as well as for improving the level of earthquake prediction.

A Real-time Cutting Model Based on Finite Element and Order Reduction

Telemedicine plays an important role in Corona Virus Disease 2019(COVID-19).The virtual surgery simulation system,as a key component in telemedicine,requires to compute in real-time.Therefore,this paper proposes a realtime cutting model based on finite element and order reduction method,which improves the computational speed and ensure the real-time performance.The proposed model uses the finite element model to construct a deformation model of the virtual lung.Meanwhile,a model order reduction method combining proper orthogonal decomposition and Galerkin projection is employed to reduce the amount of deformation computation.In addition,the cutting path is formed according to the collision intersection position of the surgical instrument and the lesion area of the virtual lung.Then,the Bezier curve is adopted to draw the incision outline after the virtual lung has been cut.Finally,the simulation system is set up on the PHANTOM OMNI force haptic feedback device to realize the cutting simulation of the virtual lung.Experimental results show that the proposed model can enhance the real-time performance of telemedicine,reduce the complexity of the cutting simulation and make the incision smoother and more natural.

Vibration Response Analysis of a New Scientific Research Ship Based on Finite Element Modeling

To control the vibration level of ships under construction,MSC Software’s Patran&Nastran modeling solutions can be used to establish a detailed finite element model of a new manned submersible support mother ship based on a line drawing,including the deck layout,bulkhead section,and stiffener distribution.After a comprehensive analysis of the ship simulation conditions,boundaries,and excitation forces of the main operating equipment,modal analysis and calculation of the ship vibration can be conducted.In this study,we calculated and analyzed the vibration response of key points in the stern area of the ship’s main deck and the submersible warehouse area under design loading working conditions.We then analyzed the vibration response of typical decks(including the compass deck,steering deck,captain’s deck,forecastle deck,and main deck)under the main excitation forces and moments(such as the full swing pod and generator sets).The analysis results showed that under DESIDEP working conditions,the vibration of each deck and key areas of the support mother ship could meet the vibration code requirements of the ship’s preliminary design(using the pod excitation and generator sets).Similarly,the vibration response of a scientific research ship under other loading conditions also met the requirements of the code and provided data support for a comprehensive understanding of the ship’s vibration and noise levels.Using actual vibration measurements,the accuracy of the vibration level simulations using finite element modeling was verified,the vibration of each area of the ship comfortably meeting the requirements of the China Classification Society.

Three-Dimensional Simulations of RESET Operation in Phase-Change Random Access Memory with Blade-Type Like Phase Change Layer by Finite Element Modeling

An optimized device structure for reducing the RESET current of phase-change random access memory （PCRAM） with blade-type like （BTL） phase change layer is proposed. The electrical thermal analysis of the BTL cell and the blade heater contactor structure by three-dimensional finite element modeling are compared with each other during RESET operation. The simulation results show that the programming region of the phase change layer in the BTL cell is much smaller, and thermal electrical distributions of the BTL cell are more concentrated on the TiN/GST interface. The results indicate that the BTL cell has the superiorities of increasing the heating efficiency, decreasing the power consumption and reducing the RESET current from 0.67mA to 0.32mA. Therefore, the BTL cell will be appropriate for high performance PCRAM device with lower power consumption and lower RESET current.

Multiple linear system techniques for 3D finite element method modeling of direct current resistivity

The strategies that minimize the overall solution time of multiple linear systems in 3D finite element method (FEM) modeling of direct current (DC) resistivity were discussed. A global stiff matrix is assembled and stored in two parts separately. One part is associated with the volume integral and the other is associated with the subsurface boundary integral. The equivalent multiple linear systems with closer right-hand sides than the original systems were constructed. A recycling Krylov subspace technique was employed to solve the multiple linear systems. The solution of the seed system was used as an initial guess for the subsequent systems. The results of two numerical experiments show that the improved algorithm reduces the iterations and CPU time by almost 50%, compared with the classical preconditioned conjugate gradient method.

Finite element modelling of the geodynamic processes of the Central Andes subduction zone:A Reference Model

This paper presents preliminary results of three-dimensional thermomechanical finite-element models of a parameter study to compute the current temperature and stress distribution in the subduction zone of the central Andes （16°S-26°S） up to a depth of 400 km, the bottom of the asthenosphere. For this purpose a simulation running over c. 50,000 years will be realized based on the geometry of a generic subduction zone and an elasto-viscoplastic Drucker-Prager rheology. The kinematic and thermal boundary conditions as well as the rheological parameters represent the current state of the study area. In future works the model will be refined using a systematic study of physical parameters in order to estimate the influence of the main parameters （e.g. viscosity, fault friction, velocity, shear heating） on the results of the reference model presented here. The reference model is kept as simple as possible to be able to estimate the influence of the parameters in future studies in the best possible way, whilst minimizing comnutational time.