• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.289-291
• /
• 2004

인터넷을 통한 통신의 안전성을 확보하기 위해서는 전송될 정보를 암호화해야 한다 따라서 통신의 주체간에는 공통적인 키의 공유와 상대방의 신원 확인을 위한 절차가 필요하다 정형검증기법은 이러한 네트워크상에서 통신의 안전성을 확보하기 위한 수단으로 사용되며, 본 논문에서는 무선환경기반 보안 프로토콜인 Carlsen BCY프로토콜을 모델 체커인 FDR을 사용하여 검증하였다.

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2018.06a
• /
• pp.87-87
• /
• 2018

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2019.08a
• /
• pp.236-237
• /
• 2019

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2019.08a
• /
• pp.272-272
• /
• 2019

• Proceedings of The Korean Society of Agricultural and Forest Meteorology Conference
• /
• 2018.06a
• /
• pp.21-38
• /
• 2018

• Journal of Korea Port Economic Association
• /
• v.38 no.2
• /
• pp.153-164
• /
• 2022

In this study, we estimate the quantile-regression framework of the shipping industry for the Capesize used ship, which is a typical raw material transportation from January 2000 to December 2021. This research aims two main contributions. First, we analyze the relationship between the Capesize used ship, which is a typical type in the raw material transportation market, and the freight market, for which mixed empirical analysis results are presented. Second, we present an empirical analysis model that considers the structural transformation proposed in the Hyunsok Kim and Myung-hee Chang(2020a) study in quantile-regression. In structural change investigations, the empirical results confirm that the quantile model is able to overcome the problems caused by non-stationarity in time series analysis. Then, the long-run relationship of the co-integration framework divided into long and short-run effects of exogenous variables, and this is extended to a prediction model subdivided by quantile. The results are the basis for extending the analysis based on the shipping theory to artificial intelligence and machine learning approaches.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.124-126
• /
• 2005

무선 인터넷을 이용한 전자상거래가 증가함에 따라 모바일 환경에서 전자상거래를 보다 안전하고 효율적으로 사용할 수 있도록 SET/A (Secure Electronic Transaction Agent) 프로토콜이 제안되었다. 본 논문에서는 키 노출에 따른 보안 취약점을 분석이 아닌 프로토콜의 행위적 관점에서 SET/A를 정형 명세하고 무선망 접속 불량이나 에이전트 동작 실패와 같은 오류 상황에 의해 교착 상태에 빠지지 않는지 정형 검증하였다. 그 결과 SET/A가 교착 상태에 빠질 수 있음을 확인하였고 확장된 SET/A 프로토콜을 제안하고 검증하였다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.11
• /
• pp.1106-1116
• /
• 2011

LINS (Laser Inertial Navigation System) consists of RLG (Ring Laser Gyroscopes)/accelerometers and provides real-time navigation information to the target system. Therefore it is very important to make a decision in the real time whether LINS is in the normal operation or not. That is called a fault detection method. In this paper, we propose the fault detection method of LINS based on the overlapping model. We also show that the fault detection probability is increased through overlapping the hardware model and the software model. It is verified through the long-term operation and RAM (Reliability Availability Maintainability) analysis of LINS that the fault detection method proposed in this paper is able to detect about 97% of probable system failures.

• Electronics and Telecommunications Trends
• /
• v.29 no.5
• /
• pp.40-50
• /
• 2014

최근에 RFID(Radio Frequency Identification) 기술은 사물인터넷의 기반 기술로 다양한 애플리케이션의 개발과 함께 산업화/정보화에 크게 기여하고 있다. 그러나 산업에서 요구하는 RFID 태그, 리더의 요구사항이 단순한 인식뿐만 아니라 다양한 정보를 장기간 저장하고 관리할 목적으로 태그 메모리 크기가 확장되고 있으며, 해당 정보를 태그에 읽고 쓰기 위하여 간섭 잡음에 강한 신뢰성 있는 성능 향상 무선통신기술이 연구되고 있다. 본고에서는 RFID 태그-리더 간 고속으로 통신하는 기술과 다량의 태그 밀집 환경에서 RFID 인식률 향상을 위한 빔포밍 기술에 대하여 기술한다.

• Journal of Haehwa Medicine
• /
• v.16 no.1
• /
• pp.133-138
• /
• 2007

Objectives : The purpose of this study IS to evaluate the effect of burning acupuncture therapy on the sacroihac Joint syndrome. Methods : This study was carried out on the 1 patient with sacroihac Joint syndrome Subject was treated by acupuncture, negative, burning acupuncture therapy Lumbar ROM and Visual Analog Scale(VAS) were evaluated before and during treatment. Results and Conclusions : VAS was improved 10 to 2 and lumbar Rom was improved In the study, burning acupuncture therapy was effective 10 sacroihac joint syndrome.