• 충청수학회지
• /
• 제15권1호
• /
• pp.61-73
• /
• 2002

We consider the inverse shadowing property of a dynamical system which is an "inverse" form of the shadowing property of the system. In particular, we show that every Morse-Smale system f on a compact smooth manifold has the inverse shadowing property with respect to the class $\mathcal{T}_h(f)$ of continuous methods generated by homeomorphisms, but the system f does not have the inverse\mathrm{T} shadowing property with respect to the class $\mathcal{T}_c(f)$ of continuous methods.

• 법제연구
• /
• 제55호
• /
• pp.95-136
• /
• 2018

남녀가 법적으로 혼인을 하게 되면 기본적으로 친족관계를 형성하게 되지만 혼인은 부부의 재산관계에도 영향을 미친다. 이러한 부분에 대해서는 민법 제4편에서 규율하고 있다. 이처럼 혼인은 다양한 사법적(私法的) 효력을 야기하는 것 이외에 세법의 운용에도 큰 영향을 미친다. 그 중 이 글은 혼인한 자간의 재산관계와 그것이 증여세 과세에 미치는 영향을 연구대상으로 하고 있다. 혼인한 부부가 보유한 재산의 귀속에 대해서는 크게 두 개의 입법방식, 즉 부부별산제와 부부재산공유제가 존재한다. 그 중 우리 민법은 부부별산제를 법정재산제로 규정하고 있다. 하지만 예외적으로 약정을 통해 부부재산공유제가 적용되는 부부도 존재할 수 있다. 우리의 증여세제는 지금까지 부부별산제가 적용되는 부부를 전제로 하여 부부간의 증여에 대해 증여세를 과세하고 있었다. 그런데 부부의 재산관계에 대해 부부재산공유제가 적용되는 경우 그러한 부부간의 자산증여에 대해서도 동일하게 증여세과세를 할 수 있는지 여부가 실무적으로 문제되고 있다. 동일한 사실관계에 대해 법원은 증여세를 과세할 수 없다는 입장이고 조세심판원은 과세를 해야 한다는 입장이다. 아직 우리나라의 경우 부부재산 공유제를 취한 부부가 많지 않으므로 이러한 사안에 대한 과세가능여부의 논의가 중요하지 않다고 평가할 수도 있지만 만약 이러한 문제에 대해 현재 법원의 입장처럼 증여세를 과세하지 않는 것으로 법해석이 확정되면 증여세 과세에 중대한 입법적 결함(loophole)이 되어 심각한 조세불공평의 문제를 초래할 수 있다. 그렇기 때문에 비록 아직 이러한 사례가 빈번하게 등장하고 있는 것은 아니지만 이러한 경우 과연 증여세 과세를 해야 하는지 여부를 신중하게 점검해 보아야 할 필요성이 있다고 할 것이다. 만일 법원의 입장이 옳다고 한다면 결혼하는 부부들은 부부재산약정을 통해 증여세제도를 무력화시킬 수 있는 여지도 있다. 이 글을 통해 개인적으로 현행법의 해석상 부부재산공유제를 취하는 부부간의 자산증여에 대해서도 증여세를 과세해야 하는 논리를 제시하였다. 이러한 입장이 타당한지 여부에 대한 검증은 독자의 몫이다. 다만 이 글은 지금까지 우리사회에서 문제가 되지 않았던 부부재산공유제를 취하는 부부를 전제로 하여 증여세과세가능여부를 검토하였다는 점에서 중요한 의의가 있다고 생각한다. 아직까지 우리사회에서 결혼하는 부부는 부부재산제에 대해 크게 고민을 하지 않고 법정재산제의 적용을 받고 있지만 미래에는 어떻게 변화할지를 알 수 없는 상황이다. 우리나라의 부부재산제관련 민법규정들도 매우 부실한 상황이고, 상증세법도 다양한 부부재산제를 전제로 하여 합리적으로 정비해두어야 할 것이다.

• 충청수학회지
• /
• 제13권1호
• /
• pp.53-63
• /
• 2000

The inverse shadowing property of a dynamical system is an "inverse" form of the shadowing property of the system. Recently, Kloeden and Ombach proved that if an expansive system on a compact manifold has the shadowing property then it has the inverse shadowing property. In this paper, we study topological stability of the inverse shadowing dynamical systems. In particular, we show that if an expansive system on a compact manifold has the inverse shadowing property then it is topologically stable, and so it has the shadowing property.

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

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

• 충청수학회지
• /
• 제34권1호
• /
• pp.55-60
• /
• 2021

In this paper we deal with the preservation of the periodic shadowing property of induced hyperspatial systems. More precisely, we show that an expansive system has the periodic shadowing property if and only if its induced hyperspatial system has the periodic shadowing property.

