The blood-sucking tick Haemaphysalis hystricis is a common ectoparasite of the giant panda and represents a significant threat to both wild and captive populations.Herein, the complete mitogenome of H.hystricis was sequenced using Illumina sophie allport bee curtains sequencing technology.The complete mitogenome sequence was 14,715 bp in size and e

This paper proposes an incremental optimization framework for verifying graph transformation systems to overcome the state space explosion (SSE).SSE refers to the exponential growth of the number of possible states in a system during its verification.The framework maps the verification problem to a search problem and incrementally generates the sta

The null geodesics and gravitational lensing in a nonsingular spacetime are investigated.According to the nature of the null geodesics, the spacetime is divided into several cases.In the weak deflection limit, we find the influence of the nonsingularity parameter q on the positions and magnifications of the images is negligible.In the strong deflec

This paper addresses the end-effector position and orientation tracking problem of a 6-degrees of freedom (DOF) rigid link electrically driven (RLED) revolute joint serial robot manipulator with uncertain parameters and external disturbances.System uncertainties and external disturbances are bounded but their upper limits are unknown.The input matr