• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.4
• /
• pp.292-298
• /
• 2002

We focus on the slicing off some sub-nets using the transitive matrix. Control flows in the Petri nets is done based on the token flows. One control f]ow explains the independent tokens status and if the token-in divides into several tokens after firing a transition then the control flow divides to several flows, as well. Accordingly, we define that the basic unit of concur-rency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. The BUC is S-invariant which has one control flow. We show the usefulness of transitive matrix to slice off some subnets from the original net based on BUC-through on an example.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.1241-1244
• /
• 1996

This paper present a performance evaluation method for Timed Place Petri Nets modeled by Live-and-Bounded Circuits (LB-circuits) through a bottom-up approach. The method can handle the case for the nets having common resources(CR). The target system is divided into the sub-systems by disconnecting the common Transition-Transition-Path(TTP) or Place-Place-Path (PPP) between sub-systems. The common PPP pattern is classified into Parallel Common Resource (PCR) and Sequential Common Resource (SCR) in detail for handling common resources. We evaluate the performance of each divided sub-system, and calculate the sub-systems affect on the performance of the whole system. The facts are generalized as a theorem. The developed theorem are applied into the performance evaluation of an automated assembly system shown in an example. All the results are verified by simulation.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.3
• /
• pp.1-6
• /
• 2006

In this paper, we described the existing methodology of product safety analysis and proposed a Petri-nets based method to analyze product safety systematically. The proposed method can be used to find the defects of hardware/software and the error of human behavior. We also discussed the differences between the Fault Tree Analysis and Petri-nets based method by giving an example.

• Journal of Internet Computing and Services
• /
• v.2 no.2
• /
• pp.117-126
• /
• 2001

This paper presents fuzzy Pr/T nets to represent the fuzzy production rules of a knowledge-based system in the level of first-order predicate logic. The fuzzy Pr/T nets are fuzzy extension of the Pr/T nets. Based on the fuzzy Pr/T net, we propose a fuzzy reasoning algorithm. This algorithm is much closer to human intuition and reasoning than other methods because of using the proper belief functions according to fuzzy concepts in fuzzy production rules.

• The Journal of Fisheries Business Administration
• /
• v.34 no.1
• /
• pp.45-67
• /
• 2003

Main target of fishing policy was enlargement of fishing catches in Korea after 1960s. This has caused sustainable decrease of the amount on the fisheries resource. In the result, fishing managements in Korea have suffered from aggravation of management. In this research, it is estimated the technical efficiency on Korean Off-shore Stow Nets Fishery that was made publication by Farrel in 1957. According to the analysis, Its were excessive to the gap of technical efficiency among Korean Off-shore Stow Nets Fishing boats. The gaps were excessive not only among each fishing managements but also by tonnage class and by region. Then we can recognize we need the change of Fishing Policy. That is, we should change for main target of fishing policy from enlargement of fishing catches to the policy of Price. And we should consider the supply of standard tonnage boats and specialization of fisheries by regions.

• Journal of Mechanical Science and Technology
• /
• v.20 no.10
• /
• pp.1527-1533
• /
• 2006

Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.

• Journal of the Korean Society of Tobacco Science
• /
• v.16 no.1
• /
• pp.84-89
• /
• 1994

Potato virus Y (PVY) is an important viral disease in burley tobacco in Korea and is mostly transmitted by green peach aphid, Myzus penicae, in nature. Effects of barrier nets on the immigration of the aphid population into tobacco fields and on the control of PVY were investigated in 3 tobacco fields with 1.8 m - height polyethylene (PE) nets on their outer - sides in Iseo - Myeon, Wanju - Kun, Cheonbuk. Immigration of aphids to the tobacco yields started at late April and reached maximum at early June. The immigrating aphid population was apparently blocked by the barrier nets to be reduced by 54-73%. PVY severity was also reduced by the barrier nets. However, the control value was variable, ranging 24-67%, which suggests that effect of the PE net barrier on the prevention of aphid-borne virus might be variable depending on the location and slope of the fields.

