• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.655-662
• /
• 1998

This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL , and analyzed through the reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.6
• /
• pp.1874-1885
• /
• 2000

When a receiver of ciphertext message can not decrypt a message because he has lost his private-key, the private-key of receiver and session-key of the message should be recovered. In this paper, we developed an Encapsulation based Key Recovery System (EKRS). EKRS is a new key encapsulation based key recovery system which is characterized by secretly choice of KRA, randomized target keys. n-way recovery type, and useful for commercial key recovery. EKRS is formally specified by a pictorial model, an Extended Cryptographic Timed Petri Net (ECTPN). Secure information flow and reachability of a session-key are verified by using reachability graph of ECTPN. EKRS, executing over a Public Key Infrastructure, can be used as a security solution in Web based applications such as CALS, EC an EDI.

• Nuclear Engineering and Technology
• /
• v.52 no.3
• /
• pp.560-567
• /
• 2020

The complexity of safety critical systems of Nuclear Power Plant continues to increase rapidly due its transition from analog to digital systems. It has thus become progressively more imperative to model these systems prior to their implementation in order to meet the high performance, safety and reliability requirements. Timed Petri Nets (TPNs) have been widely used to model such systems for non-functional analysis. The paper presents a novel methodology for the analysis of the performance metrics using PN modeling. The paper uses the isomorphism property of the TPNs and the Markov chains for the performance analysis of the safety critical systems. The presented methodology has been validated on a Shutdown System of a Nuclear Power Plant.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.21 no.47
• /
• pp.193-209
• /
• 1998

The objective of this paper is to present a methodology for design of the FMS by using a new modeling tool which is called SE&TPN(Safe Extended & Timed Petri Net). A FMS, which consists of various machine groups, may produce machine parts in different physical dimensions and lot size. The approach involves the SE&TPN modeling by Petri-nets. The proposed algorithm can handle determining of firing count vector by incidence matrix and adjustment of conflict using the marking of SE&TPN. The SE&TPN is defined as nets that can have at most one token in one place and can have elements such as permissive arcs and inhibitor arcs in addition to elements. The SE&TPN with permissive arcs and inhibitor arcs are intuitively direct approach to increase the modeling power of the SE&TPN. Finally, this paper is to develop a modulation to optimize the system problems of FMS using SE&TPN which describes exactly features of Petri Nets.

• Nuclear Engineering and Technology
• /
• v.56 no.10
• /
• pp.4062-4067
• /
• 2024

In this article, we propose and explore a novel step in the digitization of the mapping of the spent fuel pool of nuclear power plants, in which the audio signal from the operator's microphone is used to obtain the identification codes of those components that are in each of the cells of the pool. In this way, we have not only an acquisition system but also a verification system that can be used in combination with the outcome of the analysis of the video signal. We developed an algorithm that uses at its core one of the latest models of multilingual Automatic Speech Recognition to transcribe audio signal, and with a post-processing of the timed transcriptions we build the identification code of fuel heads and other components. Results show a very high accuracy in audios from real recording of Spanish nuclear facilities, and the methodology proposed is easily extensible to other nuclear facilities in the world.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.5
• /
• pp.511-520
• /
• 1989

Generally, Intelliget link is made of drawing picture that is amalgated in two conception of communication and processing. This is a new system of information transmission having fuction being able to handle een though the former information transmission can not be possible. That Intelligent link is to say that function of each segment by working software can be anailable at general purposed pipeline processing system, general purpose pipeline have a different working time in function of segmant, work asynchronizing pipeline. in the papers, graphic design is easy to understand the sense of sight model by Petri Net that is simple regulation. it can translate into working of asynchronzing pipeline by working of calculator of simulation.

• IE interfaces
• /
• v.12 no.2
• /
• pp.193-204
• /
• 1999

Development of high technology especially in telecommunication and precise weapon systems will impact the future battle field environment. So it is not difficult to anticipate the environment of military command and control system will be changed rapidly. Considering these future battle field environment, military needs automated C4I (Command, Control, Communication, Computer and Intelligence) system, namely real time decision support system which is combined high technologies. Most of advanced countries have been studied and developed these kinds of systems and already applied these systems in real military operations. In order to take a military initiative in Korea peninsula it is essential to catch up with this trend and procure C4I system. The purpose of this research is to present the method and the direction of optimal C4I system development model. First we survey the related theory about C4I systems. Second we present the conceptual framework for C4I system concept development. Third we model the system using Timed Petri-Net and perform simulation. Finally we analyze the through-put time and suggest alternatives. If we model using the real organization structure, operational tasks and various situations then optimal C4I system would be developed.

