Search Results (3,711)

This paper presents an analytical investigation of the free vibration behavior of fiber metal laminate (FML) beams with three types of boundary conditions, considering the temperature-dependent properties and the interfacial slip. In the proposed model, the non-uniform temperature field is derived based on one-dimensional heat conduction theory using a transfer formulation. Subsequently, based on the two-dimensional elasticity theory, the governing equations are established. Compared with shear deformation theories, the present solution does not rely on a shear deformation assumption, enabling more accurate capture of interlaminar shear effects and higher-order vibration modes. The relationship of stresses and displacements is determined by the differential quadrature method, the state-space method and the transfer matrix method. Since the corresponding matrix is singular due to the absence of external loads, the natural frequencies are determined using the bisection method. The comparison study indicates that the present solutions are consistent with experimental results, and the errors of finite element simulation and the solution based on the first-order shear deformation theory reach 3.81% and 3.96%, respectively. At last, the effects of temperature, the effects of temperature degree, interface bonding and boundary conditions on the vibration performance of the FML beams are investigated in detail. The research results provide support for the design and analysis of FML beams under high-temperature and vibration environments in practical engineering. Full article

Microphysiological systems (MPSs) have emerged as alternatives to animal testing in drug development, following the FDA Modernization Act 2.0. Double-layer channel-type MPS chips with porous membranes are widely used for modeling various organs, including the intestines, blood–brain barrier, renal tubules, and lungs. However, these chips faced challenges owing to optical interference caused by light scattering from the porous membrane, which hinders cell observation. Trans-epithelial electrical resistance (TEER) measurement offers a non-invasive method for assessing barrier integrity in these chips. However, existing electrode-integrated MPS chips for TEER measurement have non-uniform current densities, leading to compromised measurement accuracy. Additionally, chips made from polydimethylsiloxane have been associated with drug absorption issues. This study developed an electrode-integrated MPS chip for TEER measurement with a uniform current distribution and minimal drug absorption. Through a finite element method simulation, electrode patterns were optimized and incorporated into a polyethylene terephthalate (PET)-based chip. The device was fabricated by laminating PET films, porous membranes, and patterned gold electrodes. The chip’s performance was evaluated using a perfused Caco-2 intestinal model. TEER levels increased and peaked on day 5 when cells formed a monolayer, and then they decreased with the development of villi-like structures. Concurrently, capacitance increased, indicating microvilli formation. Exposure to staurosporine resulted in a dose-dependent reduction in TEER, which was validated by immunostaining, indicating a disruption of the tight junction. This study presents a TEER measurement MPS platform with a uniform current density and reduced drug absorption, thereby enhancing TEER measurement reliability. This system effectively monitors barrier integrity and drug responses, demonstrating its potential for non-animal drug-testing applications. Full article

This work establishes definitive conditions for the inheritance of categorical completeness and cocompleteness by categories of internal group objects. We prove that while the completeness of $\mathbf{Grp}\left(\mathcal{C}\right)$ follows unconditionally from the completeness of the base category $\mathcal{C}$, cocompleteness requires $\mathcal{C}$ to be regular, cocomplete, and admit a free group functor left adjoint to the forgetful functor. Explicit limit and colimit constructions are provided, with colimits realized via coequalizers of relations induced by group axioms over free group objects. Applications demonstrate cocompleteness in topological groups, ordered groups, and group sheaves, while Lie groups serve as counterexamples revealing necessary analytic constraints—particularly the impossibility of equipping free groups on non-discrete manifolds with smooth structures. Further results include the inheritance of regularity when the free group functor preserves finite products, the existence of internal hom-objects in locally Cartesian closed settings, monadicity for locally presentable $\mathcal{C}$, and homotopical extensions where model structures on $\mathbf{Grp}\left(\mathcal{M}\right)$ reflect those of $\mathcal{M}$. This framework unifies classical category theory with geometric obstruction theory, resolving fundamental questions on exactness transfer and enabling new constructions in homotopical algebra and internal representation theory. Full article

