• Journal of KIISE:Software and Applications
• /
• v.35 no.3
• /
• pp.149-161
• /
• 2008

As Programmable Logic Controllers(PLCs) are frequently used to implement real-time safety critical software, testing of PLC software is getting more important. We propose a structural testing technique on Function Block Diagram(FBD) which is one of the PLC programming languages. In order to test FBD networks, we define templates for function blocks including timer function blocks and propose an algorithm based on the templates to transform a unit FBD into a flowgraph. We generate test cases by applying existing testing techniques to the generated flowgraph. While the existing FBD testing technique do not consider infernal structure of FBD to generate test cases and can be applied only to FBD from which the specific intermediate model can be generated, this approach has advantages of systematic test case generation considering infernal structure of FBD and applicability to any FBD without regard to its intermediate format. Especially, the proposed method enables FBD networks including timer function blocks to be tested thoroughly. To demonstrate the effectiveness of the proposed method, we use trip logic of bistable processor of digital nuclear power plant protection systems which is being developed in Korea.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.6
• /
• pp.858-863
• /
• 2010

In order to enhance encoding speed in dynamic image encoding using H.264/AVC, reducing the time for motion estimation which takes a large portion of the processing time is very important. An approach using graphics processing unit(GPU) as a coprocessor to assist the central processing unit(CPU) in computing massive data, will be a way to reduce the processing time. In this paper, we present an efficient block-level parallel algorithm for the motion estimation(ME) on a computer unified device architecture(CUDA) platform developed in general-purpose computation on GPU. Experiments are carried out to verify the effectiveness of the proposed algorithm.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.8
• /
• pp.1135-1144
• /
• 2010

The high tech marine transportation infrastructure is an innovative transportation infrastructure that may be able to secure a safe transportation environment as well as efficient operation by connecting up-to-date skills including a broad range of wire and wireless communication-based information, control and electronics technologies. When integrated into the marine transportation infrastructure by the standard requirements, these standard technologies help monitoring and managing navigational aids. This paper defined a concept of middleware in the marine traffic management systems which gives characteristics of system independency, scalability, extensibility, and researches a functionality of the middleware and a software block of the middleware.

• Journal of Korea Multimedia Society
• /
• v.20 no.2
• /
• pp.313-321
• /
• 2017

The emergence of E-book have allowed readers to interact with other readers and to actively participate (e.g. social reading). Furthermore, there is a growing demand in writer's community to take the advantage of the feedback from their readers to update the content of E-book. To do that, they require the service that utilizes the user feedback while creating or updating the e-book content. This study aims to let authors collect and to apply the reader's feedback on E-book content. However, in order to apply the user feedback, users first need to explicitly type the feedback, and even if they do, authors need to develop the software to automatically analyze and to apply the user feedback. This makes difficult for authors without programming background to produce E-book with automatic content adaptation. In this paper, we propose Feedback Clue Model to generate, analyze and apply the user feedback into E-book content. Based on this model, we develop the block editor which allows easy implementation of E-book that can be dynamically updated.

• Journal of KIBIM
• /
• v.11 no.3
• /
• pp.12-21
• /
• 2021

Existing real estate markets are monopolized because they are capital intensive and have information asymmetry. However, with the advent of the Fourth Industrial Revolution, technology is converging in various industries based on information technology (IT), and the real estate market is also developing a new field called "PropTech". According to this trend, new PropTech technologies are emerging in various real estate services sectors in Korea, but the electronic contract system, which accounts for the largest portion of the real estate industry, is still cited as a complex identification process and long processing time. Therefore, in this paper, we propose an improvement plan for the current electronic contract system through the introduction of blockchain technology, which is drawing attention with the development of PropTech, and explore the possibility of introduction by producing an experimental model of blockchain-applied electronic contract system in a programming language.

• The KIPS Transactions:PartD
• /
• v.11D no.2
• /
• pp.415-422
• /
• 2004

Automation systems improve the productivity of works which relate to product design, facilities management, fault processing and quality evaluation. In these systems, the description language for monitoring and control process is called new control language. These are five flow control languages : IL, ST, FBD, SFC and LD. IL and ST are based on left form. FBD, SFC and LD are based on graphic form. Generally, a software which monitors and controls a system is allowed to use just one flow control language. It is impossible to use more than two languages for simulation in the same system environment. In this paper, we analyzed the characteristics of flow control languages and the process of programming in the legacy system. In addition, for the Integrated processing of languages, we propose Extended ST based on the high-level ST language. Based on this research, we implement a graphical language editor and EST-IL convertor. The graphical language editor makes sequence rules, and converts graphical language into EST. EST-IL convertor has a function to convert EST into IL which is similar to assembly language. As the result of this paper, we present a scheme which integrates all the flow control language processing based on IL.

