Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Journals

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Article Types

Countries / Regions

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Search Results (429)

Search Parameters:
Keywords = code equivalence

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
33 pages, 9877 KB  
Article
Experimental Seismic Performance and Failure Mechanisms of a Novel Prefabricated Monolithic Lattice–Earth Composite Wall
by Chenghua Zhang, Xinqi Zhang, Wurong Jia, Liyun Tang, Renzhuo Hao, Qing Qin, Yang Guo, Xiang Ren, Zhigang Gao, Yuchen Wang, Hua Zhang, Jia Wang, Chunlin Shang and Liang Cheng
Buildings 2026, 16(4), 732; https://doi.org/10.3390/buildings16040732 - 11 Feb 2026
Viewed by 66
Abstract
Earthen materials are attractive sustainable building solutions due to their low embodied energy and ecological benefits. However, their inherent weaknesses, such as low strength and poor durability, severely restrict modern engineering applications. Traditional physical or chemical modification methods struggle to balance significant improvement [...] Read more.
Earthen materials are attractive sustainable building solutions due to their low embodied energy and ecological benefits. However, their inherent weaknesses, such as low strength and poor durability, severely restrict modern engineering applications. Traditional physical or chemical modification methods struggle to balance significant improvement in mechanical performance with the preservation of their core sustainable attributes. To overcome this long-standing challenge, this study proposes a paradigm-shifting solution: a prefabricated monolithic lattice–earth composite wall structure. This system abandons the single-material-centered modification approach. Instead, through macroscopic system-level composite design, reinforced concrete lattices and earthen blocks are prefabricated into integral wall panels in a factory. These panels then work collaboratively with the peripheral frame through reliable integral connections. Via quasi-static tests and theoretical analysis on four scaled wall specimens with different design parameters, this study systematically reveals the working mechanism and performance regulation principles of this composite system. The core findings indicate: (1) The system achieves multiple seismic defense lines and a controllable energy dissipation path through a sequential damage mechanism: “earthen material cracking and friction → lattice yielding and energy dissipation → final defense by the frame.” (2) The ratio of the equivalent lateral stiffness of the prefabricated wall panel to the stiffness of the outer frame is a key dimensionless design parameter controlling the failure mode (ductile shear or brittle bending), and the lattice configuration is an effective means to adjust this parameter. (3) Based on tests and an equivalent stiffness model, quantitative design guidelines are proposed, focusing on optimizing lattice density (recommended: 3–4 lattice columns), limiting the aspect ratio (preferably ≤1.5), and ensuring “strong connections.” This study demonstrates that the system, without sacrificing the intrinsic sustainable advantages of earthen materials, successfully endows them with high performance, meeting modern seismic code requirements and potential for prefabricated construction through system integration innovation. It provides a new path with theoretical foundation and practical feasibility to resolve the core contradiction in the modernization of traditional earthen buildings—the incompatibility between ecological attributes and engineering performance. This lays an important foundation for developing next-generation high-performance green building structural systems. Full article
(This article belongs to the Section Building Structures)
Show Figures

Figure 1

