• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.11
• /
• pp.622-633
• /
• 2002

Authentication and Key Agreement using password provide convenience and amenity, but what human can remember has extremely low entropy. To overcome its defects, AMP(Authentiration and key agreement via Memorable Password) which performs authentication and key agreement securely via low entropy password are presented. AMP uses Diffie-Hellman problem that depends on discrete logarithm problem. Otherwise, this thesis applies elliptic curve cryptosystem to AMP for further efficiency That is, this thesis presents EC-AMP(Elliptic Curve-AMP) protocol based on elliptic curve discrete logarithm problem instead of discrete logarithm problem, and shows its high performance through the implementation. EC-AMP secures against various attacks in the random oracle model just as AMP Thus, we nay supply EC-AMP to the network environment that requires authentication and key agreement to get both convenience and security from elliptic curve discrete logarithm problem.

• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.9-17
• /
• 2017

The problem of social phenomenon is getting more complicated than past decades, and the simulation engineers need more computation power to solve the problem. Therefore, the needs of the computational resources of the modeling and simulation environment are increasing. In the perspective of the simulation, it is necessary to allocate computational resources flexibly so that the simulation can be performed per the available budget range. As an alternative to the simulation environment to accommodate these requirements, cloud service has emerged as an environment in which computing resources can be used flexibly. This paper proposes a web-based simulation framework which consists of a front-end that reconstructs the simulation model using the web, and a back-end that executes the discrete event simulation. This paper also carried out a case study which shows web-based simulation framework has better overall runtime than standalone simulation framework.

• Survey Research
• /
• v.11 no.2
• /
• pp.97-121
• /
• 2010

Using the 1998-2004 Health and Retirement Study(HRS), this study explored the determinants of private long-term care insurance(LTCI) ownership and the first home care use. To account for the interaction between LTCI purchase and home care use, this study used two-period utility model as theoretical framework. Discrete time model was used as an empirical model to incorporate the time-dependent feature of LTCI ownership. And this study accounted for the endogeneity of LTCI ownership and home care use by employing full information maximum likelihood estimation. This study indicated insignificant effects of private LTCI ownership and Medicaid eligibility on the home care use. Also, the effects of income and assets on home care utilization were negligible. Those who have poor health condition and who do not have potential informal caregivers were more likely to use home care. For private LTCI ownership, income and assets have positive relationship with LTCI purchase, and poor health status and age were negatively related to LTCI purchase. The elderly living with children and those who have more siblings were less likely to have private LTCI, and those who lived with spouses with no children were more likely to buy private LTCI. Based on the findings, this study provides implications to design long-term care(LTC) policies in the U.S. and to develop LTC planning education programs.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.1
• /
• pp.63-68
• /
• 2017

This paper reviews the learning model of a forward slip ratio in order to improve the mass-flow stability and strip qualities in the hot strip finishing mill process. Firstly, it is shown, from mathematical analysis, that the significant parameters of the forward slip ratio are the tension, looper angle, and roll velocity. Secondly, a discrete-time learning model of the forward slip ratio is proposed from these parameters, which is identified by an instrumental variable (IV) identification algorithm. Finally, it is shown from computer simulation that the proposed learning model is more effective than the existing learning model.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2001.12a
• /
• pp.149-152
• /
• 2001

본 논문은 연속 시간과 이산 시간에서의 스위칭 모드 퍼지 모델 기반 제어기의 새로운 설계 기법에 대해서 논의한다. 스위칭 모드 퍼지 모델 기반 제어기의 설계에는 Takagi-Sugeno(75) 퍼지 시스템이 사용된다. 이 스위칭 모드 퍼지 모델 기반 제어기는 "정복-분할(divide and conquer)"이라는 하향식 접근 방식을 이용한다. 이 방법은 여러 개의 규칙을 가지고 있는 시스템에서 유한의 하위 시스템으로 시스템을 분할하여 각각의 부분 해를 구하고 이들을 결합하여 전체 시스템의 해를 구하는 방법이다. 제어기의 설계 조건은 주어진 75 퍼지 시스템의 안정화를 보장하는 선형 행렬 부등식들(LMls)에 의해 결정된다. 적절한 시뮬레이션 예제를 통한 성능 비교를 통해 본 논문의 우수성을 입증한다.

