• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.329-333
• /
• 2008

본 연구에서는 도플러 방식 초음파유속계(ADVM, Acoustic Doppler Velocity Meter) 및 이동시간차방식 초음파유속계(UVM, Ultrasonic Velocity Meter)의 유량자료 검증을 위해 두 가지 방식이 적용된 한강대교와 여주대교의 2007년 운영성과를 검토하고 측정된 결과분석을 통해 자동유량측정시설의 유량측정자료를 검증하였다. 측정된 유량의 검증을 위해 평 저수시 유속계 측정 및 이동 ADCP법에 의한 연속 유량측정결과와 비교하였으며, 또한 봉부자를 이용한 측정결과와의 비교를 통해 홍수시 측정결과를 검토하였다. 또한 댐방류량, 하수처리장 방류량, 각종 취수량을 이용한 물수지 분석을 통해 자동유량측정에 의해 산정된 유출량과 비교하였다. ADVM 방식이 적용된 한강대교의 조위영향에 따른 수위변화를 고려하여 한 주기에 대한 측정을 수행하여 이를 비교한 결과, 흐름이 정체되는 일부구간의 측정결과를 제외하면 대부분 상대오차가 10% 내외가 발생하는 것으로 나타났다. 또한 월별 물수지 분석을 수행한 결과, 설치초기 시스템 안정화작업으로 인해 결측이 많이 발생한 $3{\sim}4$월을 제외하면 10%내외의 오차가 발생하였으며, 홍수기인 $6{\sim}7$월 사이에는 $1.9{\sim}5.5%$의 상대오차를 보여 자동유량측정시설의 측정결과가 매우 양호한 것으로 나타났다. 여주대교의 UVM 방식의 경우 측정장비의 안정화가 이루어진 5월부터 9월까지의 측정결과는 수위유량관계곡선으로 산정된 유량과 비교하였을 때 10%내외의 상대오차를 보인 것으로 나타났다. 아울러 월별 물수지 분석결과에서도 결측이 많이 발생한 5월의 23.7%의 오차를 제외하면, $5{\sim}10%$내의 오차를 보인 것으로 나타났으며 홍수기인 $6{\sim}8$월의 경우 5%이내의 오차가 발생한 것으로 나타났다.

• The Southeast Asian review
• /
• v.20 no.3
• /
• pp.183-222
• /
• 2010

본 연구의 목적은 2008년 후반에 발생한 국제금융위기에 대응하여 조직 개편을 선택한 기업과 그 기업 내의 근로자들 실태 파악을 하는데 있다. 특히 기업구조조정 명목으로 단행된 해고를 모면한 근로자들 (생존자)의 상태를 그들이 지각하는 각 개인의 관리자에 대한 만족도와 그들의 직무관련태도인 직무만족, 조직적 몰입 그리고 이직 의도 간의 관계 관점에서 살피고자 한다. 관리자에 대한 만족도는 근로자들의 직무 관련 태도 변수와 관련되어 사회적 선행변수로 선택되었으며 직무관련태도는 결과변수로 선택하였다. 본 연구를 통해 생존자들의 조직 내 직무관련태도에 관한 이해를 높이는데 필요한 정보를 표출해내어 그들의 실태를 파악하는데 하나의 목적을 두었으며 그들의 관리자와의 사회적 관계가 그들에게 미치는 영향을 파악하는 것이 또 하나의 목적이라 하겠다. 이상과 같은 관계 파악을 통해 얻은 정보로 관련기업이 단기적으로 성공적인 자립을 하여 장기적으로 경쟁력 있는 조직으로 성장할 수 있는 인적자원전략을 제공하는데 2차적인 목적을 두고 있다. 본 연구는 이상과 같은 목적을 달성하고자 그 유의성이 증명된 현존하는 설문을 활용한 조사기법을 채택하여 실증연구를 하였다. 수집한 자료는 SPSS 17.0과 LISREL 8.5을 사용하여 연구모형과 연구의 가설들을 검증하였다. 연구목적을 달성하고자 채택된 가설들은 기존의 문헌연구를 토대로 세워졌다. 연구대상은 태국 북부지역의 대표도시인 치앙마이 내 관광호텔 종사자들로서 외부적으로는 2008년 국제금융위기와 그에 따른 경제침체, 내부적으로는 극심한 정치적 사회적 불안에 의한 관광객의 급감소와 조직의 자구책으로 행해진 조직재구조 차원에서의 해고를 이겨낸 근로자들, 즉 생존자들이었다. 가설검증을 통해 입증된 연구결과에 의하면 1) 근로자들의 관리자에 대한 만족은 그들의 직무만족, 정서적 조직몰입과 지속적 조직몰입에 영향을 미치는 것으로 검증됐다. 2) 근로자들의 관리자에 대한 만족은 그들의 이직의도에는 영향을 미치지 못하는 것으로 검증됐다. 3) 근로자들의 직무만족은 그들의 이직의도에 영향을 미치는 것으로 검증되었다. 4) 근로자들의 조직적 몰입과 이직의도 간의 관계에 있어서는 오직 경제적 성격의 지속적 조직몰입만 영향을 미치는 것으로 검증되었다. 이러한 연구 결과는 기존의 타 연구 결과와 기본적인 맥락은 같게 나왔으나 근로자들의 정서적인 면의 부재는 2008년 후반 당시의 독특한 태국의 사회적, 경제적 그리고 문화적 실태를 보여주는 것이 아닌 가 사료된다. 특히 근로자들이 그들의 직장과의 관계와 관련된 의사결정을 가치가 아닌 경제적인 요소에 의존한다는 결과 그리고 상관인 관리자가 이러한 태도에 전혀 영향력을 미치지 못한다는 결과는 전통적으로 감성적이며 집단주의적인 동양적 문화가 지배하리라고 예상했던 태국에서는 이례적인 결과였다. 그러나 관리자들이 그들의 직무만족 그리고 조직적 몰입에 영향을 주며 직무만족이 이직 의도에 영향을 미친다는 결과와 지속적 조직몰입이 이직의도에 영향을 미친다는 결과는 장기적으로 적극적인 관리자 교육을 통해 근로자들을 조직에 정서적으로도 올바르게 안착시키고 긍정적인 구성원으로 존재하면서 조직에 기여할 수 있는 그들의 역할을 기대할 수 있다고 볼 수도 있다. 이 점은 매우 중요한데 그 이유는 해고를 이겨낸 근로자들은 그 조직이 미래를 짊어지는 마지막 기대변수이기 때문이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.70-72
• /
• 2002

