• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.37A no.12
• /
• pp.1085-1092
• /
• 2012

Mobile communication systems define user state transition mechanisms in order to manage radio resources and battery power efficiently. In the state transition mechanism, a state with a higher energy consumption inherently offers a shorter access delay, so there is a tradeoff between the energy and delay performances. In this paper, we analyze the user state transition mechanism of UMTS by considering the bursty traffic attributes of mobile applications. We perform a numerical evaluation for both the energy consumption and the activation delay by Markov modeling of the state transition mechanism, and investigate their tradeoff relationship as functions of operational parameters. The resulting energy-delay tradeoff curves clearly show an achievable performance bound of the user state transition mechanism and also offer an optimal operation strategy to minimize the energy consumption while guaranteeing the delay requirement.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1543-1546
• /
• 2003

잘못된 명세로 인한 자원의 손실을 악기 위해서는 반드시 명세에 대한 검증이 필요하다. 객체지향 모델링 언어의 표준인 UML은 각각의 다이어그램이 사용자의 요구사항을 정확히 반영하고 있는지를 검증하기가 매우 어렵다. 본 논문은 UML의 여러 다이어그램 중 상태 다이어그램(Statechart Diagram)의 명세에 발생해서는 안되는 상태 또는 발생할 수 없는 상태와 같은 오류의 존재여부 등의 정확성을 검증하기 위해 CTL을 이용한 정형검증도구인 SMV를 이용한다. 이를 위해 UML의 상태 다이어그램에서 상태 정보와 상태 천이 정보를 추출하여 SMV로 변환하는 규칙을 찾아내어 UML의 상태 다이어그램의 정확성 검증을 수행하는 방법을 제안하고 자동으로 변환하는 툴을 설계한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.399-403
• /
• 2004

In this paper, we have analyzed the TCP throughput of Portable Internet system in 2.3GHz wireless environment with considering user's mobility speed. As the Portable Internet uses large cells compared to wireless LAM and supports user's nobility, we have adapted different wireless channel model to derive the TCP throughput of the system. We have assumed wireless channel is Rayleigh fading channel and the channel is modeled as two-state Markov model with which user's nobility speed can be considered by varying transition matrix of the model. from the simulation results, we have known that higher TCP throughput under the slow fading than under the fast fading. Because the TCP throughput is closely related to the sender's congestion control, the more congestion control is done by the sender, the lower TCP throughput we have. The more congestion control is caused in the sender under the fast fading than the slow fading so the lower TCP throughput is resulted in the fast fading environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.493-495
• /
• 2001

지난 99년 12월부터 국내 이동통신서비스 사업자들이 무선 인터넷 서비스를 시작한 이후, 올 6월말 현재 무선 인터넷 가입자수가 1천 4백만 명(i-SMS방식을 제외한 WAP과 ME방식)에 육박하고 있다[1]. 또한, 인터넷의 패러다임이 유선에서 무선으로 급속히 확장되면서 이동통신 단말기의 사용이 단순한 통신수단을 넘어 이동성, 휴대성 등의 장점과 함께 언제, 어디서나 누구든지 인터넷에 접속할 수 있는 수단으로 발전하고 있다. 그러나, 무선 인터넷 환경의 여러 가지 제약들(매우 느린 전송속도, 낮은 대역폭, 긴 지연 시간, 통신연결의 불안정 등)로 인한 불편사항들이 지적되고 있다. 특히, 무선 인터넷 사이트 상에서의 사용자 행위/상태정보가 통신연결의 불안정으로 인해 유실될 경우, 사용자는 반복적인 정보 재입력을 수행해야 하는 일이 발생하게 된다. 본 논문은 이런 통신연결의 불안정으로 발생하는 사용자 행위/상태 정보 유실에 대한 대안을 제시하고, 이를 무선 인터넷 사이트에 적용해 보았다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.4
• /
• pp.439-446
• /
• 2003

In this paper, a single sign-on system has been designed and implemented. The purpose of the proposed system is that a user logs in once using a single password and gets authenticated access to all the servers that he is authorized to use without sending any passwords over the network. The proposed system involves the use of digital signature and cryptographic authentication protocols. For its implementation, a public-key infrastructure is also designed and implemented. To view the behavior of the proposed system, message sequence charts and state transition diagrams have been

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.5
• /
• pp.100-109
• /
• 2003

