• The Journal of the Convergence on Culture Technology
• /
• v.2 no.3
• /
• pp.41-44
• /
• 2016

In development environment focused on computers, the ideas of app developring tool have been presented in terms of improved software productivity. Historically, for smart applications, app developing tools have not yet effectively developed or initiated locally or internationally. Therefore, developer have difficulty in studying developing process due to the difficulties of text based language. The basic concept of a new innovative App development tool, App Developing Tool, which has been proposed in this study and enables to apply on-site requirements to smart phones, is to develop Apps on the level using easy-to-learn Word or Excel in a computer. App developing tool is developed process focus instead of program focus by introducing SOA(Service-oriented Architecture) to develop reasonably reusable service units. Since service-oriented architecture allows reusing by service unit when there are changes in a specific process or service, it is possible to provide a new function by replacing the service instead of developing a new program.

• Journal of KIISE:Software and Applications
• /
• v.26 no.12
• /
• pp.1531-1541
• /
• 1999

프로그래밍 언어의 의미를 정형적으로 표기하는 기법인 액션의미론을 기반으로 한 컴파일러 생성기는 프로그래밍언어의 액션의미구조가 주어지면 그 언어의 컴파일러를 자동으로 생성한다. 생성된 컴파일러는 먼저 원시 프로그램을 그에 상응하는 액션 프로그램으로 확장한 후, 목적 프로그램으로 컴파일 한다. 여기서 액션 프로그램은 일종의 중간코드로 쓰이므로, 효율적인 목적코드를 생성하기 위해서 중간코드의 성능향상이 필요하다. 본 논문에서는 액션 프로그램을 부분계산을 통해 효율적인 코드로 자동 변환해 주는 온라인 액션 부분계산기를 설계하고 구현한다. 선행 연구된 오프라인 방식에서 전역분석을 하지 않고는 불가능했던 요약캡슐의 몸통, 펼치기의 몸통에 대한 부분계산이 온라인 방법을 사용하면 가능함을 보이고, 명령형 액션의 부분계산도 추가적으로 수행할 수 있도록 확장한다. Abstract Action Semantics is a framework for formally defining the semantics of programming languages. Action semantics-directed compiler generators take an action semantics definition of a programming language and automatically generate a compiler of the language. The generated compiler first expands a source program into an action denotation of the program, and then compiles it to a target code. In these compiler-generation systems, it is important to statically process the expanded action denotation - used as an intermediate code - as much as possible so that the generated compiler can produce better target code. In this paper, we develop an automatic action-transformation method based on online partial evaluation. The previous off-line method was rather weak because it could not partially evaluate actions inside the body of abstraction and unfolding-action without performing separate global analysis. The proposed online method remedies the problem, thus naturally improves the quality of residual actions. Moreover, we also extend the method to partially evaluate imperative actions.

• Journal of The Korean Association of Information Education
• /
• v.21 no.3
• /
• pp.351-360
• /
• 2017

The purpose of this study is to analyze the effect of SW education applying design thinking on the creativity of elementary school pre-service teachers. We conducted research on 22 elementary school pre-service teachers who applied for a lecture on elementary computer education at a university in Jeju city. The pre-service teachers who did not have basic understanding of SW education and basic knowledge about scratch program which is an EPL tool for research. Therefore, we had time to learn the basic education of SW education and the basic functions of the scratch program over 18 periods before the pre-test of creativity. After conducting pre-test of creativity and conducting SW education applying design thinking over 21 hours, we conducted post-test of creativity. As a creativity test tool, TTCT pattern test forms A and B of Torrance were used. As a result of the verification, it was found that SW education applying design thinking was effective in improving creativity of elementary school pre-service teachers.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.9
• /
• pp.373-378
• /
• 2019

Since many programming sources are open online, problems with reckless plagiarism and copyrights are occurring. Among them, source codes produced by repeated authors may have unique fingerprints due to their programming characteristics. This paper identifies each author by learning from a Google Code Jam program source using deep neural network. In this case, the original creator's source is to be vectored using a pre-processing instrument such as predictive-based vector or frequency-based approach, TF-IDF, etc. and to identify the original program source by learning by using a deep neural network. In addition a language-independent learning system was constructed using a pre-processing machine and compared with other existing learning methods. Among them, models using TF-IDF and in-depth neural networks were found to perform better than those using other pre-processing or other learning methods.

• Journal of Digital Convergence
• /
• v.19 no.10
• /
• pp.377-382
• /
• 2021

A fuzzy relation between X and Y as fuzzy subset of X × Y was proposed by Zadeh. Subsequently, several researchers have applied the notion of fuzzy subsets to various branches of mathematics and computer sciences. Murali an Nemitz have studied fuzzy relations connected with fuzzy equivalence relations and fuzzy functions. Ounalli and Jaoua defined a fuzzy difunctional relation on a set. difunctional relations are versatile mathematical tool, which can be used in software design and in database theory. Their work have revealed the usefulness of difunctional relations in program specification and in defining program correctness. The main goal of this paper is to define a fuzzy deterministic relation on a set, characterize the fuzzy deterministic relation as its level subsets and investigate some properties in connection with fuzzy deterministic relation. In particular we prove that a fuzzy relation R is fuzzy deterministic iff R is a fuzzy function.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.10 no.1
• /
• pp.149-156
• /
• 2006

