• Science of Emotion and Sensibility
• /
• v.25 no.3
• /
• pp.63-76
• /
• 2022

Consumers of web novels read online reviews in order to decrease uncertainty when purchasing a web novel. This study examines the types of messages (factual or evaluative) that consumers find more useful and verifies the moderating effect of individual analytical decision-making style levels on differences in usefulness evaluation. Based on the tendency to acquire objective information, the usefulness of factual online reviews was expected to be higher in the context of buying experience goods, such as a web novel. Levels of analytical decision-making styles, which were classified based on individual perception, are also expected to affect the usefulness evaluation of reviews. Experiments 1 and 2 were repeatedly conducted to examine whether consumers think factual reviews are more useful than evaluative reviews. In particular, Experiment 2 was conducted to simulate the circumstance of selecting a romance web novel and demonstrated that reviews have a significant effect on messages and decision-making styles. The interaction effect between analytical decision-making style levels and review message types was also confirmed in Experiment 2. The results of this study can help researchers and marketers comprehend the behavioral patterns of web novel readers when evaluating reviews and consuming experience goods.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Proceedings of the KIEE Conference
• /
• 2006.11a
• /
• pp.258-260
• /
• 2006

비수도권과 수도권의 수급 불균형 해소를 위한 6개의 북상선로에 흐르는 융통조류량의 한계값이 경제성 평가의 한 기준이 될 수 있다. 본 논문에서는 수도권 융통전력 한계를 고려한 제약급전사례의 검토 결과를 이용하여 FACTS 투입에 따른 증대된 융통전력한계를 바탕으로 FACTS 투입에 따른 혼잡비용측면에서 운전이익을 평가하는 방법을 논한다. 즉, F-V 해석결과를 이용하여, 수도권 융통전력 한계값을 결정하고 좀 더 정확한 운전이익 계산하기 위하여 결정된 한계값을 P-POOL 프로그램을 이용하여 혼잡비용 경감 효과를 확인할 수 있는 모의 방법을 확립한다. 확립된 방안은 계획계통을 이용해 검증하고, 최종적으로 FACTS 투입량과 투입후보지에 대한 융통전력 한계 측면에서의 경제성 평가한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.532-534
• /
• 2004

단일서버 시스템에서 응용간 자원의 공정한 분배는 GPS(Generalized Processor Sharing)을 통친 실현될 수 있다. 그러나 다중서버시스템에서 GPS를 적용한다면, 각 서버 내에서의 공정성은 보장해 주지만, 시스템 관점에서의 공정성은 더 이상 보장되지 않는다. 본 논문에서는 멀티서버 시스템에서 시스템 관점에서의 공정성 보장을 위한 기법을 제시한다. 이 기법은 시스템에서 발생하는 각 서버의 잔여용량을 응용간 공정하게 분배하는 모델과 모델을 참조하여 실행하는 실제 스케줄링 알고리즘으로 구성된다 모델에서는 긴 시간동안 각 서버에서 발생하는 잔여용량의 사용을 관측하여, 향후 각 응용의 요청들에게 제공할 잔여용량 분배를 결정한다. 스케줄링 알고리즘은 모델에 의해 결정된 잔털용량 분배를 실제 각 응용들이 제대로 가져갈 수 있도록 제어한다. 실제 모델을 참조하여 공정 잔여용량 분배를 수행하는 스케줄링 알고리즘의 동작은 시뮬레이션을 통해 검증하였다.

• Annual Conference of KIPS
• /
• 2011.04a
• /
• pp.1466-1469
• /
• 2011

