Due to scheduled maintenance work on our servers, there may be short service disruptions on this website between 11:00 and 12:00 CEST on March 28th.
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
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
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
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
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
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Search Results (27,219)

Search Parameters:
Keywords = design and construction

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
24 pages, 1020 KB  
Article
Research on the Diagnosis of Abnormal Sound Defects in Automobile Engines Based on Fusion of Multi-Modal Images and Audio
by Yi Xu, Wenbo Chen and Xuedong Jing
Electronics 2026, 15(7), 1406; https://doi.org/10.3390/electronics15071406 - 27 Mar 2026
Abstract
Against the global carbon neutrality target, predictive maintenance (PdM) of automotive engines represents a core technical strategy to advance the sustainable development of the automotive industry. Conventional single-modal diagnostic approaches for engine abnormal sound defects suffer from low accuracy and weak anti-interference capability. [...] Read more.
Against the global carbon neutrality target, predictive maintenance (PdM) of automotive engines represents a core technical strategy to advance the sustainable development of the automotive industry. Conventional single-modal diagnostic approaches for engine abnormal sound defects suffer from low accuracy and weak anti-interference capability. Existing multi-modal fusion methods fail to deeply mine the physical coupling between cross-modal features and often entail excessive model complexity, hindering deployment on resource-constrained on-board edge devices. To resolve these limitations, this study proposes a Physical Prior-Embedded Cross-Modal Attention (PPE-CMA) mechanism for lightweight multi-modal fusion diagnosis of engine abnormal sound defects. First, wavelet packet decomposition (WPD) and mel-frequency cepstral coefficients (MFCC) are integrated to extract time-frequency features from engine audio signals, while a channel-pruned ResNet18 is employed to extract spatial features from engine thermal imaging and vibration visualization images. Second, the PPE-CMA module is designed to adaptively assign attention weights to audio and image features by exploiting the physical coupling between engine fault acoustic and visual characteristics, enabling efficient cross-modal feature fusion with redundant information suppression. A rigorous theoretical derivation is provided to link cosine similarity with the physical correlation of engine fault acoustic-visual features, justifying the attention weight constraint (β = 1 − α) from the perspective of fault feature physical coupling. Third, an improved lightweight XGBoost classifier is constructed for fault classification, and a hybrid data augmentation strategy customized for engine multi-modal data is proposed to address the small-sample challenge in industrial applications. Ablation experiments on ResNet18 pruning ratios verify the optimal trade-off between diagnostic performance and computational efficiency, while feature distribution analysis validates the authenticity and effectiveness of the hybrid augmentation strategy. Experimental results on a self-constructed multi-modal dataset show that the proposed method achieves 98.7% diagnostic accuracy and a 98.2% F1-score, retaining 96.5% accuracy under 90 dB high-level environmental noise, with an end-to-end inference speed of 0.8 ms per sample (including preprocessing, feature extraction, and classification). Cross-engine and cross-domain validation on a 2.0T diesel engine small-sample dataset and the open-source SEMFault-2024 dataset yield average accuracies of 94.8% and 95.2%, respectively, demonstrating strong generalization. This method effectively enhances the accuracy and robustness of engine abnormal sound defect diagnosis, offering a lightweight technical solution for on-board real-time fault diagnosis and in-plant online quality inspection. By reducing engine fault-induced energy loss and spare parts waste, it further promotes energy conservation and emission reduction in the automotive industry. Quantified experimental data on fuel efficiency improvement and carbon emission reduction are provided to substantiate the ecological benefits of the proposed framework. Full article
Show Figures

Figure 1

