• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04b
• /
• pp.1507-1510
• /
• 2002

인터넷의 급속한 발전으로 웹 환경을 지원하는 언어가 등장하고, 웹을 이용한 온라인 교육 시스템이 등장하였다. 현재 이와 같은 시스템은 구성 패러다임의 절차적인 형식으로 인해 시스템의 기능확장 및 성능 개선, 유지 보수의 차원에서 효율적이지 못한 문제점을 갖고 있다. 이에 본 논문에서는 이기종 분산환경에 적합한 CORBA 프레임웍을 이용하여 각각의 요소들을 컴포넌트화 한 온라인 교육 시스템을 설계하고, 시스템의 기능 확장 및 성능개선, 시스템 유지 보수에 적합한 환경을 구현하였다.

• 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.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.85-89
• /
• 2006

구간값 퍼지집합은 일반적인 퍼지집합보다 언어적인 의사결정 절차에서 매핑의 정확성과 계산의 효율성이 뛰어나고, 규칙의 가중치는 패턴 분류문제에서 분류 경계를 효율적으로 조정할 수 있다는 장점을 가지고 있다. 따라서 본 논문에서는 퍼지규칙 기반 분류방법을 구간값 퍼지규칙 기반 분류방법으로 확장하고 규칙의 가중치를 고려한 분류방법을 제안한다. 모의실험에서는 일반 퍼지집합에서 규칙 가중치를 고려한 분류방법과 구간값 퍼지집합에서 규칙 가중치를 고려한 분류방법을 비교하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1136-1140
• /
• 2010

Esterel is an imperative synchronous language and its formal semantic based on finite state machine makes it easy to perform program analyses using automata. In this paper, we propose a syntax-driven automata generation rule. Because our rule intuitively expresses syntactic structure, it is very useful for other program analyses.

• Journal of the Korea Society for Simulation
• /
• v.21 no.1
• /
• pp.55-68
• /
• 2012

Recently it is important to understand service supply chain because the economy moves from manufacturing to services. However, most of existing supply chain research focuses exclusively on the manufacturing sector. To overcome this situation, it needs to investigate and analyze service supply chain. Simulation is one of the most frequently used techniques for analysis and design of complex system. Service supply chain is complex and large systems that require an accurate designing phase. Especially, it is important to examine closely the dynamically interactive behavior of the different service supply chain components in order to predict the performance of the servcie supply chain. In this paper, we develop a conceptual model of service supply chain. Then, we present a new procedure to develop simulation model for the developed conceptual model of service supply chain, based on the UML analysis and design tools and on the ARENA simulation language. The two main characteristics of the proposed procedure are the definition of a systematic procedure to design service supply chain and of a set of rules for the conceptual model translation in an ARENA simulation language. The goal is to improve the knowledge on service supply chain management and support the simulation model development efficiency on service supply chain.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.89-96
• /
• 2004

Abstraction is an important concept applied widely to variables, functions, complex data, abstract data types, classes and polymorphism in programming languages. However, the concept of abstraction has been considered as ambiguous and explained differently because it is not defined clearly and uniformly. In this paper, we analyse many aspects of abstraction in programming languages, and propose the taxonomy of abstraction. We classify abstraction according to the mechanism of formation into 4 categories such as napping abstraction, bundling abstraction. integrating abstraction and extending abstraction. We also consider many concepts related closely to abstraction such as functions, abstract data types, objects, encapsulation and classes in the view of abstraction. These analysis and consideration will make it possible to explain uniformly various aspects of abstraction which have been treated individually and differently, and to understand the meanings, necessity and importance of abstraction more intensively.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.4
• /
• pp.816-823
• /
• 2005

Non-Horn logic programs are extended from Horn logic programs to the level of 1st order predicate logic. Even though they are more expressive than Horn logic programs, They are not practically used because we do not have efficient implementations. Currently to execute non-Horn logic programs, we translate them to equivalent Horn logic programs using the proof procedure InH-Prolog and compile the Horn logic programs to WAM(Warren Abstract Machine) instructions. In this paper, we propose EWAM(Extended Warren Machine) that executes non-Horn logic programs more efficiently and a compilation scheme that compiles non-Horn logic programs to the EWAM instruction. We implement an EWAM emulator and a compiler and measured the performance of the EWAM emulator and the compiler and found that they are very efficient.

• The Journal of the Korea Contents Association
• /
• v.16 no.12
• /
• pp.600-621
• /
• 2016

This study aims to develop and apply the language education program model - based on balanced language education approach - on development of literacy of young children in low-income families, specially participating in Dream Start public welfare service. Development of this languge education program was based on the basic view and characteristis of balanced language education. It was progressed in accordance with Analyze-Design-Develop-implement-Evaluate(ADDIE), which is an widely-used instructional design model. Educational contents including reading skills of picture books based on whole language approach and well-structured reading and writing sequences, teaching and learning method including the principles and the strategies and teaching and learning systematic evaluation method are proposed in viewpoint of balanced language teaching approach. The application of the program was conducted targeting 20 young children participating in Dream Start welfare service from June 2015 until early November. To evaluate the effectiveness of this program, word reading inspection and nonsense word reading inspection developed by Ko, Yeon-Kyung(2002) were performed. The reflective thinking journal of visiting teachers and the satisfaction reported by parents were analysed in the qualitative research method. As a result, reading skills of young children were improved. The superiority of the program - prefernce for the picture book, interests in written languages, effectiveness of individualized language education method - was demonstrated by qualitative analysis of reflective journal. This study has the significance on presenting the executable language education model for literacy development of young children in low-income families based on balanced language education approach.

• Journal of Digital Contents Society
• /
• v.19 no.5
• /
• pp.891-898
• /
• 2018

Although programming language is a core education area of software that is becoming increasingly important in the age of the fourth industrial revolution, as it requires logical thinking skills, it is recognized as a difficult subject even for SW major students. This difficulty occasionally causes SW major students to lose interest and confidence in their major during the introductory course of a programming language; making them change their majors, or give up their studies. In this study, we designed an instructional model using Scratch for educating C language which is a typical programming introductory language. To do this, we analyzed the concepts that can be trained by Scratch among the programming concepts supported by C language, and developed the examples of Scratch for exercising the concepts. The instructional model supports the progress model of learning first the programming concepts through Scratch and then expand the learning content into C language. We also conducted an experiment on the SW major freshman students of a local private university to verify the effectiveness of the model.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2007.11a
• /
• pp.599-602
• /
• 2007

To enhance the competition of National power, the investment of SOC is an essential factor for infrastructure construction. The capital for SOC is so gigantic and the national finance is limited, engagement of various subject is necessary. So, Government is promoting the private sector to invest capital in SOC development. Nevertheless the increasement of SOC investment, various problems were issued in selection & operation of BTL. Therefore, to raise the probability of success for BTL project, escalation, unification and specialization of BTL affairs, BTL selection process were suggested in this study.