• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.11
• /
• pp.765-778
• /
• 2013

This paper proposes a test case generation method for Stateflow model using the extended RRT method. The RRT method which has been popularly used for planning paths for complex systems also shows a good performance for test case generation. However, it does not consider the test coverage which is important for test case generation. The proposed extension method hires the concept of test goal achievement to increase test coverage and drives RRT extension in the direction that increases the goal achievement. Considering the concept, a RRT distance metric, random node generation method and modified RRT extension algorithm are proposed. The effectiveness of proposed algorithm is compared with that of the typical RRT algorithm through the experiment using the practical automotive ECUs.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2010.05a
• /
• pp.428-432
• /
• 2010

A study on the forming characteristics of outer shell structure for thrust chamber nozzle extension has been performed. In order to identify anisotropy of cold rolled sheet metal, three types of tensile specimens according to the direction to the sheet rolling axis were prepared and tested, and Landford's values were obtained using the results and applied to structural analysis. Forming characteristics of the outer shell structure of the nozzle extension are investigated through manufacturing and forming of the full scale outer shell structures, and strain values obtained by the forming processes are compared to the numerical analysis results. The results obtained by this study will be utilized to design forming tools and processes for manufacturing other outer shell structures which have a bigger expansion area ratio.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.249-252
• /
• 2001

PKI 구축을 위한 노력이 전 세계적으로 진행되고 있는 가운데 PKI의 계층구조 유형에 따라 인증관리 정책, 인증서 형식 등의 서로 다른 PKI 구성요소를 가진 인증기관(CA)들이 각기 다른 곳에 분산되어 있다. 그러므로, 이러한 CA간의 상호인증 서비스를 어떻게 제공할 것인가를 고려해야 할 필요가 있다. 특히 상호인증 서비스를 제공하기 위한 인증정책, 정책매핑, 정책제한의 확장영역은 인증경로의 유효성을 검증할 때 검증의 성공과 실패에 중요한 영향을 미친다. 본 논문은 ITU-T X.509의 인증경로처리과정에서 정책과 관련된 부분을 살펴보고 ITU-T X.509 3rd Edition의 정책관련 문제점들이 ITU-T X.509 4th Edition에서 어떻게 개선되었는지 몇 가지 예를 통하여 제시하고 앞으로 인증경로처리과정이 어떠한 방향으로 확장되고 응용되어야 할지를 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10d
• /
• pp.543-548
• /
• 2006

홈네트워크는 댁내의 가전기기들을 네트워크를 통해 공유하고 외부에서 제어가 가능하도록 발전해가고 있다. 이러한 홈네트워크를 사용하기 위해서는 기본적으로 미들웨어라는 운영체제 상단의 응용 기술이 필요하다. 현재까지 제안된 미들웨어들은 독립적이고, 단일의 표준안이 마련되고 있지 않아 상호운영에 큰 제약이 있었다. 본 논문에서는 게이트웨이 역할을 주로 수행하던 OSGi를 미들웨어 호환을 수행하도록 확장하고, Java의 RMI를 결합해서 홈네트워크를 구성하여 이기종 홈네트워크 간에서의 상호운용에 대한 발전방향을 제시한다. 제안기법은 홈네트워크 구성에 있어 기존의 호환기법보다 구현이 용이하다는 장점이 있다. RMI만을 통해 각 디바이스들을 제어할 수 있으므로 기존 기법에 비해 자원의 낭비가 감소한다. 또한 다른 미들웨어를 사용하는 가전기기의 경우에도 단일 네트워크로 결합할 수 있는 확장성을 보인다.

• The Journal of Korea Robotics Society
• /
• v.2 no.3
• /
• pp.249-254
• /
• 2007

본 논문에서는 웨이퍼 레벨 밀봉 실장된 수직 운동 가속도 신호를 감지할 수 있는 초소형 Z축 가속도 센싱 엘리먼트를 제작하였다. 초소형 Z축 가속도 센싱 엘리먼트는 수직 방향의 정전용량 변화를 필요로 하기 때문에 단일 기판상에 수직 단차의 형성을 가능케 하는 확장된 희생 몸체 미세 가공 기술 (Extended Sacrificial Bulk Micromachining, ESBM) 을 이용하여 제작되었다. 확장된 희생 몸체 미세 가공 기술을 이용하면 정렬오차가 없이 상하부 양쪽에 수직 단차를 갖는 실리콘 구조물의 제작이 가능하다. 또한, MEMS 센싱 엘리먼트의 부유된 실리콘 구조물을 보호하기 위하여 웨이퍼 레벨 밀봉 실장 기술이 적용하여 고신뢰성, 고수율, 고성능의 Z축 가속도 센서를 제작하였다. 신호 처리 회로와 가속도 센서를 결합하여 Z축 가속도 센싱 시스템을 제작하였고 운동가속도 범위 10 g 이상, 정지 드리프트 17.3 mg 그리고 대역폭 60 Hz 이상의 성능을 나타내었다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.403-409
• /
• 2007