In recent years, inverse reinforcement learning algorithms have garnered substantial attention and demonstrated remarkable success across various control domains, including autonomous driving, intelligent gaming, robotic manipulation, and automated industrial systems. Nevertheless, existing methodologies face two persistent challenges: (1) finite or non-optimal expert demonstration and (2) ambiguity in which different reward functions lead to same expert strategies. To improve and enhance the expert demonstration data and to eliminate the ambiguity caused by the symmetry of rewards, there has been a growing interest in research on developing inverse reinforcement learning based on the maximum entropy method. The unique advantage of these algorithms lies in learning rewards from expert presentations by maximizing policy entropy, matching expert expectations, and then optimizing the policy. This paper first provides a comprehensive review of the historical development of maximum entropy-based inverse reinforcement learning (ME-IRL) methodologies. Subsequently, it systematically presents the benchmark experiments and recent application breakthroughs achieved through ME-IRL. The concluding section analyzes the persistent technical challenges, proposes promising solutions, and outlines the emerging research frontiers in this rapidly evolving field. Full article

Infrared thermography non-destructive testing technology has been widely used in the defect detection of composite structures due to its advantages, including non-contact operation, rapidity, low cost, and high precision. In this study, a laser-line scanning system combined with an infrared thermography was developed, along with a corresponding dynamic sequence image reconstruction method, enabling rapid localization of surface damages. Then, high-precision quantitative characterization of defect morphology in reconstructed images was achieved by integrating an edge gradient detection algorithm. The reconstruction method was validated through finite element simulations and experimental studies. The results demonstrated that the laser-line scanning thermography effectively enables both rapid localization of surface damages and precise quantitative characterization of their morphology. Experimental measurements of ceramic materials indicate that the relative error in detecting crack width is about 6% when the crack is perpendicular to the scanning direction, and the relative error gradually increases when the angle between the crack and the scanning direction decreases. Additionally, an alumina ceramic plate with micrometer-width cracks is inspected by the continuous laser-line scanning thermography. The morphology detection results are completely consistent with the actual morphology. However, limited by the spatial resolution of the thermal imager in the experiment, the quantitative identification of the crack width cannot be carried out. Finally, the proposed method is also effective for detecting surface damage of wrinkles in ceramic matrix composites. It can localize damage and quantify its geometric features with an average relative error of less than 3%, providing a new approach for health monitoring of large-scale ceramic matrix composite structures. Full article

We consider optimization for different production requirements from the viewpoint of a bio-inspired framework for system flexibility that allows us to study the ability of an algorithm to transfer solutions from previous optimization tasks, which also relates to dynamic evolutionary optimization. Optimizing manufacturing process parameters is typically a multi-objective problem with often contradictory objectives, such as production quality and production time. If production requirements change, process parameters have to be optimized again. Since optimization usually requires costly simulations based on, for example, the Finite Element method, it is of great interest to have a means to reduce the number of evaluations needed for optimization. Based on the extended Oxley model for orthogonal metal cutting, we introduce a multi-objective optimization benchmark where different materials define related optimization tasks. We use the benchmark to study the flexibility of NSGA-II, which we extend by developing two variants: (1) varying goals, which optimizes solutions for two tasks simultaneously to obtain in-between source solutions expected to be more adaptable, and (2) active–inactive genotype, which accommodates different possibilities that can be activated or deactivated. Results show that adaption with standard NSGA-II greatly reduces the number of evaluations required for optimization for a target goal. The proposed variants further improve the adaption costs, where on average, the computational effort is more than halved in comparison to the non-adapted baseline. We note that further work is needed for making the methods advantageous for real applications. Full article

In quantum key distribution (QKD), public discussion over the authenticated classical channel inevitably leaks information about the raw key to a potential adversary, which must later be mitigated by privacy amplification. To limit this leakage, a one-time pad (OTP) has been proposed to protect message exchanges in various settings. Building on the security proof of Tomamichel and Leverrier, which is based on a non-asymptotic framework and considers the effects of finite resources, we extend the analysis to the OTP-protected scheme. We show that when the OTP key is drawn from the entropy pool of the same QKD session, the achievable quantum key rate is identical to that of the reference protocol with unprotected error-correction exchange. This equivalence holds for a fixed security level, defined via the diamond distance between the real and ideal protocols modeled as completely positive trace-preserving maps. At the same time, the proposed approach reduces the computational requirements: for non-interactive low-density parity-check codes, the encoding problem size is reduced by the square of the syndrome length, while privacy amplification requires less compression. The technique preserves security, avoids the use of QKD keys between sessions, and has the potential to improve performance. Full article

