Qinwen Ran

  • Citations Per Year
Learn More
The paper reveals the relationship between the weighting coefficients and weighted functions via the research of coefficients matrix and based on the original definition of 4-weighted fractional Fourier transform (4-WFRFT). The multi-parameters expression of weighting coefficients are given. Moreover, the 4-WFRFT of discrete sequences is defined by(More)
As one of the most practical protocols, Time-Triggered CAN protocol (TTCAN), which is time triggered to ensure the real-time capability required by embedded systems, has been widely used in the automotive electric system development. In this paper, we present a formal model of the TTCAN protocol using Timed Communicating Sequential Processes (Timed CSP).(More)
  • 1