• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.427-442
• /
• 2011

Calcium is a vital second messenger for signal transduction in neurons. Calcium plays an important role in almost every part of the human body but in neuronal cytosol, it is of utmost importance. In order to understand the calcium signaling mechanism in a better way a finite element model has been developed to study the flow of calcium in two dimensions with time. This model assumes EBA (Excess Buffering Approximation), incorporating all the important parameters like time, association rate, influx, buffer concentration, diffusion constant etc. Finite element method is used to obtain calcium concentration in two dimensions and numerical integration is used to compute effect of time over 2-D Calcium profile. Comparative study of calcium signaling in two dimensions with time is done with other important physiological parameters. A MATLAB program has been developed for the entire problem and simulated on an x64 machine to compute the numerical results.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.854-861
• /
• 2005

The functional behavior of a portable consumer electronic (PCE) product is nearly all expressed with human-machine interaction (HMI) tasks. Although physical prototyping and computer aided design (CAD) software can show the appearance of the product, they cannot properly reflect its functional behavior. In this paper, we propose a virtual prototyping (VP) system that incorporates virtual reality and HMI functional simulation in order to enables users to capture not only the realistic look of a PCE product but also its functional behavior. We obtain geometric part models of the product and their assembly and kinematics information with the help of CAD and reverse engineering tools, and visualize them with various display tools. We adopt state transition methodology to capture the HMI functional behavior of the product into a state transition chart, which is later used to construct a finite state machine (FSM) for the functional simulation of the product. The FSM plays an important role to control the transition between states of the product. The proposed VP system receives input events such as mouse clicks on buttons and switches of the virtual prototype model, and it reacts to the events based on the FSM by activating associated activities. The VP system provides the realistic visualization of the product and the vivid simulation of its functional behavior. It can easily allow users to perform functional evaluation and usability testing. Moreover, it can greatly reduce communication errors occurring in a typical product development process. A case study about VP of an MP3 player is given to show the usefulness of the proposed VP system.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.10
• /
• pp.9-16
• /
• 2004

The state assignment for a finite state machine greatly affects the delay, area, power dissipation, and testabilities of the sequential circuits. In order to improve the testabilities and power consumption, a new state assignment technique based on m-block partition is introduced in this paper. The algorithm minimizes the dependencies between groups of state variables are minimized and reduces switching activity by grouping the states depending on the state transition probability. In the sequel the length and number of feedback cycles are reduced with minimal switching activity on the state variables. Experiment shows significant improvement in testabilities and Power dissipation for benchmark circuits.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2002.04a
• /
• pp.278-283
• /
• 2002

Cooling characteristics for the three type spindles with high frequency motor are studied. For the analysis, three dimensional models are built considering heat transfer characteristics such as natural and forced convection coefficients. Unsteady-state temperature distributions and thermal deformations according to the cooling conditions are analyzed by using the finite element method.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.458-460
• /
• 2003

이 논문에서는 게임에서 인공지능 구현에 많이 사용되는 FSM(Finite State Machine)을 이용하여 다양한 인격의 NPC(Non-Player Character)를 생성함에 있어서, 게임 디자이너의 NPC 패턴 설계에 도움을 주기위해, 직관적인 FSM 상태 모델링 에디터를 설계하고자 한다. 이 툴을 이용하여, FSM의 각 상태와 상태의 변이에 따른 여러 가지 반응을 게임 디자이너가 직관적으로 알 수 있도록 함으로써 보다 다양한 인격을 가진 NPC를 생성할 수 있을 것으로 기대된다.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2001.10a
• /
• pp.105-110
• /
• 2001

Unsteady-state temperature distributions for spindle system with built-in motor according to spindle type are studied. For the analysis, three dimensional model is built considering heat transfer characteristics such as natural and forced convection coefficients. Temperature distributions are analyzed by using the finite element method. Results of analysis are compared.

• Electronics and Telecommunications Trends
• /
• v.13 no.6 s.54
• /
• pp.94-107
• /
• 1998

연구 개발의 주된 내용은 SDL(Specification Description Language)을 위한 정형기법 지원도구 중 명세상에서 행위 부분에 대한 동적 특성을 검정하는 검정기 개발이다. 모델 검정기는 해당 프로토콜에 대해 생성된 중간 모델 I/O FSM(Input/Output Finite State Machine)에 Modal-calculus에 의해 검정대상인 deadlock, livelock, reachability 및 liveness에 대한 표현과 I/O FSM에 대해 해당 알고리즘 적용 및 분석 기능을 C++언어로 구현하였다. 또한 SDL Editer 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 환경 및 통합 모듈을 구현한다.

• Proceedings of the Korean Society of Machine Tool Engineers Conference
• /
• 2000.10a
• /
• pp.285-290
• /
• 2000

Unsteady-state temperature distributions and thermal deformations in high speed spindle are studied. For the analysis, three dimensional model is built considering heat transfer characteristics such as natural and forced convection coefficients Temperature distributions and thermal deformations are analyzed by using the finite element method. Results of analysis are compared with the measured data.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.13 no.6
• /
• pp.749-753
• /
• 2003

In this paper we introduce the concepts on retrievability, separability and connectedness of fuzzy submachines, which generalize those of crisp submachines. And also we generalize crisp primary submachines to those with fuzziness, from which we obtain the decomposition theorem of fuzzy submachines.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.30A no.12
• /
• pp.10-17
• /
• 1993

In this paper, CCF(Call Control Function), functional entity for basic call processing in SSP(Service Switching Point), is designed and implemented. This functional entity can provide the IN(Intelligent Network) services which are included in CCITT CS-1(Capability Set-1), near-term process for IN Architecture. UIO(Unique Input Output) method, one of the thest sequence generation methods for the finite state machine, is used for the implementation test of this functional entity.