Hakutulokset - Shaoying Liu
-
1
Verifying the Safety of Formal Specification Using Fault Tree Analysis and Animation
Julkaistu 2025-01-01Hae kokotekstiFormal specifications can effectively guide the implementation of intended functionalities and improve the quality of software during its creation phase. However, a remaining challenge is how to verify the system’s formal specification to ensure its safety. In this paper, we describe a sy...
Artikkeli -
2
The relationship between group attachment and career adaptability of college students: a moderated mediation model
Julkaistu 2025-07-01Hae kokotekstiIntroductionThis study explored the connection between group attachment and career adaptability among college students, considering attachment theory and career construction theory. It also looked into the mediating role of perceived social support and the moderating role of academic achievement lev...
Artikkeli -
3
Molecular phylogeny and taxonomy of the Sicista concolor group (Mammalia, Rodentia, Sicistidae) with the description of a new species
Julkaistu 2025-07-01Hae kokotekstiSicista is the sole extant genus in the family Sicistidae and one of the most ancient rodent genera known to date. This genus is of particular importance in mammalian evolutionary studies due to its ancient lineage and specialized ecological niches. In China, species of the genus Sicista are notorio...
Artikkeli