19 pages, 4607 KB  
Article
Numerical Investigation of the Seismic Response of Historic Masonry Retaining Walls
by Mehdi Öztürk and Yasemin Beril Ay
Appl. Sci. 2026, 16(3), 1580; https://doi.org/10.3390/app16031580 - 4 Feb 2026
Viewed by 180
Abstract
Masonry retaining walls constitute an essential component of historic and urban infrastructure in seismic regions; however, their seismic performance remains insufficiently quantified due to material heterogeneity, limited tensile capacity, and complex soil–structure interaction. This study investigates the seismic response of historic stone masonry [...] Read more.
Masonry retaining walls constitute an essential component of historic and urban infrastructure in seismic regions; however, their seismic performance remains insufficiently quantified due to material heterogeneity, limited tensile capacity, and complex soil–structure interaction. This study investigates the seismic response of historic stone masonry retaining walls using a finite element-based anisotropic macro-modeling approach. The analysis focuses on the perimeter retaining walls of Emirgan Grove in Istanbul, which represent culturally significant heritage structures constructed from natural limestone and cement–lime mortar. Material properties were defined based on experimental test results and representative values reported in the literature, while composite anisotropic behavior was incorporated into the numerical models. Static loads, earth pressures, and seismic actions were applied in accordance with the Turkish Building Earthquake Code (TBEC-2018) using the equivalent static earthquake load method. Representative wall segments with heights of 2.5 m, 3.5 m, 4.0 m, and 6.30 m were analyzed. The numerical results show that maximum compressive stresses reached approximately 0.48 MPa, remaining well below the allowable limit of 4.50 MPa, while maximum tensile stresses of about 0.28 MPa did not exceed the allowable tensile limit of 1.00 MPa. In contrast, shear stresses locally reached approximately 0.25 MPa, exceeding the allowable shear limit of 0.10 MPa, particularly along the soil–wall interface in taller walls. Sliding stability was satisfied in all cases, whereas overturning and shear behavior governed seismic vulnerability. These findings confirm that wall height is the primary parameter controlling seismic response and demonstrate the effectiveness of the proposed framework for preservation-oriented seismic safety assessment of historic masonry retaining walls. Full article
(This article belongs to the Special Issue Advances in Earthquake Engineering and Seismic Resilience)
Show Figures

Figure 1

22 pages, 2226 KB  
Article
Deep Evaluation of Structural Time Period Formulae Using Finite Element Modelling
by Shimaa Emad, Alaa Elsisi, Eman Sharaf, Atef Eraky and Abdallah Salama
CivilEng 2026, 7(1), 10; https://doi.org/10.3390/civileng7010010 - 3 Feb 2026
Viewed by 1069
Abstract
The accurate estimation of the fundamental period is critical for seismic design using the Equivalent Lateral Force method. This study evaluates widely used empirical period formulae from international seismic codes and previous research by comparing them with detailed finite element method (FEM) analyses. [...] Read more.
The accurate estimation of the fundamental period is critical for seismic design using the Equivalent Lateral Force method. This study evaluates widely used empirical period formulae from international seismic codes and previous research by comparing them with detailed finite element method (FEM) analyses. A total of 93 reinforced concrete building models were assessed. The results show that most empirical formulae, notably the American Society of Civil Engineers Standard (ASCE 7-10), the Eurocode, the National Building Code of Canada (NBCC), and the Saudi Building Code (SBC 301), systematically underestimate the fundamental period in low- and mid-rise buildings often by more than 40% under cracked conditions, while discrepancies reduce under uncracked assumptions. Equations such as those proposed by the Building Standard Law of Japan (BSLJ) and Australian Standard (AS 11407.2) show comparatively closer agreements with FEM predictions, whereas formulae developed by Goel and Chopra and by Alguhane et al. have distinct differences, especially at greater heights. Statistical parameters, including the arithmetic mean difference and the standard deviation, were employed to enhance the comparison and assess the accuracy and dispersion of the estimated fundamental periods. The results indicate that empirical formulae, although beneficial in first-design stages, are likely to yield conservative results and suggest the use of advanced numerical computation or revised models and coefficients for RC high-rise and irregular buildings. Full article
(This article belongs to the Section Mathematical Models for Civil Engineering)
Show Figures

Figure 1

