프로세스 알제브라를 이용한 하드웨어 논리 회로의 검증

전준규(Jun-Kyu Jeon),최진영(Jin-Young Choi),변석우(Seok-Woo Byeon) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A

본 논문은 프로세스 알제브라의 일종인 ACSR-VP를 이용해서 하드웨어 설계를 정형적으로 검증하는 방법을 제시하고 있다. ACSR-VP는 ACSR에 값 전달(Value passing)과 동적 우선순위를 추가한 정형기법의 하나이다. 해저드(Hazard)는 회로를 통과하면서 발생하는 지연으로 인해 회로의 출력신호에서 순간적으로 비정상적인 변화를 일으킬 가능성을 가진 것을 말한다. 본 논문에서는 해저드를 갖고 있는 회로를 ACSR-VP로 명세해서 VERSA로 검증하는 방법을 기술하고 있다.

우리나라 모기지론의 조기상환모형에 대한 실증연구

전준규 ( Jun Kyu Jeon ),김천규 ( Chun Kyu Kim ) 한국재무관리학회 2011 財務管理硏究 Vol.28 No.4

본 연구에서는 국내 모기지론의 통계적 조기상환모형인 PSA 모형과 경제적 조기상환모형인 풀별 선형모형과 풀별 비선형모형을 추정하고, 모형의 적합성을 검증하였다. 주요 실증분석 결과는 다음과 같다. 첫째, 통계적 조기상환모형인 PSA 모형에 의하면, 우리나라 모기지론의 조기상환율은 발행일로부터 최초 1개월 동안 약 7.8%가 되고, 이후 11개월까지 매달 1.02%씩 상승하여 19% 정도에서 안정화를 보인 후 다시 58개월 후부터 급속히 증가되는 것을 확인할 수 있었다. 이것은 원점에서 시작하여 30개월까지 매월 0.2%씩 증가한 후 6%에서 안정화되는 미국과는 다른 형태를 나타냄을 알 수 있다. 또한 우리나라 모기지론의 조기상환율은 발행연도별로, 월별로 상이한 형태를 나타내었다. 둘째, 경제적 조기상환예측 모형으로. 모기지론 풀별 선형모형과 비선형 모형을 추정하였다. 종속변수로 조건부 조기상환율(CPR)을 사용하고, 설명변수로 조기상환율에 영향을 미치는 요인들을 고려하여 차환유인, 성숙화, 일반적인 경제상황, 계절 요인을 반영하는 변수를 선정하여 풀별 선형 및 비선형 최적모형을 구축하였다. 셋째, 구축한 조기상환율을 예측하는 최적모형을 이용하여 한국주택금융공사가 발행한 2006-1, 2007-3, 2008-5, 2009-8회차를 대상으로 실제의 조기상환율과 추정된 조기상환율의 평균의 차이에 대한 이분산 t-검정을 실시하여 추정한 최적모형의 적합성을 검정한 결과, 우리나라 모기지론의 조기상환율을 예측하는 모형으로는 풀별 선형모형이 비선형모형보다 더 적합하다고 할 수 있다. This study estimated the mortgage loan prepayment model of Korea-the PSA Model based on statistical relationship and pool linear model and pool non-linear model based on economic factors and then appraised the suitability of each model. The sample covers the monthly data of mortgage loan which is MBS`s underlying assets issued by Korea Housing Finance Corporation for the period from 2004 to November 2010. Empirical results are summarized as follows. First, according to the PSA Model, the prepayment rate of mortgage loan becomes 7.8% for the frist month, gradually increases at the rate of 1.02% per month for the next during 11 months when it reaches 19%, and then after showing the stabilization of this proportion until next 58 months, radically enlarges. This shows that the pattern of the prepayment made in Korean mortgage loan market is different from that made in American mortgage loan market, which shows that the prepayment rate gradually increases at the rate of 0.2% per month from the date of issue to the next 30 months, and then becomes stabilized at the point of 6%. Also, Korean prepayment rate has some differentials, as influenced on issuing year and month. Second, we developed pool linear and nonlinear prepayment model based on economic factors.To make the most suitable pool linear and non-linear model, the conditional prepayment rate is used as a dependent variable and refinancing incentive, seasoning, the general state of economy, and the seasonal effect as influencing a dependent variable, are used as exogenous variables. Last, To decide which model is more suitable for the prediction of real prepayment rate, we tested heteroscedasticity t-test for the difference of average prepayment rate using the data of MBS issued in 2006-1, 2007-3, 2008-5 and 2009-8 by Korea Housing Fiannce Corporation. As the result, pool linear model is suitable all cases but pool non-linear model indicates mixed results. Therefore, it is thought that pool linear model is even more appropriate to estimate the prepayment rate than pool non-linear model in Korean mortgage loan market.

채권의 볼록성과 시간가치가 기대 투자수익률에 미치는 영향에 대한 연구

임윤수(Yoon Soo Lim),전준규(Jun Kyu Jeon) 충남대학교 경영경제연구소 2011 경영경제연구 Vol.33 No.2

일반적으로 채권의 볼록성은 투자수익률에 유익한 영향을 미치리라는 입장에서 상대적으로 볼록성이 작은 뷸랫 포트폴리오를 매도하고 변동성이 큰 바벨 포트폴리오를 매입하는 변동성 매입전략을 추천한다. 그러나 이러한 주장은 수익률 변화가 정태적이고 확정적인 상황에서의 분석 결과에 기초한 것으로 확률적 지배관계를 인정하는 입장이다. 그러나 수익률 변화가 확률적인 경쟁적 시장에서는 그러한 상태의 존재는 불가능하다. 이를 규명하기 위해 보다 현실적인 동태적 확률 수익률과정을 전제로 하여 본 연구에서는 채권의 볼록성이 무차익 균형 상태에서는 균형 수익률의 감소를 가져오게 됨을 보이고, 그로 인해 볼록성과 시간가치가 채권의 기대 투자수익률에 미치는 영향을 이론적으로 도출하였다. Most straight bonds(ones with no imbedded options) have a convex price-yield curve. In general it is believed bonds with high convexity are desirable than bonds with low convexity. So buying convexity strategy, which buys barbell portfolio with high convexity and simultaneously sells bullet portfolio with low convexity, is often recommended. This imply the existence of stochastic dominance relationship i.e. the opportunity of arbitrage, which is not possible in the competitive markets. In particular Hull(2005) described the effect of the convexity on the performance of bond investments to result in the stochastic dominance relationship in Fig. 5.3. The purpose of this study is to explain the performance of two portfolios using the stochastic differentiation technique(Ito,s lemma) introduced recently in finance. We can consider both time and risk dimension with this technique to analyse the rngl world which the traditional approach lackrman. This study uses a single factor stochastic ir both rate profors to find the equilibrium yield. In summary because the convexity is not free it must be reflected to decrease the equilibrium yield which is used to discount the bond‘s cashflows so to increase the current price. This study shows the result under the condition of no arbitrage, which means the stochastic dominance relationship can not exist.

프로세스 알제브라를 이용한 디지털 논리화로의 검증

전준규,최진영 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

정형기법은 수학과 논리학을 이용하여 하드웨어 및 소프트웨어 시스템을 설계하고 검증하는데 사용되어져왔다. 정형기법은 수학과 논리학에 기반을 두고 있으므로 시스템을 묘사하는데 있어서 애매모호하지 않고, 설계된 시스템이 처음에 의도된 요구 사항과 동일한가를 수학적 성질을 이용하여 증명할 수 있다. ACSR-VP는 프로세스 알제브라 ACSR에 값 전달(value passing)과 동적 우선순위를 추가한 정형기법의 하나이다. 논문에서는 디지털 논리회로의 정형검증을 위하여 프로세스 알제브라의 일종인 ACSR-VP를 이용하는 방법을 제시한다. 특히 해저드(hazard)는 회로를 통과하면서 발생되는 지연으로 인해 회로의 출력신호에서 순간적으로 비정상적인 변화를 일으킬 가능성을 가진 것을 말하는데 이에 대한 검증 방법을 논한다. Formal methods have been used to design and verify hardware and software systems. Because they are based on mathematics and logics, we can describe a system without ambiguity and prove the equivalence between the implementation of the system and the requirements of the system by the mathematical properties of formal methods. ACSR-VP is an extension of ACSR with value-passing mechanism and dynamic priorities. In this paper, we represent how to specifiy and verify digital logic circuit using one of formal methods, called ACSR-VP. Especially, hazard means the possibility of abnormal output which occurs due to the delays of the inverter and wires, during a transition, so we discuss about it.

주가지수선물가격과 거래량간의 선형 인과관계 검증

전준규 충남대학교 경상대학부설 경영경제연구소 1998 경영논집 Vol.14 No.1

본 연구에서는 한국의 주가지수선물시장에서 선물가격과 거래량간의 인과관계를 검증하여 거래량이 주가지수선물시장에서 선물가격의 움직임을 예측하는 투자지표로서의 역할을 수행할 수 있는가를 분석하였다. 주가지수선물시장이 개설된 1996년 5월 3일부터 1998년 2월 23일까지의 일일 선물종가와 거래량 자료를 이용하여 시계열자료의 안정성 검증을 위한 단위근 검정과 그랜져 인과성 검증방법을 사용하여 선물가격과 거래량간의 인과관계를 검증하였다. 검증결과 주가지수옵션시장이 개설되기 이전에는 거래량변화율이 선물수익률에 일방적인 영향을 미쳐 거래량이 선물가격의 움직임을 예측할 수 있는 투자지표로서의 역할을 수행하였으나, 주가지수옵션시장이 개설된 이후의 기간에서는 선물수익률과 거래량간에 아무런 인과관계가 존재하지 않아 주가지수옵션시장이 개설된 이후에는 주가지수선물시장에서 거래량이 투자지표로서의 역할을 수행하지 못하였다.

資本市場 開放에 따른 證券市場 發展方向에 대한 硏究

全俊圭 충남대학교 경상대학부설 경영경제연구소 1990 경영논집 Vol.6 No.2

주식매입선택권(stock option)제도에 대한 고찰

임윤수,전준규 충남대학교 경상대학부설 경영경제연구소 1997 경영논집 Vol.13 No.2

주식매입선택권제도는 벤처기업 및 중소기업을 육성하고 우리 기업의 경쟁력을 향상시키기 위하여 1997년 4월부터 도입된 제도로, 기업의 임직원에 대하여 경영성과의 향상에 기여하도록 하는 동기부여 내지는 보상제도의 일종이다. 그러나 아직 주식매입선택권제도에 대한 기업들의 인식부족과 이 분야에 대한 연구의 미비로 활성화가 이루어지지 못하고 있다. 이와 같은 시점에서 보다 많은 기업들이 주식매입선택권제도를 활성화하도록 하기 위하여 주식매입선택권제도의 의의, 도입에 따른 효과, 구체적인 도입절차 및 제도의 내용, 현재의 세제지원 현황, 도입시점에서의 고려사항등을 살펴보고, 현재까지 주식매입선택권을 도입한 기업의 현황을 조사·분석하였으며, 주식매입선택권제도를 도입한 기업이 기대되는 효과를 달성할 수 있도록 추가적인 중요한 조치사항을 제시하였다.