• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• Journal of the Korea Convergence Society
• /
• v.12 no.5
• /
• pp.23-29
• /
• 2021

Recent deep learning-based natural language processing studies are conducting research to improve performance by training large amounts of data from various sources together. However, there is a possibility that the methodology of learning by combining data from various sources into one may prevent performance improvement. In the case of machine translation, data deviation occurs due to differences in translation(liberal, literal), style(colloquial, written, formal, etc.), domains, etc. Combining these corpora into one for learning can adversely affect performance. In this paper, we propose a new Corpus Weight Balance(CWB) method that considers the balance between parallel corpora in machine translation. As a result of the experiment, the model trained with balanced corpus showed better performance than the existing model. In addition, we propose an additional corpus construction process that enables coexistence with the human translation market, which can build high-quality parallel corpus even with a monolingual corpus.

• Journal of the Korean School Mathematics Society
• /
• v.10 no.2
• /
• pp.207-219
• /
• 2007

Students have a hard time with a formal proof, which is one of most important part in mathematics education. They were taught the proof with algebraic visual materials using technology and specialized visual materials. But, they experienced the difficulty in justifying due to the lack of experimental recognition with the representation using technology. The specialized visual materials limited the extension of mathematics thinking of students because it worked only for the case that is fixed. In order to solve this type of problem, we made algebraic visual materials for 9th graders using technology and generalized visual materials so that students experience for themselves to help them to experience experimental justification, thus we recognized that they were improved in enhancing mathematical thinking.

• Korean Educational Research Journal
• /
• v.41 no.1
• /
• pp.59-79
• /
• 2020

Men learning has no fixed route. In other words, any route can be taken, which can also be seen in the structure of other "complex systems" discussed in modern society. It can also be examined through Yang's long-standing classic, The Book of Changes Men learning itself started from informal learning to become today's formal learning. As we look at the stages of human civilization's progress, we can quickly discover these stages of development. The issue of human beings has always been a topic of discussion, and these discussions are ongoing. Men learn through language and tools, technology and culture, and through philosophy, art, and religion to deal with their complex and diverse mental world. Through these various activities, learning is accomplished. This is not limited to the physical processes of one generation learning through inheriting knowledge; men's learning, a kind of mental process, has extended our life. This is why there is no other reason that men's minds and learning are always developing. This study is about how to learn in a complex and diversified modern society and to find out how to coexist with the principles of the "complex system" and The Book of Changes.

• Journal of the Korean earth science society
• /
• v.31 no.1
• /
• pp.71-87
• /
• 2010

The purpose of this study was to explore 8th-grade students' imageries of the Earth. We analyzed the middle school students' imageries about the Earth represented with words and drawings in Earth Systems Understanding (ESU, hereafter) framework. The students' imageries about 'the Earth' are vary by their experiences and prior-knowledge, which significantly impacts their imagery construction. Especially, the students' ESU were characterized into two aspects: One is a macroscopic view point based on full-objects of the Earth by indirect experiences and the other is everyday view point based on scene of the Earth surface and environment by direct experiences. Results revealed students' imageries about the Earth were impacted by visual experiences and those students' ESU were more represented by drawing as visual imagery than by words, formal language. The negative imageries were mainly represented through interactions of the Earth subsystems.

• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.947-956
• /
• 2002

It is advantageous to use XML in developing user interfaces, since XML is independent from platforms and languages and it is easy to learn and use. The existing XML-based languages do not adopt formal model, and they are developed in ad hoc manner. Moreover, they provide limited facilities to handle user events, and combine user interface components with internal logics. In this paper, we introduce an extended MVP (EMVP) model, which is extended from MVP (Model-View-Presenter), and XUIML, which is a new XML application based on the EMVP to support user interface. XUIML provides useful methods to build user interface, including methods to describe actions on user events, data flows between objects, and internal logics. The XUIML system provides two style editors - text editor and graphic editor. It also provides two code generators. One generates Java source, and the other generate C# code from XUIML document. The XUIML graphic editor allows users to manipulate XML elements directly, and we can gain high productivity with the graphic editor.

• The Journal of the Korea Contents Association
• /
• v.14 no.11
• /
• pp.592-601
• /
• 2014

