• Strategy21
• /
• s.34
• /
• pp.207-235
• /
• 2014

이 논문의 목적은 해군력 개량화를 소개하고 그 활용에 대하여 제안함에 있다. 어떻게 하면 여러 국가 간의 다양한 분쟁에 대한 해군력의 효과를 효과적으로 이해할 수 있을까? 혹은, 어떻게 하면 다양한 해군력의 나라별, 시간별 변화를 이해를 할 수 있을까? 지금까지 많은 학자들이 해군력의 변화와 그 변화에 따른 해군력이 분쟁에 미치는 영향을 규명하려고 많은 노력을 해왔다. 그 중의 한 방법이 정성적인 방법이나 아직 정량적인 시도는 매우 적다. 이 글은 해군력을 정량화하는 방법과 그 데이터를 이용하여 여러 기존 이론을 검증하고 여러 다른 연구주제를 연구하는데 어떻게 이용이 될 것인지를 소개를 하는 글이다. 본 논문의 주요 쟁점은 다음과 같다. 첫째, 계량화적 접근이란 무엇인가에 대해 논의 해 본다. 계량화란 무엇이며 정성적인 방법과의 차이는 무엇인지를 통해 정량화의 이용 가치에 대해 논의해 본다. 둘째, 해군력의 정량화이다. 해군력의 정량화를 위해 어떠한 기준들을 세우고, 그 기준에 따라 함정들을 코딩하고 톤수를 세는 과정을 설명한다. 셋째, 정량화된 해군력을 바탕으로 동북아시아 국가들의 해군력 변화를 서술적으로 분석한다. 이제 주어진 해군력 데이터(주요 함정의 톤수)를 가지고 각 동북아 국가별 시간별로 어떠한 변화를 거처 왔고, 각 분쟁들 (1,2차 세계대전 등)에는 어떠한 상관관계가 있는지를 단순통계적 방법을 이용하여 알아본다. 넷째, 해군력의 변화가 경쟁국가 간의 전쟁 발발에 있어서 어떤 영향을 미치는 지에 대하여 통계적인 방법을 이용하여 검증해 본다. 묘사적인 방법은 다른 요소들에 대한 통제가 이루어 지지 않아, 정확히 해군력과 경쟁국가 간의 전쟁에 대한 인과적인 관계를 증명하기에는 한계가 있다. 따라서, 다른 경쟁적 이론들을 (예를 들어 민주평화론 등) 통제하여 해군력이 숙적국가 간의 전쟁 발발에 미치는 영향을 검증하였다. 상호 해군력의 증가는 경쟁국가 간에는 전쟁을 덜 일으키는 요인으로 작용하였으며, 이는 해군력이 경쟁국가 간에는 억제력이 있다고 추론 할 수 있다. 궁극적으로 해군력의 영향에 대한 정량적인 접근은 기존 연구의 검증, 미래 예측, 국가의 정책결정자들에게 보다 신뢰가 가는 자료를 제공하는 장점들이 있다. 이러한 장점들을 바탕으로 해군력의 영향에 대한 연구는 분쟁분야에 있어서 학술적이나 실용적인 측면에서 많은 이점이 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.77-86
• /
• 1996

In managing a certain database, the integrity of data is very important. The important. The integrity constrains thus should be considered carefully when a database is designed and, after the database is created, it is required for a database manager to check continuously if some data contained in the database violate the integrity constraints considered. It is however not easy to check the violateion of integrity constraints when the size and the complexity of database are increased. This paper suggests a rule-based database verification system to relax the difficulty of checking the integrity violation, in which a database is coupled with a rule-based system including the knowledge about the integrity constraints. The rule-database verification system suggested accepts the model descriptions of an application domain, generates the knowledge base consisting of rules and facts by analyzing the model description and proceeds the verification process to check the integrity of the database.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.17 no.6
• /
• pp.1113-1120
• /
• 2022

In this paper, a communication methodology for the digital FRTU(: Feeder Remote Terminal Unit) required by the smart grid distribution system was studied. The digital FRTU consists of a fault handling unit and a communication unit. The fault handling unit transmits fault information to the communication unit in case of a failure, and the communication unit is designed to autonomously determine the fault section through two-way communication between surrounding digital FRTUs. For performance verification, a performance verification system consisting of 3 line sections based on 3 digital FRTUs was constructed to enable fault simulation for various failure scenarios. Various fault cases including one phase ground fault, line-to-line short-circuit fault, and three-phase short-circuit fault were experimentally simulated on the established performance verification system, and the validity of the developed methodology was confirmed by proving the accurate fault section inference results for each fault simulation case.

