• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.1522-1526
• /
• 2007

최근 영국의 Institute of Hydrology에서는 Generalized logistic (GL) 분포형을 홍수빈도해석시 GEV 분포형을 대체하는 분포형으로 추천한 바 있으며, 그로 인해 GL 분포형의 사용이 증가하고 있는 추세이다. 하지만 아직 그 사용빈도에 반하여 분포형 자체의 특성, 그 중에서도 확률홍수량의 근사적 분산에 관한 연구는 거의 이루어지지 않았다. 따라서 본 연구에서는 최우도법을 이용하여 GL 분포형의 확률홍수량에 대한 근사적 분산에 관한 연구를 수행하였으며, 이를 표본 크기, 재현기간, 매개변수들의 함수로 나타내었다. 또한 확률홍수량의 근사적 분산의 적용성을 검토하기 위해 Monte Carlo 모의실험을 수행하였으며, 모의실험은 형상 매개변수$(\beta)$가 $\pm0.5$이면 gamma function으로 인하여 표본 크기에 관계없이 분산값이 무한대에 가까워지므로 형상매개변수의 범위는 $-0.5{\leq}{\beta}{\leq}+0.5$로 제한하였다. 모의결과 최우도법에 의해 계산된 분산식은 형상매개변수 $-0.25{\leq}{\beta}{\leq}+0.5$의 범위에서 비교적 잘 맞는 것을 확인할 수 있었으며, 기존에 알려진 대로 표본크기가 크면 클수록 정확해지는 것을 알 수 있다. 또한 표본크기가 작은 경우 형상매개변수 전 범위에서 정확도가 떨어지는 것을 확인할 수 있으며, 최우도법의 경우 표본크기가 작은 경우를 제외하고 $-0.25{\leq}{\beta}{\leq}+0.5$ 범위에서 quantile 산정시 quantile이 약간 과다추정되는 경향이 있는 것을 알 수 있으며, 이는 분산이 과다 추정되는 결과를 초래하며 이로 인해 해석해보다 약간씩 큰 값을 나타내는 것으로 판단되었다..이 극단적인 선정적인 폭력성에 탐닉하게 되는 경향이 있다. 현실은 결코 아름답지 못하고, 행복하게 살 수 없다는 것에 대한 깨달음에서 기인한다. 욕구불만의 강도가 심해질수록 폭력성은 더욱 강하게 나타나는데 개인에게서 뿐만 아니라 가족, 동료, 사회 단체나 종교, 국가간에도 집단적으로도 발생하게 된다. 사회적으로 볼 때 폭력은 용인되는 것이 아니므로 도덕적으로 절제를 하거나 상대방과 적절한 타협과 조정을 필요로 한다. 그러나 절제의 한계를 넘어선다고 생각되거나, 조정의 노력이 불가능하거나, 실패했을 때 폭력적인 행동으로 나타나게 된다. 리차즈(I.A Richards)는 분노와 공포는 일단 겉잡을 수 없는 경향이 있다고 하면서 오늘날 폭력에 대한 요구가 일상의 정서 생활에 있어, 억압을 통한, 빈곤함을 반영하고 있지 않은지 생각해봐야 할 것이라고 충고한다. 조성 가이드라인(안)을 제시하였다.EX>$\ulcorner$세종실록$\lrcorner$(世宗實錄) $\ulcorner$지리지$\lrcorner$(地理志)와의 비교를 해보면 상 중 하품의 통합 9개소가 삭제되어 있고, $\ulcorner$동국여지승람$\lrcorner$(東國與地勝覽) 에서는 자기소와 도기소의 위치가 완전히 삭제되어 있다. 이러한 현상은 첫째, 15세기 중엽 경제적 태평과 함께 백자의 수요 생산이 증가하자 군신의 변별(辨別)과 사치를 이유로 강력하게 규제하여 백자의 확대와 발전에 걸림돌이 되었다. 둘째, 동기(銅器)의 대체품으로 자기를 만들어 충당해야할 강제성 당위성 상실로 인한 자기수요 감소를 초래하였을 것으로 사료된다. 셋째, 경기도 광주에서 백자관요가 운영되었으므로 지방인 상주지역에도 더 이상 백자를 조달받을 필요가 없이, 일반 지방관아와 서민들의

