• Journal of the Korean Society for Nondestructive Testing
• /
• v.22 no.4
• /
• pp.393-401
• /
• 2002

Pipelines in power plants, nuclear facilities and chemical industries are often affected by corrosion effects. It is important to inspect the internal defects in pipelines in oder to guarantee safe operational condition. We have taken relatively much time, cost and manpower to use conventional NDT methods because these methods are contact measuring methods. In this paper, we used digital shearography, a laser-based optical method which allows full-field measurement of surface displacement derivatives. This method has many advantages in practical use, such as low sensitivity to environmental noise, simple optical configuration and real time measurement. The experiment was performed with pressure vessels which has different internal cracks and detected internal cracks in the pressure vessels at a real time using phase shifting method.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2015.10a
• /
• pp.570-572
• /
• 2015

NFC (Near Field Communication) is an area of the RFID technology is a kind of short-range wireless communication. NFC technology is to utilize the data transfer, the access control system is usefully employed in many fields, such as mobile payment. Recently smartphone application development using NFC is activated, recognition of the convenience of the current NFC tag is insignificant state. In this paper, it is the content of the Application that was created in order to provide the knowledge of convenience food to the customer to visit the mart. Users with Mart, using smartphones, at a NFC tag that is attached to the food display stand food information, purchasing tips, keeping method, data such efficacy is provided over the screen of the smartphone. If you purchased the food is placed in the refrigerator "moves to the food list of application to click the button, through the food list screen their food list in the refrigerator, and by providing information such as expiration date, the user There is help me to be able to buy the more convenient food.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.4
• /
• pp.77-91
• /
• 2004

The standardization of learner information is needed for exchanging learner information in e-learning system with another educational institution. And also it is needed for providing customized educational service to the learner's characteristics. The purpose of this study is to develop standardization model of learner information that is focused learner's characteristics and performance in higher educational situation. Earlier researches related to the standardization of learner information are analyzed and added some ideas from instructional theory for dealing with meaningful information about learners. The draft standardization model of learner information with 33 of items in 3 areas is proposed. For the validation of this model proposed, we surveyed from 26 of universities that have been experienced e-learning service. It was divided into mandatory and optional items to the result of the survey.

• Journal of Digital Convergence
• /
• v.16 no.12
• /
• pp.41-50
• /
• 2018

In our society, recently, the concept of social economy stands out as an alternative to the mainstream economy in the market. It is noteworthy that although the social economy has the nature of practical field of civil society, the government has a willingness to actively support the social economy as a means of getting visible result of job creation. The social economy in Korea is being fostered by the government and understood within the framework of a very limited policy goal of providing jobs for the vulnerable. The problem is that the social value and community implications of the social economy are disappearing while the social economic organizations have higher policy status and become more and more dependent on the government's financial support. This paper suggests that the discourse on the social economy should be reconstructed while holding the problem of this situation.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• The Journal of the Korea Contents Association
• /
• v.7 no.1
• /
• pp.73-82
• /
• 2007

In recent years, embedded systems have been expanding their application domains from traditional applications (such as defense, robots, and artificial satellites) to portable devices which execute more complicated applications such as cellular phones, digital camcoders, PMPs, and MP3 players. So as to manage restricted hardware resources efficiently and to guarantee both temporal and logical correctness, every embedded system use a real-time operating system (RTOS). Only when the RTOS makes kernel services deterministic in time by specifying how long each service call will take to execute, application programers can write predictable applications. Moreover, so as for an RTOS to be deterministic, its scheduling and context switch overhead should also be predictable. In this paper, we present the complete generalized algorithm to determine the highest priority in the ready list with 22r levels of priorities in a constant time without additional memory overhead.

• KIPS Transactions on Computer and Communication Systems
• /
• v.10 no.6
• /
• pp.163-172
• /
• 2021

To specify a formal semantics for a programming language is to do a significant part for design, standardization and translation of it. The Python is popular and powerful, it is necessary to do research for a formal semantics to specify a static and dynamic semantics for Python clearly in order to design a similar language and do an efficient translation. This paper presents the Action Equation 2.0 that specifies a formal semantics for Python to change and update Action Equation. To measure the execution time for Python programs, we implemented the semantic structure specified in Action Equation 2.0 in Java, and prove through simulation that Action Equation 2.0 is a real semantic structure that can be implemented. The specified Action Equation 2.0 is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation 2.0 is superior to other formal semantics.

