• Journal of KIISE:Information Networking
• /
• v.30 no.4
• /
• pp.484-493
• /
• 2003

Proxy signature scheme is a cryptographic protocol that an original signer delegates her signing capability to a proxy signer, and then the proxy signer is able to create signatures on behalf of the original signer. In general, there is time-limit for which the signing capability of the proxy signer is valid. One of methods to limit the valid delegation time is to make public delegation information contain the expiration date of the delegation. however, in this method we cannot prevent the proxy signer from signing after the valid delegation is expired because no one knows the exact time when the proxy signer signed a message. The validity of the past legal signatures cannot be preserved in case that the proxy singer´s key is compromised during the delegation period. In this paper, we propose a new scheme, time-limited forward-secure proxy signature protocol, which prevents the proxy singer from signing after the valid delegation is expired and which preserves the validity of the past legal signatures even if the signing key is compromised. The proposed scheme does not require the exact time-information by making an original signer control time-related parameters and satisfies the forward-security property in each update-period of the proxy signing key. The time-period is determined according to the application characteristics or security policies.

• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of Korean Society for Quality Management
• /
• v.36 no.4
• /
• pp.1-6
• /
• 2008

As more and more data are collected one may ask whether the data collected within a short period of time are same. In this case traditional hypothesis testing of $H_o:{\mu}_1={\mu}_2$ vs $H_1:{\mu}_1{\neq}{\mu}_2$ is used to determine whether the data are same when there is no knowledge about equivalence testing. However, this type of hypothesis testing has the undesirable property of penalizing higher precision. So TOST is to be performed in the event of equivalence testing. In this study equivalence testing is introduced where one can find the applications in industry. Traditional two sample t testing is to be compared with the equivalent testing and the procedure to perform the equivalence testing is to be presented along with an example. Finally equivalence testing in terms of the other parameters such as variance, proportion or failure rate is to be sought.

• Journal of applied mathematics & informatics
• /
• v.26 no.5_6
• /
• pp.889-900
• /
• 2008

The problem of scheduling n jobs on a single machine is considered when the machine is subject to stochastic breakdowns. The objective is to minimize the weighted squared deviation of job completion times from a common due date. Two versions of the problem are addressed. In the first one the common due date is a given constant, whereas in the second one the common due date is a decision variable. In each case, a general form of deterministic equivalent of the stochastic scheduling problem is obtained when the counting process N(t) related to the machine uptimes is a Poisson process. It is proved that an optimal schedule must be V-shaped in terms of weighted processing time when the agreeable weight condition is satisfied. Based on the V-shape property, two dynamic programming algorithms are proposed to solve both versions of the problem.

• Phonetics and Speech Sciences
• /
• v.4 no.1
• /
• pp.13-20
• /
• 2012

A lax stop in Korean, one of the three laryngeal contrastive stops, has undergone a sound change in terms of its acoustic properties. Prior production studies described this recent lax stop as being differentiated from tense and aspirated stops primarily by fundamental frequencies (f0). And, the acoustic property of voice onset time (VOT) further separates tense stops from lax and aspirated stops. The current research explores how these two major acoustic parameters of f0 and VOT cue the three stop categories in Korean adult listeners' perception. Thirty-one native speakers of Korean participated in two experimental tasks: categorization judgment and within-category goodness ratings. Two sets of audio stimuli were prepared by synthesizing English and Korean male speakers' CV productions. The findings showed that while f0 cues listeners to lax stops as production patterns would predict, VOT were closely related to listeners' categorization and goodness ratings of lax stops. This suggests that accurate characterizations of the recent lax stop category need to be based on Korean speakers' perceptual behavior as well as production patterns.

• Journal of Institute of Control, Robotics and Systems
• /
• v.2 no.2
• /
• pp.108-114
• /
• 1996

We present proofs of the stability and convergence of Self-organizing feature map (SOFM) neural network with time-invarient learning rate and binary reinforcement function. One of the major problems in Self-organizing feature map neural network concerns with learning rate-"Kalman Filter" gain in stochsatic control field which is monotone decreasing function and converges to 0 for satisfying minimum variance property. In this paper, we show that the stability and convergence of Self-organizing feature map neural network with time-invariant learning rate. The analysis of the proposed algorithm shows that the stability and convergence is guranteed with exponentially stable and weak convergence properties as well.s as well.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.713-725
• /
• 1998

Let X and Y be Ito processes with dX$_{s}$ = $\phi$$_{s}$dB$_{s}$ ＋ $\psi$$_{s}$ds and dY$_{s}$ = (equation omitted)dB$_{s}$ ＋ ξ$_{s}$ds. Burkholder obtained a sharp bound on the distribution of the maximal function of Y under the assumption that │Y$_{0}$│$\leq$│X$_{0}$│,│ζ│$\leq$│$\phi$│, │ξ│$\leq$│$\psi$│ and that X is a nonnegative local submartingale. In this paper we consider a wider class of Ito processes, replace the assumption │ξ│$\leq$│$\psi$│ by a more general one │ξ│$\leq$$\alpha$ │$\psi$│ , where a $\geq$ 0 is a constant, and get a weak-type inequality between X and the maximal function of Y. This inequality, being sharp for all a $\geq$ 0, extends the work by Burkholder.der.urkholder.der.

• Journal of Ocean Engineering and Technology
• /
• v.8 no.1
• /
• pp.154-164
• /
• 1994

In this paper, fatigue testing was carried out under the change of aging time(0.5,1.5.10hrs) by electric heating method which is one of the useful method in the application of Robot's actuator. Fatigue degradation behaviors such as cyclic deformation property, amount of deformation, decrease in recovery and variation of transformation temperature for each specimen were examined closely, and the effect of aging time condition was studied on their fatigue degradation behaviors.

• Journal of the Korean Society of Industry Convergence
• /
• v.2 no.1
• /
• pp.121-130
• /
• 1999

It is necessary to measure pressure, temperature, chemical equilibrium and the shape of flame in order to understand the combustion process in a combustion chamber. In particular, the flame formulation and combustion process of divided combustion chamber are different from those of a single chamber, And the variable diameter of a jet hole can effect not only physical properties like ejection velocity, temperature and time of combustion but also a chemical property like the reaction mechanism. Accordingly temperature is one of the most important factors which influence the combustion mechanism. This paper observed shape of flame by using the schlieren photographs and measured the pressure in a combustion chamber and the reaching time of the flame by ion probe By doing these, we investigation the formulation of the flame and the process of propagation. These measurement methods can be advanced in understanding the combustion process and process and propagation of flame.

• Journal of Korea Foundry Society
• /
• v.10 no.5
• /
• pp.408-416
• /
• 1990

The application of this new design approach called fracture mechanics allow one to determine the maximum allowable stress from the knowledge of the largest expected flow size and the plane strain fracture toughness of a material. In this study we examined the relation between retained austenite, mechanical property and fracture toughness accompanied by austempering heat treatment. Fracture toughness values and retained austenite volume were higher with the ADI(austempered ductile iron) which were austempered at $380^{\circ}C$ than austempered at $320^{\circ}C$. Additionally, fracture toughness values were increased for 1~2 hour austempering time but it was slowly decreased for 5 hour ADI maintaining the predominant fracture toughness($K_{IC}:83MPa{\sqrt{m}}$) is obtained following condition, namely, austempering temperature and time ($380^{\circ}C$ and 1 hour).