• Journal of KIISE:Software and Applications
• /
• v.27 no.9
• /
• pp.986-1002
• /
• 2000

정적 분석을 사용하여 프로그램의 입력에 의존하는 성질을 예측하는 방법을 제안한다. 제안된 방법은 입력에 무관한 성질을 예측하도록 설계된 정적 분석을 입력에 의존하는 성질을 예측하는 분석으로 변환한다. 이 방법은 실행 중에 프로그램의 성질을 알아내기 위해서 실행중인 프로그램을 관찰하는 코드가 필요 없고 계측된 자료를 모으는 과정도 필요 없다. 정적 분석의 가장 마지막 부분을 프로그램의 실행 시간으로 미루는 것이 이 논문의 핵심 아이디어다. 먼저 정적 분석을 분석하여, 프로그램의 입력에 민감하여 프로그램의 실행시간으로 연기되어야 하는 부분을 찾아낸다. 그 후, 값을 자른 분석을 사용하여 이 부분을 재구성하여 프로그램의 입력에 대한 간단한 멤버쉽 테스트에 의해 분석이 풀어질 수 있도록 한다. 이런 재구성 과정을 통해 준비된 분석들은 프로그램의 입력이 나타나기만 하면 순간적으로, 동시에 풀려질 수 있다. 모든 과정은 엄밀하게 정의되고 증명되었다.

• The Journal of Information Technology
• /
• v.3 no.2
• /
• pp.63-72
• /
• 2000

The peformance and quality of Web sites are often being estimated by the frequency that the users approach its site. This paper suggest how a link-editing method can automatically fix a poor organization by calculating each page's relative popularity, and how improve fix poor pages. Page's relative popularity depended on only cases where the objective Is to make it easier for a user to find the requested data; the faster the access, the better the organization of the Web sites according to tree depth.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.1
• /
• pp.106-110
• /
• 2008

The requirement for customized learning environments is increasing with the development of Web 2.0 technology To personalize services in E-learning, there are various functions available to the user. However, some components have fixed or inflexible functionality that limits what can be changed, and customization information has not been used for other purposes. In this paper, we propose an e-Space manager for the dynamic customization of learning environment control units. The proposed method can confirm which areas users have customized and how they have customized them. The advantage is that users can control their own learning environments, including not only the format, but also the content within the limits of the underlying system. The customization information is captured to confirm the competency model.

• Journal of Korea Water Resources Association
• /
• v.43 no.1
• /
• pp.105-117
• /
• 2010

This paper presents a new and simple technique to perform MUSCL reconstruction for solving 2D shallow water equations. The modified MUSCL scheme uses weighted area ratio to apply non-uniform grid in stead of the previous method that equally distributed the difference of conservation variables to each interface. The suggested method can physically reconstruct conservation variables in case of uniform grid as well as non-uniform grid. In this study, Unsplit scheme applicable to unstructured grid is used and efficient slope limiter of TVD scheme is used to control numerical oscillation which can be occurred in modified MUSCL scheme. For accurate and efficient treatment of bed slope term, the modified MUSCL scheme is coupled with the surface gradient method. The finite volume model applied to suggested scheme is verified through a comparison between numerical solution and laboratory measurements data such as the simulations of isolated building test case and Bellos's dam break test case.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.3
• /
• pp.43-55
• /
• 2008

This study investigates how learners extract their implicit knowledge into explicit form of the knowledge. The process of implicit-explicit transfer is known to help learners to reconstruct and refine their knowledge which was constructed before in some ways. Also we investigate which types of explicit form are more effective when it is delivered to other learners. In a classroom-based learning environment, students take educational content that is delivered by instructor and go through the process in which they try to fit the content into their cognitive structure by reconstructing the knowledge into their cognitive model. When they try to deliver their own cognitive model for the knowledge to other learners, they have to transform it into explicit form, and through the process, they reconstruct and refine the cognitive model of the knowledge, and find effective and appropriate way to express it. In this research, we experimented the process on a group of 77 college students and analyzed the results. We also did peer evaluated experiments to see which types of explicit format and factors are more effective than others. The results indicate that the types of explicit form of implicit knowledge play an important role in effectiveness of learning.