• Journal of Korea Water Resources Association
• /
• v.39 no.8 s.169
• /
• pp.659-668
• /
• 2006

The uncertainty of the risk of failure of hydraulic structures can be determined by estimating the variance of the risk of failure based on the methods of moments, probability weighted moments, and maximum likelihood assuming that the underlying model is the Gumbel distribution. In this paper, the variance of the risk of failure was derived. Monte Carlo simulation was peformed to verify the characteristics of the derived formulas for various sample size, design life, nonexceedance probability, and variation coefficient. As the results, PWM showed the smallest relative bias and root mean square error than the others while ML showed the smallest ones for relatively large sample siBes regardless of design life and nonexceedance probability. Also, it was found that variation coefficient does not effect on the relative bias and relative root mean square error.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.9
• /
• pp.289-304
• /
• 2022

It is necessary to apply process algebra and logic in order to analyze and verify safety requirements for Smart IoT Systems due to distributivity and mobility of the systems over some predefined geo-temporal space. However the analysis and verification cannot be fully intuitive over the space due to the fact that the existing process algebra and logic are very limited to express the distributivity and the mobility. In order to overcome the limitations, the paper presents a new logic, namely for GTS-VL (Geo-Temporal Space-Visual Logic), visualization of the analysis and verification over the space. GTS-VL is the first order logic that deals with relations among the different types of blocks over the space, which is the graph that visualizes the system behaviors specified with the existing dTP-Calculus. A tool, called SAVE, was developed over the ADOxx Meta-Modeling Platform in order to demonstrate the feasibility of the approach, and the advantages and practicality of the approach was shown with the comparative analysis of PBC (Producer-Buffer-Consumer) example between the graphical analysis and verification method over the textual method with SAVE tool.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1103-1111
• /
• 1996

The design of distrbuted systems is difficult to achieve as the execution patterns of distrbuted systems are typically more complex than those of non- distributed systems. Thus, research toward the development of design methods for distributed systems is quitely needed. As object-oriented systems and distrbuted systems share similar properties, the combination of these two is somehow natural. In this work, a design of distributed systems is introduced. The goal of the method in this paper is to provide assistance to the process of specifying a formal object- oriented specification from graphical representation specification inputs such as data flow diagrams, state transition diagrams and Petri nets. It addresses the extraction of objects, operations and reationshipsfrom the problem domain with emphasis on the specification of the characteristics of distributed systems. This object identification method is supported by a knowledge base that provides for the automated analysis and reasoning about objects and their relationsships. The final object model is represented in a format which provides a formal mechanism for reprsenting the object information.

• The Korean Journal of Financial Management
• /
• v.12 no.2
• /
• pp.239-271
• /
• 1995

