• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.17 no.6
• /
• pp.558-571
• /
• 1992

In this paper, we propose an improved method of state exploration called the extended circular exploration (ECE) for the efficiency of state exploration and the reduction of explosively growing state. The ECE does not need to explore all the reachable global states, and It can be applied to JV($\boxDr$$\geq$ 2) -party protocol with alternative routes, i.e., it is applicable to the protocol In which adaptiverouting mechanism can be performed. The ECE eliminates a restriction of topology of the conventional circular exploration(CE) by exploring only those global states which are reachable, provided that the participant processes of any group of transitions proceed at the same speed, and that they can be formed as a cycle. Thus the state space explored if not exhaustive. The algorithm presented can detect deadlock error and unspecified reception error It requires storage space and /or execution time much less than those of the conventional perturbation(CP) . It might be used for a solution of the N-process collision and the interference mechanism.

• Journal of Digital Convergence
• /
• v.11 no.6
• /
• pp.1-9
• /
• 2013

The digital signal is terminated on Dec.31, 2012. But most of the analog cable subscribers are faced with the difficult reception of the digital because the government has defined the terrestrial broadcast as digital transition obligation operators. It is estimated that half analog of the total pay-TV subscriber that is approximately 10million households that are directly receiving terrestrial signal must hold the digital TV or DtoA convertor to transit digital. But cable system subscriber should buy Set-top box that are expensive and pay the expensive rates. The cast of analog cable subscribers has been classified as a group that can cause the most damage after digital switch. This study investigate the problem, and cause, solution of the analog cable subscribers that are placed in the blind spots of the digital switch.