• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1254-1256
• /
• 1996

Design methods for sequence flow controllers play an important role in industrial automation. To design a flexible, reusable, and maintainable control software has become a key issue nowadays. Petri net has been emerging as an important tool to provide an integrated solution for modeling, analysis, simulation, and control of industrial automated systems recently. This paper describes an international standard of programming languages for programmable logic controllers, IEC 1131-3 SFC( Sequential Function Chart), and the sequence flow control method for an SFC using a Petri net-like model.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.17 no.2
• /
• pp.62-67
• /
• 2009

LOSA is a flight safety program that analyses human errors in normal operations. Trained pilot observers monitor the normal flights at the observer seat. LOSA is a proactive non jeopardy data collection tool using threat and error management(TEM) as a framework. With the analysis of crew behaviors through LOSA with The LOSA collaborative(TLC), the airlines can identify the behaviors of the crew during normal operations. The major objective of LOSA is to measure how the crew manage threats, errors and undesired aircraft deviations in the cockpit on day to day operations. The airlines are able to set up effective TEM training with practical six generation Crew recourse management(CRM) with data of error from LOSA instead of theoretical CRM courses. The Airlines can use TEM as an integral part of a Safety Management System(SMS) and uses monitoring and cross-checking skills in the flight operations to manage threats and errors effectively when we know the errors we make in the cockpit on daily operation. The result of LOSA indicates that the error detection rate should be enhanced since around the half of the errors went undetected. The areas which should be focused for enhancing the error detection are monitor, cross-check, the management of workload, automation and taxiway/ runway to manage errors effectively.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.8 no.4
• /
• pp.810-814
• /
• 2007

It is now possible for the general public to publish their own publications without difficulties because of versatile Internet environments and cost-effective printing machines. However, special software design tools are still required in order to design name cards, leaflets, yellow books and free newspaper. In this paper, we present a computerized typesetting model which automates all procedures of generating business cards the most representative commercial design example. All processes in our model are performed over the Internet from application to generation. Based on our model, we also introduce a web-based computerized typesetting system which collaborates with the Adobe InDesign CS2 and generates image files in real time for user requests. Such a system is linked with an automatic payment system so that a PDF file, a target output, is generated after a user confirms his/her order.

• Proceedings of the KIEE Conference
• /
• 2001.10a
• /
• pp.91-93
• /
• 2001

Linear pulse Motors(LPM) are widely used in fields where smooth linear motion is required, and their position accuracy is higher than other motors. Hybrid linear pulse motors(HLPM) are regarded as an excellent solution to positioning problems that require high accuracy, rapid acceleration and high-speed. The LPM has low mechanical complexity, high reliability, precise open-loop operation and low inertia etc. In many application areas such as factory automation speed positioning, computer peripherals and numerically controlled machine tools, LPM can be used. This motor drive system is especially suitable for machine tools the high position accuracy and repeatability. This paper describes about that need of the embroider machine, we want to design position-scanning device for the embroidery machine. At first, to be analysed characteristics of the machine and next designed the LPM, we used the field analysis program. The finite element method(FEM) program tool is employed for calculation the force. The reluctance models will be used the magnetic permeance of air gap by static-conditions. The forces between forcer and platen have been calculated using the virtual work method. And we used the simulink to know the dynamic characteristics of LPM.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.12
• /
• pp.177-184
• /
• 2001

C3M(chemical mechanical micro machining) is applied for diminishing the size of burr and fabricating the massless patterning for aluminium wafer(thickness of 1${\mu}m$). It is difficult to perform the micro size machining with the radically increased shear stress. While the miniaturization and function-orientation of parts has been needed in the many field such as electronics, optics and medicine. etc., it is not enough to satisfy the industry needs in the machining technology. In this paper feasibility test of diminishing burr and fabricating maskless pattern was experimented and analyzed. In the experiment oxide layer was farmed on the aluminium with chemical reaction by ${HNO_3}$(10wt%), then the surface was grooved with tungsten carbide tool for the different condition such as the load and fred rate. The result was compared with the conventional machining to show the improvement of C3M with SEM for burr diminish and XPS for atomic existence, AFM for more precise image.

• The KIPS Transactions:PartD
• /
• v.17D no.6
• /
• pp.423-430
• /
• 2010