25 pages, 887 KB  
Review
A Review of Finite Element Analysis in Spine Surgery Decision-Making
by Elizabeth Beaulieu, Jaden Wise, Isabella Merem, Zachary Comella, Rosstin Afsahi, Joshua Roemer, Maohua Lin, Richard Sharp, Talha S. Cheema and Frank D. Vrionis
J. Clin. Med. 2026, 15(7), 2584; https://doi.org/10.3390/jcm15072584 - 27 Mar 2026
Abstract
Finite element analysis is widely used to study spinal biomechanics and to compare surgical strategies under controlled loading conditions. By allowing variation in alignment, fixation, and implant design, these models provide insight into stress redistribution and motion changes that are difficult to isolate [...] Read more.
Finite element analysis is widely used to study spinal biomechanics and to compare surgical strategies under controlled loading conditions. By allowing variation in alignment, fixation, and implant design, these models provide insight into stress redistribution and motion changes that are difficult to isolate experimentally. This review examines spine surgery-focused finite element studies published between 2018 and 2024, with emphasis on interbody fusion techniques, adjacent segment mechanics, and implant-related stress behavior. Across lumbar fusion models, constructs incorporating anterior column support demonstrate lower posterior instrumentation stress than posterior-only approaches, with lateral lumbar interbody techniques showing reduced rod and screw stresses across multiple loading conditions compared with posterior lumbar interbody or posterolateral fusion constructs. In the cervical spine, comparisons of plated and zero-profile anterior cervical discectomy and fusion devices show smaller increases in adjacent-level motion and intradiscal pressure with zero-profile constructs, alongside higher localized stress at fixation interfaces. More recent studies apply finite element methods to implant optimization, alignment planning, and patient-specific modeling. Together, these findings suggest that finite element analysis is increasingly used to support surgical planning and implant design, with continued advances in validation and patient-specific simulation likely to strengthen its clinical relevance. Full article
(This article belongs to the Section General Surgery)
Show Figures

Figure 1

29 pages, 2733 KB  
Article
Productivity Prediction in Tight Oil Reservoirs: A Stacking Ensemble Approach with Hybrid Feature Selection
by Zhengyang Kang, Yong Zheng, Tianyang Zhang, Haoyu Chen, Xiaoyan Zhou, Quanyu Cai and Yiran Sun
Processes 2026, 14(7), 1089; https://doi.org/10.3390/pr14071089 - 27 Mar 2026
Abstract
To address the challenges of low accuracy and complex influencing factors in predicting horizontal well fracturing productivity during the development of unconventional oil and gas resources such as tight oil, this paper proposes a productivity prediction framework based on an improved feature selection [...] Read more.
To address the challenges of low accuracy and complex influencing factors in predicting horizontal well fracturing productivity during the development of unconventional oil and gas resources such as tight oil, this paper proposes a productivity prediction framework based on an improved feature selection method and an ensemble learning model. This study employs a fusion analysis using the entropy weight method to combine Pearson correlation analysis and improved gray relational analysis (IGRA) for feature selection. Thirteen machine learning models were tested with six distinct parameter combinations to construct a Stacking-based ensemble learning model, with base models including Random Forest (RF), Ridge Regression (RR), and Artificial Neural Network (ANN). Particle Swarm Optimization (PSO) was employed to optimize hyperparameters, followed by interpretability analysis using SHapley Additive exPlanations (SHAP). The results indicate that the model with fused weights demonstrated optimal performance. The Stacking model achieved significantly improved accuracy after PSO optimization, with the coefficient of determination increasing by 4.9%, outperforming all comparison models. Engineering guidance is provided: Under current geological conditions, sand ratio and displacement fluid volume require fine-tuning to prevent over-treatment. Fracturing design should implement differentiated strategies based on the target sand body thickness. This study not only delivers a high-precision production prediction tool but also offers decision support for efficient unconventional oil and gas field development through its exceptional interpretability. Full article
(This article belongs to the Section Petroleum and Low-Carbon Energy Process Engineering)
28 pages, 16669 KB  
Article
SQDPoS: A Secure and Practical Semi-Quantum Blockchain System for the Post-Quantum Era
by Ang Liu, Qi An, Sijiang Xie and Yalong Yan
Computers 2026, 15(4), 210; https://doi.org/10.3390/computers15040210 - 27 Mar 2026
Abstract
The rapid development of quantum computing poses severe threats to traditional blockchain security mechanisms, while existing full-quantum blockchains face challenges regarding high hardware costs and limited scalability. To address these issues, this paper proposes a secure and practical semi-quantum blockchain system. Specifically, a [...] Read more.
The rapid development of quantum computing poses severe threats to traditional blockchain security mechanisms, while existing full-quantum blockchains face challenges regarding high hardware costs and limited scalability. To address these issues, this paper proposes a secure and practical semi-quantum blockchain system. Specifically, a Semi-Quantum Delegated Proof of Stake consensus mechanism is constructed by integrating an adapted semi-quantum voting protocol with the Borda count method and a malicious behavior penalty model. Furthermore, a lightweight transaction verification framework is designed based on semi-quantum key distribution, enabling classical users with limited quantum capabilities to participate securely. Theoretical analysis demonstrates that the system achieves unconditional security against quantum attacks while maintaining high throughput. These results indicate that the proposed asymmetric resource design significantly lowers hardware barriers compared to full-quantum schemes, effectively balancing security, practicality, and cost-effectiveness for post-quantum blockchain networks. Full article
Show Figures

