• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.148-150
• /
• 2001

발견된 Web Usage 패턴들은 분석하는 전문가에게는 불필요하고 흥미롭지 못해 의사결정에 도움이 못되는 경우가 많다. 따라서 발견된 패턴에 대한 도메인 전문가의 사전 Belief에 기반한 패턴 검증 과정이 필요하다. 발견된 패턴의 유용성 여부는 패턴의 Unexpectedness를 측정함으로써 결정할 수 있다. 본 논문에서는 패턴의 Unexpectedness를 전문가의 Belief에 기반하여 검증하기 위한 새로운 방법론 제안한다. 발견된 패턴과 전문가 Belief를 매칭 알고리즘을 이용하여 패턴을 4가지(완전일치, 조건부 일치, 결과부 일치, 완전 불일치)로 분류하는 1차 검증과 1차 검증 결과의 4가지 분류데이터를 통계적 추론 방법인 Dempster-chafer에 적용한 2차 검증으로 나뉜다. 1차 검증 과정은 패턴의 분류 용이성을 부여하나 패턴의 Unexpectedness에 대한 신뢰성을 제공하지 못한다. 이 문제점을 2차 검증 과정을 통해 해결한다.

• The Korean Journal of Financial Management
• /
• v.9 no.1
• /
• pp.135-175
• /
• 1992

본 논문은 주가(株價)의 변동성검증모형(變動性檢證模型)을 한국주식시장(韓國株式市場)에 적용하여 시장의 효율성을(效率性) 검증하였다. 1975년부터 1990년까지 의 17년 기간중 Shiller[81a], Mankiw-Romer-Shapiro[85], West[88b]의 모형을 이용하여 검증한 결과, 높은 수준의 과잉변동성(過剩變動性)이 발견되었다. 그러나 이러한 주가의 과잉 변동성을 시장이 비효율적이라는 증거로 간주하기는 어렵다. 왜냐하면 이들 모형의 가정 중의 하나인 할인율이 일정하다는 가정을 완화시켜 다시 검증한 결과는 오히려 과잉변동성 중에서 많은 부분이 감소하는 것으로 나타났기 때문이다. 다시말해서 주가에 과잉변동성이 존재하는 것은 시장이 비효율적이라기 보다는 기간에 따른 할인율의 변동폭이 큰 데에 원인이 있는 것으로 해석된다. 따라서 할인율(割引率)의 변동원인(變動原因)을 조사하여 주식시장의 효율성을 분석하였다. 주가의 일부는 랜덤웍의 요소에 의해 결정되고, 나머지 일부는 평균회귀(平均回歸) fads(mean reverting fads)에 의해 결정된다고 가정하여 검증한 결과, 후자에 의해 설명된 비율이 매우 높게 나타났다. 즉 한국주식시장에서의 투자자는 교란거래(攪亂去來)(noise trading)나 피드백거래(去來)(feedback trading) 등의 비합리적인 투자행동을 취하고 있으며, 이러한 비합리적인 행동에 의해 주가변동의 $60{\sim}80%$가 설명되는 것으로 보인다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.373-376
• /
• 2022

미세먼지 수집을 위하여 필요한 위치 선정 방안과 위치 선정시 중요한 바람길분석, 수요조사, 유동인구, 교통량 등의 중요 기준을 반영하여 최종 선정하여야 하며, 이에 따라 설치된 측정기로부터 데이터 수집을 위해 지역적, 환경적, 지형적 요소를 감안하여 수집 항목을 결정하여야 한다. 데이터 수집시 실시간 또는 배치(Batch)로 할 것인지 여부를 결정하여야 하며, 이 보고서에서는 실시간으로 데이터 수집하는 경우를 설명하였다. 데이터 수집시 정확도를 높이기 위해 결측값, 이상값인 전처리 단계를 거쳐서 분석과 Modeling 구축을 통하여 정확도가 높은 알고리즘을 선정하여야한다. 정확도가 높은 알고리즘은 검증용 데이터 셋으로 적합성을 검증하여, 측정기 설치 위치의 적합성, 데이터 수집의 적합성, Modeling 구축 및 평가가 적합함을 지표로서 제시하여 적합성 검증을 하고자 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.20 no.12
• /
• pp.525-534
• /
• 2019

The study was carried out by surveying 500 fostered teenagers at youth shelters in the Capital area via onsite visit over about three weeks from April 17 to May 10, 2018; 487 samples out of 500 questioned subjects were used for the final analysis. The results of this study are as follows. First, the career decision self-efficacy was verified to have a partial mediating effect between all of self-leadership variables and the career maturity of the fostered adolescents at youth shelters. Second, the career decision self-efficacy was verified to have a partial mediating effect between the action-oriented strategy, which is one of the self-leadership variables, and the career maturity of the fostered adolescents at youth shelters. Third, the career decision self-efficacy was verified to have a partial mediating effect between the natural compensation strategy, which is one of the self-leadership variables, and the career maturity of the fostered adolescents at youth shelters. Fourth, the career decision self-efficacy was verified to have a full mediating effect between the constructive thinking strategy, which is one of the self-leadership variables, and the career maturity of the fostered adolescents at youth shelters.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.433-435
• /
• 2016

기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.04a
• /
• pp.73-79
• /
• 2000

