Space modular self-reconfigurable satellite (SMSRS) is a new type of satellite. The research on self-collision avoidance SMSRS important for its on-orbit safety but not completely solved. This paper offers method joint path planning SMSRS. Firstly, we establish the collision detection model based forward kinematics and spherical nonholonomic envelope to detect occurring in Then, achieve offline...

A recent result by Borchers connecting geometric modular action, modular inclusion and the spectrum condition, is applied in quantum eld theory on spacetimes with a bifurcate Killing horizon (these are generalizations of black hole space-times, comprising the familiar black hole spacetime models). Within this framework we give suucient, model-independent conditions ensuring that the temperature...

We propose an approach to perform efficient model-checking of μ-calculus formulae on modular Petri nets. Given a formula φ, each module can be analysed separately, possibly yielding a conclusion about the truth value of φ on the global system. When no conclusion can be drawn locally, a minimal state space preserving φ is computed for the module and can be incrementally composed with others, thu...

Serre and Stark found a basis for the space of modular forms of weight 1/2 in terms of theta series. In this paper, we generalize their result under certain mild restrictions on the level and character to the case of weight 1/2 Hilbert modular forms over a totally real field of narrow class number 1. The methods broadly follow those of Serre-Stark; however we are forced to overcome technical di...