Figure 1

20 pages, 13968 KB  
Article
Design and Characterization of the POKERINO Prototype for the POKER/NA64 Experiment at CERN
by Andrei Antonov, Pietro Bisio, Mariangela Bondì, Andrea Celentano, Anna Marini and Luca Marsicano
Instruments 2026, 10(2), 19; https://doi.org/10.3390/instruments10020019 - 27 Mar 2026
Abstract
The NA64 experiment at the CERN H4 beamline recently started a high-energy positron-beam program to search for light dark matter particles through a thick-target, missing-energy measurement. To fulfill the energy resolution requirement of the physics measurement [...] Read more.
The NA64 experiment at the CERN H4 beamline recently started a high-energy positron-beam program to search for light dark matter particles through a thick-target, missing-energy measurement. To fulfill the energy resolution requirement of the physics measurement σE/E2.5%/E[GeV]0.5% and cope with the constraints and performance requests of the NA64 setup, a new high-resolution homogeneous electromagnetic calorimeter PKR-CAL has been designed. The detector is based on PbWO4 crystals, each read by multiple SiPM sensors to maximize the light collection. The PKR-CAL design has been optimized to mitigate and control unavoidable SiPM saturation effects at high light levels, as well as to minimize the gain fluctuations induced by instantaneous variations of the H4 beam intensity. The R&D program culminated in the construction of a small-scale prototype, POKERINO. In this work, we present the results from the experimental characterization campaign of the POKERINO, aiming at demonstrating that the obtained performances are compatible with the application requirements. Full article
Show Figures

Figure 1

39 pages, 3274 KB  
Article
Dynamic Risk Evolution and Adaptive Synchronization Control for Human–Machine–Environment Coupled Nuclear Emergency System: Based on Comprehensive On-Site Emergency Drills of Nuclear Power Plants
by Wen Chen, Shuliang Zou, Changjun Qiu and Meiyan Gan
Appl. Sci. 2026, 16(7), 3265; https://doi.org/10.3390/app16073265 - 27 Mar 2026
Abstract
As nuclear energy expands, nuclear emergency response systems increasingly exhibit strong human–machine–environment (H–M–E) coupling, long-duration operations, and multi-department coordination, in which minor disturbances can be amplified by feedback loops into cascading failures and loss of situational control. To address the inability of conventional [...] Read more.
As nuclear energy expands, nuclear emergency response systems increasingly exhibit strong human–machine–environment (H–M–E) coupling, long-duration operations, and multi-department coordination, in which minor disturbances can be amplified by feedback loops into cascading failures and loss of situational control. To address the inability of conventional static and linear methods to represent dynamic risk evolution and chaotic uncertainty, this study proposes an integrated “risk network–chaotic evolution–synchronization control” framework. Based on 12-year-old on-site comprehensive drill reports from a Chinese nuclear power base, we construct a directed H–M–E risk network in a semi-quantitative, qualitative–quantitative manner and identify critical nodes using a composite betweenness–PageRank risk metric. We further abstract the system into a three-dimensional nonlinear coupled dynamical model; phase portraits, Lyapunov exponents, and bifurcation analysis confirm threshold effects, period-doubling routes, and chaotic attractors, revealing nonlinear amplification under strong coupling. Finally, an adaptive chaotic synchronization controller driven by network coupling strength is designed. Simulations show all strategies suppress chaos and achieve synchronization, while the machine-dominated strategy offers the best speed–energy trade-off for emergency resource allocation. Full article
Show Figures

Figure 1