This study examines newspaper obituaries in Korean media and English media. Initially, 100 Korean obituaries were collected from the JoongAng Ilbo which span over more than three years, from May 2011 to August 2014. After that, another 50 Korean obituaries were gathered from the DongA Ilbo which were published over the same time period with the JoongAng Ilbo. As for English newspapers, obituaries from the New York Times and the Guardian were included in the corpus for comparison. First, the structure and composition of obituaries in each language (Korean and English) are compared. Korean obituaries show a pattern of a combination of a death notice and an obituary. Second, distinct features of each newspaper are discussed. The JoongAng Ilbo has its obituary section titled "Life and Memories", and the DongA Ilbo's obituaries are under the heading of "Rest in Peace." Obituaries in the New York Times appear in print on different pages of the paper according to the deceased's field of interest. Following discussion of formal structure and characteristics of each newspaper, Korean and English obituaries will be compared in terms of content and cultural context.

• Korean Institute of Interior Design Journal
• /
• no.13
• /
• pp.150-160
• /
• 1997

The tendency of the Minimalism in the contemporary a architecture is based on Mies van der Rohe s saying ‘나SS IS m more" as the principle of the Minimal art and its formative c composition. It can be divided into technical Minimalism p prevailed in Northern Europe and the zone of German l language, and the regional one in Southern Europe and S Southern America. The former is interested in the experiences of the techniques and materials, and the latter in that of the s space and the place through the simple forms. The minialistic approach to the architecture is nat only m methodological one. It accepts the concept and the construction of architecture as 2 axes for making it keeps the tradition and c communication with the master builder, the materials, and i염 m means to compound. The expressive characteristics of works in M Minimalism are 1) as the formal issue, it is simple, self-referring. without any symbol or any allusion, and compounds the r repetitive forms as the comceptual aspec않 of architecture, 2) it h has the characteristies such as the approach directly to the m means by which architecture made, the critical interests to the m material attributes, and the capacity to the contemporary t technology as the issue of technique and materials, 3) regarding t the space and the place, it shows the good sense to the site in t the sphere intervention of architecture 1e Maininlalism architecture has i않 impotance in the point t that it seeks to the qualities immanent in architecture by s showing the marvelous status through discovering the i immanent properties of the site, program materials, and the s structure, and also it begins new way of interpreting a architecture with new viewpoint to the its essence as well as a architecture itself.self.

• Journal of KIISE:Databases
• /
• v.35 no.3
• /
• pp.243-256
• /
• 2008

With rapid growth of Internet, the amount of information in the Web is increasing exponentially. However, information on the current Web is understandable only for human, and thus it makes the exact information retrieval difficult. For solving this problem, the Semantic Web is suggested and we must use ontology languages that can endow data to semantics for implementing it. One of the representative ontology languages is OWL(Web Ontology Language) adopted as a recommendation by the World-Wide Web Consortium. OWL has richer expression power and formal semantics than other ontology languages such as RDF and RDF-S. In addition, OWL includes hierarchical structure information between classes or properties. Therefore, an efficient OWL storage model considering hierarchical structure for effective information retrieval on the Semantic Web is required. In this paper, we suggest the XPOS(XPath-based OWL Storage) model including hierarchy information between classes or properties as XPath form and enabling intuitive and effective information retrieval. Also, we show the comparative evaluation results on the performance of XPOS model, Sesame, and the XML storage-based storage model regarding query processing.

• Korean Journal of Cognitive Science
• /
• v.19 no.3
• /
• pp.223-255
• /
• 2008

In this paper, we introduce an automatic system of scoring English essays. The system is comprised of three main components: a spelling checker, a grammar checker and a lexical cohesion checker. We have used such resources as WordNet, Link Grammar/parser and Roget's thesaurus for these components. The usefulness of an automatic scoring system depends on its reliability. To measure reliability, we compared the results of automatic scoring with those of manual scoring, on the basis of the Kappa statistics and the Multi-facet Rasch Model. The statistical data obtained from the comparison showed that the scoring system is as reliable as professional human graders. This system deals with textual units rather than sentential units and checks not only formal properties of a text but also its contents.