A Model on Credit Analysis: Combining A First Passage Model and Survival Analysis for Corporate Default

조승모 예금보험공사 2013 金融安定硏究 Vol.14 No.1

In this paper, we offer a new set of credit analysis models combining two traditional approaches of corporate default prediction: the survival analysis approach and the structural model approach. We first derive a modified version of the Black and Cox (1976) first passage model (a structural model) and estimate its model parameters based on the Miyake and Inoue (2009) method originally applied to parameter estimation for the Merton (1974) model(another structural model). And then based on the previous literature and various statistical techniques, we select some significant factors affecting corporate default and construct various survival analysis regression models with those factors including or excluding our first passage model as an independent variable. And by comparing our new combined models (the survival analysis regression models including the first passage model as an independent variable) with their corresponding plain models (the survival analysis regression models excluding the first passage model as an independent variable), we conclude that our new combined models are superior to their counterparts. And finally, by comparing those superior models, we propose a single best-fitting combined model for corporate default: an accelerated failure time model by Kalbfleisch and Prentice (1980) under the Weibull distribution with our modified Black and Cox (1976) model as an independent variable.

임직원 근로조건과 기업생존

조승모 강원대학교 경영경제연구소 2018 Asia-Pacific Journal of Business Vol.9 No.4

This paper empirically analyzes how working conditions of employees and executives affectKorean companies’ survival. To this end, a survival analysis based on the accelerated failuretime model is conducted from the end of December 2012 to the end of September 2018 onthe 2012 year-end financial data for corporations whose common stocks have ever been listedeither in the KOSPI market or in the KOSDAQ market with fiscal year ending at the end ofDecember. The analysis shows that the average wage level per employee and the number ofexecutives relative to the number of employees threaten while the average duration of servicefor female employees prolongs firm survival. Here, the average wage level per employee hasturned out to worsen firm survivability regardless of the gender of employees in questionwhile the average duration of service improves firm survivability only in case the employeesare female: the average duration of service for male employees or the entire employees hasturned out not to have any statistically significant influence on firm survival. The averagecompensation per executive and the percentage of temporary employees have turned out not tohave any statistically significant influence on firm survival while the percentage of femaleemployees has shown statistically significant positive influence on firm survival in some,although not all, models employed in our study. These results are expected to be a goodreference in the course of our reaching agreements regarding the improvement of workingconditions either between firms and employees or among the members of the entire society.

HDTL을 이용한 병렬 자바 프로그램의 모니터링과 검사

조승모,김형호,차성덕,배두환 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.6

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements for dynamic systems - systems whose components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and checked against given HDTL requirements. 정형 명세를 이용하여 구현된 프로그램이 수행 중에 명세를 만족시키는지 모니터링하고 검사하는 기법에 대한 연구들이 기존에 많이 수행되어 왔다. 이들은 주로 요구사항 명세언어로 시제논리 혹은 그것의 확장을 사용하게 된다. 이때 대부분의 연구는 실제 구현된 시스템이 가지는 동적인 변화를 제대로 요구사항 명세에 기술하고, 검사할 수 있는 언어를 제공하지 못하고 있다. 본 연구에서는 동적 시스템의 특성 명세언어로 기존에 제안했던 HDTL을 사용하여 동적인 자바 프로그램의 수행을 모니터링하고 검사하는 프레임웍을 제안한다.

동적 시스템 명세를 위한 시제논리언어와 그 검증

조승모,김형호,차성덕,배두환,Cho, Seung-Mo,Kim, Hyung-ho,Cha, Sung-Deok,Bae, Doo-Hwan 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.7