본 논문에서는 기존 파일 시스템의 일관성 검사 프로그램 및 클러스터 파일 시스템의 특징 분석을 통해 클러스터 파일 시스템의 일관성을 검사하는데 필요한 프로그램 설계 요소 및 구현 방법에 관해 논한다. 나아가 이러한 설계 방법에 따라 구현된 프로그램을 실제 상용화된 클러스터 파일 시스템에 적용함으로써 검사 프로그램의 기능을 검증한다 이를 위해 뮤테이션 테스트(Mutation Test) 기법을 도입하여 일관성 검사 프로그램의 신뢰성 검증 방법을 고찰하고 그에 따른 테스트 결과를 살펴본다.

• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• pp.115-116
• /
• 2017

자체별 또는 연도별과 같은 공통 요소를 통한 교차 분석이 가능하도록 통합 DB를 설계함으로써 다면적인 연구 분석을 위한 프레임워크를 구축하는 데 중점을 두어야 한다. 본 연구는 지자체 통합 데이터베이스에 구축되고 있는 지자체 통합 데이터의 활용성 검증을 위하여, 데이터마이닝 기법을 적용하여 지자체 통합 데이터를 분석하고자 한다. 데이터마이닝 기법을 적용하기 위해서 데이터의 추출, 적재, 변환의 과정을 수행하고, 이렇게 준비된 데이터를 실제 데이터마이닝 기법을 이용하여 분석하고 결과를 검증하는 과정을 수행하면서 지자체 통합 데이터의 활용성을 검증하고자 한다.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.236-240
• /
• 2017

다양한 분야에서 복합재료의 중요성이 강조되면서 각각의 재료 특성에 따른 물성을 미시역학적으로 구하는 것에 대한 다양한 방법이 제시되고 있다. 본 논문에서는 5개의 혼합 법칙을 선정하여 전산구조해석을 통한 유한요소해석을 비교 검증한다. 그 과정에서 산출된 결과를 통하여 복합재료의 탄성거동의 오차가 1% 미만인 것을 확인하였고, 프로그램의 해석이 적절하다는 것을 검증하였다. 또한 프로그램과 가장 유사한 혼합 법칙이 무엇인지 확인하고, 체적 비에 따른 오차를 비교하여 가장 적합한 체적 비를 선정하였다.

• Journal of Software Engineering Society
• /
• v.14 no.1
• /
• pp.4-18
• /
• 2001