본 연구는 현재 미국에서 거래되고 있는 세 가지 주가지수선물 상호간의 일중(intradaily) 가격선도(price leadership) 관계에 관한 실증분석이다. 본 연구가 기존의 연구와 다른점은, 기존의 연구가 주가지수선물과 그 기준이 되는 현물 가격사이의 가격 선도 관계에 초점을 두고 있는데 반하여 본 연구는 주가지수선물 시장 사이에서 존재하는 가격 선도관계를 분석하고 있다는 점이다. 실증 분석의 대상이 된 주가지수선물들은 Chicago Mercantile Exchange의 Standard and Poor's 500 Index(S&P 500), New York Futures Exchange의 New York Stock Exchange Composit Index (NYSE), 그리고 Chicago Board of Trade의 Major Market Index(MMI)이다. 만약 이들 시장들이 정보의 전달에 있어서 효율적(informationally efficient) 이라면 이들 가격간에 선도-지연(lead-lag) 현상은 존재하지 않을 것이다. 그러나 어느 한 시장이 새로운 정보를 선물가격에 반영하는데 다른 시장에 비해 상대적으로 느리다면, 이들 시장 상호간에는 가격의 전이(transmission)현상이 존재하게 될 것이다. 이들 선물간의 일중 가격선도 관계 연구는 이러한 시장의 효율성 문제를 밝히는데 의의가 있을 뿐만 아니라, 시장간의 단기적 가격 괴리를 이용하려는 차익거래자들에게도 유용하게 쓰일 수 있을 것이다. 본 연구는 위에서 언급한 각각의 주가지수선물들이 가격 선도성을 가질 수 있는 이유와 관련된 다음과 같은 세 가지 가설을 설정하였다. 첫째 가설은, 가격의 선도성은 거래량과 관련이 있다는 것이다. 즉, 이들 주가지수선물 중 가장 거래량이 많은 S&P 500 선물이 다른 선물을 선도할 것이라는 가설이다. 둘째, 가격의 선도성은 주가지수를 구성하는 주식의 수에 비례한다는 가설이다. 다시 말하면, 보다 않은 수로 구성된 주가지수일수록 정보처리 속도가 빠르다는 가설이다. 따라서, 본 연구에 포함된 주가지수선물 중 가장 많은 수의 주식을 대상으로 하는 NYSE 선물이 다른 선물을 선도할 것이다. 마지막 가설은 정보의 처리는 대형주 혹은 기관선호주(institutionally-favored)들이 주도한다는 것이다. 따라서, 주로 이와 같은 주식들로 구성 된 MMI 선물이 선도성을 가질 수 있다는 것이다. 위의 가설들을 검증하고 시장간의 가격 선도관계를 분석하기 위하여 본 연구는 vector autoregressive(VAR) 모형을 이용하여 충격-반응 함수(impulse response functions)를 계산하고, 분산분해(variance decomposition)를 수행하였다. 또한 가격 상호간에 존재할지도 모르는 공적분(cointegration)관계를 Johansen(1991)과 Jokansen and Juselius (1992) 등이 제시한 다변량 공적분 검정(multivariate cointegration test)를 통하여 분석하였다. 분석기간은 1986년 1월부터 1990년 7월까지이며, 각 주가지수선물들의 5분 간격 data를 사용하였다. 연구결과, 충격-반응 분석은 어느 한 시장에서의 충격(shock)은 다른 시장으로 매우 빠르게 전달되고 있음을 보여 주었다. 그러나 충격의 지속정도는 그 충격의 진원지에 따라 달랐다. 즉, NYSE나 MMI 선물로부터 발생 한 충격은 다른 시장의 가격에 5분 안에 반영을 끝냈지 만 S&P 500 선물에서 발생한shock은 그 이상 지속되었다. 또한, 분산분해 결과 S&P 500 선물이 자기자신 뿐만 아니라 다른 시장의 예상하지 못했던 움직임(unexpected movements)을 설명하는데 가장 큰 설명력(explanatory power)을 가지고 있었다. 결론적으로 S&P 500 선물이 다른 선물을 약 5분 간격으로 선도하였다. 이는 가격의 선도가 거래량과 밀접한 관계가 있음을 보여 주는 것이다.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2003.05a
• /
• pp.639-642
• /
• 2003

용융탄산염형 연료전지(MCFC)는 고효율의 환경친화성 발전시스템으로서, 더욱이 석탄가스를 연료로 사용할 수 있다는 점에서 전력사업용 발전시스템으로서 우리나라를 포함 각국에서 개발이 진행 중에 있다. 그러나 장래 이 MCFC는 하나의 발전시스템으로서 마이크로가스터빈 등의 소형 분산전원과의 경쟁관계에 놓이게 될 것이며, 따라서 적정규모의 경제성 및 신뢰성을 요구받게 될 것이다.(중략)

• The Journal of the Korea Contents Association
• /
• v.12 no.9
• /
• pp.357-368
• /
• 2012