19 pages, 2055 KB  
Article
CFD-Based Steady-State Flow Force Compensation in Direct Drive Servo Valves
by Krzysztof Warzocha and Paweł Rzucidło
Appl. Sci. 2026, 16(7), 3262; https://doi.org/10.3390/app16073262 - 27 Mar 2026
Abstract
One of the key factors determining energy consumption and control stability in hydraulic servovalves with direct electric drive is the flow forces acting on the spool. These forces are complex in nature and consist of both steady-state and transient components, with the steady-state [...] Read more.
One of the key factors determining energy consumption and control stability in hydraulic servovalves with direct electric drive is the flow forces acting on the spool. These forces are complex in nature and consist of both steady-state and transient components, with the steady-state component exerting the dominant influence on the performance and dynamics of spool valves. In recent years, this issue has become the subject of intensive research aimed at reducing undesirable hydraulic loads while maintaining high nominal flow capacity, strong energy efficiency, and low manufacturing cost. In engineering practice, the most effective approach has proven to be the modification of the spool geometry in order to control the direction and jet angle of the outflow while keeping the valve sleeve design as simple as possible. This solution reduces the forces acting on the spool without the need to redesign the flow channels or increase production complexity. This study presents classical analytical methods used to calculate flow forces in typical spool valve designs, which serve as a reference point for subsequent investigations. Then, using CFD simulation tools, a method of flow force compensation is demonstrated for selected spool geometries, followed by a detailed comparative analysis of their effectiveness. The results may provide a foundation for developing more energy-efficient and dynamically stable direct-drive servovalve constructions. Full article
23 pages, 1279 KB  
Article
Multi-Criteria Decision-Making Approach for Design Evaluation and Optimization of Smart Pet Water Fountains
by Tao Qian, Ying Li and Hai-Tu Miao
Appl. Sci. 2026, 16(7), 3255; https://doi.org/10.3390/app16073255 - 27 Mar 2026
Abstract
To address the challenges of homogenization and unclear functional hierarchy in pet water fountain design, as well as to meet diverse user needs, reduce costs, and improve efficiency, this study undertakes product design based on comprehensive research and analysis of key design elements [...] Read more.
To address the challenges of homogenization and unclear functional hierarchy in pet water fountain design, as well as to meet diverse user needs, reduce costs, and improve efficiency, this study undertakes product design based on comprehensive research and analysis of key design elements that fulfill the practical requirements of both humans and pets. Furthermore, to evaluate and optimize the proposed design scheme, an integrated AHP-improved CRITIC-TOPSIS comprehensive design evaluation model is introduced within the framework of multi-criteria decision theory to assess and refine pet water fountain design solutions. The methodology commences with the application of the AHP to construct a multi-level evaluation index system and determine subjective weights for each index. Subsequently, the improved CRITIC method is integrated to calculate the comprehensive weights of each indicator. The TOPSIS method is then employed to rank and optimize the design schemes. Strategies for further improvement are proposed based on key indicators that are assigned higher weights. The results of the simulation verification experiment and sensitivity analysis indicate that the proposed method achieves high accuracy and reliability in the evaluation of pet water fountain designs. This methodology establishes a rigorous evaluation framework that can be extended to other pet product designs. Full article
(This article belongs to the Topic Advances on Structural Engineering, 3rd Edition)
23 pages, 7893 KB  
Article
Long-Tail Learning for Three-Dimensional Pavement Distress Segmentation Using Point Clouds Reconstructed from a Consumer Camera
by Pengjian Cheng, Junyan Yi, Zhongshi Pei, Zengxin Liu, Dayong Jiang and Abduhaibir Abdukadir
Remote Sens. 2026, 18(7), 1008; https://doi.org/10.3390/rs18071008 - 27 Mar 2026
Abstract
The application of 3D data in pavement inspection represents an emerging trend. Acquiring and measuring the 3D information of pavement distress enables a more comprehensive assessment of severity, thereby allowing for accurate monitoring and evaluation of the pavement’s technical condition. Existing methods face [...] Read more.
The application of 3D data in pavement inspection represents an emerging trend. Acquiring and measuring the 3D information of pavement distress enables a more comprehensive assessment of severity, thereby allowing for accurate monitoring and evaluation of the pavement’s technical condition. Existing methods face challenges in high-cost pavement scanning and insufficient research on automated 3D distress segmentation. This study employed a consumer-grade action camera for data acquisition and constructed an engineering-aligned 3D point cloud dataset of pavements. Then a long-tail class imbalance mitigation strategy was introduced, integrating adaptive re-sampling with a weighted fusion loss function, effectively balancing minority class representation. The proposed network, named PointPaveSeg, was a dedicated point cloud processing architecture. A dual-stream feature fusion module was designed for the encoder layer, which decoupled geometric and semantic features to improve distress extraction capability. The network incorporated a hierarchical feature propagation structure enhanced by edge reinforcement, global interaction, and residual connections. Experimental results demonstrated that PointPaveSeg achieved an mIoU of 78.45% and an accuracy of 95.43%. In the field evaluation, post-processing and geometric information extraction were performed on the segmented point clouds. The results showed high consistency with manual measurements. Testing confirmed the method’s practical applicability in real-world projects, offering a new lightweight alternative for intelligent pavement monitoring and maintenance systems. Full article
(This article belongs to the Special Issue Point Cloud Data Analysis and Applications)
Show Figures