A performacne simulation model of the PT6A-62 turboprop engine using the $SIMULINK^R$ was proposed to predict transient and steady state behaviors. The $SIMULINK^R$ has several advantages such as user-friendliness due to the GUI(Graphic User Interfaces) and ease in the modification of the computer program. The $SIMULINK^R$ model consists of subsystems to represent engine gas path components such as flight initial subsystem, compressor subsystem, burner subsystem, compressor turbine subsystem, power turbine, exhaust nozzle subsystem and integrator subsystem. In addition to subsystems, there are search subsystems to find an appropriate operating point by scaling from the 2-D components look-up table, Gasprop Subsystem to calculate the gas property precisely. In case of steady state validation, performance results analyzed by the proposed $SIMULINK^R$ model were agreed well with the analysis results by the commercial GASTURB program. Moreover in validation of the transient model, it was found that performance simulation results by the proposed model were reasonable agreement with analysis results by the well-proved computer program using FORTRAN.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.14-14
• /
• 2017

안정하도란 하도형성유량이 발생하는 조건에 대해 단면내에서 발생하는 유사량과 유입되는 유사량이 평형상태를 유지하는 단면을 의미하며, 안정하도 평가 및 설계란 현재 단면을 안정하도 단면과 비교하여 평가하거나 안정하도를 만족하는 하상경사와 하폭, 수심을 도출하는 과정을 의미한다. 이러한 안정하도 평가 및 설계는 하천을 정비하거나 복원하는 과정에서 장기적인 하상 평형상태를 고려하기 위해 적용할 수 있으며, 하상 침식 혹은 퇴적에 대해 지점별 평가방법으로 활용 할 수 있다. 안정하도 단면은 상류에서 유입되는 유사량과 대상구간의 발생 유사량의 평형조건에 의해 결정되기 때문에 유입되는 유사량 자료의 정확성과 대상구간 발생 유사량 산정의 정확도가 전체 평가 결과의 신뢰도에 가장 중요한 요소로 작용한다. 그러나 현재까지 활용되어 온 안정하도 단면 계산 방법의 경우 대상구간 발생 유사량 결정을 위한 유사이송공식의 선택이 특정 공식으로 한정되어있어 국내 하상과 적합한 유사이송공식의 적용이 매우 제한적이었다. 따라서 본 연구에서는 이러한 기존의 안정하도 평가 및 설계 방법을 개선하기 위해 다양한 유사이송공식의 적용이 가능한 안정하도 평가 모델의 알고리즘을 제시하였으며, 관련 분야의 실무자가 쉽게 활용 할 수 있도록 사용자 친화적인 사용자 친화적인 안정하도 평가 및 설계 프로그램(Stable Channel Analysis and Design, SCAD)을 개발하였다. 본 연구에서는 기존의 안정하도 단면 계산 방법인 Copeland 방법을 분석하여 새로운 알고리즘을 개발하였으며, 단면 유사량 분석 계산과정에서 자갈하상 공식을 포함한 총 다섯 가지의 유사이송공식을 새롭게 추가하였다. 개발된 SCAD 프로그램은 정확도 및 적용성 향상을 위해 청미천과 내성천 모래하상 구간 그리고 원주천 자갈하상 구간에 대해 시험계산을 수행하였고 평가 결과를 프로그램 개선을 위해 적극 활용하였다. 또한 웹 포팅 프로그램 구축을 통해 다양한 사용자가 특정 웹사이트에서 프로그램에 쉽게 접근할 수 있도록 하였다. 본 연구에서는 개선된 안정하도 평가 및 설계 프로그램을 활용하여 다양한 유사이송공식 선택에 따른 안정하도 산정 결과 값의 변화를 분석하고 그 범위를 정량적으로 제시하였다.

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

인터넷을 통한 전자상거래의 급격한 발전으로 현재는 사용자가 이동하는 상황에서도 전자상거래가 이루어지고 있다. 즉 M-Commerce의 발전방향은 기존의 고가의 물품에 대해서가 아니라 문서, 음악 파일, 동영상과 같은 소액에 대한 상거래가 급격히 발전할 것이다. 이로 인해 현재 소액결제시스템이 발전하고 보급되어있는 상태이다. 하지만 기존의 소액결제 시스템의 문제점인 사용자 익명성에 관한 부분에 대하여 본 논문에서는 OTP형식의 소액결제시스템에서의 새로운 프로토콜을 제안하였다. 거래가 이루어지기전에 이미 서로의 인증이 되는 고객과 이동통신업체에 중점을 두어 고객이 직접 인터넷 콘텐츠 공급업체에 개인정보를 입력하지 않아도 인증을 할 수 있도록 설계하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.451-454
• /
• 2006