플러그인 프레임워크는 기존 M&S 프레임워크에서의 문제점인 구성요소 간 높은 종속관계 및 낮은 유연성을 해결하고자 개발된 프레임워크 설계 방식으로, 프레임워크를 구성하는 컴포넌트를 플러그인으로 제공하여 구성요소의 추가 및 변경이 동적으로 이루어질 수 있게 한다. 또한 플러그인 컴포넌트간 통신을 위한 메시지 구조 정의가 실행 시점에 동적으로 결정되어, 컴포넌트 간 상호 독립적인 인터페이스를 보장해준다. 하지만, 플러그인 컴포넌트들의 조합이 이뤄진 상태에서 전체적인 메시지 연결 흐름이 원활하기 위해서는 각 컴포넌트에서 개별적으로 작성된 인터페이스에 대한 검증이 사전에 이뤄줘야 한다. 이에 본 논문에서는 XML 기반으로 작성된 객체 모델 명세서에 대한 무결성과 중복성을 검증할 수 있는 객체 모델 명세서 검증 도구에 대해 제안하고 이에 대한 설계내용을 설명하도록 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.4
• /
• pp.383-394
• /
• 2018

This study analyzed the latent profile for identifying the difference in the dependence on smartphone use among middle school students in the 1st grade using the Korean Children and Youth Panel Survey (KCYPS). From the result of this study, first the latent class was separated according to the type of dependence on smartphone use. Class 1 included the students (from fifth grade in elementary school) whose level of reliance on smartphone use was low. Class 2 was selected as the group whose level of reliance on smartphone was high. Secondly, in comparing class 2 to class 1, it was found that the students who have a high probability of being in class 1 were those whose fathers are high achievers, have high early self-esteem and less age attachment. Thirdly, the students in class 1 had a higher sense of neglect than those in class 2. Furthermore, the self-determination of the students in class 2 mediated the effect of neglect on the adolescents' dependence on smartphone use both directly and indirectly.

• Journal of Korea Society of Industrial Information Systems
• /
• v.6 no.1
• /
• pp.99-108
• /
• 2001

