• Journal of the Korean Society for information Management
• /
• v.25 no.1
• /
• pp.149-171
• /
• 2008

Actually a diffusion of a Semantic Web application and utilization are situations insufficient extremely. Technology most important in Semantic Web application is construction of the Ontology which contents itself with characteristics of Semantic Web. Proposed a suitable a Method of Building Web Ontology for characteristics of Semantic Web and Web Ontology as we compared the existing Ontology construction and Ontology construction techniques proposed for Web Ontology construction, and we analyzed. And modeling did Ontology to bases to Description Logic and the any axiom rule that used an expression way of SWRL, and established Inference-based Web Ontology according to proposed ways. Verified performance of Ontology established through Ontology inference experiment. Also, established an Web Ontology-based Intelligence Image Retrieval System, to experiment systems for performance evaluation of established Web Ontology, and present an example of implementation of a Semantic Web application and utilization. Demonstrated excellence of a Semantic Web application to be based on Ontology through inference experiment of an experiment system.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.11
• /
• pp.1112-1120
• /
• 2008

The real-time distributed simulation at the present age concentrates on the construction of a system development environment in order to accomplish a synthetic battlefield environment connected with Live-Virtual-Constructive simulation and to realize the Simulation Based Acquisition which supports the life cycle of weapon system. Accordingly this paper describes the development environment of the UML modeling and simulation which integrates the system analysis and design methods performed during the conceptual design phase of the reconnaissance UAV system development. An integrated framework linked with the UML simulation and X-plane visualization is suggested to efficiently perform the system analysis and design, and finally the implementation contents, the analysis of experiment results and concluding remarks are described.

• Journal of the Korean School Mathematics Society
• /
• v.23 no.1
• /
• pp.45-65
• /
• 2020

This research is an analysis of communication that occurs during the quadratic function teaching and learning process of middle school students, which reflects mathematical modeling. For an in-depth analysis of the communication, Sfard(2008)'s discourse theory and language analysis framework were applied. A quadratic function mathematical modeling teaching and learning were conducted for the week second (1 hour) in June 2019 for students who studied the concept of a quadratic function and who passed a specified period (3 months). The results are as follows. First, The commo-gnitive conflict occurred because of differences in prior knowledge other than quadratic function among students. Second, in the course of communication, knowledge was expanded through problem-solving from different perspectives. These results can be interpreted as allowing students to clearly reveal problems in the communication process based on their understanding of the concept of quadratic functions and to facilitate cooperation among students. of the concept of quadratic functions and to facilitate cooperation among students.

• Journal of KIISE:Software and Applications
• /
• v.34 no.3
• /
• pp.179-195
• /
• 2007

Traditional software development method is not suitable for Web application development because of characteristics of Web application such as frequent requirements change, different architectures and models and quick-to-market delivery. In this paper we propose a Web application development method adaptable to requirements change while we systematically model Web application using extended UML model. The metamodel is independent to specific languages and technologies because we define the metamodel using extended UML model. Proposed process is described by SPEM(Software Process Engineering Metamodel) profile. A process supporting tool execute and customize process. To model Web applications systematically and effectively, a navigation modeling and a component communication modeling tools are provided. In a case study, we show the usefulness of our process and model.

• Journal of the Korean GEO-environmental Society
• /
• v.15 no.3
• /
• pp.57-63
• /
• 2014

This study has been conducted to building a library intended for structures considered in the design of reclamation for design automation and developing browser for integrated management system. The library has been developed using a parametric modeling method capable of changing section shape, also classifying standard crossing and family library, has been developed according to the working environment. Classified library by the characteristics manages objects and working modeling on based BIM has been developed browser using the C# program for objects to use conveniently. By interworking between developed Browser and 3D Autocad based BIM, it is possible to use easily at design drafting, calculating quantities, developing a new library, and managing a library. The browser using effectively exclusive library to reclamation is developed in this study.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.181-190
• /
• 2007

