• Proceedings of the KIEE Conference
• /
• 1998.11b
• /
• pp.669-671
• /
• 1998

Due to the serial nature of scan chains, the use of the boundary scan chain leads the high application costs. And with 3-state net, it is important to avoid enabling the two drivers in a net. In this paper, the new test method for 3-state nets in the multiple boundary scan chains is presented. This method configures the boundary scan cells as multiple scan chains and the test application time can be reduced. Also three efficient algorithms are proposed for testing the interconnects in a board without the collision of the test data in 3-state nets.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.653-656
• /
• 2000

We consider, in this paper, a UML-based design support system for real-time systems. However, the UML does not include any notion for verification of timing constraints. We presents transformation algorithms, as a function of the support system, of UML descriptions into Petri nets and Interval Temporal Logic models, which are very powerful for the verification. This paper shows also transformation example for simple elevator system.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.669-672
• /
• 2000

This paper deals with cryptography by applying RSA and Petri nets. Firstly, we introduce RSA cryptography and a Petri net based private-key cryptography. Then we propose a new public-key cryptography, Petri Net based Public-Key Cryptography dented as PNPKC, by taking the advantages of these two proposed cryptographys and give an example to show how to apply PNPKC. Finally, we do the comparison between RSA cryptography and PNPKC on security as well as computation order. As the results, the security of PNPKC is as strong as RSA cryptography and further the encryption and decryption of PNPKC are in average 210 times as fast as RSA cryptography from our experimental data.

• Journal of the Korea Society of Computer and Information
• /
• v.4 no.3
• /
• pp.13-19
• /
• 1999

In this paper, we suggests a WIP (Work In Process) of FMC (Flexible Manufacturing Cell) analysis methods based on the TPN (Time Petri Nets) unfolding. Unfolding of PN is a partial order-based method for the verification of concurrent system without the state space explosion. The aim of this work is to formulate the general cyclic state scheduling problem to minimize the WIP to satisfy economical constraints. The method is based on unfolding of the original net into the equivalent acyclic description.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.3
• /
• pp.207-215
• /
• 1989

In this Paper prestnting an extended timed Petri net model which Can be used for the performance analysis of Distributed System. An analysis methodology based on a reachiabilitylike approach is prestented efficiency to find out the behaviour of these nets in terms of performance. And the proposed extended timed prtri net models are simulated to show practicability of the accuracy of the extended model in representing system specification.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2797-2808
• /
• 1999

Timing Constraint Petri Nets(TCPN) extend petri nets by adding timing constraints, it is provide a formal method for the modeling and analysis of real-time system. A real-time schedulability analysis decide that a set of concurrent processes will always meet its deadline. In this paper, we present TCPN model for real-time system include timing constraints and propose a schedulability analysis algorithm using them. Also, When the TCPN model is unscheduleable under the imposed timing constraints, we propose a recovery technique that will be scheduleable by the system specification modifying or timing constraints relaxing in the optimized time.

• The Korean Journal of Financial Studies
• /
• v.3 no.2
• /
• pp.267-279
• /
• 1996

The prediction of future demand is a vital task in managing business operations. To this end, traditional approaches often focused on statistical techniques such as exponential smoothing and moving average. The need for better accuracy has led to nonlinear techniques such as neural networks and case based reasoning. In addition, experimental design techniques such as orthogonal arrays may be used to assist in the formulation of an effective methodology. This paper investigates a multistrategy approach involving neural nets, case based reasoning, and orthogonal arrays. Neural nets and case based reasoning are employed both separately and in combination, while orthoarrays are used to determine the best architecture for each approach. The comparative evaluation is performed in the context of an application relating to the prediction of Treasury notes.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.636-638
• /
• 2010

Task scheduling is an integral part of parallel and distributed computing. Extensive research has been conducted in this area leading to significant theoretical and practical results. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, we address task scheduling model using extended timed marked graph, which is a special case of SRNs. And we analyze this model by giving reward measures in SRN.

• Journal of Advanced Marine Engineering and Technology
• /
• v.7 no.1
• /
• pp.64-78
• /
• 1983

In nucleate boiling, bubbles are created by the expansion of entrapped gas or vapor at small cavities in the surface of heat transfer. Namely, surface roughness is the important factor of heat transfer. This paper deals with the characteristics of boiling curve according to surface roughness. Freon-113 is used as the experimental fluid. The results are as follows; 1. In the case of the same as "q=C$\Delta$T$^{n}$ ", the lower numberical index "n", the larger heat transfer coefficient and the lower wall superheat "$\Delta$T" is obtained for the rougher surface. 2. In the working of every kind of heat transfer sruface with boiling, improvement of capabilities of heat transfer can be devised by adding suitable roughness on the heat transfer surface. 3. When the metal nets of moderate mesh number are established, the capabilities of heat transfer can be improved in evaporation of liquid in vessels. But in the case that the sucession of bubbles in checked by using the nets which are too tight, the generation of bubbles union decreases critical heat flux. decreases critical heat flux.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.11 no.4
• /
• pp.121-130
• /
• 2012

In this paper, the structure of the Aladdin system was modeled by Petri nets for performance evaluation of 40G bps class Aladdin system which was developed in ETRI as the high-speed DDoS defensive tool. The efficiency analysis of the system architecture according to the input traffic of the Aladdin system was performed based on the modeling.