• Journal of Software Assessment and Valuation
• /
• v.17 no.1
• /
• pp.67-73
• /
• 2021

In this paper, a system configuration method that can practice Linux-based programming language online is presented. The proposed system utilizes the web-server function, which is the biggest feature of the Linux operating system, and simulates the telnet and FTP functions without firewalls or other security restrictions, so that it is possible to practice similar to the actual Linux console. To do this, we analyzed the functional elements that a programming tool should have on the web and established an algorithm to implement it. In particular, a method was implemented in which an error message caused by a user's mistake can appear in the same form as the actual telnet screen. As a result of using the implemented learning system in the class for students, it is possible to practice the Linux programming language online, as well as the instructor can directly check and guide all the learners, so the learner's satisfaction is similar to that of the offline class was confirmed.

• Journal of KIISE:Software and Applications
• /
• v.32 no.4
• /
• pp.290-299
• /
• 2005

Stealing the source code of a program is a serious problem not only in a moral sense but also in a legal sense. However, it is not clear whether the code of a program is copied from another or not. There was a program similarity checker detecting code-copy by comparing the syntax trees of programs. However this method has a limitation that it cannot detect the code-copy attacks when the attacker modifies the syntax of the program on purpose. We propose a program similarity check by program control graph, which reveals not only syntax information but also control dependancy. Our method can detect the code-copy attacks that do not change control dependancy Moreover, we define what code-copy means and establish the connection between code-copy and similarity of program control graph: we prove that two programs are related by copy congruence if and only if the program control graphs of these programs are equivalent. We implemented our method on a functional programming language, nML. The experimental results show us that the suggested method can detect code similarity that is not detected by the existing method.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.1129-1135
• /
• 1993

For successful implementation of robotic painting system, a structured design and analysis procedure is necessary. In designing robotic system, both functional and economical feasibility should be investigated. As the robotization is complicated task involving implementation details(such as robot selection, accessory design, and spatial layout) together with operation details, a computerized method should be sought. However, any conventional robotic design system and off-line programming system cannot accomodate such a need. In this research, we develop an interactive design support system for robotization of a cycle painting line. With the developed system called SPRPL(Simulation Package for Robotic Painting Line) users can design the painting objects(via FRAME module), select robot model (ROBOT), design the part hanger (FEEDER), and arrange the workcell. After motion programming (MOTION), the design is evaluated in terms of: a) workspace analysis, b) coating thickness analysis, and c) cycle time (ANALYSIS). By iterative design and evaluation procedure, a feasible and efficient robotic design can be attained. As the developed system has motion planning and analysis features, it can be also used as an off-line robot programming system in operation stage. Including the details of each module, this paper also presents a case study made for an actual painting line.

• Journal of applied mathematics & informatics
• /
• v.7 no.3
• /
• pp.787-800
• /
• 2000

In this paper we consider an optimal control system described by n-dimensional heat equation with a thermal source. Thus problem is to find an optimal control which puts the system in a finite time T, into a stationary regime and to minimize a general objective function. Here we assume there is no constraints on control. This problem is reduced to a moment problem. We modify the moment problem into one consisting of the minimization of a positive linear functional over a set of Radon measures and we show that there is an optimal measure corresponding to the optimal control. The above optimal measure approximated by a finite combination of atomic measures. This construction gives rise to a finite dimensional linear programming problem, where its solution can be used to determine the optimal combination of atomic measures. Then by using the solution of the above linear programming problem we find a piecewise-constant optimal control function which is an approximate control for the original optimal control problem. Finally we obtain piecewise-constant optimal control for two examples of heat equations with a thermal source in one-dimensional.

• Proceedings of the KSME Conference
• /
• 2000.04b
• /
• pp.144-147
• /
• 2000

A numerical method for the solution of one-dimensional inverse heat conduction problem is established and its performance is demonstrated with computational results. The present work introduces the maximum entropy method in order to build a robust formulation of the inverse problem. The maximum entropy method finds the solution that maximizes the entropy functional under given temperature measurement. The philosophy of the method is to seek the most likely inverse solution. The maximum entropy method converts the inverse problem to a non-linear constrained optimization problem of which constraint is the statistical consistency between the measured temperature and the estimated temperature. The successive quadratic programming facilitates the maximum entropy estimation. The gradient required fur the optimization procedure is provided by solving the adjoint problem. The characteristic feature of the maximum entropy method is discussed with the illustrated results. The presented results show considerable resolution enhancement and bias reduction in comparison with the conventional methods.

