NHPP에 기초한 소프트웨어 신뢰도 모형에 대한 베이지안 추론에 관한 연구

이상식,김희철,송영재,Lee, Sang-Sik,Kim, Hui-Cheol,Song, Yeong-Jae 한국정보처리학회 2002 정보처리학회논문지D Vol.9 No.3

본 논문에서는 비동질 포아송 과정에 기초한 소프트웨어 오류 현상에 대한 신뢰도 모형을 고려하고 사전정보를 이용한 베이지안 추론을 시행하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 기존의 모형인 Goel이 제시한 모형과 신뢰성 분포로 많이 사용되는 와이블 분포의 특수형태인 레일리분포와 라플라스 분포를 이용한 모형을 제시하여 베이지안 추론을 시행하고 또, 효율적 모형을 위한 모형선택으로서 편차자승합을 이용하여 비교하였다. 모수의 추정을 위해서 마코브체인 몬테카를로 기법중에 하나인 깁스샘플링을 이용한 근사추정 기법이 사용되었다. 수치적인 예에서는 실측자료인 NTDS 자료를 이용하여 모수 및 신뢰도를 추정하였고 편차자승합을 이용한 모형비교의 결과를 나열하였다. Software reliability growth models are used in testing stages of software development to model the error content and time intervals between software failures. This paper presents a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process(NHPP) and performs Bayesian inference using prior information. The failure process is analyzed to develop a suitable mean value function for the NHPP ; expressions are given for several performance measure. Actual software failure data are compared with several model on the constant reflecting the quality of testing. The performance measures and parametric inferences of the suggested models using Rayleigh distribution and Laplace distribution are discussed. The results of the suggested models are applied to real software failure data and compared with Goel model. Tools of parameter point inference and 95% credible intereval was used method of Gibbs sampling. In this paper, model selection using the sum of the squared errors was employed. The numerical example by NTDS data was illustrated.

국내 포털사이트 음원서비스 취약점분석 및 대응방안 제안

이상식,최동현,원동호,김승주,Lee, Sang-Sik,Choi, Dong-Hyun,Won, Dong-Ho,Kim, Seung-Joo 한국정보처리학회 2009 정보처리학회논문지 C : 정보통신,정보보안 Vol.16 No.6

현재 국내 음악산업은 음반시장에서 디지털음악시장으로 중심이 이동하고 있으며, 대부분의 대형 포털사이트에서 디지털 음원서비스를 제공하고 있는 추세이다. 본 논문에서는 국내 포털사이트(도시락, 싸이월드, 네이버)에서 제공하고 있는 음원서비스프로세스를 살펴보고 취약점을 분석한다. 또한 분석된 취약점을 바탕으로 실제 공격을 수행하여 음원서비스의 문제점을 보여준다. 마지막으로 본 논문에서는 이러한 취약점을 해결할 수 있는 기술적인 대응방안을 제안함으로써 기업과 저작권자의 이익을 보호하고자 한다. Nowadays, the music industry is moving from analog to digital. Most of the big portal sites provide commercial online music streaming services according to the tendency. In this paper, we analyze the security of the Korean commercial online music streaming services which are provide by the Korea's major portal sites(Dosirak, Cyworld, and Naver). Moreover, we show attacks on commercial online music streaming services that lead to an infringement of copyright and propose technical countermeasures for online commercial music streaming services, the contributions of the present work are that the measures protect the copyright of the music.

비동질적 포아송과정을 사용한 소프트웨어 신뢰 성장모형에 대한 베이지안 신뢰성 분석에 관한 연구

이상식,김희철,송영재,Lee, Sang-Sik,Kim, Hee-Cheul,Kim, Yong-Jae 한국정보처리학회 2003 정보처리학회논문지D Vol.10 No.5

본 논문에서는 비동질 포아송 과정(NHPP)에 기초한 소프트웨어 에러 현상에 대한 신뢰도 모형을 고려하고 사전정보(Prior information)를 이용한 베이지안 추론을 시행하였다. 고장 패턴은 NHPP에 대한 강도함수와 평균값 함수로서 나타낼 수 있다. 따라서 본 논문에서는 대수형 포아송 실행시간 모형(Logarithmic Poisson model), Crow 모형 그리고 Rayleigh 모형에 대하여 베이지안 모수 추정방법을 적용하였다. 효율적 모형을 위하여 이들 모형에 관한 모형선택을 편차자승합(SSE)의 합을 이용하여 시행하였고 모수의 추정을 위해서 마코브체인 몬테카를로(MCMC) 기법중에 하나인 깁스샘플링(Gibbs sampling)과 메트로폴리스 알고리즘을 이용한 근사추정 기법이 사용되었다. 수치적인 예에서는 Musa의 T1 자료를 이용하여 모수 및 신뢰도를 추정한 수치 결과론 나열하였다. This paper presents a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process (NHPP) and performs Bayesian inference using prior information. The failure process is analyzed to develop a suitable mean value function for the NHPP; expressions are given for several performance measure. The parametric inferences of the model using Logarithmic Poisson model, Crow model and Rayleigh model is discussed. Bayesian computation and model selection using the sum of squared errors. The numerical results of this models are applied to real software failure data. Tools of parameter inference was used method of Gibbs sampling and Metropolis algorithm. The numerical example by T1 data (Musa) was illustrated.

