Interfacial interactions, including adhesion and friction, directly affect the ability of the robot system to interact with the external environment, such as the realization of operation and motion functions. Bionics provides guidance for the active control of interface forces. Creatures such as geckos, tree frogs, octopuses, and beetles have developed delicate topological structures and smart control strategies during long-term evolution, facilitating their ability to adhere to, manipulate, capture, and traverse various surfaces across diverse environments. Inspired by the advantages of high strength, adaptability, controllability, durability, and no residue, biomimetic controllable adhesion structures, materials, and systems have been developed, showing a wide range of potential applications in reversible attachment, flexible locomotion, and dexterous grasping. In this paper, the mechanisms and theoretical models of various biological reversible adhesion systems in nature are summarized. Then the design criteria, optimization method, and preparation technology of the artificial adhesion structures based on van der Waals interaction, capillary force, negative pressure, and mechanical interlocking mechanisms are reviewed. In particular, the adhesion/load ratio and the switch ratio of adhesive materials and structures are highlighted to evaluate the adhesion ability and controllability of various designs. The applications of biomimetic controllable adhesion structures and systems in robotics manipulation and locomotion are presented. Finally, the conclusion and possible future direction are discussed.

Beth’s theorem equating explicit and implicit definability fails in all logics between Meyer’s basic logic ${\mathbf B}$ and the logic ${\mathbf R}$ of Anderson and Belnap. This result has a simple proof that depends on the fact that these logics do not contain classical negation; it does not extend to logics such as $\mathbf{KR}$ that contain classical negation. Jacob Garber, however, showed that Beth’s theorem fails for $\mathbf{KR}$ by adapting Ralph Freese’s result showing that epimorphisms may not be surjective in the category of modular lattices. We extend Garber’s result to show that the Beth theorem fails in all logics between ${\mathbf B}$ and $\mathbf{KR}$.

The digital twin approach has gained recognition as a promising solution to the challenges faced by the Architecture, Engineering, Construction, Operations, and Management (AECOM) industries. However, its broader application across some AECOM sectors remains limited. A significant obstacle is that traditional DTs rely on deterministic models, which require deterministic input parameters. This limits their accuracy, as they do not account for the substantial uncertainties that are inherent in AECOM projects. These uncertainties are particularly pronounced in geotechnical design and construction. To address this challenge, we propose a probabilistic digital twin (PDT) framework that extends traditional DT methodologies by incorporating uncertainties and is tailored to the requirements of geotechnical design and construction. The PDT framework provides a structured approach to integrating all sources of uncertainty, including aleatoric, data, model, and prediction uncertainties, and propagates them throughout the entire modeling process. To ensure that site-specific conditions are accurately reflected as additional information is obtained, the PDT leverages Bayesian methods for model updating. The effectiveness of the PDT framework is showcased through an application to a highway foundation construction project, demonstrating its potential to integrate existing probabilistic methods to improve decision-making and project outcomes in the face of significant uncertainties. By embedding these methods within the PDT framework, we lower the barriers to practical implementation, making probabilistic approaches more accessible and applicable in real-world engineering workflows.

This paper documents the details of the design, verification, and certification of a novel technology: a remote monitoring system (digital twin) for a voyage data recorder, referred to as the HermAce Gateway. The electronic components, data transfer, and storage principle explain how the HermAce Gateway communicates and records safety-critical messages. Various prospective benefits to the industry are provided, primarily regarding the opportunities for remote support and testing that the digital twin facilitates. The HermAce Gateway was independently verified through a combination of semi-automated software in the loop and selected complimentary hardware in the loop tests. Different types of communication were simulated in multiple ways, including approximating real-world scenarios. Alarms contained in correctly formed messages were found to be detected and recorded by the HermAce Gateway, and a discussion of how this evidence can be quantified in the context of reducing uncertainty in the reliability of a digital twin. Certification of a digital system is a new concept in the maritime industry. The identification of functional requirements, which informed the verification testing, and the development of an AI register for what is expected to be an increasing number of such systems are also documented.

