• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.846-858
• /
• 1997

Despite elaegant semantics and a lot of features, pure functional programming languages do not provide an affcient way of represnting states.Many researches have been done to resolve the problem, however, another problem arises that it is hard to implement becaese of the complex type system and redujction rule.Therefore, the scheme which simplifies the reduction rule and maintains states effciently is needed to have the implemen-taiton dffetive.This paper proposes st-calculus, the excution model of a functinal language with states and proves that the proposed model satistiies the church-Rosser theorem.It has simple reduction rules and the ability of rerpresenting states without, and the difficulties with implementation may be reduced by simplifving the reduction rules.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2006.05a
• /
• pp.1975-1979
• /
• 2006

본 연구의 목적은 국내 홍수예경보의 일부로 사용되고 있는 유역 및 하도 저류함수모형을 칼만필터를 이용하여 실시간 홍수추적에 적합한 추계동력학적 저류함수모형으로 개발하여 그 적용을 평가하는데 있다. 기존의 저류함수모형과 본 연구의 추계동력학적 모형의 적용을 위해 낙동강 유역내의 감천 유역 중 김천 수위지점 상류유역을 선정하였다. 유출분석을 위해 김천 수위지점 상류유역을 3개의 소유역으로 구분하였고, 2002년 8월에서 2003년 8월 사이에 발생한 3개의 주요 호우사상을 선정하였다. 면적강우는 감천유역 내외에 존재하는 9개 강우관측소로부터 Thiessen 방법을 이용하여 계산하였고, 모형에 사용된 매개변수는 호우사상별로 기존의 저류함수모형의 관측치를 잘 모의하는 값을 사용하였다. 두 모형의 유출해석 결과를 도식적 및 통계적으로 분석한 결과 본 연구에서 개발된 추계동력학적 유역 및 하도 저류함수모형이 모형 효율성 계수는 $0.94{\sim}0.96$, 유출용적 및 첨두유량 오차는 10% 내외를 보이며, 기존의 모형보다 정확한 유량예측이 가능한 것으로 나타났다.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• The Korean Journal of Applied Statistics
• /
• v.7 no.2
• /
• pp.113-130
• /
• 1994

The algorithm of Oh and Berger (1993) is extended to handle more general cases where the integrand $f(\theta)$ is not only multimodal but also skewed or has some undetected modes, each having curvature not much different from that of the nearest component. It runs Oh and Berger's algorithm in an iterative way, adding a component in each stage to the mixture importance function from previous stage for better approximation between $f(\theta)$ and the importance function.

• Journal of Digital Convergence
• /
• v.17 no.5
• /
• pp.117-125
• /
• 2019

This study measured inefficiencies of Korean banks with weighted Russell directional distance function, WRDDM, for the years of 2004-2013. Checking contributions of inputs and outputs to these inefficiencies, we found that non-performing loan as undesirable output was the most influential factor. The annual average of inefficiencies of Korean banks was 0.3912, and it consisted of non-performing loan 0.1883, output factors 0.098 except non-performing loan, input factors 0.098. The annual average inefficiency went sharply up from 0.2995 to 0.4829 mainly due to the sharp increase of inefficiency of non-performing loan from 0.1088 to 0.2678 before and after 2007-2008 Global financial crisis. We empirically showed the non-performing loan needed to be considered since it was the most important factor among the influential factors of technical inefficiency such as manpower, total deposit, securities, and non-performing loan. This study had some limitation since we did not control financial environment factor in WRDDM.

• Proceedings of the KAIS Fall Conference
• /
• 2009.12a
• /
• pp.254-258
• /
• 2009

본 연구는 우리나라와 세계 주요국의 이동통신서비스기업들의 자료를 이용하여 개별기업별 효율성을 측정하고 이로부터 해당 기업들의 국제 경쟁력 수준을 비교하고자 하였다. 이를 위하여 함시창 (2006)의 방법론을 이용하여 각 기업의 트랜스로그비용함수를 추정하였으며 추정된 함수들로부터 규모의 경제성 시현 여부를 파악하고 X-비용효율성(X-cost efficiency)을 계산하였다. 연구결과 이동통신기업들은 규모의 경제성을 시현하고 있는 것으로 추정되었으며, 우리나라의 이동통신 기업들은 외국의 이동통신기업들에 비해 상당히 높은 수준의 비용 효율성을 보이고 있음을 알 수 있었다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.317-317
• /
• 2014