• Proceedings of the KIEE Conference
• /
• 2006.07c
• /
• pp.1589-1590
• /
• 2006

A method to determine functional relationships between the variable physical dimensions of an antenna and the antenna performance characteristics is presented. By applying multi-expression programming (MEP) to this data set, optimization with regard to a given criteria can be subsequently performed on the functions instead of performing repealed electromagnetic simulations. The functionals are trained on an initial population of simulation samples and refined using a point-wise error estimate to identify design parameters for subsequent samples. Additionally, the depth of the MEP tree is adjusted for increased accuracy as the data set is deemed sufficient.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.12 no.3
• /
• pp.125-132
• /
• 2016

The European Telecommunication Standards Institute (ETSI) Technical Committee (TC) Reconfigurable Radio Systems (RRS) is standardizing the multi-mode Mobile Device (MD). The configuration of multi-mode MD is determined by the downloaded mobile communication standard software. In this paper, we introduce the Radio Library concept for multi-mode MD which is one of the key components of RRS standard. This paper also introduces the Standard Functional Block which is a part of Radio Library. A method for selecting efficiency SFBs for multi-mode MD is presented and a Radio Library is generated based on the selected SFBs. This paper also shows sample Standard Functional Block Set which included in Radio Library. In order to verify the compatibility of the generated Radio Library which was made by C language, we implement the LTE Rel-10 and Wi-Fi(802.11b) to show the efficiency of generating a mobile communication standard software based on the Radio Library. Then using the Prograph Visual Programming MartenTM 1.6.4, we compiled our LTE Rel-10 and Wi-Fi(802.11b) source code.

• The Journal of Natural Sciences
• /
• v.5 no.2
• /
• pp.39-43
• /
• 1992

Detection of parallelism by a compiler is very desirable from a user's point of view. However, even the most sophisticated techniques to detect parallelism trip on trivial impediments, such as conditionals, function calls, and input/output statements, fail to detect most of the parallelism present in a program. Some parallelizing compilers provide feedback to the user when they have difficulty in deciding about parallel execution. Under these circumstances, a programmer has to restructure the source code to aid the detection of parallelism. But, functional and declarative languages can be said to offer many advantages in this context. Functional programs are easier to reason about because their output is determinate, that is, independent of the order of evaluation. However, functional languages traditionally have lacked good facilities for manipulating arrays and matrices. In this paper, a declarative language called Id has been proposed as a solution to some of these problems.

• Journal of Korean Society of Transportation
• /
• v.32 no.4
• /
• pp.369-379
• /
• 2014

The Statistical regression model has been used to construct crash prediction models, despite its limitations in assuming data distribution and functional form. In response to the limitations associated with the statistical regression models, a few studies based on non-parametric methods such as neural networks have been proposed to develop crash prediction models. However, these models have a major limitation in that they work as black boxes, and therefore cannot be directly used to identify the relationships between crash frequency and crash factors. A genetic programming model can find a solution to a problem without any specified assumptions and remove the black box effect. Hence, this paper investigates the application of the genetic programming technique to develope the crash prediction model. The data collected from the Gyeongbu expressway during the past three years (2010-2012), were separated into straight and curve sections. The random forest technique was applied to select the important variables that affect crash occurrence. The genetic programming model was developed based on the variables that were selected by the random forest. To test the goodness of fit of the genetic programming model, the RMSE of each model was compared to that of the negative binomial regression model. The test results indicate that the goodness of fit of the genetic programming models is superior to that of the negative binomial models.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.13 no.6
• /
• pp.611-618
• /
• 2020

In this paper, we propose a design and implementation method of speed quiz content that can be driven by a social robot capable of interacting with humans, and a method of developing an intelligent module necessary for implementation. In addition, we propose a method of implementing speed quiz content through the process of constructing a map by arranging and connecting intelligent module blocks. Recently, software education has become mandatory and interest in programming is increasing. However, programming is difficult for students without basic knowledge of programming languages to directly access, and interest in block-type programming platforms suitable for beginners is growing. The block-type programming platform used in this paper is a platform that supports immediate and intuitive programming by supporting interactions between humans and robots. In this paper, the intelligent module implemented for the speed quiz content was used by blocking it within a block-type programming platform. In order to implement the scenario of the speed quiz content proposed in this paper, we implement a total of three image-based artificial intelligence modules. In addition to the intelligent module, various functional blocks were placed to implement the speed quiz content. In this paper, we propose a method of designing a speed quiz content scenario and a method of implementing an intelligent module for speed quiz content.