2005년 7월 대한민국의 휴대폰 사용자는 전인구의 75%, 약 3천5백만 이상이 사용되고 있어 무선 인터넷을 기반으로 하는 휴대폰이 유비쿼터스 시대의 새로운 패러다임으로 각광을 받고 있다. 또한 휴대폰 하드웨어와 디자인 등은 세계적인 인프라가 구축되었다. 하지만 휴대폰 콘텐츠는 완전히 초기단계를 벗어나지 못하고 벨소리, 초기화면 치장 등에 불과하다. 특히 동영상 서비스는 새로운 시장을 창출했기 보다는 답보 상태에 있어 남들이 쉽게 모방할 수 없는 엔진 개발이 절실히 필요하다. 본 논문은 휴대폰 사용자의 사랑과 따듯한 마음으로 분류된 화면에 따라 사용자가 문구를 선택하거나 입력 시키면 동화상과 함께 문구를 상대방에게 전송할 수 있는 시스템을 설계하고 구현했다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.354-354
• /
• 2020

최근 기후변화로 인하여 극한 강우사상이 증가하고 있으며, 이에 대한 재해 위험도도 커지고 있는 추세이다. 서낙동강 지역에서는 부산 에코델타 스마트시티 조성사업이 2023년 완공을 목표로 개발을 진행 중이다. 부산 에코델타 스마트시티는 대저수문과 녹산수문이 각각 상/하류에 위치하고 있으며, 스마트시티가 위치한 좌안에는 평강천이 유입하고 우안에는 대감천, 예안천, 주중천, 신어천, 금천천, 조만강 및 지사천이 유입하고 있다. 스마트시티의 대저수문과 녹산수문 구간은 4월-10월 기간 동안 주변지역 농업용수 공급을 위하여 하계의 일시적인 방류를 제외하면 연중 담수가 이루어지는 전형적인 하천형 저수지의 특성을 가지고 있다. 낙동강의 홍수예보는 낙동강의 본류 구간만을 대상으로 수행하고 있으며, 스마트시티 구간은 주로 수질에 관한 연구가 수행되어 왔다. 그러나 스마트시티의 조성과 함께 서낙동강 구간의 홍수 영향 분석의 필요성이 제기되고 있으나 스마트시티 하천구간을 대상으로 한 홍수분석은 거의 수행된 바가 없다. 본 연구에서는 부산에코델타 스마트시티 구간을 대상으로 시나리오 기반의 홍수분석을 수행할 수 있는 웹기반 통합플랫폼을 개발하였다. 홍수분석에 필요한 자료는 에코델타 스마트시티 개발계획을 기반으로 단기유출모의, 하천흐름모의 및 도시유출모의를 연계하여 분석을 실시할 수 있도록 하였다. 홍수분석을 실시함에 있어 대상 하천구간의 농업용수이용, 수문조작 기준을 고려하였다. 단기유출모의는 홍수통제소의 유출분석을 위하여 사용되는 저류함수법을 적용하였으며, 하천흐름 모의는 미국 공병단에서 개발한 HEC-RAS모형을 적용하였으며, 하천흐름모형의 결과를 미국 환경청(EPA) 도시유출모형인 SWMM과 연계할 수 있도록 하였다. 대상 구간의 하천 취수량을 산정하기 위하여 일별 담수심추적법을 활용한 논 농업용수 수요량을 산정하여 반영하고, 농업용수 수요량에 따른 저수량과 수문운영 룰을 고려하였다. 또한 부산에코델타 스마트시티의 개발에 따른 상태 변화를 반영할 수 있도록 웹기반으로 사용자가 시나리오를 설정하고 각 모형의 입력자료와 매개변수를 조정할 수 있도록 하였다. 본 연구의 결과는 부산에코델타 스마트시티의 개발에 있어 홍수위험을 분석 및 평가하는데 활용될 수 있을 것으로 판단되며, 이를 활용하여 홍수에 안전한 부산에코델타 스마트시티를 만들 수 있을 것으로 기대된다.