11 pages, 230 KB  
Article
Gothelf’s Haplotype of COMT in Parkinson’s Disease: A Case–Control Study
by Zdenko Červenák, Ján Somorčík, Žaneta Zajacová, Andrea Gažová, Igor Straka, Zuzana André, Michal Minár and Ján Kyselovič
Biomedicines 2026, 14(2), 262; https://doi.org/10.3390/biomedicines14020262 - 23 Jan 2026
Viewed by 254
Abstract
Background: Catechol-O-methyltransferase (COMT) catalyzes catecholamine O-methylation and contributes to dopamine turnover, potentially influencing levodopa requirements in Parkinson’s disease (PD). We evaluated whether the Gothelf COMT haplotype—and its constituent variants rs2075507, rs4680 (Val158Met), and rs165599—differ in frequency between PD cases and controls. We then [...] Read more.
Background: Catechol-O-methyltransferase (COMT) catalyzes catecholamine O-methylation and contributes to dopamine turnover, potentially influencing levodopa requirements in Parkinson’s disease (PD). We evaluated whether the Gothelf COMT haplotype—and its constituent variants rs2075507, rs4680 (Val158Met), and rs165599—differ in frequency between PD cases and controls. We then tested associations between these variants and clinical phenotypes, with a prespecified focus on levodopa equivalent daily dose (LEDD). Finally, we examined whether haplotype structure and allele-specific context (e.g., background-dependent effects) help explain observed genotype–phenotype relationships in the PD cohort. Aim: Analysis of the rs2075507, rs4680 and rs165599 at individual and haplotype level between control and diseased groups. Furthermore, analysis of association of individual SNPs or haplotype level with clinical outcomes. Subjects and methods: Fifty-five individuals with Parkinson’s disease (PD) and fifty-three neurologically healthy controls were enrolled at a single center. Genomic DNA was isolated from peripheral blood, and three COMT variants—rs2075507 (promoter), rs4680/Val158Met (coding), and rs165599 (3′UTR)—were genotyped by Sanger sequencing. Allele, genotype, and tri-marker haplotype frequencies were estimated, and case–control differences were evaluated. Within the PD cohort, associations with clinical outcomes—primarily levodopa equivalent daily dose (LEDD)—were analyzed using multivariable linear models. Statistical tests were two-sided, with multiplicity control as specified in the corresponding tables. Results: The rs2075507 polymorphism showed a robust additive association with LEDD; each A allele predicted higher dose (LEDD ≈ +1331 mg/day, p = 0.001) after adjusting for age and sex. The tri-haplotype test did not show significant association with LEDD. Nevertheless, rs2075507 SNP strongly marked downstream backgrounds: in AA carriers, rs4680–rs165599 haplotypes were enriched for Val (G) and rs165599-G; in GG carriers, for rs165599-A with mixed Val/Met; and GA was A-loaded at both loci. Exact tests confirmed that AA and GG differed in rs4680–rs165599 composition, whereas GA vs. GG was not significant. Conclusions: The promoter variation at rs2075507 may represent the genetic contributor to levodopa dose requirements when modeled with SNP–SNP interactions, with its effect is modified mostly by rs165599 polymorphism. Tri-haplotypes do not independently predict LEDD. The rs4680 (coding) and rs165599 (3′UTR) context appears to fine-tune rather than determine dosing needs, mainly via interaction with rs2075507 SNP. Full article
(This article belongs to the Special Issue Advances in Parkinson’s Disease Research)
13 pages, 4845 KB  
Article
Efficient Solid-State Far-Field Macroscopic Fourier Ptychographic Imaging via Programmable Illumination and Camera Array
by Di You, Ge Ren and Haotong Ma
Photonics 2026, 13(1), 73; https://doi.org/10.3390/photonics13010073 - 14 Jan 2026
Viewed by 209
Abstract
The macroscopic Fourier ptychography (FP) is regarded as a highly promising approach of creating a synthetic aperture for macro visible imaging to achieve sub-diffraction-limited resolution. However most existing macro FP techniques rely on the high-precision translation stage to drive laser or camera scanning, [...] Read more.
The macroscopic Fourier ptychography (FP) is regarded as a highly promising approach of creating a synthetic aperture for macro visible imaging to achieve sub-diffraction-limited resolution. However most existing macro FP techniques rely on the high-precision translation stage to drive laser or camera scanning, thereby increasing system complexity and bulk. Meanwhile, the scanning process is slow and time-consuming, hindering the ability to achieve rapid imaging. In this paper, we introduce an innovative illumination scheme that employs a spatial light modulator to achieve precise programmable variable-angle illumination at a relatively long distance, and it can also freely adjust the illumination spot size through phase coding to avoid the issues of limited field of view and excessive dispersion of illumination energy. Coupled with a camera array, this could significantly reduce the number of shots taken by the imaging system and enable a lightweight and highly efficient solid-state macro FP imaging system with a large equivalent aperture. The effectiveness of the method is experimentally validated using various optically rough diffuse objects and a USAF target at laboratory-scale distances. Full article
Show Figures

Figure 1