• The Journal of the Convergence on Culture Technology
• /
• v.10 no.3
• /
• pp.713-722
• /
• 2024

This study highlights the impact of Artificial Intelligence (AI) technology on journalism, discussing its utility and addressing major ethical concerns. Broadcasting companies and media institutions, such as the Bloomberg, Guardian, WSJ, WP, NYT, globally are utilizing AI for innovation in news production, data analysis, and content generation. Accordingly, the ecosystem of AI journalism will be analyzed in terms of scale, economic feasibility, diversity, and value enhancement of major media AI service types. Through the previous literature review, this study identifies key ethical and social issues in AI journalism as well. It aims to bridge societal and technological concerns by exploring mutual development directions for AI technology and the media industry. Additionally, it advocates for the necessity of integrated guidelines and advanced AI literacy through social consensus in addressing these issues.

• Sijohaknonchong
• /
• v.44
• /
• pp.255-279
• /
• 2016

Ignominy are ashamed or that mind. It is noted that this article 'shame[恥]' will do for obtaining the social dynamics in some way in the literary aspect. To investigate this aspect, this article took the text produced on the basis of 'shame[恥]' to be analyzed. First, through the Sayuksin[死六臣]'s Sijo[時調], 'Shame[恥]' they have confirmed the room to go to form a sympathy by revealing without hidden. It is worth evaluating in common with these Sijo is that of justice or loyalty. But the parameters of evaluation described what people are rare. In this article, I saw the parameter to 'shame[恥]'. Second, through the Sijo created in the war of the middle age of Chosun Dynasty, I examined the aspect of 'anger' which sparked a shame[恥]. Thus shame[恥] is hard to change the world directly. However, the possibility that it can also be a psychological instrument was found to be sufficient. In conclusion, 'shame[恥]' is clearly greater tendency to dismiss as a private act of the heart. But, I understood that the negative region of 'shame[恥]' can be converted to positive region. At this time, The premise of 'shame[恥]' should always be oriented to justice.

• Communications of Mathematical Education
• /
• v.13 no.2
• /
• pp.563-589
• /
• 2002