As software becomes large-scale and complicated, the need for Quality Assurance and management is increased and software testing is becoming more important. The main aims of software testing are not only detecting and handling the defects in the system but also investigating and managing the present system. But automatic testing tools require lots of time and efforts to detect and manage the risk in the system because test-cases used in the general automatic testing tools have the simply static information. In this thesis, the dynamic management technique for weighted testcases is designed to test the high-risk testcases preferentially by giving the testcases dynamic weight.

• Journal of the Society of Naval Architects of Korea
• /
• v.30 no.3
• /
• pp.90-99
• /
• 1993

As the finite element method has become a considerable and effective design tool in ship structural analysis, modeling of three dimensional finite element mesh is more necessary than before. However, the unique style and complexity of a ship usually make the modeling be hard and costly. Although most pre-processor of FEM software and geometric modeler provides modeling function, the capability is quite limited for complicated structure. In order to perform FEM modeling quickly, it is necessary to extract, rearrange, and formalize data from ship design database for partially automatic mesh generation. In this paper, the process of designing relational data tables from design data is shown as a part of analysis automation with the application of engineering database concept.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.4
• /
• pp.121-128
• /
• 2021

In order to design a real time big data collection and analysis system of manufacturing data in a smart factory, it is important to establish an appropriate wired/wireless communication system and protocol. This paper introduces the latest communication protocol, OPC-UA (Open Platform Communication Unified Architecture) based client/server function, applied user interface technology to configure a network for real-time data collection through IoT Integration. Then, Database is designed in MES (Manufacturing Execution System) based on the analysis table that reflects the user's requirements among the data extracted from the new cutting process automation process, bush inner diameter indentation measurement system and tool monitoring/inspection system. In summary, big data analysis system introduced in this paper performs SPC (statistical Process Control) analysis and visualization analysis with interface of OPC-UA-based wired/wireless communication. Through AI learning modeling with XGBoost (eXtream Gradient Boosting) and LR (Linear Regression) algorithm, quality and visualization analysis is carried out the storage and connection to the cloud.

• International Journal of Computer Science & Network Security
• /
• v.23 no.8
• /
• pp.77-84
• /
• 2023

The utilization of GPUs on general-purpose computers is currently on the rise due to the increase in its programmability and performance requirements. The utility of tools like NVIDIA's CUDA have been designed to allow programmers to code algorithms by using C-like language for the execution process on the graphics processing units GPU. Unfortunately, many of the performance and correctness bugs will happen on parallel programs. The CUDA tool support for the parallel programs has not yet been actualized. The use of a dynamic analyzer to find performance and correctness bugs in CUDA programs facilitates the execution of sophisticated processes, especially in modern computing requirements. Any race conditions bug it will impact of program correctness and the share memory bank conflicts to improve the overall performance. The technique instruments the programs in a way that promotes accessibility of the memory locations accessed by different threads well as to check for any bugs in the code of a program. The instrumented source code will be used initiated directly in the device emulation code of CUDA to send report for the user about all errors. The current degree of automation helps programmers solve subtle bugs in highly complex programs or programs that cannot be analyzed manually.

• Journal of Korea Game Society
• /
• v.9 no.3
• /
• pp.139-150
• /
• 2009

This paper attempts to investigate the establishment of an interactive knowledge base for action planning by virtual agents and an interactive knowledge-based planning system. A fixed knowledge base is unable to properly handle a change in circumstances because fixed planning is only available under a fixed knowledge base. Therefore, this paper proposes the establishment of an interactive knowledge base which is applicable to diverse environments and an artificial intelligence planning system in which an interactive knowledge base is available. The interactive knowledge base proposed in this paper consists of motivation, behavior, object and action. The association relationship between knowledge base and its input is set using an automation tool. With this tool, a user can easily add to or amend the components of the knowledge base. With this knowledge base, a character plans all action items and chooses one of them to take an action. Since a new action can be applicable by updating the knowledge base even when the character environment changes, it is very useful for virtual reality content developers. This paper has established a relationship between scalable interactive knowledge base components and other components and proposes a convenient input tool and a planning system algorithm effective for an interactive knowledge base. The results of this study have been verified through testing in a virtual environment ('virtual library').