19 pages, 6578 KB  
Article
High-Resolution Spatiotemporal-Coded Differential Eddy-Current Array Probe for Defect Detection in Metal Substrates
by Qi Ouyang, Yuke Meng, Lun Huang and Yun Li
Sensors 2026, 26(2), 537; https://doi.org/10.3390/s26020537 - 13 Jan 2026
Viewed by 210
Abstract
To address the problems of weak geometric features, low signal response amplitude, and insufficient spatial resolvability of near-surface defects in metal substrates, a high-resolution spatiotemporal-coded eddy-current array probe is proposed. The probe adopts an array topology with time-multiplexed excitation and adjacent differential reception, [...] Read more.
To address the problems of weak geometric features, low signal response amplitude, and insufficient spatial resolvability of near-surface defects in metal substrates, a high-resolution spatiotemporal-coded eddy-current array probe is proposed. The probe adopts an array topology with time-multiplexed excitation and adjacent differential reception, achieving a balance between high common-mode rejection ratio and high-density spatial sampling. First, a theoretical electromagnetic coupling model between the probe and the metal substrate is established, and finite-element simulations are conducted to investigate the evolution of the skin effect, eddy-current density distribution, and differential impedance response over an excitation frequency range of 1–10 MHz. Subsequently, a 64-channel M-DECA probe and an experimental testing platform are developed, and frequency-sweeping experiments are carried out under different excitation conditions. Experimental results indicate that, under a 50 kHz excitation frequency, the array eddy-current response achieves an optimal trade-off between signal amplitude and spatial geometric consistency. Furthermore, based on the pixel-to-physical coordinate mapping relationship, the lateral equivalent diameters of near-surface defects with different characteristic scales are quantitatively characterized, with relative errors of 6.35%, 4.29%, 3.98%, 3.50%, and 5.80%, respectively. Regression-based quantitative analysis reveals a power-law relationship between defect area and the amplitude of the differential eddy-current array response, with a coefficient of determination R2=0.9034 for the bipolar peak-to-peak feature. The proposed M-DECA probe enables high-resolution imaging and quantitative characterization of near-surface defects in metal substrates, providing an effective solution for electromagnetic detection of near-surface, low-contrast defects. Full article
Show Figures

Figure 1

19 pages, 705 KB  
Article
Reproducibility and Environmental Efficiency of Metabolomics Cancer Modeling
by Claire Jean-Quartier, Niklas Tscheppe, Stefan Millonig, Lena Klambauer, Andreas Holzinger, Sarah Stryeck and Fleur Jeanquartier
Appl. Sci. 2026, 16(2), 588; https://doi.org/10.3390/app16020588 - 6 Jan 2026
Viewed by 321
Abstract
Sustainability in the context of machine learning (ML) plays an important role for accessible models by both researchers as well as clinicians. This article describes a reproducibility study on PiDeeL, a metabolic-pathway-informed deep learning model. It serves to test the hypothesis that the [...] Read more.
Sustainability in the context of machine learning (ML) plays an important role for accessible models by both researchers as well as clinicians. This article describes a reproducibility study on PiDeeL, a metabolic-pathway-informed deep learning model. It serves to test the hypothesis that the requirement of a simple provision of all digital artifacts is not sufficient to reproduce the computational experiment(s). The reproduction and modification of the computational model foundational to the previous findings shall promote documentation and evaluation of existing scientific models and confirm their applicability. The modification of the original model is based on measuring emissions of training machine learning models using CodeCarbon. Two different systems with different CPU as well as GPU specifications and Windows Subsystem Linux could be tested after guide and code adaptions due to initial incomplete replication attempts given the threshold of computation completion without error message(s). Emissions equivalent to 0.3–0.6 kg of CO2 per run were shown. Encountered issues along the replication attempts call for refined guidelines on documentation and processing of computational approaches in scientific studies by publishers as well as the scientific community. Thorough peer review including algorithmic reproduction would be necessary to ensure model reusability. Full article
(This article belongs to the Section Applied Biosciences and Bioengineering)
Show Figures

Figure 1

