An user-oriented computer software consisting of three modeling codes, named DRAD, DRAA and FDPAT, is introduced. It can be used to design three types of Cassegrain system: classical, with shaped subreflector and with dual shaped reflectors, and to analyse radiation patterns for the antennas. Severa...

In networks, the stable path problem (SPP) usually results in oscillations in interdomain systems and may cause systems to become unstable. With the rapid development of internet technology, the occurrence of SPPs in interdomain systems has quite recently become a significant focus of research. A fr...

An abstraction method developed for the explicit linear temporal logic model checking was geared towards reducing the useless part of the state space during the abstraction period. This reduces the cost during the abstraction period relative to models requiring many useless states. A dining-philosop...

Waveguide invariant is widely used in underwater target passive ranging. In shallow water with uniform sound speed profile, the value of waveguide invariant is approximately a constant, while in shallow water with thermocline, it varies in a wide range. The waveguide invariant distributions and stri...

A fault-tolerant permanent-magnet vernier (FT-PMV) machine incorporates the merits of high fault-tolerant capability and high torque density. In this paper, a remedial phase-angle control (RPAC) strategy is proposed for a five-phase FT-PMV machine with short-circuit fault. Firstly, the proposed stra...