• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

• 대한기계학회논문집A
• /
• 제27권10호
• /
• pp.1661-1666
• /
• 2003

The purpose of this study is to develop the simplified model of the crankshaft in the large marine engine for dynamic analysis. Because the actual engine system is under complex dynamic loading condition and it has multi-cylinder, the dynamic analysis is purchased at a high computation cost. In spite of this burden, the dynamic analysis must be perfonned to assure structural integrity of operating marine engine. Therefore, simplification of the analytic model is necessary for dynamic analysis. Beam-mass model, which is generated with the section property method, is the model simplified effectively. Section property method can provide desired section information by optimization technique. By applying beam-mass model to the crankshaft in the large marine engine, the usefulness of the proposed method was proven.

• East Asian Economic Review
• /
• 제20권3호
• /
• pp.365-390
• /
• 2016

This paper quantitatively compares the intrinsic features of the daily USD-GBP exchange rates in two different periods, the 1920s and the 2010s, under the same freely floating exchange rate system. Even though the foreign exchange markets in the 1920s seem to be much less organized and developed than in the 2010s, this paper finds that both the long memory volatility property and the structural break appear to be the common intrigue features of the exchange rates in the two periods by using the FIGARCH model. In particular, the long memory volatility properties in the two periods are found to be upward biased and overstated because of the structural breaks in the exchange markets. Thus this paper applies the Adaptive-FIGARCH model to consider the long memory volatility property and the structural breaks jointly. The main finding is that the structural breaks in the exchange markets affect the long memory volatility property significantly in the two periods but the degree of the long memory volatility property in the 1920s is reduced more remarkably than in the 2010s after the structural breaks are accounted for; thus implying that the structural breaks in the foreign exchange markets in the 1920s seem to be more significant.

• 통상정보연구
• /
• 제6권1호
• /
• pp.249-265
• /
• 2004

In the current digital age, most of the countries in the world recognize the electronic business to be a very prospective area in the future and plan to activate for the preoccupation of the business. As a result, this led a rapid increase of the electronic business volume. Electronic business takes place in the cyber space, using internet. However, the intellectual property rights have a high degree of possibility of being infringed as the digitalized intellectual property is easy to receive, copy and transmit in the cyber space. The language structure on the web, represented by HTML, makes easier to copy the intellectual property. And, as the internet has no national boundary, the infringement of the intellectual property rights is easier regardless of country, which could lead to the commercial disputes between the concerned countries. There are in fact many legal disputes nowadays on the infringement of the intellectual property rights in such field as computer programming, infringement of the copyright, business model patent and infringement of the trademark right on the registered name of the domain. It is, therefore, time now to prepare a new theory or legal system to protect the intellectual property rights on copyright, patent and trademark right so as to comply with the digital environment together with such a splendid growth of "electronic business." USA and Germany are nowadays making a significant movement on the legislation of the electronic business, and this study will focus on the legislative contents, judicial precedents and interpretation of law in the above countries.

• 대한수학회보
• /
• 제43권4호
• /
• pp.813-820
• /
• 2006

We consider a MAR model with ARCH type conditional heteroscedasticity. MAR-ARCH model can be derived as a smoothed version of the double threshold AR-ARCH model by adding a random error to the threshold parameters. Easy to check sufficient conditions for strict stationarity, ${\beta}-mixing$ property and existence of moments of the model are given via Markovian representation technique.

• Journal of the Korean Statistical Society
• /
• 제23권1호
• /
• pp.167-178
• /
• 1994

To estimate coefficient matrix in autoregressive model, usually ordinary least squares estimator or unconditional maximum likelihood estimator is used. It is unknown that for univariate AR(p) model, unconditional maximum likelihood estimator gives better power property that ordinary least squares estimator in testing for unit root with mean estimated. When autoregressive model contains multiple unit roots and unconditional likelihood function is used to estimate coefficient matrix, the seperation of nonstationary part and stationary part of the eigen-values in the estimated coefficient matrix in the limit is developed. This asymptotic property may give an idea to test for multiple unit roots.

• Journal of the Korean Data and Information Science Society
• /
• 제19권4호
• /
• pp.1027-1036
• /
• 2008

