ANALYSIS EXPLORING THE INFLUENCE OF TEACHER-PERCEIVED SUSTAINABLE LEADERSHIP AND ENHANCEMENT STRATEGIES ON CONTINUOUS PROFESSIONAL DEVELOPMENT OF TEACHERS IN CHINESE VOCATIONAL COLLEGES: A GROUNDED THEORY APPROACH

The purpose of this study, which is set against the backdrop of teachers' perceived sustainable leadership, is to investigate the key factors that determine the professional development and potential improvement strategies of Chinese vocational college teachers. ten vocational college teachers in Shandong Province, China, were selected for semi-structured interviews using a purposive sampling method, and the interview texts were coded and analysed using the grounded theory. The findings indicated that the continuous professional development of vocational college teachers is significantly influenced by multiple factors, which include teachers’ perception of their professional development, schools’ policies and systems, the fairness of allocating resources and the organisation’s cultural environment. As a result, the professional growth and autonomy of vocational college teachers can be substantially enhanced by establishing a robust institutional guarantee system, fostering a supportive and inclusive organisational culture, and advocating for the implementation of personalised development plans.  Article visualizations

BIOPROCESS ENGINEERING FOR ENHANCING THE PRODUCTIVITY AND SELECTIVITY OF BIOOXIDATIONS

Ph.DDOCTOR OF PHILOSOPH

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an effective countermeasure against side-channel attacks by removing the statistical dependence between secrecy and power consumption via randomization. However, designing efficient and effective masked implementations turns out to be an error-prone task. Current techniques for verifying whether masked programs are secure are limited in their applicability and accuracy, especially when they are applied. To bridge this gap, in this article, we first propose a sound type system, equipped with an efficient type inference algorithm, for verifying masked arithmetic programs against higher-order attacks. We then give novel model-counting based and pattern-matching based methods which are able to precisely determine whether the potential leaky observable sets detected by the type system are genuine or simply spurious. We evaluate our approach on various implementations of arithmetic cryptographicprograms.The experiments confirm that our approach out performs the state-of-the-art base lines in terms of applicability, accuracy and efficiency

Scrambling Transition in Free Fermion Systems Induced by a Single Impurity

In quantum many-body systems, interactions play a crucial role in the emergence of information scrambling. When particles interact throughout the system, the entanglement between them can lead to a rapid and chaotic spreading of quantum information, typically probed by the growth in operator size in the Heisenberg picture. In this study, we explore whether the operator undergoes scrambling when particles interact solely through a single impurity in generic spatial dimensions, focusing on fermion systems with spatial and temporal random hoppings. By connecting the dynamics of the operator to the symmetric exclusion process with a source term, we demonstrate the presence of an escape-to-scrambling transition when tuning the interaction strength for fermions in three dimensions. As a comparison, systems in lower dimensions are proven to scramble at arbitrarily weak interactions unless the hopping becomes sufficiently long-ranged. Our predictions are validated using both a Brownian circuit with a single Majorana fermion per site and a solvable Brownian SYK model with a large local Hilbert space dimension. This suggests the universality of the theoretical picture for free fermion systems with spatial and temporal randomness.Comment: 11 pages, 4 figure

Optimization Analysis of the Structural Design and Stability Parameters of a Rehabilitation Robot

In this paper, a lower limb rehabilitation robot, suitable for stroke patients, is designed to meet the needs of the lower limb training in a later stage of rehabilitation. The rehabilitation robot is composed of a gantry structure, a driving system, a weight support system, and a human-computer interaction system. Such a robot can assist the patients to stand and walk on the ground. Because of the weakness of the lower limbs on the affected side, stroke patients find it difficult to maintain their own body balance. The patients may fall due to a change in body posture caused by insufficient body function. Therefore, it is necessary to evaluate the stability of the rehabilitation robot after being impacted by the patient\u27s fall during use. This paper presents a method for the analysis of robot stability and develops an approximate mathematical model of the rehabilitation robot stability based on the response surface method. Optimal structural design parameters for the rehabilitation robot under impact are determined based on the response surface mathematical model. Finally, a stability experiment of the rehabilitation robot under the optimal structural parameters is performed. The experimental results demonstrate that the universal wheel maintains a close force contact with the ground, which proves the reliable stability of the robot