• 한국중재학회지:중재연구
• /
• 제15권3호
• /
• pp.139-174
• /
• 2005

Since a declaration between North and South Korea was adopted, North and South Korea has strengthened the interchange and cooperation between each other in many fields. Especially, the interchange and cooperation in the field of industrial property right, such as patent and trademark, are required to keep up with the age of the knowledge industry. But, until a recent date, there has been little interchange or cooperation in the field of industrial property right, and a few major companies were attempt to apply for the patent in North Korea through the Third country The system of industrial property laws in North and South Korea are very different because of time and political ideology barriers. To unify the system of industrial property laws in North and South Korea, firstly, North and South Korea must try to recognize and understand the dissimilarity between them. In this article, I compared the system of industrial property law of South Korea with that of North Korea to search commonalities and dissimilarities. Furthermore, it is needed to establish systematic devices for understanding of between North and South Korea, for instance, conducting a interdisciplinary seminar or dispatching a judge mutually. Finally, it is necessary to phase in a practical plan for unification. In the short run, mutual application and registration have to be authorized, and in the long view, unifying the practice of industrial property law service is needed. At the conclusion, the industrial property laws in North and South Korea can be unified systematically. In other words , to unify system of industrial property laws in North and South Korea, it is prerequisite that mutual understanding of industrial property laws and performance of the unify plan. The interchange and cooperation in this field will not only promote technical development but also create common interests of North and South Korea by expanding an opportunity for creating and utilizing industrial property.

• 보건의료산업학회지
• /
• 제8권1호
• /
• pp.1-13
• /
• 2014

The purpose of this study is to investigate the perception of quality property of hospital information system, the quality level, and its effects. The participants were 730 employees who are using hospital information system in hospitals. In order to analyze the relationship, the quality property regulates the consideration of user's taste and the state of user's favor for the design of hospital information system, and the quality level regulates user's convenience and properness. The main results from this study can be summarized as follows, First, the perception of quality property for hospital information system showed few significance level between occupation, but revealed significance level between position. The evaluation of quality level showed significance level depending on the occupation and position. Second, quality property which generally affects to the quality level of the hospital information system were different between types of occupation and quality factor.

• Korean Journal of Mathematics
• /
• 제13권1호
• /
• pp.91-101
• /
• 2005

In this paper, we give the notion of the D-shadowing property, D-inverse shadowing property for dynamical systems. and investigate the density of D-shadowing dynamical systems and the D-inverse shadowing dynamical systems. Moreover we study some relationships between the D-shadowing property and other dynamical properties such as expansivity and topological stability.

• 대한한의학회지
• /
• 제25권3호
• /
• pp.20-31
• /
• 2004

The 21/sup st/ century is a society based on knowledge, so in economic activities, it has emphasized the importance of information such as intellectual property or intangible asserts. Especially, according to the agreement on trade related as parts of intellectual property rights in WTO, it is used as the method of commercial entente and monopoly for intellectual property in an advanced nation. For this reason, WIPO and UNESCO discussed a complement for intellectual property on the foundation of traditional knowledge such as traditional knowledge (TK), genetic resources (GR) and traditional cultural expressions (TCE, folklore). Korea has a lot of knowledge falling under TK, GR, and TCE because of the long history of the country. In the case of traditional medical care, it has been used in the public health system. It is hard to apply these rights to traditional medical care of Korea because the laws of intellectual property have been established under the ideas of western culture. It is necessary to improve the classification system of traditional knowledge and patents. In the patent classified system of IPC, it needs to be related to the research between the classified system for massive technology and the classified system for traditional clinic technology.

• 한국중재학회지:중재연구
• /
• 제34권1호
• /
• pp.51-74
• /
• 2024

Korea continues to invest in the IT industry and is currently regarded as one of the five major powerhouses in the field of intellectual property. However, it is evaluated that this status is only limited, and the level of intellectual property protection and dispute resolution does not reach a level commensurate with the status of one of the five major intellectual property powers. To address these problems, the Korean government has enacted the Arbitration Industry Promotion Act in 2017, which aims to strengthen national competitiveness by fostering the arbitration system as an industry and provide systematic support so that the arbitration industry can become a future growth engine. In addition, in accordance with Article 3 of the 「Arbitration Industry Promotion Act」, the Minister of Justice must establish "the Basic Plan for Arbitration Industry Promotion" every 5 years. Great efforts must be put into establishing an Online Dispute Resolution (ODR) system at the KCAB for five years from 2024 to 2028, the Second Basic Plan for the Promotion of the Arbitration Industry period. Under these circumstances, this study presents implications and improvement measures for the development of the intellectual property-related arbitration system to protect Korea's intellectual property rights and contribute to more active intellectual property creation. In particular, this study proposes a plan to build an one-stop digital platform for KCAB to implement an efficient ODR system.