25 pages, 7051 KB  
Article
Research on Multi-Source Dynamic Stress Data Analysis and Visualization Software for Structural Life Assessment
by Qiming Liu, Yu Chen and Zhiming Liu
Appl. Sci. 2026, 16(1), 556; https://doi.org/10.3390/app16010556 - 5 Jan 2026
Viewed by 340
Abstract
Dynamic stress data are essential for evaluating structural fatigue life. To address the challenges of complex test data formats, low data reading efficiency, and insufficient visualization, this study systematically analyzes the .raw and .sie file formats from IMC and HBM data acquisition systems [...] Read more.
Dynamic stress data are essential for evaluating structural fatigue life. To address the challenges of complex test data formats, low data reading efficiency, and insufficient visualization, this study systematically analyzes the .raw and .sie file formats from IMC and HBM data acquisition systems and proposes a unified parsing approach. A lightweight .dac format is designed, featuring a “single-channel–single-file” storage strategy that enables rapid, independent retrieval of specific channels and seamless cross-platform sharing, effectively eliminating the inefficiency of the .sie format caused by multi-channel coupling. Based on Python v3.11, an automated format conversion tool and a PyQt5-based visualization platform are developed, integrating graphical plotting, interactive operations, and fatigue strength evaluation functions. The platform supports stress feature extraction, rainflow counting, Goodman correction, and full life-cycle fatigue damage assessment based on the Palmgren–Miner rule. Experimental results demonstrate that the proposed system accurately reproduces both time- and frequency-domain features, with equivalent stress deviations within 2% of nCode results, and achieves a 7–8× improvement in file loading speed compared with the original format. Furthermore, multi-channel scalability tests confirm a linear increase in conversion time (R2 > 0.98) and stable throughput across datasets up to 10.20 GB, demonstrating strong performance consistency for large-scale engineering data. The proposed approach establishes a reliable data foundation and efficient analytical tool for fatigue life assessment of structures under complex operating conditions. Full article
(This article belongs to the Special Issue Advances and Applications in Mechanical Fatigue and Life Assessment)
Show Figures

Figure 1

28 pages, 5925 KB  
Article
Evaluation of Displacement Demands for Existing RC Buildings Using Spectral Reduction Based on Equivalent Viscous Damping
by Cigdem Cirak Karakas, Mehmet Palanci and Sevket Murat Senel
Appl. Sci. 2026, 16(1), 345; https://doi.org/10.3390/app16010345 - 29 Dec 2025
Viewed by 298
Abstract
This study investigates the relationship between spectral reduction and structural demand using different equivalent viscous damping approaches for existing reinforced concrete (RC) buildings. In that regard, 20 existing reinforced concrete buildings ranging from three to seven stories were selected. Equivalent viscous damping ratios [...] Read more.
This study investigates the relationship between spectral reduction and structural demand using different equivalent viscous damping approaches for existing reinforced concrete (RC) buildings. In that regard, 20 existing reinforced concrete buildings ranging from three to seven stories were selected. Equivalent viscous damping ratios were obtained based on the building period and ductility values using Applied Technology Council (ATC) 40 and Priestley et al. approaches. Subsequently, the corresponding spectral reduction factors were computed using various spectral reduction models existing in the literature. These reduction factors were then applied to design spectra defined for different soil classes in Turkish Building Earthquake Code (TBEC) 2018 to estimate the inelastic spectral demands. Finally, a comparison was conducted in terms of the obtained spectral reduction coefficients and spectral demands, highlighting the influence of different damping models on expected structural response. Full article
(This article belongs to the Section Civil Engineering)
Show Figures

Figure 1