• Journal of Korean Library and Information Science Society
• /
• v.44 no.1
• /
• pp.385-408
• /
• 2013

The purpose of this study is to build the tax ontology which can be used to manage imposables by the state or local governments. In this, the tax and related concepts were analyzed and then concept hierarchy i.e., taxonomies were formed. Especially, in the concept hierarchy, after multiple inherits were decomposed as 'primitive concepts' and then Rector's 'methodology of ontology implementation normalization', in which defined concepts were recombined, was used. The methodology employed was that the tax system, which was entangled with the direct taxes, local taxes, and property taxes that has multiple-inherits, was expressed explicitly and logically. After that, automatic classification was carried out through the inference engine, consistency was verified. Finally, some practical cases of ontology created were enumerated.

• The Korean Journal of Financial Studies
• /
• v.9 no.1
• /
• pp.119-144
• /
• 2003

본 연구에서는 1997년부터 2001년 기간 동안 증권거래소와 KOSDAQ 시장에서 액면분할을 실시한 기업을 대상으로 액면분할의 이사회 공시일을 사건일로 하여 사건일 전후 30일간의 주가, 유동성 지표, 기업수익성 지표 등을 이용하여 액면분할 공시에 따른 시장의 반응을 분석하고, 아울러 액면분할의 신호효과와 유동성 효과를 검증하였다. 본 연구에 이용된 자료는 검증기간 동안 다른 정보의 유입이 없는 순수자료를 이용하여 거래소 상장기업 72개와 KOSDAQ 100개 기업이 최종적으로 표본에 선정되었다. 본 연구에서 액면분할을 실시한 기업들은 두 시장 모두에서 대체로 양의 초과수익률을 나타내었고, 분할비율이 높을수록 양의 초과수익률이 상대적으로 더 강하게 지속되었다. 이런 결과는 미래 기업수익이 호전된다는 신호를 보내기 위하여 액면분할을 실시한다는 신호효과로 인한 것이 아니며, 동시에 고주가의 주식이 액면분할로 투자자금에 제약이 있는 투자자가 투자 가능한 저주가로 전환됨으로써 유동성의 증대를 가져온 결과라고 보기에도 무리가 있다. 액면분할이라는 그 자체가 논리적 근거도 없이 투자자에게 호재로 받아들여져 거래량의 증가를 가져왔다고 판단된다. 이런 현상은 KOSDAQ 시장에서 더욱 확연하게 나타났는데, 1997년부터 2001년까지의 분석기간 중에 KOSDAQ 시장의 무분별한 투기적 열풍이 이런 현상의 원인을 제공한 것이라고 추론된다. 액면분할이 한국시장의 투자자에게 호재로 받아들여진 것에는 액면분할 이후 대체로 주가가 양의 초과수익률을 나타내는 경우가 있었다는 과거의 경험적 사례가 작용한 것으로 아니가 예상된다.

• Annual Conference on Human and Language Technology
• /
• 2022.10a
• /
• pp.427-430
• /
• 2022

추천시스템에서 콜드스타트 문제를 해결하기 위해 다양한 연구들이 진행되고 있다. 하지만, 대부분의 연구는 아직도 사용자 기반의 히스토리 데이터셋을 반드시 필요로 하여, 콜드스타트 문제를 완벽히 해결하지 못하고 있다. 이에 본 논문은 콜드스타트 문제를 완화할 수 있는 기저속성 기반의 추천시스템을 제안한다. 제안하는 방법론을 검증하기 위해, 직접 수집한 한국어 영화 리뷰 데이터셋을 기반으로 성능을 검증하였으며, 평가 결과 제안한 방법론이 키워드와 사용자의 리뷰 점수를 효과적으로 반영한 추천시스템임을 확인할 수 있었고, 데이터 희소성 및 콜드스타트 문제를 완화하여 기존의 텍스트 기반 랭킹 시스템의 성능을 압도하는 것을 확인하였다. 더 나아가 제안된 기저속성 추천시스템은 추론 시에 GPU 컴퓨팅 자원을 요구하지 않기에 서비스 측면에서도 많은 이점이 있음을 확인하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.630-632
• /
• 1998