Value at Risk(VaR) is a fundamental tool for managing market risks. It measures the worst loss to be expected of a portfolio over a given time horizon under normal market conditions at a given confidence level. Calculation of VaR frequently involves estimating the volatility of return processes and quantiles of standardized returns. In this paper, we introduced and applied the CreditMetrics model to estimate the credit VaR of Korean Property and Casuality insurers.

• 지식경영연구
• /
• 제17권3호
• /
• pp.181-206
• /
• 2016

Under the influence of growing popularity of "hallyu" (Korean wave), corporates that have copyrights such as music, movie, drama as their core competitiveness are showing continuing growth. In Addition, they built on contents are rapidly growing, interests in protection and management of intellectual property rights linked to contents are growing. Global contents development corporates are making great efforts to create profits out of copyrights. They could utilize original contents to strengthen brand value use it to produce additional contents in current market. Also they take advantage of existing storyline of the contents and strong brand to explore new markets. This paper looks into Value articulation model by Professor James Conley and analyzed the firms that utilized intellectual property rights to extend the period of protection, strengthen their competitiveness and succeeded in breaking into new market by using the rights they possess. Also, this paper examines the usage of intellectual property rights and business expansion strategy of of Iconix, the Korean entertainment company, which gained tremendous popularity in last ten years using this model. In Value articulation model, Conley classifies the process of exploiting the portfolio of the single product's(or service's) intellectual property right for a period of time into three stages ; value transference, value translation, value transportation. Pororo's strategy of utilizing intellectual property right is suggestive to domestic entertainment companies. Under the influence of hallyu" (Korean wave), domestic contents such as movies, dramas and music are enjoying the high level of popularity recently not to mention animations. In reality, Korean entertainment companies who have no background or experience of Intellectual property rights are not creating enough added values compared to fast growing market. It is believed Iconix's intellectual property rights management strategy will suggest positive aspects to domestic companies. Moreover, I hope various intellectual property rights management strategies including Conley's value articulation are studied and they can make contributions to managing domestic entertainment companies.

• 한국정보통신학회논문지
• /
• 제12권5호
• /
• pp.971-978
• /
• 2008

본 논문은 미래의 유비쿼터스 컴퓨팅에서 지식 데이터 베이스로 활용될 수 있는 서비스 지향 무선센서 네트워크 온톨로지 모델을 설계한다. 기존의 접근방식과 달리 본 논문은 사용자 중심의 서비스가 가능하도록 서비스 항목에 초점을 두고, 새로운 서비스 클래스(ServiceProperty, LocationProperty, PhysicalProperty)들과 이들에 대한 속성, 그리고 제한사항들을 정의하였다. 또한 기존 온톨로지(GML, SWE, SensorML, SUMO, OntoSensor)들과의 병합은 서비스항목들만을 고려하여 OWL의 오브젝트 프로퍼티인 "equivalentClass"을 사용하여 처리하였다. 제안된 모델의 설계와 타당성 검증은 각각 Protege 3.3.1과 추론 도구인 Racer 1.9.0을 이용하였으며, SPARQL 질의어를 사용하여 기존 온톨로지 내의 속성과 관계없이 새롭게 정의된 속성을 사용한 서비스 검색 결과를 제시하였다.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2003년도 The Korea-Japan Plastics Processing Joint Seminar
• /
• pp.1-6
• /
• 2003

In injection molding of an optical disk, a toric lens, etc., their performance depends on the transcription preciseness of fine surface structure of a mold. However, transcription behavior has not been made clear yet, because transcription is made in very short time and the structure is very small. In this paper, transcription properties have been examined, by using V-grooves of various sizes. machined on mold surfaces, and the following results are obtained. (1) Transcription properties have been made clear experimentally and it was found that the mold temperature $T_D$ makes great influence on the transcription property and that compression applying time $t_c$ should be taken more than 2.0s for fine transcription. (2) A mechanical model of transcription process, in consideration with strain recovery due to viscoelastic property of polymer. is proposed. (3) Simulation results agree with experimental ones fairly well. It means that the transcription model is useful for estimation of transcription property in advance of an actual. injection molding.