31 pages, 39539 KB  
Article
Thermovibrationally Driven Ring-Shaped Particle Accumulations in Corner-Heated Cavities with the D2h Symmetry
by Balagopal Manayil Santhosh and Marcello Lappa
Micromachines 2026, 17(1), 39; https://doi.org/10.3390/mi17010039 - 29 Dec 2025
Viewed by 270
Abstract
Over the last decade, numerical simulations and experiments have confirmed the existence of a novel class of vibrationally excited solid-particle attractors in cubic cavities containing a fluid in non-isothermal conditions. The diversity of emerging particle structures, in both morphology and multiplicity, depends strongly [...] Read more.
Over the last decade, numerical simulations and experiments have confirmed the existence of a novel class of vibrationally excited solid-particle attractors in cubic cavities containing a fluid in non-isothermal conditions. The diversity of emerging particle structures, in both morphology and multiplicity, depends strongly on the uni- or multi-directional nature of the imposed temperature gradients. The present study seeks to broaden this theoretical framework by further increasing the complexity of the thermal “information” coded along the external boundary of the fluid container. In particular, in place of the thermal inhomogeneities located in the center of otherwise uniformly cooled or heated walls, here, a cubic cavity with temperature boundary conditions satisfying the D2h (in Schoenflies notation) or “mmm” (in Hermann–Mauguin notation) symmetry is considered. This configuration, equivalent to a bipartite vertex coloring of a cube leading to a total of 24 thermally controlled planar surfaces, possesses three mutually perpendicular twofold rotation axes and inversion symmetry through the cube’s center. To reduce the problem complexity by suppressing potential asymmetries due to fluid-dynamic instabilities of inertial nature, the numerical analysis is carried out under the assumption of dilute particle suspension and one-way solid–liquid phase coupling. The results show that a kaleidoscope of new particle structures is enabled, whose main distinguishing mark is the essentially one-dimensional (filamentary) nature. These show up as physically disjoint or intertwined particle circuits in striking contrast to the single-curvature or double-curvature spatially extended accumulation surfaces reported in earlier investigations. Full article
(This article belongs to the Special Issue Microfluidic Systems for Sustainable Energy)
Show Figures

Figure 1

28 pages, 6693 KB  
Article
Optimization of Microfluidizer-Produced PLGA Nano-Micelles for Enhanced Stability and Antioxidant Efficacy: A Quality by Design Approach
by Esma Nur Develi Arslanhan, Fatemeh Bahadori, Zahra Eskandari, Muhammed Zahid Kasapoglu and Erkan Mankan
Pharmaceutics 2026, 18(1), 25; https://doi.org/10.3390/pharmaceutics18010025 - 25 Dec 2025
Viewed by 461
Abstract
Introduction: In this study, we aimed to optimize the microfluidizer-based preparation of poly(lactic-co-glycolic acid) nano-micelles (PLGANM), increasingly used for parenteral delivery of poorly water-soluble drugs but typically exhibiting poor physical stability when produced by conventional methods. Method: By systematically tuning microfluidization (MFZ) parameters, [...] Read more.
Introduction: In this study, we aimed to optimize the microfluidizer-based preparation of poly(lactic-co-glycolic acid) nano-micelles (PLGANM), increasingly used for parenteral delivery of poorly water-soluble drugs but typically exhibiting poor physical stability when produced by conventional methods. Method: By systematically tuning microfluidization (MFZ) parameters, we demonstrate an efficient strategy to enhance PLGANM stability and ensure robust, scalable manufacturing, relevant for long-term storage and clinical translation applications. The influence of several key factors designed by Central Composite Design (CCD), including the amount of PLGA and Tween 80, homogenization pressure, and number of passes of MFZ on the size, polydispersity (measured by DLS), and hence stability of the PLGANM, was analyzed for 60 days. 60 PLGANMs produced by the MFZ method (PMFZ) were compared with the PLGANM consisting of equivalent amounts of PLGA and T80 produced using the traditional oil-in-water method (POW). Desired limits were set to minimize standard deviations for Z-average, Zeta Potential, and PDI. Results: Coded variables for optimized PMFZ (OPMFZ) were found to be 82.96 mg PLGA, 6.78 mL 5% T80, 11,000 psi pressure, and 1 pass. Conclusions: This study demonstrates that microfluidization, when guided by a QbD framework, offers precise control over particle attributes and enables reproducible production of stable PLGANM. Full article
(This article belongs to the Special Issue PLGA Micro/Nanoparticles in Drug Delivery)
Show Figures

Graphical abstract

