• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.2
• /
• pp.177-182
• /
• 2010

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In the developing process of a hardware component in system, the design phase has been regarded as a phase consuming lots of time and cost. However, the verification phase in which functionality of the designed component is verified has recently been considered as a much important phase. In this paper, the implementation of a verification environment which is based on SystemC infrastructure and verifies the functionality of a hardware component is described. The proposed verification system uses SystemC user-defined channel as communication interface between variables of SystemC module and registers of Verilog module. The functional verification of an UART is performed on the proposed verification system. SystemC provides class library for hardware modeling and has an advantage of being able to design a system consisting hardware and software in higher abstraction level than register transfer level. Source codes of SystemC modules are reusable with a minor adaptation on verifying functionality of another hardware component.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.111-118
• /
• 2010

In this paper, we describe the implementation of debugger that has advanced features for verifying Simulink model. The debugger provided in Simulink has some boring and repetitive work when verifying complicated Simulink models or complicated scenarios. In order to resolve the problems, this paper addresses the issues on the implementation of debugger that provides features such as a convenient feature to compare the simulation output to the expected output for specific input, to monitor system's behavior at specific time, and coverage report function in some or all input scenarios. The proposed debugger is applied to the vending machine model provided by Matlab, demonstrating its feasibility.

• The Journal of Society for e-Business Studies
• /
• v.8 no.3
• /
• pp.241-257
• /
• 2003

XML is a global standard for the Internet and e-business, and its use is growing in proportion to the spreading speed of e-Commerce. Thus, a policy for providing more safe security service for exchanging e-documents within e-Commerce is necessary. XKMS, one of XML security specification, defines the protocol for distributing and registering public keys for verifying electronic signatures and enciphering e-documents of e-Commerce applications with various and complicate functions. In this paper, we propose X-KISS service reference model and implement service component based on standard specification. Also describes the analysis and security of XML key information service for safe e-Commerce, paying attention to the features of XML based security service. This reference model supported include public key location by given identifier information, the binding of such keys to identifier information. The client service component controls the number of locate threads and validate threads to analyze the minimum requirements of real-time key retrievals. This service modeling offers the security construction guideline for future domestic e-business frameworks.

• Journal of KIISE:Software and Applications
• /
• v.30 no.5_6
• /
• pp.559-569
• /
• 2003

Annotation is used for inscribing personal opinion, explanation, and summary. Various methods for processing annotation efficiently in digital document environments are being studied. However, previous studies placed much emphasis on function of annotation, so either they did not support Intuitive paper-based input interface or the systems that support it still have low reusability problems, because relation between annotation and original document are not explicit. Thus, in our study, we define context-based annotation modeling for digital document environments, and suggest annotation interface based on the modeling. To design annotation model, we define annotation types, context information of document, and relationship between annotation and original document. Also, a system based on the modeling is implemented to support pen-based annotation and annotation DTD. As a result, unlike previous studies, it is possible to explicitly define context-based annotation in pen-based input environments. We present various functions using the modeling and various possibilities of application.

• Journal of Intelligence and Information Systems
• /
• v.12 no.3
• /
• pp.127-142
• /
• 2006

As products become more complex, short-life cycled and customized, the design efforts require more knowledge-intensive, collaborative, coordinating, and information sharing. By sharing knowledge, information, component and process across different families of products, the product realization process will be more efficient, cost-effective and quick-responsive. The purpose of this paper is to propose an ontology-based product family modeling framework. The ideas of product family, ontology and Semantic Web were investigated in depth. A Semantic Web is originally defined as a web of data that can be processed directly or indirectly by machines, which operates intelligently. A Web Ontology Language (OWL) is designed for use by applications that need to process the content of information instead of just presenting information to humans. For the selected cellular phone product family, ontology was constructed and implemented using prot$\acute{e}$g$\acute{e}$-2000.

• Korean Journal of Construction Engineering and Management
• /
• v.7 no.1 s.29
• /
• pp.80-88
• /
• 2006

Construction graphical simulations usually do not reflect physical properties of construction equipment and material because there are restricted to the geometric model. The complete description of construction operations is difficult for graphical simulation without a physical modeling. The object of this research is to enhance the functionality of restricted simulation system to geometric model. And research is conducted to overcome the limitation of current construction graphical simulation system through the connection geometric model and physical model with the physical properties of construction equipment and material such as crane's cable oscillation. The motion equations for the oscillation of crane cable as a result of the trolley's movement and the boom's rotation were derived. The equations were solved through numerical analysis and the results were simulated visually. The realistic description with physical modeling of construction operations will contribute for ensuring preliminary against risks and improving constructability as well as the application of various fields.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• pp.780-791
• /
• 2003