본 논문에서는, Multi[le-Buffered a$\times$a Crossbar 수위치의 성능 분석 모형을 제안하고 스위치에 장착된 buffer 의 개수의 중가에 다른 성능 향상 추이를 분석하였다. buffered스위치 기법은 다수 데이터 패킷을 동시에 전송할 때 네트웍에서 발생되는 충돌문제를 효과적으로 해결할 수 있는 방법으로 널리 알려져있다. 제안된 성능 예측 모형은 스위치 입력 단에 유입되는 데이터 패킷이 buffered 스위치 내부에서 전송되는 유형을 확률적으로 분석하여 수립되었다. 모형의 수학적 복잡도 해결을 위하여 확률 식 유도 과정 등에 steady state 개념을 도입하였다. 제안한 모형은 스위치 크기 및 스위치에 장착된 buffer의 개수와 무관하게 buffered a$\times$a 크로스바 스위치의 성능 예측을 가능케 하고, 나아가서 이들로 구성된 다층 연결 망의 성능 분석에 확대 적용이 가능하다. 제안한 수학적 성능 분석 연구는 실효성 검증을 위하여 병행된 시뮬레이션 결과는 미세한 오차 범위 내에서 모형의 예측 데이터와 일치하는 결과를 보여 분석 모형의 타당성을 입증하였다. 또한, 분석 결과 스위치에 소수의 버퍼를 장착했을 때, throughput이 크게 증가하지만, 네 개 이상의 버퍼를 장착되는 버퍼의 개수가 네 개 정도일 경우 가격 대 성능비가 우수한 것으로 추론되었다.

• Magazine of the Korea Concrete Institute
• /
• v.3 no.4
• /
• pp.89-96
• /
• 1991

The maintenance techniques of reinforced concrete structures, which include diagnosis, repair and rehabilit¬ation, are not systematically establishtxL This study develops an expert system for maintenance of reinforced concrete structures based on the related documents and knowledge and experience of experts who work in these field. The analytical results using the developed expert system were compared to the real repair cases in field and they were generally satisfactory.

• Publications of The Korean Astronomical Society
• /
• v.6 no.1
• /
• pp.1-15
• /
• 1991

원반 및 해일로의 이중역 (two-zone) 모형을 바탕으로하여 나선은하의 화학적 진화 모형을 만들었다. 모형의 검증을 위하여 구체적인 수치계산을 수행하고 그 결과를 태양 부근에서 관측된 중원소 분포 등, 화학적 진화와 관련된 제반 관측 사실과 비교함으로써 은하계의 진화를 추론하였다. 모형의 수치계산 결과에 의하면 나선은하의 화학적 진화는 헤일로외 붕괴 과정과 별탄생율에 크게 의존하며, 원반의 초기질량함수와 별탄생율에 따라 서로 다른 양상을 보인다. 태양 부근 원반의 중원소 분포 등을 성공적으로 설명할 수 있는 진화 모형에서, 별탄생율은 가스의 질량 또는 표면밀도의 멱승에 비례하거나 시간에 따라 단조 감소하는 지수함수로써 표현되며, 초기질량함수는 헤일로에서는 다양한 형태의 함수 모두로써 가능하지만, 원반의 경우에는 시간에 따라 변화하는 질량함수를 채택하여야 한다. 우리 은하의 헤일로의 고속붕괴 모형에서는 시간에 따라 지수함수로 변화하는 별탄생율이 관측과 부하되지만, 반면 저속붕괴의 경우에는 가스 질량의 멱함수로 표현되는 별탄생율이 관측과 부합된다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2016.06a
• /
• pp.35-36
• /
• 2016

본 논문에서는 기존 Bag-of-Visual words (BoW) 접근법에서 반영하지 못한 이미지의 공간 정보를 활용하기 위해서 Spatial Pyramid Matching (SPM) 기법을 Latent Dirichlet Allocation (LDA) 모델에 결합하여 이미지를 분류하는 모델을 제안한다. BoW 접근법은 이미지 패치를 시각적 단어로 변환하여 시각적 단어의 분포로 이미지를 표현하는 기법이며, 기존의 방식이 이미지 패치의 위치정보를 활용하지 못하는 점을 극복하기 위하여 SPM 기법을 도입하는 연구가 진행되어 왔다. 또한 이미지 패치를 정확하게 표현하기 위해서 벡터 양자화 대신 희소 부호화 기법을 이용하여 이미지 패치를 시각적 단어로 변환하였다. 제안하는 모델은 BoW 접근법을 기반으로 위치정보를 활용하는 SPM 을 LDA 모델에 적용하여 시각적 단어의 토픽을 추론함과 동시에 multi-class SVM 분류기를 이용하여 이미지를 분류한다. UIUC 스포츠 데이터를 이용하여 제안하는 모델의 분류 성능을 검증하였다.