폴트 트리 분석(Fault Tree Analysis)은 시스템의 안전성을 분석하는데 유용한 방법으로 쓰이고 있으나, 보통 수작업으로 이루어지며, 체계적인 구성 방법 없는 실정이어서 부정확할 수 있는 약점을 가진다. 이러한 약점을 보완하기 위해, 본 논문에서는 모델 체팅(Model Checking) 방법을 이용하여 폴트 트리를 좀 더 정확하게 보정하는 방법을 제안한다. 폴트 트리를 정확히 고치기 위해서, 먼저 폴트 트리의 노드에 대해서 공식을 만들고, 이 공식을 실시간 모델 체커 UPPAAL을 이용해 검증한다. 그리고 나서, 검증 결과를 분석하며, 이를 통해 얻어진 정보를 이용해 폴트 트리에 반영하게 된다.

• The Korean Journal of Financial Studies
• /
• v.7 no.1
• /
• pp.99-118
• /
• 2001

일반적으로 기업공개는 소유구조를 분산시키며, 소유구조의 분산은 경영자의 유인에 변화를 가져와 기업가치에 영향을 미칠 수 있다고 한다. 본 논문에서는 기업 공개후 IPO 기업의 가치가 상장전년도와 비교해서 하락하는지를 검증해보고, 가치의 하락이 소유구조의 분산과 관련이 있는지를 검증해보고자 한다. 검증 결과 공개후 기업의 소유구조가 분산되었으며, 가치가 유의적으로 하락했음을 확인할 수 있었다. 그러나 이러한 기업가치의 하락이 소유구조의 분산과는 별다른 관련이 없음을 확인할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1103-1106
• /
• 2004

Window Frame 방향성 추출법을 보완한 Extended Window Frame을 제시하고, 높은 보완성을 필요로 하는 곳에 사용할 수 있도록 하기 위해서 지문의 중심점으로부터 매칭 된 각각의 특징점까지 이르는 선상에 있는 융선을 추적하는 방법을 이용한 검증 방법을 제안한다. 제안된 검증 방법의 성능을 비교하기 위해서 방향성을 추출하는 방법, 특징점을 추출하는 방법을 기존의 여러 가지 방법들로 구현하고 그 결과를 비교, 분석한다.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.11
• /
• pp.479-486
• /
• 2015

Model checking method is able to check all possible cases automatically and is applicable to specifications or design before actual implementation so that some critical systems have adopted this method actively. However, the current practice of software verification is largely dependant on basic methods such as manual testing because of lack of understanding about this rigorous method and high verification cost. In this paper we conducted an experimental research for the automated verification using the SPIN model checker on an online-game server to study the applicability of the technique in this domain. The results show that we could verify major features of the online-game server party system with 5~7 GB memory and within 10 minutes execution time, and also found a hidden system error that passed existing testing process. This result shows the possibility of rigorous and effective verification with reasonable cost in comparison to manual testing.

• 한국신재생에너지학회:학술대회논문집
• /
• 2010.06a
• /
• pp.181.3-181.3
• /
• 2010

최근들어 전산유체역학(CFD: Computational Fluid Dynamics)은 빌딩에 대하여 다양한 응용분야에서 사용된다. 이번 연구에서는 측정이 어려운 도심지 건물 군을 지나는 바람에 대하여 CFD해석 방법을 이용하여 고층 빌딩 상공을 지나가는 바람장을 예측 하였으며, 예측 된 결과를 실제 측정치와 비교 검증하였다. 바람장 측정 방법은 마스트를 세워서 측정하는 방법, 풍동 실험실에서 축소된 모형에 대한 실험방법, PIV 측정방법, LIDAR, SODAR측정 방법 등 많은 방법이 있다. 이번 연구에서는 가장 정확한 측정 방법인 LIDAR를 사용하여 측정을 수행하였다. 바람장이 측정된 장소는 서울 잠실 롯데 호텔 상공이며, 불어오는 바람은 롯데 월드를 중심으로 주변의 상가 건물들과 아파트 건물들 때문에 불안정하며 고르지 않을 것으로 예상되었다. LIDAR 측정은 일정 기간 동안 이루어 졌다. CFD해석은 임의의 시간대에 대해서 주 풍향에 대해서 해석이 수행되었다. CFD 해석결과는 최종적으로 측정 데이터와 비교 검증이 이루어 졌으며, 두 데이터간의 일치도가 높음을 알 수 있었다.