폐천의 습지 활용에 대한 레크리에이션 및 심미적 가치평가

이상식,김형수,정상만,Lee. Sang-Sik,Kim. Hung-Soo,Jeong. Sang-Man 한국방재학회 2002 한국방재학회논문집 Vol.2 No.1

본 연구에서는 통상 농경지 및 택지로 이용하고 있는 폐천의 경제적 가치에 대해 연구하였다. 즉, 폐천을 농경지로 활용하였을 경우와 습지나 위락단지로 활용하였을 경우에 대한 경제적 가치를 평가 비교하고자 하였다. 연구 대상유역은 한강의 제1지류인 곡릉천의 하류를 선정하였다. 농경지로 활용하였을 경우는 농림통계연보(2000)를 이용하여 그 가치를 산정하였고, 자연습지나 위락단지로 활용하였을 경우에 대해서는 설문조사를 통하여 그 가치를 평가하였다. 즉, 습지나 위락단지의 레크리에이션 가치는 설문조사 결과를 여행자비용법에 의해서 산정하였고, 심미적 가치는 선진국의 선례를 토대로 설문조사를 작성한 후 그 결과를 이용하여 가치를 평가하였다. 분석 결과 폐천을 농경지로 활용하였을 경우, 연간균등편익은 7.05 백만원으로 산정되었고, 습지와 레크리에이션 목적으로 활용하였을 경우에 대해서는 각각의 연간균등편익이 1931.4 백만원과 6284.86 백만원으로 산정되었다. 또한, 심미적 가치는 1년에 14만원으로 산정되었다. 따라서 폐천부지를 농경지로 활용할 경우 보다 습지나 위락시설로 활용할 경우가 훨씬 더 큰 가치를 보이고 있다. The cut river is widely used for the agricultural and housing purposes in Korea and this study is to evaluate the economic value of the cut river. Say, the study is to evaluate and compare the economic values for the cases of which the cut river can be used as the agricultural or housing site and a wetland or recreational site. The study area is the downstream part of Kok-Neung stream which is a main tributary of Han River. For the case of assuming the cut river is used as the agricultural purpose, the value is estimated from the Agricultural & Forestry Statistical Yearbook 2000. For the case of assuming the cut river is used as a wetland or recreational site, the value for a wetland or recreation is estimated by the enquete using questionnaire. That is to say, the results of enquete is used for the estimation of a recreational value by the Travel Cost Method (TCM) and the aesthetical value is estimated by the enquete based on the presumed value in USA. As a results, for the case of which the cut river is used as an agricultural purpose, the equal-payment-series is estimated as 7.06 million won. For wetland purpose, the series is estimated as 1931.40 million won and for the recreational purpose, the series is as 6284.86 million won. The aesthetical value is estimated as 140 thousand won per annum. Therefore, the wetland or recreational use of the cut river is more valuable than agricultural or housing purpose.

Cog type과 Mono type 봉합사의 인장강도에 관한 기초 실험 연구

이상식(Sang-Sik Lee),신운섭(Un-Seop Shin),박병곤(Byung-Gon Park),류옥수(0k-Su Ryu) 대한전기학회 2016 대한전기학회 학술대회 논문집 Vol.2016 No.2

이동전화 음성통화료 국제비교

이상식(Sang-Sik Lee),장은경(Eun-Kyeong Chang) 한국소비자원 2010 消費者問題硏究 Vol.- No.37

방향성 비선형 필터에 의한 화상의 잡음 제거

이상식(SANG SIK LEE),이태홍(TAE HONG LEE) 한국통신학회 1988 한국통신학회 학술대회논문집 Vol.1988 No.11

The formation of the Posa kongsin’s political position and social networks during the reign of King Sukchong

Lee Sang-sik(이상식) 고려대학교 한국사연구소 2008 International Journal of Korean History Vol.12 No.-