Steel hollow section members have been widely used as a major material in the construction market due largely to their efficiency, their aesthetic appeal and to the technical development. But it is true that the commercial Program for dealing with a joint problem using hollow section members is not firmly established due to its uncertain and variable design parameters. The qualitative analysis program developed by using computer is introduced in this study. The results of that analysis are shown in the two-dimensional space in variable ranges and diagrams, so it would be useful to whom have not many experiences and knowledges. It is represented that the differences between Canadian code and the Korean standard for the connections of hollow section members. And It is verified that the software is applicable to the Preliminary design in steel tubular structures.

• Journal of the Korea Convergence Society
• /
• v.8 no.4
• /
• pp.131-137
• /
• 2017

In the present study, we developed the 4D CT data generation program from CAD-based models. To evaluate the developed program, a CAD-based respiratory motion phantom was designed using CAD software, and converted into 4D CT dataset, which include 10 phases of 3D CTs. The generated 4D CT dataset was evaluated its effectiveness and accuracy through the implementation in radiation therapy planning system (RTPS). Consequently, the results show that the generated 4D CT dataset can be successfully implemented in RTPS, and targets in all phases of 4D CT dataset were moved well according to the user parameters (10 mm) with its stationarily volume (8.8 cc). The developed program, unlike real 4D CT scanner, due to the its ability to make a gold-standard dataset without any artifacts constructed by modality's movements, we believe that this program will be used when the motion effect is important, such as 4D radiation treatment planning and 4D radiation imaging.

• Journal of KIISE:Software and Applications
• /
• v.30 no.11
• /
• pp.1080-1091
• /
• 2003

Recently, the distance education has been rapidly proliferated with the rapid growth of the Internet and high speed networks. There has been relatively much research with regard to online lecture (teaching and studying) tools for the distance education, compared to the virtual laboratory tools (for self-study and experiments). In this paper, we design and implement a web-based simulation tool, named as SimDraw, for the virtual laboratory in the distance education. To apply the web-based simulation technology into the distance education, some requirements should be met; firstly, the user interface of the simulation should be very easy for students. Secondly, the simulation should be very portable to be run on various computer systems of remote students. Finally, the simulation program on remote computers should be very thin so that students can easily install the program onto their computers. To meet these requirements, SimDraw adopts the client/server architecture; the client program contains only model development and animation functions so that no installation of a client program onto student's system is required, and it can be implemented by a Java applet in Web browsers. The server program supports client programs by offering the functions such as remote compiling, model storing, library management, and user management. For the evaluation of SimDraw, we show the simulation process using the example experimentation of the RIP(Routing Information Protocol) Internet routing protocol.

• The Journal of Korean Association of Computer Education
• /
• v.22 no.1
• /
• pp.21-30
• /
• 2019

In this research, there is a purpose to develop an informatics education curriculum of the general level that the preliminary teacher at elementary school prepares for information education. First of all, in order to achieve the purpose, we compare and analyze the standard CS 2013 of the educational curriculum of elementary school teacher training university, University-Level Program cooperation deepening course, higher education course, and prepared content and level. Secondly, subjects were structured in consideration of standard J07-GE analysis of higher education curriculum and cooperation with secondary education course. Third, subject names were determined by examination by experts, taking into consideration the scope of subjects, content system composition, etc. Computer Science II, Computer Science II, Data Management in the domain to understand the basic principles of Computer Science I, Computing System, in order to approach expert opinions, analysis results, problems arising in information society from the viewpoint of computer science We proposed data management and analysis to grasp the patterns and relationships involved. In this research, not only improving ability to solve problems based on the basic capacity strengthening of teachers but also presenting subjects of general level, considering continuity star of high school information subjects it makes sense.

• The Journal of Korean Academy of Prosthodontics
• /
• v.60 no.2
• /
• pp.202-210
• /
• 2022

Recently with the advance in digital dentistry, the fabrication of dentures using computer-aided design and computer-aided manufacturing (CAD-CAM) is on the rise. The denture designed through a CAD software can be produced in a 3-dimensional manufacturing process. This process includes a subtractive processing method such as milling and an additive processing method such as 3D printing and in which it can be applied efficiently in more complex structures. In this case, complete dentures were fabricated using Stereolithography (SLA)-based 3D printing to shorten the production time and interval of visits in patient with physical disabilities due to cerebral infarction. For definitive impression, the existing interim denture was digitally replicated and used as an individual tray. The definitive impression obtained with polyvinyl siloxane impression material was including information about the inclination and length of the maxillary anterior teeth, vertical dimension, and centric relation. In addition, facial scan data with interim denture was obtained so that it can be used as a reference in determination of the occlusal plane and in arrangement of artificial teeth during laboratory work. Artificial teeth were arranged through a CAD program, and a gingival festooning was performed. The definitive dentures were printed by SLA-based 3D printer using a FDA-approved liquid photocurable resin. The denture showed adequate retention, support, and stability, and results were satisfied functionally and aesthetically.