20 pages, 4476 KB  
Article
Consolidation Theory and Application of Double-Layered Foundation for Fiber-Reinforced Solidified Lightweight Soil
by Aiwu Yang, Shaokun Yang, Hao Zhang, Fayun Liang, Xuelun Liu, Yingying Zhang and Yongcun Deng
Buildings 2026, 16(1), 85; https://doi.org/10.3390/buildings16010085 - 24 Dec 2025
Viewed by 331
Abstract
Firstly, based on one-dimensional Terzaghi consolidation theory, we derived and established the analytical solution of excess pore water pressure and average consolidation degree of double-layered foundation, which can reflect the effect of fiber reinforcement. Meanwhile, the one-dimensional consolidation test of a double-layered foundation [...] Read more.
Firstly, based on one-dimensional Terzaghi consolidation theory, we derived and established the analytical solution of excess pore water pressure and average consolidation degree of double-layered foundation, which can reflect the effect of fiber reinforcement. Meanwhile, the one-dimensional consolidation test of a double-layered foundation was carried out by means of a modified WG-type (product series code) consolidation instrument. The accuracy of the theoretical solution was verified by designing different consolidation parameters of the basalt fiber-reinforced solidified lightweight soil (BF-SLS) layer. Secondly, our findings suggest that the settlement rate of the double-layered foundation decreased with the increase in thickness, compression modulus and fiber mixing ratio of the BF-SLS layer. Nevertheless, the average pore pressure dissipation rate changed in the opposite trend. Both increased with increasing permeability coefficient of the BF-SLS layer. Within the thickness ratio range of 0 to 1/2 between the upper and lower layers, the thickness of the BF-SLS layer significantly influenced the consolidation process of the double-layer foundation. At equivalent Tv levels, the difference in consolidation degree exceeded 60%. Finally, a comparison of various simplified methods for calculating the average consolidation degree of double-layer foundations reveals that neither the weighted consolidation coefficient method nor the average index method yields results that are in good agreement with theoretical solutions. The difference between Us (defined by sedimentation) and Up (defined by pore pressure) cannot be distinguished. This research can further refine the consolidation theory of “upper hard and lower soft” double-layer foundations. Full article
(This article belongs to the Section Building Structures)
Show Figures

Figure 1

25 pages, 6436 KB  
Article
Beyond Prescriptive Codes: A Validated Linear–Static Methodology for Seismic Design of Soft-Storey RC Structures
by Daniel Rios, Marco Altamirano, Daniel Ilbay, Juan Tlapanco, David Rivera-Tapia and Carlos Avila
Buildings 2026, 16(1), 60; https://doi.org/10.3390/buildings16010060 - 23 Dec 2025
Viewed by 738
Abstract
Reinforced concrete buildings with masonry-induced soft-storey irregularities exhibit extreme seismic vulnerability, a critical risk often underestimated by conventional code-based design. Standard equivalent static methods typically fail to capture the intense concentration of seismic demand at the flexible ground level, leading to unconservative designs [...] Read more.
Reinforced concrete buildings with masonry-induced soft-storey irregularities exhibit extreme seismic vulnerability, a critical risk often underestimated by conventional code-based design. Standard equivalent static methods typically fail to capture the intense concentration of seismic demand at the flexible ground level, leading to unconservative designs that do not meet performance objectives. This research proposes a corrective linear–static methodology to address this deficiency. A new Equivalent Lateral Force profile (ELFi1) was developed, derived from modal analyses of 235 representative soft-storey archetypes to accurately account for stiffness heterogeneity. This profile was integrated with a realistic response modification coefficient (Ri1 = 5.04), determined to be 37% lower than the normative R-factor (R = 8) prescribed by code. Nonlinear static analyses confirmed that conventional design resulted in “irreparable” damage (mean Global Damage Index = 0.82). In contrast, redesigning the structure using the proposed ELFi1 and Ri1 methodology successfully mitigated damage concentration, upgrading structural performance to a “repairable” state (mean Global Damage Index = 0.52). Finally, Incremental Dynamic Analysis validated the approach; the redesigned structure satisfied FEMA P695 collapse prevention criteria, achieving an Adjusted Collapse Margin Ratio (ACMR) of 2.10. This study confirms the proposed method is a robust and practical design alternative for soft-storey mechanisms within a simplified linear framework. Full article
(This article belongs to the Section Building Structures)
Show Figures

Figure 1