• Journal of Korean Society for Atmospheric Environment
• /
• v.5 no.1
• /
• pp.43-51
• /
• 1989

개발된 산성비 모델에서는 다종의 대기오염물 제거로 인한 강우내의 화학성분과 산성도의 고도별 및 시간별 변화를 예측하기 위하여, 강우시 구름내와 밑에서 일어나는 대기 오염물의 강우내로의 물질전달 현상과 화학반응 현상을 동시에 고려하였다. 또한, 강우 산성도의 형성에 중요한 영향을 미치는 구름내에서의 복잡한 동력학적 특성을 고려하기 위하여 강우율의 높이별 변화를 단순화하여 해석하였다. 개발모델을 이용하여 1985년과 1987년 가을의 서울시 산성비에 대하여, 산성비 모델을 이용하여 추정한 pH값과 실측 pH값 사이의 상관관계는 0.57을 나타내었고, 효과적이고 정량적인 관리를 위하여 대기중의 이산화황 농도, 구름층의 두께, 지상에서의 강우율 및 황산이온의 형성에 중요한 역활을 하는 산화제들의 강우 산성도에 미치는 영향을 민감도 분석을 통해서 나타내었다.

• Proceedings of the Korean Society Of Semiconductor Equipment Technology
• /
• 2006.10a
• /
• pp.72-76
• /
• 2006

본 연구에서는 웨이브릿과 신경망을 결합하여 플라즈마 고장을 감시하기 위한 시계열 모델을 개발하였다. 본 기법은 플라즈마 증착장비에 의해 수집된 18 개의 센서정보에 적용하여 평가하였다. 이산치 웨이브릿(Discrete Wavelet Transformation)은 장비에서 수집된 센서정보의 전 처리를 위해 이용되었다. 시계열 모델의 성능은 과거와 미래정보의 함수로 평가하였다. 수집된 18 개의 센서정보에 대한 모델성능 비교를 위해 표준화된 성능평가지표가 적용되었다. 평가결과, 본 기법에 의해 개발된 시계열 모델은 대략 4% 정도의 예측에러를 보였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.49-52
• /
• 2006

본 논문에서는 은닉 마르코프 모델을 바탕으로 하는 발걸음을 이용한 개인 식별 시스템을 제안한다. 개인의 발걸음은 연속적인 자세나 움직임의 집합으로 나타낼 수 있는데, 구조적으로 연속적인 움직임의 변화는 확률적인 특성을 가지고 있기 때문에 은닉 마르코프 모델을 이용하여 적절하게 모델링 할 수 있다. 개인의 발걸음은 N개의 이산적인 자세 간의 전이로 이루어졌다고 가정하였으며, 이를 계산하기 위해 MMSI라는 발걸음 특징 모델을 제안하였다. MMSI는 발걸음 인식에 중요한 역할을 하는 시공간적인 정보를 가지고 있는 그레이-스케일 영상이다. 실험 결과는 MMSI를 이용하여 은닉 마르코프 모델을 바탕으로 한 발걸음 인식 결과를 보여준다.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2049-2051
• /
• 2003

본 논문에서는 불확실성을 포함할지도 모르는 비선형 시스템의 추적 제어에 효과적인 퍼지모델기반 제어기에 대한 지능형 디지털 재설계 기법을 제안한다. TS 퍼지모델은 불확실 비선형 시스템의 퍼지모델링에 적용되었다. 안정화와 추적을 위한 퍼지모델기반 제어기를 설계하기 위해 확장 병렬 분산 보상 기법이 이용되었다. 설계된 연속시간 제어기는 지능형 디지털 재설계 기법을 이용해 등가의 이산시간 제어기로 변환되었다. 본 논문에서 제안한 지능형 디지털 재설계방법은 전형적인 단일 링크 유연 로봇 시스템에 적용하여 그 응용 가능성과 효용성을 입증한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.22-31
• /
• 1990

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.