Many modern complex systems, including most object-oriented systems, have dynamic characteristics that their components are dynamical]y configured during run-time. However, few analysis techniques are available that consider the dynamic nature of systems explicitly. We propose a specification and analysis method for these dynamic systems. We design a new temporal logic, called HDTL, to specify the properties of dynamically evolving systems, and tune up the tableau method for this logic. HDTL incorporates variables and quantifiers that enable the automatic analysis. Using HDTL and the analysis method, we can specify the correctness requirements of systems and check whether the system actually agree with the requirements or not. An experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique works well. 대부분의 객체지향 시스템을 비롯한, 복잡한 시스템들은 그 구성요소들이 시스템의 수행시간 중에 변하는 동적인 특성을 가지고 있다. 하지만 대부분의 기존 분석기법들은 이러한 측면을 무시하고 있다. 이 논문에서는 이러한 동적 시스템을 명세하고 분석하기 위한 기법을 제안하고자 한다. 이를 위해, 동적 시스템의 명세를 기술하기 위한 새로운 시제논리인 HDTL을 제안하고, 기존의 시제논리를 위한 분석기법을 수정하여 새로운 tableau 기법을 제안하였다. HDTL은 변수와 한정자를 사용하여 동적 시스템의 자동적 분석을 가능하게 하였다. 이 기법을 사용하여 우리는 시스템의 요구사항 명세를 기술하고, 시스템의 수행이 그 명세를 만족하는지를 살펴 볼 수 있다 실험을 통해 HDTL과 분석기법의 적용성을 보였다

HDTL을 이용한 병렬 자바 프로그램의 모니터 링과 검사

조승모,김형호,차성덕,배두환,Cho, Seung-Mo,Kim, Hyung-Ho,Cha, Sung-Deok,Bae, Doo-Hwan 한국정보과학회 2002 정보과학회논문지 : 소프트웨어 및 응용 Vol.29 No.5

There have been many researches about monitoring and checking the implementations during run-time using formal requirement specification. They usually adopt temporal logics or their extensions to specify the requirements for the implementations. However, most of the systems fail to support the specification of requirements fir dynamic systems - systems whore components are created and removed during run-time. Unlike analysis or design models, most actual implementations are dynamic, so the notion of instances should be employed in the property specification language. In this paper, we show how we can monitor and check Java programs using our temporal logic for dynamic systems (HDTL). We suggest a framework in which the execution of Java programs are monitored and chocked against given HDTL requirements. 정형 명세를 이용하여 구현된 프로그램이 수행 중에 명세를 만족시키는지 모니터링하고 검사하는 기법에 대한 연구들이 기존에 많이 수행되어 왔다. 이들은 주로 요구사항 명세언어로 시제논리 혹은 그것의 확장을 사용하게 된다. 이때 대부분의 연구는 실제 구현된 시스템이 가지는 동적인 변화를 제대로 요구사항 명세에 기술하고, 검사할 수 있는 언어를 제공하지 못하고 있다. 본 연구에서는 동적 시스템의 특성 명세언어로 기존에 제안했던 HDTL을 사용하여 동적인 자바 프로그램의 수행을 모니터링하고 검사하는 프레임웍을 제안한다.

Valuation of Exotic Options under Lévy Processes : A Pricing Kernel Approach

조승모 한양대학교 경제연구소 2011 경제연구 Vol.32 No.1

In this paper, we show that Gerber and Shiu (1994)’s method of option pricing under Lévy processes using the Esscher transform can be extended to pricing exotic options such as compound options, chooser options, extendible options, and reset strike options. Here, rather than following the original approach by Gerber and Shiu (1994), we slightly modify the pricing method from the risk-neutral valuation to the pricing kernel approach for better intuition and easier mathematical derivation.

고등학교 <경제 수학> 과목의 금융 분야에 대한 비판과 제언

조승모 대한수학교육학회 2021 학교수학 Vol.23 No.4