본 논문은 BCPS(Balanced canister purge solenoid valve) 의 Lab. 내구 시험 Spec. 결정 방법에 관한 것이다. BCPS 는 기존에 사용 중인 CPS(Canister purge solenoid valve) 의 응답성과 제어의 용이성을 좋게 하여 배기 가스 특성을 향상시키기 위해 CPS 내부에 Rubber 재질의 막(Diaphragm) 을 적용한 것이다. 하지만 이 Diaphragm 이 마모 등에 의해서 찢어지면, 오히려 배기 특성이 저하된다. 따라서 BCPS의 적용을 위해서는 이 Diaphragm 의 내구성이 검증되어야 하며, 이를 위해서는 새로운 신뢰성 시험 Spec. 의 개발이 필요하다. 본 연구에서는 BCPS Diaphragm의 검증을 위해 필요한 신뢰성 시험 Spec. 을 결정하였다. 이를 위해, X-ray Inspection System등을 이용하여 부압에 따른 Diaphragm 의 형상 변화 등을 관찰하였으며, 실제 차량에서 Diaphragm 에 걸리는 압력의 분포를 측정하였다.

• Industry Promotion Research
• /
• v.8 no.4
• /
• pp.91-99
• /
• 2023

The purpose of this study was to confirm the determination of the career attitude of multicultural youth, which will be the growth engine of Korean society in the future, and to determine the effect of parental support for multicultural youth on career attitude determination. Multicultural adolescents experience more difficulties in parental support and career attitude determination than ordinary adolescents due to confusion over biculturalism exposed at birth. Therefore, this study confirmed the effect of parental support of multicultural adolescents on career attitude determination and verified the effect of bicultural acceptance attitude. To this end, data from the 8th year of the Multicultural Youth Panel (MAPS) conducted by the Korea Youth Policy Institute were used, and a total of 1,229 multicultural teenagers in the 2nd year of high school participated in the study. For data analysis, frequency analysis, descriptive statistical analysis, correlation analysis, path model suitability verification, path model coefficient, and mediating effect verification were conducted. Based on the results of these studies, it was intended to provide basic data for developing an integrated program that improves parental support and career attitude determination of multicultural adolescents.

• The Korean Journal of Financial Studies
• /
• v.3 no.1
• /
• pp.329-357
• /
• 1996

본 논문은 확률적 변동성하의 통화옵션가격결정모형에 대하여 실증적으로 검증하였다. 연구결과 OTM, ATM, ITM에서 일정한 변동성을 가정하는 모형가격은 확률적 변동성하의 통화옵션가격결정모형에 비교하여 일치적으로 높게 나타나고 있으며 OTM옵션에 가격결정오차의 크기는 ATM 옵션보다 크게 나타나고 있다. 또한 옵션의 만기가 길수록 가격결정오차의 크기는 커진다는 것을 보여주고 있다. 확률적 변동성하의 통화옵션가격결정모형이 일정한 변동성을 가정하는 통화옵션가격결정모형보다 행사가격과 만기편의를 감소시키며 특히 단기의 만기를 가진 범위에서는 매우 큰 오차감소효과가 나타났다. 따라서 통화옵션가격결정모형을 이용하여 옵션가격을 예측함에 있어 환율변동성이 일정하다는 가정하에서 변동성을 모형에 투입하는 것보다는 환율변동성의 이분산성을 고려하여 추정된 변동성을 모형에 투입하는 것이 통화옵션가격의 예측력을 개선시킬 수 있다고 할 수 있다. 그리고 회귀분석결과 설명력을 나타내는 $R^2$값이 높게 나타나고 있으며, 확률적 변동성하의 통화옵션가격결정모형의 $R^2$값이 일정한 변동성을 가정하는 모형의 $R^2$보다는 높게 나타나고 있다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2022.11a
• /
• pp.374-376
• /
• 2022

항로표지 배치의 적합성 평가 및 검증에 활용하기 위해 기계학습 (Machine Learning)을 통해 대표항적선을 결정한다. 이 연구에서는 대표항적선과 항로표지와의 최근접 거리를 계산하고 시인가능 거리 및 거리율 등을 통해 항로표지의 배치 적합성을 평가하고 검증한다.

• Journal of Internet Computing and Services
• /
• v.10 no.3
• /
• pp.1-8
• /
• 2009

The primary tasks of a workflow management system specify workflow models with respect to resource, control-flow, data-flow, functional, and operational perspectives, and to enact their workcases (workflow instances). In terms of enacting workflow models, the essential criterion grading the quality of the system is "how much is the system able to guarantee the correctness of workflow models' enactment?". Particularly, the workflow determinacy problem, which may be caused by the interference of the control-flow and the data-flow specifications, is the most challenging issue in guaranteeing the correctness of the system. We are able to solve the problem by either of the following two approaches-analysis of workflow model and verification of workflow enactment. In the paper, we propose a technique that guarantee the system's correctness through verifying workflow enactment. In other words, the technique is able to detect the conflicts of control-flow and data-flow enactments existing on a workflow model, which causes the system to be non-determinant in enacting workflow models. Finally, by applying the technique to the e-Chautauque workflow management system developed by the authors' research group, we prove that the technique is a feasible solution for the workflow determinacy problem.