고학년으로 갈수록 지필 환경에만 머무르는 현실 속에서 생활 및 예술 작품 등에서 수학적 원리와 개념을 발견하도록 하는 테셀레이션 수업은 학생들의 흥미와 호기심을 유발하고 수학의 아름다움을 느끼게 하는 것 이상으로 기하학적 사고의 기초를 학습하는데 도움을 줄 수 있다. 이에 본 연구는 4학년까지 적용되고 있는 7차 교육과정을 중심으로 새롭게 등장하고 있는 테셀레이션에 대한 이해 및 교수 학습 자료가 체계적으로 정비되어 있지 못한 현실적인 문제의 해결 방안으로서 테셀레이션을 활용한 수학 학습의 내용을 분석하여 교사들에게는 테셀레이션의 이해 및 교수 학습 자료로서 , 학생들에게는 수학의 기하적 개념들을 쉽고 재미있게 학습할 수 있는 학습도구로서 활용할 수 있도록 하는 것을 목적으로 테셀레이션을 구현할 수 있는 컴퓨터 소프트웨어를 활용하여 테셀레이션 교수 학습 자료를 개발하였고 이를 위해 다음과 같은 연구 내용을 설정하였다. 가. 테셀레이션의 정의와 예 그리고 종류를 알아보고 테셀레이션 속의 수학적 개념을 활용방법과 함께 제시한다. 나. 제7차 초등 수학 교육과정 중 도형 영역과 규칙성과 함수 영역을 중심으로 테셀레이션을 적용할 수 있는 내용영역을 분석하고 컴퓨터 소프트웨어를 활용한 테셀레이션 자료를 제시한다. 다. 제작된 테셀레이션 교수 학습 자료의 효과적 활용을 위한 활용 방안을 탐색한다. 라. 제작된 테셀레이션 교수 학습 자료의 활용 효과를 알아보기 위해 적용 실험을 하고 이에 대한 학생들의 반응을 분석하여 학습의 효과를 밝힌다. 제작된 테셀레이션 교수 학습 자료의 적용 실험을 위하여 광주대성초등학교 6학년 한 반을 선정하였고 약 4주에 걸쳐 컴퓨터 소프트웨어를 활용한 테셀레이션 교수 학습 자료를 투입하여 4번의 활동수업을 실시하였다. 수업 후 작성된 학습지와 소감문 및 연구자에 의해 관찰된 수업내용을 바탕으로 다음과 같은 연구 결과를 얻을 수 있었다. 첫째, 제7차 초등 수학 교육과정 중 도형 영역과 규칙성과 함수 영역을 중심으로 컴퓨터 소프트웨어를 활용한 테셀레이션 자료를 제시한 결과 지필적 환경에서 제한적이었던 탐구하고 조작해보는 활동을 할 수 있는 역동적인 수학 실험실 환경이 제공됨으로써 도구적 이해가 아닌 관계적 이해를 하는 것을 확인할 수 있었다. 수학적 개념을 암기하는 것에서 벗어나 자연스런 조작을 통해 학생들이 개념을 이해하고 탐구하는 과정 속에서 학생들은 수학을 공부한다기 보다는 수학 속에서 재미있게 놀이한다는 생각을 가지고 수업에 참여하였고 배우는 즐거움을 알고 자신감을 가지며 더 나아가 창의적인 생각을 하도록 하는 기회를 줄 수 있었다. 둘째, 테셀레이션은 우리 생활 속에서 쉽게 발견할 수 있는 것으로 수학이 단순히 책에서만 한정되지 않고 다양한 분야 즉 디자인, 생활 속에서의 벽지문양과 포장지, 예술작품 등에 활용되고 있음을 체험함으로써 수학이 실생활에 광범위하게 활용되고 있음을 알게 하였다. 역으로 생활 속에서의 테셀레이션을 통해 수학적 개념을 찾는 과정을 통해 수학이 아름다우면서도 실용적이라는 생각을 심어줄 수 있었다. 셋째, 테셀매니아, GSP, 캐브리, 거북기하 등 평소 수업에서는 활용도가 적은 컴퓨터 소프트웨어를 활용함으로써 컴퓨터 소프트웨어 자체에서 오는 호기심뿐만이 아니라 직접 조작하여 테셀레이션 작품과 개념을 익히고 새로운 작품과 학습을 해 내는 과정을 통해 자신감과 성취감 등에 있어 큰 변화가 있음을 발견할 수 있었다. 컴퓨터 기능이 미숙한 학생의 경우 처음에는 당황해 하고 어려워하는 부분도 있었으나 조작할 시간적 여유를 주고 교사와 우수한 학생들이 도우미로서 역할을 잘해내어 나중에는 큰 어려움 없이 마칠 수 있었다. 테셀레이션이라는 용어가 아직은 생소한 현장에서 교수 학습 자료가 부족하고 그에 따른 이해도 부족한 현실 속에서 컴퓨터 소프트웨어를 활용한 테셀레이션 교수 학습 자료가 교수 학습 현장에 투입되어 유용하게 사용될 수 있는지 그 가능성을 조사한 것을 목적으로 한 본 연구의 결과로서 테셀레이션이라는 주제는 도형 영역과 규칙성과 함수 영역에서 평면 도형의 각과 모양 등의 성질을 탐구하게 하고, 대칭변환의 개념을 효율적으로 학습하게 할 수 있고, 반복되는 모양에서 규칙성을 발견하고 부분과 전체를 파악하여 패턴을 인지할 수 있게 하며 제작하고 분석하는 과정을 통해 여러 가지 수학적 개념과 수학적 창의성, 수학적인 아름다움을 느끼게 할 수 있음을 발견할 수 있었다. 또한 테셀레이션은 수학적 개념은 물론 수학과 미술, 수학과 일상 생활과의 연결성을 논의하고 확인하는 데 흥미로운 주제가 될 수 있다. 초등학교 교육과정에서 새롭게 도입되고 있는 테셀레이션을 활용하여 지도하기 위한 교수 학습 자료로 유용하게 사용될 수 있고 앞으로는 테셀레이션과 관련된 내용이 직접적으로 교육과정 내에서 다루어지고, 또한 테셀레이션을 적용한 수업이 학생들의 기하학적 사고 및 수학적 태도에 미치는 영향과 관련한 연구가 뒤따라야 할 것으로 본다.