• Journal of the Korean School Mathematics Society
• /
• v.22 no.3
• /
• pp.257-275
• /
• 2019

Technology-based convergence education is being emphasized for students in the era of the fourth industrial revolution. In math education, students need to increase their capabilities in the future by having them experience mathematical problems using robots and sensors, a key technology in the era of the fourth industrial revolution. To this end, it is necessary to present educational uses for educational robots in relation to math and curriculum from a 'mathematics education perspective' and analyze its educational use in relation to the mathematics and curriculum, considering the role of mathematics at the base of the process of exploring real-world phenomena and solving problems. Based on the analysis of Van Hiele levels of development in geometry and the LOGO activity level of Olson et al.(1987), this study analyzed and presented the level of LEGO Mindstorm activity, a representative educational Robot capable of collecting and analyzing data and programming in the form of block language, in the first to fourth level.

• Journal of Korea Multimedia Society
• /
• v.10 no.5
• /
• pp.604-611
• /
• 2007

Java Card has gained genera1 acceptance with standard for smart card and (U)SIM technology, and it is in distinction from native card by its post-issuance of an application and independence from hardware platforms. However, a main weak point of Java Card is its low execution speed caused by the hardware limitation and Java programming language itself. In this paper, we propose a new Java Card Installer to improve the download speed during the post-issuance of an application by resolving symbolic references to physical references in HAM. Our Resolution_In_RAM is based on the improved new RAM writing is 100,000 times faster than EEPROM writing and PageBuffer that is operated as block mode, rather than cell mode is used to write to EEPROM. Consequently, the total number of EEPROM writing are reduced 37%, and the times of downloading are reduced over 30% by using the Resolution_In_RAM-based Java Card Installer.

• KIPS Transactions on Computer and Communication Systems
• /
• v.6 no.5
• /
• pp.219-230
• /
• 2017

General-Purpose Graphics Processing Units (GPGPUs) build massively parallel architecture and apply multithreading technology to explore parallelism. By using programming models like CUDA, and OpenCL, GPGPUs are becoming the best in exploiting plentiful thread-level parallelism caused by parallel applications. Unfortunately, modern GPGPU cannot efficiently utilize its available hardware resources for numerous general-purpose applications. One of the primary reasons is the inefficiency of existing warp/thread block schedulers in hiding long latency instructions, resulting in lost opportunity to improve the performance. This paper studies the effects of hardware thread scheduling policy on GPGPU performance. We propose a novel warp scheduling policy that can alleviate the drawbacks of the traditional round-robin policy. The proposed warp scheduler first classifies the warps of a thread block into two groups, warps with long latency and warps with short latency and then schedules the warps with long latency before the warps with short latency. Furthermore, to support the proposed warp scheduler, we also propose a supplemental technique that can dynamically reduce the number of streaming multiprocessors to which will be assigned thread blocks when encountering a high contention degree at the memory and interconnection network. Based on our experiments on a 15-streaming multiprocessor GPGPU platform, the proposed warp scheduling policy provides an average IPC improvement of 7.5% over the baseline round-robin warp scheduling policy. This paper also shows that the GPGPU performance can be improved by approximately 8.9% on average when the two proposed techniques are combined.

• Journal of The Korean Association of Information Education
• /
• v.24 no.4
• /
• pp.279-289
• /
• 2020

The purpose of this study is to apply the training program for teachers to strengthen the competence of artificial intelligence education in primary and secondary school teachers and to analyze its effectiveness and analyze teachers' demands for artificial intelligence education to provide basic research data. The referenced training program was designed based on the ADDIE model by selecting the educational contents based on the five core elements of AI, and teachers from the G Metropolitan Office of Education and the AI Education Research Association collaborated to develop the program. The effectiveness of the developed program and questionnaire of teacher needs analysis for AI teaching were examined for content validity. As a result of the training conducted by applying the developed program, satisfaction with each curriculum of the training and the possibility of application to the field were highly evaluated. It was found that teachers consider the need of teaching unplugged activities for AI education and basic AI experiences in elementary school level, and AI education contents including block programming languages and physical computing activities are needed to teach in middle school level.