The purpose of this study is to empirically examine the impact of enterprise R&D investment on international trade in Korea under the new Normal Era. In order to test whether the time series data of trade variables are stationary or not, we put in operation unit root test and cointegration test. Based on VECM (Vector Error Correction Model), we also apply impulse response functions and variance decomposition to estimate the dynamic effects in the short-run and long-run. The results show that the relationship between enterprise R&D investment and international trade (export and import) exists in the long-run as well as in the short-run. The results of applying impulse response functions and variance decomposition also indicate that the impact of enterprise R&D investment on international trade is positive, and a significant portion of fluctuations in the trade variable is explained by enterprise R&D investment. Therefore, enterprise R&D investment must be continuously increased to improve economic growth with promoting trading competition power in Korea under the new Normal Era.

• Journal of Science Education
• /
• v.41 no.1
• /
• pp.16-35
• /
• 2017

This study attempted to investigate the relationship among engineering students' creativity, engineering education accreditation, gender, and academic year. To be specific, fist, we examined the validity and reliability of the instrument for measuring engineering students' creativity by conducting Rasch analysis. Second, we compared level of creativity in terms of gender, academic year, and engineering education accreditation by using three-way ANOVA. Third, correlations among four constructs of creativity were examined. Fourth, latent classes with respect to creativity within the participants were identified using polytomous latent class analysis (poLCA). Data were collected from 2098 engineering students by using instrument for measuring four different constructs (creative cognition, creative tendency, collaboration, environment). By using Rasch analysis, validity and reliability of instrument for measuring creativity were confirmed. And the results of three-way ANOVA showed that there were significant difference in creativity in terms of gender. Female students showed the low level of creativity compared with male students. Also there were significant difference in creativity except creative cognition factor in terms of academic year. But there were no significant difference in creativity between students who participated engineering education accreditation program and the others. All constructs of creativity were significantly correlated with each others. Lastly, poLCA results showed that there were three distinct subgroups within engineering students in terms of the level of creativity. In the subgroup with low creativity, there were more female and first year students. Based on these findings, we discussed education for engineering students' creativity.

• KIPS Transactions on Software and Data Engineering
• /
• v.6 no.2
• /
• pp.103-116
• /
• 2017

In this paper, we present the design and implementation of a large-scale qualitative spatial reasoner, which can derive new qualitative spatial knowledge representing both topological and directional relationships between two arbitrary spatial objects in efficient way using Aparch Spark SQL. Apache Spark SQL is well known as a distributed parallel programming environment which provides both efficient join operations and query processing functions over a variety of data in Hadoop cluster computer systems. In our spatial reasoner, the overall reasoning process is divided into 6 jobs such as knowledge encoding, inverse reasoning, equal reasoning, transitive reasoning, relation refining, knowledge decoding, and then the execution order over the reasoning jobs is determined in consideration of both logical causal relationships and computational efficiency. The knowledge encoding job reduces the size of knowledge base to reason over by transforming the input knowledge of XML/RDF form into one of more precise form. Repeat of the transitive reasoning job and the relation refining job usually consumes most of computational time and storage for the overall reasoning process. In order to improve the jobs, our reasoner finds out the minimal disjunctive relations for qualitative spatial reasoning, and then, based upon them, it not only reduces the composition table to be used for the transitive reasoning job, but also optimizes the relation refining job. Through experiments using a large-scale benchmarking spatial knowledge base, the proposed reasoner showed high performance and scalability.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.1
• /
• pp.183-190
• /
• 2012

This study constructs an expert search system which has a mutual cooperation function based on thesis and author profile. The proposed methodology is as follows. First, we propose weighting method which can search a keyword and the most relevant keyword. Second, we propose a method which can search the experts efficiently with this weighting method. On the preferential basis, keywords and author profiles are extracted from the papers, and experts can be searched through this method. This system will be available to many fields of social network. However, this information is distributed to many systems. We propose a method using multi-ontology to integrate distributed data. The multi-ontology is composed of meta ontology, instance ontology, location ontology and association ontology. The association ontology is constructed through analysis of keyword association dynamically. An expert network is constructed using this multi-ontology, and this expert network can search expert through association trace of keyword. The expert network can check the detail area of expertise through the research list which is provided by the system.