사용자 만족(User satisfaction)은 Bailey와 Pearson(1983) 이후, 정보시스템 분야의 연구에서 시스템의 성능(Performance)을 대변하는 성과변수로서 가장 널리 사용되어져 왔다.[Delone & McLean, 1992]. 그러나 사용자 만족은 실제 시스템의 객관적인 성능이나 품질이 아닌 사용자에 의해 지각된(Perceived) 만족이므로, 인간이 인지과정에서 받는 다른 영향들로 인하여 지각된 성과는 실제의 시스템 성능과 다를 수 있다.[Gatian 1994; Szajna & Scamell, 1993. 따라서 만일 사용자가 지각한 성능이 객관적인 실제의 시스템 성능과 반드시 일치하지 않는다면, 그 원인은 무엇이며, 사용자가 시스템을 평가하는 과정에서 어떤 요인들이 작용하여 이러한 왜곡된 결과를 가져오는지, 사용자 만족이 결정되는 인지적 과정을 규명할 필요가 있다. 이러한 의미에서 본 연구는 마케팅 분야에서 일반상품에 대한 소비자의 만족 결정에 영향을 주는 변수와 그 결정과정을 연구한 소비자 만족/불만족(Consumer Satisfaction / Dissatisfaction)의 연구이론을 도입하여, 정보시스템이란 상품을 대상으로 사용자가 만족을 느끼게 되는 과정을 인지적(Cognitive) 관점에서 규명하고, 만족결정에 영향을 미치는 변수들을 찾아낸 후 소비자 만족을 결정하는 모형을 연구하고자 하였다. 8개 기업의 정보시스템 사용자부터 데이터를 수집하여 LISREL을 이용하여 사용자 만족 연구 모형을 검증하였다. 분석 결과, 결정모형은 유의하였으며 정보시스템의 사용자 만족에 영향을 미치는 변수로는 시스템의 성능 뿐 아니라 기대불일치가 함께 영향을 미치는 것으로 나타나 시스템 성능의 향상과 함께 사용자들의 기대수준 관리에 관심을 기울일 필요가 있는 것으로 나타났다.

• Proceedings of the KOR-KST Conference
• /
• 2003.02a
• /
• pp.3-18
• /
• 2003

본 논문은 ATMS와 ATIS에서 요구되는 교통관리 및 정보제공의 효과분석을 위해, 운전자의 주행 및 경로선택 의사결정과 교통제어에 대한 반응등 운전자 행태를 모의실험에 반영함으로써 교통시스템의 실시간 특성을 모사할 수 있는 모형을 구축하고 이를 기반으로 하는 미시적 교통 모의실험기를 개발하는 것을 목적으로 하였다. 본 연구에서는 운전자, 차량, 교통망, 검지 및 신호시스템, 교통정보제공시스템 등을 교통시스템의 주요 구성요소로 설정하였으며 운전자 및 차량특성, 차두시간분포와 차량발생모형, 차량주행모형, 차로변경 및 간격수락모형, 경로선택모형을 주모의실험모형을 구성하는 부모형으로 결정하였다. 따라서 본 논문에서는 각각의 부모형들에 대한 최근의 연구결과들을 검토하고, 현실모사 능력과 함께 다른 부모형들과의 연계, 모의실험기의 구현상에서의 적합성 등을 고려하여 적정모형의 선정 및 수정, 새로운 부모형의 구축을 수행하였다. 구축된 부모형을 통합하여 교통모의실험기를 개발하였으며 구축된 모형의 타당성 및 적용성 검토를 위해 현장자료 및 가상자료를 이용한 검증을 수행하였다. 검증결과 모형의 목적인 교통제어 및 정보제공등의 시스템 대안의 평가에 이용 가능한 것으로 나타났다. 또한 본 논문의 연구결과는 교통제어 및 정보제공전략 대안의 평가뿐만 아니라 차량추종 및 차로변경 등의 미시적 교통모형 연구, 동적기종점 통행량 추정, 동적통행배정의 연구에도 활용할 수 있을 것으로 판단된다. 본 논문의 연구모형은 현단계에서는 현실의 모사 및 분석을 위한 도구보다는 새로운 대안들간의 비교평가를 위한 도구로 활용할 수 있을 것으로 판단된다. 이에 따라 현실모사의 정확도를 확보하기 위한 검증 및 개선이 필요할 것이며, 각 부모형들에 대한 계속적인 연구와 새롭게 발표되는 연구결과를 수용한 지속적인 개발이 필요할 것이다.유기적인 연계에 있음을 밝히고 있다. 건설을 위한 정책적 시사점과 동북아 연구개발정보 Portal 및 APEC APGrid 연구망 등의 구체적인 정보인프라 구축방안을 도출하였다.술 주기를 도출하고, 산업 내 평균 권리 청구 항목 수를 이용하여 각 산업의 기술 범위를 비교하였다. 각각의 동적 분석을 통해 시간에 따른 변화 양상이 관찰하였고, ANOVA 분석을 이용하여 통계적 유의성을 검증하였다. 본 연구는 현재의 기술 패러다임 내에서 Pavitt이 제시한 산업 분류의 근거를 보충 설명하였고 특허 정보를 이용하여 기술혁신의 산업별 유형에 대한 폭넓은 분석방법을 제시하였다.별 시간대별 효과분석을 통하여 정책의 시행여부가 결정되어야 할 것이다. 한편, 화물전용차선의 설치로 인한 물류비용의 절감을 보다 효과적으로 달성하기 위해서는 종합류류 전산망의 시급한 구축과 함께 화물차의 적재율을 높이고 공차율을 낮출 수 있는 운송체계의 수립이 필요한 것으로 판단된다. 그라나 이러한 화물전용차선의 효과는 단기적인 치유책일 수밖에 없기 때문에 물류유통 시설의 확충을 위한 사회간접자본의 구축을 서둘러 시행하여야 할 것이다.으로 처리한 Machine oil, Phenthoate EC 및 Trichlorfon WP는 비교적 약효가 낮았다.>$^{\circ}$E/$\leq$30$^{\circ}$NW 단열군이 연구지역 내에서 지하수 유동성이 가장 높은 단열군으로 추정된다. 이러한 사실은 3개 시추공을 대상으로 실시한 시추공 내 물리검층과 정압주입시험에서도 확인된다.. It was resulted from increase of weight of single cocoon. "Manta"2.5ppm produced 22.2kg of cocoon. It is equal to 9%

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.735-735
• /
• 2012

국내 및 세계적으로 중앙정부 관점에서 수자원관련 현황을 평가하거나 취약성을 파악하는 등 관련 적응 정책 수립, 부문별 정책 수립의 우선순위 결정과 평가를 위하여 지수(Index)와 지표(Indicator)를 개발하고 사용하고 있다. 수자원관련 지수의 개발은 이수, 치수 및 하천환경 분야의 지수가 개발되어 사용되고 있으며 그 중 치수관련 지수는 국내 외에서 많은 연구 결과가 보고되고 있다. 이러한 지표 및 지수의 구성체계는 크게 두 가지로 분류가 되며 하나는 인과관계 접근방식으로 측정하고자 하는 현상, 결과를 나타나게 하는 요인, 이러한 현상을 완화 또는 강화하기 위한 노력 간의 상관성을 파악하여 지표를 도출하고, 다른 하나는 주제 접근방식으로 파악하고자 하는 현상을 크게 분야별로 구분한 후 분야별 정책목표에 따라 하위 분야로 세분화하고 이에 따른 관련지표를 선정한다. 최근에는 주제 접근방식의 지표가 많이 사용되고 있다. 본 연구에서는 수자원통합관리를 위하여 행정구역 및 유역의 다양한 대리변수를 조사, 분석하여 1990년부터 2007년까지의 시군구 및 국가표준지도인 수자원단위지도의 812개의 표준유역별 DB를 구축하였고, 물이용취약성지수 홍수취약성지수 하천환경취약성지수 및 유역종합관리지수를 개발하여 평가하는 유역종합관리지표를 개발하였다. 각 분야별 취약성 지수는 다양한 대리변수들을 통계분석을 통하여 잠재지표를 선정하였으며, 잠재지표들 간의 상관관계를 이용하여 서로 유사한 변수들끼리 묶어주는 요인분석을 실시하여 주제별 세부지표를 선정하였다. 지표 산정에 있어 표준화방법은 가장 많이 사용되고 있는 Z-score 방법을 사용하였고 가중치부여 방법은 동일가중치를 이용하였으며 최종적인 집계과정은 누적합산방법으로 지수를 산정하였다. 본 연구에서 개발된 유역종합관리지표의 타당성조사를 위하여 2008년 강원도 지역의 이수 및 치수관련 자료를 구축하여 피해이력을 제외한 유역종합관리지수를 산정하여 제한급수 및 홍수 피해이력이 발생한 유역과 비교 분석하여 검증을 실시하였다. 본 연구에서 개발된 지표는 유역관련 현황 파악 및 취약성 분석을 통하여 향후 분야별 관련 정책 및 대책 수립에서 보다 효과적인 의사결정을 지원할 수 있을 것으로 사료된다.

• Journal of the Korean Geophysical Society
• /
• v.7 no.4
• /
• pp.313-324
• /
• 2004

The finite element method and statistics of the convergence measurement are useful method of the stability analysis of the tunnel adjacent to the pier. It is the purpose of the this case study to certificate of validity of the application of those methods. The safety of the pilot tunnel method and LW pre-grouting has been evaluated from the FEM analysis. The three-dimensional finite element method is carried out for the decision of the level of stress redistribution at the two-dimensional numerical analysis. An analysis of the convergence is carried out by the estimation of preceding convergence at tunnel excavation. F-examination is applied for this estimation. As results of that analysis, The F-value is from 10.81 to 158.74 and the coefficient of determination is from 0.82 to 0.99. An analysis of convergence is carried out by using regression analysis. Consequently, it is shown that the convergence can be modeled as following function C(t) = a[1-exp(-bt)].