Figure 1

38 pages, 957 KB  
Article
Modeling Perceived Social Media Performance as an Information Driver of Consumer Decision-Making in Grocery Retail
by Theodore Tarnanidis, Maro Vlachopoulou, Jason Papathanasiou and Bertrand Mareschal
Information 2026, 17(4), 327; https://doi.org/10.3390/info17040327 - 27 Mar 2026
Abstract
As social media campaigns become increasingly important in grocery and supermarket retail communication strategies, there is little research on how consumers view campaign performance throughout their decision-making process, rather than isolated behavioral outcomes. This study examines how the five-stage decision-making process is influenced [...] Read more.
As social media campaigns become increasingly important in grocery and supermarket retail communication strategies, there is little research on how consumers view campaign performance throughout their decision-making process, rather than isolated behavioral outcomes. This study examines how the five-stage decision-making process is influenced by consumer-perceived social media performance effectiveness (CP-SMPE), grounded in consumer decision-making theory and social media performance literature. The study uses a mixed-methods research design, combining qualitative interviews with the consumers and a quantitative survey of 300 grocery shoppers in Greece. Perceived return on investment, revenue contribution, lead generation, engagement, reach, cost efficiency, and quality of electronic word-of-mouth are components of social media performance conceptualized as a multidimensional construct. Exploratory factor analysis and PLS-SEM were employed to analyze quantitative data. The findings show that high perceived social media campaign performance influences all stages of the consumer decision-making process, both directly and indirectly, through sequential intermediate stages. It ultimately enhances purchase decisions and post-purchase outcomes. By adopting a consumer-centric, process-based perspective, this study contributes to research on digitally mediated retail decision-making by demonstrating how effective social media communication can support more informed, structured consumer choices. The findings suggest that social media communication can lead to more informed and potentially responsible consumption choices by improving information environments and decision support, even though sustainability outcomes are not directly measured. Full article
Show Figures

Graphical abstract