• The Journal of Fisheries Business Administration
• /
• v.22 no.1
• /
• pp.1-52
• /
• 1991

This study deals with the evolutional history of the holding and utilization of fisheries resources in Korea. Fisheries resources have the basic characteristics of the density dependent self-regulating renewable and common property resources, Irrational utilization of fisheries resources is mainly due to the unlimited access to the resources. The holding and utilization of fisheries resources in Koryo era was opened to everyone. But it was nationalized in the early Yi Dynasty. The purpose of its nationalization was to provent the paticular powered-man with their monoplized holding and to levy fisheries tax. Eoeop-peop, the first modern fisheries law in Korea, was enacted as a part of the invasion policy of Japan in 1908. With the japanese annexation of Korea in 1910, the Japanese Government established a new institutional system of fisheries as a part of an overall reformation of the institutional for an implementation of the colonial policy. It was very the new enacted Fisheries Law (Gyogyorei). Also the Government enacted compulsorily another new Fisheries Law (Chosen Gyogyorei) with its adjunct laws and regulations revise the institutional system of fisheries on May 1, 1930. After Eoeop-peop enactment, the fisheries resources in Korea could be used only under the license, permission, and statement. After Korea was from Japan in 1945, Korea Government at last enacted the new fisheries law (Susaneop-peop) in 1953. The goal of Susaneop-peop was to achive the general usage and protection of the fisheries resources, and to attain the development and democratization of the fishery in Korea. This law was amended 13 times until 1990. The license fishery have a legal right on the fishery, called a fishery rigt. This right means a right of exclusive occupation and utilization of a unit of the inshore fishing grounds. The main evolutional issues of license fishery are as the following : 1) the foundation of the exclusive usable fishery right(1911, Gyogyorei), 2) the deletion of the settled U9space lift net and settled space sein net fishery, and the expansion of the cooperative fishery-No.1, 2, and 3 type cooperative fishery-(3rd amendment, 1963), 3) the deletion of the No.2 and 3 type cooperative fishery, and the separation of the culturing fishery in No.1 and 2 type culturing fishery (13th amendment, 1990). The effective period of the license fishery was amended as the following : 1) 1908(Eoeop-peop) : within 10 years, renovation system, 2) 1929(Chosen Gyogyorei) : within 10 years, unlimited extension system, 3) 1971. 7th amendment : 10 years, renovation system, 4) 1972. 8th amendment : 10 years, only 1 extension system, 5) 1975. 9th amendment : 5-10 years, only 1 extension system, 6) 1990.13th amendment : 10 years, within 10 years of total extensional years. The priority order of the fishery license was established in 1953 (Susaneop-peop). The amendment of it is as follows : 1) 1953. enactment \circled1 the fishing grounds that the fishery right is extablished 1st order : the existing fishery right man, unlimited renovation 2nd order : the corporate that the regional fisherfolk organized 3rd order : the rest experienced fishermen \circled2 new fishing grounds 1st order : the corporate that the regional fisherfolk organized 2nd order : the rest experienced fishermen 2) 1971. 9th amendment \circled1 the fishing grounds that the fishery right is established 1st order : the existing fishery right man, unlimited renovation 2nd order : the Eochongye that the regional fisherfolk organized 3rd order : the regional fishery cooperative that the regional fisherfolk organized 4th order : the rest experienced fishermen \circled2 new fishing grounds 1st order : the Eochongye that the regional fisherfolk organized 2nd order : the regional fishery cooperative that the regional fisherfolk organized 3rd order : the rest experienced fishermen 3) 1981. 10th amendment \circled1 the inside of No.1 type cooperative fishing grounds 1st order : the Eochongye that the regional fisherfolk organized 2nd order : the regional fishery cooperative that the regional fisherfolk organized 3rd orer : the rest experienced fishermen 4) 1990. 13th amendment \circled1 No.1 type cultural fishery 1st order : the Eochongye that the regional fisherfolk organized 2nd order : the regional fishery cooperative that the regional fisherfolk organized 3rd order : the rest experienced fishermen \circled2 No.2 type cultural and settle fisher : general priority order The effective period of the permission fishery was amended 6 timed. First, it was within 5 years and renovation system (Eoeop-peop). Now it is 5 years and renovation system. The effective period of the statement fishery was amended 4 times. First, it was within 5 years, and then was amended within 3 years(Chonsen Gyogyorei). Now it is 5 years.