• The Journal of Korean Association of Computer Education
• /
• v.13 no.6
• /
• pp.9-21
• /
• 2010

Concurrent processes come into conflict with each other when they are competing for the use of the same resources. In the case of competing processes three control problems must be faced: mutual exclusion, deadlock, and starvation. The concurrency is a subject rather difficult to understand. In addition, because concurrent programs included in most of OS texts are described by pseudocode and are not being able to execute directly, almost learners are difficult to understand behaviour of concurrent programs. The purpose of this study is to propose instruction method for mutual exclusion using SDL and MSC base on graphic. In order to verify the effectiveness of the proposed materials, we compare with materials based on pseudocode. The results indicated that the proposed materials is more effective than materials based on pseudocode in teaching-learning for mutual exclusion mechanisms.

• Honam Mathematical Journal
• /
• v.28 no.1
• /
• pp.165-183
• /
• 2006

In this article, we try to show that concepts and principles in probability can be taught vividly through the use of the Monte Carlo method to students who have difficulty with probability in the classrooms. We include some topics to demonstrate the application of a wide variety of real world problems that can be addressed.

• Journal of Korean Society of Transportation
• /
• v.12 no.3
• /
• pp.49-64
• /
• 1994

The development of a mathematical modular framework based on Petri Network theory to model a traffic network is the subject of this paper. Traffic intersections are the primitive elements of a transportation network and are characterized as event driven and asynchronous systems. Petri network have been utilized to model these discrete event systems; further analysis of their structure can reveal information relevant to the concurrency, parallelism, synchronization, and deadlock avoidance issuse. The Petri-net based model of a generic traffic junction is presented. These modular networks are effective in synchronizing their components and can be used for modeling purposes of an asynchronous large scale transportation system. The derived model is suitable for simulations on a multiprocessor computer since its program execution safety is secured. The software pseudocode for simulating a transportation network model on a multiprocessor system is presented.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.10a
• /
• pp.9-11
• /
• 2022

Applying Reinforcement Learning in everyday applications and varied environments has proved the potential of the of the field and revealed pitfalls along the way. In robotics, a learning agent takes over gradually the control of a robot by abstracting the navigation model of the robot with its inputs and outputs, thus reducing the human intervention. The challenge for the agent is how to implement a feedback function that facilitates the learning process of an MDP problem in an environment while reducing the time of convergence for the method. In this paper we will implement a reward shaping system avoiding sparse rewards which gives fewer data for the learning agent in a ROS environment. Reward shaping prioritizes behaviours that brings the robot closer to the goal by giving intermediate rewards and helps the algorithm converge quickly. We will use a pseudocode implementation as an illustration of the method.

• The KIPS Transactions:PartB
• /
• v.11B no.5
• /
• pp.603-610
• /
• 2004

The distributed Information Retrieval System centrally controlled by mediator or meta search engine result in congestion of heavy traffic and int he problem of increment of cost for the reason of the design of complicated algorithm for central control and installation of hardware. So to figure out this problem, the way is needed that has independent retrieval functionality and can cooperate each other without dependency. In this paper, we overview a few works involved in distributed information retrieval system, then, implement algorithm and design the frame-work of distributed information retrieval system using sequential transferring method(STM) including multiple information retrieval system separated from central control. For this first of all, we present a web partition policy which devide and manage web logically and we present the sequential query processing way by means of illustration through changing numbered information retrieval system. Then, we also present 3-layered structure of framework and function and module of each layer suitable for information retrieval system. Last of ail, for effective implementation of STM algorithm we analysis module structure and present description of pseudocode of this, and show that the proposed STM algorithm works smoothly by demonstration of sequential query transfer process between servers.

• Korean Journal of Construction Engineering and Management
• /
• v.14 no.5
• /
• pp.131-143
• /
• 2013

There is the difference of criteria to apply guidelines among the project participants and to depend on the purpose of utilizing BIM models, although modeling criteria are basically provided through BIM guidelines. Therefore, it is quite important to check compliance with guidelines to raise quality of the BIM model. But Quality Checking (QC) items and method for BIM model modeled in accordance with guidelines is not provided. This study suggested QC items and Rule Specifications(RS) for automatic QC. First of all, QC items were derived by analyzing domestic BIM guidelines and a process for structuring natural language is conducted by utilizing flowchart and pseudocode. So, by combining them, RS was suggested. Finally, RS-based case study was conducted by implementing automatic QC process with solibri model checker$^{TM}$. This study will contribute to the improvement of design quality and completeness of BIM model including huge data of 3 dimension. Furthermore, it is necessary to develop BIM guidelines according to the use case and to provide detailed process and standard for QC of BIM model.

• Journal of Practical Engineering Education
• /
• v.16 no.2
• /
• pp.105-114
• /
• 2024

Recently, with an emphasis on software proficiency, universities are providing software education to all students regardless of their majors. However, non-majors often lack motivation for software education and perceive the unfamiliar learning content as more challenging. To address this issue, tailored software education according to the learners' characteristics is essential. Art students, for instance, with their strong visual comprehension and expressive abilities, can benefit from utilizing visual literacy to enhance the effectiveness of programming education. In this study, we propose decomposing everyday problems into flowcharts and pseudocode to construct procedural and visual images. Using the educational programming language PlayBot, we aim to analyze the effectiveness of teaching by coding to solve problems. Through this approach, students are expected to grasp programming concepts, understand problem-solving processes through computational thinking, and acquire skills to apply programming in their respective fields.