In this article, we have analyzed the financial contents in high school <Mathematical economics>, first introduced by 2015 Amended Curriculum, from the curricular integration perspective by comparing them with those in 2020 <Elementary and secondary standards for financial education> by Financial Supervisory Service and Korea Institute for Curriculum and Evaluation, 2015 <Social studies curriculum>, 2015 <High school liberal arts curriculum>, and 2015 <Home economics and information studies curriculum>. Through such analysis, we have pointed out some limitations of the financial contents in high school <Mathematical economics> and have offered an alternative for them. The limitations we have found are as follows: firstly, high school <Mathematical economics> is not well integrated to <Elementary and secondary standards for financial education> and the other subjects because it only deals with savings but not investments while the others deal with both. Secondly, it confuses pensions and annuities causing misconception. Thirdly, its contents on annuities and perpetuities are not realistic. As a concrete alternative for such criticism, we have suggested that the subject should include valuation of stocks and bonds instead of annuities and perpetuities. And we have further shown that we do not need additional mathematical concepts in this case because valuation of stocks and bonds is also an application of geometric series and infinite geometric series just as that of annuities and perpetuities and that we have the additional educational benefit of enhancing integration with the differentiation chapter in the subject by differentiating bond prices with the differentiating techniques allowed in the subject. 본고는 2015 개정 교육과정에 의해 신규 도입된 고등학교 <경제 수학> 과목의 금융 분야 내용을 융합 교과적인 관점에서 금융감독원과 한국교육과정평가원의 2020 개정 <초ㆍ중ㆍ고 금융교육 표준안> 및 2015 개정 <사회과 교육과정>, 2015 개정 <고등학교 교양 교과 교육과정> 및 <실과(기술ㆍ가정)/정보과 교육과정>의 금융 분야 내용과 비교ㆍ분석하였다. 이를 통해 본고는 현행 고등학교 <경제 수학> 과목이 다루고 있는 금융 분야 내용의 문제점을 지적하고, 이를 극복할 수 있는 구체적인 대안을 제시하였다. 본고는 고등학교 <경제 수학>이 저축만 다루고 투자를 다루지 않아 <초ㆍ중ㆍ고 금융교육 표준안> 및 타 교과목들과의 연계성이 낮고, 연금을 다룸에 있어 개념의 혼란을 야기하고 오개념을 전달하는 문제가 있으며, 연금과 영구연금에 관한 내용이 현실성이 낮다는 점을 문제로 지적하였다. 이를 해결하기 위해, 본고는 고등학교 <경제 수학> 과목에서 연금과 영구연금 대신 주식과 채권의 가치 평가를 가르칠 것을 제안하였다. 또한, 이 경우에 주식과 채권의 가치 평가도 연금과 영구연금의 경우와 마찬가지로 등비급수와 무한등비급수의 응용으로 다루어지므로 추가적인 수학적 부담이 없으며, 이에 더해 고등학교 <경제 수학> 과목이 허용하는 범위 내에서 채권 가격의 미분을 다룰 수 있어 미분을 다루는 단원과의 교과 내 내용 연계성을 높일 수 있는 이점이 있음을 보였다.

금융학과 인문학의 통섭 미히르 데사이의 『금융의 모험』

조승모 부산대학교 인문학연구소 2021 코기토 Vol.- No.95

A General Framework for Asset Pricing

조승모 한양대학교 경제연구소 2012 JOURNAL OF ECONOMIC RESEARCH Vol.17 No.1

Gerber and Shiu (1994) and Henne and Reichling (2006) have independently derived similar stochastic discount factor asset pricing principles in justifying their arguments regarding asset pricing. In this paper, we show that if we slightly modify the two principles, they reach the same asset pricing principle. To be specific, in deriving their pricing principles, both Gerber and Shiu (1994) and Henne and Reichling (2006) deal with the case of a single risk-free asset and a single risky asset for which Gerber and Shiu (1994) further assume a financial derivative. Here, we simply extend their logic to portfolios of the entire capital market, in line with the portfolio theory by Markowitz (1952, 1956, 1959), Sharpe (1964), Lintner (1965), and Mossin (1966), to make the two principles converge to each other. And based on the converged version of the pricing principles, we show that the capital asset pricing model by Sharpe (1964), Lintner (1965), and Mossin (1966), the capital asset pricing model with time-dependent beta by Henne and Reichling (2006), the arbitrage pricing theory by Ross (1976), the Gerber-Shiu model by Gerber and Shiu (1994) (a generalization of the Black-Scholes model by Black and Scholes (1973) and Merton (1973b)), and the Esscher insurance premium pricing principle by B\"{u}hlmann (1980) can all be derived under a unified pricing principle.

금융학과 인문학의 통섭 : 미히르 데사이의 『금융의 모험』

조승모 부산대학교 인문학연구소 2021 코기토 Vol.- No.95