• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.27 no.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
• /
• v.20 no.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.

• International Commerce and Information Review
• /
• v.6 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.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
• /
• v.23 no.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
• /
• v.19 no.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.

• Knowledge Management Research
• /
• v.17 no.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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.5
• /
• pp.971-978
• /
• 2008

This paper designs a service-oriented wireless sensor network ontology model which can be used as a knowledge base in future ubiquitous computing. In contrast to legacy approaches, this paper defines the new service classes (ServiceProperty, LocationProperty, and PhysicalProperty), as well as their properties and constraints that enable the service-oriented service based on service items. The service item merging between the proposed model and the legacy ontology was processed using the "equivalentClass" object property of OWL. The Protege 3.3.1 and RACER 1.9.0 inference tools were used for the validation and consistency check of the proposed ontology model, respectively, and the results of service query was applied to the newly defined property in SPARQL language without reference to the properties of legacy ontology.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2003.04a
• /
• 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.