• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.2
• /
• pp.478-493
• /
• 2024

In this paper, the Mixed Integer Linear Programming (MILP) model is improved for searching differential characteristics of block cipher Midori-64, and 4 search strategies of differential path are given. By using strategy IV, set 1 S-box on the top of the distinguisher to be active, and set 3 S-boxes at the bottom to be active and the difference to be the same, then we obtain a 5-round differential characteristics. Based on the distinguisher, we attack 12-round Midori-64 with data and time complexities of 2⁶³ and 2^103.83, respectively. To our best knowledge, these results are superior to current ones.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.254-254
• /
• 2000

This paper presents a genetic programming based evolutionary strategy for on-line adaptive learnable evolvable hardware. genetic programming can be useful control method for evolvable hardware for its unique tree structured chromosome. However it is difficult to represent tree structured chromosome on hardware, and it is difficult to use crossover operator on hardware. Therefore, genetic programming is not so popular as genetic algorithms in evolvable hardware community in spite of its possible strength. We propose a chromosome representation methods and a hardware implementation method that can be helpful to this situation. Our method uses context switchable identical block structure to implement genetic tree on evolvable hardware. We composed an evolutionary strategy (or evolvable hardware by combining proposed method with other's striking research results. Proposed method is applied to the autonomous mobile robots cooperation problem to verify its usefulness.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.22 no.2
• /
• pp.221-226
• /
• 2018

Open source software allows revising and adding a new idea on them as well as debugging themselves. The open source software can be utilized as various educational programs as well as development of a commercial software products using them. MIT App Inventor, one of the block-based visual programming environments for education, supports building a local server and even revision of the platform itself by providing its own source codes. In this paper we implement App Inventor open sources on the local server. Especially we present how to revise and implement a new App Inventor platform reflecting their own requirements in schools or educational institutes and how to build a local server operating the revised App Inventor platform. They can provide more interactive educational environments to students and improve educational satisfaction through the active customizing of the platform itself such as adding new programming block components requested by students.

• Journal of Digital Contents Society
• /
• v.18 no.1
• /
• pp.63-70
• /
• 2017

Recently, as user feedback such as social reading become active, demand has been increased on e-book contents making which is based on user feedback. However, to reflect the user feedback onto the e-book, direct coding is required, which was difficult to the author who was not good at programming. To resolve this problem, Block assembly style feedback editor system, using Blockly was developed. This editor enables to reflect the user feedback by area allocation, component allocation, block editing, and code generating insertion, contrary to the existing way of programming realization in which direct coding was required for input, processing and output separately. This system was developed by using HTML. Javascript, PHP, and Codeigniter. Block editing is enabled to do provision and assembly of blocks by Blockly. The function of code generation & insertion allows to insert the Library function code. Through this system, the general users who are not capable of coding also can reflect feedback without doing actual coding.

• Journal of the Korea Convergence Society
• /
• v.6 no.1
• /
• pp.23-28
• /
• 2015

Teaching programming skills is not only required for computer related departments but through the area of engineering and natural science. Moreover recently teaching programming skill is emphasized in software education for primary schools and secondary schools. Since programming ability is considered an essencial element of national competitiveness, we need programming learning system which alleviates the difficulty. We implemented Blockly webc Programming Convergent Learning System which is based on the graphic tools called Blockly by Google. Inside system problem sets for the programming beginners are embedded in the system. These problem sets are gone under more than 20 years verification and these problem sets may be used to help beginning programmers escape novice coder in short time. Blockly webc Programming Convergent Learning System together with already developed Simple Visual Language2 Programming Learning System is expected to play an important role as a programming learning system for the beginners.

• Journal of The Korean Association of Information Education
• /
• v.23 no.6
• /
• pp.561-571
• /
• 2019

Programming education generally includes problem analysis process, automation through algorithms and programming, and generalization process. It is a good software education method for students in improving computing thinking. However, it was found that beginners had difficulties in understanding instruction usage, writing algorithms, and implementing programming. In this study, we developed a game programming education model and curriculum for programming education of pre-service teachers. The 4E model consisted of empathy, exploration, engagement and evaluation. In addition, it is configured to learn game core elements and core command blocks by each stage. To help the pre-service teachers understand the use of various programming blocks, a three-step teaching and learning method was presented, consisting of example learning, self-game creation, and team-based projects. As a result of applying and verifying the curriculum for 15 weeks, it showed significant results in the 4E model and pre-service teachers' perception of block programming competence and the level of computational thinking on the submitted game project results was also high.

• Journal of The Korean Association of Information Education
• /
• v.20 no.5
• /
• pp.519-526
• /
• 2016

MIT App Inventor 2, much like the other block-based programming languages such as Scratch and Alice, is a useful tool that can be utilized to improve the computational thinking skills for students. The coding and the execution of program are done mainly on the computer in Scratch programming, but in App Inventor 2 programming, the students can execute the program and get immediate feedback on the smart-phone in the middle of the programming. Therefore, we can expect better enhanced learning effect. In this study, it has been claimed that the learning of App Inventor2 can strengthen the computational thinking skills of our students by extracting four core concepts of the computational thinking and then showing how these concepts are applied through the learning of App Inventor 2.

• Journal of the Korea Society of Computer and Information
• /
• v.25 no.3
• /
• pp.251-260
• /
• 2020

In this paper, we propose to understand the conceptual structure of programming elements that learners form during the prototyping theory. To do this, we reviewed previous studies on the meaning of conception and prototype theory and conducted a course of problem-solving programming for 33 university students who had no prior experience in programming, and collected transcription materials through conceptual metaphorical writing. The conclusions of this study are as follows: 1) Identifying the conceptual structure of learners as a conceptual metaphor can enhance the effectiveness of programming education. 2) Learners need to reinforce the experience of forming abstract attributes to form mature programming concepts. 3) The concept of programming differs in the structure of multi-level concepts that students, teachers, and professional programmers have in each group. 4) Programming elements should intentionally block misconception risks in the meaning of symbols. 5) Concept evaluation tools should be developed to check whether various attributes can be applied.

• Journal of The Korean Association of Information Education
• /
• v.25 no.4
• /
• pp.603-610
• /
• 2021

As part of recent SW education methods, entry sites have been used in all practical textbooks in elementary schools. However, they are all learning block-type programming languages, making it difficult to produce programs that can be used in everyday life. This study is a study on the effects of learning programming using entry python on logical thinking ability and programming interest in elementary school students. Logical thinking ability and programming interest tests were conducted before and after the 8th class. Before and after classes, logical thinking ability score rose from an average of 6.6 to 9.4 and programming interests score also rose from an average of 46.7 to 59.1. This results in programming learning using Entry Python is significant for enhancing the logical thinking ability and programming interest of elementary school students.