이 글에서는 숙종 때 保社功臣의 존재를 기초 자료를 중심으로 살펴보았다. 이를 통해 숙종 때의 특이한 정치적 현상으로 알려진 ‘換局’의 성격과 의미를 재고찰해 보려고 했다. 기존 연구들에서는 朋黨政治의 파행성을 보여주는 대표적인 사건의 하나로 庚申換局을 인식하고 있다. 이에 따르면 경신환국의 발생 원인을 서인과 남인간의 정치적 대립 격화로 보았고, 그 결과 특정 붕당이 정권을 독점하는 일당 전제화의 추세 대두되었다고 보고 있다. 보통 反正이나 정치적 변동 이후 정치적 과정에서 정치 구도는 功臣를 중심으로 정치 세력이 재편되어 운영되는 것이 일반적이다. 그런데 보사공신의 존재는 경신환국을 서?남인의 정권 교체라는 시각에서 바라본 기존의 연구에서는 간과되었다. 특히 이들 보사공신들은 당대에도 追錄 논란 등으로 인해 그 위상은 급속히 추락되었던 것으로 보인다. 이들 보사공신들 중 元勳들은 金錫?와 金萬基와 관련된 하급무사들이 대부분이었고, 追錄者들 또한 김석주, 김만기의 인맥을 통해 연결되었다. 원래 하급 무사들은 현종 말 숙종 초기에는 三福 형제를 중심으로 한 정치 세력과 밀접한 관계를 맺고 있었다. 이들은 경신환국을 전후로 한 시기에 김석주ㆍ김만기 등 외척 세력과 관계를 맺었던 것으로 보이며, 붕당과는 인적 관계는 일정한 거리를 두고 있었다. 앞으로 이들 보사공신들의 활동과 사회적 관계망을 분석함으로써 경신환국의 성격은 좀 더 구체화될 것으로 생각된다.

초음파 집속을 위한 트랜스듀서 어레이 집속 각도 설정

이상식(Sang-sik Lee) 한국정보전자통신기술학회 2016 한국정보전자통신기술학회논문지 Vol.9 No.1

비만을 치료하기 위해 다양한 비만 치료기가 개발되어 왔으며, 초음파는 온열 및 진동작용으로 지방이 분해가 되기 쉬운 상태로 변하게 만든 후 혈액 및 림프액의 흐름을 촉진시켜 혈액으로 지방산 배출이 될 수 있도록 한다. 이러한 초음파 비만 치료기에 트랜스듀서 어레이가 사용되는데 트랜스듀서 어레이의 집속각도와 주파수는 지방을 분해하는데 중요한 영향을 미칠 수 있다. 본 논문에서는 트랜스듀서 어레이의 주파수를 설정하기 위해 27kHz, 1MHz, 3MHz 의 주파수에 직경 5mm, 10mm, 16mm의 트랜스 듀서를 적용하여 파장과 근위장을 구하여 설정온도에 가장 짧은 시간에 도달하는 주파수를 설정하고, 3개 면이 닿는 트랜스듀서의 집속 각도를 설정하였다. 결과적으로 3MHz 주파수 일 때 설정온도에 도달하는 시간이 짧았으며, 집속각도는 40°가 적정하였다. The treatment of obesity have been developed various devices for the treatment of obesity, the ultrasound is to be made after the state changes to become easy fat decomposition by heat and vibrations to facilitate the flow of blood and lymph fatty acid released into the blood. There is such ultrasonic transducer array is used in obesity therapy focusing angle of the transducer array and the frequency may have a significant impact on the degradation of fat. In this paper, we set the frequency that reaches the shortest time to a set temperature 27kHz, 1MHz, by applying a transducer with a diameter of 5mm, 10mm, 16mm for the frequency of 3MHz, obtain the wavelength and near the stomach in order to set the frequency of the transducer array , which was set to the focusing angle of the transducer with three contact surfaces. As a result, the time to reach the set temperature was short days when 3MHz frequency, the focusing angle is titrated is 40 °.

산모의 양측 루테인낭종과 동반된 태아경부 수활액낭종 1례

이상식 ( Sang Sik Lee ),장연희 ( Yeon Hee Jang ),홍승호 ( Seung Ho Hong ),황선보 ( Sun Bo Hwang ),임문환 ( Moon Hwan Im ),심재철 ( Jae Cheol Sim ),김용탁 ( Yong Tak Kim ),김성숙 ( Sung Suk Kim ),오연희 ( Yeon Hee Oho ),이현경 ( Hy 대한주산의학회 1993 Perinatology Vol.4 No.4