본 연구에서는 이종접합 태양전지의 효율 증가를 위해서 초박 두께의 LiF 유전체 층을 후면에 증착하였다. 유전체 LiF층은 금속 전극의 Schottky barrier와 일 함수를 dipole moment를 통해 낮추게 되고 더 높은 전하 주입을 유도하여 장파장대에서 양자 효율을 높인다. 최적화된 20nm 두께의 LiF층은 후면에 ITO가 증착된 이종접합 태양전지와 ITO가 없는 태양전지에 각각 적용하였다. ITO층이 없는 이종접합 태양전지는 690 mV의 개방전압, 33.62 mA/cm2의 단락전류와 17.13 %의 효율을 보였으며 ITO층이 증착된 태양전지에서는 688 mV의 개방전압, 32.73 mA/cm2의 단락전류 그리고 16.83%의 효율을 보였다. QE와 단락전류에서의 개선은 장파장대에서의 광전하 수집이 기인한 것으로 보인다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.205-209
• /
• 2000

본 논문에서는 시소러스를 효율적으로 구축하고 사용할 수 있는 시소러스 저장 구조를 구현하였다. 정보 검색 시스템은 사용자의 질의어를 용어들과 용어들 사이에 관계 집합으로 구성된 일종의 용어 사전인 시소러스를 이용하여 문헌에 대한 색인과 검색을 정확하고 통제된 용어 형태로 바꾸어 색인과 검색 작업의 효율을 높인다. 데이터베이스에 저장된 시소러스 구조에서 시소러스 검색을 할 때 속도가 감소하는데 이를 해시함수를 이용한 리스트 구조를 이용함으로써 전체적인 시소러스 검색 속도의 증가를 기대할 수 있다. 또한 현재 데이터베이스 형태의 시소러스를 다른 곳에 이식하려면 데이터베이스 시스템이 있어야 한다. 따라서 메모리에 올릴 수 있는 구조를 가지면 시소러스 보급에 기여할 수 있다. 본 논문에서 제안한 데이터베이스에 저장된 시소러스 구조와 해시함수를 이용한 리스트 구조를 비교, 분석하고 보다 더 효율적인 시소러스의 역할 및 구조 형태에 대해 제안한다.

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.205-209
• /
• 2000

본 논문에서는 시소러스를 효율적으로 구축하고 사용할 수 있는 시소러스 저장 구조를 구현하였다. 정보 검색 시스템은 사용자의 질의어를 용어들과 용어들 사이의 관계 집합으로 구성된 일종의 용어 사전인 시소러스를 이용하여 문헌에 대한 색인과 검색을 정확하고 통제된 용어 형태로 바꾸어 색인과 검색 작업의 효율을 높인다. 데이터베이스에 저장된 시소러스 구조에서 시소러스 검색을 할 때 속도가 감소하는데 이를 해시함수를 이용한 리스트 구조를 이용함으로써 전체적인 시소러스 검색 속도의 증가를 기대할 수 있다. 또한 현재 데이터베이스 형태의 시소러스를 다른 곳에 이식하려면 데이터베이스 시스템이 있어야 한다. 따라서 메모리에 올릴 수 있는 구조를 가지면 시소러스 보급에 기여 할 수 있다. 본 논문에서 제안한 데이터베이스에 저장된 시소러스 구조와 해시함수를 이용한 리스트 구조를 비교, 분석하고 보다 더 효율적인 시소러스의 역할 및 구조 형태에 대해 제안한다.

• KDI Journal of Economic Policy
• /
• v.17 no.2
• /
• pp.91-126
• /
• 1995

본고에서는 우리나라의 수출수요함수(輸出需要函數) 추정(推定)에 있어서 1) 통상적으로 많이 사용되고 있는 수출단가지수(輸出單價指數) 대신 수출물가지수(輸出物價指數)를 이용하고, 2) 공적분(共積分)벡터의 추정에 있어서 Engle and Granger(EG)의 정태적(靜態的) OLS 대신 효율적(效率的) 추정법(推定法)(efficient estimator)을 이용하여 수출(輸出)의 소득(所得) 및 가격탄성치(價格彈性値)를 추정(推定)하고자 하였다. 추정결과(推定結果) 소득탄성치(所得彈性値)는 어느 경우에나 큰 차이가 없었으나 가격탄성치(價格彈性値)에 있어서는 큰 차이가 발견되었다. 즉 수출단가(輸出單價)를 EG방법(方法)으로 추정(推定)한 경우에는 비탄력적(非彈力的)인 것으로, 수출물가(輸出物價)를 이용한 경우에는 단위탄력성(單位彈力性)을 갖는 것으로, 그리고 효율적(效率的) 추정법(推定法)을 이용한 경우에는 매우 탄력적(彈力的)인 것으로 판명되었다. 또 EG 방법을 이용한 경우에는 공적분관계(共積分關係)의 존재가 부정되었으나 효율적(效率的) 추정법(推定法)을 이용한 경우에는 유의(有意)한 공적분관계(共積分關係)가 존재하는 것으로 나타났다.