Finite element (FE) models are widely used in structural health monitoring to represent real structures and assess their condition, but discrepancies often arise between numerical and actual structural behavior due to simplifying assumptions, uncertain parameters, and environmental influences. Temperature variation, in particular, significantly affects structural stiffness and modal properties, yet it is often treated as noise in traditional model updating methods. This study treats temperature changes as valuable information for model updating and structural damage quantification. The Bayesian model updating approach (BMUA) is a probabilistic approach that updates uncertain model parameters by combining prior knowledge with measured data to estimate their posterior probability distributions. However, traditional BMUA methods assume mass is known and only update stiffness. A novel BMUA framework is proposed that incorporates thermal buckling and temperature-dependent stiffness estimation and introduces an algorithm to eliminate the coupling effect between mass and stiffness by using temperature-induced stiffness changes. This enables the simultaneous updating of both parameters. The framework is validated through numerical simulations on a three-story aluminum shear frame under uniform and non-uniform temperature distributions. Under healthy and uniform temperature conditions, stiffness parameters were estimated with high accuracy, with errors below 0.5% and within uncertainty bounds, while mass parameters exhibited errors up to 13.8% that exceeded their extremely low standard deviations, indicating potential model bias. Under non-uniform temperature distributions, accuracy declined, particularly for localized damage cases, with significant deviations in both parameters. Full article

This paper investigates a unique and stable numerical approximation of the Riemann–Liouville Fractional Derivative. We utilize diagonal norm finite difference-based time integration methods within the summation-by-parts framework. The second-order accurate discretizations developed in this study are proven to possess eigenvalues with strictly positive real parts for non-integer orders of the fractional derivative. These results lead to provably invertible, fully discrete approximations of Riemann–Liouville derivatives. Full article

To break through the bottleneck in the mapping of the mechanoluminescent (ML) intensity field to the strain field, a quantification method for full-field strain measurement based on pixel-level data fusion is proposed, integrating ML imaging with digital image correlation (DIC) to achieve precise reconstruction of the strain field. Experiments are conducted using aluminum alloy specimens coated with ML film sensor on their surfaces. During the tensile process, ML images of the films and speckle images of the specimen backsides are simultaneously acquired. Combined with DIC technology, high-precision full-field strain distributions are obtained. Through spatial registration and region matching algorithms, a quantitative calibration model between ML intensity and DIC strain is established. The research results indicate that the ML intensity and DIC strain exhibit a significant linear correlation (R² = 0.92). To verify the universality of the model, aluminum alloy notched specimen tests show that the reconstructed strain field is in good agreement with the DIC and finite element analysis results, with an average relative error of 0.23%. This method enables full-field, non-contact conversion of ML signals into strain distributions with high spatial resolution, providing a quantitative basis for studying ML response mechanisms under complex loading. Full article

As a core component of high-speed trains, the traction drive system is also one of the main sources of both pass-by noise and interior noise. Current research primarily focuses on the modeling and design of its dynamic characteristics, while studies on its sound radiation remain relatively scarce. Existing investigations mainly rely on experimental and finite element methods. This paper proposes a rapid modeling method for the sound radiation of traction drive systems and analyzes the acoustic characteristics under different train speeds and gear helix angles. Taking an electric freight locomotive operating on China’s railways as the subject, the primary noise sources were identified through real-vehicle testing, thereby simplifying the non-dominant noise sources. By integrating a gear system dynamic model with theoretical models of gear meshing noise and motor noise, the proposed approach avoids the complexity and high computational cost associated with traditional finite element methods. The results show that at lower train speeds, the main noise source is the motor, while at higher speeds, it is the gearbox. As the train speed and helix angle increase, the radiated sound pressure of the traction drive system first increases and then decreases, though the sound field distribution and directivity remain largely unchanged. Full article

Cracking in asphalt layers of rigid–flexible composite pavements under coupled ambient temperature fields and traffic loading represents a critical failure mode. Traditional models based on uniform temperature assumptions inadequately capture the crack propagation mechanisms. This study developed a thermo-mechanical coupling model that incorporates realistic temperature-modulus gradients to analyze the compressive-shear behavior and simulate crack propagation using the extended finite element method (XFEM) coupled with a modified Paris’ law. Key findings reveal that the asphalt layer exhibits a predominant compressive-shear stress state; increasing the base modulus from 10,000 MPa to 30,000 MPa reduces the maximum shear stress by 22.8% at the tire centerline and 8.6% at the edge; thermal stress predominantly drives crack initiation, whereas vehicle loading governs the propagation path; field validation via cored samples confirms inclined top-down cracking under thermo-mechanical coupling; and the fracture energy release rate (G_f) reaches a minimum of 155 J·m⁻² at 14:00, corresponding to a maximum fatigue life of 32,625 cycles, and peaks at 350 J·m⁻² at 01:00, resulting in a reduced life of 29,933 cycles—reflecting a 9.0% temperature-induced fatigue life variation. The proposed model, which integrates non-uniform temperature gradients, offers enhanced accuracy in capturing complex boundary conditions and stress states, providing a more reliable tool for durability design and assessment of composite pavements. Full article