• Communications of Mathematical Education
• /
• v.20 no.2 s.26
• /
• pp.147-177
• /
• 2006

The 7th curriculum sets a basic direction based on learner centered teaching, with the aim of allowing students to develop their mathematical ability. Teachers' manuals are provided to help teachers fallow the basic direction and achieve the curriculum aims, but in practice they are not always helpful. Therefore, we reconstructed parts of a teachers' manual. This involved analyzing the contents of units 6, 7 and 8 of the elementary mathematics textbook 4 na to identify and outline the problems; introducing more detailed teaching methods and activities; and developing teaching learning materials. We tested the new version in several real classes and analysed the responses 6f teachers and students to examine the possibility of its practical use. The results suggest that the reconstructed version of the teachers' manual for units 6, 7 and 8 of textbook 4 na is of greater practical utility.

• Journal of the Korean association of regional geographers
• /
• v.14 no.2
• /
• pp.159-172
• /
• 2008

The purpose of this study is to analyse the content of regional learning in social studies textbooks for the 1st-year and 3rd-year middles school. The content of regional learning in social studies for middle school is described with not layered scale between local and global but segmented scale. So this study selected Andong city as an exemplary case and reconstructed the learning content and class to things necessary in the age of globalization. In the class for designing the local image of Andong, the students were advised to visit the homepage in Andong city. In the course. students showed increasing interest in local festivals, events, locality promotion, etc. executed by Andong. Many of the students were interested in activity designing new local images of Andong. In particular, According to the result of applying localization learning necessary in the age of globalization to 1st-year middle school students, the class was found to be understood adequately. It is needed to develop localization teaching-learning programs fit for the developmental stage of 1st-year middle school students.

• Spatial Information Research
• /
• v.2 no.2
• /
• pp.175-188
• /
• 1994

A competitive learning network was proposed as unsupervised training method of remote sensing data, Its performance and computational re¬quirements were compared with conventional clustering techniques such as Se¬quential and K - Means. An airborne remote sensing data set was used to study the performance of these classifiers. The proposed algorithm required a little more computational time than the conventional techniques. However, the perform¬ance of competitive learning network algorithm was found to be slightly more than those of Sequential and K - Means clustering techniques.

• Journal of Korean Society of Archives and Records Management
• /
• v.2 no.1
• /
• pp.67-95
• /
• 2002

The purpose of this paper is to research and suggest ideal environment for the preservation of the National library collections. Current conditions of National library was also investigated, and many results showed that not only technical resolutions but also reorganization of staffs and structure is needed. Moreover, for the realization of ideal preservation environment, mid-long term development plans for the National Library was also provided.

• Journal of radiological science and technology
• /
• v.29 no.3
• /
• pp.125-132
• /
• 2006

The PET/CT scanner is an evolution in image technology. The two modalities are complementary with CT and PET images. The PET scan images are well known as low resolution anatomic landmak, but such problems may help with interpretation detailed anatomic framework such as that provided by CT scan. PET/CT offers some advantages-improved lesion localization and identification, more accurate tumor staging. etc. Conventional PET employs tranmission scan require around 4 min./bed position and 30 min. for whole body scan. But PET/CT scanner can reduced by 50% in whole body scan. Especially nowadays PET scanner LSO scintillator-based from BGO without septa and operate in 3-D acquisition mode with multidetectors CT. PET/CT scanner fusion problems solved through hardware rather than software. Such device provides with the capability to acquire accurately aligned anatomic and functional images from single scan. It is very important to effective detection from gamma ray source in PETdetector. And can be offer high quality diagnostic images. So we have study about detection processing of PET detector and high quality imaging process.