Contourlet transform is an extention of the wavelet transform in two dimensions using the multiscale and directional fillet banks. The contourlet transform has the advantages of multiscale and time-frequency-localization properties of wavelets, but also provides a high degree of directionality. In this paper, we propose a face recognition system based on fusion methods using contourlet transform and PCA. After decomposing a face image into directional subband images by contourlet, features are obtained in each subband by PCA. Finally, face recognition is performed by fusion technique that effectively combines similarities calculated respectively In each local subband. To show the effectiveness of the proposed method, we performed experiments for ORL and CBNU dataset, and then we obtained better recognition performance in comparison with the results produced by conventional methods.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.280-282
• /
• 2000

지금까지 인터넷에서 단말기의 이동성을 보장하기 위한 연구 방향은 계층적 망 구조에 따라 메크로 이동성과 마이크로 이동성을 분리하는 것이다. 핸드오프가 적은 매크로 이동성의 경우 Mobile IP 로 수렴되는 반면 이동성이 잦은 마이크로 이동성의 경우 HA 로 보내지는 제어 메시지를 어떻게 줄일 것인가에 대하여 서로 다른 방안이 제시되고 있다. 현재까지 제시된 연구의 공통적인 문제는 게이트웨이 라우터의 집중화로 발생할 수 있는 부하이다. 본 논문에서는 단말기의 이동의 지역성 및 분산된 지역 에이전트 개념을 도입하여 이러한 문제를 개선한 분산 지역 기반 이동프로토콜인 DRMIP를 제안한다. 또 DRMIP 의 특성 및 적용성을 검증하기 위하여 인터넷 프로토콜과의 호환성, QoS 지원성, 시스템 안정성, 광역단위로의 확장성 등의 측면에서 타 프로토콜과 비교 분석하였다.

• Journal of Digital Contents Society
• /
• v.9 no.2
• /
• pp.317-323
• /
• 2008

The purpose of this study is to show typology of virtual world and to look out how virtual world develops especially in Korea. As paradigm changes, the scientific virtual reality and world wide web are absorbed into 3-D virtual world in Metaverse. The metaverse is the convergence of virtually enhanced physical reality and physically persistent virtual space. There are two categories of virtual world, the Ludic Virtual World which is oriented from games like MMORPGs and the Social Virtual World which is oriented from network communication system. Compared to North America and Europe, the Ludic Virtual World and game society grow and develop quickly in Korea. It's because Korean users prefer the online environment where millions of people live out a collective fantasy existence.

• Management & Information Systems Review
• /
• v.36 no.3
• /
• pp.203-217
• /
• 2017

This study aims to verify the effects of unrealized gain or loss, that is the fair value evaluation item of insurance company's assets and liabilities, to capital markets focusing on fair value evaluation of insurance company's liabilities, which is the core of IFRS 17 that will be implemented in 2021. For this purpose we carried out regression analysis to verify the effects of changed other comprehensive income(OCI) and accumulated OCI, published in quarterly financial statements of listed insurance companies, on stock price utilizing Ohlson(1995)'s extended test model. The results of the empirical analysis are as follows. First, changed OCI showed a significant negative(-) effects on stock price. Second, accumulated OCI revealed a significant positive(+) effects on stock price. Furthermore, extended test model classifying changed OCI and accumulated OCI in a basic model represented the highest $R^2$ number and public announcement policy of OCI, a kind of unrealized gain or loss item, implied that it could give positive impact on accounting information. But still the direction that unrealized gain or loss affects on firm value must be carefully reviewed and considered in the future via more detailed study by the user of information. Therefore this study is meaningful in that it can predict usefulness of information on insurance company's fair value evaluation via empirical test accompanied by introduction of newly established IFRS 17 and it also can suggest direction of information production suitable for capital market.

• The Journal of the Korea Contents Association
• /
• v.10 no.7
• /
• pp.420-428
• /
• 2010

The advancement of the Science for complex systems enables the analysis of many social networks. We constructed and analyzed a Korean movie star network as one of social networks, based on the 100 Korean movie selection for a main data source. Until now, the research trend has been the structural analysis of network, focused on link numbers, such as degree, betweenness and clustering coefficient. But it is time that the research is not limited by the structural analysis of networks only. Rather, the research goal should be aimed to an information analysis, performed by identifying and analyzing central modules that are regarded as the core of complex networks, using k-core analysis method. In this research, we constructed a network of movie stars who have appeared in 100 Korean movie selection, provided by Korean movie database, also we analyzed its core modules with and without weights, and the trend of seasonal expansion of the network. We expect our findings can be used as the basic data applicable to a model for understanding of the expansion and evolution of networks.