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

이상식,김희철,송영재,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.

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. 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.

고소작업차의 원격 제어를 포함한 중앙집중식 컨트롤러 및 유압식 상승리프트 개발

이상식(Sang-Sik Lee),김준태(Jun-Tae Kim),박원엽(Won-Yeop Park) 한국정보전자통신기술학회 2017 한국정보전자통신기술학회논문지 Vol.10 No.3

본 연구는 선행 연구로 진행되었던 과수원 및 농경지에서 사용되는 고소작업차의 안정적인 요소를 설계하기 위하여 진행되었다. Auto leveling system과 수평센서를 이용하여 불규칙하고 경사가진 곳에서 안전하게 작업하기 위하여 유압식 상승리프트를 개발하였으며 고소작업대에서의 제어를 하기 위하여 원격 제어를 포함한 중앙집중식 컨트롤러의 개발을 진행하였다. 개발된 모듈을 통하여 고소작업대에서의 안정적 제어가 되는지 현장 시 운행을 실시하였으며, 고소 작업대의 구조해석을 통하여 작업자가 작업대에서 안전하게 작업을 할 수 있는 최대 적재 하중 및 균등 적재량을 제시함으로서 보다 안전에 대해 유의하도록 하였다. 각 부위별 설계 및 검증, 제작을 통하여 완성된 고소기계차의 현장 시운행을 통하여 프로토타입의 고소기계차를 제작하였고, 몇 가지의 수정 보완 사항을 통하여 연구를 지속적으로 행할 예정이다. This study was carried out to design the stable elements of the aerial work machinery used in the orchard and farmland which had been conducted in the previous research. A hydraulic lifting lift has been developed to work safely at irregular and inclined locations using an auto leveling system and a horizontal sensor. The development of a centralized controller including remote control has been carried out in order to control the elevated work platform. Through the developed module, we carried out on-site test run to check whether the control is stable in the elevation workbench. Through the structural analysis of the elevation workbench, the maximum load and the equal load amount that the worker can safely work on the workbench are presented.

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) 한국케어매니지먼트학회 2013 한국케어매니지먼트연구 Vol.8 No.-

표피 근전도의 전력스펙트럼은 근섬유의 전도속도의 활성에 의존하기 때문에 표피 근전도 신호 주파수 파라미터들의 신뢰성 평가는 임상에서 매우 중요하다. 본 연구의 목적은 노인들의 근피로지수 개발을 위한 표피근전도 주파수파라미터들의 지속적인 측정들의 신뢰성을 조사하는 것이다. 본 실험에 자원한 10명의 건강한 피검자들은 위팔두갈래근의 최대수축운동 20% 강도의 부하로 수행하였다. 그리고 1회분의 시험세트를 마친 후 2시간의 휴식기간을 취하고 다음 2회분의 시험세트를 수행하였으며 마찬가지로 동일한 휴식시간을 취한 후 3회분의 시험세트를 수행하였다. 평균전력주파수의 표준오차 0.08~1.98은 중앙주파수 0.13~2.27보다 작게 나타났다. 그리고 1회분과 2회분 평균전력주파수의 피어슨상관계수는 0.54~0.89이고 다른 회보다 높게 나타났다. 그러므로 본 연구결과에서 평균전력주파수는 근피로를 위한 유의한 주파수파라미터임을 확인하였다. Assessment of the repeatability for frequency parameters from surface EMG signal (sEMG) is of considerable relevance for the clinical usage, because the power spectrum of sEMG explicitly depends on the conduction velocity of muscle fiber. The purpose of the present study was to examine the reliability of repeated measurements in sEMG frequency parameters during isotonic contractions for Muscle Fatigue Index development of old person. Ten healthy subjects performed voluntary isotonic contractions of biceps Brachii muscle until exhaustion at 20% of maximal voluntary contraction level, three test sets a day with two hours of rest. The standard error of measurements for mean power frequency (0.08-1.98) were less than those for median frequency (0.13-2.27). The Pearson correlation coefficients of mean power frequency between the first and the second set were significantly higher (0.54-0.89) than the others. Therefore, the experimental results show that mean power frequency could provide a reliable frequency parameter to assess muscle fatigability.

XMI기반 클래스의 메타데이터생성

이상식(Sang-Sik Lee),최한용(Han-Yong Choi) 한국콘텐츠학회 2009 한국콘텐츠학회논문지 Vol.9 No.12

XMI 메타모델과 XML 메타데이터를 이용한 클래스에 대한 연구는 일반적으로 이용되고 있는 XML 메타데이터의 생성과 상당한 차이점이 있다. 대부분의 XML 시스템은 에디터기능과 데이터베이스 연동, 등 마크업언어의 생성부분에 많은 비중을 두고 개발하고 있다. 그러나 본 연구는 이와 달리 XMI 메타모델에서 추출되는 클래스 메타데이터의 마크업언어를 생성하는데 중점을 두었다. 또한 클래스내의 단위 엘리먼트의 속성부여와 모델내의 클래스 관계를 표현할 수 있도록 하였다. 마크업언어의 생성에서는 XML 스키마를 이용하여 세부적인 데이터타입의 선언이 가능하도록 하고 있다. Study on the class using XMI Meta model and XML MetaDats has significant difference from the method of Data creation which is widely used. Most of MXL System are focusing on the editor funcition, Database connection and Generation of Markup language. Unlikelly, however, this study has focused on the creation of Markup language of Class MetaData which are extracted from MXI data modedl. In addition to that, the attribute of unit element within the class and the relationship between the classes within the model were set to be given and expressed respectively. For the generation of Markup language, XML schema was used to declare the detail data type.

산모의 양측 루테인낭종과 동반된 태아경부 수활액낭종 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

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

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