Recently, cross-department business processes are becoming more and more complex. Different kinds of coordination patterns exist among different departments, which make modeling and analysis work more difficult. To our best knowledge, there is no formal method to give systematic modeling and verification for the cross-department processes when considering different kinds of coordination patterns among different departments. This paper proposes such a method based on Petri nets. The WF-net model extended with resource and message factors, RM_WF_Net for short, is first introduced. Then, the formal model of tasks is proposed and its coordination relations are given. Next, RM_WF_Net modeling for intradepartment processes is investigated and cross-department coordination patterns, including message interaction pattern, resource interaction pattern, task collaboration pattern, procedure abstract, service outsourcing pattern, and process activation pattern, are formally defined. The soundness of the RM_WF_Net is verified based on the reachability graph. A running case of the crossdepartment medical diagnosis business process is given to validate our proposed method.

No abstract

No abstract

No abstract

A Q-band two-beam cryogenic receiver for the Tianma Radio Telescope (TMRT) has been developed, and it uses the independently-developed key microwave and millimeter-wave components operating from 35 to 50GHz with a fractional bandwidth of 35%. The Q-band receiver consists of three parts: optics, cold unit assembly and warm unit assembly, and it can receive simultaneously the left-handed and right-handed circularly polarized waves. The cold unit assembly of each beam is composed of a feed horn, a noise injection coupler, a differential phase shifter, an orthomode transducer and two low-noise amplifiers, and it works at a temperature range near 20 K to greatly improve the detection sensitivity of the receiving system. The warm unit assembly includes four radio-frequency amplifiers, four radio-frequency high-pass filters, four waveguide biased mixers, four 4–12 GHz intermediate-frequency amplifiers and one 31–38 GHz frequency synthesizer. The measured Q-band four-channel receiver noise temperatures are roughly 30–40 K. In addition, the single-dish spectral line and international very long baseline interferometry (VLBI) observations between the TMRT and East Asia VLBI Network at the Q-band have been successfully carried out, demonstrating the advantages of the TMRT equipped with the state-of-the-art Q-band receiver.