• International Journal of Computer Science & Network Security
• /
• v.22 no.4
• /
• pp.139-146
• /
• 2022

Wireless access technologies are emerging to enable high data rates for mobile users and novel applications that encompass both human and machine-type interactions. An essential approach to meet the rising demands on network capacity and offer high coverage for wireless users on upcoming fifth generation (5G) networks is heterogeneous networks (HetNets), which are generated by combining the installation of macro cells with a large number of densely distributed small cells Deployment in 5G architecture has several issues because to the rising complexity of network topology in 5G HetNets with many distinct base station types. Aside from the numerous benefits that dense small cell deployment delivers, it also introduces key mobility management issues such as frequent handover (HO), failures, delays and pingpong HO. This article investigates 5G HetNet mobility management in terms of radio resource control. This article also discusses the key challenges for 5G mobility management.

• Journal of the Korean Society of Fisheries and Ocean Technology
• /
• v.41 no.2
• /
• pp.147-155
• /
• 2005

This study was conducted in order to improve the automatic fishing operation system for anchovy boat seine by comparison with the fishing gear geometry and efficiency using the labor saving nets and the combined type net with midwater trawl. Field experiments were carried out to observe the geometry of nets and improve the fishing operation system by catcher boats. The vertical net opening of fore wing net, square, fore bag net and after bag net of the combined type net were varied in the range of 9.9~12.9. 16.2~28.2, 6.8~12.1 and 9.5~15.2m respectively, when the towing speed was 1.0m/sec and the distance between boats were 100m, 200m, 300m. The vertical net opening of the combined type nets was gradually decreased as function of with increasing the distance between catcher boats. Labor saving net which was maintained the net opening and towing depth stable was more suitable for the automatic hauling operation system by improvement of bag net rather than the combined type nets which was impossible in swallow depth and near to anchovy school. 3 boats hauling operation system of the labor saving net was carried out by crane with power block in 2 catcher boats for improvement of hauling operation and pushing equipment of anchovy cooking system in the processing boat for maintain more anchovy in dry frame. From the results of field experiments, 3 boats hauling operation system with power block and improved cooking system was very 3 boats hauling operation system with power block and improved cooking system was very useful and more practical as hauling time 20~35min and No. of fishermen 12~13 in comparison with the traditional system such as hauling time 30~50 min and No. of fishmen 28~38.

• Radiation Oncology Journal
• /
• v.31 no.3
• /
• pp.125-130
• /
• 2013

Purpose: We investigated the role of radiotherapy (RT) for pancreatobiliary neuroendocrine tumors (PB-NETs). Materials and Methods: We identified 9 patients with PB-NETs who received RT between January 2005 and March 2012. Of these 9 patients, 4 were diagnosed with NETs in the pancreas and 5 were diagnosed with NETs in the gallbladder. All patients received RT to the primary tumor or resection bed with a median total irradiation dose of 50.4 Gy, with or without chemotherapy. Results: The tumor response rate and tumor control rate in the RT field were 60% and 100 %, respectively. All 4 patients who underwent surgery had no evidence of disease in the RT field. Of the 5 patients who received RT to the primary gross tumor, 1 had complete response, 2 had partial response, and 2 had stable disease in the RT field. The median time to progression was 11 months. Of the 9 patients, four patients had no progression, and 5 patients had progression of disease (locoregional, 2; distant, 2; locoregional/distant, 1). Of the 4 patients without progression, 3 were treated with RT in adjuvant or neoadjuvant setting, and one received RT to primary tumor. One patient experienced radiation-induced duodenitis at 3 months after concurrent chemoradiation without treatment-related mortality. Conclusion: RT can yield local control for advanced PB-NETs. RT should be considered an essential part of multimodality treatment in management of advanced PB-NETs.