According to the World Health Organization (WHO), globally, cervical cancer ranks as the fourth most common cancer in women, with around 660,000 new cases in 2022. In the same year, about 94 percent of the 350,000 deaths caused by cervical cancer occurred in low- and middle-income countries. This paper focuses on the dynamics of HPV by modeling the interactions between four compartments, as follows: S(t), the number of susceptible females; I(t), females infected with HPV; X(t), females infected with HPV but not yet affected by cervical cancer (CCE); and V(t), females infected with HPV and affected by CCE. A compartmental model is formulated to analyze the progression of HPV, ensuring all key mathematical properties, such as existence, uniqueness, positivity, and boundedness of the solution. The equilibria of the model, such as the HPV-free equilibrium and HPV-present equilibrium, are analyzed, and the basic reproduction number, $R_0$, is computed using the next-generation matrix method. Local and global stability of these equilibria are rigorously established to understand the conditions for disease eradication or persistence. Sensitivity analysis around the reproduction number is carried out using partial derivatives to identify critical parameters influencing $R_0$, which gives insights into effective intervention strategies. With appropriate positivity, boundedness, and numerical stability, a new stochastic non-standard finite difference (NSFD) scheme is developed for the proposed model. A comparison analysis of solutions shows that the NSFD scheme is the most consistent and reliable method for a stochastic fractional delay model. Graphical simulations are presented to provide visual insights into the development of the disease and lend the results to a more mature discourse. This research is crucial in highlighting the mathematical rigor and practical applicability of the proposed model, contributing to the understanding and control of HPV progression. Full article

While material extrusion via fused filament fabrication (FFF) offers design flexibility and rapid prototyping, its practical use in engineering is limited by mechanical challenges, including residual stresses, geometric distortions, and potential interlayer debonding. These issues arise from the dynamic thermal profiles during FFF, including temperature gradients, non-uniform hardening, and rapid thermal cycling, which lead to uneven internal stress development depending on fabrication parameters and object topology. These problems can compromise the structural integrity and mechanical properties of FFF parts, especially when the load-bearing capacity and geometric accuracy are critical. This study focuses on polylactic acid (PLA) due to its widespread application in engineering. It introduces a computational framework for coupled thermo-mechanical simulations of the FFF process using ABAQUS (Version 2020) finite element software. A key innovation is an automated subroutine that converts G-code into a time-resolved event series for finite element activation. The simulation framework explicitly models the sequential stages of printing, cooling, and detachment, enabling prediction of adhesive loss and post-process warpage. A transient thermal model evaluates the temperature distribution during FFF, providing boundary conditions for a mechanical simulation that predicts residual stresses and warping. Uniquely, the proposed model incorporates the detachment stage, enabling a more realistic and experimentally validated prediction of warpage and residual stress release in FFF-fabricated components. Although the average deviation between predicted and measured displacements is about 10.6%, the simulation adequately reflects the spatial distribution and magnitude of warpage, confirming its practical usefulness for process optimization and design validation. Full article

For fractals on Riemannian manifolds, the theory of iterated function systems often does not apply well directly, as these fractal sets are often defined by relations that are multivalued or non-contractive. To overcome this difficulty, we introduce the novel notion of iterated relation systems. We study the attractor of an iterated relation system and formulate a condition under which such an attractor can be identified with that of an associated graph-directed iterated function system. Using this method, we obtain dimension formulas for the attractor of an iterated relation system on locally Euclidean Riemannian manifolds, under the graph open set condition or the graph finite type condition. This method improves the one by Ngai and Xu, which relies on knowing the specific structure of the attractor. We also study fractals generated by iterated relation systems on Riemannian manifolds that are not locally Euclidean. Full article