35 pages, 25669 KB  
Article
Low-Intervention Optimization of Exit Locations in Complex Multi-Room Buildings: A Mechanism-Oriented Analysis Based on a Direction-Aware Cellular Automaton Model and Multi-Dimensional Evaluation
by Yi Xu and Ying Zhou
Sustainability 2026, 18(7), 3286; https://doi.org/10.3390/su18073286 - 27 Mar 2026
Abstract
Exit location can influence evacuation efficiency without changing the number of exits, yet its mechanism lacks quantitative characterization. Using a complex single-floor hospital outpatient department floor plan with 186 occupants as the case study, based on a direction-aware cellular automaton (CA) model, this [...] Read more.
Exit location can influence evacuation efficiency without changing the number of exits, yet its mechanism lacks quantitative characterization. Using a complex single-floor hospital outpatient department floor plan with 186 occupants as the case study, based on a direction-aware cellular automaton (CA) model, this study constructed two exit layout scenarios within the same complex building floor plan and independently repeated 50 simulations for each scenario under identical occupant population and model parameters. A mechanism-oriented analysis was conducted from the perspectives of evacuation efficiency, structural fairness, behavioral fairness, and structure–behavior deviation. The results showed that, in this case, exit relocation shortened the total evacuation time by approximately 20% (p<0.001) and significantly reduced the concentration of exit utilization, whereas the service area distribution changed only slightly, and local peak density did not increase significantly. This indicates that exit location improves evacuation efficiency by restructuring the crowd-splitting structure rather than by a simple balancing of structural service coverage. This study provides quantitative evidence for performance-based evacuation design and sustainable safety optimization in complex spaces. Full article
15 pages, 293 KB  
Article
Four-Layer Valuation Framework for Non-Fungible Tokens (NFTs): Asset, Market, Technology, and Ecosystem Perspectives
by Tae-Woong Ham and Se-Hak Chun
J. Risk Financial Manag. 2026, 19(4), 245; https://doi.org/10.3390/jrfm19040245 - 27 Mar 2026
Abstract
In this study, we propose a structured valuation framework for non-fungible tokens (NFTs), a distinct class of digital assets whose pricing mechanisms remain insufficiently understood. Based on previous empirical studies and illustrative case analyses of three major NFT collections, we synthesize insights from [...] Read more.
In this study, we propose a structured valuation framework for non-fungible tokens (NFTs), a distinct class of digital assets whose pricing mechanisms remain insufficiently understood. Based on previous empirical studies and illustrative case analyses of three major NFT collections, we synthesize insights from non-cash-flow asset theory, market microstructure, and behavioral finance to construct a four-layer valuation framework consisting of the Asset, Market, Technology, and Ecosystem layers. We identify three NFT-specific mechanisms—verified digital scarcity, pseudonymous signaling, and on-chain herding—that modify or extend traditional valuation paradigms. Empirical evidence from the literature suggests that rarity-driven asset features and social-influence dynamics are dominant price determinants, while wash trading, fragmented liquidity, and platform incentive structures generate persistent distortions in price discovery. Case analyses of CryptoPunks, Bored Ape Yacht Club, and Pudgy Penguins demonstrate how differing risk exposures across the four layers translate into distinct valuation trajectories. With this framework, we obtain a basis for improved risk assessment, regulatory oversight, and business model design in NFT markets. Full article
12 pages, 300 KB  
Article
On Syntactical Simplification of Temporal Operators in Negation-Free Metric Temporal Logic
by Mathijs van Noort, Femke Ongenae and Pieter Bonte
Mathematics 2026, 14(7), 1124; https://doi.org/10.3390/math14071124 - 27 Mar 2026
Abstract
Temporal reasoning in dynamic, data-intensive environments increasingly demands expressive yet tractable logical frameworks. Traditional approaches often rely on negation to express absence or contradiction. In such contexts, negation-as-failure is commonly used to infer negative information from the lack of positive evidence. However, for [...] Read more.
Temporal reasoning in dynamic, data-intensive environments increasingly demands expressive yet tractable logical frameworks. Traditional approaches often rely on negation to express absence or contradiction. In such contexts, negation-as-failure is commonly used to infer negative information from the lack of positive evidence. However, for open and distributed systems such as IoT networks and the Semantic Web, negation-as-failure semantics become unreliable due to incomplete and asynchronous data. This has led to growing interest in negation-free fragments of temporal rule-based systems, which preserve monotonicity and enable scalable reasoning. This paper investigates the expressive power of negation-free Metric Temporal Logic (MTL), a temporal logic framework designed for rule-based reasoning over time. We show that the “always” operators ⊞ and ⊟, often treated as syntactic sugar for combinations of other temporal constructs, can be eliminated using “once”, “since” and “until” operators. Remarkably, even the “once” operators can be removed, yielding a fragment based solely on “until” and “since”. These results challenge the assumption that negation is necessary for expressing universal temporal constraints and reveal a robust fragment capable of capturing both existential and invariant temporal patterns. Furthermore, the results induce a reduction in the syntax of MTL, which, in turn, can provide benefits for both theoretical study as well as for implementation efforts. Full article
(This article belongs to the Special Issue Formal Methods in Computer Science: Theory and Applications)
Show Figures

Figure 1