최근 다양한 업무형태가 등장함에 따라 특정업종이나 기업을 대상으로 기업간 비즈니스에 대란 정보시스템 구현 및 업무 프로세스 리엔지니어링을 통한 혁신을 지원해 줄 수 있는 체계의 도입 및 구현에 대한 요구가 증가하고 있다. 기업이 해당 업무의 정보시스템 구현과 업무의 경쟁력 강화를 뒷받침하기 위해서는 현행 업무프로세스에 대한 표준화가 중요란 사항이나, 현재 기업간 업무에 대해서는 이를 뒷받침 해줄 수 있는 프로세스 및 데이터의 분류와 분석을 위한 통합화, 표준화 작업이 부족한 상태이며, 이를 기반으로 이루어지는 업종별 핵심 기능 프로세스에 대란 표준화와 개발 분야도 미비한 실정이다. 특히 보편적으로 기업간 업무가 많이 발생하는 유통 분야의 경우 이러한 업종내 업무프로세스의 표준을 체계화 하는 필요성이 크게 대두되고 있다. 최근 매우 활성화 되고있는 프랜차이즈 산업의 경우 프랜차이즈 비즈니스의 특성상 경영효율을 높이기 위해 본사의 관리 통제 하에 운영되고 있으며, 상품도 본사에 의해 통일적, 정형적으로 기획되는 둥 프랜차이즈 비즈니스 특유의 경영 특질을 갖고 있다. 그러나 업무에 대란 표준화가 되어 있지 않은 상태에서 프랜차이즈를 운영한다면 본사차원에서는 오히려 인원과 경비만 늘어 프랜차이즈의 가장 큰 장점인 다점화의 장점이 없어지게 되고, 프랜차이즈 사업을 하고자하는 가맹점 입장에서도 프로세스의 차이와 비표준에서 오는 혼란인 많아 이를 쉽고, 체계적으로 접근 딸 수 잇는 표준 프로세스 작업의 필요성이 높다고 할 수 있다. 본 논문에서는 보편적으로 기업간 업무가 많이 발생하는 유통 분야의 프랜차이즈 산업을 대상으로 기업정보시스템 구현 및 경쟁력 강화를 뒷받침하기 위해서, 기업간 프로세스 협업(collaboration) 부분의 데이터 및 서식, 이를 취급하는 기능과 프로세스에 대란 분석을 통해 업무 프로세스 모델링 방법론과 관련한 모델링 지침 및 메타모델을 이용한 표준 업무 프로세스 모델을 개발하여 기업간 업무 프로세스 표준화에 대한 체계적인 관리에 대한 방안을 연구하고자 한다.

• The KIPS Transactions:PartD
• /
• v.10D no.1
• /
• pp.109-116
• /
• 2003

In this paper, a CORBA-based collaborative medical image analysis and visualization system, which provides high accessibility and usability of the system for the users on distributed environment is introduced. The system allows us to manage datasets and manipulates medical images such as segmentation and volume visualization of computed geometry from biomedical images in distributed environments. Using Bayesian classification technique and an active contour model the system provides classification results of medical images or boundary information of specific tissue. Based on such information, the system can create real time 3D volume model from medical imagery. Moreover, the developed system supports collaborative work among multiple users using broadcasting and synchronization mechanisms. Since the system is developed using Java and CORBA, which provide distributed programming, the remote clients can access server objects via method invocation, without knowing where the distributed objects reside or what operating system it executes on.

• Journal of the Korea Computer Graphics Society
• /
• v.21 no.5
• /
• pp.1-10
• /
• 2015

This study proposes a method of developing authoring tool that can easily and intuitively generate diverse digital leaves that compose virtual landscape. The main system of the proposed authoring tool consists of deformation method for the contour of leaf blade based on image warping, procedural modeling of leaf vein and visualization method based on mathematical model that expresses the color and brightness of leaves. First, the proposed authoring tool receives leaf input image and searches for contour information on the leaf blades. It then designs leaf blade deformation method that can generate diverse shapes of leaf blades in an intuitive structure using feature-based image warping. Based on the computed leaf blade contour, the system implements the generalized procedural modeling method suitable for the authoring tool that generates natural vein patterns appropriate for the leaf blade shape. Finally, the system applies visualization function that can express color and brightness of leaves and their changes over time using a mathematical model based on convolution sums of divisor functions. This paper provides texture support function so that the digital leaves that were generated using the proposed authoring tool can be used in a variety of three-dimensional digital contents field.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.2
• /
• pp.165-174
• /
• 2013

Depending on point of view, a service can be defined as interactions between customers and service providers or service delivery processes or customer's experiences. To develop and design a new service, the most of approaches presented in the previous researches represent a service mainly by the interactive activities or functions between customers and providers. The critical features of services which differentiate services from physical products are the inseparability that production and consumption occur at the same time and the heterogeneity that each customer ask their requirements to providers. To reflect the characteristics on the service model, we have to include contextual features in the service model. For the purpose, we define a service as the process of solving the customer's problems and a service is structured into three components: contacts, informations, and activities. We suggest the job mapping diagram to model a service process by the three components and then apply it to a hotel service process and compare the result with it of a blueprint.