24 pages, 2524 KB  
Article
Exact and Heuristic Algorithms for Convex Polygon Decomposition
by Johana Milena Martínez Contreras, Germán Fernando Pantoja Benavides, Astrid Xiomara Rodríguez, John Willmer Escobar and David Álvarez-Martínez
Mathematics 2025, 13(24), 4038; https://doi.org/10.3390/math13244038 - 18 Dec 2025
Viewed by 563
Abstract
Convex decomposition plays a central role in computational geometry and is a key preprocessing step in applications such as robotic motion planning, 2D packing, pattern recognition, and manufacturing. This work revisits the minimum convex decomposition problem and proposes both an exact mathematical model [...] Read more.
Convex decomposition plays a central role in computational geometry and is a key preprocessing step in applications such as robotic motion planning, 2D packing, pattern recognition, and manufacturing. This work revisits the minimum convex decomposition problem and proposes both an exact mathematical model and an efficient heuristic algorithm capable of handling simple polygons as well as polygons with holes. The methodology incorporates a visibility-preserving bridge transformation that converts holed polygons into equivalent simple instances, enabling the extension of classical decomposition schemes to more general topologies. In addition, a convex-union post-processing phase is implemented to reduce the number of convex parts obtained by either method. The performance of the proposed approach is evaluated on benchmark instances from the literature and on a new dataset of polygons with holes introduced in this work. The exact model consistently produces optimal decompositions for small and medium instances, while the heuristic achieves near-optimal solutions with significantly reduced computation times. The union phase further decreases the number of resulting convex pieces in most cases. All codes, datasets, and results are publicly released to facilitate reproducibility and comparison with future methods. Full article
Show Figures

Figure 1

19 pages, 635 KB  
Article
Formal Verification of Transcompiled Mobile Applications Using First-Order Logic
by Ahmad Ahmad Muhammad, Mahitap Ayman, Samer A. Elhossany, Walaa Medhat, Sahar Selim, Hala Zayed, Ahmed H. Yousef, Axel Jantsch and Nahla Elaraby
Technologies 2025, 13(12), 580; https://doi.org/10.3390/technologies13120580 - 10 Dec 2025
Viewed by 718
Abstract
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although it has not yet been widely adopted, transcompilation offers promising [...] Read more.
The increasing interest in automated code conversion and transcompilation—driven by the need to support multiple platforms efficiently—has raised new challenges in verifying that translated codes preserve the intended behaviors of the originals. Although it has not yet been widely adopted, transcompilation offers promising applications in software reuse and cross-platform migration. With the growing use of Large Language Models (LLMs) in code translation, where internal reasoning remains inaccessible, verifying the equivalence of their generated outputs has become increasingly essential. However, existing evaluation metrics—such as BLEU and CodeBLEU, which are commonly used as baselines in transcompiler evaluation—primarily measure syntactic similarity, even though this does not guarantee semantic correctness. This syntactic bias often leads to misleading evaluations where structurally different but semantically equivalent code is penalized. This syntactic bias often leads to misleading evaluations, where structurally different but semantically equivalent code is penalized. To address this limitation, we propose a formal verification framework based on equivalence checking using First-Order Logic (FOL). The approach models core programming constructs—such as loops, conditionals, and function calls—that function as logical axioms, enabling equivalence to be assessed at the behavioral level rather than simply by their textual similarity. We initially used the Z3 solver to manually encode Swift and Java code into FOL. To improve scalability and automation, we later integrated ANTLR to parse and translate both the source and transcompiled codes into logical representations. Although the framework is language-agnostic, we demonstrate its effectiveness through a case study of Swift-to-Java transcompilation. The experimental results demonstrated that our method effectively identifies semantic equivalence, even when syntax differs significantly. Our method achieves an average semantic accuracy of 86.1%, compared to BLEU’s syntactic accuracy of 64.45%. This framework bridges the gap between code translation and formal semantic verification. These results highlight the potential for formal equivalence checking to serve as a more reliable validation method in code translation tasks, enabling more trustworthy cross-language code conversion. Full article
(This article belongs to the Section Information and Communication Technologies)
Show Figures

Figure 1

Back to TopTop