30 pages, 9485 KB  
Article
Morphological, Thermal, Mechanical and Cytotoxic Investigation of Hydroxyapatite Reinforced Chitosan/Collagen 3D Bioprinted Dental Grafts
by Ubeydullah Nuri Hamedi, Fatih Ciftci, Tülay Merve Soylu, Mine Kucak, Ali Can Özarslan and Sakir Altinsoy
Polymers 2026, 18(7), 816; https://doi.org/10.3390/polym18070816 - 27 Mar 2026
Abstract
Dental tissue regeneration, particularly alveolar bone and gingival repair, remains a major challenge in regenerative medicine. 3D bioprinting offers patient-specific and anatomically precise constructs, representing an advanced alternative to conventional grafting. In this study, nanohydroxyapatite (nHA), chitosan (CS), and collagen (CoL) were combined [...] Read more.
Dental tissue regeneration, particularly alveolar bone and gingival repair, remains a major challenge in regenerative medicine. 3D bioprinting offers patient-specific and anatomically precise constructs, representing an advanced alternative to conventional grafting. In this study, nanohydroxyapatite (nHA), chitosan (CS), and collagen (CoL) were combined to fabricate and characterize 3D bioprinted dental grafts. SEM revealed a highly porous, interconnected architecture favorable for cell infiltration and nutrient exchange. EDS confirmed Ca/P ratios of 2.06 for nHA/CoL and 1.83 for nHA/CS/CoL, both of which are above the stoichiometric 1.67, indicating the presence of additional mineral phases and ion substitutions. FTIR and XRD verified characteristic functional groups and crystalline phases, including B-type HA with carbonate substitution. Mechanical testing showed that pure nHA exhibited the lowest compressive strength, whereas CoL incorporation improved stiffness. The nHA/CS/CoL composite achieved the highest compressive strength, elastic modulus, and toughness, demonstrating superior mechanical resilience. DSC analysis indicated endothermic peaks at 106.49 °C and 351.91 °C, with enthalpy values (264.91 J/g and 15.09 J/g) surpassing those of nHA alone. TGA revealed ~28.8% weight loss across three degradation stages, confirming enhanced thermal stability. In vitro cytocompatibility testing using L929 fibroblasts validated the biocompatibility of the composites. Collectively, the synergy between bioceramics and biopolymers markedly improved both mechanical and thermal performance. These findings position the nHA/CS/CoL scaffold as a promising candidate for clinical applications in dental tissue regeneration. Unlike conventional grafting materials, this study introduces a synergistically optimized nHA/CS/CoL bio-ink formulation specifically designed for extrusion-based 3D bioprinting of patient-specific dental constructs. The core innovation lies in the precise integration of nHA within a dual-polymer matrix (CS/CoL), which bridges the gap between mechanical resilience and biological signaling, achieving a compressive strength that mimics native alveolar bone while maintaining high cytocompatibility. Full article
Show Figures

Graphical abstract

23 pages, 7096 KB  
Article
Research and Application of Functional Model Construction Method for Production Equipment Operation Management and Control Oriented to Diversified and Personalized Scenarios
by Jun Li, Keqin Dou, Jinsong Liu, Qing Li and Yong Zhou
Machines 2026, 14(4), 368; https://doi.org/10.3390/machines14040368 - 27 Mar 2026
Abstract
As complex system engineering involving multiple stakeholders, multi-objective collaboration, and multi-spatiotemporal scales, the components, logical structure, and functional mechanisms of production equipment operation management and control (PEOMC) can be generalized through functional modelling to support dynamic analysis and intelligent decision-making of PEOMC in [...] Read more.
As complex system engineering involving multiple stakeholders, multi-objective collaboration, and multi-spatiotemporal scales, the components, logical structure, and functional mechanisms of production equipment operation management and control (PEOMC) can be generalized through functional modelling to support dynamic analysis and intelligent decision-making of PEOMC in the industrial internet environment. To address the diversity of scenarios and objectives of PEOMC, a hierarchical construction method for the functional model of PEOMC based on IDEF0 is proposed. By analysing relevant international standards, such as ISO 55010, ISO/IEC 62264, and OSA-CBM, the generic functional modules for the first and second layers of the functional model are identified and defined. On the basis of semi-supervised machine learning, topic clustering is used to extract the components, functional mechanisms, and logical relationships of production equipment operation management and control from approximately 200 standard texts and to construct a reference resource pool for the third-layer functional module. On this basis, an interface matching and recursive traversal algorithm for functional modules is designed, and a composition and orchestration strategy of functional modules for specific scenarios is provided to support the flexible construction of diversified and personalized PEOMC scenarios. The proposed construction and application method was validated through an engineering case study in an aero-engine transmission unit manufacturing workshop: the average process capability index of the enterprise’s production equipment steadily increased from 1.28 to approximately 1.60, the mean time to repair (MTTR) of production equipment failures significantly decreased from 8 h to 3 h, and the average overall equipment effectiveness (OEE) increased from 56.43% to a stable 68.57%, demonstrating its effectiveness and practicality. Full article
(This article belongs to the Topic Smart Production in Terms of Industry 4.0 and 5.0)
Show Figures

Figure 1

Back to TopTop