This article examines the impact of generative artificial intelligence (GAI) on higher education, emphasizing its effects in the broader educational contexts. As AI continues to reshape the landscape of teaching and learning, it is imperative for higher education institutions to adapt rapidly to equip graduates for the challenges of a progressively automated global workforce. However, a critical question emerges: will GAI lead to a more inclusive future of learning, or will it deepen existing divides and create a future where educational access and success are increasingly unequal? This study employs both theoretical and empirical approaches to explore the transformative potential of GAI. Drawing upon the literature on AI and education, we establish a framework that categorizes the essential knowledge and skills needed by graduates in the GAI era. This framework includes four key capability sets: AI ethics, AI literacy (focusing on human-replacement technologies), human–AI collaboration (emphasizing human augmentation), and human-distinctive capacities (highlighting unique human intelligence). Our empirical analysis involves scrutinizing GAI policy documents and the core curricula mandated for all graduates across leading Asian universities. Contrary to expectations of a uniform AI-driven educational transformation, our findings expose significant disparities in AI readiness and implementation among these institutions. These disparities, shaped by national and institutional specifics, are likely to exacerbate existing inequalities in educational outcomes, leading to divergent futures for individuals and universities alike in the age of GAI. Thus, this article not only maps the current landscape but also forecasts the widening educational gaps that GAI might engender.

Wheel-leg composite robots exhibit robust mobility and exceptional obstacle-crossing capabilities in complex environments. This paper proposes a novel transformable wheel-leg composite structure and presents the design of a wheel-leg composite obstacle-crossing robot, fundamentally configured as a two-wheeled quadruped. The research encompasses a comprehensive analysis of the robot’s overall mechanical structure, a detailed kinematic investigation of its body and obstacle-crossing gait planning, virtual prototype dynamics simulation, and field experimentation. Utilizing advanced modeling software, a 3D model of the robot was established. The kinematic characteristics of the robot in both wheeled and legged modes were thoroughly examined. Specifically, for the legged mode, the Denavit-Hartenberg coordinate system was established, and a detailed kinematic model was analyzed. The obstacle-crossing gait was planned based on the robot’s leg action mechanism. Furthermore, the Lagrangian method was employed to develop a mathematical model for the dynamics of the robot in both wheel-foot modes, allowing for a comprehensive force analysis. To validate the feasibility and rationality of the robot’s obstacle-crossing capabilities under various conditions, extensive simulations and prototype tests were conducted across diverse terrains. The results provide valuable insights and practical guidance for the structural design of wheel-leg composite obstacle-crossing robots, contributing to advancements in this promising field.

Detecting cracks in underwater dams is crucial for ensuring the quality and safety of the dam. However, underwater dam cracks are easily obscured by aquatic plants. Traditional single-view visual inspection methods cannot effectively extract the feature information of the occluded cracks, while multi-view crack images can extract the occluded target features through feature fusion. At the same time, underwater turbulence leads to nonuniform diffusion of suspended sediments, resulting in nonuniform flooding of image feature noise from multiple viewpoints affecting the fusion effect. To address these issues, this paper proposes a multi-view fusion network (MVFD-Net) for crack detection in occluded underwater dams. First, we propose a feature reconstruction interaction encoder (FRI-Encoder), which interacts the multi-scale local features extracted by the convolutional neural network with the global features extracted by the transformer encoder and performs the feature reconstruction at the end of the encoder to enhance the feature extraction capability and at the same time in order to suppress the interference of the nonuniform scattering noise. Subsequently, a multi-scale gated adaptive fusion module is introduced between the encoder and the decoder for feature gated fusion, which further complements and recovers the noise flooding detail information. Additionally, this paper designs a multi-view feature fusion module to fuse multi-view image features to restore the occluded crack features and achieve the detection of occluded cracks. Through extensive experimental evaluations, the MVFD-Net algorithm achieves excellent performance when compared with current mainstream algorithms.