• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1937-1947
• /
• 1996

In the case of developing the real-time system using object-oriented method, k the problem of the timing constraints is certainly considered. we propose the method of modeling the object-oriented real-time system using the OMT methodology and the SDL. And we also present the predictable time table that reflects the constraints of real-time system into dynamic model of OMTs and the predicatable time formula of the sequence, repeat, and parallel routine. The proposed method is applied to the estimate of the maximum process time of the ATMs(Automatic teller machines) and is used to specifying the functional specification for the user interface of the ATMs using the SDL syntax and the object interaction graph.

• Korean Journal of Logic
• /
• v.8 no.1
• /
• pp.47-67
• /
• 2005

Bayesian networks have been used in studying and simulating causal inferences by using the probability function distributed over the variables consisting of inquiry space. The focus of the debates concerning Bayesian networks is the causal Markov condition that constrains the probabilistic independence between all the variables which are not in the causal relations. Cartwright, a strong critic about the Bayesian network theory, argues that the causal Markov condition cannot hold in indeterministic systems, so it cannot be a valid principle for causal inferences. The purpose of the paper is to explore whether her argument on the causal Markov condition is valid. Mainly, I shall argue that it is possible for upholders of the causal Markov condition to respond properly the criticism of Cartwright through the continuous causal model that permits the infinite sequence of causal events.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.39 no.1
• /
• pp.42-48
• /
• 2002

In this paper, a decision method using multiple threshold values for PN code acquisition in Direct Sequence Code Division Multiple Access (DS-CDMA) systems is described. We apply this technique to the conventional double dwell serial search algorithm and analyze it in terms of mean code acquisition time. For the analysis, we present mathematical model of proposed algorithm and also perform the simulation under IMT-2000 channel models. Numerical results show that our proposed scheme outperforms the conventional one by 0.2 - 0.5 sec with respect to the mean code acquisition time because multiple threshold values mitigate the possible decline in search performance caused by the use of a single threshold.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.14 no.3
• /
• pp.299-308
• /
• 2001

This paper presents the three-dimensional (3-D) study of the natural vibration of cantilevered laminated composite plates. The Ritz method is used to obtain stationary values of the associated Lagrangian functional with displacements approximated by mathematically complete polynomials satisfying the boundary conditions at the clamped edge exactly. The accuracy of the 3-D model is established through a convergence study of non-dimensional frequencies followed by a comparison of the converged 3-D solutions with analytical and experimental findings in the existing literature. A wide scope of 3-D frequency results explain the influence of a number of geometrical and material parameters for cantilevered laminated plates, namely aspect ratio (a/b), width-to-thickness ratio (a/h), orthotropy of material, number of plies (NP), fiber orientation angle(θ), and stacking sequence.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.11
• /
• pp.2032-2038
• /
• 2006

The recognition of human gestures in image sequences is an important and challenging problem that enables a host of human-computer interaction applications. This paper describes a gesture recognition algorithm based on the particle filters, namely CONDENSATION. The particle filter is more efficient than any other tracking algorithm because the tracking mechanism follows Bayesian estimation rule of conditional probability propagation. We used two models for the evaluation of particle Inter and apply the MATLAB for the preprocessing of the image sequence. But we implement the particle filter using the C++ to get the high speed processing. In the experimental results, it is demonstrated that the proposed algorithm prove to be robust in the cluttered environment.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.3
• /
• pp.584-591
• /
• 2007

The recognition of human gestures in image sequences is an important and challenging problem that enables a host of human-computer interaction applications. This paper describes a gesture recognition algorithm based on the particle filters, namely CONDENSATION. The particle filter is more efficient than any other tracking algorithm because the tracking mechanism follows Bayesian estimation rule of conditional probability propagation. We used two models for the evaluation of particle filter and apply the MAILAB for the preprocessing of the image sequence. But we implement the particle filter using the C++ to get the high speed processing. In the experimental results, it is demonstrated that the proposed algorithm prove to be robust in the cluttered environment.

• Archives of design research
• /
• v.18 no.2 s.60
• /
• pp.165-172
• /
• 2005

Button layout of mobile phone depends on the manufacturer and is going to be characterized in it's own way. So, there is not a standard layout except for numeric part. It is due to the lack of study on physical user interface and methodology to develop a design guideline. This study focuses on suggesting a methodology for development of button layout for mobile phone in term of physical user interface. The methodology of this study starts from scenarios of mobile phone usage. Operational sequences of 4 scenarios for 5 models are gathered based on the user manual. Proximity of each buttons is calculated according to the operational sequence. One of 5 models is selected and benchmarked by evaluating operational path. Considerations and directions are implicated to develop new solution alternatives. After evaluation of them, one of alternatives is suggested as an optimized button layout for mobile phone. This study focuses on an attempt to suggest a methodology of UI development in the matter of physical user interface, and a simple and easy way to be adopted and used at product designer level, compared to existing UI methodology for the expert.

• Journal of Broadcast Engineering
• /
• v.11 no.4 s.33
• /
• pp.521-532
• /
• 2006

Recently, many research initiatives have been underway to improve reception performance of ATSC based DTV signal in mobile channel by adopting multiple antennas. In this paper, we propose a new mobile channel model which can be applicable to any array geometry. And then we propose new channel estimation algorithm which uses PN5l1 sequence in field synch. The proposed algorithm is to estimate channel by correlating the input signal in If frequency band and finding maximum peak, which does not need complicated synchronization circuit. Finally, we propose new receiver structures which can be implemented at the front-end of the existing receiver with no modification. With computer simulation, we verify the performance of the proposed model and verify the performance of the receiver structure with computer simulation.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.1
• /
• pp.104-114
• /
• 1999

This paper proposes an efficient method for the automatic generation of personalized 3D face model from color image sequence. To detect a robust facial region in a complex background, moving color detection technique based on he facial color distribution has been suggested. Color distribution and edge position information in the detected face region are used to extract the exact 31 facial feature points of the facial description parameter(FDP) proposed by MPEG-4 SNHC(Synthetic-Natural Hybrid Coding) adhoc group. Extracted feature points are then applied to the corresponding vertex points of the 3D generic face model composed of 1038 triangular mesh points. The personalized 3D face model can be generated automatically in less then 2 seconds on Pentium PC.

• Composites Research
• /
• v.12 no.6
• /
• pp.65-73
• /
• 1999

Crippling stress and failure behavior of Z-section graphite/epoxy composite laminated stringers are investigated by the nonlinear finite element method. Stringers are idealized using 9-node laminated shell element. The complete unloading model is introduced into the finite element method for the progressive failure analysis. A modified Riks method is used to trace the post-failure equilibrium path after local buckling. Finite element results are validated with previous experimental results. The results show that the most important parameter affecting the crippling stress of Z-section stringers is the flange width. In terms of stacking sequence. the highest cripping stress is found at the stringer with $[{\pm}45/0/90]s$ lamination.