In component based development, component modeling for understanding and analyzing is the important part and is used to improve reusability. Generally, components are need to be divided into two types according to their usages, where the developer and assembler are usually different. To make a good component model, a complete component and interface specification for those components are needed. And the component model needs to adept two different views of developer and assembler. In this paper, we suggest two different views of component model that is related to views from developer and assembler, and we expand UML. Also we validate the efficiency of the suggested model by developing and applying a tool for building, managing and automatic transformation.

• Journal of Korea Multimedia Society
• /
• v.16 no.1
• /
• pp.75-86
• /
• 2013

This paper presents a technique to implement embedded systems using interrupts of the one-chip microcontroller with many peripherals based on a multiple finite state machines model. The multiple finite state machine model utilizes the structure of FSMD used for hardware design and the features of flow control by interrupts. The main finite state machine corresponds to the main program and the sub-state machines corresponds to the interrupt subroutines. Therefore, interrupts from the peripherals can be processed immediately in the sub-state machines. The request and reply variables are used to interface between the finite state machines. Additional operating system is not necessary for the context switching between the main state machine and the sub-state machine, because the flow-control caused by interrupt can be replaced with the switching. An embedded system modeled on multiple finite state machine with ASM charts can be easily implemented by the conversion of ASM charts into C-language programs. This implementation technique can be easily adopted to the hardware oriented embedded systems because of the detail description of the model and the fast response to the interrupt events in the sub-state machine.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.4
• /
• pp.416-422
• /
• 2019

This paper proposes a GPU-based modeling and rendering of 3D clouds using procedural functions. The formation of clouds is based on modified noise function made with fbm(Fractional Brownian Motion). Those noise values turn into densities of droplets of liquid water, which is a critical parameter for forming the three different types of clouds. At the rendering stage, the algorithm applies the ray marching technique to decide the colors of cloud using density values obtained from the noise function. In this process, all lighting attenuation and scattering are calculated by physically based manner. Once we have the clouds, they are blended on the sky, which is also rendered physically. We also make the clouds moving in the sky by the wind force. All algorithms are implemented and tested on GPU using GLSL.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.6 no.1
• /
• pp.59-77
• /
• 2003

This study is to validate the use of macro language for the land suitability analysis aiming to help to resolve land use conflicts. The silver-town suitability analysis is conducted on the Geejang Gun, Busan Metropolitan city. Such digital maps as terrain, road, facility, and water body were created for various cartographic models. A cartographic model identified the best suitable areas for silver-town development based on the such site selection variables as a distance to facility and road, slope and aspect of terrain, land use etc. Then, the other cartographic model identified the most favorable site among the candidate sites based on the comparison of the aspect of proximity, usage and environmental quality. Macro language was used for these modeling process and was used for the manipulation of all these spatial variables used in the models to resolve land use conflicts relating to the decision making process of the final site selection. This study will improve the effectiveness and rationality of the traditional site suitability analysis.

• Spatial Information Research
• /
• v.5 no.2
• /
• pp.147-160
• /
• 1997

"The "Map Algebra", beeing recognized as a viable theoretical framework for GIS (Geographica Infonnation System), models map layers as "operands" which are the basic unit of geo-processing, and a variety of GIS commands as "operators." In this paper, we attempt at lifting some limitations of map algebras proposed in GIS literature. First, we model map layer as "function" such that we may employ the notion of meta operator (or, higher-order funtion) available in the functional programming paradigm. This approach provides map algebraic language with "programmability" needed in GIS user language. Second, we extend the semantics of, and improve on the sytactic structure of map algebraic language. Mer the data model and language associated with map algebra are formalized, we proceed to design and implement a prototype of map algebraic processor. The parser of the language in our prototype plays the role of transforming the native and heterogeneous user language of current GISs into a canonical map algebraic language. The prototype, named "MapSee" is a proof-of-concept system for the ideas we propsed in this paper. We believe that the uniform interface based on the map algebraic language will make promising infrastructure to support "Internet GIS." This is because the uniform but powerful interface through the Web clients allow access to both geo-data and geo-processing resources distributed over the network.to both geo-data and geo-processing resources distributed over the network.