• 제어로봇시스템학회:학술대회논문집
• /
• 1988.10a
• /
• pp.338-342
• /
• 1988

Recently, in sequence control systems, high flexibility and maintenance of control software are required. This is because product life cycles become shorter and control specification must be changed frequently. The authors extend the concept of Safe Petri Net to develop the design and analysis tool for sequence control systems taking the safeness and notation of input/output functions into consideration. Extended Safe Petri Net (S-Net) is proposed as such a new graph model and real time scanning algorithm based on S-Net is developed.

• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.109-124
• /
• 1999

The major objective of this research is to design and build the variable structure DEVS modeling & simulation framework. To do this, we have proposed the direct message passing mechanism between the model and its simulator to deal with the structural demand from the model during the simulation. In this approach, four types of basic messages are introduced for the vertical(creation/deletion of the child) and horizontal(creation/deletion of the brother) structural changes. Proposed methodology has been successfully applied to the multi-processor system and the forest fire information system.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2772-2778
• /
• 1999

In this paper, we model management information for Internet service, and design and implement management architecture using CORBA and Web technologies. Concretely, we also extend WWW Service MIB so that it presents service management model which can manage WWW service effectively. We have developed management tool such as Map Editor and MIB Browser. SERVICE fault/performance/configuration management functions are also designed and implemented.

• Communications of Mathematical Education
• /
• v.21 no.2 s.30
• /
• pp.271-282
• /
• 2007

Producing tools for actively meeting social needs in a radical changing society due to the development of modern technology has been shifted from physical ability to intelligent ability. The prominence of educating creativity is perceived as a good preparation in order to deal with them. Considered that assessment which is systematic activity to collect, analyze, diagnose, and judge information of a series of instruction practices is means to impart evidence and feedback of teaching learning practices, education and assessment is placed on reciprocal relationship. Nevertheless, there has been some tendency of neglect of assessment, comparing education for upbringing creativity. In this paper model of pencil and paper problem is discussed focusing on the sub-components of creativity and problem solving as one of the variety of means to extend mathematical creativity.

• Journal of Conservation Science
• /
• v.37 no.1
• /
• pp.25-33
• /
• 2021

To extend the application of digital technology to the replication of artifacts, meticulous details of the process and the diversity of three-dimensional (3D) printing output materials need to be supplemented. Thus, in this study, a bronze mirror with Hwangbichangcheon inscription was digitalized by 3D scanning, converted into a voxel model, and virtual conservation treatment was performed using a haptic device. Furthermore, the digital mold of the bronze mirror completed by Boolean modeling was printed using a 3D sand-printer. Such contactless replication based on digital technology reflects the stability, precision, expressivity, collectivity, durability, and economic feasibility of artifacts. Its application can be further extended to cultural products as well as such areas as education, exhibition, and research. It is expected to be in high demand for metal artifacts that require casting. If empirical studies through experimental research on casting are supplemented in the future, it could extend the application of digital technology-based contactless replication methods.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.8
• /
• pp.566-575
• /
• 2009

Clinical Data Interchange Standards Consortium (CDISC) developed global and platform-independent data standards to improve ineffective processes of clinical trial studies. Regardless of its objective toward global cooperation, the current version of the CDISC standard cannot describe clinical trial data in various languages for multi-national investigators or reviewers. This problem applies not only to tabulated datasets in Study Data Tabulation Model (SDTM) but also to extensible markup language representation of the datasets in Operational Data Model (ODM) instances. In order to address this issue, we propose to extend the current version of SDTM and ODM to collect clinical data for multi-national clinical trials. SDTM needs to have new special-purpose domain for multi-language representation purpose. Additionally, ODM is recommended to extend its XML schema using subtyping or type inheritance mechanism respectively. Our extension of SDTM and ODM enable to represent any granule of study data tabulation model or XML data entities to describe in efficient languages. This result will contribute to collect multi-language data easily for multi-national clinical trials.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.05a
• /
• pp.34-39
• /
• 2005

The progress of silicon technology enables to implement a highly complex digital system on a given chip area. However, even the modern design environment is not so efficient to catch up with the progress of process technology. Design reuse is a promising approach to designing such a complex system in an efficient way. However, the rigidness and inflexibility of a model has been an obstacle to design reuse. This paper proposes a high-level model management methodology by introducing attributed AND-OR graph(AOG), a (formal semantics for representing the possible structure of a model. Using the formalism enables a designer to extract, extend and reuse the pre-modeled and pre-verified design. A complete process of constructing a cache operational model, extending the model and extracting executable models is exemplified to show effectiveness of the proposed framework.

• Communications for Statistical Applications and Methods
• /
• v.22 no.3
• /
• pp.305-312
• /
• 2015

We extend a generalized partially linear single-index model and newly define a generalized partially double-index model (GPDIM). The philosophy of sufficient dimension reduction is adopted in GPDIM to estimate unknown coefficient vectors in the model. Subsequently, various combinations of popular sufficient dimension reduction methods are constructed with the best combination among many candidates determined through a bootstrapping procedure that measures distances between subspaces. Distinguishing values are newly defined to match the estimates to the corresponding population coefficient vectors. One of the strengths of the proposed model is that it can investigate the appropriateness of GPDIM over a single-index model. Various numerical studies confirm the proposed approach, and real data application are presented for illustration purposes.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.108-110
• /
• 2006

This paper deals with a tracking problem for nonlinear systems using its T-S fuzzy model and internal model. We extend the internal model of linear systems to an internal model of T-S fuzzy systems to accompany with state error of zero. A sufficient condition of the existence of a tracking controller for T-S fuzzy systems is expressed by linear matrix inequalities. A system of inverted pendulum on cart is illustrated to verify our method.

• Korean System Dynamics Review
• /
• v.6 no.2
• /
• pp.5-23
• /
• 2005

This paper investigates a dynamic mechanism underlying the process of knowledge creation and evolution with a focus on the SECI model(standing for Socialization, Externalization, Combination, Internalization) as proposed by Nonaka and Takeuchi(1991) and broadly accepted especially among the practitioners in knowledge management field. The SECI model provides with intuitive logic and clear delineation of knowledge types between the tacit and the explicit, and embodies an interaction dynamic. However explanations of the propelling forces for the knowledge transfer over the four quadrants of the model is yet to be made. And the transmission mechanisms are not prescribed though the model mentions knowledge is created and evolved in a spiral process. This paper, therefore attempts first to extend and elaborate it into a dynamic SECI model by identifying those propelling factors and their relationships(linkages) based on the systems thinking.